@article{12706, abstract = {Allometric settings of population dynamics models are appealing due to their parsimonious nature and broad utility when studying system level effects. Here, we parameterise the size-scaled Rosenzweig-MacArthur differential equations to eliminate prey-mass dependency, facilitating an in depth analytic study of the equations which incorporates scaling parameters’ contributions to coexistence. We define the functional response term to match empirical findings, and examine situations where metabolic theory derivations and observation diverge. The dynamical properties of the Rosenzweig-MacArthur system, encompassing the distribution of size-abundance equilibria, the scaling of period and amplitude of population cycling, and relationships between predator and prey abundances, are consistent with empirical observation. Our parameterisation is an accurate minimal model across 15+ orders of mass magnitude.}, author = {Mckerral, Jody C. and Kleshnina, Maria and Ejov, Vladimir and Bartle, Louise and Mitchell, James G. and Filar, Jerzy A.}, issn = {1932-6203}, journal = {PLoS One}, number = {2}, pages = {e0279838}, publisher = {Public Library of Science}, title = {{Empirical parameterisation and dynamical analysis of the allometric Rosenzweig-MacArthur equations}}, doi = {10.1371/journal.pone.0279838}, volume = {18}, year = {2023}, } @article{12707, abstract = {We establish precise right-tail small deviation estimates for the largest eigenvalue of real symmetric and complex Hermitian matrices whose entries are independent random variables with uniformly bounded moments. The proof relies on a Green function comparison along a continuous interpolating matrix flow for a long time. Less precise estimates are also obtained in the left tail.}, author = {Erdös, László and Xu, Yuanyuan}, issn = {1350-7265}, journal = {Bernoulli}, number = {2}, pages = {1063--1079}, publisher = {Bernoulli Society for Mathematical Statistics and Probability}, title = {{Small deviation estimates for the largest eigenvalue of Wigner matrices}}, doi = {10.3150/22-BEJ1490}, volume = {29}, year = {2023}, } @article{12708, abstract = {Self-organisation is the spontaneous emergence of spatio-temporal structures and patterns from the interaction of smaller individual units. Examples are found across many scales in very different systems and scientific disciplines, from physics, materials science and robotics to biology, geophysics and astronomy. Recent research has highlighted how self-organisation can be both mediated and controlled by confinement. Confinement is an action over a system that limits its units’ translational and rotational degrees of freedom, thus also influencing the system's phase space probability density; it can function as either a catalyst or inhibitor of self-organisation. Confinement can then become a means to actively steer the emergence or suppression of collective phenomena in space and time. Here, to provide a common framework and perspective for future research, we examine the role of confinement in the self-organisation of soft-matter systems and identify overarching scientific challenges that need to be addressed to harness its full scientific and technological potential in soft matter and related fields. By drawing analogies with other disciplines, this framework will accelerate a common deeper understanding of self-organisation and trigger the development of innovative strategies to steer it using confinement, with impact on, e.g., the design of smarter materials, tissue engineering for biomedicine and in guiding active matter.}, author = {Araújo, Nuno A.M. and Janssen, Liesbeth M.C. and Barois, Thomas and Boffetta, Guido and Cohen, Itai and Corbetta, Alessandro and Dauchot, Olivier and Dijkstra, Marjolein and Durham, William M. and Dussutour, Audrey and Garnier, Simon and Gelderblom, Hanneke and Golestanian, Ramin and Isa, Lucio and Koenderink, Gijsje H. and Löwen, Hartmut and Metzler, Ralf and Polin, Marco and Royall, C. Patrick and Šarić, Anđela and Sengupta, Anupam and Sykes, Cécile and Trianni, Vito and Tuval, Idan and Vogel, Nicolas and Yeomans, Julia M. and Zuriguel, Iker and Marin, Alvaro and Volpe, Giorgio}, issn = {1744-6848}, journal = {Soft Matter}, pages = {1695--1704}, publisher = {Royal Society of Chemistry}, title = {{Steering self-organisation through confinement}}, doi = {10.1039/d2sm01562e}, volume = {19}, year = {2023}, } @article{12709, abstract = {Given a finite set A ⊂ ℝ^d, let Cov_{r,k} denote the set of all points within distance r to at least k points of A. Allowing r and k to vary, we obtain a 2-parameter family of spaces that grow larger when r increases or k decreases, called the multicover bifiltration. Motivated by the problem of computing the homology of this bifiltration, we introduce two closely related combinatorial bifiltrations, one polyhedral and the other simplicial, which are both topologically equivalent to the multicover bifiltration and far smaller than a Čech-based model considered in prior work of Sheehy. Our polyhedral construction is a bifiltration of the rhomboid tiling of Edelsbrunner and Osang, and can be efficiently computed using a variant of an algorithm given by these authors as well. Using an implementation for dimension 2 and 3, we provide experimental results. Our simplicial construction is useful for understanding the polyhedral construction and proving its correctness.}, author = {Corbet, René and Kerber, Michael and Lesnick, Michael and Osang, Georg F}, issn = {1432-0444}, journal = {Discrete and Computational Geometry}, pages = {376--405}, publisher = {Springer Nature}, title = {{Computing the multicover bifiltration}}, doi = {10.1007/s00454-022-00476-8}, volume = {70}, year = {2023}, } @article{12710, abstract = {Surface curvature both emerges from, and influences the behavior of, living objects at length scales ranging from cell membranes to single cells to tissues and organs. The relevance of surface curvature in biology is supported by numerous experimental and theoretical investigations in recent years. In this review, first, a brief introduction to the key ideas of surface curvature in the context of biological systems is given and the challenges that arise when measuring surface curvature are discussed. Giving an overview of the emergence of curvature in biological systems, its significance at different length scales becomes apparent. On the other hand, summarizing current findings also shows that both single cells and entire cell sheets, tissues or organisms respond to curvature by modulating their shape and their migration behavior. Finally, the interplay between the distribution of morphogens or micro-organisms and the emergence of curvature across length scales is addressed with examples demonstrating these key mechanistic principles of morphogenesis. Overall, this review highlights that curved interfaces are not merely a passive by-product of the chemical, biological, and mechanical processes but that curvature acts also as a signal that co-determines these processes.}, author = {Schamberger, Barbara and Ziege, Ricardo and Anselme, Karine and Ben Amar, Martine and Bykowski, Michał and Castro, André P.G. and Cipitria, Amaia and Coles, Rhoslyn A. and Dimova, Rumiana and Eder, Michaela and Ehrig, Sebastian and Escudero, Luis M. and Evans, Myfanwy E. and Fernandes, Paulo R. and Fratzl, Peter and Geris, Liesbet and Gierlinger, Notburga and Hannezo, Edouard B and Iglič, Aleš and Kirkensgaard, Jacob J.K. and Kollmannsberger, Philip and Kowalewska, Łucja and Kurniawan, Nicholas A. and Papantoniou, Ioannis and Pieuchot, Laurent and Pires, Tiago H.V. and Renner, Lars D. and Sageman-Furnas, Andrew O. and Schröder-Turk, Gerd E. and Sengupta, Anupam and Sharma, Vikas R. and Tagua, Antonio and Tomba, Caterina and Trepat, Xavier and Waters, Sarah L. and Yeo, Edwina F. and Roschger, Andreas and Bidan, Cécile M. and Dunlop, John W.C.}, issn = {1521-4095}, journal = {Advanced Materials}, number = {13}, publisher = {Wiley}, title = {{Curvature in biological systems: Its quantification, emergence, and implications across the scales}}, doi = {10.1002/adma.202206110}, volume = {35}, year = {2023}, } @phdthesis{12716, abstract = {The process of detecting and evaluating sensory information to guide behaviour is termed perceptual decision-making (PDM), and is critical for the ability of an organism to interact with its external world. Individuals with autism, a neurodevelopmental condition primarily characterised by social and communication difficulties, frequently exhibit altered sensory processing and PDM difficulties are widely reported. Recent technological advancements have pushed forward our understanding of the genetic changes accompanying this condition, however our understanding of how these mutations affect the function of specific neuronal circuits and bring about the corresponding behavioural changes remains limited. Here, we use an innate PDM task, the looming avoidance response (LAR) paradigm, to identify a convergent behavioural abnormality across three molecularly distinct genetic mouse models of autism (Cul3, Setd5 and Ptchd1). Although mutant mice can rapidly detect threatening visual stimuli, their responses are consistently delayed, requiring longer to initiate an appropriate response than their wild-type siblings. Mutant animals show abnormal adaptation in both their stimulus- evoked escape responses and exploratory dynamics following repeated stimulus presentations. Similarly delayed behavioural responses are observed in wild-type animals when faced with more ambiguous threats, suggesting the mutant phenotype could arise from a dysfunction in the flexible control of this PDM process. Our knowledge of the core neuronal circuitry mediating the LAR facilitated a detailed dissection of the neuronal mechanisms underlying the behavioural impairment. In vivo extracellular recording revealed that visual responses were unaffected within a key brain region for the rapid processing of visual threats, the superior colliculus (SC), indicating that the behavioural delay was unlikely to originate from sensory impairments. Delayed behavioural responses were recapitulated in the Setd5 model following optogenetic stimulation of the excitatory output neurons of the SC, which are known to mediate escape initiation through the activation of cells in the underlying dorsal periaqueductal grey (dPAG). In vitro patch-clamp recordings of dPAG cells uncovered a stark hypoexcitability phenotype in two out of the three genetic models investigated (Setd5 and Ptchd1), that in Setd5, is mediated by the misregulation of voltage-gated potassium channels. Overall, our results show that the ability to use visual information to drive efficient escape responses is impaired in three diverse genetic mouse models of autism and that, in one of the models studied, this behavioural delay likely originates from differences in the intrinsic excitability of a key subcortical node, the dPAG. Furthermore, this work showcases the use of an innate behavioural paradigm to mechanistically dissect PDM processes in autism.}, author = {Burnett, Laura}, issn = {2663-337X}, pages = {178}, publisher = {Institute of Science and Technology Austria}, title = {{To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism}}, doi = {10.15479/at:ista:12716}, year = {2023}, } @article{12719, abstract = {Background Epigenetic clocks can track both chronological age (cAge) and biological age (bAge). The latter is typically defined by physiological biomarkers and risk of adverse health outcomes, including all-cause mortality. As cohort sample sizes increase, estimates of cAge and bAge become more precise. Here, we aim to develop accurate epigenetic predictors of cAge and bAge, whilst improving our understanding of their epigenomic architecture. Methods First, we perform large-scale (N = 18,413) epigenome-wide association studies (EWAS) of chronological age and all-cause mortality. Next, to create a cAge predictor, we use methylation data from 24,674 participants from the Generation Scotland study, the Lothian Birth Cohorts (LBC) of 1921 and 1936, and 8 other cohorts with publicly available data. In addition, we train a predictor of time to all-cause mortality as a proxy for bAge using the Generation Scotland cohort (1214 observed deaths). For this purpose, we use epigenetic surrogates (EpiScores) for 109 plasma proteins and the 8 component parts of GrimAge, one of the current best epigenetic predictors of survival. We test this bAge predictor in four external cohorts (LBC1921, LBC1936, the Framingham Heart Study and the Women’s Health Initiative study). Results Through the inclusion of linear and non-linear age-CpG associations from the EWAS, feature pre-selection in advance of elastic net regression, and a leave-one-cohort-out (LOCO) cross-validation framework, we obtain cAge prediction with a median absolute error equal to 2.3 years. Our bAge predictor was found to slightly outperform GrimAge in terms of the strength of its association to survival (HRGrimAge = 1.47 [1.40, 1.54] with p = 1.08 × 10−52, and HRbAge = 1.52 [1.44, 1.59] with p = 2.20 × 10−60). Finally, we introduce MethylBrowsR, an online tool to visualise epigenome-wide CpG-age associations. Conclusions The integration of multiple large datasets, EpiScores, non-linear DNAm effects, and new approaches to feature selection has facilitated improvements to the blood-based epigenetic prediction of biological and chronological age.}, author = {Bernabeu, Elena and Mccartney, Daniel L. and Gadd, Danni A. and Hillary, Robert F. and Lu, Ake T. and Murphy, Lee and Wrobel, Nicola and Campbell, Archie and Harris, Sarah E. and Liewald, David and Hayward, Caroline and Sudlow, Cathie and Cox, Simon R. and Evans, Kathryn L. and Horvath, Steve and Mcintosh, Andrew M. and Robinson, Matthew Richard and Vallejos, Catalina A. and Marioni, Riccardo E.}, issn = {1756-994X}, journal = {Genome Medicine}, publisher = {Springer Nature}, title = {{Refining epigenetic prediction of chronological and biological age}}, doi = {10.1186/s13073-023-01161-y}, volume = {15}, year = {2023}, } @inbook{12720, abstract = {Here we describe the in vivo DNA assembly approach, where molecular cloning procedures are performed using an E. coli recA-independent recombination pathway, which assembles linear fragments of DNA with short homologous termini. This pathway is present in all standard laboratory E. coli strains and, by bypassing the need for in vitro DNA assembly, allows simplified molecular cloning to be performed without the plasmid instability issues associated with specialized recombination-cloning bacterial strains. The methodology requires specific primer design and can perform all standard plasmid modifications (insertions, deletions, mutagenesis, and sub-cloning) in a rapid, simple, and cost-efficient manner, as it does not require commercial kits or specialized bacterial strains. Additionally, this approach can be used to perform complex procedures such as multiple modifications to a plasmid, as up to 6 linear fragments can be assembled in vivo by this recombination pathway. Procedures generally require less than 3 h, involving PCR amplification, DpnI digestion of template DNA, and transformation, upon which circular plasmids are assembled. In this chapter we describe the requirements, procedure, and potential pitfalls when using this technique, as well as protocol variations to overcome the most common issues.}, author = {Arroyo-Urea, Sandra and Watson, Jake and García-Nafría, Javier}, booktitle = {DNA Manipulation and Analysis}, editor = {Scarlett, Garry}, isbn = {978-1-0716-3003-7}, issn = {1940-6029}, pages = {33--44}, publisher = {Springer Nature}, title = {{Molecular Cloning Using In Vivo DNA Assembly}}, doi = {10.1007/978-1-0716-3004-4_3}, volume = {2633}, year = {2023}, } @article{12723, abstract = {Lead halide perovskites enjoy a number of remarkable optoelectronic properties. To explain their origin, it is necessary to study how electromagnetic fields interact with these systems. We address this problem here by studying two classical quantities: Faraday rotation and the complex refractive index in a paradigmatic perovskite CH3NH3PbBr3 in a broad wavelength range. We find that the minimal coupling of electromagnetic fields to the k⋅p Hamiltonian is insufficient to describe the observed data even on the qualitative level. To amend this, we demonstrate that there exists a relevant atomic-level coupling between electromagnetic fields and the spin degree of freedom. This spin-electric coupling allows for quantitative description of a number of previous as well as present experimental data. In particular, we use it here to show that the Faraday effect in lead halide perovskites is dominated by the Zeeman splitting of the energy levels and has a substantial beyond-Becquerel contribution. Finally, we present general symmetry-based phenomenological arguments that in the low-energy limit our effective model includes all basis coupling terms to the electromagnetic field in the linear order.}, author = {Volosniev, Artem and Shiva Kumar, Abhishek and Lorenc, Dusan and Ashourishokri, Younes and Zhumekenov, Ayan A. and Bakr, Osman M. and Lemeshko, Mikhail and Alpichshev, Zhanybek}, issn = {1079-7114}, journal = {Physical Review Letters}, keywords = {General Physics and Astronomy}, number = {10}, publisher = {American Physical Society}, title = {{Spin-electric coupling in lead halide perovskites}}, doi = {10.1103/physrevlett.130.106901}, volume = {130}, year = {2023}, } @article{12724, abstract = {We use general symmetry-based arguments to construct an effective model suitable for studying optical properties of lead halide perovskites. To build the model, we identify an atomic-level interaction between electromagnetic fields and the spin degree of freedom that should be added to a minimally coupled k⋅p Hamiltonian. As a first application, we study two basic optical characteristics of the material: the Verdet constant and the refractive index. Beyond these linear characteristics of the material, the model is suitable for calculating nonlinear effects such as the third-order optical susceptibility. Analysis of this quantity shows that the geometrical properties of the spin-electric term imply isotropic optical response of the system, and that optical anisotropy of lead halide perovskites is a manifestation of hopping of charge carriers. To illustrate this, we discuss third-harmonic generation.}, author = {Volosniev, Artem and Shiva Kumar, Abhishek and Lorenc, Dusan and Ashourishokri, Younes and Zhumekenov, Ayan and Bakr, Osman M. and Lemeshko, Mikhail and Alpichshev, Zhanybek}, issn = {2469-9969}, journal = {Physical Review B}, number = {12}, publisher = {American Physical Society}, title = {{Effective model for studying optical properties of lead halide perovskites}}, doi = {10.1103/physrevb.107.125201}, volume = {107}, year = {2023}, } @phdthesis{12726, abstract = {Most motions of many-body systems at any scale in nature with sufficient degrees of freedom tend to be chaotic; reaching from the orbital motion of planets, the air currents in our atmosphere, down to the water flowing through our pipelines or the movement of a population of bacteria. To the observer it is therefore intriguing when a moving collective exhibits order. Collective motion of flocks of birds, schools of fish or swarms of self-propelled particles or robots have been studied extensively over the past decades but the mechanisms involved in the transition from chaos to order remain unclear. Here, the interactions, that in most systems give rise to chaos, sustain order. In this thesis we investigate mechanisms that preserve, destabilize or lead to the ordered state. We show that endothelial cells migrating in circular confinements transition to a collective rotating state and concomitantly synchronize the frequencies of nucleating actin waves within individual cells. Consequently, the frequency dependent cell migration speed uniformizes across the population. Complementary to the WAVE dependent nucleation of traveling actin waves, we show that in leukocytes the actin polymerization depending on WASp generates pushing forces locally at stationary patches. Next, in pipe flows, we study methods to disrupt the self–sustaining cycle of turbulence and therefore relaminarize the flow. While we find in pulsating flow conditions that turbulence emerges through a helical instability during the decelerating phase. Finally, we show quantitatively in brain slices of mice that wild-type control neurons can compensate the migratory deficits of a genetically modified neuronal sub–population in the developing cortex.}, author = {Riedl, Michael}, issn = {2663-337X}, pages = {260}, publisher = {Institute of Science and Technology Austria}, title = {{Synchronization in collectively moving active matter}}, doi = {10.15479/at:ista:12726}, year = {2023}, } @phdthesis{12732, abstract = {Nonergodic systems, whose out-of-equilibrium dynamics fail to thermalize, provide a fascinating research direction both for fundamental reasons and for application in state of the art quantum devices. Going beyond the description of statistical mechanics, ergodicity breaking yields a new paradigm in quantum many-body physics, introducing novel phases of matter with no counterpart at equilibrium. In this Thesis, we address different open questions in the field, focusing on disorder-induced many-body localization (MBL) and on weak ergodicity breaking in kinetically constrained models. In particular, we contribute to the debate about transport in kinetically constrained models, studying the effect of $U(1)$ conservation and inversion-symmetry breaking in a family of quantum East models. Using tensor network techniques, we analyze the dynamics of large MBL systems beyond the limit of exact numerical methods. In this setting, we approach the debated topic of the coexistence of localized and thermal eigenstates separated by energy thresholds known as many-body mobility edges. Inspired by recent experiments, our work further investigates the localization of a small bath induced by the coupling to a large localized chain, the so-called MBL proximity effect. In the first Chapter, we introduce a family of particle-conserving kinetically constrained models, inspired by the quantum East model. The system we study features strong inversion-symmetry breaking, due to the nature of the correlated hopping. We show that these models host so-called quantum Hilbert space fragmentation, consisting of disconnected subsectors in an entangled basis, and further provide an analytical description of this phenomenon. We further probe its effect on dynamics of simple product states, showing revivals in fidelity and local observalbes. The study of dynamics within the largest subsector reveals an anomalous transient superdiffusive behavior crossing over to slow logarithmic dynamics at later times. This work suggests that particle conserving constrained models with inversion-symmetry breaking realize new universality classes of dynamics and invite their further theoretical and experimental studies. Next, we use kinetic constraints and disorder to design a model with many-body mobility edges in particle density. This feature allows to study the dynamics of localized and thermal states in large systems beyond the limitations of previous studies. The time-evolution shows typical signatures of localization at small densities, replaced by thermal behavior at larger densities. Our results provide evidence in favor of the stability of many-body mobility edges, which was recently challenged by a theoretical argument. To support our findings, we probe the mechanism proposed as a cause of delocalization in many-body localized systems with mobility edges suggesting its ineffectiveness in the model studied. In the last Chapter of this Thesis, we address the topic of many-body localization proximity effect. We study a model inspired by recent experiments, featuring Anderson localized coupled to a small bath of free hard-core bosons. The interaction among the two particle species results in non-trivial dynamics, which we probe using tensor network techniques. Our simulations show convincing evidence of many-body localization proximity effect when the bath is composed by a single free particle and interactions are strong. We furthter observe an anomalous entanglement dynamics, which we explain through a phenomenological theory. Finally, we extract highly excited eigenstates of large systems, providing supplementary evidence in favor of our findings.}, author = {Brighi, Pietro}, issn = {2663-337X}, pages = {158}, publisher = {Institute of Science and Technology Austria}, title = {{Ergodicity breaking in disordered and kinetically constrained quantum many-body systems}}, doi = {10.15479/at:ista:12732}, year = {2023}, } @inproceedings{12735, abstract = {Asynchronous programming has gained significant popularity over the last decade: support for this programming pattern is available in many popular languages via libraries and native language implementations, typically in the form of coroutines or the async/await construct. Instead of programming via shared memory, this concept assumes implicit synchronization through message passing. The key data structure enabling such communication is the rendezvous channel. Roughly, a rendezvous channel is a blocking queue of size zero, so both send(e) and receive() operations wait for each other, performing a rendezvous when they meet. To optimize the message passing pattern, channels are usually equipped with a fixed-size buffer, so sends do not suspend and put elements into the buffer until its capacity is exceeded. This primitive is known as a buffered channel. This paper presents a fast and scalable algorithm for both rendezvous and buffered channels. Similarly to modern queues, our solution is based on an infinite array with two positional counters for send(e) and receive() operations, leveraging the unconditional Fetch-And-Add instruction to update them. Yet, the algorithm requires non-trivial modifications of this classic pattern, in order to support the full channel semantics, such as buffering and cancellation of waiting requests. We compare the performance of our solution to that of the Kotlin implementation, as well as against other academic proposals, showing up to 9.8× speedup. To showcase its expressiveness and performance, we also integrated the proposed algorithm into the standard Kotlin Coroutines library, replacing the previous channel implementations.}, author = {Koval, Nikita and Alistarh, Dan-Adrian and Elizarov, Roman}, booktitle = {Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, isbn = {9798400700156}, location = {Montreal, QC, Canada}, pages = {107--118}, publisher = {Association for Computing Machinery}, title = {{Fast and scalable channels in Kotlin Coroutines}}, doi = {10.1145/3572848.3577481}, year = {2023}, } @misc{12736, abstract = {Although a wide variety of handcrafted concurrent data structures have been proposed, there is considerable interest in universal approaches (Universal Constructions or UCs) for building concurrent data structures. UCs (semi-)automatically convert a sequential data structure into a concurrent one. The simplest approach uses locks [3, 6] that protect a sequential data structure and allow only one process to access it at a time. However, the resulting data structure is blocking. Most work on UCs instead focuses on obtaining non-blocking progress guarantees such as obstruction-freedom, lock-freedom or wait-freedom. Many non-blocking UCs have appeared. Key examples include the seminal wait-free UC [2] by Herlihy, a NUMA-aware UC [10] by Yi et al., and an efficient UC for large objects [1] by Fatourou et al.}, author = {Aksenov, Vitaly and Brown, Trevor A and Fedorov, Alexander and Kokorin, Ilya}, booktitle = {Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, isbn = {9798400700156}, location = {Montreal, QB, Canada}, pages = {438--440}, publisher = {Association for Computing Machinery}, title = {{Unexpected scaling in path copying trees}}, doi = {10.1145/3572848.3577512}, year = {2023}, } @article{12737, abstract = {The substitution of heavier, more metallic atoms into classical organic ligand frameworks provides an important strategy for tuning ligand properties, such as ligand bite and donor character, and is the basis for the emerging area of main-group supramolecular chemistry. In this paper, we explore two new ligands [E(2-Me-8-qy)3] [E = Sb (1), Bi (2); qy = quinolyl], allowing a fundamental comparison of their coordination behavior with classical tris(2-pyridyl) ligands of the type [E′(2-py)3] (E = a range of bridgehead atoms and groups, py = pyridyl). A range of new coordination modes to Cu+, Ag+, and Au+ is seen for 1 and 2, in the absence of steric constraints at the bridgehead and with their more remote N-donor atoms. A particular feature is the adaptive nature of these new ligands, with the ability to adjust coordination mode in response to the hard–soft character of coordinated metal ions, influenced also by the character of the bridgehead atom (Sb or Bi). These features can be seen in a comparison between [Cu2{Sb(2-Me-8-qy)3}2](PF6)2 (1·CuPF6) and [Cu{Bi(2-Me-8-qy)3}](PF6) (2·CuPF6), the first containing a dimeric cation in which 1 adopts an unprecedented intramolecular N,N,Sb-coordination mode while in the second, 2 adopts an unusual N,N,(π-)C coordination mode. In contrast, the previously reported analogous ligands [E(6-Me-2-py)3] (E = Sb, Bi; 2-py = 2-pyridyl) show a tris-chelating mode in their complexes with CuPF6, which is typical for the extensive tris(2-pyridyl) family with a range of metals. The greater polarity of the Bi–C bond in 2 results in ligand transfer reactions with Au(I). Although this reactivity is not in itself unusual, the characterization of several products by single-crystal X-ray diffraction provides snapshots of the ligand transfer reaction involved, with one of the products (the bimetallic complex [(BiCl){ClAu2(2-Me-8-qy)3}] (8)) containing a Au2Bi core in which the shortest Au → Bi donor–acceptor bond to date is observed.}, author = {García-Romero, Álvaro and Waters, Jessica E. and Jethwa, Rajesh B and Bond, Andrew D. and Colebatch, Annie L. and García-Rodríguez, Raúl and Wright, Dominic S.}, issn = {1520-510X}, journal = {Inorganic Chemistry}, number = {11}, pages = {4625--4636}, publisher = {American Chemical Society}, title = {{Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals}}, doi = {10.1021/acs.inorgchem.3c00057}, volume = {62}, year = {2023}, } @article{12738, abstract = {We study turn-based stochastic zero-sum games with lexicographic preferences over objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as controllable and adversarial non-determinism. Lexicographic order allows one to consider multiple objectives with a strict preference order. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. For a mixture of reachability and safety objectives, we show that deterministic lexicographically optimal strategies exist and memory is only required to remember the already satisfied and violated objectives. For a constant number of objectives, we show that the relevant decision problem is in NP∩coNP, matching the current known bound for single objectives; and in general the decision problem is PSPACE-hard and can be solved in NEXPTIME∩coNEXPTIME. We present an algorithm that computes the lexicographically optimal strategies via a reduction to the computation of optimal strategies in a sequence of single-objectives games. For omega-regular objectives, we restrict our analysis to one-player games, also known as Markov decision processes. We show that lexicographically optimal strategies exist and need either randomization or finite memory. We present an algorithm that solves the relevant decision problem in polynomial time. We have implemented our algorithms and report experimental results on various case studies.}, author = {Chatterjee, Krishnendu and Katoen, Joost P and Mohr, Stefanie and Weininger, Maximilian and Winkler, Tobias}, issn = {1572-8102}, journal = {Formal Methods in System Design}, publisher = {Springer Nature}, title = {{Stochastic games with lexicographic objectives}}, doi = {10.1007/s10703-023-00411-4}, year = {2023}, } @article{12756, abstract = {ESCRT-III family proteins form composite polymers that deform and cut membrane tubes in the context of a wide range of cell biological processes across the tree of life. In reconstituted systems, sequential changes in the composition of ESCRT-III polymers induced by the AAA–adenosine triphosphatase Vps4 have been shown to remodel membranes. However, it is not known how composite ESCRT-III polymers are organized and remodeled in space and time in a cellular context. Taking advantage of the relative simplicity of the ESCRT-III–dependent division system in Sulfolobus acidocaldarius, one of the closest experimentally tractable prokaryotic relatives of eukaryotes, we use super-resolution microscopy, electron microscopy, and computational modeling to show how CdvB/CdvB1/CdvB2 proteins form a precisely patterned composite ESCRT-III division ring, which undergoes stepwise Vps4-dependent disassembly and contracts to cut cells into two. These observations lead us to suggest sequential changes in a patterned composite polymer as a general mechanism of ESCRT-III–dependent membrane remodeling.}, author = {Hurtig, Fredrik and Burgers, Thomas C.Q. and Cezanne, Alice and Jiang, Xiuyun and Mol, Frank N. and Traparić, Jovan and Pulschen, Andre Arashiro and Nierhaus, Tim and Tarrason-Risa, Gabriel and Harker-Kirschneck, Lena and Löwe, Jan and Šarić, Anđela and Vlijm, Rifka and Baum, Buzz}, issn = {2375-2548}, journal = {Science Advances}, number = {11}, publisher = {American Association for the Advancement of Science}, title = {{The patterned assembly and stepwise Vps4-mediated disassembly of composite ESCRT-III polymers drives archaeal cell division}}, doi = {10.1126/sciadv.ade5224}, volume = {9}, year = {2023}, } @article{12757, abstract = {My group and myself have studied respiratory complex I for almost 30 years, starting in 1994 when it was known as a L-shaped giant ‘black box' of bioenergetics. First breakthrough was the X-ray structure of the peripheral arm, followed by structures of the membrane arm and finally the entire complex from Thermus thermophilus. The developments in cryo-EM technology allowed us to solve the first complete structure of the twice larger, ∼1 MDa mammalian enzyme in 2016. However, the mechanism coupling, over large distances, the transfer of two electrons to pumping of four protons across the membrane remained an enigma. Recently we have solved high-resolution structures of mammalian and bacterial complex I under a range of redox conditions, including catalytic turnover. This allowed us to propose a robust and universal mechanism for complex I and related protein families. Redox reactions initially drive conformational changes around the quinone cavity and a long-distance transfer of substrate protons. These set up a stage for a series of electrostatically driven proton transfers along the membrane arm (‘domino effect'), eventually resulting in proton expulsion from the distal antiporter-like subunit. The mechanism radically differs from previous suggestions, however, it naturally explains all the unusual structural features of complex I. In this review I discuss the state of knowledge on complex I, including the current most controversial issues.}, author = {Sazanov, Leonid A}, issn = {1470-8728}, journal = {The Biochemical Journal}, number = {5}, pages = {319--333}, publisher = {Portland Press}, title = {{From the 'black box' to 'domino effect' mechanism: What have we learned from the structures of respiratory complex I}}, doi = {10.1042/BCJ20210285}, volume = {480}, year = {2023}, } @article{12758, abstract = {AlphaFold changed the field of structural biology by achieving three-dimensional (3D) structure prediction from protein sequence at experimental quality. The astounding success even led to claims that the protein folding problem is “solved”. However, protein folding problem is more than just structure prediction from sequence. Presently, it is unknown if the AlphaFold-triggered revolution could help to solve other problems related to protein folding. Here we assay the ability of AlphaFold to predict the impact of single mutations on protein stability (ΔΔG) and function. To study the question we extracted the pLDDT and metrics from AlphaFold predictions before and after single mutation in a protein and correlated the predicted change with the experimentally known ΔΔG values. Additionally, we correlated the same AlphaFold pLDDT metrics with the impact of a single mutation on structure using a large scale dataset of single mutations in GFP with the experimentally assayed levels of fluorescence. We found a very weak or no correlation between AlphaFold output metrics and change of protein stability or fluorescence. Our results imply that AlphaFold may not be immediately applied to other problems or applications in protein folding.}, author = {Pak, Marina A. and Markhieva, Karina A. and Novikova, Mariia S. and Petrov, Dmitry S. and Vorobyev, Ilya S. and Maksimova, Ekaterina and Kondrashov, Fyodor and Ivankov, Dmitry N.}, issn = {1932-6203}, journal = {PLoS ONE}, number = {3}, publisher = {Public Library of Science}, title = {{Using AlphaFold to predict the impact of single mutations on protein stability and function}}, doi = {10.1371/journal.pone.0282689}, volume = {18}, year = {2023}, } @article{12759, abstract = {Stereological methods for estimating the 3D particle size and density from 2D projections are essential to many research fields. These methods are, however, prone to errors arising from undetected particle profiles due to sectioning and limited resolution, known as ‘lost caps’. A potential solution developed by Keiding, Jensen, and Ranek in 1972, which we refer to as the Keiding model, accounts for lost caps by quantifying the smallest detectable profile in terms of its limiting ‘cap angle’ (ϕ), a size-independent measure of a particle’s distance from the section surface. However, this simple solution has not been widely adopted nor tested. Rather, model-independent design-based stereological methods, which do not explicitly account for lost caps, have come to the fore. Here, we provide the first experimental validation of the Keiding model by comparing the size and density of particles estimated from 2D projections with direct measurement from 3D EM reconstructions of the same tissue. We applied the Keiding model to estimate the size and density of somata, nuclei and vesicles in the cerebellum of mice and rats, where high packing density can be problematic for design-based methods. Our analysis reveals a Gaussian distribution for ϕ rather than a single value. Nevertheless, curve fits of the Keiding model to the 2D diameter distribution accurately estimate the mean ϕ and 3D diameter distribution. While systematic testing using simulations revealed an upper limit to determining ϕ, our analysis shows that estimated ϕ can be used to determine the 3D particle density from the 2D density under a wide range of conditions, and this method is potentially more accurate than minimum-size-based lost-cap corrections and disector methods. Our results show the Keiding model provides an efficient means of accurately estimating the size and density of particles from 2D projections even under conditions of a high density.}, author = {Rothman, Jason Seth and Borges Merjane, Carolina and Holderith, Noemi and Jonas, Peter M and Angus Silver, R.}, issn = {1932-6203}, journal = {PLoS ONE}, number = {3 March}, publisher = {Public Library of Science}, title = {{Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy}}, doi = {10.1371/journal.pone.0277148}, volume = {18}, year = {2023}, }