We employ martingale theory to describe fluctuations of entropy production for open quantum systems in nonequilbrium steady states. Using the formalism of quantum jump trajectories, we identify a decomposition of entropy production into an exponential martingale and a purely quantum term, both obeying integral fluctuation theorems. An important consequence of this approach is the derivation of a set of genuine universal results for stopping-time and infimum statistics of stochastic entropy production. Finally we complement the general formalism with numerical simulations of a qubit system. PACS numbers: 05.70.Ln, 05.40.-a 05.30.-d 03.67.-a 42.50.DvThe development of stochastic thermodynamics in the last decades allowed the description of work, heat and entropy production at the level of single trajectories in nonequilibrium processes [1,2]. This framework has successfully provided several genuine insights on the second law, such as the discovery of universal relations constraining the statistics of fluctuating thermodynamic quantities, usually known as fluctuation theorems [3][4][5]. The fundamental interest in refining our understanding of irreversibility and their microscopic imprints has been brought to its ultimate consequences by extending stochastic thermodynamics to the quantum realm [6], where fluctuation theorems have been derived [7][8][9][10][11][12][13], and experimentally tested in the last years [14,15].When information about entropy production in single trajectories of a process is available, a natural question to ask is until what extend this information can be useful. For instance whether or not it is possible to implement strategies leading to a reduction in entropy which might be eventually used as a fuel, like in the celebrated Maxwell's demon [16,17]. In the same context, one may ask whether the second law of thermodynamics will manifest as fundamental constraints limiting such strategies. A powerful method to handle these general questions, is to employ a set of particularly interesting stochastic processes, namely Martingales [18]. Martingales are well known in mathematics [19] and quantitative finance as models of fair financial markets [20]. However, martingale theory has been only little exploited until now both in stochastic thermodynamics [21][22][23][24][25][26][27] and quantum physics [28,29].Applying concepts of martingale theory in stochastic thermodynamics, it has been shown that the exponential of minus the entropy production ∆S tot (t) associated with classical trajectories γ {0,t} −single paths in phase space− in generic non-equilibrium steady-state conditions is an exponential martingale, i.e. e −∆Stot(t) | γ {0,τ } = * gmanzano@ictp.it † edgar@ictp.it e −∆Stot(τ ) , for any t ≥ τ ≥ 0, where X(t)|γ {0,τ } denotes the conditional expectation of a functional X(t) given γ {0,τ } [19]. It has been shown that the martingality of e −∆Stot(t) implies a series of universal equalities and inequalities concerning the statistics of infima and stopping times (e.g. first-passage, escape ti...