@article{17277, abstract = {This paper is devoted to stability results for the Gaussian logarithmic Sobolev inequality, with explicit stability constants. }, author = {Brigati, Giovanni and Dolbeault, Jean and Simonov, Nikita}, issn = {1096-0783}, journal = {Journal of Functional Analysis}, number = {8}, publisher = {Elsevier}, title = {{Stability for the logarithmic Sobolev inequality}}, doi = {10.1016/j.jfa.2024.110562}, volume = {287}, year = {2024}, } @article{17279, abstract = {In a recent issue of Cell, Zhang et al.1 demonstrate that mechanical features of a solid tumor can drive T cells into dysfunctionality and identify pathways that revert this “exhausted” state.}, author = {Avellaneda Sarrió, Mario and Sixt, Michael K}, issn = {2451-9448}, journal = {Cell Chemical Biology}, number = {7}, pages = {1242--1243}, publisher = {Elsevier}, title = {{Rescuing T cells from stiff tumors}}, doi = {10.1016/j.chembiol.2024.06.011}, volume = {31}, year = {2024}, } @article{17280, abstract = {Adherens junction–associated protein 1 (AJAP1) has been implicated in brain diseases; however, a pathogenic mechanism has not been identified. AJAP1 is widely expressed in neurons and binds to γ-aminobutyric acid type B receptors (GBRs), which inhibit neurotransmitter release at most synapses in the brain. Here, we show that AJAP1 is selectively expressed in dendrites and trans-synaptically recruits GBRs to presynaptic sites of neurons expressing AJAP1. We have identified several monoallelic AJAP1 variants in individuals with epilepsy and/or neurodevelopmental disorders. Specifically, we show that the variant p.(W183C) lacks binding to GBRs, resulting in the inability to recruit them. Ultrastructural analysis revealed significantly decreased presynaptic GBR levels in Ajap1−/− and Ajap1W183C/+ mice. Consequently, these mice exhibited reduced GBR-mediated presynaptic inhibition at excitatory and inhibitory synapses, along with impaired synaptic plasticity. Our study reveals that AJAP1 enables the postsynaptic neuron to regulate the level of presynaptic GBR-mediated inhibition, supporting the clinical relevance of loss-of-function AJAP1 variants.}, author = {Früh, Simon and Boudkkazi, Sami and Koppensteiner, Peter and Sereikaite, Vita and Chen, Li Yuan and Fernandez-Fernandez, Diego and Rem, Pascal D. and Ulrich, Daniel and Schwenk, Jochen and Chen, Ziyang and Monnier, Elodie Le and Fritzius, Thorsten and Innocenti, Sabrina M. and Besseyrias, Valérie and Trovò, Luca and Stawarski, Michal and Argilli, Emanuela and Sherr, Elliott H. and Van Bon, Bregje and Kamsteeg, Erik Jan and Iascone, Maria and Pilotta, Alba and Cutrì, Maria R. and Azamian, Mahshid S. and Hernández-García, Andrés and Lalani, Seema R. and Rosenfeld, Jill A. and Zhao, Xiaonan and Vogel, Tiphanie P. and Ona, Herda and Scott, Daryl A. and Scheiffele, Peter and Strømgaard, Kristian and Tafti, Mehdi and Gassmann, Martin and Fakler, Bernd and Shigemoto, Ryuichi and Bettler, Bernhard}, issn = {2375-2548}, journal = {Science Advances}, number = {28}, publisher = {American Association for the Advancement of Science}, title = {{Monoallelic de novo AJAP1 loss-of- function variants disrupt trans-synaptic control of neurotransmitter release}}, doi = {10.1126/sciadv.adk5462}, volume = {10}, year = {2024}, } @article{17281, abstract = {We extend the free convolution of Brown measures of R-diagonal elements introduced by Kösters and Tikhomirov [ 28] to fractional powers. We then show how this fractional free convolution arises naturally when studying the roots of random polynomials with independent coefficients under repeated differentiation. When the proportion of derivatives to the degree approaches one, we establish central limit theorem-type behavior and discuss stable distributions.}, author = {Campbell, Andrew J and O'Rourke, Sean and Renfrew, David T}, issn = {1687-0247}, journal = {International Mathematics Research Notices}, number = {13}, pages = {10189--10218}, publisher = {Oxford University Press}, title = {{The fractional free convolution of R-diagonal elements and random polynomials under repeated differentiation}}, doi = {10.1093/imrn/rnae062}, volume = {2024}, year = {2024}, } @article{17282, abstract = {Let X be a vector field and Y be a co-vector field on a smooth manifold M. Does there exist a smooth Riemannian metric gαβ on M such that Yβ=gαβXα ? The main result of this note gives necessary and sufficient conditions for this to be true. As an application of this result we show that a finite-dimensional ergodic Lindblad equation admits a gradient flow structure for the von Neumann relative entropy if and only if the condition of BKM-detailed balance holds.}, author = {Brooks, Morris and Maas, Jan}, issn = {1432-0835}, journal = {Calculus of Variations and Partial Differential Equations}, number = {6}, publisher = {Springer Nature}, title = {{Characterisation of gradient flows for a given functional}}, doi = {10.1007/s00526-024-02755-z}, volume = {63}, year = {2024}, } @article{17283, abstract = {We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two fundamental relational properties of probabilistic programs that are essential for their correctness both in implementation and in compilation. In this work, we present a new method for static equivalence and similarity refutation. Our method refutes equivalence and similarity by computing a function over program outputs whose expected value with respect to the output distributions of two programs is different. The function is computed simultaneously with an upper expectation supermartingale and a lower expectation submartingale for the two programs, which we show to together provide a formal certificate for refuting equivalence and similarity. To the best of our knowledge, our method is the first approach to relational program analysis to offer the combination of the following desirable features: (1) it is fully automated, (2) it is applicable to infinite-state probabilistic programs, and (3) it provides formal guarantees on the correctness of its results. We implement a prototype of our method and our experiments demonstrate the effectiveness of our method to refute equivalence and similarity for a number of examples collected from the literature.}, author = {Chatterjee, Krishnendu and Kafshdar Goharshadi, Ehsan and Novotný, Petr and Zikelic, Dorde}, issn = {2475-1421}, journal = {Proceedings of the ACM on Programming Languages}, publisher = {Association for Computing Machinery}, title = {{Equivalence and similarity refutation for probabilistic programs}}, doi = {10.1145/3656462}, volume = {8}, year = {2024}, } @article{17284, abstract = {Platelet homeostasis is essential for vascular integrity and immune defence1,2. Although the process of platelet formation by fragmenting megakaryocytes (MKs; thrombopoiesis) has been extensively studied, the cellular and molecular mechanisms required to constantly replenish the pool of MKs by their progenitor cells (megakaryopoiesis) remains unclear3,4. Here we use intravital imaging to track the cellular dynamics of megakaryopoiesis over days. We identify plasmacytoid dendritic cells (pDCs) as homeostatic sensors that monitor the bone marrow for apoptotic MKs and deliver IFNα to the MK niche triggering local on-demand proliferation and maturation of MK progenitors. This pDC-dependent feedback loop is crucial for MK and platelet homeostasis at steady state and under stress. pDCs are best known for their ability to function as vigilant detectors of viral infection5. We show that virus-induced activation of pDCs interferes with their function as homeostatic sensors of megakaryopoiesis. Consequently, activation of pDCs by SARS-CoV-2 leads to excessive megakaryopoiesis. Together, we identify a pDC-dependent homeostatic circuit that involves innate immune sensing and demand-adapted release of inflammatory mediators to maintain homeostasis of the megakaryocytic lineage.}, author = {Gärtner, Florian R and Ishikawa-Ankerhold, Hellen and Stutte, Susanne and Fu, Wenwen and Weitz, Jutta and Dueck, Anne and Nelakuditi, Bhavishya and Fumagalli, Valeria and Van Den Heuvel, Dominic and Belz, Larissa and Sobirova, Gulnoza and Zhang, Zhe and Titova, Anna and Navarro, Alejandro Martinez and Pekayvaz, Kami and Lorenz, Michael and Von Baumgarten, Louisa and Kranich, Jan and Straub, Tobias and Popper, Bastian and Zheden, Vanessa and Kaufmann, Walter and Guo, Chenglong and Piontek, Guido and Von Stillfried, Saskia and Boor, Peter and Colonna, Marco and Clauß, Sebastian and Schulz, Christian and Brocker, Thomas and Walzog, Barbara and Scheiermann, Christoph and Aird, William C. and Nerlov, Claus and Stark, Konstantin and Petzold, Tobias and Engelhardt, Stefan and Sixt, Michael K and Hauschild, Robert and Rudelius, Martina and Oostendorp, Robert A.J. and Iannacone, Matteo and Heinig, Matthias and Massberg, Steffen}, issn = {1476-4687}, journal = {Nature}, pages = {645--653}, publisher = {Springer Nature}, title = {{Plasmacytoid dendritic cells control homeostasis of megakaryopoiesis}}, doi = {10.1038/s41586-024-07671-y}, volume = {631}, year = {2024}, } @article{17285, abstract = {Winter plants rely on vernalization, a crucial process for adapting to cold conditions and ensuring successful reproduction. However, understanding the role of histone modifications in guiding the vernalization process in winter wheat remains limited. In this study, we investigated the transcriptome and chromatin dynamics in the shoot apex throughout the life cycle of winter wheat in the field. Two core histone modifications, H3K27me3 and H3K36me3, exhibited opposite patterns on the key vernalization gene VERNALIZATION1 (VRN1), correlating with its induction during cold exposure. Moreover, the H3K36me3 level remained high at VRN1 after cold exposure, which may maintain its active state. Mutations in FERTILIZATION-INDEPENDENT ENDOSPERM (TaFIE) and SET DOMAIN GROUP 8/EARLY FLOWERING IN SHORT DAYS (TaSDG8/TaEFS), components of the writer complex for H3K27me3 and H3K36me3, respectively, affected flowering time. Intriguingly, VRN1 lost its high expression after the cold exposure memory in the absence of H3K36me3. During embryo development, VRN1 was silenced with the removal of active histone modifications in both winter and spring wheat, with selective restoration of H3K27me3 in winter wheat. The mutant of Tafie-cr-87, a component of H3K27me3 “writer” complex, did not influence the silence of VRN1 during embryo development, but rather attenuated the cold exposure requirement of winter wheat. Integrating gene expression with H3K27me3 and H3K36me3 patterns identified potential regulators of flowering. This study unveils distinct roles of H3K27me3 and H3K36me3 in controlling vernalization response, maintenance, and resetting in winter wheat.}, author = {Liu, Xuemei and Deng, Min and Shi, Bingxin and Zhu, Kehui and Chen, Jinchao and Xu, Shujuan and Bie, Xiaomin and Zhang, Xiansheng and Lin, Xuelei and Xiao, Jun}, issn = {1869-1889}, journal = {Science China Life Sciences}, pages = {2251--2266}, publisher = {Springer Nature}, title = {{Distinct roles of H3K27me3 and H3K36me3 in vernalization response, maintenance, and resetting in winter wheat}}, doi = {10.1007/s11427-024-2664-0}, volume = {67}, year = {2024}, } @article{17291, abstract = {Bacterial cell walls are gigadalton-large cross-linked polymers with a wide range of motional amplitudes, including rather rigid as well as highly flexible parts. Magic-angle spinning NMR is a powerful method to obtain atomic-level information about intact cell walls. Here we investigate sensitivity and information content of different homonuclear 13Csingle bond13C and heteronuclear 1Hsingle bond15N, 1Hsingle bond13C and 15Nsingle bond13C correlation experiments. We demonstrate that a CPMAS CryoProbe yields ca. 8-fold increased signal-to-noise over a room-temperature probe, or a ca. 3–4-fold larger per-mass sensitivity. The increased sensitivity allowed to obtain high-resolution spectra even on intact bacteria. Moreover, we compare resolution and sensitivity of 1H MAS experiments obtained at 100 kHz vs. 55 kHz. Our study provides useful hints for choosing experiments to extract atomic-level details on cell-wall samples.}, author = {Vallet, Alicia and Ayala, Isabel and Perrone, Barbara and Hassan, Alia and Simorre, Jean-Pierre and Bougault, Catherine and Schanda, Paul}, issn = {1090-7807}, journal = {Journal of Magnetic Resonance}, publisher = {Elsevier}, title = {{MAS NMR experiments of corynebacterial cell walls: Complementary 1H- and CPMAS CryoProbe-enhanced 13C-detected experiments}}, doi = {10.1016/j.jmr.2024.107708}, volume = {364}, year = {2024}, } @article{17302, abstract = {The mountain cryosphere and groundwater play pivotal roles in shaping the hydrological cycle, yet their connectivity remains incompletely understood. Current knowledge on meltwater recharge and consequent groundwater discharge processes is better developed for snow–groundwater connectivity than for glacier–groundwater connectivity. Estimates of meltwater recharge vary considerably, which is probably a function of not only inherent catchment characteristics but also of the different spatio-temporal scales involved and the uncertainties in the methods used. This hinders a comprehensive understanding of the mountain water cycle. As glaciers retreat, permafrost thaws and snowpack diminishes, the relative importance of mountain groundwater is expected to increase. However, shifting and declining recharge from the cryosphere may decrease absolute groundwater amounts and fluxes with as-yet unknown effects on catchment-scale hydrological processes. We therefore stress the need to better quantify mountain cryosphere–groundwater connectivity to predict climate change impacts on mountain water supply and to support sustainable water resource management of downstream socio-ecological systems.}, author = {van Tiel, Marit and Aubry-Wake, Caroline and Somers, Lauren and Andermann, Christoff and Avanzi, Francesco and Baraer, Michel and Chiogna, Gabriele and Daigre, Clémence and Das, Soumik and Drenkhan, Fabian and Farinotti, Daniel and Fyffe, Catriona Louise and de Graaf, Inge and Hanus, Sarah and Immerzeel, Walter and Koch, Franziska and McKenzie, Jeffrey M. and Müller, Tom and Popp, Andrea L. and Saidaliyeva, Zarina and Schaefli, Bettina and Schilling, Oliver S. and Teagai, Kapiolani and Thornton, James M. and Yapiyev, Vadim}, issn = {2731-6084}, journal = {Nature Water}, pages = {624--637}, publisher = {Springer Nature}, title = {{Cryosphere–groundwater connectivity is a missing link in the mountain water cycle}}, doi = {10.1038/s44221-024-00277-8}, volume = {2}, year = {2024}, } @article{17325, abstract = {Bacterial ion fluxes are involved in the generation of energy, transport, and motility. As such, bacterial electrophysiology is fundamentally important for the bacterial life cycle, but it is often neglected and consequently, by and large, not understood. Arguably, the two main reasons for this are the complexity of measuring relevant variables in small cells with a cell envelope that contains the cell wall and the fact that, in a unicellular organism, relevant variables become intertwined in a nontrivial manner. To help give bacterial electrophysiology studies a firm footing, in this review, we go back to basics. We look first at the biophysics of bacterial membrane potential, and then at the approaches and models developed mostly for the study of neurons and eukaryotic mitochondria. We discuss their applicability to bacterial cells. Finally, we connect bacterial membrane potential with other relevant (electro)physiological variables and summarize methods that can be used to both measure and influence bacterial electrophysiology.}, author = {Lo, Wei Chang and Krasnopeeva, Ekaterina and Pilizota, Teuta}, issn = {1936-1238}, journal = {Annual Review of Biophysics}, pages = {487--510}, publisher = {Annual Reviews}, title = {{Bacterial Electrophysiology}}, doi = {10.1146/annurev-biophys-030822-032215}, volume = {53}, year = {2024}, } @article{17326, abstract = {Magnetic fields in the stellar interiors are key candidates to explain observed core rotation rates inside solar-like stars along their evolution. Recently, asteroseismic estimates of radial magnetic field amplitudes near the hydrogen-burning shell (H-shell) inside about 24 red giants (RGs) have been obtained by measuring frequency splittings from their power spectra. Using general Lorentz-stress (magnetic) kernels, we investigated the potential for detectability of near-surface magnetism in a 1.3 M⊙ star of supersolar metallicity as it evolves from a mid subgiant to a late subgiant into an RG. Based on these sensitivity kernels, we decompose an RG into three zones—deep core, H-shell, and near-surface. The subgiants instead required decomposition into an inner core, an outer core, and a near-surface layer. Additionally, we find that for a low-frequency g-dominated dipolar mode in the presence of a typical stable magnetic field, ∼25% of the frequency shift comes from the H-shell and the remaining from deeper layers. The ratio of the subsurface tangential field to the radial field in the H-burning shell decides if subsurface fields may be potentially detectable. For p-dominated dipole modes close to vmax, this ratio is around two orders of magnitude smaller in subgiant phases than the corresponding RG. Further, with the availability of magnetic kernels, we propose lower limits of field strengths in crucial layers in our stellar model during its evolutionary phases. The theoretical prescription outlined here provides the first formal way to devise inverse problems for stellar magnetism and can be seamlessly employed for slow rotators.}, author = {Bhattacharya, Shatanik and Das, Srijan B and Bugnet, Lisa Annabelle and Panda, Subrata and Hanasoge, Shravan M.}, issn = {1538-4357}, journal = {Astrophysical Journal}, number = {1}, publisher = {IOP Publishing}, title = {{Detectability of axisymmetric magnetic fields from the core to the surface of oscillating post-main-sequence stars}}, doi = {10.3847/1538-4357/ad4708}, volume = {970}, year = {2024}, } @inproceedings{17327, abstract = {Sequential decision-making in probabilistic environments is a fundamental problem with many applications in AI and economics. In this paper, we present an algorithm for synthesizing sequential decision-making agents that optimize statistical properties such as maximum and average response times. In the general setting of sequential decision-making, the environment is modeled as a random process that generates inputs. The agent responds to each input, aiming to maximize rewards and minimize costs within a specified time horizon. The corresponding synthesis problem is known to be PSPACE-hard. We consider the special case where the input distribution, reward, and cost depend on input-output statistics specified by counter automata. For such problems, this paper presents the first PTIME synthesis algorithms. We introduce the notion of statistical abstraction, which clusters statistically indistinguishable input-output sequences into equivalence classes. This abstraction allows for a dynamic programming algorithm whose complexity grows polynomially with the considered horizon, making the statistical case exponentially more efficient than the general case. We evaluate our algorithm on three different application scenarios of a client-server protocol, where multiple clients compete via bidding to gain access to the service offered by the server. The synthesized policies optimize profit while guaranteeing that none of the server’s clients is disproportionately starved of the service.}, author = {Cano, Filip and Henzinger, Thomas A and Könighofer, Bettina and Kueffner, Konstantin and Mallik, Kaushik}, booktitle = {9th International Conference on Formal Structures for Computation and Deduction}, isbn = {9783959773232}, issn = {1868-8969}, location = {Tallinn, Estonia}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Abstraction-based decision making for statistical properties}}, doi = {10.4230/LIPIcs.FSCD.2024.2}, volume = {299}, year = {2024}, } @inproceedings{17329, abstract = {We initiate the study of game dynamics in the population protocol model: n agents each maintain a current local strategy and interact in pairs uniformly at random. Upon each interaction, the agents play a two-person game and receive a payoff from an underlying utility function, and they can subsequently update their strategies according to a fixed local algorithm. In this setting, we ask how the distribution over agent strategies evolves over a sequence of interactions, and we introduce a new distributional equilibrium concept to quantify the quality of such distributions. As an initial example, we study a class of repeated prisoner's dilemma games, and we consider a family of simple local update algorithms that yield non-trivial dynamics over the distribution of agent strategies. We show that these dynamics are related to a new class of high-dimensional Ehrenfest random walks, and we derive exact characterizations of their stationary distributions, bounds on their mixing times, and prove their convergence to approximate distributional equilibria. Our results highlight trade-offs between the local state space of each agent, and the convergence rate and approximation factor of the underlying dynamics. Our approach opens the door towards the further characterization of equilibrium computation for other classes of games and dynamics in the population setting.}, author = {Alistarh, Dan-Adrian and Chatterjee, Krishnendu and Karrabi, Mehrdad and Lazarsfeld, John M}, booktitle = {Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing}, isbn = {9798400706684}, location = {Nantes, France}, pages = {40--49}, publisher = {Association for Computing Machinery}, title = {{Game dynamics and equilibrium computation in the population protocol model}}, doi = {10.1145/3662158.3662768}, year = {2024}, } @article{17330, abstract = {In this work we consider the list-decodability and list-recoverability of arbitrary q -ary codes, for all integer values of q ⩾ 2. A code is called ( p , L ) q -list-decodable if every radius pn Hamming ball contains less than L codewords; ( p , ℓ, L ) q -recoverability is a generalization where we place radius pn Hamming balls on every point of a combinatorial rectangle with side length ℓ and again stipulate that there be less than L codewords. Our main contribution is to precisely calculate the maximum value of p for which there exist infinite families of positive rate ( p , ℓ, L ) q -list-recoverable codes, the quantity we call the zero-rate threshold . Denoting this value by p *, we in fact show that codes correcting a p * + ε fraction of errors must have size O ε (1), i.e., independent of n . Such a result is typically referred to as a “Plotkin bound.” To complement this, a standard random code with expurgation construction shows that there exist positive rate codes correcting a p * − ε fraction of errors. We also follow a classical proof template (typically attributed to Elias and Bassalygo) to derive from the zero-rate threshold other tradeoffs between rate and decoding radius for list-decoding and list-recovery. Technically, proving the Plotkin bound boils down to demon-strating the Schur convexity of a certain function defined on the q -simplex as well as the convexity of a univariate function derived from it. We remark that an earlier argument claimed similar results for q -ary list-decoding; however, we point out that this earlier proof is flawed.}, author = {Resch, Nicolas and Yuan, Chen and Zhang, Yihan}, issn = {1557-9654}, journal = {IEEE Transactions on Information Theory}, number = {9}, pages = {6211--6238}, publisher = {IEEE}, title = {{Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery}}, doi = {10.1109/TIT.2024.3430842}, volume = {70}, year = {2024}, } @article{17331, abstract = {Amyloidosis are a group of diseases in which soluble proteins aggregate and deposit in fibrillar conformation extracellularly in tissues. The effectiveness of therapeutic strategies depends on the specific protein involved, being crucial to accurately determine its nature. Moreover, following the diagnosis, the search for the mutation within relatives allows the clinical advice. Here we report the precise diagnosis and explored the possible reasons of the structural pathogenicity for a renal amyloidosis related to a fibrinogen Aα-chain variant. Whole-exome sequencing and GATK calling pipeline were leveraged to characterize the protein variant present in a patient with kidney failure. Bioinformatics strategies were applied to suggest potential explanations of the variants aggregation. Our pipeline allowed the identification of a single-point variant of fibrinogen Aα-chain, which opened the possibility of curative transplantation. In silico structural analysis suggested that the pathogenicity of the variant may be attributed to a heightened susceptibility to yield a peptide prone to deposit as an oligomer with a β-sheet structure. Exploiting the comprehensive coverage of whole-genome sequencing, we managed to fill a vacant stage in the diagnosis of hereditary amyloidosis and to stimulate the advancement in biomedicine.}, author = {Cattaneo, Elizabeth R and Gisonno, Romina A and Abba, Martín C and Santana, Marianela and Rosú, Silvana A and Nucifora, Elsa and Aguirre, María A and Giordani, María C and Tricerri, M. Alejandra and Ramella, Nahuel A}, issn = {1097-0134}, journal = {Proteins: Structure, Function and Bioinformatics}, number = {12}, pages = {1366--1374}, publisher = {Wiley}, title = {{Hereditary amyloidosis: Insights into a fibrinogen A variant protein}}, doi = {10.1002/prot.26732}, volume = {92}, year = {2024}, } @inproceedings{17332, abstract = {Tree data structures, such as red-black trees, quad trees, treaps, or tries, are fundamental tools in computer science. A classical problem in concurrency is to obtain expressive, efficient, and scalable versions of practical tree data structures. We are interested in concurrent trees supporting range queries, i.e., queries that involve multiple consecutive data items. Existing implementations with this capability can list keys in a specific range, but do not support aggregate range queries: for instance, if we want to calculate the number of keys in a range, the only choice is to retrieve a whole list and return its size. This is suboptimal: in the sequential setting, one can augment a balanced search tree with counters and, consequently, perform these aggregate requests in logarithmic rather than linear time.In this paper, we propose a generic approach to implement a broad class of range queries on concurrent trees in a way that is wait-free, asymptotically efficient, and practically scalable. The key idea is a new mechanism for maintaining metadata concurrently at tree nodes, which can be seen as a wait-free variant of hand-over-hand locking (which we call hand-over-hand helping). We did a preliminary implementation of the wait-free binary search tree and preliminary experiments have indicated the soundness of our approach.}, author = {Kokorin, Ilya and Yudov, Victor and Aksenov, Vitaly and Alistarh, Dan-Adrian}, booktitle = {2024 IEEE International Parallel and Distributed Processing Symposium}, isbn = {9798350337662}, issn = {1530-2075}, location = {San Francisco, CA, United States}, pages = {169--179}, publisher = {IEEE}, title = {{Wait-free trees with asymptotically-efficient range queries}}, doi = {10.1109/IPDPS57955.2024.00023}, year = {2024}, } @article{17333, abstract = {Aqueous zinc-ion batteries are attractive due to their low cost, environmental friendliness, and exceptional performance, but the latter remains poorly understood. Now, a fast catalytic step involved in oxygen redox catalysis is shown to contribute to capacity at a high rate.}, author = {Mondal, Soumyadip and Freunberger, Stefan Alexander}, issn = {2520-1158}, journal = {Nature Catalysis}, number = {7}, pages = {759--760}, publisher = {Springer Nature}, title = {{Catalysing rate and capacity}}, doi = {10.1038/s41929-024-01184-7}, volume = {7}, year = {2024}, } @phdthesis{17336, abstract = {This thesis deals with the study of stochastic processes and their ergodicity properties. The variety of problems encountered calls for a set of different approaches, ranging from classical to modern ones: a special place is held by probabilistic methods based on couplings, by functional inequalities, and by the theory of gradient flows in the space of measures. The material is organized as follows. Chapter 1 contains the introduction to this thesis, starting with a general presentation of some of the relevant topics. Section 1.1 is dedicated to the theory of gradient flows in metric spaces, and introduces the first contribution of this thesis [DSMP24], which is presented in detail in Chapter 2. Section 1.2 moves to the topic of curvature of Markov chains, concluding with a brief description of our second contribution [Ped23], which is included in Chapter 3. Section 1.3 discusses applications of stochastic processes to the theory of sampling, in particular the recent framework of score-based diffusion models, and our contribution [PMM24], which is contained in Chapter 4. Section 1.4 discusses some related problems, concerning the regularization properties of the heat flow. It serves as a motivation for the work [BP24], which we report in Chapter 5. Finally, Section 1.5 discusses the last contribution of this thesis, which can be found in Chapter 6. It deals with the convergence to equilibrium of a particular stochastic model from quantitative genetics: this is established via some functional inequalities, which we prove with probabilistic arguments based on couplings. }, author = {Pedrotti, Francesco}, issn = {2663-337X}, pages = {183}, publisher = {Institute of Science and Technology Austria}, title = {{Functional inequalities and convergence of stochastic processes}}, doi = {10.15479/at:ista:17336}, year = {2024}, } @misc{17344, abstract = {This file contains the Mathematica notebook associated with the paper Effect of assortative mating and sexual selection on polygenic barriers to gene flow. It contains the numerical approximations, analyses, and simulations used in the study. }, author = {Surendranadh, Parvathy and Sachdeva, Himani}, publisher = {Institute of Science and Technology Austria}, title = {{Mathematica notebook for 'Effect of assortative mating and sexual selection on polygenic barriers to gene flow'}}, doi = {10.15479/AT:ISTA:17344}, year = {2024}, }