@inproceedings{14830, abstract = {We study the problem of learning controllers for discrete-time non-linear stochastic dynamical systems with formal reach-avoid guarantees. This work presents the first method for providing formal reach-avoid guarantees, which combine and generalize stability and safety guarantees, with a tolerable probability threshold p in [0,1] over the infinite time horizon. Our method leverages advances in machine learning literature and it represents formal certificates as neural networks. In particular, we learn a certificate in the form of a reach-avoid supermartingale (RASM), a novel notion that we introduce in this work. Our RASMs provide reachability and avoidance guarantees by imposing constraints on what can be viewed as a stochastic extension of level sets of Lyapunov functions for deterministic systems. Our approach solves several important problems -- it can be used to learn a control policy from scratch, to verify a reach-avoid specification for a fixed control policy, or to fine-tune a pre-trained policy if it does not satisfy the reach-avoid specification. We validate our approach on 3 stochastic non-linear reinforcement learning tasks.}, author = {Zikelic, Dorde and Lechner, Mathias and Henzinger, Thomas A and Chatterjee, Krishnendu}, booktitle = {Proceedings of the 37th AAAI Conference on Artificial Intelligence}, issn = {2374-3468}, keywords = {General Medicine}, location = {Washington, DC, United States}, number = {10}, pages = {11926--11935}, publisher = {Association for the Advancement of Artificial Intelligence}, title = {{Learning control policies for stochastic systems with reach-avoid guarantees}}, doi = {10.1609/aaai.v37i10.26407}, volume = {37}, year = {2023}, } @article{14831, abstract = {Catalysis, the acceleration of product formation by a substance that is left unchanged, typically results from multiple elementary processes, including diffusion of the reactants toward the catalyst, chemical steps, and release of the products. While efforts to design catalysts are often focused on accelerating the chemical reaction on the catalyst, catalysis is a global property of the catalytic cycle that involves all processes. These are controlled by both intrinsic parameters such as the composition and shape of the catalyst and extrinsic parameters such as the concentration of the chemical species at play. We examine here the conditions that catalysis imposes on the different steps of a reaction cycle and the respective role of intrinsic and extrinsic parameters of the system on the emergence of catalysis by using an approach based on first-passage times. We illustrate this approach for various decompositions of a catalytic cycle into elementary steps, including non-Markovian decompositions, which are useful when the presence and nature of intermediate states are a priori unknown. Our examples cover different types of reactions and clarify the constraints on elementary steps and the impact of species concentrations on catalysis.}, author = {Sakref, Yann and Muñoz Basagoiti, Maitane and Zeravcic, Zorana and Rivoire, Olivier}, issn = {1520-5207}, journal = {The Journal of Physical Chemistry B}, keywords = {Materials Chemistry, Surfaces, Coatings and Films, Physical and Theoretical Chemistry}, number = {51}, pages = {10950--10959}, publisher = {American Chemical Society}, title = {{On kinetic constraints that catalysis imposes on elementary processes}}, doi = {10.1021/acs.jpcb.3c04627}, volume = {127}, year = {2023}, } @article{14833, abstract = {Understanding the factors that have shaped the current distributions and diversity of species is a central and longstanding aim of evolutionary biology. The recent inclusion of genomic data into phylogeographic studies has dramatically improved our understanding in organisms where evolutionary relationships have been challenging to infer. We used whole-genome sequences to study the phylogeography of the intertidal snail Littorina saxatilis, which has successfully colonized and diversified across a broad range of coastal environments in the Northern Hemisphere amid repeated cycles of glaciation. Building on past studies based on short DNA sequences, we used genome-wide data to provide a clearer picture of the relationships among samples spanning most of the species natural range. Our results confirm the trans-Atlantic colonization of North America from Europe, and have allowed us to identify rough locations of glacial refugia and to infer likely routes of colonization within Europe. We also investigated the signals in different datasets to account for the effects of genomic architecture and non-neutral evolution, which provides new insights about diversification of four ecotypes of L. saxatilis (the crab, wave, barnacle, and brackish ecotypes) at different spatial scales. Overall, we provide a much clearer picture of the biogeography of L. saxatilis, providing a foundation for more detailed phylogenomic and demographic studies.}, author = {Stankowski, Sean and Zagrodzka, Zuzanna B and Galindo, Juan and Montaño-Rendón, Mauricio and Faria, Rui and Mikhailova, Natalia and Blakeslee, April M H and Arnason, Einar and Broquet, Thomas and Morales, Hernán E and Grahame, John W and Westram, Anja M and Johannesson, Kerstin and Butlin, Roger K}, issn = {2752-938X}, journal = {Evolutionary Journal of the Linnean Society}, number = {1}, publisher = {Oxford University Press}, title = {{Whole-genome phylogeography of the intertidal snail Littorina saxatilis}}, doi = {10.1093/evolinnean/kzad002}, volume = {2}, year = {2023}, } @article{14835, abstract = {Aromatische Seitenketten sind wichtige Indikatoren für die Plastizität von Proteinen und bilden oft entscheidende Kontakte bei Protein‐Protein‐Wechselwirkungen. Wir untersuchten aromatische Reste in den beiden strukturell homologen cross‐β Amyloidfibrillen HET‐s und HELLF mit Hilfe eines spezifischen Ansatzes zur Isotopenmarkierung und Festkörper NMR mit Drehung am magischen Winkel. Das dynamische Verhalten der aromatischen Reste Phe und Tyr deutet darauf hin, dass der hydrophobe Amyloidkern starr ist und keine Anzeichen von “atmenden Bewegungen” auf einer Zeitskala von Hunderten von Millisekunden zeigt. Aromatische Reste, die exponiert an der Fibrillenoberfläche sitzen, haben zwar eine starre Ringachse, weisen aber Ringflips auf verschiedenen Zeitskalen von Nanosekunden bis Mikrosekunden auf. Unser Ansatz bietet einen direkten Einblick in die Bewegungen des hydrophoben Kerns und ermöglicht eine bessere Bewertung der Konformationsheterogenität, die aus einem NMR‐Strukturensemble einer solchen Cross‐β‐Amyloidstruktur hervorgeht.}, author = {Becker, Lea Marie and Berbon, Mélanie and Vallet, Alicia and Grelard, Axelle and Morvan, Estelle and Bardiaux, Benjamin and Lichtenecker, Roman and Ernst, Matthias and Loquet, Antoine and Schanda, Paul}, issn = {1521-3757}, journal = {Angewandte Chemie}, keywords = {General Medicine}, number = {19}, publisher = {Wiley}, title = {{Der starre Kern und die flexible Oberfläche von Amyloidfibrillen – Magic‐Angle‐Spinning NMR Spektroskopie von aromatischen Resten}}, doi = {10.1002/ange.202219314}, volume = {135}, year = {2023}, } @article{14844, abstract = {Many cell functions require a concerted effort from multiple membrane proteins, for example, for signaling, cell division, and endocytosis. One contribution to their successful self-organization stems from the membrane deformations that these proteins induce. While the pairwise interaction potential of two membrane-deforming spheres has recently been measured, membrane-deformation-induced interactions have been predicted to be nonadditive, and hence their collective behavior cannot be deduced from this measurement. We here employ a colloidal model system consisting of adhesive spheres and giant unilamellar vesicles to test these predictions by measuring the interaction potential of the simplest case of three membrane-deforming, spherical particles. We quantify their interactions and arrangements and, for the first time, experimentally confirm and quantify the nonadditive nature of membrane-deformation-induced interactions. We furthermore conclude that there exist two favorable configurations on the membrane: (1) a linear and (2) a triangular arrangement of the three spheres. Using Monte Carlo simulations, we corroborate the experimentally observed energy minima and identify a lowering of the membrane deformation as the cause for the observed configurations. The high symmetry of the preferred arrangements for three particles suggests that arrangements of many membrane-deforming objects might follow simple rules.}, author = {Azadbakht, Ali and Meadowcroft, Billie and Majek, Juraj and Šarić, Anđela and Kraft, Daniela J.}, issn = {1542-0086}, journal = {Biophysical Journal}, publisher = {Elsevier}, title = {{Nonadditivity in interactions between three membrane-wrapped colloidal spheres}}, doi = {10.1016/j.bpj.2023.12.020}, year = {2023}, } @inbook{14847, abstract = {Understanding the mechanisms of chaperones at the atomic level generally requires producing chaperone–client complexes in vitro. This task comes with significant challenges, because one needs to find conditions in which the client protein is presented to the chaperone in a state that binds and at the same time avoid the pitfalls of protein aggregation that are often inherent to such states. The strategy differs significantly for different client proteins and chaperones, but there are common underlying principles. Here, we discuss these principles and deduce the strategies that can be successfully applied for different chaperone–client complexes. We review successful biochemical strategies applied to making the client protein “binding competent” and illustrate the different strategies with examples of recent biophysical and biochemical studies.}, author = {Sučec, I. and Schanda, Paul}, booktitle = {Biophysics of Molecular Chaperones}, editor = {Hiller, Sebastian and Liu, Maili and He, Lichun}, isbn = {9781839162824}, pages = {136--161}, publisher = {Royal Society of Chemistry}, title = {{Preparing Chaperone–Client Protein Complexes for Biophysical and Structural Studies}}, doi = {10.1039/bk9781839165986-00136}, volume = {29}, year = {2023}, } @inbook{14848, abstract = {Regulating protein states is considered the core function of chaperones. However, despite their importance to all major cellular processes, the conformational changes that chaperones impart on polypeptide chains are difficult to study directly due to their heterogeneous, dynamic, and multi-step nature. Here, we review recent advances towards this aim using single-molecule manipulation methods, which are rapidly revealing new mechanisms of conformational control and helping to define a different perspective on the chaperone function.}, author = {Wruck, F. and Avellaneda Sarrió, Mario and Naqvi, M. M. and Koers, E. J. and Till, K. and Gross, L. and Moayed, F. and Roland, A. and Heling, L. W. H. J. and Mashaghi, A. and Tans, S. J.}, booktitle = {Biophysics of Molecular Chaperones}, editor = {Hiller, Sebastian and Liu, Maili and He, Lichun}, isbn = {9781839162824}, pages = {278--318}, publisher = {Royal Society of Chemistry}, title = {{Probing Single Chaperone Substrates}}, doi = {10.1039/bk9781839165986-00278}, volume = {29}, year = {2023}, } @article{14849, abstract = {We establish a precise three-term asymptotic expansion, with an optimal estimate of the error term, for the rightmost eigenvalue of an n×n random matrix with independent identically distributed complex entries as n tends to infinity. All terms in the expansion are universal.}, author = {Cipolloni, Giorgio and Erdös, László and Schröder, Dominik J and Xu, Yuanyuan}, issn = {0091-1798}, journal = {The Annals of Probability}, keywords = {Statistics, Probability and Uncertainty, Statistics and Probability}, number = {6}, pages = {2192--2242}, publisher = {Institute of Mathematical Statistics}, title = {{On the rightmost eigenvalue of non-Hermitian random matrices}}, doi = {10.1214/23-aop1643}, volume = {51}, year = {2023}, } @inbook{14853, abstract = {Organization – or departure from a random pattern – in tropical deep convection is heavily studied due to its immediate relevance to climate sensitivity and extremes. Low-latitude convection has motivated numerical model idealizations, where the Coriolis force is removed and boundary conditions are simplified spatially and temporally. One of the most stunning aspects of such idealized simulated cloud organization is the spontaneous clumping of convection that can occur without any predetermining external perturbation, such as inhomogeneous surface boundary conditions or large-scale waves. Whereas individual convective rain cells measure only few kilometers in horizontal diameter, the clusters they form can often span hundreds or even thousands of kilometers. Hence, organization may emerge from the very small scales but can show effects at the synoptic scale. We refer to such emergent organization as convective self-organization. Convective self-organization thus features characteristics of emergence, such as non-trivial system-scale pattern formation or hysteresis. We summarize observational evidence for large-scale organization and briefly recap classical idealized modeling studies that yield convective self-aggregation – emergent organization under strongly idealized boundary conditions. We then focus on developing research, where temporal variation, such as the diurnal cycle, or two-way interactive surface properties yield distinct organizational modes. Convectively generated cold pools and mesoscale convective systems, both ubiquitous in nature, are thereby found to potentially play key roles in promoting – rather than suppressing – sustained system-scale organization.}, author = {Haerter, Jan O. and Muller, Caroline J}, booktitle = {Clouds and Their Climatic Impacts}, editor = {Sullivan, Sylvia and Hoose, Corinna}, isbn = {9781119700319}, issn = {2328-8779}, pages = {179--193}, publisher = {Wiley}, title = {{Mechanisms for the Self‐Organization of Tropical Deep Convection}}, doi = {10.1002/9781119700357.ch8}, year = {2023}, } @article{14854, abstract = { Abstract We study the spectrum of the Fröhlich Hamiltonian for the polaron at fixed total momentum. We prove the existence of excited eigenvalues between the ground state energy and the essential spectrum at strong coupling. In fact, our main result shows that the number of excited energy bands diverges in the strong coupling limit. To prove this we derive upper bounds for the min-max values of the corresponding fiber Hamiltonians and compare them with the bottom of the essential spectrum, a lower bound on which was recently obtained by Brooks and Seiringer (Comm. Math. Phys. 404:1 (2023), 287–337). The upper bounds are given in terms of the ground state energy band shifted by momentum-independent excitation energies determined by an effective Hamiltonian of Bogoliubov type.}, author = {Mitrouskas, David Johannes and Seiringer, Robert}, issn = {2578-5885}, journal = {Pure and Applied Analysis}, keywords = {General Medicine}, number = {4}, pages = {973--1008}, publisher = {Mathematical Sciences Publishers}, title = {{Ubiquity of bound states for the strongly coupled polaron}}, doi = {10.2140/paa.2023.5.973}, volume = {5}, year = {2023}, } @misc{14861, abstract = {Cover Page}, author = {Becker, Lea Marie and Berbon, Mélanie and Vallet, Alicia and Grelard, Axelle and Morvan, Estelle and Bardiaux, Benjamin and Lichtenecker, Roman and Ernst, Matthias and Loquet, Antoine and Schanda, Paul}, booktitle = {Angewandte Chemie International Edition}, issn = {1521-3773}, keywords = {General Chemistry, Catalysis}, number = {19}, publisher = {Wiley}, title = {{Cover Picture: The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle‐Spinning NMR spectroscopy of aromatic residues}}, doi = {10.1002/anie.202304138}, volume = {62}, year = {2023}, } @inproceedings{14862, author = {Rella, Simon and Kulikova, Y and Minnegalieva, Aygul and Kondrashov, Fyodor}, booktitle = {European Journal of Public Health}, issn = {1464-360X}, keywords = {Public Health, Environmental and Occupational Health}, number = {Supplement_2}, publisher = {Oxford University Press}, title = {{Complex vaccination strategies prevent the emergence of vaccine resistance}}, doi = {10.1093/eurpub/ckad160.597}, volume = {33}, year = {2023}, } @inproceedings{14863, author = {Polesello, Andrea and Muller, Caroline J and Pasquero, Claudia and Meroni, Agostino N.}, booktitle = {EGU General Assembly 2023}, location = {Vienna, Austria & Virtual}, publisher = {European Geosciences Union}, title = {{Intensification mechanisms of tropical cyclones}}, doi = {10.5194/egusphere-egu23-6157}, year = {2023}, } @inproceedings{14864, author = {Stöllner, Andrea and Lenton, Isaac C and Muller, Caroline J and Waitukaitis, Scott R}, booktitle = {EGU General Assembly 2023}, location = {Vienna, Austria & Virtual}, publisher = {European Geosciences Union}, title = {{Measuring spontaneous charging of single aerosol particles}}, doi = {10.5194/egusphere-egu23-6166}, year = {2023}, } @inproceedings{14865, author = {Hwong, Yi-Ling and Colin, Maxime and Aglas, Philipp and Muller, Caroline J and Sherwood, Steven}, booktitle = {EGU General Assembly 2023}, location = {Vienna, Austria & Virtual}, publisher = {European Geosciences Union}, title = {{Evaluating memory properties in convection schemes using idealised tests}}, doi = {10.5194/egusphere-egu23-4968}, year = {2023}, } @inproceedings{14866, author = {Abramian, Sophie and Muller, Caroline J and Risi, Camille}, booktitle = {EGU General Assembly 2023}, location = {Vienna, Austria & Virtual}, publisher = {European Geosciences Union}, title = {{Extreme precipitation in tropical squall lines}}, doi = {10.5194/egusphere-egu23-15870}, year = {2023}, } @inproceedings{14867, abstract = {Starting with the empty graph on $[n]$, at each round, a set of $K=K(n)$ edges is presented chosen uniformly at random from the ones that have not been presented yet. We are then asked to choose at most one of the presented edges and add it to the current graph. Our goal is to construct a Hamiltonian graph with $(1+o(1))n$ edges within as few rounds as possible. We show that in this process, one can build a Hamiltonian graph of size $(1+o(1))n$ in $(1+o(1))(1+(\log n)/2K) n$ rounds w.h.p. The case $K=1$ implies that w.h.p. one can build a Hamiltonian graph by choosing $(1+o(1))n$ edges in an online fashion as they appear along the first $(0.5+o(1))n\log n$ rounds of the random graph process. This answers a question of Frieze, Krivelevich and Michaeli. Observe that the number of rounds is asymptotically optimal as the first $0.5n\log n$ edges do not span a Hamilton cycle w.h.p. The case $K=\Theta(\log n)$ implies that the Hamiltonicity threshold of the corresponding Achlioptas process is at most $(1+o(1))(1+(\log n)/2K) n$. This matches the $(1-o(1))(1+(\log n)/2K) n$ lower bound due to Krivelevich, Lubetzky and Sudakov and resolves the problem of determining the Hamiltonicity threshold of the Achlioptas process with $K=\Theta(\log n)$. We also show that in the above process one can construct a graph $G$ that spans a matching of size $\lfloor V(G)/2) \rfloor$ and $(0.5+o(1))n$ edges within $(1+o(1))(0.5+(\log n)/2K) n$ rounds w.h.p. Our proof relies on a robust Hamiltonicity property of the strong $4$-core of the binomial random graph which we use as a black-box. This property allows it to absorb paths covering vertices outside the strong $4$-core into a cycle.}, author = {Anastos, Michael}, booktitle = {Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications}, issn = {2788-3116}, location = {Prague, Czech Republic}, pages = {36--41}, publisher = {Masaryk University Press}, title = {{Constructing Hamilton cycles and perfect matchings efficiently}}, doi = {10.5817/cz.muni.eurocomb23-005}, year = {2023}, } @inproceedings{14872, abstract = {We entangled microwave and optical photons for the first time as verified by a measured two-mode vacuum squeezing of 0.7 dB. This electro-optic entanglement is the key resource needed to connect cryogenic quantum circuits.}, author = {Sahu, Rishabh and Qiu, Liu and Hease, William J and Arnold, Georg M and Minoguchi, Yuri and Rabl, Peter and Fink, Johannes M}, booktitle = {Frontiers in Optics + Laser Science 2023}, isbn = {9781957171296}, location = {Tacoma, WA, United States}, publisher = {Optica Publishing Group}, title = {{Entangling microwaves and telecom wavelength light}}, doi = {10.1364/ls.2023.lm1f.3}, year = {2023}, } @misc{14892, abstract = {Code and data necessary to reproduce the simulations and data analyses reported in our manuscript: Tomé, D.F., Zhang, Y., Aida, T., Mosto, O., Lu, Y., Chen, M., Sadeh, S., Roy, D. S., Clopath, C. Dynamic and selective engrams emerge with memory consolidation. 2023.}, author = {Feitosa Tomé, Douglas}, publisher = {Zenodo}, title = {{douglastome/dynamic-engrams: Dynamic and selective engrams emerge with memory consolidation}}, doi = {10.5281/ZENODO.10251087}, year = {2023}, } @misc{14919, abstract = {GLACIER METEOROLOGICAL DATA SWISS ALPS -2022 }, author = {Shaw, Thomas and Buri, Pascal and McCarthy, Michael and Miles, Evan and Pellicciotti, Francesca}, publisher = {Zenodo}, title = {{Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer}}, doi = {10.5281/ZENODO.8277285}, year = {2023}, }