@article{7190, abstract = {We investigate the ground-state energy of a one-dimensional Fermi gas with two bosonic impurities. We consider spinless fermions with no fermion-fermion interactions. The fermion-impurity and impurity-impurity interactions are modeled with Dirac delta functions. First, we study the case where impurity and fermion have equal masses, and the impurity-impurity two-body interaction is identical to the fermion-impurity interaction, such that the system is solvable with the Bethe ansatz. For attractive interactions, we find that the energy of the impurity-impurity subsystem is below the energy of the bound state that exists without the Fermi gas. We interpret this as a manifestation of attractive boson-boson interactions induced by the fermionic medium, and refer to the impurity-impurity subsystem as an in-medium bound state. For repulsive interactions, we find no in-medium bound states. Second, we construct an effective model to describe these interactions, and compare its predictions to the exact solution. We use this effective model to study nonintegrable systems with unequal masses and/or potentials. We discuss parameter regimes for which impurity-impurity attraction induced by the Fermi gas can lead to the formation of in-medium bound states made of bosons that repel each other in the absence of the Fermi gas.}, author = {Huber, D. and Hammer, H.-W. and Volosniev, Artem}, issn = {2643-1564}, journal = {Physical Review Research}, number = {3}, publisher = {American Physical Society}, title = {{In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas}}, doi = {10.1103/physrevresearch.1.033177}, volume = {1}, year = {2019}, } @article{7197, abstract = {During bacterial cell division, the tubulin-homolog FtsZ forms a ring-like structure at the center of the cell. This Z-ring not only organizes the division machinery, but treadmilling of FtsZ filaments was also found to play a key role in distributing proteins at the division site. What regulates the architecture, dynamics and stability of the Z-ring is currently unknown, but FtsZ-associated proteins are known to play an important role. Here, using an in vitro reconstitution approach, we studied how the well-conserved protein ZapA affects FtsZ treadmilling and filament organization into large-scale patterns. Using high-resolution fluorescence microscopy and quantitative image analysis, we found that ZapA cooperatively increases the spatial order of the filament network, but binds only transiently to FtsZ filaments and has no effect on filament length and treadmilling velocity. Together, our data provides a model for how FtsZ-associated proteins can increase the precision and stability of the bacterial cell division machinery in a switch-like manner.}, author = {Dos Santos Caldas, Paulo R and Lopez Pelegrin, Maria D and Pearce, Daniel J. G. and Budanur, Nazmi B and Brugués, Jan and Loose, Martin}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA}}, doi = {10.1038/s41467-019-13702-4}, volume = {10}, year = {2019}, } @article{72, abstract = {We consider the totally asymmetric simple exclusion process (TASEP) with non-random initial condition having density ρ on ℤ− and λ on ℤ+, and a second class particle initially at the origin. For ρ<λ, there is a shock and the second class particle moves with speed 1−λ−ρ. For large time t, we show that the position of the second class particle fluctuates on a t1/3 scale and determine its limiting law. We also obtain the limiting distribution of the number of steps made by the second class particle until time t.}, author = {Ferrari, Patrick and Ghosal, Promit and Nejjar, Peter}, issn = {0246-0203}, journal = {Annales de l'institut Henri Poincare (B) Probability and Statistics}, number = {3}, pages = {1203--1225}, publisher = {Institute of Mathematical Statistics}, title = {{Limit law of a second class particle in TASEP with non-random initial condition}}, doi = {10.1214/18-AIHP916}, volume = {55}, year = {2019}, } @article{7200, abstract = {Recent scanning tunneling microscopy experiments in NbN thin disordered superconducting films found an emergent inhomogeneity at the scale of tens of nanometers. This inhomogeneity is mirrored by an apparent dimensional crossover in the paraconductivity measured in transport above the superconducting critical temperature Tc. This behavior was interpreted in terms of an anomalous diffusion of fluctuating Cooper pairs that display a quasiconfinement (i.e., a slowing down of their diffusive dynamics) on length scales shorter than the inhomogeneity identified by tunneling experiments. Here, we assume this anomalous diffusive behavior of fluctuating Cooper pairs and calculate the effect of these fluctuations on the electron density of states above Tc. We find that the density of states is substantially suppressed up to temperatures well above Tc. This behavior, which is closely reminiscent of a pseudogap, only arises from the anomalous diffusion of fluctuating Cooper pairs in the absence of stable preformed pairs, setting the stage for an intermediate behavior between the two common paradigms in the superconducting-insulator transition, namely, the localization of Cooper pairs (the so-called bosonic scenario) and the breaking of Cooper pairs into unpaired electrons due to strong disorder (the so-called fermionic scenario).}, author = {Brighi, Pietro and Grilli, Marco and Leridon, Brigitte and Caprara, Sergio}, issn = {2469-9969}, journal = {Physical Review B}, number = {17}, publisher = {American Physical Society}, title = {{Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films}}, doi = {10.1103/PhysRevB.100.174518}, volume = {100}, year = {2019}, } @inproceedings{7201, abstract = {Applying machine learning techniques to the quickly growing data in science and industry requires highly-scalable algorithms. Large datasets are most commonly processed "data parallel" distributed across many nodes. Each node's contribution to the overall gradient is summed using a global allreduce. This allreduce is the single communication and thus scalability bottleneck for most machine learning workloads. We observe that frequently, many gradient values are (close to) zero, leading to sparse of sparsifyable communications. To exploit this insight, we analyze, design, and implement a set of communication-efficient protocols for sparse input data, in conjunction with efficient machine learning algorithms which can leverage these primitives. Our communication protocols generalize standard collective operations, by allowing processes to contribute arbitrary sparse input data vectors. Our generic communication library, SparCML1, extends MPI to support additional features, such as non-blocking (asynchronous) operations and low-precision data representations. As such, SparCML and its techniques will form the basis of future highly-scalable machine learning frameworks.}, author = {Renggli, Cedric and Ashkboos, Saleh and Aghagolzadeh, Mehdi and Alistarh, Dan-Adrian and Hoefler, Torsten}, booktitle = {International Conference for High Performance Computing, Networking, Storage and Analysis, SC}, isbn = {9781450362290}, issn = {2167-4337}, location = {Denver, CO, Unites States}, publisher = {ACM}, title = {{SparCML: High-performance sparse communication for machine learning}}, doi = {10.1145/3295500.3356222}, year = {2019}, } @article{7202, abstract = {The cerebral cortex contains multiple areas with distinctive cytoarchitectonical patterns, but the cellular mechanisms underlying the emergence of this diversity remain unclear. Here, we have investigated the neuronal output of individual progenitor cells in the developing mouse neocortex using a combination of methods that together circumvent the biases and limitations of individual approaches. Our experimental results indicate that progenitor cells generate pyramidal cell lineages with a wide range of sizes and laminar configurations. Mathematical modelling indicates that these outcomes are compatible with a stochastic model of cortical neurogenesis in which progenitor cells undergo a series of probabilistic decisions that lead to the specification of very heterogeneous progenies. Our findings support a mechanism for cortical neurogenesis whose flexibility would make it capable to generate the diverse cytoarchitectures that characterize distinct neocortical areas.}, author = {Llorca, Alfredo and Ciceri, Gabriele and Beattie, Robert J and Wong, Fong Kuan and Diana, Giovanni and Serafeimidou-Pouliou, Eleni and Fernández-Otero, Marian and Streicher, Carmen and Arnold, Sebastian J. and Meyer, Martin and Hippenmeyer, Simon and Maravall, Miguel and Marín, Oscar}, issn = {2050-084X}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture}}, doi = {10.7554/eLife.51381}, volume = {8}, year = {2019}, } @article{7210, abstract = {The rate of biological evolution depends on the fixation probability and on the fixation time of new mutants. Intensive research has focused on identifying population structures that augment the fixation probability of advantageous mutants. But these amplifiers of natural selection typically increase fixation time. Here we study population structures that achieve a tradeoff between fixation probability and time. First, we show that no amplifiers can have an asymptotically lower absorption time than the well-mixed population. Then we design population structures that substantially augment the fixation probability with just a minor increase in fixation time. Finally, we show that those structures enable higher effective rate of evolution than the well-mixed population provided that the rate of generating advantageous mutants is relatively low. Our work sheds light on how population structure affects the rate of evolution. Moreover, our structures could be useful for lab-based, medical, or industrial applications of evolutionary optimization.}, author = {Tkadlec, Josef and Pavlogiannis, Andreas and Chatterjee, Krishnendu and Nowak, Martin A.}, issn = {2399-3642}, journal = {Communications Biology}, publisher = {Springer Nature}, title = {{Population structure determines the tradeoff between fixation probability and fixation time}}, doi = {10.1038/s42003-019-0373-y}, volume = {2}, year = {2019}, } @article{7214, abstract = {Background: Many cancer genomes are extensively rearranged with highly aberrant chromosomal karyotypes. Structural and copy number variations in cancer genomes can be determined via abnormal mapping of sequenced reads to the reference genome. Recently it became possible to reconcile both of these types of large-scale variations into a karyotype graph representation of the rearranged cancer genomes. Such a representation, however, does not directly describe the linear and/or circular structure of the underlying rearranged cancer chromosomes, thus limiting possible analysis of cancer genomes somatic evolutionary process as well as functional genomic changes brought by the large-scale genome rearrangements. Results: Here we address the aforementioned limitation by introducing a novel methodological framework for recovering rearranged cancer chromosomes from karyotype graphs. For a cancer karyotype graph we formulate an Eulerian Decomposition Problem (EDP) of finding a collection of linear and/or circular rearranged cancer chromosomes that are determined by the graph. We derive and prove computational complexities for several variations of the EDP. We then demonstrate that Eulerian decomposition of the cancer karyotype graphs is not always unique and present the Consistent Contig Covering Problem (CCCP) of recovering unambiguous cancer contigs from the cancer karyotype graph, and describe a novel algorithm CCR capable of solving CCCP in polynomial time. We apply CCR on a prostate cancer dataset and demonstrate that it is capable of consistently recovering large cancer contigs even when underlying cancer genomes are highly rearranged. Conclusions: CCR can recover rearranged cancer contigs from karyotype graphs thereby addressing existing limitation in inferring chromosomal structures of rearranged cancer genomes and advancing our understanding of both patient/cancer-specific as well as the overall genetic instability in cancer.}, author = {Aganezov, Sergey and Zban, Ilya and Aksenov, Vitalii and Alexeev, Nikita and Schatz, Michael C.}, issn = {1471-2105}, journal = {BMC Bioinformatics}, publisher = {BMC}, title = {{Recovering rearranged cancer chromosomes from karyotype graphs}}, doi = {10.1186/s12859-019-3208-4}, volume = {20}, year = {2019}, } @inproceedings{7216, abstract = {We present LiveTraVeL (Live Transit Vehicle Labeling), a real-time system to label a stream of noisy observations of transit vehicle trajectories with the transit routes they are serving (e.g., northbound bus #5). In order to scale efficiently to large transit networks, our system first retrieves a small set of candidate routes from a geometrically indexed data structure, then applies a fine-grained scoring step to choose the best match. Given that real-time data remains unavailable for the majority of the world’s transit agencies, these inferences can help feed a real-time map of a transit system’s trips, infer transit trip delays in real time, or measure and correct noisy transit tracking data. This system can run on vehicle observations from a variety of sources that don’t attach route information to vehicle observations, such as public imagery streams or user-contributed transit vehicle sightings.We abstract away the specifics of the sensing system and demonstrate the effectiveness of our system on a "semisynthetic" dataset of all New York City buses, where we simulate sensed trajectories by starting with fully labeled vehicle trajectories reported via the GTFS-Realtime protocol, removing the transit route IDs, and perturbing locations with synthetic noise. Using just the geometric shapes of the trajectories, we demonstrate that our system converges on the correct route ID within a few minutes, even after a vehicle switches from serving one trip to the next.}, author = {Osang, Georg F and Cook, James and Fabrikant, Alex and Gruteser, Marco}, booktitle = {2019 IEEE Intelligent Transportation Systems Conference}, isbn = {9781538670248}, location = {Auckland, New Zealand}, publisher = {IEEE}, title = {{LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale}}, doi = {10.1109/ITSC.2019.8917514}, year = {2019}, } @article{7225, abstract = {This is a literature teaching resource review for biologically inspired microfluidics courses or exploring the diverse applications of microfluidics. The structure is around key papers and model organisms. While courses gradually change over time, a focus remains on understanding how microfluidics has developed as well as what it can and cannot do for researchers. As a primary starting point, we cover micro-fluid mechanics principles and microfabrication of devices. A variety of applications are discussed using model prokaryotic and eukaryotic organisms from the set of bacteria (Escherichia coli), trypanosomes (Trypanosoma brucei), yeast (Saccharomyces cerevisiae), slime molds (Physarum polycephalum), worms (Caenorhabditis elegans), flies (Drosophila melangoster), plants (Arabidopsis thaliana), and mouse immune cells (Mus musculus). Other engineering and biochemical methods discussed include biomimetics, organ on a chip, inkjet, droplet microfluidics, biotic games, and diagnostics. While we have not yet reached the end-all lab on a chip, microfluidics can still be used effectively for specific applications.}, author = {Merrin, Jack}, issn = {2306-5354}, journal = {Bioengineering}, number = {4}, publisher = {MDPI}, title = {{Frontiers in microfluidics, a teaching resource review}}, doi = {10.3390/bioengineering6040109}, volume = {6}, year = {2019}, } @article{7226, author = {Jaksic, Vojkan and Seiringer, Robert}, issn = {0022-2488}, journal = {Journal of Mathematical Physics}, number = {12}, publisher = {AIP Publishing}, title = {{Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018}}, doi = {10.1063/1.5138135}, volume = {60}, year = {2019}, } @inproceedings{7228, abstract = {Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP) and actor models, which share data via explicit communication. These models have been known for almost half a century, and have recently had started to gain significant traction among modern programming languages. The common abstraction for communication between several processes is the channel. Although channels are similar to producer-consumer data structures, they have different semantics and support additional operations, such as the select expression. Despite their growing popularity, most known implementations of channels use lock-based data structures and can be rather inefficient. In this paper, we present the first efficient lock-free algorithm for implementing a communication channel for CSP programming. We provide implementations and experimental results in the Kotlin and Go programming languages. Our new algorithm outperforms existing implementations on many workloads, while providing non-blocking progress guarantee. Our design can serve as an example of how to construct general communication data structures for CSP and actor models. }, author = {Koval, Nikita and Alistarh, Dan-Adrian and Elizarov, Roman}, booktitle = {25th Anniversary of Euro-Par}, isbn = {978-3-0302-9399-4}, issn = {1611-3349}, location = {Göttingen, Germany}, pages = {317--333}, publisher = {Springer Nature}, title = {{Scalable FIFO channels for programming via communicating sequential processes}}, doi = {10.1007/978-3-030-29400-7_23}, volume = {11725}, year = {2019}, } @inproceedings{7230, abstract = {Simple drawings of graphs are those in which each pair of edges share at most one point, either a common endpoint or a proper crossing. In this paper we study the problem of extending a simple drawing D(G) of a graph G by inserting a set of edges from the complement of G into D(G) such that the result is a simple drawing. In the context of rectilinear drawings, the problem is trivial. For pseudolinear drawings, the existence of such an extension follows from Levi’s enlargement lemma. In contrast, we prove that deciding if a given set of edges can be inserted into a simple drawing is NP-complete. Moreover, we show that the maximization version of the problem is APX-hard. We also present a polynomial-time algorithm for deciding whether one edge uv can be inserted into D(G) when {u,v} is a dominating set for the graph G.}, author = {Arroyo Guevara, Alan M and Derka, Martin and Parada, Irene}, booktitle = {27th International Symposium on Graph Drawing and Network Visualization}, isbn = {978-3-0303-5801-3}, issn = {1611-3349}, location = {Prague, Czech Republic}, pages = {230--243}, publisher = {Springer Nature}, title = {{Extending simple drawings}}, doi = {10.1007/978-3-030-35802-0_18}, volume = {11904}, year = {2019}, } @inproceedings{7231, abstract = {Piecewise Barrier Tubes (PBT) is a new technique for flowpipe overapproximation for nonlinear systems with polynomial dynamics, which leverages a combination of barrier certificates. PBT has advantages over traditional time-step based methods in dealing with those nonlinear dynamical systems in which there is a large difference in speed between trajectories, producing an overapproximation that is time independent. However, the existing approach for PBT is not efficient due to the application of interval methods for enclosure-box computation, and it can only deal with continuous dynamical systems without uncertainty. In this paper, we extend the approach with the ability to handle both continuous and hybrid dynamical systems with uncertainty that can reside in parameters and/or noise. We also improve the efficiency of the method significantly, by avoiding the use of interval-based methods for the enclosure-box computation without loosing soundness. We have developed a C++ prototype implementing the proposed approach and we evaluate it on several benchmarks. The experiments show that our approach is more efficient and precise than other methods in the literature.}, author = {Kong, Hui and Bartocci, Ezio and Jiang, Yu and Henzinger, Thomas A}, booktitle = {17th International Conference on Formal Modeling and Analysis of Timed Systems}, isbn = {978-3-0302-9661-2}, issn = {1611-3349}, location = {Amsterdam, The Netherlands}, pages = {123--141}, publisher = {Springer Nature}, title = {{Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty}}, doi = {10.1007/978-3-030-29662-9_8}, volume = {11750}, year = {2019}, } @inproceedings{7232, abstract = {We present Mixed-time Signal Temporal Logic (STL−MX), a specification formalism which extends STL by capturing the discrete/ continuous time duality found in many cyber-physical systems (CPS), as well as mixed-signal electronic designs. In STL−MX, properties of components with continuous dynamics are expressed in STL, while specifications of components with discrete dynamics are written in LTL. To combine the two layers, we evaluate formulas on two traces, discrete- and continuous-time, and introduce two interface operators that map signals, properties and their satisfaction signals across the two time domains. We show that STL-mx has the expressive power of STL supplemented with an implicit T-periodic clock signal. We develop and implement an algorithm for monitoring STL-mx formulas and illustrate the approach using a mixed-signal example. }, author = {Ferrere, Thomas and Maler, Oded and Nickovic, Dejan}, booktitle = {17th International Conference on Formal Modeling and Analysis of Timed Systems}, isbn = {978-3-0302-9661-2}, issn = {1611-3349}, location = {Amsterdam, The Netherlands}, pages = {59--75}, publisher = {Springer Nature}, title = {{Mixed-time signal temporal logic}}, doi = {10.1007/978-3-030-29662-9_4}, volume = {11750}, year = {2019}, } @inproceedings{7233, abstract = {We demonstrate electro-optic frequency comb generation using a doubly resonant system comprising a whispering gallery mode disk resonator made of lithium niobate mounted inside a three dimensional copper cavity. We observe 180 sidebands centred at 1550 nm.}, author = {Rueda Sanchez, Alfredo R and Sedlmeir, Florian and Leuchs, Gerd and Kumari, Madhuri and Schwefel, Harald G.L.}, booktitle = {Nonlinear Optics, OSA Technical Digest}, isbn = {9781557528209}, location = {Waikoloa Beach, Hawaii (HI), United States}, publisher = {Optica Publishing Group}, title = {{Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity}}, doi = {10.1364/NLO.2019.NM2A.5}, year = {2019}, } @article{7275, abstract = {Aprotic alkali metal–oxygen batteries require reversible formation of metal superoxide or peroxide on cycling. Severe parasitic reactions cause poor rechargeability, efficiency, and cycle life and have been shown to be caused by singlet oxygen (1O2) that forms at all stages of cycling. However, its formation mechanism remains unclear. We show that disproportionation of superoxide, the product or intermediate on discharge and charge, to peroxide and oxygen is responsible for 1O2 formation. While the overall reaction is driven by the stability of peroxide and thus favored by stronger Lewis acidic cations such as Li+, the 1O2 fraction is enhanced by weak Lewis acids such as organic cations. Concurrently, the metal peroxide yield drops with increasing 1O2. The results explain a major parasitic pathway during cell cycling and the growing severity in K–, Na–, and Li–O2 cells based on the growing propensity for disproportionation. High capacities and rates with peroxides are now realized to require solution processes, which form peroxide or release O2via disproportionation. The results therefore establish the central dilemma that disproportionation is required for high capacity but also responsible for irreversible reactions. Highly reversible cell operation requires hence finding reaction routes that avoid disproportionation.}, author = {Mourad, Eléonore and Petit, Yann K. and Spezia, Riccardo and Samojlov, Aleksej and Summa, Francesco F. and Prehal, Christian and Leypold, Christian and Mahne, Nika and Slugovc, Christian and Fontaine, Olivier and Brutti, Sergio and Freunberger, Stefan Alexander}, issn = {1754-5692}, journal = {Energy & Environmental Science}, number = {8}, pages = {2559--2568}, publisher = {RSC}, title = {{Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries}}, doi = {10.1039/c9ee01453e}, volume = {12}, year = {2019}, } @article{7276, abstract = {Singlet oxygen (1O2) causes a major fraction of the parasitic chemistry during the cycling of non‐aqueous alkali metal‐O2 batteries and also contributes to interfacial reactivity of transition‐metal oxide intercalation compounds. We introduce DABCOnium, the mono alkylated form of 1,4‐diazabicyclo[2.2.2]octane (DABCO), as an efficient 1O2 quencher with an unusually high oxidative stability of ca. 4.2 V vs. Li/Li+. Previous quenchers are strongly Lewis basic amines with too low oxidative stability. DABCOnium is an ionic liquid, non‐volatile, highly soluble in the electrolyte, stable against superoxide and peroxide, and compatible with lithium metal. The electrochemical stability covers the required range for metal–O2 batteries and greatly reduces 1O2 related parasitic chemistry as demonstrated for the Li–O2 cell.}, author = {Petit, Yann K. and Leypold, Christian and Mahne, Nika and Mourad, Eléonore and Schafzahl, Lukas and Slugovc, Christian and Borisov, Sergey M. and Freunberger, Stefan Alexander}, issn = {1433-7851}, journal = {Angewandte Chemie International Edition}, number = {20}, pages = {6535--6539}, publisher = {Wiley}, title = {{DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells}}, doi = {10.1002/anie.201901869}, volume = {58}, year = {2019}, } @article{7280, abstract = {Non-aqueous lithium-oxygen batteries cycle by forming lithium peroxide during discharge and oxidizing it during recharge. The significant problem of oxidizing the solid insulating lithium peroxide can greatly be facilitated by incorporating redox mediators that shuttle electron-holes between the porous substrate and lithium peroxide. Redox mediator stability is thus key for energy efficiency, reversibility, and cycle life. However, the gradual deactivation of redox mediators during repeated cycling has not conclusively been explained. Here, we show that organic redox mediators are predominantly decomposed by singlet oxygen that forms during cycling. Their reaction with superoxide, previously assumed to mainly trigger their degradation, peroxide, and dioxygen, is orders of magnitude slower in comparison. The reduced form of the mediator is markedly more reactive towards singlet oxygen than the oxidized form, from which we derive reaction mechanisms supported by density functional theory calculations. Redox mediators must thus be designed for stability against singlet oxygen.}, author = {Kwak, Won-Jin and Kim, Hun and Petit, Yann K. and Leypold, Christian and Nguyen, Trung Thien and Mahne, Nika and Redfern, Paul and Curtiss, Larry A. and Jung, Hun-Gi and Borisov, Sergey M. and Freunberger, Stefan Alexander and Sun, Yang-Kook}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen}}, doi = {10.1038/s41467-019-09399-0}, volume = {10}, year = {2019}, } @article{7281, abstract = {Li–O2 batteries are plagued by side reactions that cause poor rechargeability and efficiency. These reactions were recently revealed to be predominantly caused by singlet oxygen, which can be neutralized by chemical traps or physical quenchers. However, traps are irreversibly consumed and thus only active for a limited time, and so far identified quenchers lack oxidative stability to be suitable for typically required recharge potentials. Thus, reducing the charge potential within the stability limit of the quencher and/or finding more stable quenchers is required. Here, we show that dimethylphenazine as a redox mediator decreases the charge potential well within the stability limit of the quencher 1,4-diazabicyclo[2.2.2]octane. The quencher can thus mitigate the parasitic reactions without being oxidatively decomposed. At the same time the quencher protects the redox mediator from singlet oxygen attack. The mutual conservation of the redox mediator and the quencher is rational for stable and effective Li–O2 batteries.}, author = {Kwak, Won-Jin and Freunberger, Stefan Alexander and Kim, Hun and Park, Jiwon and Nguyen, Trung Thien and Jung, Hun-Gi and Byon, Hye Ryung and Sun, Yang-Kook}, issn = {2155-5435}, journal = {ACS Catalysis}, number = {11}, pages = {9914--9922}, publisher = {ACS}, title = {{Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries}}, doi = {10.1021/acscatal.9b01337}, volume = {9}, year = {2019}, }