@article{9196, abstract = {In order to provide a local description of a regular function in a small neighbourhood of a point x, it is sufficient by Taylor’s theorem to know the value of the function as well as all of its derivatives up to the required order at the point x itself. In other words, one could say that a regular function is locally modelled by the set of polynomials. The theory of regularity structures due to Hairer generalizes this observation and provides an abstract setup, which in the application to singular SPDE extends the set of polynomials by functionals constructed from, e.g., white noise. In this context, the notion of Taylor polynomials is lifted to the notion of so-called modelled distributions. The celebrated reconstruction theorem, which in turn was inspired by Gubinelli’s \textit {sewing lemma}, is of paramount importance for the theory. It enables one to reconstruct a modelled distribution as a true distribution on Rd which is locally approximated by this extended set of models or “monomials”. In the original work of Hairer, the error is measured by means of Hölder norms. This was then generalized to the whole scale of Besov spaces by Hairer and Labbé. It is the aim of this work to adapt the analytic part of the theory of regularity structures to the scale of Triebel–Lizorkin spaces.}, author = {Hensel, Sebastian and Rosati, Tommaso}, issn = {1730-6337}, journal = {Studia Mathematica}, keywords = {General Mathematics}, number = {3}, pages = {251--297}, publisher = {Instytut Matematyczny}, title = {{Modelled distributions of Triebel–Lizorkin type}}, doi = {10.4064/sm180411-11-2}, volume = {252}, year = {2020}, } @article{7464, abstract = {Retrovirus assembly is driven by the multidomain structural protein Gag. Interactions between the capsid domains (CA) of Gag result in Gag multimerization, leading to an immature virus particle that is formed by a protein lattice based on dimeric, trimeric, and hexameric protein contacts. Among retroviruses the inter- and intra-hexamer contacts differ, especially in the N-terminal sub-domain of CA (CANTD). For HIV-1 the cellular molecule inositol hexakisphosphate (IP6) interacts with and stabilizes the immature hexamer, and is required for production of infectious virus particles. We have used in vitro assembly, cryo-electron tomography and subtomogram averaging, atomistic molecular dynamics simulations and mutational analyses to study the HIV-related lentivirus equine infectious anemia virus (EIAV). In particular, we sought to understand the structural conservation of the immature lentivirus lattice and the role of IP6 in EIAV assembly. Similar to HIV-1, IP6 strongly promoted in vitro assembly of EIAV Gag proteins into virus-like particles (VLPs), which took three morphologically highly distinct forms: narrow tubes, wide tubes, and spheres. Structural characterization of these VLPs to sub-4Å resolution unexpectedly showed that all three morphologies are based on an immature lattice with preserved key structural components, highlighting the structural versatility of CA to form immature assemblies. A direct comparison between EIAV and HIV revealed that both lentiviruses maintain similar immature interfaces, which are established by both conserved and non-conserved residues. In both EIAV and HIV-1, IP6 regulates immature assembly via conserved lysine residues within the CACTD and SP. Lastly, we demonstrate that IP6 stimulates in vitro assembly of immature particles of several other retroviruses in the lentivirus genus, suggesting a conserved role for IP6 in lentiviral assembly.}, author = {Dick, Robert A. and Xu, Chaoyi and Morado, Dustin R. and Kravchuk, Vladyslav and Ricana, Clifton L. and Lyddon, Terri D. and Broad, Arianna M. and Feathers, J. Ryan and Johnson, Marc C. and Vogt, Volker M. and Perilla, Juan R. and Briggs, John A. G. and Schur, Florian KM}, issn = {1553-7374}, journal = {PLOS Pathogens}, number = {1}, publisher = {Public Library of Science}, title = {{Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly}}, doi = {10.1371/journal.ppat.1008277}, volume = {16}, year = {2020}, } @article{7212, abstract = {The fixation probability of a single mutant invading a population of residents is among the most widely-studied quantities in evolutionary dynamics. Amplifiers of natural selection are population structures that increase the fixation probability of advantageous mutants, compared to well-mixed populations. Extensive studies have shown that many amplifiers exist for the Birth-death Moran process, some of them substantially increasing the fixation probability or even guaranteeing fixation in the limit of large population size. On the other hand, no amplifiers are known for the death-Birth Moran process, and computer-assisted exhaustive searches have failed to discover amplification. In this work we resolve this disparity, by showing that any amplification under death-Birth updating is necessarily bounded and transient. Our boundedness result states that even if a population structure does amplify selection, the resulting fixation probability is close to that of the well-mixed population. Our transience result states that for any population structure there exists a threshold r⋆ such that the population structure ceases to amplify selection if the mutant fitness advantage r is larger than r⋆. Finally, we also extend the above results to δ-death-Birth updating, which is a combination of Birth-death and death-Birth updating. On the positive side, we identify population structures that maintain amplification for a wide range of values r and δ. These results demonstrate that amplification of natural selection depends on the specific mechanisms of the evolutionary process.}, author = {Tkadlec, Josef and Pavlogiannis, Andreas and Chatterjee, Krishnendu and Nowak, Martin A.}, issn = {15537358}, journal = {PLoS computational biology}, publisher = {Public Library of Science}, title = {{Limits on amplifiers of natural selection under death-Birth updating}}, doi = {10.1371/journal.pcbi.1007494}, volume = {16}, year = {2020}, } @phdthesis{7196, abstract = {In this thesis we study certain mathematical aspects of evolution. The two primary forces that drive an evolutionary process are mutation and selection. Mutation generates new variants in a population. Selection chooses among the variants depending on the reproductive rates of individuals. Evolutionary processes are intrinsically random – a new mutation that is initially present in the population at low frequency can go extinct, even if it confers a reproductive advantage. The overall rate of evolution is largely determined by two quantities: the probability that an invading advantageous mutation spreads through the population (called fixation probability) and the time until it does so (called fixation time). Both those quantities crucially depend not only on the strength of the invading mutation but also on the population structure. In this thesis, we aim to understand how the underlying population structure affects the overall rate of evolution. Specifically, we study population structures that increase the fixation probability of advantageous mutants (called amplifiers of selection). Broadly speaking, our results are of three different types: We present various strong amplifiers, we identify regimes under which only limited amplification is feasible, and we propose population structures that provide different tradeoffs between high fixation probability and short fixation time.}, author = {Tkadlec, Josef}, issn = {2663-337X}, pages = {144}, publisher = {Institute of Science and Technology Austria}, title = {{A role of graphs in evolutionary processes}}, doi = {10.15479/AT:ISTA:7196}, year = {2020}, } @inproceedings{9198, abstract = {The optimization of multilayer neural networks typically leads to a solution with zero training error, yet the landscape can exhibit spurious local minima and the minima can be disconnected. In this paper, we shed light on this phenomenon: we show that the combination of stochastic gradient descent (SGD) and over-parameterization makes the landscape of multilayer neural networks approximately connected and thus more favorable to optimization. More specifically, we prove that SGD solutions are connected via a piecewise linear path, and the increase in loss along this path vanishes as the number of neurons grows large. This result is a consequence of the fact that the parameters found by SGD are increasingly dropout stable as the network becomes wider. We show that, if we remove part of the neurons (and suitably rescale the remaining ones), the change in loss is independent of the total number of neurons, and it depends only on how many neurons are left. Our results exhibit a mild dependence on the input dimension: they are dimension-free for two-layer networks and depend linearly on the dimension for multilayer networks. We validate our theoretical findings with numerical experiments for different architectures and classification tasks.}, author = {Shevchenko, Alexander and Mondelli, Marco}, booktitle = {Proceedings of the 37th International Conference on Machine Learning}, pages = {8773--8784}, publisher = {ML Research Press}, title = {{Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks}}, volume = {119}, year = {2020}, } @article{9157, abstract = {Representing an atom by a solid sphere in 3-dimensional Euclidean space, we get the space-filling diagram of a molecule by taking the union. Molecular dynamics simulates its motion subject to bonds and other forces, including the solvation free energy. The morphometric approach [12, 17] writes the latter as a linear combination of weighted versions of the volume, area, mean curvature, and Gaussian curvature of the space-filling diagram. We give a formula for the derivative of the weighted mean curvature. Together with the derivatives of the weighted volume in [7], the weighted area in [3], and the weighted Gaussian curvature [1], this yields the derivative of the morphometric expression of the solvation free energy.}, author = {Akopyan, Arseniy and Edelsbrunner, Herbert}, issn = {2544-7297}, journal = {Computational and Mathematical Biophysics}, number = {1}, pages = {51--67}, publisher = {De Gruyter}, title = {{The weighted mean curvature derivative of a space-filling diagram}}, doi = {10.1515/cmb-2020-0100}, volume = {8}, year = {2020}, } @article{9156, abstract = {The morphometric approach [11, 14] writes the solvation free energy as a linear combination of weighted versions of the volume, area, mean curvature, and Gaussian curvature of the space-filling diagram. We give a formula for the derivative of the weighted Gaussian curvature. Together with the derivatives of the weighted volume in [7], the weighted area in [4], and the weighted mean curvature in [1], this yields the derivative of the morphometric expression of solvation free energy.}, author = {Akopyan, Arseniy and Edelsbrunner, Herbert}, issn = {2544-7297}, journal = {Computational and Mathematical Biophysics}, number = {1}, pages = {74--88}, publisher = {De Gruyter}, title = {{The weighted Gaussian curvature derivative of a space-filling diagram}}, doi = {10.1515/cmb-2020-0101}, volume = {8}, year = {2020}, } @article{8973, abstract = {We consider the symmetric simple exclusion process in Zd with quenched bounded dynamic random conductances and prove its hydrodynamic limit in path space. The main tool is the connection, due to the self-duality of the process, between the invariance principle for single particles starting from all points and the macroscopic behavior of the density field. While the hydrodynamic limit at fixed macroscopic times is obtained via a generalization to the time-inhomogeneous context of the strategy introduced in [41], in order to prove tightness for the sequence of empirical density fields we develop a new criterion based on the notion of uniform conditional stochastic continuity, following [50]. In conclusion, we show that uniform elliptic dynamic conductances provide an example of environments in which the so-called arbitrary starting point invariance principle may be derived from the invariance principle of a single particle starting from the origin. Therefore, our hydrodynamics result applies to the examples of quenched environments considered in, e.g., [1], [3], [6] in combination with the hypothesis of uniform ellipticity.}, author = {Redig, Frank and Saada, Ellen and Sau, Federico}, issn = {1083-6489}, journal = {Electronic Journal of Probability}, publisher = { Institute of Mathematical Statistics}, title = {{Symmetric simple exclusion process in dynamic environment: Hydrodynamics}}, doi = {10.1214/20-EJP536}, volume = {25}, year = {2020}, } @article{179, abstract = {An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariski dense subset of the biprojective hypersurface x1y21+⋯+x4y24=0 in ℙ3×ℙ3. This confirms the modified Manin conjecture for this variety, in which the removal of a thin set of rational points is allowed.}, author = {Browning, Timothy D and Heath Brown, Roger}, issn = {0012-7094}, journal = {Duke Mathematical Journal}, number = {16}, pages = {3099--3165}, publisher = {Duke University Press}, title = {{Density of rational points on a quadric bundle in ℙ3×ℙ3}}, doi = {10.1215/00127094-2020-0031}, volume = {169}, year = {2020}, } @misc{9814, abstract = {Data and mathematica notebooks for plotting figures from Language learning with communication between learners}, author = {Ibsen-Jensen, Rasmus and Tkadlec, Josef and Chatterjee, Krishnendu and Nowak, Martin}, publisher = {Royal Society}, title = {{Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners}}, doi = {10.6084/m9.figshare.5973013.v1}, year = {2020}, } @article{8285, abstract = {We demonstrate the utility of optical cavity generated spin-squeezed states in free space atomic fountain clocks in ensembles of 390 000 87Rb atoms. Fluorescence imaging, correlated to an initial quantum nondemolition measurement, is used for population spectroscopy after the atoms are released from a confining lattice. For a free fall time of 4 milliseconds, we resolve a single-shot phase sensitivity of 814(61) microradians, which is 5.8(0.6) decibels (dB) below the quantum projection limit. We observe that this squeezing is preserved as the cloud expands to a roughly 200  μm radius and falls roughly 300  μm in free space. Ramsey spectroscopy with 240 000 atoms at a 3.6 ms Ramsey time results in a single-shot fractional frequency stability of 8.4(0.2)×10−12, 3.8(0.2) dB below the quantum projection limit. The sensitivity and stability are limited by the technical noise in the fluorescence detection protocol and the microwave system, respectively.}, author = {Malia, Benjamin K. and Martínez-Rincón, Julián and Wu, Yunfan and Hosten, Onur and Kasevich, Mark A.}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {4}, publisher = {American Physical Society}, title = {{Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit}}, doi = {10.1103/PhysRevLett.125.043202}, volume = {125}, year = {2020}, } @inproceedings{10328, abstract = {We discus noise channels in coherent electro-optic up-conversion between microwave and optical fields, in particular due to optical heating. We also report on a novel configuration, which promises to be flexible and highly efficient.}, author = {Lambert, Nicholas J. and Mobassem, Sonia and Rueda Sanchez, Alfredo R and Schwefel, Harald G.L.}, booktitle = {OSA Quantum 2.0 Conference}, isbn = {9-781-5575-2820-9}, location = {Washington, DC, United States}, publisher = {Optica Publishing Group}, title = {{New designs and noise channels in electro-optic microwave to optical up-conversion}}, doi = {10.1364/QUANTUM.2020.QTu8A.1}, year = {2020}, } @inproceedings{9633, abstract = {The search for biologically faithful synaptic plasticity rules has resulted in a large body of models. They are usually inspired by – and fitted to – experimental data, but they rarely produce neural dynamics that serve complex functions. These failures suggest that current plasticity models are still under-constrained by existing data. Here, we present an alternative approach that uses meta-learning to discover plausible synaptic plasticity rules. Instead of experimental data, the rules are constrained by the functions they implement and the structure they are meant to produce. Briefly, we parameterize synaptic plasticity rules by a Volterra expansion and then use supervised learning methods (gradient descent or evolutionary strategies) to minimize a problem-dependent loss function that quantifies how effectively a candidate plasticity rule transforms an initially random network into one with the desired function. We first validate our approach by re-discovering previously described plasticity rules, starting at the single-neuron level and “Oja’s rule”, a simple Hebbian plasticity rule that captures the direction of most variability of inputs to a neuron (i.e., the first principal component). We expand the problem to the network level and ask the framework to find Oja’s rule together with an anti-Hebbian rule such that an initially random two-layer firing-rate network will recover several principal components of the input space after learning. Next, we move to networks of integrate-and-fire neurons with plastic inhibitory afferents. We train for rules that achieve a target firing rate by countering tuned excitation. Our algorithm discovers a specific subset of the manifold of rules that can solve this task. Our work is a proof of principle of an automated and unbiased approach to unveil synaptic plasticity rules that obey biological constraints and can solve complex functions.}, author = {Confavreux, Basile J and Zenke, Friedemann and Agnes, Everton J. and Lillicrap, Timothy and Vogels, Tim P}, booktitle = {Advances in Neural Information Processing Systems}, issn = {1049-5258}, location = {Vancouver, Canada}, pages = {16398--16408}, title = {{A meta-learning approach to (re)discover plasticity rules that carve a desired function into a neural network}}, volume = {33}, year = {2020}, } @article{8943, abstract = {The widely used non-steroidal anti-inflammatory drugs (NSAIDs) are derivatives of the phytohormone salicylic acid (SA). SA is well known to regulate plant immunity and development, whereas there have been few reports focusing on the effects of NSAIDs in plants. Our studies here reveal that NSAIDs exhibit largely overlapping physiological activities to SA in the model plant Arabidopsis. NSAID treatments lead to shorter and agravitropic primary roots and inhibited lateral root organogenesis. Notably, in addition to the SA-like action, which in roots involves binding to the protein phosphatase 2A (PP2A), NSAIDs also exhibit PP2A-independent effects. Cell biological and biochemical analyses reveal that many NSAIDs bind directly to and inhibit the chaperone activity of TWISTED DWARF1, thereby regulating actin cytoskeleton dynamics and subsequent endosomal trafficking. Our findings uncover an unexpected bioactivity of human pharmaceuticals in plants and provide insights into the molecular mechanism underlying the cellular action of this class of anti-inflammatory compounds.}, author = {Tan, Shutang and Di Donato, Martin and Glanc, Matous and Zhang, Xixi and Klíma, Petr and Liu, Jie and Bailly, Aurélien and Ferro, Noel and Petrášek, Jan and Geisler, Markus and Friml, Jiří}, issn = {22111247}, journal = {Cell Reports}, number = {9}, publisher = {Elsevier}, title = {{Non-steroidal anti-inflammatory drugs target TWISTED DWARF1-regulated actin dynamics and auxin transport-mediated plant development}}, doi = {10.1016/j.celrep.2020.108463}, volume = {33}, year = {2020}, } @article{7932, abstract = {Pulsating flows through tubular geometries are laminar provided that velocities are moderate. This in particular is also believed to apply to cardiovascular flows where inertial forces are typically too low to sustain turbulence. On the other hand, flow instabilities and fluctuating shear stresses are held responsible for a variety of cardiovascular diseases. Here we report a nonlinear instability mechanism for pulsating pipe flow that gives rise to bursts of turbulence at low flow rates. Geometrical distortions of small, yet finite, amplitude are found to excite a state consisting of helical vortices during flow deceleration. The resulting flow pattern grows rapidly in magnitude, breaks down into turbulence, and eventually returns to laminar when the flow accelerates. This scenario causes shear stress fluctuations and flow reversal during each pulsation cycle. Such unsteady conditions can adversely affect blood vessels and have been shown to promote inflammation and dysfunction of the shear stress-sensitive endothelial cell layer.}, author = {Xu, Duo and Varshney, Atul and Ma, Xingyu and Song, Baofang and Riedl, Michael and Avila, Marc and Hof, Björn}, issn = {10916490}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, number = {21}, pages = {11233--11239}, publisher = {National Academy of Sciences}, title = {{Nonlinear hydrodynamic instability and turbulence in pulsatile flow}}, doi = {10.1073/pnas.1913716117}, volume = {117}, year = {2020}, } @article{14694, abstract = {We study the unique solution m of the Dyson equation \( -m(z)^{-1} = z\1 - a + S[m(z)] \) on a von Neumann algebra A with the constraint Imm≥0. Here, z lies in the complex upper half-plane, a is a self-adjoint element of A and S is a positivity-preserving linear operator on A. We show that m is the Stieltjes transform of a compactly supported A-valued measure on R. Under suitable assumptions, we establish that this measure has a uniformly 1/3-Hölder continuous density with respect to the Lebesgue measure, which is supported on finitely many intervals, called bands. In fact, the density is analytic inside the bands with a square-root growth at the edges and internal cubic root cusps whenever the gap between two bands vanishes. The shape of these singularities is universal and no other singularity may occur. We give a precise asymptotic description of m near the singular points. These asymptotics generalize the analysis at the regular edges given in the companion paper on the Tracy-Widom universality for the edge eigenvalue statistics for correlated random matrices [the first author et al., Ann. Probab. 48, No. 2, 963--1001 (2020; Zbl 1434.60017)] and they play a key role in the proof of the Pearcey universality at the cusp for Wigner-type matrices [G. Cipolloni et al., Pure Appl. Anal. 1, No. 4, 615--707 (2019; Zbl 07142203); the second author et al., Commun. Math. Phys. 378, No. 2, 1203--1278 (2020; Zbl 07236118)]. We also extend the finite dimensional band mass formula from [the first author et al., loc. cit.] to the von Neumann algebra setting by showing that the spectral mass of the bands is topologically rigid under deformations and we conclude that these masses are quantized in some important cases.}, author = {Alt, Johannes and Erdös, László and Krüger, Torben H}, issn = {1431-0643}, journal = {Documenta Mathematica}, keywords = {General Mathematics}, pages = {1421--1539}, publisher = {EMS Press}, title = {{The Dyson equation with linear self-energy: Spectral bands, edges and cusps}}, doi = {10.4171/dm/780}, volume = {25}, year = {2020}, } @phdthesis{8156, abstract = {We present solutions to several problems originating from geometry and discrete mathematics: existence of equipartitions, maps without Tverberg multiple points, and inscribing quadrilaterals. Equivariant obstruction theory is the natural topological approach to these type of questions. However, for the specific problems we consider it had yielded only partial or no results. We get our results by complementing equivariant obstruction theory with other techniques from topology and geometry.}, author = {Avvakumov, Sergey}, issn = {2663-337X}, pages = {119}, publisher = {Institute of Science and Technology Austria}, title = {{Topological methods in geometry and discrete mathematics}}, doi = {10.15479/AT:ISTA:8156}, year = {2020}, } @article{14891, abstract = {We give the first mathematically rigorous justification of the local density approximation in density functional theory. We provide a quantitative estimate on the difference between the grand-canonical Levy–Lieb energy of a given density (the lowest possible energy of all quantum states having this density) and the integral over the uniform electron gas energy of this density. The error involves gradient terms and justifies the use of the local density approximation in the situation where the density is very flat on sufficiently large regions in space.}, author = {Lewin, Mathieu and Lieb, Elliott H. and Seiringer, Robert}, issn = {2578-5885}, journal = {Pure and Applied Analysis}, number = {1}, pages = {35--73}, publisher = {Mathematical Sciences Publishers}, title = {{ The local density approximation in density functional theory}}, doi = {10.2140/paa.2020.2.35}, volume = {2}, year = {2020}, } @article{8914, abstract = {Amyotrophic lateral sclerosis (ALS) leads to a loss of specific motor neuron populations in the spinal cord and cortex. Emerging evidence suggests that interneurons may also be affected, but a detailed characterization of interneuron loss and its potential impacts on motor neuron loss and disease progression is lacking. To examine this issue, the fate of V1 inhibitory neurons during ALS was assessed in the ventral spinal cord using the SODG93A mouse model. The V1 population makes up ∼30% of all ventral inhibitory neurons, ∼50% of direct inhibitory synaptic contacts onto motor neuron cell bodies, and is thought to play a key role in modulating motor output, in part through recurrent and reciprocal inhibitory circuits. We find that approximately half of V1 inhibitory neurons are lost in SODG93A mice at late disease stages, but that this loss is delayed relative to the loss of motor neurons and V2a excitatory neurons. We further identify V1 subpopulations based on transcription factor expression that are differentially susceptible to degeneration in SODG93A mice. At an early disease stage, we show that V1 synaptic contacts with motor neuron cell bodies increase, suggesting an upregulation of inhibition before V1 neurons are lost in substantial numbers. These data support a model in which progressive changes in V1 synaptic contacts early in disease, and in select V1 subpopulations at later stages, represent a compensatory upregulation and then deleterious breakdown of specific interneuron circuits within the spinal cord.}, author = {Salamatina, Alina and Yang, Jerry H and Brenner-Morton, Susan and Bikoff, Jay B and Fang, Linjing and Kintner, Christopher R and Jessell, Thomas M and Sweeney, Lora Beatrice Jaeger}, issn = {0306-4522}, journal = {Neuroscience}, pages = {81--95}, publisher = {Elsevier}, title = {{Differential loss of spinal interneurons in a mouse model of ALS}}, doi = {10.1016/j.neuroscience.2020.08.011}, volume = {450}, year = {2020}, } @article{7541, abstract = {Semiconductor nanowires have been playing a crucial role in the development of nanoscale devices for the realization of spin qubits, Majorana fermions, single photon emitters, nanoprocessors, etc. The monolithic growth of site‐controlled nanowires is a prerequisite toward the next generation of devices that will require addressability and scalability. Here, combining top‐down nanofabrication and bottom‐up self‐assembly, the growth of Ge wires on prepatterned Si (001) substrates with controllable position, distance, length, and structure is reported. This is achieved by a novel growth process that uses a SiGe strain‐relaxation template and can be potentially generalized to other material combinations. Transport measurements show an electrically tunable spin–orbit coupling, with a spin–orbit length similar to that of III–V materials. Also, charge sensing between quantum dots in closely spaced wires is observed, which underlines their potential for the realization of advanced quantum devices. The reported results open a path toward scalable qubit devices using nanowires on silicon.}, author = {Gao, Fei and Wang, Jian-Huan and Watzinger, Hannes and Hu, Hao and Rančić, Marko J. and Zhang, Jie-Yin and Wang, Ting and Yao, Yuan and Wang, Gui-Lei and Kukucka, Josip and Vukušić, Lada and Kloeffel, Christoph and Loss, Daniel and Liu, Feng and Katsaros, Georgios and Zhang, Jian-Jun}, issn = {0935-9648}, journal = {Advanced Materials}, number = {16}, publisher = {Wiley}, title = {{Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling}}, doi = {10.1002/adma.201906523}, volume = {32}, year = {2020}, } @phdthesis{8366, abstract = {Fabrication of curved shells plays an important role in modern design, industry, and science. Among their remarkable properties are, for example, aesthetics of organic shapes, ability to evenly distribute loads, or efficient flow separation. They find applications across vast length scales ranging from sky-scraper architecture to microscopic devices. But, at the same time, the design of curved shells and their manufacturing process pose a variety of challenges. In this thesis, they are addressed from several perspectives. In particular, this thesis presents approaches based on the transformation of initially flat sheets into the target curved surfaces. This involves problems of interactive design of shells with nontrivial mechanical constraints, inverse design of complex structural materials, and data-driven modeling of delicate and time-dependent physical properties. At the same time, two newly-developed self-morphing mechanisms targeting flat-to-curved transformation are presented. In architecture, doubly curved surfaces can be realized as cold bent glass panelizations. Originally flat glass panels are bent into frames and remain stressed. This is a cost-efficient fabrication approach compared to hot bending, when glass panels are shaped plastically. However such constructions are prone to breaking during bending, and it is highly nontrivial to navigate the design space, keeping the panels fabricable and aesthetically pleasing at the same time. We introduce an interactive design system for cold bent glass façades, while previously even offline optimization for such scenarios has not been sufficiently developed. Our method is based on a deep learning approach providing quick and high precision estimation of glass panel shape and stress while handling the shape multimodality. Fabrication of smaller objects of scales below 1 m, can also greatly benefit from shaping originally flat sheets. In this respect, we designed new self-morphing shell mechanisms transforming from an initial flat state to a doubly curved state with high precision and detail. Our so-called CurveUps demonstrate the encodement of the geometric information into the shell. Furthermore, we explored the frontiers of programmable materials and showed how temporal information can additionally be encoded into a flat shell. This allows prescribing deformation sequences for doubly curved surfaces and, thus, facilitates self-collision avoidance enabling complex shapes and functionalities otherwise impossible. Both of these methods include inverse design tools keeping the user in the design loop.}, author = {Guseinov, Ruslan}, isbn = {978-3-99078-010-7}, issn = {2663-337X}, keywords = {computer-aided design, shape modeling, self-morphing, mechanical engineering}, pages = {118}, publisher = {Institute of Science and Technology Austria}, title = {{Computational design of curved thin shells: From glass façades to programmable matter}}, doi = {10.15479/AT:ISTA:8366}, year = {2020}, } @article{8562, abstract = {Cold bent glass is a promising and cost-efficient method for realizing doubly curved glass facades. They are produced by attaching planar glass sheets to curved frames and require keeping the occurring stress within safe limits. However, it is very challenging to navigate the design space of cold bent glass panels due to the fragility of the material, which impedes the form-finding for practically feasible and aesthetically pleasing cold bent glass facades. We propose an interactive, data-driven approach for designing cold bent glass facades that can be seamlessly integrated into a typical architectural design pipeline. Our method allows non-expert users to interactively edit a parametric surface while providing real-time feedback on the deformed shape and maximum stress of cold bent glass panels. Designs are automatically refined to minimize several fairness criteria while maximal stresses are kept within glass limits. We achieve interactive frame rates by using a differentiable Mixture Density Network trained from more than a million simulations. Given a curved boundary, our regression model is capable of handling multistable configurations and accurately predicting the equilibrium shape of the panel and its corresponding maximal stress. We show predictions are highly accurate and validate our results with a physical realization of a cold bent glass surface.}, author = {Gavriil, Konstantinos and Guseinov, Ruslan and Perez Rodriguez, Jesus and Pellis, Davide and Henderson, Paul M and Rist, Florian and Pottmann, Helmut and Bickel, Bernd}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, number = {6}, publisher = {Association for Computing Machinery}, title = {{Computational design of cold bent glass façades}}, doi = {10.1145/3414685.3417843}, volume = {39}, year = {2020}, } @article{8203, abstract = {Using inelastic cotunneling spectroscopy we observe a zero field splitting within the spin triplet manifold of Ge hut wire quantum dots. The states with spin ±1 in the confinement direction are energetically favored by up to 55 μeV compared to the spin 0 triplet state because of the strong spin–orbit coupling. The reported effect should be observable in a broad class of strongly confined hole quantum-dot systems and might need to be considered when operating hole spin qubits.}, author = {Katsaros, Georgios and Kukucka, Josip and Vukušić, Lada and Watzinger, Hannes and Gao, Fei and Wang, Ting and Zhang, Jian-Jun and Held, Karsten}, issn = {1530-6992}, journal = {Nano Letters}, number = {7}, pages = {5201--5206}, publisher = {American Chemical Society}, title = {{Zero field splitting of heavy-hole states in quantum dots}}, doi = {10.1021/acs.nanolett.0c01466}, volume = {20}, year = {2020}, } @article{8740, abstract = {In vitro work revealed that excitatory synaptic inputs to hippocampal inhibitory interneurons could undergo Hebbian, associative, or non-associative plasticity. Both behavioral and learning-dependent reorganization of these connections has also been demonstrated by measuring spike transmission probabilities in pyramidal cell-interneuron spike cross-correlations that indicate monosynaptic connections. Here we investigated the activity-dependent modification of these connections during exploratory behavior in rats by optogenetically inhibiting pyramidal cell and interneuron subpopulations. Light application and associated firing alteration of pyramidal and interneuron populations led to lasting changes in pyramidal-interneuron connection weights as indicated by spike transmission changes. Spike transmission alterations were predicted by the light-mediated changes in the number of pre- and postsynaptic spike pairing events and by firing rate changes of interneurons but not pyramidal cells. This work demonstrates the presence of activity-dependent associative and non-associative reorganization of pyramidal-interneuron connections triggered by the optogenetic modification of the firing rate and spike synchrony of cells.}, author = {Gridchyn, Igor and Schönenberger, Philipp and O'Neill, Joseph and Csicsvari, Jozsef L}, issn = {2050084X}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior}}, doi = {10.7554/eLife.61106}, volume = {9}, year = {2020}, } @article{7262, abstract = {Advances in shape-morphing materials, such as hydrogels, shape-memory polymers and light-responsive polymers have enabled prescribing self-directed deformations of initially flat geometries. However, most proposed solutions evolve towards a target geometry without considering time-dependent actuation paths. To achieve more complex geometries and avoid self-collisions, it is critical to encode a spatial and temporal shape evolution within the initially flat shell. Recent realizations of time-dependent morphing are limited to the actuation of few, discrete hinges and cannot form doubly curved surfaces. Here, we demonstrate a method for encoding temporal shape evolution in architected shells that assume complex shapes and doubly curved geometries. The shells are non-periodic tessellations of pre-stressed contractile unit cells that soften in water at rates prescribed locally by mesostructure geometry. The ensuing midplane contraction is coupled to the formation of encoded curvatures. We propose an inverse design tool based on a data-driven model for unit cells’ temporal responses.}, author = {Guseinov, Ruslan and McMahan, Connor and Perez Rodriguez, Jesus and Daraio, Chiara and Bickel, Bernd}, issn = {2041-1723}, journal = {Nature Communications}, keywords = {Design, Synthesis and processing, Mechanical engineering, Polymers}, publisher = {Springer Nature}, title = {{Programming temporal morphing of self-actuated shells}}, doi = {10.1038/s41467-019-14015-2}, volume = {11}, year = {2020}, } @inproceedings{7213, abstract = {Persistent homology is a powerful tool in Topological Data Analysis (TDA) to capture the topological properties of data succinctly at different spatial resolutions. For graphical data, the shape, and structure of the neighborhood of individual data items (nodes) are an essential means of characterizing their properties. We propose the use of persistent homology methods to capture structural and topological properties of graphs and use it to address the problem of link prediction. We achieve encouraging results on nine different real-world datasets that attest to the potential of persistent homology-based methods for network analysis.}, author = {Bhatia, Sumit and Chatterjee, Bapi and Nathani, Deepak and Kaul, Manohar}, booktitle = {Complex Networks and their applications VIII}, isbn = {9783030366865}, issn = {18609503}, location = {Lisbon, Portugal}, pages = {27--39}, publisher = {Springer Nature}, title = {{A persistent homology perspective to the link prediction problem}}, doi = {10.1007/978-3-030-36687-2_3}, volume = {881}, year = {2020}, } @inproceedings{10556, abstract = {In this paper, we present the first Asynchronous Distributed Key Generation (ADKG) algorithm which is also the first distributed key generation algorithm that can generate cryptographic keys with a dual (f,2f+1)-threshold (where f is the number of faulty parties). As a result, using our ADKG we remove the trusted setup assumption that the most scalable consensus algorithms make. In order to create a DKG with a dual (f,2f+1)- threshold we first answer in the affirmative the open question posed by Cachin et al. [7] on how to create an Asynchronous Verifiable Secret Sharing (AVSS) protocol with a reconstruction threshold of f+1 0$. Based on the recent work of Ghaffari et al. [FOCS'18], this additive $O(\log\log n)$ factor is conditionally essential. These algorithms can also be shown to run in $O(\log \Delta)$ rounds in the closely related model of CONGESTED CLIQUE, improving upon the state-of-the-art bound of $O(\log^2 \Delta)$ rounds by Censor-Hillel et al. [DISC'17].}, author = {Czumaj, Artur and Davies, Peter and Parter, Merav}, booktitle = {Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)}, location = {Virtual Event, United States}, number = {7}, pages = {175--185}, publisher = {Association for Computing Machinery}, title = {{Graph sparsification for derandomizing massively parallel computation with low space}}, doi = {10.1145/3350755.3400282}, year = {2020}, } @inproceedings{7636, abstract = {Balanced search trees typically use key comparisons to guide their operations, and achieve logarithmic running time. By relying on numerical properties of the keys, interpolation search achieves lower search complexity and better performance. Although interpolation-based data structures were investigated in the past, their non-blocking concurrent variants have received very little attention so far. In this paper, we propose the first non-blocking implementation of the classic interpolation search tree (IST) data structure. For arbitrary key distributions, the data structure ensures worst-case O(log n + p) amortized time for search, insertion and deletion traversals. When the input key distributions are smooth, lookups run in expected O(log log n + p) time, and insertion and deletion run in expected amortized O(log log n + p) time, where p is a bound on the number of threads. To improve the scalability of concurrent insertion and deletion, we propose a novel parallel rebuilding technique, which should be of independent interest. We evaluate whether the theoretical improvements translate to practice by implementing the concurrent interpolation search tree, and benchmarking it on uniform and nonuniform key distributions, for dataset sizes in the millions to billions of keys. Relative to the state-of-the-art concurrent data structures, the concurrent interpolation search tree achieves performance improvements of up to 15% under high update rates, and of up to 50% under moderate update rates. Further, ISTs exhibit up to 2X less cache-misses, and consume 1.2 -- 2.6X less memory compared to the next best alternative on typical dataset sizes. We find that the results are surprisingly robust to distributional skew, which suggests that our data structure can be a promising alternative to classic concurrent search structures.}, author = {Brown, Trevor A and Prokopec, Aleksandar and Alistarh, Dan-Adrian}, booktitle = {Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, isbn = {9781450368186}, location = {San Diego, CA, United States}, pages = {276--291}, publisher = {Association for Computing Machinery}, title = {{Non-blocking interpolation search trees with doubly-logarithmic running time}}, doi = {10.1145/3332466.3374542}, year = {2020}, } @inproceedings{8191, abstract = {There has been a significant amount of research on hardware and software support for efficient concurrent data structures; yet, the question of how to build correct, simple, and scalable data structures has not yet been definitively settled. In this paper, we revisit this question from a minimalist perspective, and ask: what is the smallest amount of synchronization required for correct and efficient concurrent search data structures, and how could this minimal synchronization support be provided in hardware? To address these questions, we introduce memory tagging, a simple hardware mechanism which enables the programmer to "tag" a dynamic set of memory locations, at cache-line granularity, and later validate whether the memory has been concurrently modified, with the possibility of updating one of the underlying locations atomically if validation succeeds. We provide several examples showing that this mechanism can enable fast and arguably simple concurrent data structure designs, such as lists, binary search trees, balanced search trees, range queries, and Software Transactional Memory (STM) implementations. We provide an implementation of memory tags in the Graphite multi-core simulator, showing that the mechanism can be implemented entirely at the level of L1 cache, and that it can enable non-trivial speedups versus existing implementations of the above data structures.}, author = {Alistarh, Dan-Adrian and Brown, Trevor A and Singhal, Nandini}, booktitle = {Annual ACM Symposium on Parallelism in Algorithms and Architectures}, isbn = {9781450369350}, location = {Virtual Event, United States}, number = {7}, pages = {37--49}, publisher = {Association for Computing Machinery}, title = {{Memory tagging: Minimalist synchronization for scalable concurrent data structures}}, doi = {10.1145/3350755.3400213}, year = {2020}, } @inproceedings{7635, abstract = {Concurrent programming can be notoriously complex and error-prone. Programming bugs can arise from a variety of sources, such as operation re-reordering, or incomplete understanding of the memory model. A variety of formal and model checking methods have been developed to address this fundamental difficulty. While technically interesting, existing academic methods are still hard to apply to the large codebases typical of industrial deployments, which limits their practical impact.}, author = {Koval, Nikita and Sokolova, Mariia and Fedorov, Alexander and Alistarh, Dan-Adrian and Tsitelov, Dmitry}, booktitle = {Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP}, isbn = {9781450368186}, location = {San Diego, CA, United States}, pages = {423--424}, publisher = {Association for Computing Machinery}, title = {{Testing concurrency on the JVM with Lincheck}}, doi = {10.1145/3332466.3374503}, year = {2020}, } @inproceedings{8383, abstract = {We introduce extension-based proofs, a class of impossibility proofs that includes valency arguments. They are modelled as an interaction between a prover and a protocol. Using proofs based on combinatorial topology, it has been shown that it is impossible to deterministically solve k-set agreement among n > k ≥ 2 processes in a wait-free manner. However, it was unknown whether proofs based on simpler techniques were possible. We explain why this impossibility result cannot be obtained by an extension-based proof and, hence, extension-based proofs are limited in power.}, author = {Alistarh, Dan-Adrian and Aspnes, James and Ellen, Faith and Gelashvili, Rati and Zhu, Leqi}, booktitle = {Proceedings of the 39th Symposium on Principles of Distributed Computing}, isbn = {9781450375825}, location = {Virtual, Italy}, pages = {54--56}, publisher = {Association for Computing Machinery}, title = {{Brief Announcement: Why Extension-Based Proofs Fail}}, doi = {10.1145/3382734.3405743}, year = {2020}, } @article{8385, abstract = {We present a method for animating yarn-level cloth effects using a thin-shell solver. We accomplish this through numerical homogenization: we first use a large number of yarn-level simulations to build a model of the potential energy density of the cloth, and then use this energy density function to compute forces in a thin shell simulator. We model several yarn-based materials, including both woven and knitted fabrics. Our model faithfully reproduces expected effects like the stiffness of woven fabrics, and the highly deformable nature and anisotropy of knitted fabrics. Our approach does not require any real-world experiments nor measurements; because the method is based entirely on simulations, it can generate entirely new material models quickly, without the need for testing apparatuses or human intervention. We provide data-driven models of several woven and knitted fabrics, which can be used for efficient simulation with an off-the-shelf cloth solver.}, author = {Sperl, Georg and Narain, Rahul and Wojtan, Christopher J}, issn = {15577368}, journal = {ACM Transactions on Graphics}, number = {4}, publisher = {Association for Computing Machinery}, title = {{Homogenized yarn-level cloth}}, doi = {10.1145/3386569.3392412}, volume = {39}, year = {2020}, } @article{7956, abstract = {When short-range attractions are combined with long-range repulsions in colloidal particle systems, complex microphases can emerge. Here, we study a system of isotropic particles, which can form lamellar structures or a disordered fluid phase when temperature is varied. We show that, at equilibrium, the lamellar structure crystallizes, while out of equilibrium, the system forms a variety of structures at different shear rates and temperatures above melting. The shear-induced ordering is analyzed by means of principal component analysis and artificial neural networks, which are applied to data of reduced dimensionality. Our results reveal the possibility of inducing ordering by shear, potentially providing a feasible route to the fabrication of ordered lamellar structures from isotropic particles.}, author = {Pȩkalski, J. and Rzadkowski, Wojciech and Panagiotopoulos, A. Z.}, issn = {10897690}, journal = {The Journal of chemical physics}, number = {20}, publisher = {AIP Publishing}, title = {{Shear-induced ordering in systems with competing interactions: A machine learning study}}, doi = {10.1063/5.0005194}, volume = {152}, year = {2020}, } @article{7428, abstract = {In the superconducting regime of FeTe(1−x)Sex, there exist two types of vortices which are distinguished by the presence or absence of zero-energy states in their core. To understand their origin, we examine the interplay of Zeeman coupling and superconducting pairings in three-dimensional metals with band inversion. Weak Zeeman fields are found to suppress intraorbital spin-singlet pairing, known to localize the states at the ends of the vortices on the surface. On the other hand, an orbital-triplet pairing is shown to be stable against Zeeman interactions, but leads to delocalized zero-energy Majorana modes which extend through the vortex. In contrast, the finite-energy vortex modes remain localized at the vortex ends even when the pairing is of orbital-triplet form. Phenomenologically, this manifests as an observed disappearance of zero-bias peaks within the cores of topological vortices upon an increase of the applied magnetic field. The presence of magnetic impurities in FeTe(1−x)Sex, which are attracted to the vortices, would lead to such Zeeman-induced delocalization of Majorana modes in a fraction of vortices that capture a large enough number of magnetic impurities. Our results provide an explanation for the dichotomy between topological and nontopological vortices recently observed in FeTe(1−x)Sex.}, author = {Ghazaryan, Areg and Lopes, P. L.S. and Hosur, Pavan and Gilbert, Matthew J. and Ghaemi, Pouyan}, issn = {24699969}, journal = {Physical Review B}, number = {2}, publisher = {American Physical Society}, title = {{Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors}}, doi = {10.1103/PhysRevB.101.020504}, volume = {101}, year = {2020}, } @article{8319, abstract = {We demonstrate that releasing atoms into free space from an optical lattice does not deteriorate cavity-generated spin squeezing for metrological purposes. In this work, an ensemble of 500000 spin-squeezed atoms in a high-finesse optical cavity with near-uniform atom-cavity coupling is prepared, released into free space, recaptured in the cavity, and probed. Up to ∼10 dB of metrologically relevant squeezing is retrieved for 700μs free-fall times, and decaying levels of squeezing are realized for up to 3 ms free-fall times. The degradation of squeezing results from loss of atom-cavity coupling homogeneity between the initial squeezed state generation and final collective state readout. A theoretical model is developed to quantify this degradation and this model is experimentally validated.}, author = {Wu, Yunfan and Krishnakumar, Rajiv and Martínez-Rincón, Julián and Malia, Benjamin K. and Hosten, Onur and Kasevich, Mark A.}, issn = {24699934}, journal = {Physical Review A}, number = {1}, publisher = {American Physical Society}, title = {{Retrieval of cavity-generated atomic spin squeezing after free-space release}}, doi = {10.1103/PhysRevA.102.012224}, volume = {102}, year = {2020}, } @article{8766, abstract = {The “procedural” approach to animating ocean waves is the dominant algorithm for animating larger bodies of water in interactive applications as well as in off-line productions — it provides high visual quality with a low computational demand. In this paper, we widen the applicability of procedural water wave animation with an extension that guarantees the satisfaction of boundary conditions imposed by terrain while still approximating physical wave behavior. In combination with a particle system that models wave breaking, foam, and spray, this allows us to naturally model waves interacting with beaches and rocks. Our system is able to animate waves at large scales at interactive frame rates on a commodity PC.}, author = {Jeschke, Stefan and Hafner, Christian and Chentanez, Nuttapong and Macklin, Miles and Müller-Fischer, Matthias and Wojtan, Christopher J}, journal = {Computer Graphics forum}, location = {Online Symposium}, number = {8}, pages = {47--54}, publisher = {Wiley}, title = {{Making procedural water waves boundary-aware}}, doi = {10.1111/cgf.14100}, volume = {39}, year = {2020}, } @article{15055, abstract = {Markov decision processes (MDPs) are the defacto framework for sequential decision making in the presence of stochastic uncertainty. A classical optimization criterion for MDPs is to maximize the expected discounted-sum payoff, which ignores low probability catastrophic events with highly negative impact on the system. On the other hand, risk-averse policies require the probability of undesirable events to be below a given threshold, but they do not account for optimization of the expected payoff. We consider MDPs with discounted-sum payoff with failure states which represent catastrophic outcomes. The objective of risk-constrained planning is to maximize the expected discounted-sum payoff among risk-averse policies that ensure the probability to encounter a failure state is below a desired threshold. Our main contribution is an efficient risk-constrained planning algorithm that combines UCT-like search with a predictor learned through interaction with the MDP (in the style of AlphaZero) and with a risk-constrained action selection via linear programming. We demonstrate the effectiveness of our approach with experiments on classical MDPs from the literature, including benchmarks with an order of 106 states.}, author = {Brázdil, Tomáš and Chatterjee, Krishnendu and Novotný, Petr and Vahala, Jiří}, issn = {2374-3468}, journal = {Proceedings of the 34th AAAI Conference on Artificial Intelligence}, keywords = {General Medicine}, location = {New York, NY, United States}, number = {06}, pages = {9794--9801}, publisher = {Association for the Advancement of Artificial Intelligence}, title = {{Reinforcement learning of risk-constrained policies in Markov decision processes}}, doi = {10.1609/aaai.v34i06.6531}, volume = {34}, year = {2020}, } @article{15057, abstract = {Vaccinia virus–related kinase (VRK) is an evolutionarily conserved nuclear protein kinase. VRK-1, the single Caenorhabditis elegans VRK ortholog, functions in cell division and germline proliferation. However, the role of VRK-1 in postmitotic cells and adult life span remains unknown. Here, we show that VRK-1 increases organismal longevity by activating the cellular energy sensor, AMP-activated protein kinase (AMPK), via direct phosphorylation. We found that overexpression of vrk-1 in the soma of adult C. elegans increased life span and, conversely, inhibition of vrk-1 decreased life span. In addition, vrk-1 was required for longevity conferred by mutations that inhibit C. elegans mitochondrial respiration, which requires AMPK. VRK-1 directly phosphorylated and up-regulated AMPK in both C. elegans and cultured human cells. Thus, our data show that the somatic nuclear kinase, VRK-1, promotes longevity through AMPK activation, and this function appears to be conserved between C. elegans and humans.}, author = {Park, Sangsoon and Artan, Murat and Han, Seung Hyun and Park, Hae-Eun H. and Jung, Yoonji and Hwang, Ara B. and Shin, Won Sik and Kim, Kyong-Tai and Lee, Seung-Jae V.}, issn = {2375-2548}, journal = {Science Advances}, number = {27}, publisher = {American Association for the Advancement of Science}, title = {{VRK-1 extends life span by activation of AMPK via phosphorylation}}, doi = {10.1126/sciadv.aaw7824}, volume = {6}, year = {2020}, } @article{15061, abstract = {The actin cytoskeleton, a dynamic network of actin filaments and associated F-actin–binding proteins, is fundamentally important in eukaryotes. α-Actinins are major F-actin bundlers that are inhibited by Ca2+ in nonmuscle cells. Here we report the mechanism of Ca2+-mediated regulation of Entamoeba histolytica α-actinin-2 (EhActn2) with features expected for the common ancestor of Entamoeba and higher eukaryotic α-actinins. Crystal structures of Ca2+-free and Ca2+-bound EhActn2 reveal a calmodulin-like domain (CaMD) uniquely inserted within the rod domain. Integrative studies reveal an exceptionally high affinity of the EhActn2 CaMD for Ca2+, binding of which can only be regulated in the presence of physiological concentrations of Mg2+. Ca2+ binding triggers an increase in protein multidomain rigidity, reducing conformational flexibility of F-actin–binding domains via interdomain cross-talk and consequently inhibiting F-actin bundling. In vivo studies uncover that EhActn2 plays an important role in phagocytic cup formation and might constitute a new drug target for amoebic dysentery.}, author = {Pinotsis, Nikos and Zielinska, Karolina and Babuta, Mrigya and Arolas, Joan L. and Kostan, Julius and Khan, Muhammad Bashir and Schreiner, Claudia and Testa Salmazo, Anita P and Ciccarelli, Luciano and Puchinger, Martin and Gkougkoulia, Eirini A. and Ribeiro, Euripedes de Almeida and Marlovits, Thomas C. and Bhattacharya, Alok and Djinovic-Carugo, Kristina}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences}, number = {36}, pages = {22101--22112}, publisher = {Proceedings of the National Academy of Sciences}, title = {{Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin}}, doi = {10.1073/pnas.1917269117}, volume = {117}, year = {2020}, } @article{15064, abstract = {We call a continuous self-map that reveals itself through a discrete set of point-value pairs a sampled dynamical system. Capturing the available information with chain maps on Delaunay complexes, we use persistent homology to quantify the evidence of recurrent behavior. We establish a sampling theorem to recover the eigenspaces of the endomorphism on homology induced by the self-map. Using a combinatorial gradient flow arising from the discrete Morse theory for Čech and Delaunay complexes, we construct a chain map to transform the problem from the natural but expensive Čech complexes to the computationally efficient Delaunay triangulations. The fast chain map algorithm has applications beyond dynamical systems.}, author = {Bauer, U. and Edelsbrunner, Herbert and Jablonski, Grzegorz and Mrozek, M.}, issn = {2367-1734}, journal = {Journal of Applied and Computational Topology}, number = {4}, pages = {455--480}, publisher = {Springer Nature}, title = {{Čech-Delaunay gradient flow and homology inference for self-maps}}, doi = {10.1007/s41468-020-00058-8}, volume = {4}, year = {2020}, } @article{15063, abstract = {We consider the least singular value of a large random matrix with real or complex i.i.d. Gaussian entries shifted by a constant z∈C. We prove an optimal lower tail estimate on this singular value in the critical regime where z is around the spectral edge, thus improving the classical bound of Sankar, Spielman and Teng (SIAM J. Matrix Anal. Appl. 28:2 (2006), 446–476) for the particular shift-perturbation in the edge regime. Lacking Brézin–Hikami formulas in the real case, we rely on the superbosonization formula (Comm. Math. Phys. 283:2 (2008), 343–395).}, author = {Cipolloni, Giorgio and Erdös, László and Schröder, Dominik J}, issn = {2690-1005}, journal = {Probability and Mathematical Physics}, keywords = {General Medicine}, number = {1}, pages = {101--146}, publisher = {Mathematical Sciences Publishers}, title = {{Optimal lower bound on the least singular value of the shifted Ginibre ensemble}}, doi = {10.2140/pmp.2020.1.101}, volume = {1}, year = {2020}, } @inproceedings{15059, abstract = {In this paper we present a room temperature radiometer that can eliminate the need of using cryostats in satellite payload reducing its weight and improving reliability. The proposed radiometer is based on an electro-optic upconverter that boosts up microwave photons energy by upconverting them into an optical domain what makes them immune to thermal noise even if operating at room temperature. The converter uses a high-quality factor whispering gallery mode (WGM) resonator providing naturally narrow bandwidth and therefore might be useful for applications like microwave hyperspectral sensing. The upconversion process is explained by providing essential information about photon conversion efficiency and sensitivity. To prove the concept, we describe an experiment which shows state-of-the-art photon conversion efficiency n=10-5 per mW of pump power at the frequency of 80 GHz.}, author = {Wasiak, Michal and Botello, Gabriel Santamaria and Abdalmalak, Kerlos Atia and Sedlmeir, Florian and Rueda Sanchez, Alfredo R and Segovia-Vargas, Daniel and Schwefel, Harald G. L. and Munoz, Luis Enrique Garcia}, booktitle = {14th European Conference on Antennas and Propagation}, location = {Copenhagen, Denmark}, publisher = {IEEE}, title = {{Compact millimeter and submillimeter-wave photonic radiometer for cubesats}}, doi = {10.23919/eucap48036.2020.9135962}, year = {2020}, } @inproceedings{15074, abstract = {We introduce a new graph problem, the token dropping game, and we show how to solve it efficiently in a distributed setting. We use the token dropping game as a tool to design an efficient distributed algorithm for the stable orientation problem, which is a special case of the more general locally optimal semi-matching problem. The prior work by Czygrinow et al. (DISC 2012) finds a locally optimal semi-matching in O(Δ⁵) rounds in graphs of maximum degree Δ, which directly implies an algorithm with the same runtime for stable orientations. We improve the runtime to O(Δ⁴) for stable orientations and prove a lower bound of Ω(Δ) rounds.}, author = {Brandt, Sebastian and Keller, Barbara and Rybicki, Joel and Suomela, Jukka and Uitto, Jara}, booktitle = {34th International Symposium on Distributed Computing}, location = {Virtual}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Brief announcement: Efficient load-balancing through distributed token dropping}}, doi = {10.4230/LIPIcs.DISC.2020.40}, volume = {179}, year = {2020}, } @inproceedings{15077, abstract = {We consider the following dynamic load-balancing process: given an underlying graph G with n nodes, in each step t≥ 0, one unit of load is created, and placed at a randomly chosen graph node. In the same step, the chosen node picks a random neighbor, and the two nodes balance their loads by averaging them. We are interested in the expected gap between the minimum and maximum loads at nodes as the process progresses, and its dependence on n and on the graph structure. Variants of the above graphical balanced allocation process have been studied previously by Peres, Talwar, and Wieder [Peres et al., 2015], and by Sauerwald and Sun [Sauerwald and Sun, 2015]. These authors left as open the question of characterizing the gap in the case of cycle graphs in the dynamic case, where weights are created during the algorithm’s execution. For this case, the only known upper bound is of 𝒪(n log n), following from a majorization argument due to [Peres et al., 2015], which analyzes a related graphical allocation process. In this paper, we provide an upper bound of 𝒪 (√n log n) on the expected gap of the above process for cycles of length n. We introduce a new potential analysis technique, which enables us to bound the difference in load between k-hop neighbors on the cycle, for any k ≤ n/2. We complement this with a "gap covering" argument, which bounds the maximum value of the gap by bounding its value across all possible subsets of a certain structure, and recursively bounding the gaps within each subset. We provide analytical and experimental evidence that our upper bound on the gap is tight up to a logarithmic factor.}, author = {Alistarh, Dan-Adrian and Nadiradze, Giorgi and Sabour, Amirmojtaba}, booktitle = {47th International Colloquium on Automata, Languages, and Programming}, location = {Saarbrücken, Germany, Virtual}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Dynamic averaging load balancing on cycles}}, doi = {10.4230/LIPIcs.ICALP.2020.7}, volume = {168}, year = {2020}, } @inproceedings{15082, abstract = {Two plane drawings of geometric graphs on the same set of points are called disjoint compatible if their union is plane and they do not have an edge in common. For a given set S of 2n points two plane drawings of perfect matchings M1 and M2 (which do not need to be disjoint nor compatible) are disjoint tree-compatible if there exists a plane drawing of a spanning tree T on S which is disjoint compatible to both M1 and M2. We show that the graph of all disjoint tree-compatible perfect geometric matchings on 2n points in convex position is connected if and only if 2n ≥ 10. Moreover, in that case the diameter of this graph is either 4 or 5, independent of n.}, author = {Aichholzer, Oswin and Obmann, Julia and Patak, Pavel and Perz, Daniel and Tkadlec, Josef}, booktitle = {36th European Workshop on Computational Geometry}, location = {Würzburg, Germany, Virtual}, title = {{Disjoint tree-compatible plane perfect matchings}}, year = {2020}, } @article{6748, abstract = {Fitting a function by using linear combinations of a large number N of `simple' components is one of the most fruitful ideas in statistical learning. This idea lies at the core of a variety of methods, from two-layer neural networks to kernel regression, to boosting. In general, the resulting risk minimization problem is non-convex and is solved by gradient descent or its variants. Unfortunately, little is known about global convergence properties of these approaches. Here we consider the problem of learning a concave function f on a compact convex domain Ω⊆ℝd, using linear combinations of `bump-like' components (neurons). The parameters to be fitted are the centers of N bumps, and the resulting empirical risk minimization problem is highly non-convex. We prove that, in the limit in which the number of neurons diverges, the evolution of gradient descent converges to a Wasserstein gradient flow in the space of probability distributions over Ω. Further, when the bump width δ tends to 0, this gradient flow has a limit which is a viscous porous medium equation. Remarkably, the cost function optimized by this gradient flow exhibits a special property known as displacement convexity, which implies exponential convergence rates for N→∞, δ→0. Surprisingly, this asymptotic theory appears to capture well the behavior for moderate values of δ,N. Explaining this phenomenon, and understanding the dependence on δ,N in a quantitative manner remains an outstanding challenge.}, author = {Javanmard, Adel and Mondelli, Marco and Montanari, Andrea}, issn = {1941-7330}, journal = {Annals of Statistics}, number = {6}, pages = {3619--3642}, publisher = {Institute of Mathematical Statistics}, title = {{Analysis of a two-layer neural network via displacement convexity}}, doi = {10.1214/20-AOS1945}, volume = {48}, year = {2020}, } @article{15070, abstract = {This workshop focused on interactions between the various perspectives on the moduli space of Higgs bundles over a Riemann surface. This subject draws on algebraic geometry, geometric topology, geometric analysis and mathematical physics, and the goal was to promote interactions between these various branches of the subject. The main current directions of research were well represented by the participants, and the talks included many from both senior and junior participants.}, author = {Anderson, Lara and Hausel, Tamás and Mazzeo, Rafe and Schaposnik, Laura}, issn = {1660-8933}, journal = {Oberwolfach Reports}, keywords = {Organic Chemistry, Biochemistry}, number = {2}, pages = {1357--1417}, publisher = {European Mathematical Society}, title = {{Geometry and physics of Higgs bundles}}, doi = {10.4171/owr/2019/23}, volume = {16}, year = {2020}, } @article{8741, abstract = {In ecology, climate and other fields, (sub)systems have been identified that can transition into a qualitatively different state when a critical threshold or tipping point in a driving process is crossed. An understanding of those tipping elements is of great interest given the increasing influence of humans on the biophysical Earth system. Complex interactions exist between tipping elements, e.g. physical mechanisms connect subsystems of the climate system. Based on earlier work on such coupled nonlinear systems, we systematically assessed the qualitative long-term behaviour of interacting tipping elements. We developed an understanding of the consequences of interactions on the tipping behaviour allowing for tipping cascades to emerge under certain conditions. The (narrative) application of these qualitative results to real-world examples of interacting tipping elements indicates that tipping cascades with profound consequences may occur: the interacting Greenland ice sheet and thermohaline ocean circulation might tip before the tipping points of the isolated subsystems are crossed. The eutrophication of the first lake in a lake chain might propagate through the following lakes without a crossing of their individual critical nutrient input levels. The possibility of emerging cascading tipping dynamics calls for the development of a unified theory of interacting tipping elements and the quantitative analysis of interacting real-world tipping elements.}, author = {Klose, Ann Kristin and Karle, Volker and Winkelmann, Ricarda and Donges, Jonathan F.}, issn = {20545703}, journal = {Royal Society Open Science}, number = {6}, publisher = {The Royal Society}, title = {{Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements}}, doi = {10.1098/rsos.200599}, volume = {7}, year = {2020}, } @article{7687, abstract = {A working group, which was established within the Network of Repository Managers (RepManNet), has dealt with common certifications for repositories. In addition, current requirements of the research funding agencies FWF and EU were also taken into account. The Core Trust Seal was examined in more detail. For this purpose, a questionnaire was sent to those organizations that are already certified with CTS in Austria. The answers were summarized and evaluated anonymously. It is recommended to go for a repository certification. Moreover, the development of a DINI certificate in Austria is strongly suggested.}, author = {Ernst, Doris and Novotny, Gertraud and Schönher, Eva Maria}, issn = {1022-2588}, journal = {Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare}, number = {1}, pages = {46--59}, publisher = {Vereinigung Osterreichischer Bibliothekarinnen und Bibliothekare}, title = {{(Core Trust) Seal your repository!}}, doi = {10.31263/voebm.v73i1.3491}, volume = {73}, year = {2020}, } @article{15079, abstract = {Large complex systems tend to develop universal patterns that often represent their essential characteristics. For example, the cumulative effects of independent or weakly dependent random variables often yield the Gaussian universality class via the central limit theorem. For non-commutative random variables, e.g. matrices, the Gaussian behavior is often replaced by another universality class, commonly called random matrix statistics. Nearby eigenvalues are strongly correlated, and, remarkably, their correlation structure is universal, depending only on the symmetry type of the matrix. Even more surprisingly, this feature is not restricted to matrices; in fact Eugene Wigner, the pioneer of the field, discovered in the 1950s that distributions of the gaps between energy levels of complicated quantum systems universally follow the same random matrix statistics. This claim has never been rigorously proved for any realistic physical system but experimental data and extensive numerics leave no doubt as to its correctness. Since then random matrices have proved to be extremely useful phenomenological models in a wide range of applications beyond quantum physics that include number theory, statistics, neuroscience, population dynamics, wireless communication and mathematical finance. The ubiquity of random matrices in natural sciences is still a mystery, but recent years have witnessed a breakthrough in the mathematical description of the statistical structure of their spectrum. Random matrices and closely related areas such as log-gases have become an extremely active research area in probability theory. This workshop brought together outstanding researchers from a variety of mathematical backgrounds whose areas of research are linked to random matrices. While there are strong links between their motivations, the techniques used by these researchers span a large swath of mathematics, ranging from purely algebraic techniques to stochastic analysis, classical probability theory, operator algebra, supersymmetry, orthogonal polynomials, etc.}, author = {Erdös, László and Götze, Friedrich and Guionnet, Alice}, issn = {1660-8933}, journal = {Oberwolfach Reports}, number = {4}, pages = {3459--3527}, publisher = {European Mathematical Society}, title = {{Random matrices}}, doi = {10.4171/owr/2019/56}, volume = {16}, year = {2020}, } @article{15072, abstract = {The interaction among fundamental particles in nature leads to many interesting effects in quantum statistical mechanics; examples include superconductivity for charged systems and superfluidity in cold gases. It is a huge challenge for mathematical physics to understand the collective behavior of systems containing a large number of particles, emerging from known microscopic interactions. In this workshop we brought together researchers working on different aspects of many-body quantum mechanics to discuss recent developments, exchange ideas and propose new challenges and research directions.}, author = {Hainzl, Christian and Schlein, Benjamin and Seiringer, Robert and Warzel, Simone}, issn = {1660-8933}, journal = {Oberwolfach Reports}, number = {3}, pages = {2541--2603}, publisher = {European Mathematical Society}, title = {{Many-body quantum systems}}, doi = {10.4171/owr/2019/41}, volume = {16}, year = {2020}, } @inproceedings{15071, abstract = {A mesophilic methanogenic culture, designated JL01, was isolated from Holocene permafrost in the Russian Arctic [1]. After long-term extensive cultivation at 15°C it turned out to be a tied binary culture of archaeal (JL01) and bacterial (Sphaerochaeta associata GLS2) strains. Strain JL01 was a strict anaerobe and grew on methanol, acetate and methylamines as energy and carbon sources. Cells were irregular coccoid, non-motile, non-spore-forming, and Gram-stainpositive. Optimum conditions for growth were 24-28 oC, pH 6.8–7.3 and 0.075-0.1 M NaCl. Phylogenetic tree reconstructions based on 16S rRNA and concatenated alignment of broadly conserved protein-coding genes revealed its close relation to Methanosarcina mazei S-6 T (similarity 99.5%). The comparison of whole genomic sequences (ANI) of the isolate and the type strain of M.mazei was 98.5%, which is higher than the values recommended for new species. Thus strain JL01 (=VKM B-2370=JCM 31898) represents the first M. mazei isolated from permanently subzero Arcticsediments. The long-term co-cultivation of JL01 with S. associata GLS2T showed the methane production without any additional carbon and energy sources. Genome analysis of S. associata GLS2T revealed putative genes involved in methanochondroithin catabolism.}, author = {Oshurkova, Viktoriia and Troshina, Olga and Trubitsyn, Vladimir and Ryzhmanova, Yana and Bochkareva, Olga and Shcherbakova, Viktoria}, booktitle = {Proceedings of 1st International Electronic Conference on Microbiology}, location = {Virtual}, publisher = {MDPI}, title = {{Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLS2T}}, doi = {10.3390/ecm2020-07116}, year = {2020}, } @phdthesis{7525, abstract = {The medial habenula (MHb) is an evolutionary conserved epithalamic structure important for the modulation of emotional memory. It is involved in regulation of anxiety, compulsive behavior, addiction (nicotinic and opioid), sexual and feeding behavior. MHb receives inputs from septal regions and projects exclusively to the interpeduncular nucleus (IPN). Distinct sub-regions of the septum project to different subnuclei of MHb: the bed nucleus of anterior commissure projects to dorsal MHb and the triangular septum projects to ventral MHb. Furthermore, the dorsal and ventral MHb project to the lateral and rostral/central IPN, respectively. Importantly, these projections have unique features of prominent co-release of different neurotransmitters and requirement of a peculiar type of calcium channel for release. In general, synaptic neurotransmission requires an activity-dependent influx of Ca2+ into the presynaptic terminal through voltage-gated calcium channels. The calcium channel family most commonly involved in neurotransmitter release comprises three members, P/Q-, N- and R-type with Cav2.1, Cav2.2 and Cav2.3 subunits, respectively. In contrast to most CNS synapses that mainly express Cav2.1 and/or Cav2.2, MHb terminals in the IPN exclusively express Cav2.3. In other parts of the brain, such as the hippocampus, Cav2.3 is mostly located to postsynaptic elements. This unusual presynaptic location of Cav2.3 in the MHb-IPN pathway implies unique mechanisms of glutamate release in this pathway. One potential example of such uniqueness is the facilitation of release by GABAB receptor (GBR) activation. Presynaptic GBRs usually inhibit the release of neurotransmitters by inhibiting presynaptic calcium channels. MHb shows the highest expression levels of GBR in the brain. GBRs comprise two subunits, GABAB1 (GB1) and GABAB2 (GB2), and are associated with auxiliary subunits, called potassium channel tetramerization domain containing proteins (KCTD) 8, 12, 12b and 16. Among these four subunits, KCTD12b is exclusively expressed in ventral MHb, and KCTD8 shows the strongest expression in the whole MHb among other brain regions, indicating that KCTD8 and KCTD12b may be involved in the unique mechanisms of neurotransmitter release mediated by Cav2.3 and regulated by GBRs in this pathway. In the present study, we first verified that neurotransmission in both dorsal and ventral MHb-IPN pathways is mainly mediated by Cav2.3 using a selective blocker of R-type channels, SNX-482. We next found that baclofen, a GBR agonist, has facilitatory effects on release from ventral MHb terminal in rostral IPN, whereas it has inhibitory effects on release from dorsal MHb terminals in lateral IPN, indicating that KCTD12b expressed exclusively in ventral MHb may have a role in the facilitatory effects of GBR activation. In a heterologous expression system using HEK cells, we found that KCTD8 and KCTD12b but not KCTD12 directly bind with Cav2.3. Pre-embedding immunogold electron microscopy data show that Cav2.3 and KCTD12b are distributed most densely in presynaptic active zone in IPN with KCTD12b being present only in rostral/central but not lateral IPN, whereas GABAB, KCTD8 and KCTD12 are distributed most densely in perisynaptic sites with KCTD12 present more frequently in postsynaptic elements and only in rostral/central IPN. In freeze-fracture replica labelling, Cav2.3, KCTD8 and KCTD12b are co-localized with each other in the same active zone indicating that they may form complexes regulating vesicle release in rostral IPN. On electrophysiological studies of wild type (WT) mice, we found that paired-pulse ratio in rostral IPN of KCTD12b knock-out (KO) mice is lower than those of WT and KCTD8 KO mice. Consistent with this finding, in mean variance analysis, release probability in rostral IPN of KCTD12b KO mice is higher than that of WT and KCTD8 KO mice. Although paired-pulse ratios are not different between WT and KCTD8 KO mice, the mean variance analysis revealed significantly lower release probability in rostral IPN of KCTD8 KO than WT mice. These results demonstrate bidirectional regulation of Cav2.3-mediated release by KCTD8 and KCTD12b without GBR activation in rostral IPN. Finally, we examined the baclofen effects in rostral IPN of KCTD8 and KCTD12b KO mice, and found the facilitation of release remained in both KO mice, indicating that the peculiar effects of the GBR activation in this pathway do not depend on the selective expression of these KCTD subunits in ventral MHb. However, we found that presynaptic potentiation of evoked EPSC amplitude by baclofen falls to baseline after washout faster in KCTD12b KO mice than WT, KCTD8 KO and KCTD8/12b double KO mice. This result indicates that KCTD12b is involved in sustained potentiation of vesicle release by GBR activation, whereas KCTD8 is involved in its termination in the absence of KCTD12b. Consistent with these functional findings, replica labelling revealed an increase in density of KCTD8, but not Cav2.3 or GBR at active zone in rostral IPN of KCTD12b KO mice compared with that of WT mice, suggesting that increased association of KCTD8 with Cav2.3 facilitates the release probability and termination of the GBR effect in the absence of KCTD12b. In summary, our study provided new insights into the physiological roles of presynaptic Cav2.3, GBRs and their auxiliary subunits KCTDs at an evolutionary conserved neuronal circuit. Future studies will be required to identify the exact molecular mechanism underlying the GBR-mediated presynaptic potentiation on ventral MHb terminals. It remains to be determined whether the prominent presence of presynaptic KCTDs at active zone could exert similar neuromodulatory functions in different pathways of the brain. }, author = {Bhandari, Pradeep}, issn = {2663-337X}, keywords = {Cav2.3, medial habenula (MHb), interpeduncular nucleus (IPN)}, pages = {79}, publisher = {Institute of Science and Technology Austria}, title = {{Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway}}, doi = {10.15479/AT:ISTA:7525}, year = {2020}, } @article{8586, abstract = {Cryo-electron microscopy (cryo-EM) of cellular specimens provides insights into biological processes and structures within a native context. However, a major challenge still lies in the efficient and reproducible preparation of adherent cells for subsequent cryo-EM analysis. This is due to the sensitivity of many cellular specimens to the varying seeding and culturing conditions required for EM experiments, the often limited amount of cellular material and also the fragility of EM grids and their substrate. Here, we present low-cost and reusable 3D printed grid holders, designed to improve specimen preparation when culturing challenging cellular samples directly on grids. The described grid holders increase cell culture reproducibility and throughput, and reduce the resources required for cell culturing. We show that grid holders can be integrated into various cryo-EM workflows, including micro-patterning approaches to control cell seeding on grids, and for generating samples for cryo-focused ion beam milling and cryo-electron tomography experiments. Their adaptable design allows for the generation of specialized grid holders customized to a large variety of applications.}, author = {Fäßler, Florian and Zens, Bettina and Hauschild, Robert and Schur, Florian KM}, issn = {1047-8477}, journal = {Journal of Structural Biology}, keywords = {electron microscopy, cryo-EM, EM sample preparation, 3D printing, cell culture}, number = {3}, publisher = {Elsevier}, title = {{3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy}}, doi = {10.1016/j.jsb.2020.107633}, volume = {212}, year = {2020}, } @phdthesis{8657, abstract = {Synthesis of proteins – translation – is a fundamental process of life. Quantitative studies anchor translation into the context of bacterial physiology and reveal several mathematical relationships, called “growth laws,” which capture physiological feedbacks between protein synthesis and cell growth. Growth laws describe the dependency of the ribosome abundance as a function of growth rate, which can change depending on the growth conditions. Perturbations of translation reveal that bacteria employ a compensatory strategy in which the reduced translation capability results in increased expression of the translation machinery. Perturbations of translation are achieved in various ways; clinically interesting is the application of translation-targeting antibiotics – translation inhibitors. The antibiotic effects on bacterial physiology are often poorly understood. Bacterial responses to two or more simultaneously applied antibiotics are even more puzzling. The combined antibiotic effect determines the type of drug interaction, which ranges from synergy (the effect is stronger than expected) to antagonism (the effect is weaker) and suppression (one of the drugs loses its potency). In the first part of this work, we systematically measure the pairwise interaction network for translation inhibitors that interfere with different steps in translation. We find that the interactions are surprisingly diverse and tend to be more antagonistic. To explore the underlying mechanisms, we begin with a minimal biophysical model of combined antibiotic action. We base this model on the kinetics of antibiotic uptake and binding together with the physiological response described by the growth laws. The biophysical model explains some drug interactions, but not all; it specifically fails to predict suppression. In the second part of this work, we hypothesize that elusive suppressive drug interactions result from the interplay between ribosomes halted in different stages of translation. To elucidate this putative mechanism of drug interactions between translation inhibitors, we generate translation bottlenecks genetically using in- ducible control of translation factors that regulate well-defined translation cycle steps. These perturbations accurately mimic antibiotic action and drug interactions, supporting that the interplay of different translation bottlenecks partially causes these interactions. We extend this approach by varying two translation bottlenecks simultaneously. This approach reveals the suppression of translocation inhibition by inhibited translation. We rationalize this effect by modeling dense traffic of ribosomes that move on transcripts in a translation factor-mediated manner. This model predicts a dissolution of traffic jams caused by inhibited translocation when the density of ribosome traffic is reduced by lowered initiation. We base this model on the growth laws and quantitative relationships between different translation and growth parameters. In the final part of this work, we describe a set of tools aimed at quantification of physiological and translation parameters. We further develop a simple model that directly connects the abundance of a translation factor with the growth rate, which allows us to extract physiological parameters describing initiation. We demonstrate the development of tools for measuring translation rate. This thesis showcases how a combination of high-throughput growth rate mea- surements, genetics, and modeling can reveal mechanisms of drug interactions. Furthermore, by a gradual transition from combinations of antibiotics to precise genetic interventions, we demonstrated the equivalency between genetic and chemi- cal perturbations of translation. These findings tile the path for quantitative studies of antibiotic combinations and illustrate future approaches towards the quantitative description of translation.}, author = {Kavcic, Bor}, isbn = {978-3-99078-011-4}, issn = {2663-337X}, pages = {271}, publisher = {Institute of Science and Technology Austria}, title = {{Perturbations of protein synthesis: from antibiotics to genetics and physiology}}, doi = {10.15479/AT:ISTA:8657}, year = {2020}, } @article{7473, abstract = {How structural and functional properties of synapses relate to each other is a fundamental question in neuroscience. Electrophysiology has elucidated mechanisms of synaptic transmission, and electron microscopy (EM) has provided insight into morphological properties of synapses. Here we describe an enhanced method for functional EM (“flash and freeze”), combining optogenetic stimulation with high-pressure freezing. We demonstrate that the improved method can be applied to intact networks in acute brain slices and organotypic slice cultures from mice. As a proof of concept, we probed vesicle pool changes during synaptic transmission at the hippocampal mossy fiber-CA3 pyramidal neuron synapse. Our findings show overlap of the docked vesicle pool and the functionally defined readily releasable pool and provide evidence of fast endocytosis at this synapse. Functional EM with acute slices and slice cultures has the potential to reveal the structural and functional mechanisms of transmission in intact, genetically perturbed, and disease-affected synapses.}, author = {Borges Merjane, Carolina and Kim, Olena and Jonas, Peter M}, issn = {0896-6273}, journal = {Neuron}, pages = {992--1006}, publisher = {Elsevier}, title = {{Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices}}, doi = {10.1016/j.neuron.2019.12.022}, volume = {105}, year = {2020}, } @article{8250, abstract = {Antibiotics that interfere with translation, when combined, interact in diverse and difficult-to-predict ways. Here, we explain these interactions by “translation bottlenecks”: points in the translation cycle where antibiotics block ribosomal progression. To elucidate the underlying mechanisms of drug interactions between translation inhibitors, we generate translation bottlenecks genetically using inducible control of translation factors that regulate well-defined translation cycle steps. These perturbations accurately mimic antibiotic action and drug interactions, supporting that the interplay of different translation bottlenecks causes these interactions. We further show that growth laws, combined with drug uptake and binding kinetics, enable the direct prediction of a large fraction of observed interactions, yet fail to predict suppression. However, varying two translation bottlenecks simultaneously supports that dense traffic of ribosomes and competition for translation factors account for the previously unexplained suppression. These results highlight the importance of “continuous epistasis” in bacterial physiology.}, author = {Kavcic, Bor and Tkačik, Gašper and Bollenbach, Tobias}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Mechanisms of drug interactions between translation-inhibiting antibiotics}}, doi = {10.1038/s41467-020-17734-z}, volume = {11}, year = {2020}, } @unpublished{7673, abstract = {Combining drugs can improve the efficacy of treatments. However, predicting the effect of drug combinations is still challenging. The combined potency of drugs determines the drug interaction, which is classified as synergistic, additive, antagonistic, or suppressive. While probabilistic, non-mechanistic models exist, there is currently no biophysical model that can predict antibiotic interactions. Here, we present a physiologically relevant model of the combined action of antibiotics that inhibit protein synthesis by targeting the ribosome. This model captures the kinetics of antibiotic binding and transport, and uses bacterial growth laws to predict growth in the presence of antibiotic combinations. We find that this biophysical model can produce all drug interaction types except suppression. We show analytically that antibiotics which cannot bind to the ribosome simultaneously generally act as substitutes for one another, leading to additive drug interactions. Previously proposed null expectations for higher-order drug interactions follow as a limiting case of our model. We further extend the model to include the effects of direct physical or allosteric interactions between individual drugs on the ribosome. Notably, such direct interactions profoundly change the combined drug effect, depending on the kinetic parameters of the drugs used. The model makes additional predictions for the effects of resistance genes on drug interactions and for interactions between ribosome-targeting antibiotics and antibiotics with other targets. These findings enhance our understanding of the interplay between drug action and cell physiology and are a key step toward a general framework for predicting drug interactions.}, author = {Kavcic, Bor and Tkačik, Gašper and Bollenbach, Tobias}, booktitle = {bioRxiv}, publisher = {Cold Spring Harbor Laboratory}, title = {{A minimal biophysical model of combined antibiotic action}}, doi = {10.1101/2020.04.18.047886}, year = {2020}, } @article{8002, abstract = {Wound healing in plant tissues, consisting of rigid cell wall-encapsulated cells, represents a considerable challenge and occurs through largely unknown mechanisms distinct from those in animals. Owing to their inability to migrate, plant cells rely on targeted cell division and expansion to regenerate wounds. Strict coordination of these wound-induced responses is essential to ensure efficient, spatially restricted wound healing. Single-cell tracking by live imaging allowed us to gain mechanistic insight into the wound perception and coordination of wound responses after laser-based wounding in Arabidopsis root. We revealed a crucial contribution of the collapse of damaged cells in wound perception and detected an auxin increase specific to cells immediately adjacent to the wound. This localized auxin increase balances wound-induced cell expansion and restorative division rates in a dose-dependent manner, leading to tumorous overproliferation when the canonical TIR1 auxin signaling is disrupted. Auxin and wound-induced turgor pressure changes together also spatially define the activation of key components of regeneration, such as the transcription regulator ERF115. Our observations suggest that the wound signaling involves the sensing of collapse of damaged cells and a local auxin signaling activation to coordinate the downstream transcriptional responses in the immediate wound vicinity.}, author = {Hörmayer, Lukas and Montesinos López, Juan C and Marhavá, Petra and Benková, Eva and Yoshida, Saiko and Friml, Jiří}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences}, number = {26}, publisher = {Proceedings of the National Academy of Sciences}, title = {{Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots}}, doi = {10.1073/pnas.2003346117}, volume = {117}, year = {2020}, } @phdthesis{7680, abstract = {Proteins and their complex dynamic interactions regulate cellular mechanisms from sensing and transducing extracellular signals, to mediating genetic responses, and sustaining or changing cell morphology. To manipulate these protein-protein interactions (PPIs) that govern the behavior and fate of cells, synthetically constructed, genetically encoded tools provide the means to precisely target proteins of interest (POIs), and control their subcellular localization and activity in vitro and in vivo. Ideal synthetic tools react to an orthogonal cue, i.e. a trigger that does not activate any other endogenous process, thereby allowing manipulation of the POI alone. In optogenetics, naturally occurring photosensory domain from plants, algae and bacteria are re-purposed and genetically fused to POIs. Illumination with light of a specific wavelength triggers a conformational change that can mediate PPIs, such as dimerization or oligomerization. By using light as a trigger, these tools can be activated with high spatial and temporal precision, on subcellular and millisecond scales. Chemogenetic tools consist of protein domains that recognize and bind small molecules. By genetic fusion to POIs, these domains can mediate PPIs upon addition of their specific ligands, which are often synthetically designed to provide highly specific interactions and exhibit good bioavailability. Most optogenetic tools to mediate PPIs are based on well-studied photoreceptors responding to red, blue or near-UV light, leaving a striking gap in the green band of the visible light spectrum. Among both optogenetic and chemogenetic tools, there is an abundance of methods to induce PPIs, but tools to disrupt them require UV illumination, rely on covalent linkage and subsequent enzymatic cleavage or initially result in protein clustering of unknown stoichiometry. This work describes how the recently structurally and photochemically characterized green-light responsive cobalamin-binding domains (CBDs) from bacterial transcription factors were re-purposed to function as a green-light responsive optogenetic tool. In contrast to previously engineered optogenetic tools, CBDs do not induce PPI, but rather confer a PPI already upon expression, which can be rapidly disrupted by illumination. This was employed to mimic inhibition of constitutive activity of a growth factor receptor, and successfully implement for cell signalling in mammalian cells and in vivo to rescue development in zebrafish. This work further describes the development and application of a chemically induced de-dimerizer (CDD) based on a recently identified and structurally described bacterial oxyreductase. CDD forms a dimer upon expression in absence of its cofactor, the flavin derivative F420. Safety and of domain expression and ligand exposure are demonstrated in vitro and in vivo in zebrafish. The system is further applied to inhibit cell signalling output from a chimeric receptor upon F420 treatment. CBDs and CDD expand the repertoire of synthetic tools by providing novel mechanisms of mediating PPIs, and by recognizing previously not utilized cues. In the future, they can readily be combined with existing synthetic tools to functionally manipulate PPIs in vitro and in vivo.}, author = {Kainrath, Stephanie}, issn = {2663-337X}, pages = {98}, publisher = {Institute of Science and Technology Austria}, title = {{Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals}}, doi = {10.15479/AT:ISTA:7680}, year = {2020}, } @phdthesis{8620, abstract = {The development of the human brain occurs through a tightly regulated series of dynamic and adaptive processes during prenatal and postnatal life. A disruption of this strictly orchestrated series of events can lead to a number of neurodevelopmental conditions, including Autism Spectrum Disorders (ASDs). ASDs are a very common, etiologically and phenotypically heterogeneous group of disorders sharing the core symptoms of social interaction and communication deficits and restrictive and repetitive interests and behaviors. They are estimated to affect one in 59 individuals in the U.S. and, over the last three decades, mutations in more than a hundred genetic loci have been convincingly linked to ASD pathogenesis. Yet, for the vast majority of these ASD-risk genes their role during brain development and precise molecular function still remain elusive. De novo loss of function mutations in the ubiquitin ligase-encoding gene Cullin 3 (CUL3) lead to ASD. In the study described here, we used Cul3 mouse models to evaluate the consequences of Cul3 mutations in vivo. Our results show that Cul3 heterozygous knockout mice exhibit deficits in motor coordination as well as ASD-relevant social and cognitive impairments. Cul3+/-, Cul3+/fl Emx1-Cre and Cul3fl/fl Emx1-Cre mutant brains display cortical lamination abnormalities due to defective migration of post-mitotic excitatory neurons, as well as reduced numbers of excitatory and inhibitory neurons. In line with the observed abnormal cortical organization, Cul3 heterozygous deletion is associated with decreased spontaneous excitatory and inhibitory activity in the cortex. At the molecular level we show that Cul3 regulates cytoskeletal and adhesion protein abundance in the mouse embryonic cortex. Abnormal regulation of cytoskeletal proteins in Cul3 mutant neural cells results in atypical organization of the actin mesh at the cell leading edge. Of note, heterozygous deletion of Cul3 in adult mice does not induce the majority of the behavioral defects observed in constitutive Cul3 haploinsufficient animals, pointing to a critical time-window for Cul3 deficiency. In conclusion, our data indicate that Cul3 plays a critical role in the regulation of cytoskeletal proteins and neuronal migration. ASD-associated defects and behavioral abnormalities are primarily due to dosage sensitive Cul3 functions at early brain developmental stages.}, author = {Morandell, Jasmin}, issn = {2663-337X}, pages = {138}, publisher = {Institute of Science and Technology Austria}, title = {{Illuminating the role of Cul3 in autism spectrum disorder pathogenesis}}, doi = {10.15479/AT:ISTA:8620}, year = {2020}, } @phdthesis{8340, abstract = {Mitochondria are sites of oxidative phosphorylation in eukaryotic cells. Oxidative phosphorylation operates by a chemiosmotic mechanism made possible by redox-driven proton pumping machines which establish a proton motive force across the inner mitochondrial membrane. This electrochemical proton gradient is used to drive ATP synthesis, which powers the majority of cellular processes such as protein synthesis, locomotion and signalling. In this thesis I investigate the structures and molecular mechanisms of two inner mitochondrial proton pumping enzymes, respiratory complex I and transhydrogenase. I present the first high-resolution structure of the full transhydrogenase from any species, and a significantly improved structure of complex I. Improving the resolution from 3.3 Å available previously to up to 2.3 Å in this thesis allowed us to model bound water molecules, crucial in the proton pumping mechanism. For both enzymes, up to five cryo-EM datasets with different substrates and inhibitors bound were solved to delineate the catalytic cycle and understand the proton pumping mechanism. In transhydrogenase, the proton channel is gated by reversible detachment of the NADP(H)-binding domain which opens the proton channel to the opposite sites of the membrane. In complex I, the proton channels are gated by reversible protonation of key glutamate and lysine residues and breaking of the water wire connecting the proton pumps with the quinone reduction site. The tight coupling between the redox and the proton pumping reactions in transhydrogenase is achieved by controlling the NADP(H) exchange which can only happen when the NADP(H)-binding domain interacts with the membrane domain. In complex I, coupling is achieved by cycling of the whole complex between the closed state, in which quinone can get reduced, and the open state, in which NADH can induce quinol ejection from the binding pocket. On the basis of these results I propose detailed mechanisms for catalytic cycles of transhydrogenase and complex I that are consistent with a large amount of previous work. In both enzymes, conformational and electrostatic mechanisms contribute to the overall catalytic process. Results presented here could be used for better understanding of the human pathologies arising from deficiencies of complex I or transhydrogenase and could be used to develop novel therapies.}, author = {Kampjut, Domen}, isbn = {978-3-99078-008-4}, issn = {2663-337X}, pages = {242}, publisher = {Institute of Science and Technology Austria}, title = {{Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes}}, doi = {10.15479/AT:ISTA:8340}, year = {2020}, } @unpublished{7800, abstract = {De novo loss of function mutations in the ubiquitin ligase-encoding gene Cullin3 (CUL3) lead to autism spectrum disorder (ASD). Here, we used Cul3 mouse models to evaluate the consequences of Cul3 mutations in vivo. Our results show that Cul3 haploinsufficient mice exhibit deficits in motor coordination as well as ASD-relevant social and cognitive impairments. Cul3 mutant brain displays cortical lamination abnormalities due to defective neuronal migration and reduced numbers of excitatory and inhibitory neurons. In line with the observed abnormal columnar organization, Cul3 haploinsufficiency is associated with decreased spontaneous excitatory and inhibitory activity in the cortex. At the molecular level, employing a quantitative proteomic approach, we show that Cul3 regulates cytoskeletal and adhesion protein abundance in mouse embryos. Abnormal regulation of cytoskeletal proteins in Cul3 mutant neuronal cells results in atypical organization of the actin mesh at the cell leading edge, likely causing the observed migration deficits. In contrast to these important functions early in development, Cul3 deficiency appears less relevant at adult stages. In fact, induction of Cul3 haploinsufficiency in adult mice does not result in the behavioral defects observed in constitutive Cul3 haploinsufficient animals. Taken together, our data indicate that Cul3 has a critical role in the regulation of cytoskeletal proteins and neuronal migration and that ASD-associated defects and behavioral abnormalities are primarily due to Cul3 functions at early developmental stages.}, author = {Morandell, Jasmin and Schwarz, Lena A and Basilico, Bernadette and Tasciyan, Saren and Nicolas, Armel and Sommer, Christoph M and Kreuzinger, Caroline and Knaus, Lisa and Dobler, Zoe and Cacci, Emanuele and Danzl, Johann G and Novarino, Gaia}, booktitle = {bioRxiv}, publisher = {Cold Spring Harbor Laboratory}, title = {{Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development}}, doi = {10.1101/2020.01.10.902064 }, year = {2020}, } @article{8131, abstract = {The possibility to generate construct valid animal models enabled the development and testing of therapeutic strategies targeting the core features of autism spectrum disorders (ASDs). At the same time, these studies highlighted the necessity of identifying sensitive developmental time windows for successful therapeutic interventions. Animal and human studies also uncovered the possibility to stratify the variety of ASDs in molecularly distinct subgroups, potentially facilitating effective treatment design. Here, we focus on the molecular pathways emerging as commonly affected by mutations in diverse ASD-risk genes, on their role during critical windows of brain development and the potential treatments targeting these biological processes.}, author = {Basilico, Bernadette and Morandell, Jasmin and Novarino, Gaia}, issn = {18790380}, journal = {Current Opinion in Genetics and Development}, number = {12}, pages = {126--137}, publisher = {Elsevier}, title = {{Molecular mechanisms for targeted ASD treatments}}, doi = {10.1016/j.gde.2020.06.004}, volume = {65}, year = {2020}, } @article{8434, abstract = {Efficient migration on adhesive surfaces involves the protrusion of lamellipodial actin networks and their subsequent stabilization by nascent adhesions. The actin-binding protein lamellipodin (Lpd) is thought to play a critical role in lamellipodium protrusion, by delivering Ena/VASP proteins onto the growing plus ends of actin filaments and by interacting with the WAVE regulatory complex, an activator of the Arp2/3 complex, at the leading edge. Using B16-F1 melanoma cell lines, we demonstrate that genetic ablation of Lpd compromises protrusion efficiency and coincident cell migration without altering essential parameters of lamellipodia, including their maximal rate of forward advancement and actin polymerization. We also confirmed lamellipodia and migration phenotypes with CRISPR/Cas9-mediated Lpd knockout Rat2 fibroblasts, excluding cell type-specific effects. Moreover, computer-aided analysis of cell-edge morphodynamics on B16-F1 cell lamellipodia revealed that loss of Lpd correlates with reduced temporal protrusion maintenance as a prerequisite of nascent adhesion formation. We conclude that Lpd optimizes protrusion and nascent adhesion formation by counteracting frequent, chaotic retraction and membrane ruffling.This article has an associated First Person interview with the first author of the paper. }, author = {Dimchev, Georgi A and Amiri, Behnam and Humphries, Ashley C. and Schaks, Matthias and Dimchev, Vanessa and Stradal, Theresia E. B. and Faix, Jan and Krause, Matthias and Way, Michael and Falcke, Martin and Rottner, Klemens}, issn = {1477-9137}, journal = {Journal of Cell Science}, keywords = {Cell Biology}, number = {7}, publisher = {The Company of Biologists}, title = {{Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation}}, doi = {10.1242/jcs.239020}, volume = {133}, year = {2020}, } @article{7889, abstract = {Autoluminescent plants engineered to express a bacterial bioluminescence gene cluster in plastids have not been widely adopted because of low light output. We engineered tobacco plants with a fungal bioluminescence system that converts caffeic acid (present in all plants) into luciferin and report self-sustained luminescence that is visible to the naked eye. Our findings could underpin development of a suite of imaging tools for plants.}, author = {Mitiouchkina, Tatiana and Mishin, Alexander S. and Gonzalez Somermeyer, Louisa and Markina, Nadezhda M. and Chepurnyh, Tatiana V. and Guglya, Elena B. and Karataeva, Tatiana A. and Palkina, Kseniia A. and Shakhova, Ekaterina S. and Fakhranurova, Liliia I. and Chekova, Sofia V. and Tsarkova, Aleksandra S. and Golubev, Yaroslav V. and Negrebetsky, Vadim V. and Dolgushin, Sergey A. and Shalaev, Pavel V. and Shlykov, Dmitry and Melnik, Olesya A. and Shipunova, Victoria O. and Deyev, Sergey M. and Bubyrev, Andrey I. and Pushin, Alexander S. and Choob, Vladimir V. and Dolgov, Sergey V. and Kondrashov, Fyodor and Yampolsky, Ilia V. and Sarkisyan, Karen S.}, issn = {1546-1696}, journal = {Nature Biotechnology}, pages = {944--946}, publisher = {Springer Nature}, title = {{Plants with genetically encoded autoluminescence}}, doi = {10.1038/s41587-020-0500-9}, volume = {38}, year = {2020}, } @unpublished{9750, abstract = {Tension of the actomyosin cell cortex plays a key role in determining cell-cell contact growth and size. The level of cortical tension outside of the cell-cell contact, when pulling at the contact edge, scales with the total size to which a cell-cell contact can grow1,2. Here we show in zebrafish primary germ layer progenitor cells that this monotonic relationship only applies to a narrow range of cortical tension increase, and that above a critical threshold, contact size inversely scales with cortical tension. This switch from cortical tension increasing to decreasing progenitor cell-cell contact size is caused by cortical tension promoting E-cadherin anchoring to the actomyosin cytoskeleton, thereby increasing clustering and stability of E-cadherin at the contact. Once tension-mediated E-cadherin stabilization at the contact exceeds a critical threshold level, the rate by which the contact expands in response to pulling forces from the cortex sharply drops, leading to smaller contacts at physiologically relevant timescales of contact formation. Thus, the activity of cortical tension in expanding cell-cell contact size is limited by tension stabilizing E-cadherin-actin complexes at the contact.}, author = {Slovakova, Jana and Sikora, Mateusz K and Caballero Mancebo, Silvia and Krens, Gabriel and Kaufmann, Walter and Huljev, Karla and Heisenberg, Carl-Philipp J}, booktitle = {bioRxiv}, pages = {41}, publisher = {Cold Spring Harbor Laboratory}, title = {{Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion}}, doi = {10.1101/2020.11.20.391284}, year = {2020}, } @article{7885, abstract = {Eukaryotic cells migrate by coupling the intracellular force of the actin cytoskeleton to the environment. While force coupling is usually mediated by transmembrane adhesion receptors, especially those of the integrin family, amoeboid cells such as leukocytes can migrate extremely fast despite very low adhesive forces1. Here we show that leukocytes cannot only migrate under low adhesion but can also transmit forces in the complete absence of transmembrane force coupling. When confined within three-dimensional environments, they use the topographical features of the substrate to propel themselves. Here the retrograde flow of the actin cytoskeleton follows the texture of the substrate, creating retrograde shear forces that are sufficient to drive the cell body forwards. Notably, adhesion-dependent and adhesion-independent migration are not mutually exclusive, but rather are variants of the same principle of coupling retrograde actin flow to the environment and thus can potentially operate interchangeably and simultaneously. As adhesion-free migration is independent of the chemical composition of the environment, it renders cells completely autonomous in their locomotive behaviour.}, author = {Reversat, Anne and Gärtner, Florian R and Merrin, Jack and Stopp, Julian A and Tasciyan, Saren and Aguilera Servin, Juan L and De Vries, Ingrid and Hauschild, Robert and Hons, Miroslav and Piel, Matthieu and Callan-Jones, Andrew and Voituriez, Raphael and Sixt, Michael K}, issn = {14764687}, journal = {Nature}, pages = {582–585}, publisher = {Springer Nature}, title = {{Cellular locomotion using environmental topography}}, doi = {10.1038/s41586-020-2283-z}, volume = {582}, year = {2020}, } @article{7426, abstract = {This paper presents a novel abstraction technique for analyzing Lyapunov and asymptotic stability of polyhedral switched systems. A polyhedral switched system is a hybrid system in which the continuous dynamics is specified by polyhedral differential inclusions, the invariants and guards are specified by polyhedral sets and the switching between the modes do not involve reset of variables. A finite state weighted graph abstracting the polyhedral switched system is constructed from a finite partition of the state–space, such that the satisfaction of certain graph conditions, such as the absence of cycles with product of weights on the edges greater than (or equal) to 1, implies the stability of the system. However, the graph is in general conservative and hence, the violation of the graph conditions does not imply instability. If the analysis fails to establish stability due to the conservativeness in the approximation, a counterexample (cycle with product of edge weights greater than or equal to 1) indicating a potential reason for the failure is returned. Further, a more precise approximation of the switched system can be constructed by considering a finer partition of the state–space in the construction of the finite weighted graph. We present experimental results on analyzing stability of switched systems using the above method.}, author = {Garcia Soto, Miriam and Prabhakar, Pavithra}, issn = {1751-570X}, journal = {Nonlinear Analysis: Hybrid Systems}, number = {5}, publisher = {Elsevier}, title = {{Abstraction based verification of stability of polyhedral switched systems}}, doi = {10.1016/j.nahs.2020.100856}, volume = {36}, year = {2020}, } @phdthesis{8983, abstract = {Metabolic adaptation is a critical feature of migrating cells. It tunes the metabolic programs of migrating cells to allow them to efficiently exert their crucial roles in development, inflammatory responses and tumor metastasis. Cell migration through physically challenging contexts requires energy. However, how the metabolic reprogramming that underlies in vivo cell invasion is controlled is still unanswered. In my PhD project, I identify a novel conserved metabolic shift in Drosophila melanogaster immune cells that by modulating their bioenergetic potential controls developmentally programmed tissue invasion. We show that this regulation requires a novel conserved nuclear protein, named Atossa. Atossa enhances the transcription of a set of proteins, including an RNA helicase Porthos and two metabolic enzymes, each of which increases the tissue invasion of leading Drosophila macrophages and can rescue the atossa mutant phenotype. Porthos selectively regulates the translational efficiency of a subset of mRNAs containing a 5’-UTR cis-regulatory TOP-like sequence. These 5’TOPL mRNA targets encode mitochondrial-related proteins, including subunits of mitochondrial oxidative phosphorylation (OXPHOS) components III and V and other metabolic-related proteins. Porthos powers up mitochondrial OXPHOS to engender a sufficient ATP supply, which is required for tissue invasion of leading macrophages. Atossa’s two vertebrate orthologs rescue the invasion defect. In my PhD project, I elucidate that Atossa displays a conserved developmental metabolic control to modulate metabolic capacities and the cellular energy state, through altered transcription and translation, to aid the tissue infiltration of leading cells into energy demanding barriers.}, author = {Emtenani, Shamsi}, issn = {2663-337X}, pages = {141}, publisher = {Institute of Science and Technology Austria}, title = {{Metabolic regulation of Drosophila macrophage tissue invasion}}, doi = {10.15479/AT:ISTA:8983}, year = {2020}, } @unpublished{8557, abstract = {The infiltration of immune cells into tissues underlies the establishment of tissue resident macrophages, and responses to infections and tumors. Yet the mechanisms immune cells utilize to negotiate tissue barriers in living organisms are not well understood, and a role for cortical actin has not been examined. Here we find that the tissue invasion of Drosophila macrophages, also known as plasmatocytes or hemocytes, utilizes enhanced cortical F-actin levels stimulated by the Drosophila member of the fos proto oncogene transcription factor family (Dfos, Kayak). RNA sequencing analysis and live imaging show that Dfos enhances F-actin levels around the entire macrophage surface by increasing mRNA levels of the membrane spanning molecular scaffold tetraspanin TM4SF, and the actin cross-linking filamin Cheerio which are themselves required for invasion. Cortical F-actin levels are critical as expressing a dominant active form of Diaphanous, a actin polymerizing Formin, can rescue the Dfos Dominant Negative macrophage invasion defect. In vivo imaging shows that Dfos is required to enhance the efficiency of the initial phases of macrophage tissue entry. Genetic evidence argues that this Dfos-induced program in macrophages counteracts the constraint produced by the tension of surrounding tissues and buffers the mechanical properties of the macrophage nucleus from affecting tissue entry. We thus identify tuning the cortical actin cytoskeleton through Dfos as a key process allowing efficient forward movement of an immune cell into surrounding tissues.}, author = {Belyaeva, Vera and Wachner, Stephanie and Gridchyn, Igor and Linder, Markus and Emtenani, Shamsi and György, Attila and Sibilia, Maria and Siekhaus, Daria E}, booktitle = {bioRxiv}, title = {{Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance}}, doi = {10.1101/2020.09.18.301481}, year = {2020}, } @unpublished{8831, abstract = {Holes in planar Ge have high mobilities, strong spin-orbit interaction and electrically tunable g-factors, and are therefore emerging as a promising candidate for hybrid superconductorsemiconductor devices. This is further motivated by the observation of supercurrent transport in planar Ge Josephson Field effect transistors (JoFETs). A key challenge towards hybrid germanium quantum technology is the design of high quality interfaces and superconducting contacts that are robust against magnetic fields. By combining the assets of Al, which has a long superconducting coherence, and Nb, which has a significant superconducting gap, we form low-disordered JoFETs with large ICRN products that are capable of withstanding high magnetic fields. We furthermore demonstrate the ability of phase-biasing individual JoFETs opening up an avenue to explore topological superconductivity in planar Ge. The persistence of superconductivity in the reported hybrid devices beyond 1.8 T paves the way towards integrating spin qubits and proximity-induced superconductivity on the same chip.}, author = {Aggarwal, Kushagra and Hofmann, Andrea C and Jirovec, Daniel and Prieto Gonzalez, Ivan and Sammak, Amir and Botifoll, Marc and Marti-Sanchez, Sara and Veldhorst, Menno and Arbiol, Jordi and Scappucci, Giordano and Katsaros, Georgios}, booktitle = {arXiv}, title = {{Enhancement of proximity induced superconductivity in planar Germanium}}, year = {2020}, } @article{8532, abstract = {The molecular anatomy of synapses defines their characteristics in transmission and plasticity. Precise measurements of the number and distribution of synaptic proteins are important for our understanding of synapse heterogeneity within and between brain regions. Freeze–fracture replica immunogold electron microscopy enables us to analyze them quantitatively on a two-dimensional membrane surface. Here, we introduce Darea software, which utilizes deep learning for analysis of replica images and demonstrate its usefulness for quick measurements of the pre- and postsynaptic areas, density and distribution of gold particles at synapses in a reproducible manner. We used Darea for comparing glutamate receptor and calcium channel distributions between hippocampal CA3-CA1 spine synapses on apical and basal dendrites, which differ in signaling pathways involved in synaptic plasticity. We found that apical synapses express a higher density of α-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA) receptors and a stronger increase of AMPA receptors with synaptic size, while basal synapses show a larger increase in N-methyl-D-aspartate (NMDA) receptors with size. Interestingly, AMPA and NMDA receptors are segregated within postsynaptic sites and negatively correlated in density among both apical and basal synapses. In the presynaptic sites, Cav2.1 voltage-gated calcium channels show similar densities in apical and basal synapses with distributions consistent with an exclusion zone model of calcium channel-release site topography.}, author = {Kleindienst, David and Montanaro-Punzengruber, Jacqueline-Claire and Bhandari, Pradeep and Case, Matthew J and Fukazawa, Yugo and Shigemoto, Ryuichi}, issn = {14220067}, journal = {International Journal of Molecular Sciences}, number = {18}, publisher = {MDPI}, title = {{Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses}}, doi = {10.3390/ijms21186737}, volume = {21}, year = {2020}, } @inproceedings{7810, abstract = {Interprocedural data-flow analyses form an expressive and useful paradigm of numerous static analysis applications, such as live variables analysis, alias analysis and null pointers analysis. The most widely-used framework for interprocedural data-flow analysis is IFDS, which encompasses distributive data-flow functions over a finite domain. On-demand data-flow analyses restrict the focus of the analysis on specific program locations and data facts. This setting provides a natural split between (i) an offline (or preprocessing) phase, where the program is partially analyzed and analysis summaries are created, and (ii) an online (or query) phase, where analysis queries arrive on demand and the summaries are used to speed up answering queries. In this work, we consider on-demand IFDS analyses where the queries concern program locations of the same procedure (aka same-context queries). We exploit the fact that flow graphs of programs have low treewidth to develop faster algorithms that are space and time optimal for many common data-flow analyses, in both the preprocessing and the query phase. We also use treewidth to develop query solutions that are embarrassingly parallelizable, i.e. the total work for answering each query is split to a number of threads such that each thread performs only a constant amount of work. Finally, we implement a static analyzer based on our algorithms, and perform a series of on-demand analysis experiments on standard benchmarks. Our experimental results show a drastic speed-up of the queries after only a lightweight preprocessing phase, which significantly outperforms existing techniques.}, author = {Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas}, booktitle = {European Symposium on Programming}, isbn = {9783030449131}, issn = {16113349}, location = {Dublin, Ireland}, pages = {112--140}, publisher = {Springer Nature}, title = {{Optimal and perfectly parallel algorithms for on-demand data-flow analysis}}, doi = {10.1007/978-3-030-44914-8_5}, volume = {12075}, year = {2020}, } @inproceedings{8728, abstract = {Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improvements. In this work, we show that treewidth can also be used to obtain faster algorithms for the quantitative problems. For an MC with n states and m transitions, we show that each of the classical quantitative objectives can be computed in O((n+m)⋅t2) time, given a tree decomposition of the MC with width t. Our results also imply a bound of O(κ⋅(n+m)⋅t2) for each objective on MDPs, where κ is the number of strategy-iteration refinements required for the given input and objective. Finally, we make an experimental evaluation of our new algorithms on low-treewidth MCs and MDPs obtained from the DaCapo benchmark suite. Our experiments show that on low-treewidth MCs and MDPs, our algorithms outperform existing well-established methods by one or more orders of magnitude.}, author = {Asadi, Ali and Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Mohammadi, Kiarash and Pavlogiannis, Andreas}, booktitle = {Automated Technology for Verification and Analysis}, isbn = {9783030591519}, issn = {1611-3349}, location = {Hanoi, Vietnam}, pages = {253--270}, publisher = {Springer Nature}, title = {{Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth}}, doi = {10.1007/978-3-030-59152-6_14}, volume = {12302}, year = {2020}, } @inproceedings{8089, abstract = {We consider the classical problem of invariant generation for programs with polynomial assignments and focus on synthesizing invariants that are a conjunction of strict polynomial inequalities. We present a sound and semi-complete method based on positivstellensaetze, i.e. theorems in semi-algebraic geometry that characterize positive polynomials over a semi-algebraic set. On the theoretical side, the worst-case complexity of our approach is subexponential, whereas the worst-case complexity of the previous complete method (Kapur, ACA 2004) is doubly-exponential. Even when restricted to linear invariants, the best previous complexity for complete invariant generation is exponential (Colon et al, CAV 2003). On the practical side, we reduce the invariant generation problem to quadratic programming (QCLP), which is a classical optimization problem with many industrial solvers. We demonstrate the applicability of our approach by providing experimental results on several academic benchmarks. To the best of our knowledge, the only previous invariant generation method that provides completeness guarantees for invariants consisting of polynomial inequalities is (Kapur, ACA 2004), which relies on quantifier elimination and cannot even handle toy programs such as our running example.}, author = {Chatterjee, Krishnendu and Fu, Hongfei and Goharshady, Amir Kafshdar and Goharshady, Ehsan Kafshdar}, booktitle = {Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation}, isbn = {9781450376136}, location = {London, United Kingdom}, pages = {672--687}, publisher = {Association for Computing Machinery}, title = {{Polynomial invariant generation for non-deterministic recursive programs}}, doi = {10.1145/3385412.3385969}, year = {2020}, } @article{6918, abstract = {We consider the classic problem of Network Reliability. A network is given together with a source vertex, one or more target vertices, and probabilities assigned to each of the edges. Each edge of the network is operable with its associated probability and the problem is to determine the probability of having at least one source-to-target path that is entirely composed of operable edges. This problem is known to be NP-hard. We provide a novel scalable algorithm to solve the Network Reliability problem when the treewidth of the underlying network is small. We also show our algorithm’s applicability for real-world transit networks that have small treewidth, including the metro networks of major cities, such as London and Tokyo. Our algorithm leverages tree decompositions to shrink the original graph into much smaller graphs, for which reliability can be efficiently and exactly computed using a brute force method. To the best of our knowledge, this is the first exact algorithm for Network Reliability that can scale to handle real-world instances of the problem.}, author = {Goharshady, Amir Kafshdar and Mohammadi, Fatemeh}, issn = {09518320}, journal = {Reliability Engineering and System Safety}, publisher = {Elsevier}, title = {{An efficient algorithm for computing network reliability in small treewidth}}, doi = {10.1016/j.ress.2019.106665}, volume = {193}, year = {2020}, } @article{7161, abstract = {In this paper, we introduce an inertial projection-type method with different updating strategies for solving quasi-variational inequalities with strongly monotone and Lipschitz continuous operators in real Hilbert spaces. Under standard assumptions, we establish different strong convergence results for the proposed algorithm. Primary numerical experiments demonstrate the potential applicability of our scheme compared with some related methods in the literature.}, author = {Shehu, Yekini and Gibali, Aviv and Sagratella, Simone}, issn = {1573-2878}, journal = {Journal of Optimization Theory and Applications}, pages = {877–894}, publisher = {Springer Nature}, title = {{Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces}}, doi = {10.1007/s10957-019-01616-6}, volume = {184}, year = {2020}, } @article{7652, abstract = {Organisms cope with change by taking advantage of transcriptional regulators. However, when faced with rare environments, the evolution of transcriptional regulators and their promoters may be too slow. Here, we investigate whether the intrinsic instability of gene duplication and amplification provides a generic alternative to canonical gene regulation. Using real-time monitoring of gene-copy-number mutations in Escherichia coli, we show that gene duplications and amplifications enable adaptation to fluctuating environments by rapidly generating copy-number and, therefore, expression-level polymorphisms. This amplification-mediated gene expression tuning (AMGET) occurs on timescales that are similar to canonical gene regulation and can respond to rapid environmental changes. Mathematical modelling shows that amplifications also tune gene expression in stochastic environments in which transcription-factor-based schemes are hard to evolve or maintain. The fleeting nature of gene amplifications gives rise to a generic population-level mechanism that relies on genetic heterogeneity to rapidly tune the expression of any gene, without leaving any genomic signature.}, author = {Tomanek, Isabella and Grah, Rok and Lagator, M. and Andersson, A. M. C. and Bollback, Jonathan P and Tkačik, Gašper and Guet, Calin C}, issn = {2397-334X}, journal = {Nature Ecology & Evolution}, number = {4}, pages = {612--625}, publisher = {Springer Nature}, title = {{Gene amplification as a form of population-level gene expression regulation}}, doi = {10.1038/s41559-020-1132-7}, volume = {4}, year = {2020}, } @phdthesis{7258, abstract = {Many flows encountered in nature and applications are characterized by a chaotic motion known as turbulence. Turbulent flows generate intense friction with pipe walls and are responsible for considerable amounts of energy losses at world scale. The nature of turbulent friction and techniques aimed at reducing it have been subject of extensive research over the last century, but no definite answer has been found yet. In this thesis we show that in pipes at moderate turbulent Reynolds numbers friction is better described by the power law first introduced by Blasius and not by the Prandtl–von Kármán formula. At higher Reynolds numbers, large scale motions gradually become more important in the flow and can be related to the change in scaling of friction. Next, we present a series of new techniques that can relaminarize turbulence by suppressing a key mechanism that regenerates it at walls, the lift–up effect. In addition, we investigate the process of turbulence decay in several experiments and discuss the drag reduction potential. Finally, we examine the behavior of friction under pulsating conditions inspired by the human heart cycle and we show that under such circumstances turbulent friction can be reduced to produce energy savings.}, author = {Scarselli, Davide}, issn = {2663-337X}, pages = {174}, publisher = {Institute of Science and Technology Austria}, title = {{New approaches to reduce friction in turbulent pipe flow}}, doi = {10.15479/AT:ISTA:7258}, year = {2020}, } @phdthesis{8653, abstract = {Mutations are the raw material of evolution and come in many different flavors. Point mutations change a single letter in the DNA sequence, while copy number mutations like duplications or deletions add or remove many letters of the DNA sequence simultaneously. Each type of mutation exhibits specific properties like its rate of formation and reversal. Gene expression is a fundamental phenotype that can be altered by both, point and copy number mutations. The following thesis is concerned with the dynamics of gene expression evolution and how it is affected by the properties exhibited by point and copy number mutations. Specifically, we are considering i) copy number mutations during adaptation to fluctuating environments and ii) the interaction of copy number and point mutations during adaptation to constant environments.  }, author = {Tomanek, Isabella}, issn = {2663-337X}, keywords = {duplication, amplification, promoter, CNV, AMGET, experimental evolution, Escherichia coli}, pages = {117}, publisher = {Institute of Science and Technology Austria}, title = {{The evolution of gene expression by copy number and point mutations}}, doi = {10.15479/AT:ISTA:8653}, year = {2020}, } @article{7427, abstract = {Plants, like other multicellular organisms, survive through a delicate balance between growth and defense against pathogens. Salicylic acid (SA) is a major defense signal in plants, and the perception mechanism as well as downstream signaling activating the immune response are known. Here, we identify a parallel SA signaling that mediates growth attenuation. SA directly binds to A subunits of protein phosphatase 2A (PP2A), inhibiting activity of this complex. Among PP2A targets, the PIN2 auxin transporter is hyperphosphorylated in response to SA, leading to changed activity of this important growth regulator. Accordingly, auxin transport and auxin-mediated root development, including growth, gravitropic response, and lateral root organogenesis, are inhibited. This study reveals how SA, besides activating immunity, concomitantly attenuates growth through crosstalk with the auxin distribution network. Further analysis of this dual role of SA and characterization of additional SA-regulated PP2A targets will provide further insights into mechanisms maintaining a balance between growth and defense.}, author = {Tan, Shutang and Abas, Melinda F and Verstraeten, Inge and Glanc, Matous and Molnar, Gergely and Hajny, Jakub and Lasák, Pavel and Petřík, Ivan and Russinova, Eugenia and Petrášek, Jan and Novák, Ondřej and Pospíšil, Jiří and Friml, Jiří}, issn = {09609822}, journal = {Current Biology}, number = {3}, pages = {381--395.e8}, publisher = {Cell Press}, title = {{Salicylic acid targets protein phosphatase 2A to attenuate growth in plants}}, doi = {10.1016/j.cub.2019.11.058}, volume = {30}, year = {2020}, } @article{7500, abstract = {Plant survival depends on vascular tissues, which originate in a self‐organizing manner as strands of cells co‐directionally transporting the plant hormone auxin. The latter phenomenon (also known as auxin canalization) is classically hypothesized to be regulated by auxin itself via the effect of this hormone on the polarity of its own intercellular transport. Correlative observations supported this concept, but molecular insights remain limited. In the current study, we established an experimental system based on the model Arabidopsis thaliana, which exhibits auxin transport channels and formation of vasculature strands in response to local auxin application. Our methodology permits the genetic analysis of auxin canalization under controllable experimental conditions. By utilizing this opportunity, we confirmed the dependence of auxin canalization on a PIN‐dependent auxin transport and nuclear, TIR1/AFB‐mediated auxin signaling. We also show that leaf venation and auxin‐mediated PIN repolarization in the root require TIR1/AFB signaling. Further studies based on this experimental system are likely to yield better understanding of the mechanisms underlying auxin transport polarization in other developmental contexts.}, author = {Mazur, E and Kulik, Ivan and Hajny, Jakub and Friml, Jiří}, issn = {1469-8137}, journal = {New Phytologist}, number = {5}, pages = {1375--1383}, publisher = {Wiley}, title = {{Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis}}, doi = {10.1111/nph.16446}, volume = {226}, year = {2020}, } @phdthesis{8822, abstract = {Self-organization is a hallmark of plant development manifested e.g. by intricate leaf vein patterns, flexible formation of vasculature during organogenesis or its regeneration following wounding. Spontaneously arising channels transporting the phytohormone auxin, created by coordinated polar localizations of PIN-FORMED 1 (PIN1) auxin exporter, provide positional cues for these as well as other plant patterning processes. To find regulators acting downstream of auxin and the TIR1/AFB auxin signaling pathway essential for PIN1 coordinated polarization during auxin canalization, we performed microarray experiments. Besides the known components of general PIN polarity maintenance, such as PID and PIP5K kinases, we identified and characterized a new regulator of auxin canalization, the transcription factor WRKY DNA-BINDING PROTEIN 23 (WRKY23). Next, we designed a subsequent microarray experiment to further uncover other molecular players, downstream of auxin-TIR1/AFB-WRKY23 involved in the regulation of auxin-mediated PIN repolarization. We identified a novel and crucial part of the molecular machinery underlying auxin canalization. The auxin-regulated malectin-type receptor-like kinase CAMEL and the associated leucine-rich repeat receptor-like kinase CANAR target and directly phosphorylate PIN auxin transporters. camel and canar mutants are impaired in PIN1 subcellular trafficking and auxin-mediated repolarization leading to defects in auxin transport, ultimately to leaf venation and vasculature regeneration defects. Our results describe the CAMEL-CANAR receptor complex, which is required for auxin feed-back on its own transport and thus for coordinated tissue polarization during auxin canalization.}, author = {Hajny, Jakub}, issn = {2663-337X}, pages = {249}, publisher = {Institute of Science and Technology Austria}, title = {{Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration}}, doi = {10.15479/AT:ISTA:8822}, year = {2020}, } @phdthesis{8350, abstract = {Cytoplasm is a gel-like crowded environment composed of tens of thousands of macromolecules, organelles, cytoskeletal networks and cytosol. The structure of the cytoplasm is thought to be highly organized and heterogeneous due to the crowding of its constituents and their effective compartmentalization. In such an environment, the diffusive dynamics of the molecules is very restricted, an effect that is further amplified by clustering and anchoring of molecules. Despite the jammed nature of the cytoplasm at the microscopic scale, large-scale reorganization of cytoplasm is essential for important cellular functions, such as nuclear positioning and cell division. How such mesoscale reorganization of the cytoplasm is achieved, especially for very large cells such as oocytes or syncytial tissues that can span hundreds of micrometers in size, has only begun to be understood. In this thesis, I focus on the recent advances in elucidating the molecular, cellular and biophysical principles underlying cytoplasmic organization across different scales, structures and species. First, I outline which of these principles have been identified by reductionist approaches, such as in vitro reconstitution assays, where boundary conditions and components can be modulated at ease. I then describe how the theoretical and experimental framework established in these reduced systems have been applied to their more complex in vivo counterparts, in particular oocytes and embryonic syncytial structures, and discuss how such complex biological systems can initiate symmetry breaking and establish patterning. Specifically, I examine an example of large-scale reorganizations taking place in zebrafish embryos, where extensive cytoplasmic streaming leads to the segregation of cytoplasm from yolk granules along the animal-vegetal axis of the embryo. Using biophysical experimentation and theory, I investigate the forces underlying this process, to show that this process does not rely on cortical actin reorganization, as previously thought, but instead on a cell-cycle-dependent bulk actin polymerization wave traveling from the animal to the vegetal pole of the embryo. This wave functions in segregation by both pulling cytoplasm animally and pushing yolk granules vegetally. Cytoplasm pulling is mediated by bulk actin network flows exerting friction forces on the cytoplasm, while yolk granule pushing is achieved by a mechanism closely resembling actin comet formation on yolk granules. This study defines a novel role of bulk actin polymerization waves in embryo polarization via cytoplasmic segregation. Lastly, I describe the cytoplasmic reorganizations taking place during zebrafish oocyte maturation, where the initial segregation of the cytoplasm and yolk granules occurs. Here, I demonstrate a previously uncharacterized wave of microtubule aster formation, traveling the oocyte along the animal-vegetal axis. Further research is required to determine the role of such microtubule structures in cytoplasmic reorganizations therein. Collectively, these studies provide further evidence for the coupling between cell cytoskeleton and cell cycle machinery, which can underlie a core self-organizing mechanism for orchestrating large-scale reorganizations in a cell-cycle-tunable manner, where the modulations of the force-generating machinery and cytoplasmic mechanics can be harbored to fulfill cellular functions.}, author = {Shamipour, Shayan}, issn = {2663-337X}, pages = {107}, publisher = {Institute of Science and Technology Austria}, title = {{Bulk actin dynamics drive phase segregation in zebrafish oocytes }}, doi = {10.15479/AT:ISTA:8350}, year = {2020}, } @article{8569, abstract = {Concerted radial migration of newly born cortical projection neurons, from their birthplace to their final target lamina, is a key step in the assembly of the cerebral cortex. The cellular and molecular mechanisms regulating the specific sequential steps of radial neuronal migration in vivo are however still unclear, let alone the effects and interactions with the extracellular environment. In any in vivo context, cells will always be exposed to a complex extracellular environment consisting of (1) secreted factors acting as potential signaling cues, (2) the extracellular matrix, and (3) other cells providing cell–cell interaction through receptors and/or direct physical stimuli. Most studies so far have described and focused mainly on intrinsic cell-autonomous gene functions in neuronal migration but there is accumulating evidence that non-cell-autonomous-, local-, systemic-, and/or whole tissue-wide effects substantially contribute to the regulation of radial neuronal migration. These non-cell-autonomous effects may differentially affect cortical neuron migration in distinct cellular environments. However, the cellular and molecular natures of such non-cell-autonomous mechanisms are mostly unknown. Furthermore, physical forces due to collective migration and/or community effects (i.e., interactions with surrounding cells) may play important roles in neocortical projection neuron migration. In this concise review, we first outline distinct models of non-cell-autonomous interactions of cortical projection neurons along their radial migration trajectory during development. We then summarize experimental assays and platforms that can be utilized to visualize and potentially probe non-cell-autonomous mechanisms. Lastly, we define key questions to address in the future.}, author = {Hansen, Andi H and Hippenmeyer, Simon}, issn = {2296-634X}, journal = {Frontiers in Cell and Developmental Biology}, number = {9}, publisher = {Frontiers}, title = {{Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex}}, doi = {10.3389/fcell.2020.574382}, volume = {8}, year = {2020}, } @article{7815, abstract = {Beginning from a limited pool of progenitors, the mammalian cerebral cortex forms highly organized functional neural circuits. However, the underlying cellular and molecular mechanisms regulating lineage transitions of neural stem cells (NSCs) and eventual production of neurons and glia in the developing neuroepithelium remains unclear. Methods to trace NSC division patterns and map the lineage of clonally related cells have advanced dramatically. However, many contemporary lineage tracing techniques suffer from the lack of cellular resolution of progeny cell fate, which is essential for deciphering progenitor cell division patterns. Presented is a protocol using mosaic analysis with double markers (MADM) to perform in vivo clonal analysis. MADM concomitantly manipulates individual progenitor cells and visualizes precise division patterns and lineage progression at unprecedented single cell resolution. MADM-based interchromosomal recombination events during the G2-X phase of mitosis, together with temporally inducible CreERT2, provide exact information on the birth dates of clones and their division patterns. Thus, MADM lineage tracing provides unprecedented qualitative and quantitative optical readouts of the proliferation mode of stem cell progenitors at the single cell level. MADM also allows for examination of the mechanisms and functional requirements of candidate genes in NSC lineage progression. This method is unique in that comparative analysis of control and mutant subclones can be performed in the same tissue environment in vivo. Here, the protocol is described in detail, and experimental paradigms to employ MADM for clonal analysis and lineage tracing in the developing cerebral cortex are demonstrated. Importantly, this protocol can be adapted to perform MADM clonal analysis in any murine stem cell niche, as long as the CreERT2 driver is present.}, author = {Beattie, Robert J and Streicher, Carmen and Amberg, Nicole and Cheung, Giselle T and Contreras, Ximena and Hansen, Andi H and Hippenmeyer, Simon}, issn = {1940-087X}, journal = {Journal of Visual Experiments}, number = {159}, publisher = {MyJove Corporation}, title = {{Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM)}}, doi = {10.3791/61147}, year = {2020}, } @phdthesis{7902, abstract = {Mosaic genetic analysis has been widely used in different model organisms such as the fruit fly to study gene-function in a cell-autonomous or tissue-specific fashion. More recently, and less easily conducted, mosaic genetic analysis in mice has also been enabled with the ambition to shed light on human gene function and disease. These genetic tools are of particular interest, but not restricted to, the study of the brain. Notably, the MADM technology offers a genetic approach in mice to visualize and concomitantly manipulate small subsets of genetically defined cells at a clonal level and single cell resolution. MADM-based analysis has already advanced the study of genetic mechanisms regulating brain development and is expected that further MADM-based analysis of genetic alterations will continue to reveal important insights on the fundamental principles of development and disease to potentially assist in the development of new therapies or treatments. In summary, this work completed and characterized the necessary genome-wide genetic tools to perform MADM-based analysis at single cell level of the vast majority of mouse genes in virtually any cell type and provided a protocol to perform lineage tracing using the novel MADM resource. Importantly, this work also explored and revealed novel aspects of biologically relevant events in an in vivo context, such as the chromosome-specific bias of chromatid sister segregation pattern, the generation of cell-type diversity in the cerebral cortex and in the cerebellum and finally, the relevance of the interplay between the cell-autonomous gene function and cell-non-autonomous (community) effects in radial glial progenitor lineage progression. This work provides a foundation and opens the door to further elucidating the molecular mechanisms underlying neuronal diversity and astrocyte generation.}, author = {Contreras, Ximena}, issn = {2663-337X}, pages = {214}, publisher = {Institute of Science and Technology Austria}, title = {{Genetic dissection of neural development in health and disease at single cell resolution}}, doi = {10.15479/AT:ISTA:7902}, year = {2020}, } @article{8190, author = {Sixt, Michael K and Huttenlocher, Anna}, issn = {1540-8140}, journal = {The Journal of Cell Biology}, number = {8}, publisher = {Rockefeller University Press}, title = {{Zena Werb (1945-2020): Cell biology in context}}, doi = {10.1083/jcb.202007029}, volume = {219}, year = {2020}, }