@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}, }