@unpublished{10762, abstract = {Methods inspired from machine learning have recently attracted great interest in the computational study of quantum many-particle systems. So far, however, it has proven challenging to deal with microscopic models in which the total number of particles is not conserved. To address this issue, we propose a new variant of neural network states, which we term neural coherent states. Taking the Fröhlich impurity model as a case study, we show that neural coherent states can learn the ground state of non-additive systems very well. In particular, we observe substantial improvement over the standard coherent state estimates in the most challenging intermediate coupling regime. Our approach is generic and does not assume specific details of the system, suggesting wide applications.}, author = {Rzadkowski, Wojciech and Lemeshko, Mikhail and Mentink, Johan H.}, booktitle = {arXiv}, pages = {2105.15193}, title = {{Artificial neural network states for non-additive systems}}, doi = {10.48550/arXiv.2105.15193}, year = {2021}, } @inproceedings{10665, abstract = {Formal verification of neural networks is an active topic of research, and recent advances have significantly increased the size of the networks that verification tools can handle. However, most methods are designed for verification of an idealized model of the actual network which works over real arithmetic and ignores rounding imprecisions. This idealization is in stark contrast to network quantization, which is a technique that trades numerical precision for computational efficiency and is, therefore, often applied in practice. Neglecting rounding errors of such low-bit quantized neural networks has been shown to lead to wrong conclusions about the network’s correctness. Thus, the desired approach for verifying quantized neural networks would be one that takes these rounding errors into account. In this paper, we show that verifying the bitexact implementation of quantized neural networks with bitvector specifications is PSPACE-hard, even though verifying idealized real-valued networks and satisfiability of bit-vector specifications alone are each in NP. Furthermore, we explore several practical heuristics toward closing the complexity gap between idealized and bit-exact verification. In particular, we propose three techniques for making SMT-based verification of quantized neural networks more scalable. Our experiments demonstrate that our proposed methods allow a speedup of up to three orders of magnitude over existing approaches.}, author = {Henzinger, Thomas A and Lechner, Mathias and Zikelic, Dorde}, booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence}, isbn = {978-1-57735-866-4}, issn = {2374-3468}, location = {Virtual}, number = {5A}, pages = {3787--3795}, publisher = {AAAI Press}, title = {{Scalable verification of quantized neural networks}}, volume = {35}, year = {2021}, } @inproceedings{10667, abstract = {Bayesian neural networks (BNNs) place distributions over the weights of a neural network to model uncertainty in the data and the network's prediction. We consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with infinite time horizon systems. Compared to the existing sampling-based approaches, which are inapplicable to the infinite time horizon setting, we train a separate deterministic neural network that serves as an infinite time horizon safety certificate. In particular, we show that the certificate network guarantees the safety of the system over a subset of the BNN weight posterior's support. Our method first computes a safe weight set and then alters the BNN's weight posterior to reject samples outside this set. Moreover, we show how to extend our approach to a safe-exploration reinforcement learning setting, in order to avoid unsafe trajectories during the training of the policy. We evaluate our approach on a series of reinforcement learning benchmarks, including non-Lyapunovian safety specifications.}, author = {Lechner, Mathias and Žikelić, Ðorđe and Chatterjee, Krishnendu and Henzinger, Thomas A}, booktitle = {35th Conference on Neural Information Processing Systems}, location = {Virtual}, title = {{Infinite time horizon safety of Bayesian neural networks}}, doi = {10.48550/arXiv.2111.03165}, year = {2021}, } @inproceedings{10666, abstract = {Adversarial training is an effective method to train deep learning models that are resilient to norm-bounded perturbations, with the cost of nominal performance drop. While adversarial training appears to enhance the robustness and safety of a deep model deployed in open-world decision-critical applications, counterintuitively, it induces undesired behaviors in robot learning settings. In this paper, we show theoretically and experimentally that neural controllers obtained via adversarial training are subjected to three types of defects, namely transient, systematic, and conditional errors. We first generalize adversarial training to a safety-domain optimization scheme allowing for more generic specifications. We then prove that such a learning process tends to cause certain error profiles. We support our theoretical results by a thorough experimental safety analysis in a robot-learning task. Our results suggest that adversarial training is not yet ready for robot learning.}, author = {Lechner, Mathias and Hasani, Ramin and Grosu, Radu and Rus, Daniela and Henzinger, Thomas A}, booktitle = {2021 IEEE International Conference on Robotics and Automation}, isbn = {978-1-7281-9078-5}, issn = {2577-087X}, location = {Xi'an, China}, pages = {4140--4147}, title = {{Adversarial training is not ready for robot learning}}, doi = {10.1109/ICRA48506.2021.9561036}, year = {2021}, } @article{9817, abstract = {Elastic bending of initially flat slender elements allows the realization and economic fabrication of intriguing curved shapes. In this work, we derive an intuitive but rigorous geometric characterization of the design space of plane elastic rods with variable stiffness. It enables designers to determine which shapes are physically viable with active bending by visual inspection alone. Building on these insights, we propose a method for efficiently designing the geometry of a flat elastic rod that realizes a target equilibrium curve, which only requires solving a linear program. We implement this method in an interactive computational design tool that gives feedback about the feasibility of a design, and computes the geometry of the structural elements necessary to realize it within an instant. The tool also offers an iterative optimization routine that improves the fabricability of a model while modifying it as little as possible. In addition, we use our geometric characterization to derive an algorithm for analyzing and recovering the stability of elastic curves that would otherwise snap out of their unstable equilibrium shapes by buckling. We show the efficacy of our approach by designing and manufacturing several physical models that are assembled from flat elements.}, author = {Hafner, Christian and Bickel, Bernd}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, keywords = {Computing methodologies, shape modeling, modeling and simulation, theory of computation, computational geometry, mathematics of computing, mathematical optimization}, location = {Virtual}, number = {4}, publisher = {Association for Computing Machinery}, title = {{The design space of plane elastic curves}}, doi = {10.1145/3450626.3459800}, volume = {40}, year = {2021}, } @article{8966, abstract = {During development, a single cell is transformed into a highly complex organism through progressive cell division, specification and rearrangement. An important prerequisite for the emergence of patterns within the developing organism is to establish asymmetries at various scales, ranging from individual cells to the entire embryo, eventually giving rise to the different body structures. This becomes especially apparent during gastrulation, when the earliest major lineage restriction events lead to the formation of the different germ layers. Traditionally, the unfolding of the developmental program from symmetry breaking to germ layer formation has been studied by dissecting the contributions of different signaling pathways and cellular rearrangements in the in vivo context of intact embryos. Recent efforts, using the intrinsic capacity of embryonic stem cells to self-assemble and generate embryo-like structures de novo, have opened new avenues for understanding the many ways by which an embryo can be built and the influence of extrinsic factors therein. Here, we discuss and compare divergent and conserved strategies leading to germ layer formation in embryos as compared to in vitro systems, their upstream molecular cascades and the role of extrinsic factors in this process.}, author = {Schauer, Alexandra and Heisenberg, Carl-Philipp J}, issn = {0012-1606}, journal = {Developmental Biology}, keywords = {Developmental Biology, Cell Biology, Molecular Biology}, pages = {71--81}, publisher = {Elsevier}, title = {{Reassembling gastrulation}}, doi = {10.1016/j.ydbio.2020.12.014}, volume = {474}, year = {2021}, } @article{10816, abstract = {Pattern separation is a fundamental brain computation that converts small differences in input patterns into large differences in output patterns. Several synaptic mechanisms of pattern separation have been proposed, including code expansion, inhibition and plasticity; however, which of these mechanisms play a role in the entorhinal cortex (EC)–dentate gyrus (DG)–CA3 circuit, a classical pattern separation circuit, remains unclear. Here we show that a biologically realistic, full-scale EC–DG–CA3 circuit model, including granule cells (GCs) and parvalbumin-positive inhibitory interneurons (PV+-INs) in the DG, is an efficient pattern separator. Both external gamma-modulated inhibition and internal lateral inhibition mediated by PV+-INs substantially contributed to pattern separation. Both local connectivity and fast signaling at GC–PV+-IN synapses were important for maximum effectiveness. Similarly, mossy fiber synapses with conditional detonator properties contributed to pattern separation. By contrast, perforant path synapses with Hebbian synaptic plasticity and direct EC–CA3 connection shifted the network towards pattern completion. Our results demonstrate that the specific properties of cells and synapses optimize higher-order computations in biological networks and might be useful to improve the deep learning capabilities of technical networks.}, author = {Guzmán, José and Schlögl, Alois and Espinoza Martinez, Claudia and Zhang, Xiaomin and Suter, Benjamin and Jonas, Peter M}, issn = {2662-8457}, journal = {Nature Computational Science}, keywords = {general medicine}, number = {12}, pages = {830--842}, publisher = {Springer Nature}, title = {{How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network}}, doi = {10.1038/s43588-021-00157-1}, volume = {1}, year = {2021}, } @misc{10110, abstract = {Pattern separation is a fundamental brain computation that converts small differences in input patterns into large differences in output patterns. Several synaptic mechanisms of pattern separation have been proposed, including code expansion, inhibition and plasticity; however, which of these mechanisms play a role in the entorhinal cortex (EC)–dentate gyrus (DG)–CA3 circuit, a classical pattern separation circuit, remains unclear. Here we show that a biologically realistic, full-scale EC–DG–CA3 circuit model, including granule cells (GCs) and parvalbumin-positive inhibitory interneurons (PV+-INs) in the DG, is an efficient pattern separator. Both external gamma-modulated inhibition and internal lateral inhibition mediated by PV+-INs substantially contributed to pattern separation. Both local connectivity and fast signaling at GC–PV+-IN synapses were important for maximum effectiveness. Similarly, mossy fiber synapses with conditional detonator properties contributed to pattern separation. By contrast, perforant path synapses with Hebbian synaptic plasticity and direct EC–CA3 connection shifted the network towards pattern completion. Our results demonstrate that the specific properties of cells and synapses optimize higher-order computations in biological networks and might be useful to improve the deep learning capabilities of technical networks.}, author = {Guzmán, José and Schlögl, Alois and Espinoza Martinez, Claudia and Zhang, Xiaomin and Suter, Benjamin and Jonas, Peter M}, publisher = {IST Austria}, title = {{How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network}}, doi = {10.15479/AT:ISTA:10110}, year = {2021}, } @article{9438, abstract = {Rigorous investigation of synaptic transmission requires analysis of unitary synaptic events by simultaneous recording from presynaptic terminals and postsynaptic target neurons. However, this has been achieved at only a limited number of model synapses, including the squid giant synapse and the mammalian calyx of Held. Cortical presynaptic terminals have been largely inaccessible to direct presynaptic recording, due to their small size. Here, we describe a protocol for improved subcellular patch-clamp recording in rat and mouse brain slices, with the synapse in a largely intact environment. Slice preparation takes ~2 h, recording ~3 h and post hoc morphological analysis 2 d. Single presynaptic hippocampal mossy fiber terminals are stimulated minimally invasively in the bouton-attached configuration, in which the cytoplasmic content remains unperturbed, or in the whole-bouton configuration, in which the cytoplasmic composition can be precisely controlled. Paired pre–postsynaptic recordings can be integrated with biocytin labeling and morphological analysis, allowing correlative investigation of synapse structure and function. Paired recordings can be obtained from mossy fiber terminals in slices from both rats and mice, implying applicability to genetically modified synapses. Paired recordings can also be performed together with axon tract stimulation or optogenetic activation, allowing comparison of unitary and compound synaptic events in the same target cell. Finally, paired recordings can be combined with spontaneous event analysis, permitting collection of miniature events generated at a single identified synapse. In conclusion, the subcellular patch-clamp techniques detailed here should facilitate analysis of biophysics, plasticity and circuit function of cortical synapses in the mammalian central nervous system.}, author = {Vandael, David H and Okamoto, Yuji and Borges Merjane, Carolina and Vargas Barroso, Victor M and Suter, Benjamin and Jonas, Peter M}, issn = {1750-2799}, journal = {Nature Protocols}, number = {6}, pages = {2947–2967}, publisher = {Springer Nature}, title = {{Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses}}, doi = {10.1038/s41596-021-00526-0}, volume = {16}, year = {2021}, } @article{9250, abstract = {Aprotic alkali metal–O2 batteries face two major obstacles to their chemistry occurring efficiently, the insulating nature of the formed alkali superoxides/peroxides and parasitic reactions that are caused by the highly reactive singlet oxygen (1O2). Redox mediators are recognized to be key for improving rechargeability. However, it is unclear how they affect 1O2 formation, which hinders strategies for their improvement. Here we clarify the mechanism of mediated peroxide and superoxide oxidation and thus explain how redox mediators either enhance or suppress 1O2 formation. We show that charging commences with peroxide oxidation to a superoxide intermediate and that redox potentials above ~3.5 V versus Li/Li+ drive 1O2 evolution from superoxide oxidation, while disproportionation always generates some 1O2. We find that 1O2 suppression requires oxidation to be faster than the generation of 1O2 from disproportionation. Oxidation rates decrease with growing driving force following Marcus inverted-region behaviour, establishing a region of maximum rate.}, author = {Petit, Yann K. and Mourad, Eléonore and Prehal, Christian and Leypold, Christian and Windischbacher, Andreas and Mijailovic, Daniel and Slugovc, Christian and Borisov, Sergey M. and Zojer, Egbert and Brutti, Sergio and Fontaine, Olivier and Freunberger, Stefan Alexander}, issn = {1755-4349}, journal = {Nature Chemistry}, keywords = {General Chemistry, General Chemical Engineering}, number = {5}, pages = {465--471}, publisher = {Springer Nature}, title = {{Mechanism of mediated alkali peroxide oxidation and triplet versus singlet oxygen formation}}, doi = {10.1038/s41557-021-00643-z}, volume = {13}, year = {2021}, } @article{9428, abstract = {Thermalization is the inevitable fate of many complex quantum systems, whose dynamics allow them to fully explore the vast configuration space regardless of the initial state---the behaviour known as quantum ergodicity. In a quest for experimental realizations of coherent long-time dynamics, efforts have focused on ergodicity-breaking mechanisms, such as integrability and localization. The recent discovery of persistent revivals in quantum simulators based on Rydberg atoms have pointed to the existence of a new type of behaviour where the system rapidly relaxes for most initial conditions, while certain initial states give rise to non-ergodic dynamics. This collective effect has been named ”quantum many-body scarring’by analogy with a related form of weak ergodicity breaking that occurs for a single particle inside a stadium billiard potential. In this Review, we provide a pedagogical introduction to quantum many-body scars and highlight the emerging connections with the semiclassical quantization of many-body systems. We discuss the relation between scars and more general routes towards weak violations of ergodicity due to embedded algebras and non-thermal eigenstates, and highlight possible applications of scars in quantum technology.}, author = {Serbyn, Maksym and Abanin, Dmitry A. and Papić, Zlatko}, issn = {1745-2481}, journal = {Nature Physics}, number = {6}, pages = {675–685}, publisher = {Nature Research}, title = {{Quantum many-body scars and weak breaking of ergodicity}}, doi = {10.1038/s41567-021-01230-2}, volume = {17}, year = {2021}, } @article{10167, abstract = {Schistosomes, the human parasites responsible for snail fever, are female-heterogametic. Different parts of their ZW sex chromosomes have stopped recombining in distinct lineages, creating “evolutionary strata” of various ages. Although the Z-chromosome is well characterized at the genomic and molecular level, the W-chromosome has remained largely unstudied from an evolutionary perspective, as only a few W-linked genes have been detected outside of the model species Schistosoma mansoni. Here, we characterize the gene content and evolution of the W-chromosomes of S. mansoni and of the divergent species S. japonicum. We use a combined RNA/DNA k-mer based pipeline to assemble around 100 candidate W-specific transcripts in each of the species. About half of them map to known protein coding genes, the majority homologous to S. mansoni Z-linked genes. We perform an extended analysis of the evolutionary strata present in the two species (including characterizing a previously undetected young stratum in S. japonicum) to infer patterns of sequence and expression evolution of W-linked genes at different time points after recombination was lost. W-linked genes show evidence of degeneration, including high rates of protein evolution and reduced expression. Most are found in young lineage-specific strata, with only a few high expression ancestral W-genes remaining, consistent with the progressive erosion of nonrecombining regions. Among these, the splicing factor u2af2 stands out as a promising candidate for primary sex determination, opening new avenues for understanding the molecular basis of the reproductive biology of this group.}, author = {Elkrewi, Marwan N and Moldovan, Mikhail A. and Picard, Marion A L and Vicoso, Beatriz}, issn = {1537-1719}, journal = {Molecular Biology and Evolution}, keywords = {sex chromosomes, evolutionary strata, W-linked gene, sex determining gene, schistosome parasites}, number = {12}, pages = {5345--58}, publisher = {Oxford University Press }, title = {{Schistosome W-linked genes inform temporal dynamics of sex chromosome evolution and suggest candidate for sex determination}}, doi = {10.1093/molbev/msab178}, volume = {138}, year = {2021}, } @article{10299, abstract = {Turbulence generally arises in shear flows if velocities and hence, inertial forces are sufficiently large. In striking contrast, viscoelastic fluids can exhibit disordered motion even at vanishing inertia. Intermediate between these cases, a state of chaotic motion, “elastoinertial turbulence” (EIT), has been observed in a narrow Reynolds number interval. We here determine the origin of EIT in experiments and show that characteristic EIT structures can be detected across an unexpectedly wide range of parameters. Close to onset, a pattern of chevron-shaped streaks emerges in qualitative agreement with linear and weakly nonlinear theory. However, in experiments, the dynamics remain weakly chaotic, and the instability can be traced to far lower Reynolds numbers than permitted by theory. For increasing inertia, the flow undergoes a transformation to a wall mode composed of inclined near-wall streaks and shear layers. This mode persists to what is known as the “maximum drag reduction limit,” and overall EIT is found to dominate viscoelastic flows across more than three orders of magnitude in Reynolds number.}, author = {Choueiri, George H and Lopez Alonso, Jose M and Varshney, Atul and Sankar, Sarath and Hof, Björn}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, keywords = {multidisciplinary, elastoinertial turbulence, viscoelastic flows, elastic instability, drag reduction}, number = {45}, publisher = {National Academy of Sciences}, title = {{Experimental observation of the origin and structure of elastoinertial turbulence}}, doi = {10.1073/pnas.2102350118}, volume = {118}, year = {2021}, } @article{8602, abstract = {Collective cell migration offers a rich field of study for non-equilibrium physics and cellular biology, revealing phenomena such as glassy dynamics, pattern formation and active turbulence. However, how mechanical and chemical signalling are integrated at the cellular level to give rise to such collective behaviours remains unclear. We address this by focusing on the highly conserved phenomenon of spatiotemporal waves of density and extracellular signal-regulated kinase (ERK) activation, which appear both in vitro and in vivo during collective cell migration and wound healing. First, we propose a biophysical theory, backed by mechanical and optogenetic perturbation experiments, showing that patterns can be quantitatively explained by a mechanochemical coupling between active cellular tensions and the mechanosensitive ERK pathway. Next, we demonstrate how this biophysical mechanism can robustly induce long-ranged order and migration in a desired orientation, and we determine the theoretically optimal wavelength and period for inducing maximal migration towards free edges, which fits well with experimentally observed dynamics. We thereby provide a bridge between the biophysical origin of spatiotemporal instabilities and the design principles of robust and efficient long-ranged migration.}, author = {Boocock, Daniel R and Hino, Naoya and Ruzickova, Natalia and Hirashima, Tsuyoshi and Hannezo, Edouard B}, issn = {1745-2481}, journal = {Nature Physics}, pages = {267--274}, publisher = {Springer Nature}, title = {{Theory of mechanochemical patterning and optimal migration in cell monolayers}}, doi = {10.1038/s41567-020-01037-7}, volume = {17}, year = {2021}, } @article{9760, abstract = {The quantum approximate optimization algorithm (QAOA) is a prospective near-term quantum algorithm due to its modest circuit depth and promising benchmarks. However, an external parameter optimization required in the QAOA could become a performance bottleneck. This motivates studies of the optimization landscape and search for heuristic ways of parameter initialization. In this work we visualize the optimization landscape of the QAOA applied to the MaxCut problem on random graphs, demonstrating that random initialization of the QAOA is prone to converging to local minima with suboptimal performance. We introduce the initialization of QAOA parameters based on the Trotterized quantum annealing (TQA) protocol, parameterized by the Trotter time step. We find that the TQA initialization allows to circumvent the issue of false minima for a broad range of time steps, yielding the same performance as the best result out of an exponentially scaling number of random initializations. Moreover, we demonstrate that the optimal value of the time step coincides with the point of proliferation of Trotter errors in quantum annealing. Our results suggest practical ways of initializing QAOA protocols on near-term quantum devices and reveal new connections between QAOA and quantum annealing.}, author = {Sack, Stefan and Serbyn, Maksym}, issn = {2521-327X}, journal = {Quantum}, publisher = {Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften}, title = {{Quantum annealing initialization of the quantum approximate optimization algorithm}}, doi = {10.22331/Q-2021-07-01-491}, volume = {5}, year = {2021}, } @article{9887, abstract = {Clathrin-mediated endocytosis is the major route of entry of cargos into cells and thus underpins many physiological processes. During endocytosis, an area of flat membrane is remodeled by proteins to create a spherical vesicle against intracellular forces. The protein machinery which mediates this membrane bending in plants is unknown. However, it is known that plant endocytosis is actin independent, thus indicating that plants utilize a unique mechanism to mediate membrane bending against high-turgor pressure compared to other model systems. Here, we investigate the TPLATE complex, a plant-specific endocytosis protein complex. It has been thought to function as a classical adaptor functioning underneath the clathrin coat. However, by using biochemical and advanced live microscopy approaches, we found that TPLATE is peripherally associated with clathrin-coated vesicles and localizes at the rim of endocytosis events. As this localization is more fitting to the protein machinery involved in membrane bending during endocytosis, we examined cells in which the TPLATE complex was disrupted and found that the clathrin structures present as flat patches. This suggests a requirement of the TPLATE complex for membrane bending during plant clathrin–mediated endocytosis. Next, we used in vitro biophysical assays to confirm that the TPLATE complex possesses protein domains with intrinsic membrane remodeling activity. These results redefine the role of the TPLATE complex and implicate it as a key component of the evolutionarily distinct plant endocytosis mechanism, which mediates endocytic membrane bending against the high-turgor pressure in plant cells.}, author = {Johnson, Alexander J and Dahhan, Dana A and Gnyliukh, Nataliia and Kaufmann, Walter and Zheden, Vanessa and Costanzo, Tommaso and Mahou, Pierre and Hrtyan, Mónika and Wang, Jie and Aguilera Servin, Juan L and van Damme, Daniël and Beaurepaire, Emmanuel and Loose, Martin and Bednarek, Sebastian Y and Friml, Jiří}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, number = {51}, publisher = {National Academy of Sciences}, title = {{The TPLATE complex mediates membrane bending during plant clathrin-mediated endocytosis}}, doi = {10.1073/pnas.2113046118}, volume = {118}, year = {2021}, } @article{7883, abstract = {All vertebrates have a spinal cord with dimensions and shape specific to their species. Yet how species‐specific organ size and shape are achieved is a fundamental unresolved question in biology. The formation and sculpting of organs begins during embryonic development. As it develops, the spinal cord extends in anterior–posterior direction in synchrony with the overall growth of the body. The dorsoventral (DV) and apicobasal lengths of the spinal cord neuroepithelium also change, while at the same time a characteristic pattern of neural progenitor subtypes along the DV axis is established and elaborated. At the basis of these changes in tissue size and shape are biophysical determinants, such as the change in cell number, cell size and shape, and anisotropic tissue growth. These processes are controlled by global tissue‐scale regulators, such as morphogen signaling gradients as well as mechanical forces. Current challenges in the field are to uncover how these tissue‐scale regulatory mechanisms are translated to the cellular and molecular level, and how regulation of distinct cellular processes gives rise to an overall defined size. Addressing these questions will help not only to achieve a better understanding of how size is controlled, but also of how tissue size is coordinated with the specification of pattern.}, author = {Kuzmicz-Kowalska, Katarzyna and Kicheva, Anna}, issn = {1759-7692}, journal = {Wiley Interdisciplinary Reviews: Developmental Biology}, publisher = {Wiley}, title = {{Regulation of size and scale in vertebrate spinal cord development}}, doi = {10.1002/wdev.383}, year = {2021}, } @article{9349, abstract = {The way in which interactions between mechanics and biochemistry lead to the emergence of complex cell and tissue organization is an old question that has recently attracted renewed interest from biologists, physicists, mathematicians and computer scientists. Rapid advances in optical physics, microscopy and computational image analysis have greatly enhanced our ability to observe and quantify spatiotemporal patterns of signalling, force generation, deformation, and flow in living cells and tissues. Powerful new tools for genetic, biophysical and optogenetic manipulation are allowing us to perturb the underlying machinery that generates these patterns in increasingly sophisticated ways. Rapid advances in theory and computing have made it possible to construct predictive models that describe how cell and tissue organization and dynamics emerge from the local coupling of biochemistry and mechanics. Together, these advances have opened up a wealth of new opportunities to explore how mechanochemical patterning shapes organismal development. In this roadmap, we present a series of forward-looking case studies on mechanochemical patterning in development, written by scientists working at the interface between the physical and biological sciences, and covering a wide range of spatial and temporal scales, organisms, and modes of development. Together, these contributions highlight the many ways in which the dynamic coupling of mechanics and biochemistry shapes biological dynamics: from mechanoenzymes that sense force to tune their activity and motor output, to collectives of cells in tissues that flow and redistribute biochemical signals during development.}, author = {Lenne, Pierre François and Munro, Edwin and Heemskerk, Idse and Warmflash, Aryeh and Bocanegra, Laura and Kishi, Kasumi and Kicheva, Anna and Long, Yuchen and Fruleux, Antoine and Boudaoud, Arezki and Saunders, Timothy E. and Caldarelli, Paolo and Michaut, Arthur and Gros, Jerome and Maroudas-Sacks, Yonit and Keren, Kinneret and Hannezo, Edouard B and Gartner, Zev J. and Stormo, Benjamin and Gladfelter, Amy and Rodrigues, Alan and Shyer, Amy and Minc, Nicolas and Maître, Jean Léon and Di Talia, Stefano and Khamaisi, Bassma and Sprinzak, David and Tlili, Sham}, issn = {1478-3975}, journal = {Physical biology}, number = {4}, publisher = {IOP Publishing}, title = {{Roadmap for the multiscale coupling of biochemical and mechanical signals during development}}, doi = {10.1088/1478-3975/abd0db}, volume = {18}, year = {2021}, } @unpublished{10077, abstract = {Although much is known about how single neurons in the hippocampus represent an animal’s position, how cell-cell interactions contribute to spatial coding remains poorly understood. Using a novel statistical estimator and theoretical modeling, both developed in the framework of maximum entropy models, we reveal highly structured cell-to-cell interactions whose statistics depend on familiar vs. novel environment. In both conditions the circuit interactions optimize the encoding of spatial information, but for regimes that differ in the signal-to-noise ratio of their spatial inputs. Moreover, the topology of the interactions facilitates linear decodability, making the information easy to read out by downstream circuits. These findings suggest that the efficient coding hypothesis is not applicable only 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}, booktitle = {bioRxiv}, publisher = {Cold Spring Harbor Laboratory}, title = {{The structure of hippocampal CA1 interactions optimizes spatial coding across experience}}, doi = {10.1101/2021.09.28.460602}, year = {2021}, } @article{9429, abstract = {De novo loss of function mutations in the ubiquitin ligase-encoding gene Cullin3 lead to autism spectrum disorder (ASD). In mouse, constitutive haploinsufficiency leads to motor coordination deficits as well as ASD-relevant social and cognitive impairments. However, induction of Cul3 haploinsufficiency later in life does not lead to ASD-relevant behaviors, pointing to an important role of Cul3 during a critical developmental window. Here we show that Cul3 is essential to regulate neuronal migration and, therefore, constitutive Cul3 heterozygous mutant mice display cortical lamination abnormalities. At the molecular level, we found that Cul3 controls neuronal migration by tightly regulating the amount of Plastin3 (Pls3), a previously unrecognized player of neural migration. Furthermore, we found that Pls3 cell-autonomously regulates cell migration by regulating actin cytoskeleton organization, and its levels are inversely proportional to neural migration speed. Finally, we provide evidence that cellular phenotypes associated with autism-linked gene haploinsufficiency can be rescued by transcriptional activation of the intact allele in vitro, offering a proof of concept for a potential therapeutic approach for ASDs.}, author = {Morandell, Jasmin and Schwarz, Lena A and Basilico, Bernadette and Tasciyan, Saren and Dimchev, Georgi A and Nicolas, Armel and Sommer, Christoph M and Kreuzinger, Caroline and Dotter, Christoph and Knaus, Lisa and Dobler, Zoe and Cacci, Emanuele and Schur, Florian KM and Danzl, Johann G and Novarino, Gaia}, issn = {2041-1723}, journal = {Nature Communications}, keywords = {General Biochemistry, Genetics and Molecular Biology}, number = {1}, publisher = {Springer Nature}, title = {{Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development}}, doi = {10.1038/s41467-021-23123-x}, volume = {12}, year = {2021}, }