@inproceedings{14559, abstract = {We consider the problem of learning control policies in discrete-time stochastic systems which guarantee that the system stabilizes within some specified stabilization region with probability 1. Our approach is based on the novel notion of stabilizing ranking supermartingales (sRSMs) that we introduce in this work. Our sRSMs overcome the limitation of methods proposed in previous works whose applicability is restricted to systems in which the stabilizing region cannot be left once entered under any control policy. We present a learning procedure that learns a control policy together with an sRSM that formally certifies probability 1 stability, both learned as neural networks. We show that this procedure can also be adapted to formally verifying that, under a given Lipschitz continuous control policy, the stochastic system stabilizes within some stabilizing region with probability 1. Our experimental evaluation shows that our learning procedure can successfully learn provably stabilizing policies in practice.}, author = {Ansaripour, Matin and Chatterjee, Krishnendu and Henzinger, Thomas A and Lechner, Mathias and Zikelic, Dorde}, booktitle = {21st International Symposium on Automated Technology for Verification and Analysis}, isbn = {9783031453281}, issn = {1611-3349}, location = {Singapore, Singapore}, pages = {357--379}, publisher = {Springer Nature}, title = {{Learning provably stabilizing neural controllers for discrete-time stochastic systems}}, doi = {10.1007/978-3-031-45329-8_17}, volume = {14215}, year = {2023}, } @article{14554, abstract = {The Regularised Inertial Dean–Kawasaki model (RIDK) – introduced by the authors and J. Zimmer in earlier works – is a nonlinear stochastic PDE capturing fluctuations around the meanfield limit for large-scale particle systems in both particle density and momentum density. We focus on the following two aspects. Firstly, we set up a Discontinuous Galerkin (DG) discretisation scheme for the RIDK model: we provide suitable definitions of numerical fluxes at the interface of the mesh elements which are consistent with the wave-type nature of the RIDK model and grant stability of the simulations, and we quantify the rate of convergence in mean square to the continuous RIDK model. Secondly, we introduce modifications of the RIDK model in order to preserve positivity of the density (such a feature only holds in a “high-probability sense” for the original RIDK model). By means of numerical simulations, we show that the modifications lead to physically realistic and positive density profiles. In one case, subject to additional regularity constraints, we also prove positivity. Finally, we present an application of our methodology to a system of diffusing and reacting particles. Our Python code is available in open-source format.}, author = {Cornalba, Federico and Shardlow, Tony}, issn = {2804-7214}, journal = {ESAIM: Mathematical Modelling and Numerical Analysis}, number = {5}, pages = {3061--3090}, publisher = {EDP Sciences}, title = {{The regularised inertial Dean' Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime}}, doi = {10.1051/m2an/2023077}, volume = {57}, year = {2023}, } @article{14556, abstract = {Inversions are structural mutations that reverse the sequence of a chromosome segment and reduce the effective rate of recombination in the heterozygous state. They play a major role in adaptation, as well as in other evolutionary processes such as speciation. Although inversions have been studied since the 1920s, they remain difficult to investigate because the reduced recombination conferred by them strengthens the effects of drift and hitchhiking, which in turn can obscure signatures of selection. Nonetheless, numerous inversions have been found to be under selection. Given recent advances in population genetic theory and empirical study, here we review how different mechanisms of selection affect the evolution of inversions. A key difference between inversions and other mutations, such as single nucleotide variants, is that the fitness of an inversion may be affected by a larger number of frequently interacting processes. This considerably complicates the analysis of the causes underlying the evolution of inversions. We discuss the extent to which these mechanisms can be disentangled, and by which approach.}, author = {Berdan, Emma L. and Barton, Nicholas H and Butlin, Roger and Charlesworth, Brian and Faria, Rui and Fragata, Inês and Gilbert, Kimberly J. and Jay, Paul and Kapun, Martin and Lotterhos, Katie E. and Mérot, Claire and Durmaz Mitchell, Esra and Pascual, Marta and Peichel, Catherine L. and Rafajlović, Marina and Westram, Anja M and Schaeffer, Stephen W. and Johannesson, Kerstin and Flatt, Thomas}, issn = {1420-9101}, journal = {Journal of Evolutionary Biology}, publisher = {Wiley}, title = {{How chromosomal inversions reorient the evolutionary process}}, doi = {10.1111/jeb.14242}, year = {2023}, } @article{14555, abstract = {The intricate regulatory processes behind actin polymerization play a crucial role in cellular biology, including essential mechanisms such as cell migration or cell division. However, the self-organizing principles governing actin polymerization are still poorly understood. In this perspective article, we compare the Belousov-Zhabotinsky (BZ) reaction, a classic and well understood chemical oscillator known for its self-organizing spatiotemporal dynamics, with the excitable dynamics of polymerizing actin. While the BZ reaction originates from the domain of inorganic chemistry, it shares remarkable similarities with actin polymerization, including the characteristic propagating waves, which are influenced by geometry and external fields, and the emergent collective behavior. Starting with a general description of emerging patterns, we elaborate on single droplets or cell-level dynamics, the influence of geometric confinements and conclude with collective interactions. Comparing these two systems sheds light on the universal nature of self-organization principles in both living and inanimate systems.}, author = {Riedl, Michael and Sixt, Michael K}, issn = {2296-634X}, journal = {Frontiers in Cell and Developmental Biology}, publisher = {Frontiers}, title = {{The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction}}, doi = {10.3389/fcell.2023.1287420}, volume = {11}, year = {2023}, } @article{14543, abstract = {The acyl-CoA-binding domain-containing protein 6 (ACBD6) is ubiquitously expressed, plays a role in the acylation of lipids and proteins, and regulates the N-myristoylation of proteins via N-myristoyltransferase enzymes (NMTs). However, its precise function in cells is still unclear, as is the consequence of ACBD6 defects on human pathophysiology. Utilizing exome sequencing and extensive international data sharing efforts, we identified 45 affected individuals from 28 unrelated families (consanguinity 93%) with bi-allelic pathogenic, predominantly loss-of-function (18/20) variants in ACBD6. We generated zebrafish and Xenopus tropicalis acbd6 knockouts by CRISPR/Cas9 and characterized the role of ACBD6 on protein N-myristoylation with YnMyr chemical proteomics in the model organisms and human cells, with the latter also being subjected further to ACBD6 peroxisomal localization studies. The affected individuals (23 males and 22 females), with ages ranging from 1 to 50 years old, typically present with a complex and progressive disease involving moderate-to-severe global developmental delay/intellectual disability (100%) with significant expressive language impairment (98%), movement disorders (97%), facial dysmorphism (95%), and mild cerebellar ataxia (85%) associated with gait impairment (94%), limb spasticity/hypertonia (76%), oculomotor (71%) and behavioural abnormalities (65%), overweight (59%), microcephaly (39%) and epilepsy (33%). The most conspicuous and common movement disorder was dystonia (94%), frequently leading to early-onset progressive postural deformities (97%), limb dystonia (55%), and cervical dystonia (31%). A jerky tremor in the upper limbs (63%), a mild head tremor (59%), parkinsonism/hypokinesia developing with advancing age (32%), and simple motor and vocal tics were among other frequent movement disorders. Midline brain malformations including corpus callosum abnormalities (70%), hypoplasia/agenesis of the anterior commissure (66%), short midbrain and small inferior cerebellar vermis (38% each), as well as hypertrophy of the clava (24%) were common neuroimaging findings. acbd6-deficient zebrafish and Xenopus models effectively recapitulated many clinical phenotypes reported in patients including movement disorders, progressive neuromotor impairment, seizures, microcephaly, craniofacial dysmorphism, and midbrain defects accompanied by developmental delay with increased mortality over time. Unlike ACBD5, ACBD6 did not show a peroxisomal localisation and ACBD6-deficiency was not associated with altered peroxisomal parameters in patient fibroblasts. Significant differences in YnMyr-labelling were observed for 68 co- and 18 post-translationally N-myristoylated proteins in patient-derived fibroblasts. N-Myristoylation was similarly affected in acbd6-deficient zebrafish and Xenopus tropicalis models, including Fus, Marcks, and Chchd-related proteins implicated in neurological diseases. The present study provides evidence that bi-allelic pathogenic variants in ACBD6 lead to a distinct neurodevelopmental syndrome accompanied by complex and progressive cognitive and movement disorders.}, author = {Kaiyrzhanov, Rauan and Rad, Aboulfazl and Lin, Sheng-Jia and Bertoli-Avella, Aida and Kallemeijn, Wouter W and Godwin, Annie and Zaki, Maha S and Huang, Kevin and Lau, Tracy and Petree, Cassidy and Efthymiou, Stephanie and Ghayoor Karimiani, Ehsan and Hempel, Maja and Normand, Elizabeth A and Rudnik-Schöneborn, Sabine and Schatz, Ulrich A and Baggelaar, Marc P and Ilyas, Muhammad and Sultan, Tipu and Alvi, Javeria Raza and Ganieva, Manizha and Fowler, Ben and Aanicai, Ruxandra and Akay Tayfun, Gulsen and Al Saman, Abdulaziz and Alswaid, Abdulrahman and Amiri, Nafise and Asilova, Nilufar and Shotelersuk, Vorasuk and Yeetong, Patra and Azam, Matloob and Babaei, Meisam and Bahrami Monajemi, Gholamreza and Mohammadi, Pouria and Samie, Saeed and Banu, Selina Husna and Basto, Jorge Pinto and Kortüm, Fanny and Bauer, Mislen and Bauer, Peter and Beetz, Christian and Garshasbi, Masoud and Hameed Issa, Awatif and Eyaid, Wafaa and Ahmed, Hind and Hashemi, Narges and Hassanpour, Kazem and Herman, Isabella and Ibrohimov, Sherozjon and Abdul-Majeed, Ban A and Imdad, Maria and Isrofilov, Maksudjon and Kaiyal, Qassem and Khan, Suliman and Kirmse, Brian and Koster, Janet and Lourenço, Charles Marques and Mitani, Tadahiro and Moldovan, Oana and Murphy, David and Najafi, Maryam and Pehlivan, Davut and Rocha, Maria Eugenia and Salpietro, Vincenzo and Schmidts, Miriam and Shalata, Adel and Mahroum, Mohammad and Talbeya, Jawabreh Kassem and Taylor, Robert W and Vazquez, Dayana and Vetro, Annalisa and Waterham, Hans R and Zaman, Mashaya and Schrader, Tina A and Chung, Wendy K and Guerrini, Renzo and Lupski, James R and Gleeson, Joseph and Suri, Mohnish and Jamshidi, Yalda and Bhatia, Kailash P and Vona, Barbara and Schrader, Michael and Severino, Mariasavina and Guille, Matthew and Tate, Edward W and Varshney, Gaurav K and Houlden, Henry and Maroofian, Reza}, issn = {1460-2156}, journal = {Brain}, keywords = {Neurology (clinical)}, publisher = {Oxford University Press}, title = {{Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders}}, doi = {10.1093/brain/awad380}, year = {2023}, } @article{14542, abstract = {It is a remarkable property of BCS theory that the ratio of the energy gap at zero temperature Ξ and the critical temperature Tc is (approximately) given by a universal constant, independent of the microscopic details of the fermionic interaction. This universality has rigorously been proven quite recently in three spatial dimensions and three different limiting regimes: weak coupling, low density and high density. The goal of this short note is to extend the universal behavior to lower dimensions d=1,2 and give an exemplary proof in the weak coupling limit.}, author = {Henheik, Sven Joscha and Lauritsen, Asbjørn Bækgaard and Roos, Barbara}, issn = {1793-6659}, journal = {Reviews in Mathematical Physics}, publisher = {World Scientific Publishing}, title = {{Universality in low-dimensional BCS theory}}, doi = {10.1142/s0129055x2360005x}, year = {2023}, } @article{14553, abstract = {Quantum state tomography is an essential component of modern quantum technology. In application to continuous-variable harmonic-oscillator systems, such as the electromagnetic field, existing tomography methods typically reconstruct the state in discrete bases, and are hence limited to states with relatively low amplitudes and energies. Here, we overcome this limitation by utilizing a feed-forward neural network to obtain the density matrix directly in the continuous position basis. An important benefit of our approach is the ability to choose specific regions in the phase space for detailed reconstruction. This results in a relatively slow scaling of the amount of resources required for the reconstruction with the state amplitude, and hence allows us to dramatically increase the range of amplitudes accessible with our method.}, author = {Fedotova, Ekaterina and Kuznetsov, Nikolai and Tiunov, Egor and Ulanov, A. E. and Lvovsky, A. I.}, issn = {2469-9934}, journal = {Physical Review A}, number = {4}, publisher = {American Physical Society}, title = {{Continuous-variable quantum tomography of high-amplitude states}}, doi = {10.1103/PhysRevA.108.042430}, volume = {108}, year = {2023}, } @article{14557, abstract = {Motivated by a problem posed in [10], we investigate the closure operators of the category SLatt of join semilattices and its subcategory SLattO of join semilattices with bottom element. In particular, we show that there are only finitely many closure operators of both categories, and provide a complete classification. We use this result to deduce the known fact that epimorphisms of SLatt and SLattO are surjective. We complement the paper with two different proofs of this result using either generators or Isbell’s zigzag theorem.}, author = {Dikranjan, D. and Giordano Bruno, A. and Zava, Nicolò}, issn = {1727-933X}, journal = {Quaestiones Mathematicae}, number = {S1}, pages = {191--221}, publisher = {Taylor & Francis}, title = {{Epimorphisms and closure operators of categories of semilattices}}, doi = {10.2989/16073606.2023.2247731}, volume = {46}, year = {2023}, } @article{14552, abstract = {Interactions between plants and herbivores are central in most ecosystems, but their strength is highly variable. The amount of variability within a system is thought to influence most aspects of plant-herbivore biology, from ecological stability to plant defense evolution. Our understanding of what influences variability, however, is limited by sparse data. We collected standardized surveys of herbivory for 503 plant species at 790 sites across 116° of latitude. With these data, we show that within-population variability in herbivory increases with latitude, decreases with plant size, and is phylogenetically structured. Differences in the magnitude of variability are thus central to how plant-herbivore biology varies across macroscale gradients. We argue that increased focus on interaction variability will advance understanding of patterns of life on Earth.}, author = {Robinson, M. L. and Hahn, P. G. and Inouye, B. D. and Underwood, N. and Whitehead, S. R. and Abbott, K. C. and Bruna, E. M. and Cacho, N. I. and Dyer, L. A. and Abdala-Roberts, L. and Allen, W. J. and Andrade, J. F. and Angulo, D. F. and Anjos, D. and Anstett, D. N. and Bagchi, R. and Bagchi, S. and Barbosa, M. and Barrett, S. and Baskett, Carina and Ben-Simchon, E. and Bloodworth, K. J. and Bronstein, J. L. and Buckley, Y. M. and Burghardt, K. T. and Bustos-Segura, C. and Calixto, E. S. and Carvalho, R. L. and Castagneyrol, B. and Chiuffo, M. C. and Cinoğlu, D. and Cinto Mejía, E. and Cock, M. C. and Cogni, R. and Cope, O. L. and Cornelissen, T. and Cortez, D. R. and Crowder, D. W. and Dallstream, C. and Dáttilo, W. and Davis, J. K. and Dimarco, R. D. and Dole, H. E. and Egbon, I. N. and Eisenring, M. and Ejomah, A. and Elderd, B. D. and Endara, M. J. and Eubanks, M. D. and Everingham, S. E. and Farah, K. N. and Farias, R. P. and Fernandes, A. P. and Fernandes, G. W. and Ferrante, M. and Finn, A. and Florjancic, G. A. and Forister, M. L. and Fox, Q. N. and Frago, E. and França, F. M. and Getman-Pickering, A. S. and Getman-Pickering, Z. and Gianoli, E. and Gooden, B. and Gossner, M. M. and Greig, K. A. and Gripenberg, S. and Groenteman, R. and Grof-Tisza, P. and Haack, N. and Hahn, L. and Haq, S. M. and Helms, A. M. and Hennecke, J. and Hermann, S. L. and Holeski, L. M. and Holm, S. and Hutchinson, M. C. and Jackson, E. E. and Kagiya, S. and Kalske, A. and Kalwajtys, M. and Karban, R. and Kariyat, R. and Keasar, T. and Kersch-Becker, M. F. and Kharouba, H. M. and Kim, T. N. and Kimuyu, D. M. and Kluse, J. and Koerner, S. E. and Komatsu, K. J. and Krishnan, S. and Laihonen, M. and Lamelas-López, L. and Lascaleia, M. C. and Lecomte, N. and Lehn, C. R. and Li, X. and Lindroth, R. L. and Lopresti, E. F. and Losada, M. and Louthan, A. M. and Luizzi, V. J. and Lynch, S. C. and Lynn, J. S. and Lyon, N. J. and Maia, L. F. and Maia, R. A. and Mannall, T. L. and Martin, B. S. and Massad, T. J. and Mccall, A. C. and Mcgurrin, K. and Merwin, A. C. and Mijango-Ramos, Z. and Mills, C. H. and Moles, A. T. and Moore, C. M. and Moreira, X. and Morrison, C. R. and Moshobane, M. C. and Muola, A. and Nakadai, R. and Nakajima, K. and Novais, S. and Ogbebor, C. O. and Ohsaki, H. and Pan, V. S. and Pardikes, N. A. and Pareja, M. and Parthasarathy, N. and Pawar, R. R. and Paynter, Q. and Pearse, I. S. and Penczykowski, R. M. and Pepi, A. A. and Pereira, C. C. and Phartyal, S. S. and Piper, F. I. and Poveda, K. and Pringle, E. G. and Puy, J. and Quijano, T. and Quintero, C. and Rasmann, S. and Rosche, C. and Rosenheim, L. Y. and Rosenheim, J. A. and Runyon, J. B. and Sadeh, A. and Sakata, Y. and Salcido, D. M. and Salgado-Luarte, C. and Santos, B. A. and Sapir, Y. and Sasal, Y. and Sato, Y. and Sawant, M. and Schroeder, H. and Schumann, I. and Segoli, M. and Segre, H. and Shelef, O. and Shinohara, N. and Singh, R. P. and Smith, D. S. and Sobral, M. and Stotz, G. C. and Tack, A. J.M. and Tayal, M. and Tooker, J. F. and Torrico-Bazoberry, D. and Tougeron, K. and Trowbridge, A. M. and Utsumi, S. and Uyi, O. and Vaca-Uribe, J. L. and Valtonen, A. and Van Dijk, L. J.A. and Vandvik, V. and Villellas, J. and Waller, L. P. and Weber, M. G. and Yamawo, A. and Yim, S. and Zarnetske, P. L. and Zehr, L. N. and Zhong, Z. and Wetzel, W. C.}, issn = {1095-9203}, journal = {Science}, number = {6671}, pages = {679--683}, publisher = {AAAS}, title = {{Plant size, latitude, and phylogeny explain within-population variability in herbivory}}, doi = {10.1126/science.adh8830}, volume = {382}, year = {2023}, } @article{14551, abstract = {Methylation of CG dinucleotides (mCGs), which regulates eukaryotic genome functions, is epigenetically propagated by Dnmt1/MET1 methyltransferases. How mCG is established and transmitted across generations despite imperfect enzyme fidelity is unclear. Whether mCG variation in natural populations is governed by genetic or epigenetic inheritance also remains mysterious. Here, we show that MET1 de novo activity, which is enhanced by existing proximate methylation, seeds and stabilizes mCG in Arabidopsis thaliana genes. MET1 activity is restricted by active demethylation and suppressed by histone variant H2A.Z, producing localized mCG patterns. Based on these observations, we develop a stochastic mathematical model that precisely recapitulates mCG inheritance dynamics and predicts intragenic mCG patterns and their population-scale variation given only CG site spacing. Our results demonstrate that intragenic mCG establishment, inheritance, and variance constitute a unified epigenetic process, revealing that intragenic mCG undergoes large, millennia-long epigenetic fluctuations and can therefore mediate evolution on this timescale.}, author = {Briffa, Amy and Hollwey, Elizabeth and Shahzad, Zaigham and Moore, Jonathan D. and Lyons, David B. and Howard, Martin and Zilberman, Daniel}, issn = {2405-4720}, journal = {Cell Systems}, number = {11}, pages = {953--967}, publisher = {Elsevier}, title = {{Millennia-long epigenetic fluctuations generate intragenic DNA methylation variance in Arabidopsis populations}}, doi = {10.1016/j.cels.2023.10.007}, volume = {14}, year = {2023}, } @misc{14579, abstract = {This is associated with our paper "Plant size, latitude, and phylogeny explain within-population variability in herbivory" published in Science. }, author = {Wetzel, William}, publisher = {Zenodo}, title = {{HerbVar-Network/HV-Large-Patterns-MS-public: v1.0.0}}, doi = {10.5281/ZENODO.8133117}, year = {2023}, } @article{12334, abstract = {Regulation of the Arp2/3 complex is required for productive nucleation of branched actin networks. An emerging aspect of regulation is the incorporation of subunit isoforms into the Arp2/3 complex. Specifically, both ArpC5 subunit isoforms, ArpC5 and ArpC5L, have been reported to fine-tune nucleation activity and branch junction stability. We have combined reverse genetics and cellular structural biology to describe how ArpC5 and ArpC5L differentially affect cell migration. Both define the structural stability of ArpC1 in branch junctions and, in turn, by determining protrusion characteristics, affect protein dynamics and actin network ultrastructure. ArpC5 isoforms also affect the positioning of members of the Ena/Vasodilator-stimulated phosphoprotein (VASP) family of actin filament elongators, which mediate ArpC5 isoform–specific effects on the actin assembly level. Our results suggest that ArpC5 and Ena/VASP proteins are part of a signaling pathway enhancing cell migration.}, author = {Fäßler, Florian and Javoor, Manjunath and Datler, Julia and Döring, Hermann and Hofer, Florian and Dimchev, Georgi A and Hodirnau, Victor-Valentin and Faix, Jan and Rottner, Klemens and Schur, Florian KM}, issn = {2375-2548}, journal = {Science Advances}, keywords = {Multidisciplinary}, number = {3}, publisher = {American Association for the Advancement of Science}, title = {{ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning}}, doi = {10.1126/sciadv.add6495}, volume = {9}, year = {2023}, } @misc{14562, abstract = {Regulation of the Arp2/3 complex is required for productive nucleation of branched actin networks. An emerging aspect of regulation is the incorporation of subunit isoforms into the Arp2/3 complex. Specifically, both ArpC5 subunit isoforms, ArpC5 and ArpC5L, have been reported to fine-tune nucleation activity and branch junction stability. We have combined reverse genetics and cellular structural biology to describe how ArpC5 and ArpC5L differentially affect cell migration. Both define the structural stability of ArpC1 in branch junctions and, in turn, by determining protrusion characteristics, affect protein dynamics and actin network ultrastructure. ArpC5 isoforms also affect the positioning of members of the Ena/Vasodilator-stimulated phosphoprotein (VASP) family of actin filament elongators, which mediate ArpC5 isoform–specific effects on the actin assembly level. Our results suggest that ArpC5 and Ena/VASP proteins are part of a signaling pathway enhancing cell migration. }, author = {Schur, Florian KM}, publisher = {Institute of Science and Technology Austria}, title = {{Research data of the publication "ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning"}}, doi = {10.15479/AT:ISTA:14562}, year = {2023}, } @misc{14502, abstract = {A precise quantitative description of the ultrastructural characteristics underlying biological mechanisms is often key to their understanding. This is particularly true for dynamic extra- and intracellular filamentous assemblies, playing a role in cell motility, cell integrity, cytokinesis, tissue formation and maintenance. For example, genetic manipulation or modulation of actin regulatory proteins frequently manifests in changes of the morphology, dynamics, and ultrastructural architecture of actin filament-rich cell peripheral structures, such as lamellipodia or filopodia. However, the observed ultrastructural effects often remain subtle and require sufficiently large datasets for appropriate quantitative analysis. The acquisition of such large datasets has been enabled by recent advances in high-throughput cryo-electron tomography (cryo-ET) methods. This also necessitates the development of complementary approaches to maximize the extraction of relevant biological information. We have developed a computational toolbox for the semi-automatic quantification of segmented and vectorized fila- mentous networks from pre-processed cryo-electron tomograms, facilitating the analysis and cross-comparison of multiple experimental conditions. GUI-based components simplify the processing of data and allow users to obtain a large number of ultrastructural parameters describing filamentous assemblies. We demonstrate the feasibility of this workflow by analyzing cryo-ET data of untreated and chemically perturbed branched actin filament networks and that of parallel actin filament arrays. In principle, the computational toolbox presented here is applicable for data analysis comprising any type of filaments in regular (i.e. parallel) or random arrangement. We show that it can ease the identification of key differences between experimental groups and facilitate the in-depth analysis of ultrastructural data in a time-efficient manner.}, author = {Dimchev, Georgi A and Amiri, Behnam and Fäßler, Florian and Falcke, Martin and Schur, Florian KM}, keywords = {cryo-electron tomography, actin cytoskeleton, toolbox}, publisher = {Institute of Science and Technology Austria}, title = {{Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data}}, doi = {10.15479/AT:ISTA:14502}, year = {2023}, } @article{13342, abstract = {Motile cells moving in multicellular organisms encounter microenvironments of locally heterogeneous mechanochemical composition. Individual compositional parameters like chemotactic signals, adhesiveness, and pore sizes are well known to be sensed by motile cells, providing individual guidance cues for cellular pathfinding. However, motile cells encounter diverse mechanochemical signals at the same time, raising the question of how cells respond to locally diverse and potentially competing signals on their migration routes. Here, we reveal that motile amoeboid cells require nuclear repositioning, termed nucleokinesis, for adaptive pathfinding in heterogeneous mechanochemical microenvironments. Using mammalian immune cells and the amoebaDictyostelium discoideum, we discover that frequent, rapid and long-distance nucleokinesis is a basic component of amoeboid pathfinding, enabling cells to reorientate quickly between locally competing cues. Amoeboid nucleokinesis comprises a two-step cell polarity switch and is driven by myosin II-forces, sliding the nucleus from a ‘losing’ to the ‘winning’ leading edge to re-adjust the nuclear to the cellular path. Impaired nucleokinesis distorts fast path adaptions and causes cellular arrest in the microenvironment. Our findings establish that nucleokinesis is required for amoeboid cell navigation. Given that motile single-cell amoebae, many immune cells, and some cancer cells utilize an amoeboid migration strategy, these results suggest that amoeboid nucleokinesis underlies cellular navigation during unicellular biology, immunity, and disease.}, author = {Kroll, Janina and Hauschild, Robert and Kuznetcov, Arthur and Stefanowski, Kasia and Hermann, Monika D. and Merrin, Jack and Shafeek, Lubuna B and Müller-Taubenberger, Annette and Renkawitz, Jörg}, issn = {1460-2075}, journal = {EMBO Journal}, publisher = {Embo Press}, title = {{Adaptive pathfinding by nucleokinesis during amoeboid migration}}, doi = {10.15252/embj.2023114557}, year = {2023}, } @article{14610, abstract = {AbstractEndomembrane damage represents a form of stress that is detrimental for eukaryotic cells1,2. To cope with this threat, cells possess mechanisms that repair the damage and restore cellular homeostasis3–7. Endomembrane damage also results in organelle instability and the mechanisms by which cells stabilize damaged endomembranes to enable membrane repair remains unknown. Here, by combining in vitro and in cellulo studies with computational modelling we uncover a biological function for stress granules whereby these biomolecular condensates form rapidly at endomembrane damage sites and act as a plug that stabilizes the ruptured membrane. Functionally, we demonstrate that stress granule formation and membrane stabilization enable efficient repair of damaged endolysosomes, through both ESCRT (endosomal sorting complex required for transport)-dependent and independent mechanisms. We also show that blocking stress granule formation in human macrophages creates a permissive environment for Mycobacterium tuberculosis, a human pathogen that exploits endomembrane damage to survive within the host.}, author = {Bussi, Claudio and Mangiarotti, Agustín and Vanhille-Campos, Christian Eduardo and Aylan, Beren and Pellegrino, Enrica and Athanasiadi, Natalia and Fearns, Antony and Rodgers, Angela and Franzmann, Titus M. and Šarić, Anđela and Dimova, Rumiana and Gutierrez, Maximiliano G.}, issn = {1476-4687}, journal = {Nature}, keywords = {Multidisciplinary}, publisher = {Springer Nature}, title = {{Stress granules plug and stabilize damaged endolysosomal membranes}}, doi = {10.1038/s41586-023-06726-w}, year = {2023}, } @misc{14472, abstract = {Data related to the following paper: "Stress granules plug and stabilize damaged endolysosomal membranes" (https://doi.org/10.1038/s41586-023-06726-w) Abstract: Endomembrane damage represents a form of stress that is detrimental for eukaryotic cells. To cope with this threat, cells possess mechanisms that repair the damage and restore cellular homeostasis. Endomembrane damage also results in organelle instability and the mechanisms by which cells stabilize damaged endomembranes to enable membrane repair remains unknown. In this work we use a minimal coarse-grained molecular dynamics system to explore how lipid vesicles undergoing poration in a protein-rich medium can be plugged and stabilised by condensate formation. The solution of proteins in and out of the vesicle is described by beads dispersed in implicit solvent. The membrane is described as a one-bead-thick fluid elastic layer of mechanical properties that mimic biological membranes. We tune the interactions between solution beads in the different compartments to capture the differences between the cytoplasmic and endosomal protein solutions and explore how the system responds to different degrees of membrane poration. We find that, in the right interaction regime, condensates form rapidly at the damage site upon solution mixing and act as a plug that prevents futher mixing and destabilisation of the vesicle. Further, when the condensate can interact with the membrane (wetting interactions) we find that it mediates pore sealing and membrane repair. This research is part of the work published in "Stress granules plug and stabilize damaged endolysosomal membranes", Bussi et al, Nature, 2023 - 10.1038/s41586-023-06726-w.}, author = {Vanhille-Campos, Christian Eduardo and Šarić, Anđela}, publisher = {Institute of Science and Technology Austria}, title = {{Stress granules plug and stabilize damaged endolysosomal membranes}}, doi = {10.15479/AT:ISTA:14472}, year = {2023}, } @article{12747, abstract = {Muscle degeneration is the most prevalent cause for frailty and dependency in inherited diseases and ageing. Elucidation of pathophysiological mechanisms, as well as effective treatments for muscle diseases, represents an important goal in improving human health. Here, we show that the lipid synthesis enzyme phosphatidylethanolamine cytidyltransferase (PCYT2/ECT) is critical to muscle health. Human deficiency in PCYT2 causes a severe disease with failure to thrive and progressive weakness. pcyt2-mutant zebrafish and muscle-specific Pcyt2-knockout mice recapitulate the participant phenotypes, with failure to thrive, progressive muscle weakness and accelerated ageing. Mechanistically, muscle Pcyt2 deficiency affects cellular bioenergetics and membrane lipid bilayer structure and stability. PCYT2 activity declines in ageing muscles of mice and humans, and adeno-associated virus-based delivery of PCYT2 ameliorates muscle weakness in Pcyt2-knockout and old mice, offering a therapy for individuals with a rare disease and muscle ageing. Thus, PCYT2 plays a fundamental and conserved role in vertebrate muscle health, linking PCYT2 and PCYT2-synthesized lipids to severe muscle dystrophy and ageing.}, author = {Cikes, Domagoj and Elsayad, Kareem and Sezgin, Erdinc and Koitai, Erika and Ferenc, Torma and Orthofer, Michael and Yarwood, Rebecca and Heinz, Leonhard X. and Sedlyarov, Vitaly and Darwish-Miranda, Nasser and Taylor, Adrian and Grapentine, Sophie and al-Murshedi, Fathiya and Abot, Anne and Weidinger, Adelheid and Kutchukian, Candice and Sanchez, Colline and Cronin, Shane J. F. and Novatchkova, Maria and Kavirayani, Anoop and Schuetz, Thomas and Haubner, Bernhard and Haas, Lisa and Hagelkruys, Astrid and Jackowski, Suzanne and Kozlov, Andrey and Jacquemond, Vincent and Knauf, Claude and Superti-Furga, Giulio and Rullman, Eric and Gustafsson, Thomas and McDermot, John and Lowe, Martin and Radak, Zsolt and Chamberlain, Jeffrey S. and Bakovic, Marica and Banka, Siddharth and Penninger, Josef M.}, issn = {2522-5812}, journal = {Nature Metabolism}, keywords = {Cell Biology, Physiology (medical), Endocrinology, Diabetes and Metabolism, Internal Medicine}, pages = {495--515}, publisher = {Springer Nature}, title = {{PCYT2-regulated lipid biosynthesis is critical to muscle health and ageing}}, doi = {10.1038/s42255-023-00766-2}, volume = {5}, year = {2023}, } @article{14605, abstract = {The phonon transport mechanisms and ultralow lattice thermal conductivities (κL) in silver halide AgX (X=Cl,Br,I) compounds are not yet well understood. Herein, we study the lattice dynamics and thermal property of AgX under the framework of perturbation theory and the two-channel Wigner thermal transport model based on accurate machine learning potentials. We find that an accurate extraction of the third-order atomic force constants from largely displaced configurations is significant for the calculation of the κL of AgX, and the coherence thermal transport is also non-negligible. In AgI, however, the calculated κL still considerably overestimates the experimental values even including four-phonon scatterings. Molecular dynamics (MD) simulations using machine learning potential suggest an important role of the higher-than-fourth-order lattice anharmonicity in the low-frequency phonon linewidths of AgI at room temperature, which can be related to the simultaneous restrictions of the three- and four-phonon phase spaces. The κL of AgI calculated using MD phonon lifetimes including full-order lattice anharmonicity shows a better agreement with experiments.}, author = {Ouyang, Niuchang and Zeng, Zezhu and Wang, Chen and Wang, Qi and Chen, Yue}, issn = {2469-9969}, journal = {Physical Review B}, number = {17}, publisher = {American Physical Society}, title = {{Role of high-order lattice anharmonicity in the phonon thermal transport of silver halide AgX (X=Cl,Br, I)}}, doi = {10.1103/PhysRevB.108.174302}, volume = {108}, year = {2023}, } @inproceedings{14609, abstract = {Distributed Key Generation (DKG) is a technique to bootstrap threshold cryptosystems without a trusted party. DKG is an essential building block to many decentralized protocols such as randomness beacons, threshold signatures, Byzantine consensus, and multiparty computation. While significant progress has been made recently, existing asynchronous DKG constructions are inefficient when the reconstruction threshold is larger than one-third of the total nodes. In this paper, we present a simple and concretely efficient asynchronous DKG (ADKG) protocol among n = 3t + 1 nodes that can tolerate up to t malicious nodes and support any reconstruction threshold ℓ ≥ t. Our protocol has an expected O(κn3) communication cost, where κ is the security parameter, and only assumes the hardness of the Discrete Logarithm. The core ingredient of our ADKG protocol is an asynchronous protocol to secret share a random polynomial of degree ℓ ≥ t, which has other applications, such as asynchronous proactive secret sharing and asynchronous multiparty computation. We implement our high-threshold ADKG protocol and evaluate it using a network of up to 128 geographically distributed nodes. Our evaluation shows that our high-threshold ADKG protocol reduces the running time by 90% and bandwidth usage by 80% over the state-of-the-art.}, author = {Das, Sourav and Xiang, Zhuolun and Kokoris Kogias, Eleftherios and Ren, Ling}, booktitle = {32nd USENIX Security Symposium}, isbn = {9781713879497}, location = {Anaheim, CA, United States}, pages = {5359--5376}, publisher = {Usenix}, title = {{Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling}}, volume = {8}, year = {2023}, } @article{14603, abstract = {Computing the solubility of crystals in a solvent using atomistic simulations is notoriously challenging due to the complexities and convergence issues associated with free-energy methods, as well as the slow equilibration in direct-coexistence simulations. This paper introduces a molecular-dynamics workflow that simplifies and robustly computes the solubility of molecular or ionic crystals. This method is considerably more straightforward than the state-of-the-art, as we have streamlined and optimised each step of the process. Specifically, we calculate the chemical potential of the crystal using the gas-phase molecule as a reference state, and employ the S0 method to determine the concentration dependence of the chemical potential of the solute. We use this workflow to predict the solubilities of sodium chloride in water, urea polymorphs in water, and paracetamol polymorphs in both water and ethanol. Our findings indicate that the predicted solubility is sensitive to the chosen potential energy surface. Furthermore, we note that the harmonic approximation often fails for both molecular crystals and gas molecules at or above room temperature, and that the assumption of an ideal solution becomes less valid for highly soluble substances.}, author = {Reinhardt, Aleks and Chew, Pin Yu and Cheng, Bingqing}, issn = {1089-7690}, journal = {Journal of Chemical Physics}, number = {18}, publisher = {AIP Publishing}, title = {{A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals}}, doi = {10.1063/5.0173341}, volume = {159}, year = {2023}, } @article{14604, abstract = {Sex chromosomes have evolved independently multiple times, but why some are conserved for more than 100 million years whereas others turnover rapidly remains an open question. Here, we examine the homology of sex chromosomes across nine orders of insects, plus the outgroup springtails. We find that the X chromosome is likely homologous across insects and springtails; the only exception is in the Lepidoptera, which has lost the X and now has a ZZ/ZW sex-chromosome system. These results suggest the ancestral insect X chromosome has persisted for more than 450 million years—the oldest known sex chromosome to date. Further, we propose that the shrinking of gene content the dipteran X chromosome has allowed for a burst of sex-chromosome turnover that is absent from other speciose insect orders.}, author = {Toups, Melissa A and Vicoso, Beatriz}, issn = {1558-5646}, journal = {Evolution}, number = {11}, pages = {2504--2511}, publisher = {Oxford University Press}, title = {{The X chromosome of insects likely predates the origin of class Insecta}}, doi = {10.1093/evolut/qpad169}, volume = {77}, year = {2023}, } @misc{14616, abstract = {Sex chromosomes have evolved independently multiple times, but why some are conserved for more than 100 million years whereas others turnover rapidly remains an open question. Here, we examine the homology of sex chromosomes across nine orders of insects, plus the outgroup springtails. We find that the X chromosome is likely homologous across insects and springtails; the only exception is in the Lepidoptera, which has lost the X and now has a ZZ/ZW sex chromosome system. These results suggest the ancestral insect X chromosome has persisted for more than 450 million years – the oldest known sex chromosome to date. Further, we propose that the shrinking of gene content of the Dipteran X chromosome has allowed for a burst of sex-chromosome turnover that is absent from other speciose insect orders.}, author = {Toups, Melissa A and Vicoso, Beatriz}, publisher = {Dryad}, title = {{The X chromosome of insects likely predates the origin of Class Insecta}}, doi = {10.5061/DRYAD.HX3FFBGKT}, year = {2023}, } @misc{14617, abstract = {Sex chromosomes have evolved independently multiple times, but why some are conserved for more than 100 million years whereas others turnover rapidly remains an open question. Here, we examine the homology of sex chromosomes across nine orders of insects, plus the outgroup springtails. We find that the X chromosome is likely homologous across insects and springtails; the only exception is in the Lepidoptera, which has lost the X and now has a ZZ/ZW sex chromosome system. These results suggest the ancestral insect X chromosome has persisted for more than 450 million years – the oldest known sex chromosome to date. Further, we propose that the shrinking of gene content of the Dipteran X chromosome has allowed for a burst of sex-chromosome turnover that is absent from other speciose insect orders.}, author = {Toups, Melissa A and Vicoso, Beatriz}, publisher = {Zenodo}, title = {{The X chromosome of insects likely predates the origin of Class Insecta}}, doi = {10.5281/ZENODO.8138705}, year = {2023}, } @misc{14619, abstract = {Data underlying the publication "A streamlined molecular-dynamics workflow for computing solubilities of molecular and ionic crystals" (DOI https://doi.org/10.1063/5.0173341).}, author = {Cheng, Bingqing}, publisher = {Zenodo}, title = {{BingqingCheng/solubility: V1.0}}, doi = {10.5281/ZENODO.8398094}, year = {2023}, } @article{14564, abstract = {Cumulus parameterization (CP) in state‐of‐the‐art global climate models is based on the quasi‐equilibrium assumption (QEA), which views convection as the action of an ensemble of cumulus clouds, in a state of equilibrium with respect to a slowly varying atmospheric state. This view is not compatible with the organization and dynamical interactions across multiple scales of cloud systems in the tropics and progress in this research area was slow over decades despite the widely recognized major shortcomings. Novel ideas on how to represent key physical processes of moist convection‐large‐scale interaction to overcome the QEA have surged recently. The stochastic multicloud model (SMCM) CP in particular mimics the dynamical interactions of multiple cloud types that characterize organized tropical convection. Here, the SMCM is used to modify the Zhang‐McFarlane (ZM) CP by changing the way in which the bulk mass flux and bulk entrainment and detrainment rates are calculated. This is done by introducing a stochastic ensemble of plumes characterized by randomly varying detrainment level distributions based on the cloud area fraction of the SMCM. The SMCM is here extended to include shallow cumulus clouds resulting in a unified shallow‐deep CP. The new stochastic multicloud plume CP is validated against the control ZM scheme in the context of the single column Community Climate Model of the National Center for Atmospheric Research using data from both tropical ocean and midlatitude land convection. Some key features of the SMCM CP such as it capability to represent the tri‐modal nature of organized convection are emphasized.}, author = {Khouider, B. and GOSWAMI, BIDYUT B and Phani, R. and Majda, A. J.}, issn = {1942-2466}, journal = {Journal of Advances in Modeling Earth Systems}, keywords = {General Earth and Planetary Sciences, Environmental Chemistry, Global and Planetary Change}, number = {11}, publisher = {American Geophysical Union}, title = {{A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model}}, doi = {10.1029/2022ms003391}, volume = {15}, year = {2023}, } @article{12789, abstract = {Experiments have shown that charge distributions of granular materials are non-Gaussian, with broad tails that indicate many particles with high charge. This observation has consequences for the behavior of granular materials in many settings, and may bear relevance to the underlying charge transfer mechanism. However, there is the unaddressed possibility that broad tails arise due to experimental uncertainties, as determining the shapes of tails is nontrivial. Here we show that measurement uncertainties can indeed account for most of the tail broadening previously observed. The clue that reveals this is that distributions are sensitive to the electric field at which they are measured; ones measured at low (high) fields have larger (smaller) tails. Accounting for sources of uncertainty, we reproduce this broadening in silico. Finally, we use our results to back out the true charge distribution without broadening, which we find is still non-Guassian, though with substantially different behavior at the tails and indicating significantly fewer highly charged particles. These results have implications in many natural settings where electrostatic interactions, especially among highly charged particles, strongly affect granular behavior.}, author = {Mujica, Nicolás and Waitukaitis, Scott R}, issn = {2470-0053}, journal = {Physical Review E}, number = {3}, publisher = {American Physical Society}, title = {{Accurate determination of the shapes of granular charge distributions}}, doi = {10.1103/PhysRevE.107.034901}, volume = {107}, year = {2023}, } @inproceedings{13238, abstract = {We consider a natural problem dealing with weighted packet selection across a rechargeable link, which e.g., finds applications in cryptocurrency networks. The capacity of a link (u, v) is determined by how much nodes u and v allocate for this link. Specifically, the input is a finite ordered sequence of packets that arrive in both directions along a link. Given (u, v) and a packet of weight x going from u to v, node u can either accept or reject the packet. If u accepts the packet, the capacity on link (u, v) decreases by x. Correspondingly, v’s capacity on (u, v) increases by x. If a node rejects the packet, this will entail a cost affinely linear in the weight of the packet. A link is “rechargeable” in the sense that the total capacity of the link has to remain constant, but the allocation of capacity at the ends of the link can depend arbitrarily on the nodes’ decisions. The goal is to minimise the sum of the capacity injected into the link and the cost of rejecting packets. We show that the problem is NP-hard, but can be approximated efficiently with a ratio of (1+ε)⋅(1+3–√) for some arbitrary ε>0. .}, author = {Schmid, Stefan and Svoboda, Jakub and Yeo, Michelle X}, booktitle = {SIROCCO 2023: Structural Information and Communication Complexity }, isbn = {9783031327322}, issn = {1611-3349}, location = {Alcala de Henares, Spain}, pages = {576--594}, publisher = {Springer Nature}, title = {{Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation}}, doi = {10.1007/978-3-031-32733-9_26}, volume = {13892}, year = {2023}, } @phdthesis{14506, abstract = {Payment channel networks are a promising approach to improve the scalability bottleneck of cryptocurrencies. Two design principles behind payment channel networks are efficiency and privacy. Payment channel networks improve efficiency by allowing users to transact in a peer-to-peer fashion along multi-hop routes in the network, avoiding the lengthy process of consensus on the blockchain. Transacting over payment channel networks also improves privacy as these transactions are not broadcast to the blockchain. Despite the influx of recent protocols built on top of payment channel networks and their analysis, a common shortcoming of many of these protocols is that they typically focus only on either improving efficiency or privacy, but not both. Another limitation on the efficiency front is that the models used to model actions, costs and utilities of users are limited or come with unrealistic assumptions. This thesis aims to address some of the shortcomings of recent protocols and algorithms on payment channel networks, particularly in their privacy and efficiency aspects. We first present a payment route discovery protocol based on hub labelling and private information retrieval that hides the route query and is also efficient. We then present a rebalancing protocol that formulates the rebalancing problem as a linear program and solves the linear program using multiparty computation so as to hide the channel balances. The rebalancing solution as output by our protocol is also globally optimal. We go on to develop more realistic models of the action space, costs, and utilities of both existing and new users that want to join the network. In each of these settings, we also develop algorithms to optimise the utility of these users with good guarantees on the approximation and competitive ratios.}, author = {Yeo, Michelle X}, issn = {2663 - 337X}, pages = {162}, publisher = {Institute of Science and Technology Austria}, title = {{Advances in efficiency and privacy in payment channel network analysis}}, doi = {10.15479/14506}, year = {2023}, } @inproceedings{14490, abstract = {Payment channel networks (PCNs) are a promising solution to the scalability problem of cryptocurrencies. Any two users connected by a payment channel in the network can theoretically send an unbounded number of instant, costless transactions between them. Users who are not directly connected can also transact with each other in a multi-hop fashion. In this work, we study the incentive structure behind the creation of payment channel networks, particularly from the point of view of a single user that wants to join the network. We define a utility function for a new user in terms of expected revenue, expected fees, and the cost of creating channels, and then provide constant factor approximation algorithms that optimise the utility function given a certain budget. Additionally, we take a step back from a single user to the whole network and examine the parameter spaces under which simple graph topologies form a Nash equilibrium.}, author = {Avarikioti, Zeta and Lizurej, Tomasz and Michalak, Tomasz and Yeo, Michelle X}, booktitle = {43rd International Conference on Distributed Computing Systems}, isbn = {9798350339864}, issn = {2575-8411}, location = {Hong Kong, China}, pages = {603--613}, publisher = {IEEE}, title = {{Lightning creation games}}, doi = {10.1109/ICDCS57875.2023.00037}, volume = {2023}, 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{14530, 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}, keywords = {Synchronization, Collective Movement, Active Matter, Cell Migration, Active Colloids}, pages = {260}, publisher = {Institute of Science and Technology Austria}, title = {{Synchronization in collectively moving active matter}}, doi = {10.15479/14530}, year = {2023}, } @phdthesis{14547, abstract = {Superconductor-semiconductor heterostructures currently capture a significant amount of research interest and they serve as the physical platform in many proposals towards topological quantum computation. Despite being under extensive investigations, historically using transport techniques, the basic properties of the interface between the superconductor and the semiconductor remain to be understood. In this thesis, two separate studies on the Al-InAs heterostructures are reported with the first focusing on the physics of the material motivated by the emergence of a new phase, the Bogoliubov-Fermi surface. The second focuses on a technological application, a gate-tunable Josephson parametric amplifier. In the first study, we investigate the hypothesized unconventional nature of the induced superconductivity at the interface between the Al thin film and the InAs quantum well. We embed a two-dimensional Al-InAs hybrid system in a resonant microwave circuit allowing measurements of change in inductance. The behaviour of the resonance in a range of temperature and in-plane magnetic field has been studied and compared with the theory of conventional s-wave superconductor and a two-component theory that includes both contribution of the $s$-wave pairing in Al and the intraband $p \pm ip$ pairing in InAs. Measuring the temperature dependence of resonant frequency, no discrepancy is found between data and the conventional theory. We observe the breakdown of superconductivity due to an applied magnetic field which contradicts the conventional theory. In contrast, the data can be captured quantitatively by fitting to a two-component model. We find the evidence of the intraband $p \pm ip$ pairing in the InAs and the emergence of the Bogoliubov-Fermi surfaces due to magnetic field with the characteristic value $B^* = 0.33~\mathrm{T}$. From the fits, the sheet resistance of Al, the carrier density and mobility in InAs are determined. By systematically studying the anisotropy of the circuit response, we find weak anisotropy for $B < B^*$ and increasingly strong anisotropy for $B > B^*$ resulting in a pronounced two-lobe structure in polar plot of frequency versus field angle. Strong resemblance between the field dependence of dissipation and superfluid density hints at a hidden signature of the Bogoliubov-Fermi surface that is burried in the dissipation data. In the second study, we realize a parametric amplifier with a Josephson field effect transistor as the active element. The device's modest construction consists of a gated SNS weak link embedded at the center of a coplanar waveguide resonator. By applying a gate voltage, the resonant frequency is field-effect tunable over a range of 2 GHz. Modelling the JoFET minimally as a parallel RL circuit, the dissipation introduced by the JoFET can be quantitatively related to the gate voltage. We observed gate-tunable Kerr nonlinearity qualitatively in line with expectation. The JoFET amplifier has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1dB compression point of -125.5 dBm when operated at a fixed resonant frequency. In general, the signal-to-noise ratio is improved by 5-7 dB when the JoFET amplifier is activated compared. The noise of the measurement chain and insertion loss of relevant circuit elements are calibrated to determine the expected and the real noise performance of the JoFET amplifier. As a quantification of the noise performance, the measured total input-referred noise of the JoFET amplifier is in good agreement with the estimated expectation which takes device loss into account. We found that the noise performance of the device reported in this document approaches one photon of total input-referred added noise which is the quantum limit imposed in nondegenerate parametric amplifier.}, author = {Phan, Duc T}, issn = {2663 - 337X}, keywords = {superconductor-semiconductor, superconductivity, Al, InAs, p-wave, superconductivity, JPA, microwave}, pages = {80}, publisher = {Institute of Science and Technology Austria}, title = {{Resonant microwave spectroscopy of Al-InAs}}, doi = {10.15479/14547}, year = {2023}, } @article{13264, abstract = {We build a parametric amplifier with a Josephson field-effect transistor (JoFET) as the active element. The resonant frequency of the device is field-effect tunable over a range of 2 GHz. The JoFET amplifier has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1-dB compression point of -125.5 dBm when operated at a fixed resonance frequency. }, author = {Phan, Duc T and Falthansl-Scheinecker, Paul and Mishra, Umang and Strickland, W. M. and Langone, D. and Shabani, J. and Higginbotham, Andrew P}, issn = {2331-7019}, journal = {Physical Review Applied}, number = {6}, publisher = {American Physical Society}, title = {{Gate-tunable superconductor-semiconductor parametric amplifier}}, doi = {10.1103/PhysRevApplied.19.064032}, volume = {19}, year = {2023}, } @unpublished{14591, abstract = {Clathrin-mediated endocytosis (CME) is vital for the regulation of plant growth and development by controlling plasma membrane protein composition and cargo uptake. CME relies on the precise recruitment of regulators for vesicle maturation and release. Homologues of components of mammalian vesicle scission are strong candidates to be part of the scissin machinery in plants, but the precise roles of these proteins in this process is not fully understood. Here, we characterised the roles of Plant Dynamin-Related Proteins 2 (DRP2s) and SH3-domain containing protein 2 (SH3P2), the plant homologue to Dynamins’ recruiters, like Endophilin and Amphiphysin, in the CME by combining high-resolution imaging of endocytic events in vivo and characterisation of the purified proteins in vitro. Although DRP2s and SH3P2 arrive similarly late during CME and physically interact, genetic analysis of the Dsh3p1,2,3 triple-mutant and complementation assays with non-SH3P2-interacting DRP2 variants suggests that SH3P2 does not directly recruit DRP2s to the site of endocytosis. These observations imply that despite the presence of many well-conserved endocytic components, plants have acquired a distinct mechanism for CME. One Sentence Summary In contrast to predictions based on mammalian systems, plant Dynamin-related proteins 2 are recruited to the site of Clathrin-mediated endocytosis independently of BAR-SH3 proteins.}, author = {Gnyliukh, Nataliia and Johnson, Alexander J and Nagel, Marie-Kristin and Monzer, Aline and Hlavata, Annamaria and Isono, Erika and Loose, Martin and Friml, Jiří}, booktitle = {bioRxiv}, title = {{Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants}}, doi = {10.1101/2023.10.09.561523}, year = {2023}, } @article{14639, abstract = {Background: Biallelic variants in OGDHL, encoding part of the α-ketoglutarate dehydrogenase complex, have been associated with highly heterogeneous neurological and neurodevelopmental disorders. However, the validity of this association remains to be confirmed. A second OGDHL patient cohort was recruited to carefully assess the gene-disease relationship. Methods: Using an unbiased genotype-first approach, we screened large, multiethnic aggregated sequencing datasets worldwide for biallelic OGDHL variants. We used CRISPR/Cas9 to generate zebrafish knockouts of ogdhl, ogdh paralogs, and dhtkd1 to investigate functional relationships and impact during development. Functional complementation with patient variant transcripts was conducted to systematically assess protein functionality as a readout for pathogenicity. Results: A cohort of 14 individuals from 12 unrelated families exhibited highly variable clinical phenotypes, with the majority of them presenting at least one additional variant, potentially accounting for a blended phenotype and complicating phenotypic understanding. We also uncovered extreme clinical heterogeneity and high allele frequencies, occasionally incompatible with a fully penetrant recessive disorder. Human cDNA of previously described and new variants were tested in an ogdhl zebrafish knockout model, adding functional evidence for variant reclassification. We disclosed evidence of hypomorphic alleles as well as a loss-of-function variant without deleterious effects in zebrafish variant testing also showing discordant familial segregation, challenging the relationship of OGDHL as a conventional Mendelian gene. Going further, we uncovered evidence for a complex compensatory relationship among OGDH, OGDHL, and DHTKD1 isoenzymes that are associated with neurodevelopmental disorders and exhibit complex transcriptional compensation patterns with partial functional redundancy. Conclusions: Based on the results of genetic, clinical, and functional studies, we formed three hypotheses in which to frame observations: biallelic OGDHL variants lead to a highly variable monogenic disorder, variants in OGDHL are following a complex pattern of inheritance, or they may not be causative at all. Our study further highlights the continuing challenges of assessing the validity of reported disease-gene associations and effects of variants identified in these genes. This is particularly more complicated in making genetic diagnoses based on identification of variants in genes presenting a highly heterogenous phenotype such as “OGDHL-related disorders”.}, author = {Lin, Sheng-Jia and Vona, Barbara and Lau, Tracy and Huang, Kevin and Zaki, Maha S. and Aldeen, Huda Shujaa and Karimiani, Ehsan Ghayoor and Rocca, Clarissa and Noureldeen, Mahmoud M. and Saad, Ahmed K. and Petree, Cassidy and Bartolomaeus, Tobias and Abou Jamra, Rami and Zifarelli, Giovanni and Gotkhindikar, Aditi and Wentzensen, Ingrid M. and Liao, Mingjuan and Cork, Emalyn Elise and Varshney, Pratishtha and Hashemi, Narges and Mohammadi, Mohammad Hasan and Rad, Aboulfazl and Neira, Juanita and Toosi, Mehran Beiraghi and Knopp, Cordula and Kurth, Ingo and Challman, Thomas D. and Smith, Rebecca and Abdalla, Asmahan and Haaf, Thomas and Suri, Mohnish and Joshi, Manali and Chung, Wendy K. and Moreno-De-Luca, Andres and Houlden, Henry and Maroofian, Reza and Varshney, Gaurav K.}, issn = {1756-994X}, journal = {Genome Medicine}, keywords = {Genetics (clinical), Genetics, Molecular Biology, Molecular Medicine}, publisher = {Springer Nature}, title = {{Evaluating the association of biallelic OGDHL variants with significant phenotypic heterogeneity}}, doi = {10.1186/s13073-023-01258-4}, volume = {15}, year = {2023}, } @article{14628, abstract = {We introduce a compact, intuitive procedural graph representation for cellular metamaterials, which are small-scale, tileable structures that can be architected to exhibit many useful material properties. Because the structures’ “architectures” vary widely—with elements such as beams, thin shells, and solid bulks—it is difficult to explore them using existing representations. Generic approaches like voxel grids are versatile, but it is cumbersome to represent and edit individual structures; architecture-specific approaches address these issues, but are incompatible with one another. By contrast, our procedural graph succinctly represents the construction process for any structure using a simple skeleton annotated with spatially varying thickness. To express the highly constrained triply periodic minimal surfaces (TPMS) in this manner, we present the first fully automated version of the conjugate surface construction method, which allows novices to create complex TPMS from intuitive input. We demonstrate our representation’s expressiveness, accuracy, and compactness by constructing a wide range of established structures and hundreds of novel structures with diverse architectures and material properties. We also conduct a user study to verify our representation’s ease-of-use and ability to expand engineers’ capacity for exploration.}, author = {Makatura, Liane and Wang, Bohan and Chen, Yi-Lu and Deng, Bolei and Wojtan, Christopher J and Bickel, Bernd and Matusik, Wojciech}, issn = {0730-0301}, journal = {ACM Transactions on Graphics}, keywords = {Computer Graphics and Computer-Aided Design}, number = {5}, publisher = {Association for Computing Machinery}, title = {{Procedural metamaterials: A unified procedural graph for metamaterial design}}, doi = {10.1145/3605389}, volume = {42}, year = {2023}, } @unpublished{14644, abstract = {Transcription by RNA polymerase II (Pol II) can be repressed by noncoding RNA, including the human RNA Alu. However, the mechanism by which endogenous RNAs repress transcription remains unclear. Here we present cryo-electron microscopy structures of Pol II bound to Alu RNA, which reveal that Alu RNA mimics how DNA and RNA bind to Pol II during transcription elongation. Further, we show how domains of the general transcription factor TFIIF affect complex dynamics and control repressive activity. Together, we reveal how a non-coding RNA can regulate mammalian gene expression.}, author = {Tluckova, Katarina and Testa Salmazo, Anita P and Bernecky, Carrie A}, publisher = {Institute of Science and Technology Austria}, title = {{Mechanism of mammalian transcriptional repression by noncoding RNA}}, doi = {10.15479/AT:ISTA:14644}, year = {2023}, } @article{14658, abstract = {We investigate spin-charge separation of a spin- 1 2 Fermi system confined in a triple well where multiple bands are occupied. We assume that our finite fermionic system is close to fully spin polarized while being doped by a hole and an impurity fermion with opposite spin. Our setup involves ferromagnetic couplings among the particles in different bands, leading to the development of strong spin-transport correlations in an intermediate interaction regime. Interactions are then strong enough to lift the degeneracy among singlet and triplet spin configurations in the well of the spin impurity but not strong enough to prohibit hole-induced magnetic excitations to the singlet state. Despite the strong spin-hole correlations, the system exhibits spin-charge deconfinement allowing for long-range entanglement of the spatial and spin degrees of freedom.}, author = {Becker, J. M. and Koutentakis, Georgios and Schmelcher, P.}, issn = {2643-1564}, journal = {Physical Review Research}, number = {4}, publisher = {American Physical Society}, title = {{Spin-charge correlations in finite one-dimensional multiband Fermi systems}}, doi = {10.1103/PhysRevResearch.5.043039}, volume = {5}, year = {2023}, } @article{14650, abstract = {We study the out-of-equilibrium quantum dynamics of dipolar polarons, i.e., impurities immersed in a dipolar Bose-Einstein condensate, after a quench of the impurity-boson interaction. We show that the dipolar nature of the condensate and of the impurity results in anisotropic relaxation dynamics, in particular, anisotropic dressing of the polaron. More relevantly for cold-atom setups, quench dynamics is strongly affected by the interplay between dipolar anisotropy and trap geometry. Our findings pave the way for simulating impurities in anisotropic media utilizing experiments with dipolar mixtures.}, author = {Volosniev, Artem and Bighin, Giacomo and Santos, Luis and Peña Ardila, Luisllu A.}, issn = {2542-4653}, journal = {SciPost Physics}, keywords = {General Physics and Astronomy}, number = {6}, publisher = {SciPost Foundation}, title = {{Non-equilibrium dynamics of dipolar polarons}}, doi = {10.21468/scipostphys.15.6.232}, volume = {15}, year = {2023}, } @article{14653, abstract = {Mass spectrometry imaging (MSI) is a powerful analytical technique for the two-dimensional (2D) localization of chemicals on surfaces. Conventional MSI experiments require to predefine the surface of interest based on photographic or microscopic images. Typically, these boundaries can no longer be changed or adjusted once the experiment has been started. In terms of a more interactive approach we recently developed a pen-like ionization interface which is directly connected to the mass spectrometer. The device allows the user to ionize chemicals by desorption electrospray ionization (DESI) and to freely move the interface over a surface of interest. A mini camera, which is mounted on the tip of the pen, magnifies the desorption area and enables a simple positioning of the pen. The combination of optical data from the camera module and chemical data obtained by mass analysis facilitates a novel type of imaging experiment: interactive mass spectrometry imaging (IMSI). For this application, we present a novel approach for a robust, optical flow-based motion detection. While the live video stream from the camera is used to track the pen's motion across the surface a post-acquisition algorithm correlates the coordinates of the pen trajectory with respective mass spectra obtained from a simultaneous mass spectrometric data acquisition. This algorithm is no longer dependent on a single, manually applied optical marker on the sample surface, which has to be visible on all video frames throughout the analysis. The advanced DESI-IMSI method was successfully tested on inkjet-printed letters as well as mouse brain tissue samples. Validation of the results was done by comparing DESI-IMSI with standard DESI-MSI data.}, author = {Kluibenschedl, Florian and Ploner, Anna and Meisenbichler, Christina and Konrat, Robert and Müller, Thomas}, issn = {1387-3806}, journal = {International Journal of Mass Spectrometry}, publisher = {Elsevier}, title = {{Advanced motion tracking for interactive mass spectrometry imaging (IMSI)}}, doi = {10.1016/j.ijms.2023.117168}, volume = {495}, year = {2023}, } @unpublished{14647, abstract = {In the developing vertebrate central nervous system, neurons and glia typically arise sequentially from common progenitors. Here, we report that the transcription factor Forkhead Box G1 (Foxg1) regulates gliogenesis in the mouse neocortex via distinct cell-autonomous roles in progenitors and in postmitotic neurons that regulate different aspects of the gliogenic FGF signalling pathway. We demonstrate that loss of Foxg1 in cortical progenitors at neurogenic stages causes premature astrogliogenesis. We identify a novel FOXG1 target, the pro-gliogenic FGF pathway component Fgfr3, which is suppressed by FOXG1 cell-autonomously to maintain neurogenesis. Furthermore, FOXG1 can also suppress premature astrogliogenesis triggered by the augmentation of FGF signalling. We identify a second novel function of FOXG1 in regulating the expression of gliogenic ligand FGF18 in new born neocortical upper-layer neurons. Loss of FOXG1 in postmitotic neurons increases Fgf18 expression and enhances gliogenesis in the progenitors. These results fit well with the model that new born neurons secrete cues that trigger progenitors to produce the next wave of cell types, astrocytes. If FGF signalling is attenuated in Foxg1 null progenitors, they progress to oligodendrocyte production. Therefore, loss of FOXG1 transitions the progenitor to a gliogenic state, producing either astrocytes or oligodendrocytes depending on FGF signalling levels. Our results uncover how FOXG1 integrates extrinsic signalling via the FGF pathway to regulate the sequential generation of neurons, astrocytes, and oligodendrocytes in the cerebral cortex.}, author = {Bose, Mahima and Suresh, Varun and Mishra, Urvi and Talwar, Ishita and Yadav, Anuradha and Biswas, Shiona and Hippenmeyer, Simon and Tole, Shubha}, booktitle = {bioRxiv}, publisher = {Cold Spring Harbor Laboratory}, title = {{Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway}}, doi = {10.1101/2023.11.30.569337}, year = {2023}, } @article{14655, abstract = {The kinetics of the assembly of semiflexible filaments through end-to-end annealing is key to the structure of the cytoskeleton, but is not understood. We analyze this problem through scaling theory and simulations, and uncover a regime where filaments’ ends find each other through bending fluctuations without the need for the whole filament to diffuse. This results in a very substantial speedup of assembly in physiological regimes, and could help with understanding the dynamics of actin and intermediate filaments in biological processes such as wound healing and cell division.}, author = {Sorichetti, Valerio and Lenz, Martin}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {22}, publisher = {American Physical Society}, title = {{Transverse fluctuations control the assembly of semiflexible filaments}}, doi = {10.1103/PhysRevLett.131.228401}, volume = {131}, year = {2023}, } @article{14660, abstract = {The classical Steinitz theorem states that if the origin belongs to the interior of the convex hull of a set 𝑆⊂ℝ𝑑, then there are at most 2𝑑 points of 𝑆 whose convex hull contains the origin in the interior. Bárány, Katchalski,and Pach proved the following quantitative version of Steinitz’s theorem. Let 𝑄 be a convex polytope in ℝ𝑑 containing the standard Euclidean unit ball 𝐁𝑑. Then there exist at most 2𝑑 vertices of 𝑄 whose convex hull 𝑄′ satisfies 𝑟𝐁𝑑⊂𝑄′ with 𝑟⩾𝑑−2𝑑. They conjectured that 𝑟⩾𝑐𝑑−1∕2 holds with a universal constant 𝑐>0. We prove 𝑟⩾15𝑑2, the first polynomial lower bound on 𝑟. Furthermore, we show that 𝑟 is not greater than 2/√𝑑.}, author = {Ivanov, Grigory and Naszódi, Márton}, issn = {1469-2120}, journal = {Bulletin of the London Mathematical Society}, publisher = {London Mathematical Society}, title = {{Quantitative Steinitz theorem: A polynomial bound}}, doi = {10.1112/blms.12965}, year = {2023}, } @article{14666, abstract = {So-called spontaneous activity is a central hallmark of most nervous systems. Such non-causal firing is contrary to the tenet of spikes as a means of communication, and its purpose remains unclear. We propose that self-initiated firing can serve as a release valve to protect neurons from the toxic conditions arising in mitochondria from lower-than-baseline energy consumption. To demonstrate the viability of our hypothesis, we built a set of models that incorporate recent experimental results indicating homeostatic control of metabolic products—Adenosine triphosphate (ATP), adenosine diphosphate (ADP), and reactive oxygen species (ROS)—by changes in firing. We explore the relationship of metabolic cost of spiking with its effect on the temporal patterning of spikes and reproduce experimentally observed changes in intrinsic firing in the fruitfly dorsal fan-shaped body neuron in a model with ROS-modulated potassium channels. We also show that metabolic spiking homeostasis can produce indefinitely sustained avalanche dynamics in cortical circuits. Our theory can account for key features of neuronal activity observed in many studies ranging from ion channel function all the way to resting state dynamics. We finish with a set of experimental predictions that would confirm an integrated, crucial role for metabolically regulated spiking and firmly link metabolic homeostasis and neuronal function.}, author = {Chintaluri, Chaitanya and Vogels, Tim P}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, number = {48}, publisher = {National Academy of Sciences}, title = {{Metabolically regulated spiking could serve neuronal energy homeostasis and protect from reactive oxygen species}}, doi = {10.1073/pnas.2306525120}, volume = {120}, year = {2023}, } @article{14656, abstract = {Although much is known about how single neurons in the hippocampus represent an animal's position, how circuit interactions contribute to spatial coding is less well understood. Using a novel statistical estimator and theoretical modeling, both developed in the framework of maximum entropy models, we reveal highly structured CA1 cell-cell interactions in male rats during open field exploration. The statistics of these interactions depend on whether the animal is in a familiar or novel environment. In both conditions the circuit interactions optimize the encoding of spatial information, but for regimes that differ in the informativeness of their spatial inputs. This structure facilitates linear decodability, making the information easy to read out by downstream circuits. Overall, our findings suggest that the efficient coding hypothesis is not only applicable to individual neuron properties in the sensory periphery, but also to neural interactions in the central brain.}, author = {Nardin, Michele and Csicsvari, Jozsef L and Tkačik, Gašper and Savin, Cristina}, issn = {1529-2401}, journal = {The Journal of Neuroscience}, number = {48}, pages = {8140--8156}, publisher = {Society of Neuroscience}, title = {{The structure of hippocampal CA1 interactions optimizes spatial coding across experience}}, doi = {10.1523/JNEUROSCI.0194-23.2023}, volume = {43}, year = {2023}, } @article{14657, abstract = {Natural selection is usually studied between mutants that differ in reproductive rate, but are subject to the same population structure. Here we explore how natural selection acts on mutants that have the same reproductive rate, but different population structures. In our framework, population structure is given by a graph that specifies where offspring can disperse. The invading mutant disperses offspring on a different graph than the resident wild-type. We find that more densely connected dispersal graphs tend to increase the invader’s fixation probability, but the exact relationship between structure and fixation probability is subtle. We present three main results. First, we prove that if both invader and resident are on complete dispersal graphs, then removing a single edge in the invader’s dispersal graph reduces its fixation probability. Second, we show that for certain island models higher invader’s connectivity increases its fixation probability, but the magnitude of the effect depends on the exact layout of the connections. Third, we show that for lattices the effect of different connectivity is comparable to that of different fitness: for large population size, the invader’s fixation probability is either constant or exponentially small, depending on whether it is more or less connected than the resident.}, author = {Tkadlec, Josef and Kaveh, Kamran and Chatterjee, Krishnendu and Nowak, Martin A.}, issn = {1742-5662}, journal = {Journal of the Royal Society, Interface}, number = {208}, publisher = {The Royal Society}, title = {{Evolutionary dynamics of mutants that modify population structure}}, doi = {10.1098/rsif.2023.0355}, volume = {20}, year = {2023}, } @article{14664, abstract = {The architecture of self-assembled host molecules can profoundly affect the properties of the encapsulated guests. For example, a rigid cage with small windows can efficiently protect its contents from the environment; in contrast, tube-shaped, flexible hosts with large openings and an easily accessible cavity are ideally suited for catalysis. Here, we report a “Janus” nature of a Pd6L4 coordination host previously reported to exist exclusively as a tube isomer (T). We show that upon encapsulating various tetrahedrally shaped guests, T can reconfigure into a cage-shaped host (C) in quantitative yield. Extracting the guest affords empty C, which is metastable and spontaneously relaxes to T, and the T⇄C interconversion can be repeated for multiple cycles. Reversible toggling between two vastly different isomers paves the way toward controlling functional properties of coordination hosts “on demand”.}, author = {Hema, Kuntrapakam and Grommet, Angela B. and Białek, Michał J. and Wang, Jinhua and Schneider, Laura and Drechsler, Christoph and Yanshyna, Oksana and Diskin-Posner, Yael and Clever, Guido H. and Klajn, Rafal}, issn = {1520-5126}, journal = {Journal of the American Chemical Society}, number = {45}, pages = {24755--24764}, publisher = {American Chemical Society}, title = {{Guest encapsulation alters the thermodynamic landscape of a coordination host}}, doi = {10.1021/jacs.3c08666}, volume = {145}, year = {2023}, } @article{14663, abstract = {As a bottleneck in the direct synthesis of hydrogen peroxide, the development of an efficient palladium-based catalyst has garnered great attention. However, elusive active centers and reaction mechanism issues inhibit further optimization of its performance. In this work, advanced microkinetic modeling with the adsorbate–adsorbate interaction and nanoparticle size effect based on first-principles calculations is developed. A full mechanism uncovering the significance of adsorbate–adsorbate interaction is determined on Pd nanoparticles. We demonstrate unambiguously that Pd(100) with main coverage species of O2 and H is beneficial to H2O2 production, being consistent with experimental operando observation, while H2O forms on Pd(111) covered by O species and Pd(211) covered by O and OH species. Kinetic analyses further enable quantitative estimation of the influence of temperature, pressure, and particle size. Large-size Pd nanoparticles are found to achieve a high H2O2 reaction rate when the operating conditions are moderate temperature and higher oxygen partial pressure. We reveal that specific facets of the Pd nanoparticles are crucial factors for their selectivity and activity. Consistent with the experiment, the production of H2O2 is discovered to be more favorable on Pd nanoparticles containing Pd(100) facets. The ratio of H2/O2 induces substantial variations in the coverage of intermediates of O2 and H on Pd(100), resulting in a change in product selectivity.}, author = {Zhao, Jinyan and Yao, Zihao and Bunting, Rhys and Hu, P. and Wang, Jianguo}, issn = {2155-5435}, journal = {ACS Catalysis}, number = {22}, pages = {15054--15073}, publisher = {American Chemical Society}, title = {{Microkinetic modeling with size-dependent and adsorbate-adsorbate interactions for the direct synthesis of H₂O₂ over Pd nanoparticles}}, doi = {10.1021/acscatal.3c03893}, volume = {13}, year = {2023}, } @article{14667, abstract = {For large dimensional non-Hermitian random matrices X with real or complex independent, identically distributed, centered entries, we consider the fluctuations of f (X) as a matrix where f is an analytic function around the spectrum of X. We prove that for a generic bounded square matrix A, the quantity Tr f (X)A exhibits Gaussian fluctuations as the matrix size grows to infinity, which consists of two independent modes corresponding to the tracial and traceless parts of A. We find a new formula for the variance of the traceless part that involves the Frobenius norm of A and the L2-norm of f on the boundary of the limiting spectrum. }, author = {Erdös, László and Ji, Hong Chang}, issn = {0246-0203}, journal = {Annales de l'institut Henri Poincare (B) Probability and Statistics}, number = {4}, pages = {2083--2105}, publisher = {Institute of Mathematical Statistics}, title = {{Functional CLT for non-Hermitian random matrices}}, doi = {10.1214/22-AIHP1304}, volume = {59}, year = {2023}, } @article{14662, abstract = {We consider a class of polaron models, including the Fröhlich model, at zero total momentum, and show that at sufficiently weak coupling there are no excited eigenvalues below the essential spectrum.}, author = {Seiringer, Robert}, issn = {1664-0403}, journal = {Journal of Spectral Theory}, number = {3}, pages = {1045--1055}, publisher = {EMS Press}, title = {{Absence of excited eigenvalues for Fröhlich type polaron models at weak coupling}}, doi = {10.4171/JST/469}, volume = {13}, year = {2023}, } @article{14652, abstract = {In order to demonstrate the stability of newly proposed iridium-based Ir2Cr(In,Sn) and IrRhCr(In,Sn) heusler alloys, we present ab-initio analysis of these alloys by examining various properties to prove their stability. The stability of these alloys can be inferred from different cohesive and formation energies as well as positive phonon frequencies. Their electronic structure results indicate that they are semi-metals in nature. The magnetic moments are computed using the Slater-Pauling formula and exhibit a high value, with the Cr atom contributing the most in all alloys. Mulliken’s charge analysis results show that our alloys contain a range of linkages, mainly ionic and covalent ones. The ductility and mechanical stability of these alloys are confirmed by elastic constants viz. Poisson’s ratio, Pugh’s ratio, and many different types of elastic moduli.}, author = {Gupta, Shyam Lal and Singh, Saurabh and Kumar, Sumit and Anupam, Unknown and Thakur, Samjeet Singh and Kumar, Ashish and Panwar, Sanjay and Diwaker, D.}, issn = {0921-4526}, journal = {Physica B: Condensed Matter}, publisher = {Elsevier}, title = {{Ab-initio stability of Iridium based newly proposed full and quaternary heusler alloys}}, doi = {10.1016/j.physb.2023.415539}, volume = {674}, year = {2023}, } @article{12487, abstract = {Sleep plays a key role in preserving brain function, keeping the brain network in a state that ensures optimal computational capabilities. Empirical evidence indicates that such a state is consistent with criticality, where scale-free neuronal avalanches emerge. However, the relationship between sleep, emergent avalanches, and criticality remains poorly understood. Here we fully characterize the critical behavior of avalanches during sleep, and study their relationship with the sleep macro- and micro-architecture, in particular the cyclic alternating pattern (CAP). We show that avalanche size and duration distributions exhibit robust power laws with exponents approximately equal to −3/2 e −2, respectively. Importantly, we find that sizes scale as a power law of the durations, and that all critical exponents for neuronal avalanches obey robust scaling relations, which are consistent with the mean-field directed percolation universality class. Our analysis demonstrates that avalanche dynamics depends on the position within the NREM-REM cycles, with the avalanche density increasing in the descending phases and decreasing in the ascending phases of sleep cycles. Moreover, we show that, within NREM sleep, avalanche occurrence correlates with CAP activation phases, particularly A1, which are the expression of slow wave sleep propensity and have been proposed to be beneficial for cognitive processes. The results suggest that neuronal avalanches, and thus tuning to criticality, actively contribute to sleep development and play a role in preserving network function. Such findings, alongside characterization of the universality class for avalanches, open new avenues to the investigation of functional role of criticality during sleep with potential clinical application.Significance statementWe fully characterize the critical behavior of neuronal avalanches during sleep, and show that avalanches follow precise scaling laws that are consistent with the mean-field directed percolation universality class. The analysis provides first evidence of a functional relationship between avalanche occurrence, slow-wave sleep dynamics, sleep stage transitions and occurrence of CAP phase A during NREM sleep. Because CAP is considered one of the major guardians of NREM sleep that allows the brain to dynamically react to external perturbation and contributes to the cognitive consolidation processes occurring in sleep, our observations suggest that neuronal avalanches at criticality are associated with flexible response to external inputs and to cognitive processes, a key assumption of the critical brain hypothesis.}, author = {Scarpetta, Silvia and Morrisi, Niccolò and Mutti, Carlotta and Azzi, Nicoletta and Trippi, Irene and Ciliento, Rosario and Apicella, Ilenia and Messuti, Giovanni and Angiolelli, Marianna and Lombardi, Fabrizio and Parrino, Liborio and Vaudano, Anna Elisabetta}, issn = {2589-0042}, journal = {iScience}, number = {10}, pages = {107840}, publisher = {Elsevier}, title = {{Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture}}, doi = {10.1016/j.isci.2023.107840}, volume = {26}, year = {2023}, } @article{12696, abstract = {Background: Fighting disease while fighting rivals exposes males to constraints and tradeoffs during male-male competition. We here tested how both the stage and intensity of infection with the fungal pathogen Metarhizium robertsii interfered with fighting success in Cardiocondyla obscurior ant males. Males of this species have evolved long lifespans during which they can gain many matings with the young queens of the colony, if successful in male-male competition. Since male fights occur inside the colony, the outcome of male-male competition can further be biased by interference of the colony’s worker force. Results: We found that severe, but not yet mild, infection strongly impaired male fighting success. In late-stage infection, this could be attributed to worker aggression directed towards the infected rather than the healthy male and an already very high male morbidity even in the absence of fighting. Shortly after pathogen exposure, however, male mortality was particularly increased during combat. Since these males mounted a strong immune response, their reduced fighting success suggests a trade-off between immune investment and competitive ability already early in the infection. Even if the males themselves showed no difference in the number of attacks they raised against their healthy rivals across infection stages and levels, severely infected males were thus losing in male-male competition from an early stage of infection on. Conclusions: Males of the ant C. obscurior have evolved high immune investment, triggering an effective immune response very fast after fungal exposure. This allows them to cope with mild pathogen exposures without cost to their success in male-male competition, and hence to gain multiple mating opportunities with the emerging virgin queens of the colony. Under severe infection, however, they are weak fighters and rarely survive a combat already at early infection when raising an immune response, as well as at progressed infection, when they are morbid and preferentially targeted by worker aggression. Workers thereby remove males that pose a future disease threat by biasing male-male competition. Our study thus revealed a novel social immunity mechanism how social insect workers protect the colony against disease risk.}, author = {Metzler, Sina and Kirchner, Jessica and Grasse, Anna V and Cremer, Sylvia}, issn = {2730-7182}, journal = {BMC Ecology and Evolution}, publisher = {Springer Nature}, title = {{Trade-offs between immunity and competitive ability in fighting ant males}}, doi = {10.1186/s12862-023-02137-7}, volume = {23}, year = {2023}, } @article{14659, abstract = {Understanding the response of Himalayan glaciers to global warming is vital because of their role as a water source for the Asian subcontinent. However, great uncertainties still exist on the climate drivers of past and present glacier changes across scales. Here, we analyse continuous hourly climate station data from a glacierized elevation (Pyramid station, Mount Everest) since 1994 together with other ground observations and climate reanalysis. We show that a decrease in maximum air temperature and precipitation occurred during the last three decades at Pyramid in response to global warming. Reanalysis data suggest a broader occurrence of this effect in the glacierized areas of the Himalaya. We hypothesize that the counterintuitive cooling is caused by enhanced sensible heat exchange and the associated increase in glacier katabatic wind, which draws cool air downward from higher elevations. The stronger katabatic winds have also lowered the elevation of local wind convergence, thereby diminishing precipitation in glacial areas and negatively affecting glacier mass balance. This local cooling may have partially preserved glaciers from melting and could help protect the periglacial environment.}, author = {Salerno, Franco and Guyennon, Nicolas and Yang, Kun and Shaw, Thomas and Lin, Changgui and Colombo, Nicola and Romano, Emanuele and Gruber, Stephan and Bolch, Tobias and Alessandri, Andrea and Cristofanelli, Paolo and Putero, Davide and Diolaiuti, Guglielmina and Tartari, Gianni and Verza, Gianpietro and Thakuri, Sudeep and Balsamo, Gianpaolo and Miles, Evan S. and Pellicciotti, Francesca}, issn = {1752-0908}, journal = {Nature Geoscience}, pages = {1120--1127}, publisher = {Springer Nature}, title = {{Local cooling and drying induced by Himalayan glaciers under global warming}}, doi = {10.1038/s41561-023-01331-y}, volume = {16}, year = {2023}, } @article{12786, abstract = {AMPA glutamate receptors (AMPARs) mediate excitatory neurotransmission throughout the brain. Their signalling is uniquely diversified by brain region-specific auxiliary subunits, providing an opportunity for the development of selective therapeutics. AMPARs associated with TARP γ8 are enriched in the hippocampus, and are targets of emerging anti-epileptic drugs. To understand their therapeutic activity, we determined cryo-EM structures of the GluA1/2-γ8 receptor associated with three potent, chemically diverse ligands. We find that despite sharing a lipid-exposed and water-accessible binding pocket, drug action is differentially affected by binding-site mutants. Together with patch-clamp recordings and MD simulations we also demonstrate that ligand-triggered reorganisation of the AMPAR-TARP interface contributes to modulation. Unexpectedly, one ligand (JNJ-61432059) acts bifunctionally, negatively affecting GluA1 but exerting positive modulatory action on GluA2-containing AMPARs, in a TARP stoichiometry-dependent manner. These results further illuminate the action of TARPs, demonstrate the sensitive balance between positive and negative modulatory action, and provide a mechanistic platform for development of both positive and negative selective AMPAR modulators.}, author = {Zhang, Danyang and Lape, Remigijus and Shaikh, Saher A. and Kohegyi, Bianka K. and Watson, Jake and Cais, Ondrej and Nakagawa, Terunaga and Greger, Ingo H.}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Modulatory mechanisms of TARP γ8-selective AMPA receptor therapeutics}}, doi = {10.1038/s41467-023-37259-5}, volume = {14}, year = {2023}, } @misc{12693, abstract = {See Readme File for further information.}, author = {Cremer, Sylvia}, publisher = {Institute of Science and Technology Austria}, title = {{Source data for Metzler et al, 2023: Trade-offs between immunity and competitive ability in fighting ant males }}, doi = {10.15479/AT:ISTA:12693}, year = {2023}, } @article{13168, abstract = {Urban-living individuals are exposed to many environmental factors that may combine and interact to influence mental health. While individual factors of an urban environment have been investigated in isolation, no attempt has been made to model how complex, real-life exposure to living in the city relates to brain and mental health, and how this is moderated by genetic factors. Using the data of 156,075 participants from the UK Biobank, we carried out sparse canonical correlation analyses to investigate the relationships between urban environments and psychiatric symptoms. We found an environmental profile of social deprivation, air pollution, street network and urban land-use density that was positively correlated with an affective symptom group (r = 0.22, Pperm < 0.001), mediated by brain volume differences consistent with reward processing, and moderated by genes enriched for stress response, including CRHR1, explaining 2.01% of the variance in brain volume differences. Protective factors such as greenness and generous destination accessibility were negatively correlated with an anxiety symptom group (r = 0.10, Pperm < 0.001), mediated by brain regions necessary for emotion regulation and moderated by EXD3, explaining 1.65% of the variance. The third urban environmental profile was correlated with an emotional instability symptom group (r = 0.03, Pperm < 0.001). Our findings suggest that different environmental profiles of urban living may influence specific psychiatric symptom groups through distinct neurobiological pathways.}, author = {Xu, Jiayuan and Liu, Nana and Polemiti, Elli and Garcia-Mondragon, Liliana and Tang, Jie and Liu, Xiaoxuan and Lett, Tristram and Yu, Le and Nöthen, Markus M. and Feng, Jianfeng and Yu, Chunshui and Marquand, Andre and Schumann, Gunter and Walter, Henrik and Heinz, Andreas and Ralser, Markus and Twardziok, Sven and Vaidya, Nilakshi and Serin, Emin and Jentsch, Marcel and Hitchen, Esther and Eils, Roland and Taron, Ulrike Helene and Schütz, Tatjana and Schepanski, Kerstin and Banks, Jamie and Banaschewski, Tobias and Jansone, Karina and Christmann, Nina and Meyer-Lindenberg, Andreas and Tost, Heike and Holz, Nathalie and Schwarz, Emanuel and Stringaris, Argyris and Neidhart, Maja and Nees, Frauke and Siehl, Sebastian and A. Andreassen, Ole and T. Westlye, Lars and Van Der Meer, Dennis and Fernandez, Sara and Kjelkenes, Rikka and Ask, Helga and Rapp, Michael and Tschorn, Mira and Böttger, Sarah Jane and Novarino, Gaia and Marr, Lena and Slater, Mel and Viapiana, Guillem Feixas and Orosa, Francisco Eiroa and Gallego, Jaime and Pastor, Alvaro and Forstner, Andreas and Hoffmann, Per and M. Nöthen, Markus and J. Forstner, Andreas and Claus, Isabelle and Miller, Abbi and Heilmann-Heimbach, Stefanie and Sommer, Peter and Boye, Mona and Wilbertz, Johannes and Schmitt, Karen and Jirsa, Viktor and Petkoski, Spase and Pitel, Séverine and Otten, Lisa and Athanasiadis, Anastasios Polykarpos and Pearmund, Charlie and Spanlang, Bernhard and Alvarez, Elena and Sanchez, Mavi and Giner, Arantxa and Hese, Sören and Renner, Paul and Jia, Tianye and Gong, Yanting and Xia, Yunman and Chang, Xiao and Calhoun, Vince and Liu, Jingyu and Thompson, Paul and Clinton, Nicholas and Desrivieres, Sylvane and H. Young, Allan and Stahl, Bernd and Ogoh, George}, issn = {1546-170X}, journal = {Nature Medicine}, pages = {1456--1467}, publisher = {Springer Nature}, title = {{Effects of urban living environments on mental health in adults}}, doi = {10.1038/s41591-023-02365-w}, volume = {29}, year = {2023}, } @inproceedings{12976, abstract = {3D printing based on continuous deposition of materials, such as filament-based 3D printing, has seen widespread adoption thanks to its versatility in working with a wide range of materials. An important shortcoming of this type of technology is its limited multi-material capabilities. While there are simple hardware designs that enable multi-material printing in principle, the required software is heavily underdeveloped. A typical hardware design fuses together individual materials fed into a single chamber from multiple inlets before they are deposited. This design, however, introduces a time delay between the intended material mixture and its actual deposition. In this work, inspired by diverse path planning research in robotics, we show that this mechanical challenge can be addressed via improved printer control. We propose to formulate the search for optimal multi-material printing policies in a reinforcement learning setup. We put forward a simple numerical deposition model that takes into account the non-linear material mixing and delayed material deposition. To validate our system we focus on color fabrication, a problem known for its strict requirements for varying material mixtures at a high spatial frequency. We demonstrate that our learned control policy outperforms state-of-the-art hand-crafted algorithms.}, author = {Liao, Kang and Tricard, Thibault and Piovarci, Michael and Seidel, Hans-Peter and Babaei, Vahid}, booktitle = {2023 IEEE International Conference on Robotics and Automation}, issn = {1050-4729}, keywords = {reinforcement learning, deposition, control, color, multi-filament}, location = {London, United Kingdom}, pages = {12345--12352}, publisher = {IEEE}, title = {{Learning deposition policies for fused multi-material 3D printing}}, doi = {10.1109/ICRA48891.2023.10160465}, volume = {2023}, year = {2023}, } @article{13164, abstract = {Molecular compatibility between gametes is a prerequisite for successful fertilization. As long as a sperm and egg can recognize and bind each other via their surface proteins, gamete fusion may occur even between members of separate species, resulting in hybrids that can impact speciation. The egg membrane protein Bouncer confers species specificity to gamete interactions between medaka and zebrafish, preventing their cross-fertilization. Here, we leverage this specificity to uncover distinct amino acid residues and N-glycosylation patterns that differentially influence the function of medaka and zebrafish Bouncer and contribute to cross-species incompatibility. Curiously, in contrast to the specificity observed for medaka and zebrafish Bouncer, seahorse and fugu Bouncer are compatible with both zebrafish and medaka sperm, in line with the pervasive purifying selection that dominates Bouncer’s evolution. The Bouncer-sperm interaction is therefore the product of seemingly opposing evolutionary forces that, for some species, restrict fertilization to closely related fish, and for others, allow broad gamete compatibility that enables hybridization.}, author = {Gert, Krista R.B. and Panser, Karin and Surm, Joachim and Steinmetz, Benjamin S. and Schleiffer, Alexander and Jovine, Luca and Moran, Yehu and Kondrashov, Fyodor and Pauli, Andrea}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries}}, doi = {10.1038/s41467-023-39317-4}, volume = {14}, year = {2023}, } @article{12313, abstract = {Let P be a nontorsion point on an elliptic curve defined over a number field K and consider the sequence {Bn}n∈N of the denominators of x(nP). We prove that every term of the sequence of the Bn has a primitive divisor for n greater than an effectively computable constant that we will explicitly compute. This constant will depend only on the model defining the curve.}, author = {Verzobio, Matteo}, issn = {0030-8730}, journal = {Pacific Journal of Mathematics}, number = {2}, pages = {331--351}, publisher = {Mathematical Sciences Publishers}, title = {{Some effectivity results for primitive divisors of elliptic divisibility sequences}}, doi = {10.2140/pjm.2023.325.331}, volume = {325}, year = {2023}, } @article{13145, abstract = {We prove a characterization of the Dirichlet–Ferguson measure over an arbitrary finite diffuse measure space. We provide an interpretation of this characterization in analogy with the Mecke identity for Poisson point processes.}, author = {Dello Schiavo, Lorenzo and Lytvynov, Eugene}, issn = {1083-589X}, journal = {Electronic Communications in Probability}, pages = {1--12}, publisher = {Institute of Mathematical Statistics}, title = {{A Mecke-type characterization of the Dirichlet–Ferguson measure}}, doi = {10.1214/23-ECP528}, volume = {28}, year = {2023}, } @article{12838, abstract = {We study the problem of high-dimensional multiple packing in Euclidean space. Multiple packing is a natural generalization of sphere packing and is defined as follows. Let N > 0 and L ∈ Z ≽2 . A multiple packing is a set C of points in R n such that any point in R n lies in the intersection of at most L – 1 balls of radius √ nN around points in C . Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. In this paper, we derive the best known lower bounds on the optimal density of list-decodable infinite constellations for constant L under a stronger notion called average-radius multiple packing. To this end, we apply tools from high-dimensional geometry and large deviation theory.}, author = {Zhang, Yihan and Vatedka, Shashank}, issn = {1557-9654}, journal = {IEEE Transactions on Information Theory}, number = {7}, pages = {4513--4527}, publisher = {IEEE}, title = {{Multiple packing: Lower bounds via infinite constellations}}, doi = {10.1109/TIT.2023.3260950}, volume = {69}, year = {2023}, } @inproceedings{13228, abstract = {A machine-learned system that is fair in static decision-making tasks may have biased societal impacts in the long-run. This may happen when the system interacts with humans and feedback patterns emerge, reinforcing old biases in the system and creating new biases. While existing works try to identify and mitigate long-run biases through smart system design, we introduce techniques for monitoring fairness in real time. Our goal is to build and deploy a monitor that will continuously observe a long sequence of events generated by the system in the wild, and will output, with each event, a verdict on how fair the system is at the current point in time. The advantages of monitoring are two-fold. Firstly, fairness is evaluated at run-time, which is important because unfair behaviors may not be eliminated a priori, at design-time, due to partial knowledge about the system and the environment, as well as uncertainties and dynamic changes in the system and the environment, such as the unpredictability of human behavior. Secondly, monitors are by design oblivious to how the monitored system is constructed, which makes them suitable to be used as trusted third-party fairness watchdogs. They function as computationally lightweight statistical estimators, and their correctness proofs rely on the rigorous analysis of the stochastic process that models the assumptions about the underlying dynamics of the system. We show, both in theory and experiments, how monitors can warn us (1) if a bank’s credit policy over time has created an unfair distribution of credit scores among the population, and (2) if a resource allocator’s allocation policy over time has made unfair allocations. Our experiments demonstrate that the monitors introduce very low overhead. We believe that runtime monitoring is an important and mathematically rigorous new addition to the fairness toolbox.}, author = {Henzinger, Thomas A and Karimi, Mahyar and Kueffner, Konstantin and Mallik, Kaushik}, booktitle = {FAccT '23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency}, isbn = {9781450372527}, location = {Chicago, IL, United States}, pages = {604--614}, publisher = {Association for Computing Machinery}, title = {{Runtime monitoring of dynamic fairness properties}}, doi = {10.1145/3593013.3594028}, year = {2023}, } @article{13225, abstract = {Recently the leading order of the correlation energy of a Fermi gas in a coupled mean-field and semiclassical scaling regime has been derived, under the assumption of an interaction potential with a small norm and with compact support in Fourier space. We generalize this result to large interaction potentials, requiring only |⋅|V^∈ℓ1(Z3). Our proof is based on approximate, collective bosonization in three dimensions. Significant improvements compared to recent work include stronger bounds on non-bosonizable terms and more efficient control on the bosonization of the kinetic energy.}, author = {Benedikter, Niels P and Porta, Marcello and Schlein, Benjamin and Seiringer, Robert}, issn = {1432-0673}, journal = {Archive for Rational Mechanics and Analysis}, number = {4}, publisher = {Springer Nature}, title = {{Correlation energy of a weakly interacting Fermi gas with large interaction potential}}, doi = {10.1007/s00205-023-01893-6}, volume = {247}, year = {2023}, } @article{13226, abstract = {We consider the ground state and the low-energy excited states of a system of N identical bosons with interactions in the mean-field scaling regime. For the ground state, we derive a weak Edgeworth expansion for the fluctuations of bounded one-body operators, which yields corrections to a central limit theorem to any order in 1/N−−√. For suitable excited states, we show that the limiting distribution is a polynomial times a normal distribution, and that higher-order corrections are given by an Edgeworth-type expansion.}, author = {Bossmann, Lea and Petrat, Sören P}, issn = {1573-0530}, journal = {Letters in Mathematical Physics}, number = {4}, publisher = {Springer Nature}, title = {{Weak Edgeworth expansion for the mean-field Bose gas}}, doi = {10.1007/s11005-023-01698-4}, volume = {113}, year = {2023}, } @article{13227, abstract = {Currently available quantum processors are dominated by noise, which severely limits their applicability and motivates the search for new physical qubit encodings. In this work, we introduce the inductively shunted transmon, a weakly flux-tunable superconducting qubit that offers charge offset protection for all levels and a 20-fold reduction in flux dispersion compared to the state-of-the-art resulting in a constant coherence over a full flux quantum. The parabolic confinement provided by the inductive shunt as well as the linearity of the geometric superinductor facilitates a high-power readout that resolves quantum jumps with a fidelity and QND-ness of >90% and without the need for a Josephson parametric amplifier. Moreover, the device reveals quantum tunneling physics between the two prepared fluxon ground states with a measured average decay time of up to 3.5 h. In the future, fast time-domain control of the transition matrix elements could offer a new path forward to also achieve full qubit control in the decay-protected fluxon basis.}, author = {Hassani, Farid and Peruzzo, Matilda and Kapoor, Lucky and Trioni, Andrea and Zemlicka, Martin and Fink, Johannes M}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours}}, doi = {10.1038/s41467-023-39656-2}, volume = {14}, year = {2023}, } @inproceedings{13321, abstract = {We consider the problem of reconstructing the signal and the hidden variables from observations coming from a multi-layer network with rotationally invariant weight matrices. The multi-layer structure models inference from deep generative priors, and the rotational invariance imposed on the weights generalizes the i.i.d. Gaussian assumption by allowing for a complex correlation structure, which is typical in applications. In this work, we present a new class of approximate message passing (AMP) algorithms and give a state evolution recursion which precisely characterizes their performance in the large system limit. In contrast with the existing multi-layer VAMP (ML-VAMP) approach, our proposed AMP – dubbed multilayer rotationally invariant generalized AMP (ML-RI-GAMP) – provides a natural generalization beyond Gaussian designs, in the sense that it recovers the existing Gaussian AMP as a special case. Furthermore, ML-RI-GAMP exhibits a significantly lower complexity than ML-VAMP, as the computationally intensive singular value decomposition is replaced by an estimation of the moments of the design matrices. Finally, our numerical results show that this complexity gain comes at little to no cost in the performance of the algorithm.}, author = {Xu, Yizhou and Hou, Tian Qi and Liang, Shan Suo and Mondelli, Marco}, booktitle = {2023 IEEE Information Theory Workshop}, isbn = {9798350301496}, issn = {2475-4218}, location = {Saint-Malo, France}, pages = {294--298}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Approximate message passing for multi-layer estimation in rotationally invariant models}}, doi = {10.1109/ITW55543.2023.10160238}, year = {2023}, } @article{13265, abstract = {In this study, we propose a computational framework for optimizing the continuity of the toolpath in fabricating surface models on an extrusion-based 3D printer. Toolpath continuity is a critical issue that influences both the quality and the efficiency of extrusion-based fabrication. Transfer moves lead to rough and bumpy surfaces, where this phenomenon worsens for materials with large viscosity, like clay. The effects of continuity on the surface models are even more severe in terms of the quality of the surface and the stability of the model. We introduce a criterion called the one–path patch (OPP) to represent a patch on the surface of the shell that can be traversed along one path by considering the constraints on fabrication. We study the properties of the OPPs and their merging operations to propose a bottom-up OPP merging procedure to decompose the given shell surface into a minimal number of OPPs, and to generate the “as-continuous-as-possible” (ACAP) toolpath. Furthermore, we augment the path planning algorithm with a curved-layer printing scheme that reduces staircase defects and improves the continuity of the toolpath by connecting multiple segments. We evaluated the ACAP algorithm on ceramic and thermoplastic materials, and the results showed that it improves the fabrication of surface models in terms of both efficiency and surface quality.}, author = {Zhong, Fanchao and Xu, Yonglai and Zhao, Haisen and Lu, Lin}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, number = {3}, publisher = {Association for Computing Machinery}, title = {{As-Continuous-As-Possible extrusion-based fabrication of surface models}}, doi = {10.1145/3575859}, volume = {42}, year = {2023}, } @article{13318, abstract = {Bohnenblust–Hille inequalities for Boolean cubes have been proven with dimension-free constants that grow subexponentially in the degree (Defant et al. in Math Ann 374(1):653–680, 2019). Such inequalities have found great applications in learning low-degree Boolean functions (Eskenazis and Ivanisvili in Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, pp 203–207, 2022). Motivated by learning quantum observables, a qubit analogue of Bohnenblust–Hille inequality for Boolean cubes was recently conjectured in Rouzé et al. (Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum Boolean functions, 2022. arXiv preprint arXiv:2209.07279). The conjecture was resolved in Huang et al. (Learning to predict arbitrary quantum processes, 2022. arXiv preprint arXiv:2210.14894). In this paper, we give a new proof of these Bohnenblust–Hille inequalities for qubit system with constants that are dimension-free and of exponential growth in the degree. As a consequence, we obtain a junta theorem for low-degree polynomials. Using similar ideas, we also study learning problems of low degree quantum observables and Bohr’s radius phenomenon on quantum Boolean cubes.}, author = {Volberg, Alexander and Zhang, Haonan}, issn = {1432-1807}, journal = {Mathematische Annalen}, publisher = {Springer Nature}, title = {{Noncommutative Bohnenblust–Hille inequalities}}, doi = {10.1007/s00208-023-02680-0}, year = {2023}, } @article{13271, abstract = {In this paper, we prove the convexity of trace functionals (A,B,C)↦Tr|BpACq|s, for parameters (p, q, s) that are best possible, where B and C are any n-by-n positive-definite matrices, and A is any n-by-n matrix. We also obtain the monotonicity versions of trace functionals of this type. As applications, we extend some results in Carlen et al. (Linear Algebra Appl 490:174–185, 2016), Hiai and Petz (Publ Res Inst Math Sci 48(3):525-542, 2012) and resolve a conjecture in Al-Rashed and Zegarliński (Infin Dimens Anal Quantum Probab Relat Top 17(4):1450029, 2014) in the matrix setting. Other conjectures in Al-Rashed and Zegarliński (Infin Dimens Anal Quantum Probab Relat Top 17(4):1450029, 2014) will also be discussed. We also show that some related trace functionals are not concave in general. Such concavity results were expected to hold in different problems.}, author = {Zhang, Haonan}, issn = {1424-0637}, journal = {Annales Henri Poincare}, publisher = {Springer Nature}, title = {{Some convexity and monotonicity results of trace functionals}}, doi = {10.1007/s00023-023-01345-7}, year = {2023}, } @article{13258, abstract = {Many human interactions feature the characteristics of social dilemmas where individual actions have consequences for the group and the environment. The feedback between behavior and environment can be studied with the framework of stochastic games. In stochastic games, the state of the environment can change, depending on the choices made by group members. Past work suggests that such feedback can reinforce cooperative behaviors. In particular, cooperation can evolve in stochastic games even if it is infeasible in each separate repeated game. In stochastic games, participants have an interest in conditioning their strategies on the state of the environment. Yet in many applications, precise information about the state could be scarce. Here, we study how the availability of information (or lack thereof) shapes evolution of cooperation. Already for simple examples of two state games we find surprising effects. In some cases, cooperation is only possible if there is precise information about the state of the environment. In other cases, cooperation is most abundant when there is no information about the state of the environment. We systematically analyze all stochastic games of a given complexity class, to determine when receiving information about the environment is better, neutral, or worse for evolution of cooperation.}, author = {Kleshnina, Maria and Hilbe, Christian and Simsa, Stepan and Chatterjee, Krishnendu and Nowak, Martin A.}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{The effect of environmental information on evolution of cooperation in stochastic games}}, doi = {10.1038/s41467-023-39625-9}, volume = {14}, year = {2023}, } @article{13263, abstract = {Motivation: Boolean networks are simple but efficient mathematical formalism for modelling complex biological systems. However, having only two levels of activation is sometimes not enough to fully capture the dynamics of real-world biological systems. Hence, the need for multi-valued networks (MVNs), a generalization of Boolean networks. Despite the importance of MVNs for modelling biological systems, only limited progress has been made on developing theories, analysis methods, and tools that can support them. In particular, the recent use of trap spaces in Boolean networks made a great impact on the field of systems biology, but there has been no similar concept defined and studied for MVNs to date. Results: In this work, we generalize the concept of trap spaces in Boolean networks to that in MVNs. We then develop the theory and the analysis methods for trap spaces in MVNs. In particular, we implement all proposed methods in a Python package called trapmvn. Not only showing the applicability of our approach via a realistic case study, we also evaluate the time efficiency of the method on a large collection of real-world models. The experimental results confirm the time efficiency, which we believe enables more accurate analysis on larger and more complex multi-valued models.}, author = {Trinh, Van Giang and Benhamou, Belaid and Henzinger, Thomas A and Pastva, Samuel}, issn = {1367-4811}, journal = {Bioinformatics}, number = {Supplement_1}, pages = {i513--i522}, publisher = {Oxford Academic}, title = {{Trap spaces of multi-valued networks: Definition, computation, and applications}}, doi = {10.1093/bioinformatics/btad262}, volume = {39}, year = {2023}, } @article{13316, abstract = {Although budding yeast has been extensively used as a model organism for studying organelle functions and intracellular vesicle trafficking, whether it possesses an independent endocytic early/sorting compartment that sorts endocytic cargos to the endo-lysosomal pathway or the recycling pathway has long been unclear. The structure and properties of the endocytic early/sorting compartment differ significantly between organisms; in plant cells, the trans-Golgi network (TGN) serves this role, whereas in mammalian cells a separate intracellular structure performs this function. The yeast syntaxin homolog Tlg2p, widely localizing to the TGN and endosomal compartments, is presumed to act as a Q-SNARE for endocytic vesicles, but which compartment is the direct target for endocytic vesicles remained unanswered. Here we demonstrate by high-speed and high-resolution 4D imaging of fluorescently labeled endocytic cargos that the Tlg2p-residing compartment within the TGN functions as the early/sorting compartment. After arriving here, endocytic cargos are recycled to the plasma membrane or transported to the yeast Rab5-residing endosomal compartment through the pathway requiring the clathrin adaptors GGAs. Interestingly, Gga2p predominantly localizes at the Tlg2p-residing compartment, and the deletion of GGAs has little effect on another TGN region where Sec7p is present but suppresses dynamics of the Tlg2-residing early/sorting compartment, indicating that the Tlg2p- and Sec7p-residing regions are discrete entities in the mutant. Thus, the Tlg2p-residing region seems to serve as an early/sorting compartment and function independently of the Sec7p-residing region within the TGN.}, author = {Toshima, Junko Y. and Tsukahara, Ayana and Nagano, Makoto and Tojima, Takuro and Siekhaus, Daria E and Nakano, Akihiko and Toshima, Jiro}, issn = {2050-084X}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{The yeast endocytic early/sorting compartment exists as an independent sub-compartment within the trans-Golgi network}}, doi = {10.7554/eLife.84850}, volume = {12}, year = {2023}, } @article{13317, abstract = {We prove the Eigenstate Thermalisation Hypothesis (ETH) for local observables in a typical translation invariant system of quantum spins with L-body interactions, where L is the number of spins. This mathematically verifies the observation first made by Santos and Rigol (Phys Rev E 82(3):031130, 2010, https://doi.org/10.1103/PhysRevE.82.031130) that the ETH may hold for systems with additional translational symmetries for a naturally restricted class of observables. We also present numerical support for the same phenomenon for Hamiltonians with local interaction.}, author = {Sugimoto, Shoki and Henheik, Sven Joscha and Riabov, Volodymyr and Erdös, László}, issn = {1572-9613}, journal = {Journal of Statistical Physics}, number = {7}, publisher = {Springer Nature}, title = {{Eigenstate thermalisation hypothesis for translation invariant spin systems}}, doi = {10.1007/s10955-023-03132-4}, volume = {190}, year = {2023}, } @article{13278, abstract = {We present a numerical analysis of spin-1/2 fermions in a one-dimensional harmonic potential in the presence of a magnetic point-like impurity at the center of the trap. The model represents a few-body analogue of a magnetic impurity in the vicinity of an s-wave superconductor. Already for a few particles we find a ground-state level crossing between sectors with different fermion parities. We interpret this crossing as a few-body precursor of a quantum phase transition, which occurs when the impurity "breaks" a Cooper pair. This picture is further corroborated by analyzing density-density correlations in momentum space. Finally, we discuss how the system may be realized with existing cold-atoms platforms.}, author = {Rammelmüller, Lukas and Huber, David and Čufar, Matija and Brand, Joachim and Hammer, Hans-Werner and Volosniev, Artem}, issn = {2542-4653}, journal = {SciPost Physics}, keywords = {General Physics and Astronomy}, number = {1}, publisher = {SciPost Foundation}, title = {{Magnetic impurity in a one-dimensional few-fermion system}}, doi = {10.21468/scipostphys.14.1.006}, volume = {14}, year = {2023}, } @article{13274, abstract = {Viscous flows through pipes and channels are steady and ordered until, with increasing velocity, the laminar motion catastrophically breaks down and gives way to turbulence. How this apparently discontinuous change from low- to high-dimensional motion can be rationalized within the framework of the Navier-Stokes equations is not well understood. Exploiting geometrical properties of transitional channel flow we trace turbulence to far lower Reynolds numbers (Re) than previously possible and identify the complete path that reversibly links fully turbulent motion to an invariant solution. This precursor of turbulence destabilizes rapidly with Re, and the accompanying explosive increase in attractor dimension effectively marks the transition between deterministic and de facto stochastic dynamics.}, author = {Paranjape, Chaitanya S and Yalniz, Gökhan and Duguet, Yohann and Budanur, Nazmi B and Hof, Björn}, issn = {1079-7114}, journal = {Physical Review Letters}, keywords = {General Physics and Astronomy}, number = {3}, publisher = {American Physical Society}, title = {{Direct path from turbulence to time-periodic solutions}}, doi = {10.1103/physrevlett.131.034002}, volume = {131}, year = {2023}, } @article{13261, abstract = {Chromosomes in the eukaryotic nucleus are highly compacted. However, for many functional processes, including transcription initiation, the pairwise motion of distal chromosomal elements such as enhancers and promoters is essential and necessitates dynamic fluidity. Here, we used a live-imaging assay to simultaneously measure the positions of pairs of enhancers and promoters and their transcriptional output while systematically varying the genomic separation between these two DNA loci. Our analysis reveals the coexistence of a compact globular organization and fast subdiffusive dynamics. These combined features cause an anomalous scaling of polymer relaxation times with genomic separation leading to long-ranged correlations. Thus, encounter times of DNA loci are much less dependent on genomic distance than predicted by existing polymer models, with potential consequences for eukaryotic gene expression.}, author = {Brückner, David and Chen, Hongtao and Barinov, Lev and Zoller, Benjamin and Gregor, Thomas}, issn = {1095-9203}, journal = {Science}, number = {6652}, pages = {1357--1362}, publisher = {American Association for the Advancement of Science}, title = {{Stochastic motion and transcriptional dynamics of pairs of distal DNA loci on a compacted chromosome}}, doi = {10.1126/science.adf5568}, volume = {380}, year = {2023}, } @misc{13336, author = {Kleshnina, Maria}, publisher = {Zenodo}, title = {{kleshnina/stochgames_info: The effect of environmental information on evolution of cooperation in stochastic games}}, doi = {10.5281/ZENODO.8059564}, year = {2023}, } @article{13443, abstract = {The ages of solar-like stars have been at the center of many studies such as exoplanet characterization or Galactic-archeology. While ages are usually computed from stellar evolution models, relations linking ages to other stellar properties, such as rotation and magnetic activity, have been investigated. With the large catalog of 55,232 rotation periods, Prot, and photometric magnetic activity index, Sph from Kepler data, we have the opportunity to look for such magneto-gyro-chronology relations. Stellar ages are obtained with two stellar evolution codes that include treatment of angular momentum evolution, hence using Prot as input in addition to classical atmospheric parameters. We explore two different ways of predicting stellar ages on three subsamples with spectroscopic observations: solar analogs, late-F and G dwarfs, and K dwarfs. We first perform a Bayesian analysis to derive relations between Sph and ages between 1 and 5 Gyr, and other stellar properties. For late-F and G dwarfs, and K dwarfs, the multivariate regression favors the model with Prot and Sph with median differences of 0.1% and 0.2%, respectively. We also apply Machine Learning techniques with a Random Forest algorithm to predict ages up to 14 Gyr with the same set of input parameters. For late-F, G and K dwarfs together, predicted ages are on average within 5.3% of the model ages and improve to 3.1% when including Prot. These are very promising results for a quick age estimation for solar-like stars with photometric observations, especially with current and future space missions.}, author = {Mathur, Savita and Claytor, Zachary R. and Santos, Ângela R. G. and García, Rafael A. and Amard, Louis and Bugnet, Lisa Annabelle and Corsaro, Enrico and Bonanno, Alfio and Breton, Sylvain N. and Godoy-Rivera, Diego and Pinsonneault, Marc H. and van Saders, Jennifer}, issn = {1538-4357}, journal = {The Astrophysical Journal}, keywords = {Space and Planetary Science, Astronomy and Astrophysics}, number = {2}, publisher = {American Astronomical Society}, title = {{Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations}}, doi = {10.3847/1538-4357/acd118}, volume = {952}, year = {2023}, } @article{13259, abstract = {Plants can regenerate their bodies via de novo establishment of shoot apical meristems (SAMs) from pluripotent callus. Only a small fraction of callus cells is eventually specified into SAMs but the molecular mechanisms underlying fate specification remain obscure. The expression of WUSCHEL (WUS) is an early hallmark of SAM fate acquisition. Here, we show that a WUS paralog, WUSCHEL-RELATED HOMEOBOX 13 (WOX13), negatively regulates SAM formation from callus in Arabidopsis thaliana. WOX13 promotes non-meristematic cell fate via transcriptional repression of WUS and other SAM regulators and activation of cell wall modifiers. Our Quartz-Seq2–based single cell transcriptome revealed that WOX13 plays key roles in determining cellular identity of callus cell population. We propose that reciprocal inhibition between WUS and WOX13 mediates critical cell fate determination in pluripotent cell population, which has a major impact on regeneration efficiency.}, author = {Ogura, Nao and Sasagawa, Yohei and Ito, Tasuku and Tameshige, Toshiaki and Kawai, Satomi and Sano, Masaki and Doll, Yuki and Iwase, Akira and Kawamura, Ayako and Suzuki, Takamasa and Nikaido, Itoshi and Sugimoto, Keiko and Ikeuchi, Momoko}, issn = {2375-2548}, journal = {Science Advances}, number = {27}, pages = {eadg6983}, publisher = {American Association for the Advancement of Science}, title = {{WUSCHEL-RELATED HOMEOBOX 13 suppresses de novo shoot regeneration via cell fate control of pluripotent callus}}, doi = {10.1126/sciadv.adg6983}, volume = {9}, year = {2023}, } @article{13976, abstract = {Conflicts and natural disasters affect entire populations of the countries involved and, in addition to the thousands of lives destroyed, have a substantial negative impact on the scientific advances these countries provide. The unprovoked invasion of Ukraine by Russia, the devastating earthquake in Turkey and Syria, and the ongoing conflicts in the Middle East are just a few examples. Millions of people have been killed or displaced, their futures uncertain. These events have resulted in extensive infrastructure collapse, with loss of electricity, transportation, and access to services. Schools, universities, and research centers have been destroyed along with decades’ worth of data, samples, and findings. Scholars in disaster areas face short- and long-term problems in terms of what they can accomplish now for obtaining grants and for employment in the long run. In our interconnected world, conflicts and disasters are no longer a local problem but have wide-ranging impacts on the entire world, both now and in the future. Here, we focus on the current and ongoing impact of war on the scientific community within Ukraine and from this draw lessons that can be applied to all affected countries where scientists at risk are facing hardship. We present and classify examples of effective and feasible mechanisms used to support researchers in countries facing hardship and discuss how these can be implemented with help from the international scientific community and what more is desperately needed. Reaching out, providing accessible training opportunities, and developing collaborations should increase inclusion and connectivity, support scientific advancements within affected communities, and expedite postwar and disaster recovery.}, author = {Wolfsberger, Walter and Chhugani, Karishma and Shchubelka, Khrystyna and Frolova, Alina and Salyha, Yuriy and Zlenko, Oksana and Arych, Mykhailo and Dziuba, Dmytro and Parkhomenko, Andrii and Smolanka, Volodymyr and Gümüş, Zeynep H. and Sezgin, Efe and Diaz-Lameiro, Alondra and Toth, Viktor R. and Maci, Megi and Bortz, Eric and Kondrashov, Fyodor and Morton, Patricia M. and Łabaj, Paweł P. and Romero, Veronika and Hlávka, Jakub and Mangul, Serghei and Oleksyk, Taras K.}, issn = {2047-217X}, journal = {GigaScience}, publisher = {Oxford Academic}, title = {{Scientists without borders: Lessons from Ukraine}}, doi = {10.1093/gigascience/giad045}, volume = {12}, year = {2023}, } @article{13973, abstract = {We construct families of log K3 surfaces and study the arithmetic of their members. We use this to produce explicit surfaces with an order 5 Brauer–Manin obstruction to the integral Hasse principle.}, author = {Lyczak, Julian}, issn = {0373-0956}, journal = {Annales de l'Institut Fourier}, number = {2}, pages = {447--478}, publisher = {Association des Annales de l'Institut Fourier}, title = {{Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces}}, doi = {10.5802/aif.3529}, volume = {73}, year = {2023}, } @article{13974, abstract = {The Tverberg theorem is one of the cornerstones of discrete geometry. It states that, given a set X of at least (d+1)(r−1)+1 points in Rd, one can find a partition X=X1∪⋯∪Xr of X, such that the convex hulls of the Xi, i=1,…,r, all share a common point. In this paper, we prove a trengthening of this theorem that guarantees a partition which, in addition to the above, has the property that the boundaries of full-dimensional convex hulls have pairwise nonempty intersections. Possible generalizations and algorithmic aspects are also discussed. As a concrete application, we show that any n points in the plane in general position span ⌊n/3⌋ vertex-disjoint triangles that are pairwise crossing, meaning that their boundaries have pairwise nonempty intersections; this number is clearly best possible. A previous result of Álvarez-Rebollar et al. guarantees ⌊n/6⌋pairwise crossing triangles. Our result generalizes to a result about simplices in Rd, d≥2.}, author = {Fulek, Radoslav and Gärtner, Bernd and Kupavskii, Andrey and Valtr, Pavel and Wagner, Uli}, issn = {1432-0444}, journal = {Discrete and Computational Geometry}, publisher = {Springer Nature}, title = {{The crossing Tverberg theorem}}, doi = {10.1007/s00454-023-00532-x}, year = {2023}, } @article{13975, abstract = {We consider the spectrum of random Laplacian matrices of the form Ln=An−Dn where An is a real symmetric random matrix and Dn is a diagonal matrix whose entries are equal to the corresponding row sums of An. If An is a Wigner matrix with entries in the domain of attraction of a Gaussian distribution, the empirical spectral measure of Ln is known to converge to the free convolution of a semicircle distribution and a standard real Gaussian distribution. We consider real symmetric random matrices An with independent entries (up to symmetry) whose row sums converge to a purely non-Gaussian infinitely divisible distribution, which fall into the class of Lévy–Khintchine random matrices first introduced by Jung [Trans Am Math Soc, 370, (2018)]. Our main result shows that the empirical spectral measure of Ln converges almost surely to a deterministic limit. A key step in the proof is to use the purely non-Gaussian nature of the row sums to build a random operator to which Ln converges in an appropriate sense. This operator leads to a recursive distributional equation uniquely describing the Stieltjes transform of the limiting empirical spectral measure.}, author = {Campbell, Andrew J and O’Rourke, Sean}, issn = {1572-9230}, journal = {Journal of Theoretical Probability}, publisher = {Springer Nature}, title = {{Spectrum of Lévy–Khintchine random laplacian matrices}}, doi = {10.1007/s10959-023-01275-4}, year = {2023}, } @article{13257, abstract = {The magnetotropic susceptibility is the thermodynamic coefficient associated with the rotational anisotropy of the free energy in an external magnetic field and is closely related to the magnetic susceptibility. It emerges naturally in frequency-shift measurements of oscillating mechanical cantilevers, which are becoming an increasingly important tool in the quantitative study of the thermodynamics of modern condensed-matter systems. Here we discuss the basic properties of the magnetotropic susceptibility as they relate to the experimental aspects of frequency-shift measurements, as well as to the interpretation of those experiments in terms of the intrinsic properties of the system under study.}, author = {Shekhter, A. and Mcdonald, R. D. and Ramshaw, B. J. and Modic, Kimberly A}, issn = {2469-9969}, journal = {Physical Review B}, number = {3}, publisher = {American Physical Society}, title = {{Magnetotropic susceptibility}}, doi = {10.1103/PhysRevB.108.035111}, volume = {108}, year = {2023}, } @article{13972, abstract = {This Special Collection is dedicated to the field of photocatalytic synthesis and contains a diverse selection of original research contributions. It includes studies on catalyst development, mechanistic investigations, method development and the use of enabling technologies, illustrating the many facets of state-of-the-art research in photocatalytic synthesis. Further, emerging topics are surveyed and discussed in three reviews and a concept article.}, author = {Næsborg, Line and Pieber, Bartholomäus and Wenger, Oliver S.}, issn = {1867-3899}, journal = {ChemCatChem}, publisher = {Wiley}, title = {{Special Collection: Photocatalytic synthesis}}, doi = {10.1002/cctc.202300683}, year = {2023}, } @article{13968, abstract = {The use of multimodal readout mechanisms next to label-free real-time monitoring of biomolecular interactions can provide valuable insight into surface-based reaction mechanisms. To this end, the combination of an electrolyte-gated field-effect transistor (EG-FET) with a fiber optic-coupled surface plasmon resonance (FO-SPR) probe serving as gate electrode has been investigated to deconvolute surface mass and charge density variations associated to surface reactions. However, applying an electrochemical potential on such gold-coated FO-SPR gate electrodes can induce gradual morphological changes of the thin gold film, leading to an irreversible blue-shift of the SPR wavelength and a substantial signal drift. We show that mild annealing leads to optical and electronic signal stabilization (20-fold lower signal drift than as-sputtered fiber optic gates) and improved overall analytical performance characteristics. The thermal treatment prevents morphological changes of the thin gold-film occurring during operation, hence providing reliable and stable data immediately upon gate voltage application. Thus, the readout output of both transducing principles, the optical FO-SPR and electronic EG-FET, stays constant throughout the whole sensing time-window and the long-term effect of thermal treatment is also improved, providing stable signals even after 1 year of storage. Annealing should therefore be considered a necessary modification for applying fiber optic gate electrodes in real-time multimodal investigations of surface reactions at the solid-liquid interface.}, author = {Hasler, Roger and Steger-Polt, Marie Helene and Reiner-Rozman, Ciril and Fossati, Stefan and Lee, Seungho and Aspermair, Patrik and Kleber, Christoph and Ibáñez, Maria and Dostalek, Jakub and Knoll, Wolfgang}, issn = {2296-424X}, journal = {Frontiers in Physics}, publisher = {Frontiers}, title = {{Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing}}, doi = {10.3389/fphy.2023.1202132}, volume = {11}, year = {2023}, } @article{14042, abstract = {Long-time and large-data existence of weak solutions for initial- and boundary-value problems concerning three-dimensional flows of incompressible fluids is nowadays available not only for Navier–Stokes fluids but also for various fluid models where the relation between the Cauchy stress tensor and the symmetric part of the velocity gradient is nonlinear. The majority of such studies however concerns models where such a dependence is explicit (the stress is a function of the velocity gradient), which makes the class of studied models unduly restrictive. The same concerns boundary conditions, or more precisely the slipping mechanisms on the boundary, where the no-slip is still the most preferred condition considered in the literature. Our main objective is to develop a robust mathematical theory for unsteady internal flows of implicitly constituted incompressible fluids with implicit relations between the tangential projections of the velocity and the normal traction on the boundary. The theory covers numerous rheological models used in chemistry, biorheology, polymer and food industry as well as in geomechanics. It also includes, as special cases, nonlinear slip as well as stick–slip boundary conditions. Unlike earlier studies, the conditions characterizing admissible classes of constitutive equations are expressed by means of tools of elementary calculus. In addition, a fully constructive proof (approximation scheme) is incorporated. Finally, we focus on the question of uniqueness of such weak solutions.}, author = {Bulíček, Miroslav and Málek, Josef and Maringová, Erika}, issn = {1422-6952}, journal = {Journal of Mathematical Fluid Mechanics}, number = {3}, publisher = {Springer Nature}, title = {{On unsteady internal flows of incompressible fluids characterized by implicit constitutive equations in the bulk and on the boundary}}, doi = {10.1007/s00021-023-00803-w}, volume = {25}, year = {2023}, } @article{14041, abstract = {Tissue morphogenesis and patterning during development involve the segregation of cell types. Segregation is driven by differential tissue surface tensions generated by cell types through controlling cell-cell contact formation by regulating adhesion and actomyosin contractility-based cellular cortical tensions. We use vertebrate tissue cell types and zebrafish germ layer progenitors as in vitro models of 3-dimensional heterotypic segregation and developed a quantitative analysis of their dynamics based on 3D time-lapse microscopy. We show that general inhibition of actomyosin contractility by the Rho kinase inhibitor Y27632 delays segregation. Cell type-specific inhibition of non-muscle myosin2 activity by overexpression of myosin assembly inhibitor S100A4 reduces tissue surface tension, manifested in decreased compaction during aggregation and inverted geometry observed during segregation. The same is observed when we express a constitutively active Rho kinase isoform to ubiquitously keep actomyosin contractility high at cell-cell and cell-medium interfaces and thus overriding the interface-specific regulation of cortical tensions. Tissue surface tension regulation can become an effective tool in tissue engineering.}, author = {Méhes, Elod and Mones, Enys and Varga, Máté and Zsigmond, Áron and Biri-Kovács, Beáta and Nyitray, László and Barone, Vanessa and Krens, Gabriel and Heisenberg, Carl-Philipp J and Vicsek, Tamás}, issn = {2399-3642}, journal = {Communications Biology}, publisher = {Springer Nature}, title = {{3D cell segregation geometry and dynamics are governed by tissue surface tension regulation}}, doi = {10.1038/s42003-023-05181-7}, volume = {6}, year = {2023}, } @article{14039, abstract = {Membranes are essential for life. They act as semi-permeable boundaries that define cells and organelles. In addition, their surfaces actively participate in biochemical reaction networks, where they confine proteins, align reaction partners, and directly control enzymatic activities. Membrane-localized reactions shape cellular membranes, define the identity of organelles, compartmentalize biochemical processes, and can even be the source of signaling gradients that originate at the plasma membrane and reach into the cytoplasm and nucleus. The membrane surface is, therefore, an essential platform upon which myriad cellular processes are scaffolded. In this review, we summarize our current understanding of the biophysics and biochemistry of membrane-localized reactions with particular focus on insights derived from reconstituted and cellular systems. We discuss how the interplay of cellular factors results in their self-organization, condensation, assembly, and activity, and the emergent properties derived from them.}, author = {Leonard, Thomas A. and Loose, Martin and Martens, Sascha}, issn = {1878-1551}, journal = {Developmental Cell}, number = {15}, pages = {1315--1332}, publisher = {Elsevier}, title = {{The membrane surface as a platform that organizes cellular and biochemical processes}}, doi = {10.1016/j.devcel.2023.06.001}, volume = {58}, year = {2023}, } @article{14040, abstract = {Robust oxygenic photosynthesis requires a suite of accessory factors to ensure efficient assembly and repair of the oxygen-evolving photosystem two (PSII) complex. The highly conserved Ycf48 assembly factor binds to the newly synthesized D1 reaction center polypeptide and promotes the initial steps of PSII assembly, but its binding site is unclear. Here we use cryo-electron microscopy to determine the structure of a cyanobacterial PSII D1/D2 reaction center assembly complex with Ycf48 attached. Ycf48, a 7-bladed beta propeller, binds to the amino-acid residues of D1 that ultimately ligate the water-oxidising Mn4CaO5 cluster, thereby preventing the premature binding of Mn2+ and Ca2+ ions and protecting the site from damage. Interactions with D2 help explain how Ycf48 promotes assembly of the D1/D2 complex. Overall, our work provides valuable insights into the early stages of PSII assembly and the structural changes that create the binding site for the Mn4CaO5 cluster.}, author = {Zhao, Ziyu and Vercellino, Irene and Knoppová, Jana and Sobotka, Roman and Murray, James W. and Nixon, Peter J. and Sazanov, Leonid A and Komenda, Josef}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{The Ycf48 accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis}}, doi = {10.1038/s41467-023-40388-6}, volume = {14}, year = {2023}, } @inproceedings{13967, abstract = {A classic solution technique for Markov decision processes (MDP) and stochastic games (SG) is value iteration (VI). Due to its good practical performance, this approximative approach is typically preferred over exact techniques, even though no practical bounds on the imprecision of the result could be given until recently. As a consequence, even the most used model checkers could return arbitrarily wrong results. Over the past decade, different works derived stopping criteria, indicating when the precision reaches the desired level, for various settings, in particular MDP with reachability, total reward, and mean payoff, and SG with reachability.In this paper, we provide the first stopping criteria for VI on SG with total reward and mean payoff, yielding the first anytime algorithms in these settings. To this end, we provide the solution in two flavours: First through a reduction to the MDP case and second directly on SG. The former is simpler and automatically utilizes any advances on MDP. The latter allows for more local computations, heading towards better practical efficiency.Our solution unifies the previously mentioned approaches for MDP and SG and their underlying ideas. To achieve this, we isolate objective-specific subroutines as well as identify objective-independent concepts. These structural concepts, while surprisingly simple, form the very essence of the unified solution.}, author = {Kretinsky, Jan and Meggendorfer, Tobias and Weininger, Maximilian}, booktitle = {38th Annual ACM/IEEE Symposium on Logic in Computer Science}, isbn = {9798350335873}, issn = {1043-6871}, location = {Boston, MA, United States}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Stopping criteria for value iteration on stochastic games with quantitative objectives}}, doi = {10.1109/LICS56636.2023.10175771}, volume = {2023}, year = {2023}, } @article{13965, abstract = {Many modes and mechanisms of epigenetic inheritance have been elucidated in eukaryotes. Most of them are relatively short-term, generally not exceeding one or a few organismal generations. However, emerging evidence indicates that one mechanism, cytosine DNA methylation, can mediate epigenetic inheritance over much longer timescales, which are mostly or completely inaccessible in the laboratory. Here we discuss the evidence for, and mechanisms and implications of, such long-term epigenetic inheritance. We argue that compelling evidence supports the long-term epigenetic inheritance of gene body methylation, at least in the model angiosperm Arabidopsis thaliana, and that variation in such methylation can therefore serve as an epigenetic basis for phenotypic variation in natural populations.}, author = {Hollwey, Elizabeth and Briffa, Amy and Howard, Martin and Zilberman, Daniel}, issn = {1879-0380}, journal = {Current Opinion in Genetics and Development}, number = {8}, publisher = {Elsevier}, title = {{Concepts, mechanisms and implications of long-term epigenetic inheritance}}, doi = {10.1016/j.gde.2023.102087}, volume = {81}, year = {2023}, } @phdthesis{14058, abstract = {Females and males across species are subject to divergent selective pressures arising from di↵erent reproductive interests and ecological niches. This often translates into a intricate array of sex-specific natural and sexual selection on traits that have a shared genetic basis between both sexes, causing a genetic sexual conflict. The resolution of this conflict mostly relies on the evolution of sex-specific expression of the shared genes, leading to phenotypic sexual dimorphism. Such sex-specific gene expression is thought to evolve via modifications of the genetic networks ultimately linked to sex-determining transcription factors. Although much empirical and theoretical evidence supports this standard picture of the molecular basis of sexual conflict resolution, there still are a few open questions regarding the complex array of selective forces driving phenotypic di↵erentiation between the sexes, as well as the molecular mechanisms underlying sexspecific adaptation. I address some of these open questions in my PhD thesis. First, how do patterns of phenotypic sexual dimorphism vary within populations, as a response to the temporal and spatial changes in sex-specific selective forces? To tackle this question, I analyze the patterns of sex-specific phenotypic variation along three life stages and across populations spanning the whole geographical range of Rumex hastatulus, a wind-pollinated angiosperm, in the first Chapter of the thesis. Second, how do gene expression patterns lead to phenotypic dimorphism, and what are the molecular mechanisms underlying the observed transcriptomic variation? I address this question by examining the sex- and tissue-specific expression variation in newly-generated datasets of sex-specific expression in heads and gonads of Drosophila melanogaster. I additionally used two complementary approaches for the study of the genetic basis of sex di↵erences in gene expression in the second and third Chapters of the thesis. Third, how does intersex correlation, thought to be one of the main aspects constraining the ability for the two sexes to decouple, interact with the evolution of sexual dimorphism? I develop models of sex-specific stabilizing selection, mutation and drift to formalize common intuition regarding the patterns of covariation between intersex correlation and sexual dimorphism in the fourth Chapter of the thesis. Alltogether, the work described in this PhD thesis provides useful insights into the links between genetic, transcriptomic and phenotypic layers of sex-specific variation, and contributes to our general understanding of the dynamics of sexual dimorphism evolution.}, author = {Puixeu Sala, Gemma}, isbn = {978-3-99078-035-0}, issn = {2663-337X}, pages = {230}, publisher = {Institute of Science and Technology Austria}, title = {{The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation}}, doi = {10.15479/at:ista:14058}, year = {2023}, } @article{14077, abstract = {The regulatory architecture of gene expression is known to differ substantially between sexes in Drosophila, but most studies performed so far used whole-body data and only single crosses, which may have limited their scope to detect patterns that are robust across tissues and biological replicates. Here, we use allele-specific gene expression of parental and reciprocal hybrid crosses between 6 Drosophila melanogaster inbred lines to quantify cis- and trans-regulatory variation in heads and gonads of both sexes separately across 3 replicate crosses. Our results suggest that female and male heads, as well as ovaries, have a similar regulatory architecture. On the other hand, testes display more and substantially different cis-regulatory effects, suggesting that sex differences in the regulatory architecture that have been previously observed may largely derive from testis-specific effects. We also examine the difference in cis-regulatory variation of genes across different levels of sex bias in gonads and heads. Consistent with the idea that intersex correlations constrain expression and can lead to sexual antagonism, we find more cis variation in unbiased and moderately biased genes in heads. In ovaries, reduced cis variation is observed for male-biased genes, suggesting that cis variants acting on these genes in males do not lead to changes in ovary expression. Finally, we examine the dominance patterns of gene expression and find that sex- and tissue-specific patterns of inheritance as well as trans-regulatory variation are highly variable across biological crosses, although these were performed in highly controlled experimental conditions. This highlights the importance of using various genetic backgrounds to infer generalizable patterns.}, author = {Puixeu Sala, Gemma and Macon, Ariana and Vicoso, Beatriz}, issn = {2160-1836}, journal = {G3: Genes, Genomes, Genetics}, keywords = {Genetics (clinical), Genetics, Molecular Biology}, number = {8}, publisher = {Oxford University Press}, title = {{Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster}}, doi = {10.1093/g3journal/jkad121}, volume = {13}, year = {2023}, } @article{14082, abstract = {Epithelial barrier function is commonly analyzed using transepithelial electrical resistance, which measures ion flux across a monolayer, or by adding traceable macromolecules and monitoring their passage across the monolayer. Although these methods measure changes in global barrier function, they lack the sensitivity needed to detect local or transient barrier breaches, and they do not reveal the location of barrier leaks. Therefore, we previously developed a method that we named the zinc-based ultrasensitive microscopic barrier assay (ZnUMBA), which overcomes these limitations, allowing for detection of local tight junction leaks with high spatiotemporal resolution. Here, we present expanded applications for ZnUMBA. ZnUMBA can be used in Xenopus embryos to measure the dynamics of barrier restoration and actin accumulation following laser injury. ZnUMBA can also be effectively utilized in developing zebrafish embryos as well as cultured monolayers of Madin–Darby canine kidney (MDCK) II epithelial cells. ZnUMBA is a powerful and flexible method that, with minimal optimization, can be applied to multiple systems to measure dynamic changes in barrier function with spatiotemporal precision.}, author = {Higashi, Tomohito and Stephenson, Rachel E. and Schwayer, Cornelia and Huljev, Karla and Higashi, Atsuko Y. and Heisenberg, Carl-Philipp J and Chiba, Hideki and Miller, Ann L.}, issn = {1477-9137}, journal = {Journal of Cell Science}, number = {15}, publisher = {The Company of Biologists}, title = {{ZnUMBA - a live imaging method to detect local barrier breaches}}, doi = {10.1242/jcs.260668}, volume = {136}, year = {2023}, } @article{13988, abstract = {Most permissionless blockchains inherently suffer from throughput limitations. Layer-2 systems, such as side-chains or Rollups, have been proposed as a possible strategy to overcome this limitation. Layer-2 systems interact with the main-chain in two ways. First, users can move funds from/to the main-chain to/from the layer-2. Second, layer-2 systems periodically synchronize with the main-chain to keep some form of log of their activity on the main-chain - this log is key for security. Due to this interaction with the main-chain, which is necessary and recurrent, layer-2 systems impose some load on the main-chain. The impact of such load on the main-chain has been, so far, poorly understood. In addition to that, layer-2 approaches typically sacrifice decentralization and security in favor of higher throughput. This paper presents an experimental study that analyzes the current state of Ethereum layer-2 projects. Our goal is to assess the load they impose on Ethereum and to understand their scalability potential in the long-run. Our analysis shows that the impact of any given layer-2 on the main-chain is the result of both technical aspects (how state is logged on the main-chain) and user behavior (how often users decide to transfer funds between the layer-2 and the main-chain). Based on our observations, we infer that without efficient mechanisms that allow users to transfer funds in a secure and fast manner directly from one layer-2 project to another, current layer-2 systems will not be able to scale Ethereum effectively, regardless of their technical solutions. Furthermore, from our results, we conclude that the layer-2 systems that offer similar security guarantees as Ethereum have limited scalability potential, while approaches that offer better performance, sacrifice security and lead to an increase in centralization which runs against the end-goals of permissionless blockchains.}, author = {Neiheiser, Ray and Inacio, Gustavo and Rech, Luciana and Montez, Carlos and Matos, Miguel and Rodrigues, Luis}, issn = {2169-3536}, journal = {IEEE Access}, keywords = {General Engineering, General Materials Science, General Computer Science, Electrical and Electronic Engineering}, pages = {8651--8662}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Practical limitations of Ethereum’s layer-2}}, doi = {10.1109/access.2023.3237897}, volume = {11}, year = {2023}, } @misc{12933, abstract = {Datasets of the publication "Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster".}, author = {Puixeu Sala, Gemma}, publisher = {Institute of Science and Technology Austria}, title = {{Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster}}, doi = {10.15479/AT:ISTA:12933}, year = {2023}, } @article{14245, abstract = {We establish effective counting results for lattice points in families of domains in real, complex and quaternionic hyperbolic spaces of any dimension. The domains we focus on are defined as product sets with respect to an Iwasawa decomposition. Several natural diophantine problems can be reduced to counting lattice points in such domains. These include equidistribution of the ratio of the length of the shortest solution (x,y) to the gcd equation bx−ay=1 relative to the length of (a,b), where (a,b) ranges over primitive vectors in a disc whose radius increases, the natural analog of this problem in imaginary quadratic number fields, as well as equidistribution of integral solutions to the diophantine equation defined by an integral Lorentz form in three or more variables. We establish an effective rate of convergence for these equidistribution problems, depending on the size of the spectral gap associated with a suitable lattice subgroup in the isometry group of the relevant hyperbolic space. The main result underlying our discussion amounts to establishing effective joint equidistribution for the horospherical component and the radial component in the Iwasawa decomposition of lattice elements.}, author = {Horesh, Tal and Nevo, Amos}, issn = {1945-5844}, journal = {Pacific Journal of Mathematics}, number = {2}, pages = {265--294}, publisher = {Mathematical Sciences Publishers}, title = {{Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution}}, doi = {10.2140/pjm.2023.324.265}, volume = {324}, year = {2023}, }