@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}, } @misc{8834, abstract = {This data collection contains the transport data for figures presented in the supplementary material of "Enhancement of Proximity Induced Superconductivity in Planar Germanium" by K. Aggarwal, et. al. The measurements were done using Labber Software and the data is stored in the hdf5 file format. The files can be opened using either the Labber Log Browser (https://labber.org/overview/) or Labber Python API (http://labber.org/online-doc/api/LogFile.html). }, author = {Katsaros, Georgios}, publisher = {Institute of Science and Technology Austria}, title = {{Enhancement of proximity induced superconductivity in planar Germanium}}, doi = {10.15479/AT:ISTA:8834}, year = {2020}, } @misc{8097, 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}, keywords = {Escherichia coli, antibiotic combinations, translation, growth laws, drug interactions, bacterial physiology, translation inhibitors}, publisher = {Institute of Science and Technology Austria}, title = {{Analysis scripts and research data for the paper "Mechanisms of drug interactions between translation-inhibiting antibiotics"}}, doi = {10.15479/AT:ISTA:8097}, year = {2020}, } @misc{8254, abstract = {Here are the research data underlying the publication "Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)". Further information are summed up in the README document. The files for this record have been updated and are now found in the linked DOI https://doi.org/10.15479/AT:ISTA:9192.}, author = {Arathoon, Louise S}, publisher = {Institute of Science and Technology Austria}, title = {{Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)}}, doi = {10.15479/AT:ISTA:8254}, 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}, } @misc{8930, abstract = {Phenomenological relations such as Ohm’s or Fourier’s law have a venerable history in physics but are still scarce in biology. This situation restrains predictive theory. Here, we build on bacterial “growth laws,” which capture physiological feedback between translation and cell growth, to construct a minimal biophysical model for the combined action of ribosome-targeting antibiotics. Our model predicts drug interactions like antagonism or synergy solely from responses to individual drugs. We provide analytical results for limiting cases, which agree well with numerical results. We systematically refine the model by including direct physical interactions of different antibiotics on the ribosome. In a limiting case, our model provides a mechanistic underpinning for recent predictions of higher-order interactions that were derived using entropy maximization. We further refine the model to include the effects of antibiotics that mimic starvation and the presence of resistance genes. We describe the impact of a starvation-mimicking antibiotic on drug interactions analytically and verify it experimentally. Our extended model suggests a change in the type of drug interaction that depends on the strength of resistance, which challenges established rescaling paradigms. We experimentally show that the presence of unregulated resistance genes can lead to altered drug interaction, which agrees with the prediction of the model. While minimal, the model is readily adaptable and opens the door to predicting interactions of second and higher-order in a broad range of biological systems.}, author = {Kavcic, Bor}, keywords = {Escherichia coli, antibiotic combinations, translation, growth laws, drug interactions, bacterial physiology, translation inhibitors}, publisher = {Institute of Science and Technology Austria}, title = {{Analysis scripts and research data for the paper "Minimal biophysical model of combined antibiotic action"}}, doi = {10.15479/AT:ISTA:8930}, year = {2020}, } @misc{8951, abstract = {Gene expression levels are influenced by multiple coexisting molecular mechanisms. Some of these interactions, such as those of transcription factors and promoters have been studied extensively. However, predicting phenotypes of gene regulatory networks remains a major challenge. Here, we use a well-defined synthetic gene regulatory network to study how network phenotypes depend on local genetic context, i.e. the genetic neighborhood of a transcription factor and its relative position. We show that one gene regulatory network with fixed topology can display not only quantitatively but also qualitatively different phenotypes, depending solely on the local genetic context of its components. Our results demonstrate that changes in local genetic context can place a single transcriptional unit within two separate regulons without the need for complex regulatory sequences. We propose that relative order of individual transcriptional units, with its potential for combinatorial complexity, plays an important role in shaping phenotypes of gene regulatory networks.}, author = {Nagy-Staron, Anna A}, keywords = {Gene regulatory networks, Gene expression, Escherichia coli, Synthetic Biology}, publisher = {Institute of Science and Technology Austria}, title = {{Sequences of gene regulatory network permutations for the article "Local genetic context shapes the function of a gene regulatory network"}}, doi = {10.15479/AT:ISTA:8951}, year = {2020}, } @misc{7383, abstract = {Organisms cope with change by employing transcriptional regulators. However, when faced with rare environments, the evolution of transcriptional regulators and their promoters may be too slow. We ask whether the intrinsic instability of gene duplication and amplification provides a generic alternative to canonical gene regulation. By real-time monitoring of gene copy number mutations in E. coli, we show that gene duplications and amplifications enable adaptation to fluctuating environments by rapidly generating copy number, and hence expression level, polymorphism. This ‘amplification-mediated gene expression tuning’ occurs on timescales similar to canonical gene regulation and can deal with rapid environmental changes. Mathematical modeling shows that amplifications also tune gene expression in stochastic environments where 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 expression of any gene, without leaving any genomic signature.}, author = {Grah, Rok}, keywords = {Matlab scripts, analysis of microfluidics, mathematical model}, publisher = {Institute of Science and Technology Austria}, title = {{Matlab scripts for the Paper: Gene Amplification as a Form of Population-Level Gene Expression regulation}}, doi = {10.15479/AT:ISTA:7383}, year = {2020}, } @misc{9222, author = {Katsaros, Georgios}, publisher = {Institute of Science and Technology Austria}, title = {{Transport data for: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling}}, doi = {10.15479/AT:ISTA:9222}, 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}, } @misc{8375, abstract = {Supplementary movies showing the following sequences for spatio-temporarily programmed shells: input geometry and actuation time landscape; comparison of morphing processes from a camera recording and a simulation; final actuated shape.}, author = {Guseinov, Ruslan}, publisher = {Institute of Science and Technology Austria}, title = {{Supplementary data for "Computational design of curved thin shells: from glass façades to programmable matter"}}, doi = {10.15479/AT:ISTA:8375}, year = {2020}, } @misc{7689, abstract = {These are the supplementary research data to the publication "Zero field splitting of heavy-hole states in quantum dots". All matrix files have the same format. Within each column the bias voltage is changed. Each column corresponds to either a different gate voltage or magnetic field. The voltage values are given in mV, the current values in pA. Find a specific description in the included Readme file. }, author = {Katsaros, Georgios}, publisher = {Institute of Science and Technology Austria}, title = {{Supplementary data for "Zero field splitting of heavy-hole states in quantum dots"}}, doi = {10.15479/AT:ISTA:7689}, year = {2020}, } @misc{8761, author = {Guseinov, Ruslan}, publisher = {Institute of Science and Technology Austria}, title = {{Supplementary data for "Computational design of cold bent glass façades"}}, doi = {10.15479/AT:ISTA:8761}, year = {2020}, } @misc{8563, abstract = {Supplementary data provided for the provided for the publication: Igor Gridchyn , Philipp Schoenenberger , Joseph O'Neill , Jozsef Csicsvari (2020) Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior. Elife.}, author = {Csicsvari, Jozsef L and Gridchyn, Igor and Schönenberger, Philipp}, publisher = {Institute of Science and Technology Austria}, title = {{Optogenetic alteration of hippocampal network activity}}, doi = {10.15479/AT:ISTA:8563}, 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}, } @misc{14592, 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 = {Schur, Florian KM}, publisher = {Institute of Science and Technology Austria}, title = {{STL-files for 3D-printed grid holders described in Fäßler F, Zens B, et al.; 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy}}, doi = {10.15479/AT:ISTA:14592}, 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}, }