TY - JOUR
AB - Transposable elements exist widely throughout plant genomes and play important roles in plant evolution. Auxin is an important regulator that is traditionally associated with root development and drought stress adaptation. The DEEPER ROOTING 1 (DRO1) gene is a key component of rice drought avoidance. Here, we identified a transposon that acts as an autonomous auxin‐responsive promoter and its presence at specific genome positions conveys physiological adaptations related to drought avoidance. Rice varieties with high and auxin‐mediated transcription of DRO1 in the root tip show deeper and longer root phenotypes and are thus better adapted to drought. The INDITTO2 transposon contains an auxin response element and displays auxin‐responsive promoter activity; it is thus able to convey auxin regulation of transcription to genes in its proximity. In the rice Acuce, which displays DRO1‐mediated drought adaptation, the INDITTO2 transposon was found to be inserted at the promoter region of the DRO1 locus. Transgenesis‐based insertion of the INDITTO2 transposon into the DRO1 promoter of the non‐adapted rice variety Nipponbare was sufficient to promote its drought avoidance. Our data identify an example of how transposons can act as promoters and convey hormonal regulation to nearby loci, improving plant fitness in response to different abiotic stresses.
AU - Zhao, Y
AU - Wu, L
AU - Fu, Q
AU - Wang, D
AU - Li, J
AU - Yao, B
AU - Yu, S
AU - Jiang, L
AU - Qian, J
AU - Zhou, X
AU - Han, L
AU - Zhao, S
AU - Ma, C
AU - Zhang, Y
AU - Luo, C
AU - Dong, Q
AU - Li, S
AU - Zhang, L
AU - Jiang, X
AU - Li, Y
AU - Luo, H
AU - Li, K
AU - Yang, J
AU - Luo, Q
AU - Li, L
AU - Peng, S
AU - Huang, H
AU - Zuo, Z
AU - Liu, C
AU - Wang, L
AU - Li, C
AU - He, X
AU - Friml, Jiří
AU - Du, Y
ID - 9189
IS - 6
JF - Plant, Cell & Environment
SN - 0140-7791
TI - INDITTO2 transposon conveys auxin-mediated DRO1 transcription for rice drought avoidance
VL - 44
ER -
TY - DATA
AB - Here are the research data underlying the publication " Effects of fine-scale population structure on inbreeding in a long-term study of snapdragons (Antirrhinum majus)." Further information are summed up in the README document.
AU - Surendranadh, Parvathy
AU - Arathoon, Louise S
AU - Baskett, Carina
AU - Field, David
AU - Pickup, Melinda
AU - Barton, Nicholas H
ID - 9192
TI - Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus
ER -
TY - GEN
AB - We associate a certain tensor product lattice to any primitive integer lattice and ask about its typical shape. These lattices are related to the tangent bundle of Grassmannians and their study is motivated by Peyre's programme on "freeness" for rational points of bounded height on Fano
varieties.
AU - Browning, Timothy D
AU - Horesh, Tal
AU - Wilsch, Florian Alexander
ID - 9199
T2 - arXiv
TI - Equidistribution and freeness on Grassmannians
ER -
TY - CONF
AB - Formal design of embedded and cyber-physical systems relies on mathematical modeling. In this paper, we consider the model class of hybrid automata whose dynamics are defined by affine differential equations. Given a set of time-series data, we present an algorithmic approach to synthesize a hybrid automaton exhibiting behavior that is close to the data, up to a specified precision, and changes in synchrony with the data. A fundamental problem in our synthesis algorithm is to check membership of a time series in a hybrid automaton. Our solution integrates reachability and optimization techniques for affine dynamical systems to obtain both a sufficient and a necessary condition for membership, combined in a refinement framework. The algorithm processes one time series at a time and hence can be interrupted, provide an intermediate result, and be resumed. We report experimental results demonstrating the applicability of our synthesis approach.
AU - Garcia Soto, Miriam
AU - Henzinger, Thomas A
AU - Schilling, Christian
ID - 9200
KW - hybrid automaton
KW - membership
KW - system identification
SN - 9781450383394
T2 - HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
TI - Synthesis of hybrid automata with affine dynamics from time-series data
ER -
TY - CONF
AB - We propose a novel hybridization method for stability analysis that over-approximates nonlinear dynamical systems by switched systems with linear inclusion dynamics. We observe that existing hybridization techniques for safety analysis that over-approximate nonlinear dynamical systems by switched affine inclusion dynamics and provide fixed approximation error, do not suffice for stability analysis. Hence, we propose a hybridization method that provides a state-dependent error which converges to zero as the state tends to the equilibrium point. The crux of our hybridization computation is an elegant recursive algorithm that uses partial derivatives of a given function to obtain upper and lower bound matrices for the over-approximating linear inclusion. We illustrate our method on some examples to demonstrate the application of the theory for stability analysis. In particular, our method is able to establish stability of a nonlinear system which does not admit a polynomial Lyapunov function.
AU - Garcia Soto, Miriam
AU - Prabhakar, Pavithra
ID - 9202
T2 - 2020 IEEE Real-Time Systems Symposium
TI - Hybridization for stability verification of nonlinear switched systems
ER -
TY - JOUR
AB - Cryo-EM grid preparation is an important bottleneck in protein structure determination, especially for membrane proteins, typically requiring screening of a large number of conditions. We systematically investigated the effects of buffer components, blotting conditions and grid types on the outcome of grid preparation of five different membrane protein samples. Aggregation was the most common type of problem which was addressed by changing detergents, salt concentration or reconstitution of proteins into nanodiscs or amphipols. We show that the optimal concentration of detergent is between 0.05 and 0.4% and that the presence of a low concentration of detergent with a high critical micellar concentration protects the proteins from denaturation at the air-water interface. Furthermore, we discuss the strategies for achieving an adequate ice thickness, particle coverage and orientation distribution on free ice and on support films. Our findings provide a clear roadmap for comprehensive screening of conditions for cryo-EM grid preparation of membrane proteins.
AU - Kampjut, Domen
AU - Steiner, Julia
AU - Sazanov, Leonid A
ID - 9205
IS - 3
JF - iScience
TI - Cryo-EM grid optimization for membrane proteins
VL - 24
ER -
TY - JOUR
AB - The precise engineering of thermoelectric materials using nanocrystals as their building blocks has proven to be an excellent strategy to increase energy conversion efficiency. Here we present a synthetic route to produce Sb-doped PbS colloidal nanoparticles. These nanoparticles are then consolidated into nanocrystalline PbS:Sb using spark plasma sintering. We demonstrate that the introduction of Sb significantly influences the size, geometry, crystal lattice and especially the carrier concentration of PbS. The increase of charge carrier concentration achieved with the introduction of Sb translates into an increase of the electrical and thermal conductivities and a decrease of the Seebeck coefficient. Overall, PbS:Sb nanomaterial were characterized by two-fold higher thermoelectric figures of merit than undoped PbS.
AU - Cadavid, Doris
AU - Wei, Kaya
AU - Liu, Yu
AU - Zhang, Yu
AU - Li, Mengyao
AU - Genç, Aziz
AU - Berestok, Taisiia
AU - Ibáñez, Maria
AU - Shavel, Alexey
AU - Nolas, George S.
AU - Cabot, Andreu
ID - 9206
IS - 4
JF - Materials
TI - Synthesis, bottom up assembly and thermoelectric properties of Sb-doped PbS nanocrystal building blocks
VL - 14
ER -
TY - JOUR
AB - In this paper we experimentally study the transitional range of Reynolds numbers in
plane Couette–Poiseuille flow, focusing our attention on the localized turbulent structures
triggered by a strong impulsive jet and the large-scale flow generated around these
structures. We present a detailed investigation of the large-scale flow and show how
its amplitude depends on Reynolds number and amplitude perturbation. In addition,
we characterize the initial dynamics of the localized turbulent spot, which includes the
coupling between the small and large scales, as well as the dependence of the advection
speed on the large-scale flow generated around the spot. Finally, we provide the first
experimental measurements of the large-scale flow around an oblique turbulent band.
AU - Klotz, Lukasz
AU - Pavlenko, A. M.
AU - Wesfreid, J. E.
ID - 9207
JF - Journal of Fluid Mechanics
SN - 0022-1120
TI - Experimental measurements in plane Couette-Poiseuille flow: Dynamics of the large- and small-scale flow
VL - 912
ER -
TY - CONF
AB - Modern neural networks can easily fit their training set perfectly. Surprisingly, despite being “overfit” in this way, they tend to generalize well to future data, thereby defying the classic bias–variance trade-off of machine learning theory. Of the many possible explanations, a prevalent one is that training by stochastic gradient descent (SGD) imposes an implicit bias that leads it to learn simple functions, and these simple functions generalize well. However, the specifics of this implicit bias are not well understood.
In this work, we explore the smoothness conjecture which states that SGD is implicitly biased towards learning functions that are smooth. We propose several measures to formalize the intuitive notion of smoothness, and we conduct experiments to determine whether SGD indeed implicitly optimizes for these measures. Our findings rule out the possibility that smoothness measures based on first-order derivatives are being implicitly enforced. They are supportive, though, of the smoothness conjecture for measures based on second-order derivatives.
AU - Volhejn, Vaclav
AU - Lampert, Christoph
ID - 9210
SN - 03029743
T2 - 42nd German Conference on Pattern Recognition
TI - Does SGD implicitly optimize for smoothness?
VL - 12544
ER -
TY - JOUR
AB - Plant fitness is largely dependent on the root, the underground organ, which, besides its anchoring function, supplies the plant body with water and all nutrients necessary for growth and development. To exploit the soil effectively, roots must constantly integrate environmental signals and react through adjustment of growth and development. Important components of the root management strategy involve a rapid modulation of the root growth kinetics and growth direction, as well as an increase of the root system radius through formation of lateral roots (LRs). At the molecular level, such a fascinating growth and developmental flexibility of root organ requires regulatory networks that guarantee stability of the developmental program but also allows integration of various environmental inputs. The plant hormone auxin is one of the principal endogenous regulators of root system architecture by controlling primary root growth and formation of LR. In this review, we discuss recent progress in understanding molecular networks where auxin is one of the main players shaping the root system and acting as mediator between endogenous cues and environmental factors.
AU - Cavallari, Nicola
AU - Artner, Christina
AU - Benková, Eva
ID - 9212
IS - 7
JF - Cold Spring Harbor Perspectives in Biology
SN - 1943-0264
TI - Auxin-regulated lateral root organogenesis
VL - 13
ER -
TY - JOUR
AB - We re-examine attempts to study the many-body localization transition using measures that are physically natural on the ergodic/quantum chaotic regime of the phase diagram. Using simple scaling arguments and an analysis of various models for which rigorous results are available, we find that these measures can be particularly adversely affected by the strong finite-size effects observed in nearly all numerical studies of many-body localization. This severely impacts their utility in probing the transition and the localized phase. In light of this analysis, we discuss a recent study (Šuntajs et al., 2020) of the behaviour of the Thouless energy and level repulsion in disordered spin chains, and its implications for the question of whether MBL is a true phase of matter.
AU - Abanin, D. A.
AU - Bardarson, J. H.
AU - De Tomasi, G.
AU - Gopalakrishnan, S.
AU - Khemani, V.
AU - Parameswaran, S. A.
AU - Pollmann, F.
AU - Potter, A. C.
AU - Serbyn, Maksym
AU - Vasseur, R.
ID - 9224
IS - 4
JF - Annals of Physics
SN - 00034916
TI - Distinguishing localization from chaos: Challenges in finite-size systems
VL - 427
ER -
TY - JOUR
AB - Half a century after Lewis Wolpert's seminal conceptual advance on how cellular fates distribute in space, we provide a brief historical perspective on how the concept of positional information emerged and influenced the field of developmental biology and beyond. We focus on a modern interpretation of this concept in terms of information theory, largely centered on its application to cell specification in the early Drosophila embryo. We argue that a true physical variable (position) is encoded in local concentrations of patterning molecules, that this mapping is stochastic, and that the processes by which positions and corresponding cell fates are determined based on these concentrations need to take such stochasticity into account. With this approach, we shift the focus from biological mechanisms, molecules, genes and pathways to quantitative systems-level questions: where does positional information reside, how it is transformed and accessed during development, and what fundamental limits it is subject to?
AU - Tkačik, Gašper
AU - Gregor, Thomas
ID - 9226
IS - 2
JF - Development
TI - The many bits of positional information
VL - 148
ER -
TY - CONF
AB - In the multiway cut problem we are given a weighted undirected graph G=(V,E) and a set T⊆V of k terminals. The goal is to find a minimum weight set of edges E′⊆E with the property that by removing E′ from G all the terminals become disconnected. In this paper we present a simple local search approximation algorithm for the multiway cut problem with approximation ratio 2−2k . We present an experimental evaluation of the performance of our local search algorithm and show that it greatly outperforms the isolation heuristic of Dalhaus et al. and it has similar performance as the much more complex algorithms of Calinescu et al., Sharma and Vondrak, and Buchbinder et al. which have the currently best known approximation ratios for this problem.
AU - Bloch-Hansen, Andrew
AU - Samei, Nasim
AU - Solis-Oba, Roberto
ID - 9227
SN - 0302-9743
T2 - Conference on Algorithms and Discrete Applied Mathematics
TI - Experimental evaluation of a local search approximation algorithm for the multiway cut problem
VL - 12601
ER -
TY - JOUR
AB - Legacy conferences are costly and time consuming, and exclude scientists lacking various resources or abilities. During the 2020 pandemic, we created an online conference platform, Neuromatch Conferences (NMC), aimed at developing technological and cultural changes to make conferences more democratic, scalable, and accessible. We discuss the lessons we learned.
AU - Achakulvisut, Titipat
AU - Ruangrong, Tulakan
AU - Mineault, Patrick
AU - Vogels, Tim P
AU - Peters, Megan A.K.
AU - Poirazi, Panayiota
AU - Rozell, Christopher
AU - Wyble, Brad
AU - Goodman, Dan F.M.
AU - Kording, Konrad Paul
ID - 9228
IS - 4
JF - Trends in Cognitive Sciences
SN - 1364-6613
TI - Towards democratizing and automating online conferences: Lessons from the Neuromatch Conferences
VL - 25
ER -
TY - GEN
AB - We consider a model of the Riemann zeta function on the critical axis and study its maximum over intervals of length (log T)θ, where θ is either fixed or tends to zero at a suitable rate.
It is shown that the deterministic level of the maximum interpolates smoothly between the ones
of log-correlated variables and of i.i.d. random variables, exhibiting a smooth transition ‘from
3/4 to 1/4’ in the second order. This provides a natural context where extreme value statistics of
log-correlated variables with time-dependent variance and rate occur. A key ingredient of the
proof is a precise upper tail tightness estimate for the maximum of the model on intervals of
size one, that includes a Gaussian correction. This correction is expected to be present for the
Riemann zeta function and pertains to the question of the correct order of the maximum of
the zeta function in large intervals.
AU - Arguin, Louis-Pierre
AU - Dubach, Guillaume
AU - Hartung, Lisa
ID - 9230
T2 - arXiv
TI - Maxima of a random model of the Riemann zeta function over intervals of varying length
ER -
TY - JOUR
AB - In this paper, we present two new inertial projection-type methods for solving multivalued variational inequality problems in finite-dimensional spaces. We establish the convergence of the sequence generated by these methods when the multivalued mapping associated with the problem is only required to be locally bounded without any monotonicity assumption. Furthermore, the inertial techniques that we employ in this paper are quite different from the ones used in most papers. Moreover, based on the weaker assumptions on the inertial factor in our methods, we derive several special cases of our methods. Finally, we present some experimental results to illustrate the profits that we gain by introducing the inertial extrapolation steps.
AU - Izuchukwu, Chinedu
AU - Shehu, Yekini
ID - 9234
IS - 2
JF - Networks and Spatial Economics
KW - Computer Networks and Communications
KW - Software
KW - Artificial Intelligence
SN - 1566-113X
TI - New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity
VL - 21
ER -
TY - JOUR
AB - Cu2–xS has become one of the most promising thermoelectric materials for application in the middle-high temperature range. Its advantages include the abundance, low cost, and safety of its elements and a high performance at relatively elevated temperatures. However, stability issues limit its operation current and temperature, thus calling for the optimization of the material performance in the middle temperature range. Here, we present a synthetic protocol for large scale production of covellite CuS nanoparticles at ambient temperature and atmosphere, and using water as a solvent. The crystal phase and stoichiometry of the particles are afterward tuned through an annealing process at a moderate temperature under inert or reducing atmosphere. While annealing under argon results in Cu1.8S nanopowder with a rhombohedral crystal phase, annealing in an atmosphere containing hydrogen leads to tetragonal Cu1.96S. High temperature X-ray diffraction analysis shows the material annealed in argon to transform to the cubic phase at ca. 400 K, while the material annealed in the presence of hydrogen undergoes two phase transitions, first to hexagonal and then to the cubic structure. The annealing atmosphere, temperature, and time allow adjustment of the density of copper vacancies and thus tuning of the charge carrier concentration and material transport properties. In this direction, the material annealed under Ar is characterized by higher electrical conductivities but lower Seebeck coefficients than the material annealed in the presence of hydrogen. By optimizing the charge carrier concentration through the annealing time, Cu2–xS with record figures of merit in the middle temperature range, up to 1.41 at 710 K, is obtained. We finally demonstrate that this strategy, based on a low-cost and scalable solution synthesis process, is also suitable for the production of high performance Cu2–xS layers using high throughput and cost-effective printing technologies.
AU - Li, Mengyao
AU - Liu, Yu
AU - Zhang, Yu
AU - Han, Xu
AU - Zhang, Ting
AU - Zuo, Yong
AU - Xie, Chenyang
AU - Xiao, Ke
AU - Arbiol, Jordi
AU - Llorca, Jordi
AU - Ibáñez, Maria
AU - Liu, Junfeng
AU - Cabot, Andreu
ID - 9235
IS - 3
JF - ACS Nano
KW - General Engineering
KW - General Physics and Astronomy
KW - General Materials Science
SN - 1936-0851
TI - Effect of the annealing atmosphere on crystal phase and thermoelectric properties of copper sulfide
VL - 15
ER -
TY - GEN
AB - Metabolic adaptation to changing demands underlies homeostasis. During inflammation or metastasis, cells leading migration into challenging environments require an energy boost, however what controls this capacity is unknown. We identify a previously unstudied nuclear protein, Atossa, as changing metabolism in Drosophila melanogaster immune cells to promote tissue invasion. Atossa’s vertebrate orthologs, FAM214A-B, can fully substitute for Atossa, indicating functional conservation from flies to mammals. Atossa increases mRNA levels of Porthos, an unstudied RNA helicase and two metabolic enzymes, LKR/SDH and GR/HPR. Porthos increases translation of a gene subset, including those affecting mitochondrial functions, the electron transport chain, and metabolism. Respiration measurements and metabolomics indicate that Atossa and Porthos powers up mitochondrial oxidative phosphorylation to produce sufficient energy for leading macrophages to forge a path into tissues. As increasing oxidative phosphorylation enables many crucial physiological responses, this unique genetic program may modulate a wide range of cellular behaviors beyond migration.
AU - Emtenani, Shamsi
AU - Martin, Elliott T.
AU - György, Attila
AU - Bicher, Julia
AU - Genger, Jakob-Wendelin
AU - Hurd, Thomas R.
AU - Köcher, Thomas
AU - Bergthaler, Andreas
AU - Rangan, Prashanth
AU - Siekhaus, Daria E
ID - 9238
T2 - bioRxiv
TI - A genetic program boosts mitochondrial function to power macrophage tissue invasion
ER -
TY - JOUR
AB - A graph game proceeds as follows: two players move a token through a graph to produce a finite or infinite path, which determines the payoff of the game. We study bidding games in which in each turn, an auction determines which player moves the token. Bidding games were largely studied in combination with two variants of first-price auctions called “Richman” and “poorman” bidding. We study taxman bidding, which span the spectrum between the two. The game is parameterized by a constant : portion τ of the winning bid is paid to the other player, and portion to the bank. While finite-duration (reachability) taxman games have been studied before, we present, for the first time, results on infinite-duration taxman games: we unify, generalize, and simplify previous equivalences between bidding games and a class of stochastic games called random-turn games.
AU - Avni, Guy
AU - Henzinger, Thomas A
AU - Žikelić, Đorđe
ID - 9239
IS - 8
JF - Journal of Computer and System Sciences
SN - 0022-0000
TI - Bidding mechanisms in graph games
VL - 119
ER -
TY - JOUR
AB - A stochastic PDE, describing mesoscopic fluctuations in systems of weakly interacting inertial particles of finite volume, is proposed and analysed in any finite dimension . It is a regularised and inertial version of the Dean–Kawasaki model. A high-probability well-posedness theory for this model is developed. This theory improves significantly on the spatial scaling restrictions imposed in an earlier work of the same authors, which applied only to significantly larger particles in one dimension. The well-posedness theory now applies in d-dimensions when the particle-width ϵ is proportional to for and N is the number of particles. This scaling is optimal in a certain Sobolev norm. Key tools of the analysis are fractional Sobolev spaces, sharp bounds on Bessel functions, separability of the regularisation in the d-spatial dimensions, and use of the Faà di Bruno's formula.
AU - Cornalba, Federico
AU - Shardlow, Tony
AU - Zimmer, Johannes
ID - 9240
IS - 5
JF - Journal of Differential Equations
SN - 0022-0396
TI - Well-posedness for a regularised inertial Dean–Kawasaki model for slender particles in several space dimensions
VL - 284
ER -
TY - JOUR
AB - Volumetric light transport is a pervasive physical phenomenon, and therefore its accurate simulation is important for a broad array of disciplines. While suitable mathematical models for computing the transport are now available, obtaining the necessary material parameters needed to drive such simulations is a challenging task: direct measurements of these parameters from material samples are seldom possible. Building on the inverse scattering paradigm, we present a novel measurement approach which indirectly infers the transport parameters from extrinsic observations of multiple-scattered radiance. The novelty of the proposed approach lies in replacing structured illumination with a structured reflector bonded to the sample, and a robust fitting procedure that largely compensates for potential systematic errors in the calibration of the setup. We show the feasibility of our approach by validating simulations of complex 3D compositions of the measured materials against physical prints, using photo-polymer resins. As presented in this paper, our technique yields colorspace data suitable for accurate appearance reproduction in the area of 3D printing. Beyond that, and without fundamental changes to the basic measurement methodology, it could equally well be used to obtain spectral measurements that are useful for other application areas.
AU - Elek, Oskar
AU - Zhang, Ran
AU - Sumin, Denis
AU - Myszkowski, Karol
AU - Bickel, Bernd
AU - Wilkie, Alexander
AU - Křivánek, Jaroslav
AU - Weyrich, Tim
ID - 9241
IS - 5
JF - Optics Express
TI - Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing
VL - 29
ER -
TY - JOUR
AB - In the recent years important experimental advances in resonant electro-optic modulators as high-efficiency sources for coherent frequency combs and as devices for quantum information transfer have been realized, where strong optical and microwave mode coupling were achieved. These features suggest electro-optic-based devices as candidates for entangled optical frequency comb sources. In the present work, I study the generation of entangled optical frequency combs in millimeter-sized resonant electro-optic modulators. These devices profit from the experimentally proven advantages such as nearly constant optical free spectral ranges over several gigahertz, and high optical and microwave quality factors. The generation of frequency multiplexed quantum channels with spectral bandwidth in the MHz range for conservative parameter values paves the way towards novel uses in long-distance hybrid quantum networks, quantum key distribution, enhanced optical metrology, and quantum computing.
AU - Rueda Sanchez, Alfredo R
ID - 9242
IS - 2
JF - Physical Review A
SN - 2469-9926
TI - Frequency-multiplexed hybrid optical entangled source based on the Pockels effect
VL - 103
ER -
TY - JOUR
AB - Peptidoglycan is an essential component of the bacterial cell envelope that surrounds the cytoplasmic membrane to protect the cell from osmotic lysis. Important antibiotics such as β-lactams and glycopeptides target peptidoglycan biosynthesis. Class A penicillin-binding proteins (PBPs) are bifunctional membrane-bound peptidoglycan synthases that polymerize glycan chains and connect adjacent stem peptides by transpeptidation. How these enzymes work in their physiological membrane environment is poorly understood. Here, we developed a novel Förster resonance energy transfer-based assay to follow in real time both reactions of class A PBPs reconstituted in liposomes or supported lipid bilayers and applied this assay with PBP1B homologues from Escherichia coli, Pseudomonas aeruginosa, and Acinetobacter baumannii in the presence or absence of their cognate lipoprotein activator. Our assay will allow unravelling the mechanisms of peptidoglycan synthesis in a lipid-bilayer environment and can be further developed to be used for high-throughput screening for new antimicrobials.
AU - Hernández-Rocamora, Víctor M.
AU - Baranova, Natalia S.
AU - Peters, Katharina
AU - Breukink, Eefjan
AU - Loose, Martin
AU - Vollmer, Waldemar
ID - 9243
JF - eLife
TI - Real time monitoring of peptidoglycan synthesis by membrane-reconstituted penicillin binding proteins
VL - 10
ER -
TY - JOUR
AB - Organ function depends on tissues adopting the correct architecture. However, insights into organ architecture are currently hampered by an absence of standardized quantitative 3D analysis. We aimed to develop a robust technology to visualize, digitalize, and segment the architecture of two tubular systems in 3D: double resin casting micro computed tomography (DUCT). As proof of principle, we applied DUCT to a mouse model for Alagille syndrome (Jag1Ndr/Ndr mice), characterized by intrahepatic bile duct paucity, that can spontaneously generate a biliary system in adulthood. DUCT identified increased central biliary branching and peripheral bile duct tortuosity as two compensatory processes occurring in distinct regions of Jag1Ndr/Ndr liver, leading to full reconstitution of wild-type biliary volume and phenotypic recovery. DUCT is thus a powerful new technology for 3D analysis, which can reveal novel phenotypes and provide a standardized method of defining liver architecture in mouse models.
AU - Hankeova, Simona
AU - Salplachta, Jakub
AU - Zikmund, Tomas
AU - Kavkova, Michaela
AU - Van Hul, Noémi
AU - Brinek, Adam
AU - Smekalova, Veronika
AU - Laznovsky, Jakub
AU - Dawit, Feven
AU - Jaros, Josef
AU - Bryja, Vítězslav
AU - Lendahl, Urban
AU - Ellis, Ewa
AU - Nemeth, Antal
AU - Fischler, Björn
AU - Hannezo, Edouard B
AU - Kaiser, Jozef
AU - Andersson, Emma Rachel
ID - 9244
JF - eLife
TI - DUCT reveals architectural mechanisms contributing to bile duct recovery in a mouse model for alagille syndrome
VL - 10
ER -
TY - CHAP
AB - Tissue morphogenesis is driven by mechanical forces triggering cell movements and shape changes. Quantitatively measuring tension within tissues is of great importance for understanding the role of mechanical signals acting on the cell and tissue level during morphogenesis. Here we introduce laser ablation as a useful tool to probe tissue tension within the granulosa layer, an epithelial monolayer of somatic cells that surround the zebrafish female gamete during folliculogenesis. We describe in detail how to isolate follicles, mount samples, perform laser surgery, and analyze the data.
AU - Xia, Peng
AU - Heisenberg, Carl-Philipp J
ED - Dosch, Roland
ID - 9245
KW - Tissue tension
KW - Morphogenesis
KW - Laser ablation
KW - Zebrafish folliculogenesis
KW - Granulosa cells
SN - 1064-3745
T2 - Germline Development in the Zebrafish
TI - Quantifying tissue tension in the granulosa layer after laser surgery
VL - 2218
ER -
TY - JOUR
AB - We consider the Fröhlich Hamiltonian in a mean-field limit where many bosonic particles weakly couple to the quantized phonon field. For large particle numbers and a suitably small coupling, we show that the dynamics of the system is approximately described by the Landau–Pekar equations. These describe a Bose–Einstein condensate interacting with a classical polarization field, whose dynamics is effected by the condensate, i.e., the back-reaction of the phonons that are created by the particles during the time evolution is of leading order.
AU - Leopold, Nikolai K
AU - Mitrouskas, David Johannes
AU - Seiringer, Robert
ID - 9246
JF - Archive for Rational Mechanics and Analysis
SN - 00039527
TI - Derivation of the Landau–Pekar equations in a many-body mean-field limit
VL - 240
ER -
TY - JOUR
AB - This paper analyses the conditions for local adaptation in a metapopulation with infinitely many islands under a model of hard selection, where population size depends on local fitness. Each island belongs to one of two distinct ecological niches or habitats. Fitness is influenced by an additive trait which is under habitat‐dependent directional selection. Our analysis is based on the diffusion approximation and accounts for both genetic drift and demographic stochasticity. By neglecting linkage disequilibria, it yields the joint distribution of allele frequencies and population size on each island. We find that under hard selection, the conditions for local adaptation in a rare habitat are more restrictive for more polygenic traits: even moderate migration load per locus at very many loci is sufficient for population sizes to decline. This further reduces the efficacy of selection at individual loci due to increased drift and because smaller populations are more prone to swamping due to migration, causing a positive feedback between increasing maladaptation and declining population sizes. Our analysis also highlights the importance of demographic stochasticity, which exacerbates the decline in numbers of maladapted populations, leading to population collapse in the rare habitat at significantly lower migration than predicted by deterministic arguments.
AU - Szep, Eniko
AU - Sachdeva, Himani
AU - Barton, Nicholas H
ID - 9252
IS - 5
JF - Evolution
KW - Genetics
KW - Ecology
KW - Evolution
KW - Behavior and Systematics
KW - General Agricultural and Biological Sciences
SN - 0014-3820
TI - Polygenic local adaptation in metapopulations: A stochastic eco‐evolutionary model
VL - 75
ER -
TY - CONF
AB - In March 2020, the Austrian government introduced a widespread lock-down in response to the COVID-19 pandemic. Based on subjective impressions and anecdotal evidence, Austrian public and private life came to a sudden halt. Here we assess the effect of the lock-down quantitatively for all regions in Austria and present an analysis of daily changes of human mobility throughout Austria using near-real-time anonymized mobile phone data. We describe an efficient data aggregation pipeline and analyze the mobility by quantifying mobile-phone traffic at specific point of interests (POIs), analyzing individual trajectories and investigating the cluster structure of the origin-destination graph. We found a reduction of commuters at Viennese metro stations of over 80% and the number of devices with a radius of gyration of less than 500 m almost doubled. The results of studying crowd-movement behavior highlight considerable changes in the structure of mobility networks, revealed by a higher modularity and an increase from 12 to 20 detected communities. We demonstrate the relevance of mobility data for epidemiological studies by showing a significant correlation of the outflow from the town of Ischgl (an early COVID-19 hotspot) and the reported COVID-19 cases with an 8-day time lag. This research indicates that mobile phone usage data permits the moment-by-moment quantification of mobility behavior for a whole country. We emphasize the need to improve the availability of such data in anonymized form to empower rapid response to combat COVID-19 and future pandemics.
AU - Heiler, Georg
AU - Reisch, Tobias
AU - Hurt, Jan
AU - Forghani, Mohammad
AU - Omani, Aida
AU - Hanbury, Allan
AU - Karimipour, Farid
ID - 9253
SN - 9781728162515
T2 - 2020 IEEE International Conference on Big Data
TI - Country-wide mobility changes observed using mobile phone data during COVID-19 pandemic
ER -
TY - JOUR
AB - Auxin is a key regulator of plant growth and development. Local auxin biosynthesis and intercellular transport generates regional gradients in the root that are instructive for processes such as specification of developmental zones that maintain root growth and tropic responses. Here we present a toolbox to study auxin-mediated root development that features: (i) the ability to control auxin synthesis with high spatio-temporal resolution and (ii) single-cell nucleus tracking and morphokinetic analysis infrastructure. Integration of these two features enables cutting-edge analysis of root development at single-cell resolution based on morphokinetic parameters under normal growth conditions and during cell-type-specific induction of auxin biosynthesis. We show directional auxin flow in the root and refine the contributions of key players in this process. In addition, we determine the quantitative kinetics of Arabidopsis root meristem skewing, which depends on local auxin gradients but does not require PIN2 and AUX1 auxin transporter activities. Beyond the mechanistic insights into root development, the tools developed here will enable biologists to study kinetics and morphology of various critical processes at the single cell-level in whole organisms.
AU - Hu, Yangjie
AU - Omary, Moutasem
AU - Hu, Yun
AU - Doron, Ohad
AU - Hörmayer, Lukas
AU - Chen, Qingguo
AU - Megides, Or
AU - Chekli, Ori
AU - Ding, Zhaojun
AU - Friml, Jiří
AU - Zhao, Yunde
AU - Tsarfaty, Ilan
AU - Shani, Eilon
ID - 9254
JF - Nature Communications
TI - Cell kinetics of auxin transport and activity in Arabidopsis root growth and skewing
VL - 12
ER -
TY - JOUR
AB - Our ability to trust that a random number is truly random is essential for fields as diverse as cryptography and fundamental tests of quantum mechanics. Existing solutions both come with drawbacks—device-independent quantum random number generators (QRNGs) are highly impractical and standard semi-device-independent QRNGs are limited to a specific physical implementation and level of trust. Here we propose a framework for semi-device-independent randomness certification, using a source of trusted vacuum in the form of a signal shutter. It employs a flexible set of assumptions and levels of trust, allowing it to be applied in a wide range of physical scenarios involving both quantum and classical entropy sources. We experimentally demonstrate our protocol with a photonic setup and generate secure random bits under three different assumptions with varying degrees of security and resulting data rates.
AU - Pivoluska, Matej
AU - Plesch, Martin
AU - Farkas, Máté
AU - Ruzickova, Natalia
AU - Flegel, Clara
AU - Valencia, Natalia Herrera
AU - Mccutcheon, Will
AU - Malik, Mehul
AU - Aguilar, Edgar A.
ID - 9255
JF - npj Quantum Information
TI - Semi-device-independent random number generation with flexible assumptions
VL - 7
ER -
TY - JOUR
AB - The inverse problem of designing component interactions to target emergent structure is fundamental to numerous applications in biotechnology, materials science, and statistical physics. Equally important is the inverse problem of designing emergent kinetics, but this has received considerably less attention. Using recent advances in automatic differentiation, we show how kinetic pathways can be precisely designed by directly differentiating through statistical physics models, namely free energy calculations and molecular dynamics simulations. We consider two systems that are crucial to our understanding of structural self-assembly: bulk crystallization and small nanoclusters. In each case, we are able to assemble precise dynamical features. Using gradient information, we manipulate interactions among constituent particles to tune the rate at which these systems yield specific structures of interest. Moreover, we use this approach to learn nontrivial features about the high-dimensional design space, allowing us to accurately predict when multiple kinetic features can be simultaneously and independently controlled. These results provide a concrete and generalizable foundation for studying nonstructural self-assembly, including kinetic properties as well as other complex emergent properties, in a vast array of systems.
AU - Goodrich, Carl Peter
AU - King, Ella M.
AU - Schoenholz, Samuel S.
AU - Cubuk, Ekin D.
AU - Brenner, Michael P.
ID - 9257
IS - 10
JF - Proceedings of the National Academy of Sciences
SN - 0027-8424
TI - Designing self-assembling kinetics with differentiable statistical physics models
VL - 118
ER -
TY - JOUR
AU - Pinkard, Henry
AU - Stuurman, Nico
AU - Ivanov, Ivan E.
AU - Anthony, Nicholas M.
AU - Ouyang, Wei
AU - Li, Bin
AU - Yang, Bin
AU - Tsuchida, Mark A.
AU - Chhun, Bryant
AU - Zhang, Grace
AU - Mei, Ryan
AU - Anderson, Michael
AU - Shepherd, Douglas P.
AU - Hunt-Isaak, Ian
AU - Dunn, Raymond L.
AU - Jahr, Wiebke
AU - Kato, Saul
AU - Royer, Loïc A.
AU - Thiagarajah, Jay R.
AU - Eliceiri, Kevin W.
AU - Lundberg, Emma
AU - Mehta, Shalin B.
AU - Waller, Laura
ID - 9258
IS - 3
JF - Nature Methods
SN - 1548-7091
TI - Pycro-Manager: Open-source software for customized and reproducible microscope control
VL - 18
ER -
TY - JOUR
AB - Gradients of chemokines and growth factors guide migrating cells and morphogenetic processes. Migration of antigen-presenting dendritic cells from the interstitium into the lymphatic system is dependent on chemokine CCL21, which is secreted by endothelial cells of the lymphatic capillary, binds heparan sulfates and forms gradients decaying into the interstitium. Despite the importance of CCL21 gradients, and chemokine gradients in general, the mechanisms of gradient formation are unclear. Studies on fibroblast growth factors have shown that limited diffusion is crucial for gradient formation. Here, we used the mouse dermis as a model tissue to address the necessity of CCL21 anchoring to lymphatic capillary heparan sulfates in the formation of interstitial CCL21 gradients. Surprisingly, the absence of lymphatic endothelial heparan sulfates resulted only in a modest decrease of CCL21 levels at the lymphatic capillaries and did neither affect interstitial CCL21 gradient shape nor dendritic cell migration toward lymphatic capillaries. Thus, heparan sulfates at the level of the lymphatic endothelium are dispensable for the formation of a functional CCL21 gradient.
AU - Vaahtomeri, Kari
AU - Moussion, Christine
AU - Hauschild, Robert
AU - Sixt, Michael K
ID - 9259
JF - Frontiers in Immunology
TI - Shape and function of interstitial chemokine CCL21 gradients are independent of heparan sulfates produced by lymphatic endothelium
VL - 12
ER -
TY - JOUR
AB - We study the density of rational points on a higher-dimensional orbifold (Pn−1,Δ) when Δ is a Q-divisor involving hyperplanes. This allows us to address a question of Tanimoto about whether the set of rational points on such an orbifold constitutes a thin set. Our approach relies on the Hardy–Littlewood circle method to first study an asymptotic version of Waring’s problem for mixed powers. In doing so we make crucial use of the recent resolution of the main conjecture in Vinogradov’s mean value theorem, due to Bourgain–Demeter–Guth and Wooley.
AU - Browning, Timothy D
AU - Yamagishi, Shuntaro
ID - 9260
JF - Mathematische Zeitschrift
SN - 0025-5874
TI - Arithmetic of higher-dimensional orbifolds and a mixed Waring problem
VL - 299
ER -
TY - JOUR
AB - Sequence-specific oligomers with predictable folding patterns, i.e., foldamers, provide new opportunities to mimic α-helical peptides and design inhibitors of protein-protein interactions. One major hurdle of this strategy is to retain the correct orientation of key side chains involved in protein surface recognition. Here, we show that the structural plasticity of a foldamer backbone may notably contribute to the required spatial adjustment for optimal interaction with the protein surface. By using oligoureas as α helix mimics, we designed a foldamer/peptide hybrid inhibitor of histone chaperone ASF1, a key regulator of chromatin dynamics. The crystal structure of its complex with ASF1 reveals a notable plasticity of the urea backbone, which adapts to the ASF1 surface to maintain the same binding interface. One additional benefit of generating ASF1 ligands with nonpeptide oligourea segments is the resistance to proteolysis in human plasma, which was highly improved compared to the cognate α-helical peptide.
AU - Mbianda, Johanne
AU - Bakail, May M
AU - André, Christophe
AU - Moal, Gwenaëlle
AU - Perrin, Marie E.
AU - Pinna, Guillaume
AU - Guerois, Raphaël
AU - Becher, Francois
AU - Legrand, Pierre
AU - Traoré, Seydou
AU - Douat, Céline
AU - Guichard, Gilles
AU - Ochsenbein, Françoise
ID - 9262
IS - 12
JF - Science Advances
SN - 2375-2548
TI - Optimal anchoring of a foldamer inhibitor of ASF1 histone chaperone through backbone plasticity
VL - 7
ER -
TY - GEN
AB - We comment on two formal proofs of Fermat's sum of two squares theorem, written using the Mathematical Components libraries of the Coq proof assistant. The first one follows Zagier's celebrated one-sentence proof; the second follows David Christopher's recent new proof relying on partition-theoretic arguments. Both formal proofs rely on a general property of involutions of finite sets, of independent interest. The proof technique consists for the most part of automating recurrent tasks (such as case distinctions and computations on natural numbers) via ad hoc tactics.
AU - Dubach, Guillaume
AU - Mühlböck, Fabian
ID - 9281
T2 - arXiv
TI - Formal verification of Zagier's one-sentence proof
ER -
TY - JOUR
AB - Several Ising-type magnetic van der Waals (vdW) materials exhibit stable magnetic ground states. Despite these clear experimental demonstrations, a complete theoretical and microscopic understanding of their magnetic anisotropy is still lacking. In particular, the validity limit of identifying their one-dimensional (1-D) Ising nature has remained uninvestigated in a quantitative way. Here we performed the complete mapping of magnetic anisotropy for a prototypical Ising vdW magnet FePS3 for the first time. Combining torque magnetometry measurements with their magnetostatic model analysis and the relativistic density functional total energy calculations, we successfully constructed the three-dimensional (3-D) mappings of the magnetic anisotropy in terms of magnetic torque and energy. The results not only quantitatively confirm that the easy axis is perpendicular to the ab plane, but also reveal the anisotropies within the ab, ac, and bc planes. Our approach can be applied to the detailed quantitative study of magnetism in vdW materials.
AU - Nauman, Muhammad
AU - Kiem, Do Hoon
AU - Lee, Sungmin
AU - Son, Suhan
AU - Park, J-G
AU - Kang, Woun
AU - Han, Myung Joon
AU - Jo, Youn Jung
ID - 9282
IS - 3
JF - 2D Materials
KW - Mechanical Engineering
KW - General Materials Science
KW - Mechanics of Materials
KW - General Chemistry
KW - Condensed Matter Physics
SN - 2053-1583
TI - Complete mapping of magnetic anisotropy for prototype Ising van der Waals FePS3
VL - 8
ER -
TY - JOUR
AB - 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 (GRNs) remains a major challenge. Here, we use a well-defined synthetic GRN to study in Escherichia coli 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 GRN with fixed topology can display not only quantitatively but also qualitatively different phenotypes, depending solely on the local genetic context of its components. Transcriptional read-through is the main molecular mechanism that places one transcriptional unit (TU) within two separate regulons without the need for complex regulatory sequences. We propose that relative order of individual TUs, with its potential for combinatorial complexity, plays an important role in shaping phenotypes of GRNs.
AU - Nagy-Staron, Anna A
AU - Tomasek, Kathrin
AU - Caruso Carter, Caroline
AU - Sonnleitner, Elisabeth
AU - Kavcic, Bor
AU - Paixão, Tiago
AU - Guet, Calin C
ID - 9283
JF - eLife
KW - Genetics and Molecular Biology
SN - 2050-084X
TI - Local genetic context shapes the function of a gene regulatory network
VL - 10
ER -
TY - JOUR
AB - The phytohormone auxin and its directional transport through tissues are intensively studied. However, a mechanistic understanding of auxin-mediated feedback on endocytosis and polar distribution of PIN auxin transporters remains limited due to contradictory observations and interpretations. Here, we used state-of-the-art methods to reexamine the
auxin effects on PIN endocytic trafficking. We used high auxin concentrations or longer treatments versus lower concentrations and shorter treatments of natural (IAA) and synthetic (NAA) auxins to distinguish between specific and nonspecific effects. Longer treatments of both auxins interfere with Brefeldin A-mediated intracellular PIN2 accumulation and also with general aggregation of endomembrane compartments. NAA treatment decreased the internalization of the endocytic tracer dye, FM4-64; however, NAA treatment also affected the number, distribution, and compartment identity of the early endosome/trans-Golgi network (EE/TGN), rendering the FM4-64 endocytic assays at high NAA concentrations unreliable. To circumvent these nonspecific effects of NAA and IAA affecting the endomembrane system, we opted for alternative approaches visualizing the endocytic events directly at the plasma membrane (PM). Using Total Internal Reflection Fluorescence (TIRF) microscopy, we saw no significant effects of IAA or NAA treatments on the incidence and dynamics of clathrin foci, implying that these treatments do not affect the overall endocytosis rate. However, both NAA and IAA at low concentrations rapidly and specifically promoted endocytosis of photo-converted PIN2 from the PM. These analyses identify a specific effect of NAA and IAA on PIN2 endocytosis, thus contributing to its
polarity maintenance and furthermore illustrate that high auxin levels have nonspecific effects on trafficking and endomembrane compartments.
AU - Narasimhan, Madhumitha
AU - Gallei, Michelle C
AU - Tan, Shutang
AU - Johnson, Alexander J
AU - Verstraeten, Inge
AU - Li, Lanxin
AU - Rodriguez Solovey, Lesia
AU - Han, Huibin
AU - Himschoot, E
AU - Wang, R
AU - Vanneste, S
AU - Sánchez-Simarro, J
AU - Aniento, F
AU - Adamowski, Maciek
AU - Friml, Jiří
ID - 9287
IS - 2
JF - Plant Physiology
SN - 0032-0889
TI - Systematic analysis of specific and nonspecific auxin effects on endocytosis and trafficking
VL - 186
ER -
TY - JOUR
AB - • The phenylpropanoid pathway serves a central role in plant metabolism, providing numerous compounds involved in diverse physiological processes. Most carbon entering the pathway is incorporated into lignin. Although several phenylpropanoid pathway mutants show seedling growth arrest, the role for lignin in seedling growth and development is unexplored.
• We use complementary pharmacological and genetic approaches to block CINNAMATE‐4‐HYDROXYLASE (C4H) functionality in Arabidopsis seedlings and a set of molecular and biochemical techniques to investigate the underlying phenotypes.
• Blocking C4H resulted in reduced lateral rooting and increased adventitious rooting apically in the hypocotyl. These phenotypes coincided with an inhibition in auxin transport. The upstream accumulation in cis‐cinnamic acid was found to likely cause polar auxin transport inhibition. Conversely, a downstream depletion in lignin perturbed phloem‐mediated auxin transport. Restoring lignin deposition effectively reestablished phloem transport and, accordingly, auxin homeostasis.
• Our results show that the accumulation of bioactive intermediates and depletion in lignin jointly cause the aberrant phenotypes upon blocking C4H, and demonstrate that proper deposition of lignin is essential for the establishment of auxin distribution in seedlings. Our data position the phenylpropanoid pathway and lignin in a new physiological framework, consolidating their importance in plant growth and development.
AU - El Houari, I
AU - Van Beirs, C
AU - Arents, HE
AU - Han, Huibin
AU - Chanoca, A
AU - Opdenacker, D
AU - Pollier, J
AU - Storme, V
AU - Steenackers, W
AU - Quareshy, M
AU - Napier, R
AU - Beeckman, T
AU - Friml, Jiří
AU - De Rybel, B
AU - Boerjan, W
AU - Vanholme, B
ID - 9288
IS - 6
JF - New Phytologist
SN - 0028-646x
TI - Seedling developmental defects upon blocking CINNAMATE-4-HYDROXYLASE are caused by perturbations in auxin transport
VL - 230
ER -
TY - CONF
AB - We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC decomposition problem of graphs and closed recurrent sets of Markov chains. The model of symbolic algorithms is widely used in formal verification and model-checking, where access to the input model is restricted to only symbolic operations (e.g., basic set operations and computation of one-step neighborhood). For an input MDP with n vertices and m edges, the classical symbolic algorithm from the 1990s for the MEC decomposition requires O(n2) symbolic operations and O(1) symbolic space. The only other symbolic algorithm for the MEC decomposition requires O(nm−−√) symbolic operations and O(m−−√) symbolic space. A main open question is whether the worst-case O(n2) bound for symbolic operations can be beaten. We present a symbolic algorithm that requires O˜(n1.5) symbolic operations and O˜(n−−√) symbolic space. Moreover, the parametrization of our algorithm provides a trade-off between symbolic operations and symbolic space: for all 0<ϵ≤1/2 the symbolic algorithm requires O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space ( O˜ hides poly-logarithmic factors). Using our techniques we present faster algorithms for computing the almost-sure winning regions of ω -regular objectives for MDPs. We consider the canonical parity objectives for ω -regular objectives, and for parity objectives with d -priorities we present an algorithm that computes the almost-sure winning region with O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space, for all 0<ϵ≤1/2 .
AU - Chatterjee, Krishnendu
AU - Dvorak, Wolfgang
AU - Henzinger, Monika
AU - Svozil, Alexander
ID - 10002
KW - Computer science
KW - Computational modeling
KW - Markov processes
KW - Probabilistic logic
KW - Formal verification
KW - Game Theory
SN - 1043-6871
T2 - Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
TI - Symbolic time and space tradeoffs for probabilistic verification
ER -
TY - CONF
AB - Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating non-deterministic behaviors. Given an MDP and rewards on states, a classical optimization criterion is the maximal expected total reward where the MDP stops after T steps, which can be computed by a simple dynamic programming algorithm. We consider a natural generalization of the problem where the stopping times can be chosen according to a probability distribution, such that the expected stopping time is T, to optimize the expected total reward. Quite surprisingly we establish inter-reducibility of the expected stopping-time problem for Markov chains with the Positivity problem (which is related to the well-known Skolem problem), for which establishing either decidability or undecidability would be a major breakthrough. Given the hardness of the exact problem, we consider the approximate version of the problem: we show that it can be solved in exponential time for Markov chains and in exponential space for MDPs.
AU - Chatterjee, Krishnendu
AU - Doyen, Laurent
ID - 10004
KW - Computer science
KW - Heuristic algorithms
KW - Memory management
KW - Automata
KW - Markov processes
KW - Probability distribution
KW - Complexity theory
SN - 1043-6871
T2 - Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
TI - Stochastic processes with expected stopping time
ER -
TY - JOUR
AB - We study systems of nonlinear partial differential equations of parabolic type, in which the elliptic operator is replaced by the first-order divergence operator acting on a flux function, which is related to the spatial gradient of the unknown through an additional implicit equation. This setting, broad enough in terms of applications, significantly expands the paradigm of nonlinear parabolic problems. Formulating four conditions concerning the form of the implicit equation, we first show that these conditions describe a maximal monotone p-coercive graph. We then establish the global-in-time and large-data existence of a (weak) solution and its uniqueness. To this end, we adopt and significantly generalize Minty’s method of monotone mappings. A unified theory, containing several novel tools, is developed in a way to be tractable from the point of view of numerical approximations.
AU - Bulíček, Miroslav
AU - Maringová, Erika
AU - Málek, Josef
ID - 10005
IS - 09
JF - Mathematical Models and Methods in Applied Sciences
KW - Nonlinear parabolic systems
KW - implicit constitutive theory
KW - weak solutions
KW - existence
KW - uniqueness
SN - 0218-2025
TI - On nonlinear problems of parabolic type with implicit constitutive equations involving flux
VL - 31
ER -
TY - THES
AB - The present thesis is concerned with the derivation of weak-strong uniqueness principles for curvature driven interface evolution problems not satisfying a comparison principle. The specific examples being treated are two-phase Navier-Stokes flow with surface tension, modeling the evolution of two incompressible, viscous and immiscible fluids separated by a sharp interface, and multiphase mean curvature flow, which serves as an idealized model for the motion of grain boundaries in an annealing polycrystalline material. Our main results - obtained in joint works with Julian Fischer, Tim Laux and Theresa M. Simon - state that prior to the formation of geometric singularities due to topology changes, the weak solution concept of Abels (Interfaces Free Bound. 9, 2007) to two-phase Navier-Stokes flow with surface tension and the weak solution concept of Laux and Otto (Calc. Var. Partial Differential Equations 55, 2016) to multiphase mean curvature flow (for networks in R^2 or double bubbles in R^3) represents the unique solution to these interface evolution problems within the class of classical solutions, respectively. To the best of the author's knowledge, for interface evolution problems not admitting a geometric comparison principle the derivation of a weak-strong uniqueness principle represented an open problem, so that the works contained in the present thesis constitute the first positive results in this direction. The key ingredient of our approach consists of the introduction of a novel concept of relative entropies for a class of curvature driven interface evolution problems, for which the associated energy contains an interfacial contribution being proportional to the surface area of the evolving (network of) interface(s). The interfacial part of the relative entropy gives sufficient control on the interface error between a weak and a classical solution, and its time evolution can be computed, at least in principle, for any energy dissipating weak solution concept. A resulting stability estimate for the relative entropy essentially entails the above mentioned weak-strong uniqueness principles. The present thesis contains a detailed introduction to our relative entropy approach, which in particular highlights potential applications to other problems in curvature driven interface evolution not treated in this thesis.
AU - Hensel, Sebastian
ID - 10007
SN - 2663-337X
TI - Curvature driven interface evolution: Uniqueness properties of weak solution concepts
ER -
TY - GEN
AB - We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461, (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold solution in our sense. Second, we prove that any calibrated flow in the sense of Fischer et al. [arXiv:2003.05478] - and hence any classical solution to mean curvature flow - is unique in the class of our new varifold solutions. This is in sharp contrast to the case of Brakke flows, which a priori may disappear at any given time and are therefore fatally non-unique. Finally, we propose an extension of the solution concept to the multi-phase case which is at least guaranteed to satisfy a weak-strong uniqueness principle.
AU - Hensel, Sebastian
AU - Laux, Tim
ID - 10011
KW - Mean curvature flow
KW - gradient flows
KW - varifolds
KW - weak solutions
KW - weak-strong uniqueness
KW - calibrated geometry
KW - gradient-flow calibrations
T2 - arXiv
TI - A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness
ER -
TY - GEN
AB - We derive a weak-strong uniqueness principle for BV solutions to multiphase mean curvature flow of triple line clusters in three dimensions. Our proof is based on the explicit construction of a gradient-flow calibration in the sense of the recent work of Fischer et al. [arXiv:2003.05478] for any such cluster. This extends the two-dimensional construction to the three-dimensional case of surfaces meeting along triple junctions.
AU - Hensel, Sebastian
AU - Laux, Tim
ID - 10013
T2 - arXiv
TI - Weak-strong uniqueness for the mean curvature flow of double bubbles
ER -
TY - JOUR
AB - Auxin plays a dual role in growth regulation and, depending on the tissue and concentration of the hormone, it can either promote or inhibit division and expansion processes in plants. Recent studies have revealed that, beyond transcriptional reprogramming, alternative auxincontrolled mechanisms regulate root growth. Here, we explored the impact of different concentrations of the synthetic auxin NAA that establish growth-promoting and -repressing conditions on the root tip proteome and phosphoproteome, generating a unique resource. From the phosphoproteome data, we pinpointed (novel) growth regulators, such as the RALF34-THE1 module. Our results, together with previously published studies, suggest that auxin, H+-ATPases, cell wall modifications and cell wall sensing receptor-like kinases are tightly embedded in a pathway regulating cell elongation. Furthermore, our study assigned a novel role to MKK2 as a regulator of primary root growth and a (potential) regulator of auxin biosynthesis and signalling, and suggests the importance of the MKK2
Thr31 phosphorylation site for growth regulation in the Arabidopsis root tip.
AU - Nikonorova, N
AU - Murphy, E
AU - Fonseca de Lima, CF
AU - Zhu, S
AU - van de Cotte, B
AU - Vu, LD
AU - Balcerowicz, D
AU - Li, Lanxin
AU - Kong, X
AU - De Rop, G
AU - Beeckman, T
AU - Friml, Jiří
AU - Vissenberg, K
AU - Morris, PC
AU - Ding, Z
AU - De Smet, I
ID - 10015
JF - Cells
KW - primary root
KW - (phospho)proteomics
KW - auxin
KW - (receptor) kinase
SN - 2073-4409
TI - The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators
VL - 10
ER -
TY - JOUR
AB - Auxin has always been at the forefront of research in plant physiology and development. Since the earliest contemplations by Julius von Sachs and Charles Darwin, more than a century-long struggle has been waged to understand its function. This largely reflects the failures, successes, and inevitable progress in the entire field of plant signaling and development. Here I present 14 stations on our long and sometimes mystical journey to understand auxin. These highlights were selected to give a flavor of the field and to show the scope and limits of our current knowledge. A special focus is put on features that make auxin unique among phytohormones, such as its dynamic, directional transport network, which integrates external and internal signals, including self-organizing feedback. Accented are persistent mysteries and controversies. The unexpected discoveries related to rapid auxin responses and growth regulation recently disturbed our contentment regarding understanding of the auxin signaling mechanism. These new revelations, along with advances in technology, usher us into a new, exciting era in auxin research.
AU - Friml, Jiří
ID - 10016
JF - Cold Spring Harbor Perspectives in Biology
SN - 1943-0264
TI - Fourteen stations of auxin
ER -
TY - GEN
AB - In order to study integral points of bounded log-anticanonical height on weak del Pezzo surfaces, we classify weak del Pezzo pairs. As a representative example, we consider a quartic del Pezzo surface of singularity type A1 + A3 and prove an analogue of Manin's conjecture for integral points with respect to its singularities and its lines.
AU - Derenthal, Ulrich
AU - Wilsch, Florian Alexander
ID - 10018
KW - Integral points
KW - del Pezzo surface
KW - universal torsor
KW - Manin’s conjecture
T2 - arXiv
TI - Integral points on singular del Pezzo surfaces
ER -
TY - JOUR
AB - We study the temporal dissipation of variance and relative entropy for ergodic Markov Chains in continuous time, and compute explicitly the corresponding dissipation rates. These are identified, as is well known, in the case of the variance in terms of an appropriate Hilbertian norm; and in the case of the relative entropy, in terms of a Dirichlet form which morphs into a version of the familiar Fisher information under conditions of detailed balance. Here we obtain trajectorial versions of these results, valid along almost every path of the random motion and most transparent in the backwards direction of time. Martingale arguments and time reversal play crucial roles, as in the recent work of Karatzas, Schachermayer and Tschiderer for conservative diffusions. Extensions are developed to general “convex divergences” and to countable state-spaces. The steepest descent and gradient flow properties for the variance, the relative entropy, and appropriate generalizations, are studied along with their respective geometries under conditions of detailed balance, leading to a very direct proof for the HWI inequality of Otto and Villani in the present context.
AU - Karatzas, Ioannis
AU - Maas, Jan
AU - Schachermayer, Walter
ID - 10023
IS - 4
JF - Communications in Information and Systems
KW - Markov Chain
KW - relative entropy
KW - time reversal
KW - steepest descent
KW - gradient flow
SN - 1526-7555
TI - Trajectorial dissipation and gradient flow for the relative entropy in Markov chains
VL - 21
ER -
TY - JOUR
AB - Ferromagnetism is most common in transition metal compounds but may also arise in low-density two-dimensional electron systems, with signatures observed in silicon, III-V semiconductor systems, and graphene moiré heterostructures. Here we show that gate-tuned van Hove singularities in rhombohedral trilayer graphene drive the spontaneous ferromagnetic polarization of the electron system into one or more spin- and valley flavors. Using capacitance measurements on graphite-gated van der Waals heterostructures, we find a cascade of density- and electronic displacement field tuned phase transitions marked by negative electronic compressibility. The transitions define the boundaries between phases where quantum oscillations have either four-fold, two-fold, or one-fold degeneracy, associated with a spin and valley degenerate normal metal, spin-polarized `half-metal', and spin and valley polarized `quarter metal', respectively. For electron doping, the salient features are well captured by a phenomenological Stoner model with a valley-anisotropic Hund's coupling, likely arising from interactions at the lattice scale. For hole filling, we observe a richer phase diagram featuring a delicate interplay of broken symmetries and transitions in the Fermi surface topology. Finally, by rotational alignment of a hexagonal boron nitride substrate to induce a moiré superlattice, we find that the superlattice perturbs the preexisting isospin order only weakly, leaving the basic phase diagram intact while catalyzing the formation of topologically nontrivial gapped states whenever itinerant half- or quarter metal states occur at half- or quarter superlattice band filling. Our results show that rhombohedral trilayer graphene is an ideal platform for well-controlled tests of many-body theory and reveal magnetism in moiré materials to be fundamentally itinerant in nature.
AU - Zhou, Haoxin
AU - Xie, Tian
AU - Ghazaryan, Areg
AU - Holder, Tobias
AU - Ehrets, James R.
AU - Spanton, Eric M.
AU - Taniguchi, Takashi
AU - Watanabe, Kenji
AU - Berg, Erez
AU - Serbyn, Maksym
AU - Young, Andrea F.
ID - 10025
JF - Nature
KW - condensed matter - mesoscale and nanoscale physics
KW - condensed matter - strongly correlated electrons
KW - multidisciplinary
SN - 0028-0836
TI - Half and quarter metals in rhombohedral trilayer graphene
ER -
TY - GEN
AB - Superconductor-semiconductor hybrids are platforms for realizing effective p-wave superconductivity. Spin-orbit coupling, combined with the proximity effect, causes the two-dimensional semiconductor to inherit p±ip intraband pairing, and application of magnetic field can then result in transitions to the normal state, partial Bogoliubov Fermi surfaces, or topological phases with Majorana modes. Experimentally probing the hybrid superconductor-semiconductor interface is challenging due to the shunting effect of the conventional superconductor. Consequently, the nature of induced pairing remains an open question. Here, we use the circuit quantum electrodynamics architecture to probe induced superconductivity in a two dimensional Al-InAs hybrid system. We observe a strong suppression of superfluid density and enhanced dissipation driven by magnetic field, which cannot be accounted for by the depairing theory of an s-wave superconductor. These observations are explained by a picture of independent intraband p±ip superconductors giving way to partial Bogoliubov Fermi surfaces, and allow for the first characterization of key properties of the hybrid superconducting system.
AU - Phan, Duc T
AU - Senior, Jorden L
AU - Ghazaryan, Areg
AU - Hatefipour, M.
AU - Strickland, W. M.
AU - Shabani, J.
AU - Serbyn, Maksym
AU - Higginbotham, Andrew P
ID - 10029
T2 - arXiv
TI - Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid
ER -
TY - THES
AB - This PhD thesis is primarily focused on the study of discrete transport problems, introduced for the first time in the seminal works of Maas [Maa11] and Mielke [Mie11] on finite state Markov chains and reaction-diffusion equations, respectively. More in detail, my research focuses on the study of transport costs on graphs, in particular the convergence and the stability of such problems in the discrete-to-continuum limit. This thesis also includes some results concerning
non-commutative optimal transport. The first chapter of this thesis consists of a general introduction to the optimal transport problems, both in the discrete, the continuous, and the non-commutative setting. Chapters 2 and 3 present the content of two works, obtained in collaboration with Peter Gladbach, Eva Kopfer, and Jan Maas, where we have been able to show the convergence of discrete transport costs on periodic graphs to suitable continuous ones, which can be described by means of a homogenisation result. We first focus on the particular case of quadratic costs on the real line and then extending the result to more general costs in arbitrary dimension. Our results are the first complete characterisation of limits of transport costs on periodic graphs in arbitrary dimension which do not rely on any additional symmetry. In Chapter 4 we turn our attention to one of the intriguing connection between evolution equations and optimal transport, represented by the theory of gradient flows. We show that discrete gradient flow structures associated to a finite volume approximation of a certain class of diffusive equations (Fokker–Planck) is stable in the limit of vanishing meshes, reproving the convergence of the scheme via the method of evolutionary Γ-convergence and exploiting a more variational point of view on the problem. This is based on a collaboration with Dominik Forkert and Jan Maas. Chapter 5 represents a change of perspective, moving away from the discrete world and reaching the non-commutative one. As in the discrete case, we discuss how classical tools coming from the commutative optimal transport can be translated into the setting of density matrices. In particular, in this final chapter we present a non-commutative version of the Schrödinger problem (or entropic regularised optimal transport problem) and discuss existence and characterisation of minimisers, a duality result, and present a non-commutative version of the well-known Sinkhorn algorithm to compute the above mentioned optimisers. This is based on a joint work with Dario Feliciangeli and Augusto Gerolin. Finally, Appendix A and B contain some additional material and discussions, with particular attention to Harnack inequalities and the regularity of flows on discrete spaces.
AU - Portinale, Lorenzo
ID - 10030
SN - 2663-337X
TI - Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
ER -
TY - THES
AB - Many security definitions come in two flavors: a stronger “adaptive” flavor, where the adversary can arbitrarily make various choices during the course of the attack, and a weaker “selective” flavor where the adversary must commit to some or all of their choices a-priori. For example, in the context of identity-based encryption, selective security requires the adversary to decide on the identity of the attacked party at the very beginning of the game whereas adaptive security allows the attacker to first see the master public key and some secret keys before making this choice. Often, it appears to be much easier to achieve selective security than it is to achieve adaptive security. A series of several recent works shows how to cleverly achieve adaptive security in several such scenarios including generalized selective decryption [Pan07][FJP15], constrained PRFs [FKPR14], and Yao’s garbled circuits [JW16]. Although the above works expressed vague intuition that they share a common technique, the connection was never made precise. In this work we present a new framework (published at Crypto ’17 [JKK+17a]) that connects all of these works and allows us to present them in a unified and simplified fashion. Having the framework in place, we show how to achieve adaptive security for proxy re-encryption schemes (published at PKC ’19 [FKKP19]) and provide the first adaptive security proofs for continuous group key agreement protocols (published at S&P ’21 [KPW+21]). Questioning optimality of our framework, we then show that currently used proof techniques cannot lead to significantly better security guarantees for "graph-building" games (published at TCC ’21 [KKPW21a]). These games cover generalized selective decryption, as well as the security of prominent constructions for constrained PRFs, continuous group key agreement, and proxy re-encryption. Finally, we revisit the adaptive security of Yao’s garbled circuits and extend the analysis of Jafargholi and Wichs in two directions: While they prove adaptive security only for a modified construction with increased online complexity, we provide the first positive results for the original construction by Yao (published at TCC ’21 [KKP21a]). On the negative side, we prove that the results of Jafargholi and Wichs are essentially optimal by showing that no black-box reduction can provide a significantly better security bound (published at Crypto ’21 [KKPW21c]).
AU - Klein, Karen
ID - 10035
SN - 2663-337X
TI - On the adaptive security of graph-based games
ER -
TY - CONF
AB - Yao’s garbling scheme is one of the most fundamental cryptographic constructions. Lindell and Pinkas (Journal of Cryptograhy 2009) gave a formal proof of security in the selective setting where the adversary chooses the challenge inputs before seeing the garbled circuit assuming secure symmetric-key encryption (and hence one-way functions). This was followed by results, both positive and negative, concerning its security in the, stronger, adaptive setting. Applebaum et al. (Crypto 2013) showed that it cannot satisfy adaptive security as is, due to a simple incompressibility argument. Jafargholi and Wichs (TCC 2017) considered a natural adaptation of Yao’s scheme (where the output mapping is sent in the online phase, together with the garbled input) that circumvents this negative result, and proved that it is adaptively secure, at least for shallow circuits. In particular, they showed that for the class of circuits of depth δ , the loss in security is at most exponential in δ . The above results all concern the simulation-based notion of security. In this work, we show that the upper bound of Jafargholi and Wichs is basically optimal in a strong sense. As our main result, we show that there exists a family of Boolean circuits, one for each depth δ∈N , such that any black-box reduction proving the adaptive indistinguishability of the natural adaptation of Yao’s scheme from any symmetric-key encryption has to lose a factor that is exponential in δ√ . Since indistinguishability is a weaker notion than simulation, our bound also applies to adaptive simulation. To establish our results, we build on the recent approach of Kamath et al. (Eprint 2021), which uses pebbling lower bounds in conjunction with oracle separations to prove fine-grained lower bounds on loss in cryptographic security.
AU - Kamath Hosdurg, Chethan
AU - Klein, Karen
AU - Pietrzak, Krzysztof Z
AU - Wichs, Daniel
ID - 10041
SN - 0302-9743
T2 - 41st Annual International Cryptology Conference, Part II
TI - Limits on the Adaptive Security of Yao’s Garbling
VL - 12826
ER -
TY - CONF
AB - We show that Yao’s garbling scheme is adaptively indistinguishable for the class of Boolean circuits of size S and treewidth w with only a S^O(w) loss in security. For instance, circuits with constant treewidth are as a result adaptively indistinguishable with only a polynomial loss. This (partially) complements a negative result of Applebaum et al. (Crypto 2013), which showed (assuming one-way functions) that Yao’s garbling scheme cannot be adaptively simulatable. As main technical contributions, we introduce a new pebble game that abstracts out our security reduction and then present a pebbling strategy for this game where the number of pebbles used is roughly O(d w log(S)), d being the fan-out of the circuit. The design of the strategy relies on separators, a graph-theoretic notion with connections to circuit complexity.
AU - Kamath Hosdurg, Chethan
AU - Klein, Karen
AU - Pietrzak, Krzysztof Z
ID - 10044
T2 - 19th Theory of Cryptography Conference 2021
TI - On treewidth, separators and Yao's garbling
ER -
TY - GEN
AB - Given a fixed finite metric space (V,μ), the {\em minimum 0-extension problem}, denoted as 0-Ext[μ], is equivalent to the following optimization problem: minimize function of the form minx∈Vn∑ifi(xi)+∑ijcijμ(xi,xj) where cij,cvi are given nonnegative costs and fi:V→R are functions given by fi(xi)=∑v∈Vcviμ(xi,v). The computational complexity of 0-Ext[μ] has been recently established by Karzanov and by Hirai: if metric μ is {\em orientable modular} then 0-Ext[μ] can be solved in polynomial time, otherwise 0-Ext[μ] is NP-hard. To prove the tractability part, Hirai developed a theory of discrete convex functions on orientable modular graphs generalizing several known classes of functions in discrete convex analysis, such as L♮-convex functions. We consider a more general version of the problem in which unary functions fi(xi) can additionally have terms of the form cuv;iμ(xi,{u,v}) for {u,v}∈F, where set F⊆(V2) is fixed. We extend the complexity classification above by providing an explicit condition on (μ,F) for the problem to be tractable. In order to prove the tractability part, we generalize Hirai's theory and define a larger class of discrete convex functions. It covers, in particular, another well-known class of functions, namely submodular functions on an integer lattice. Finally, we improve the complexity of Hirai's algorithm for solving 0-Ext on orientable modular graphs.
AU - Dvorak, Martin
AU - Kolmogorov, Vladimir
ID - 10045
KW - minimum 0-extension problem
KW - metric labeling problem
KW - discrete metric spaces
KW - metric extensions
KW - computational complexity
KW - valued constraint satisfaction problems
KW - discrete convex analysis
KW - L-convex functions
T2 - arXiv
TI - Generalized minimum 0-extension problem and discrete convexity
ER -
TY - CONF
AB - The security of cryptographic primitives and protocols against adversaries that are allowed to make adaptive choices (e.g., which parties to corrupt or which queries to make) is notoriously difficult to establish. A broad theoretical
framework was introduced by Jafargholi et al. [Crypto’17] for this purpose. In this paper we initiate the study of lower bounds on loss in adaptive security for certain cryptographic protocols considered in the framework. We prove lower
bounds that almost match the upper bounds (proven using the framework) for proxy re-encryption, prefix-constrained PRFs and generalized selective decryption, a security game that captures the security of certain group messaging and
broadcast encryption schemes. Those primitives have in common that their security game involves an underlying graph that can be adaptively built by the adversary. Some of our lower bounds only apply to a restricted class of black-box reductions which we term “oblivious” (the existing upper bounds are of this restricted type), some apply to the broader but still restricted class of non-rewinding reductions, while our lower bound for proxy re-encryption applies to all black-box reductions. The fact that some of our lower bounds seem to crucially rely on obliviousness or at least a non-rewinding reduction hints to the exciting possibility that the existing upper bounds can be improved by using more sophisticated reductions. Our main conceptual contribution is a two-player multi-stage game called the Builder-Pebbler Game. We can translate bounds on the winning probabilities for various instantiations of this game into cryptographic lower bounds for the above-mentioned primitives using oracle separation techniques.
AU - Kamath Hosdurg, Chethan
AU - Klein, Karen
AU - Pietrzak, Krzysztof Z
AU - Walter, Michael
ID - 10048
T2 - 19th Theory of Cryptography Conference 2021
TI - The cost of adaptivity in security games on graphs
ER -
TY - CONF
AB - While messaging systems with strong security guarantees are widely used in practice, designing a protocol that scales efficiently to large groups and enjoys similar security guarantees remains largely open. The two existing proposals to date are ART (Cohn-Gordon et al., CCS18) and TreeKEM (IETF, The Messaging Layer Security Protocol, draft). TreeKEM is the currently considered candidate by the IETF MLS working group, but dynamic group operations (i.e. adding and removing users) can cause efficiency issues. In this paper we formalize and analyze a variant of TreeKEM which we term Tainted TreeKEM (TTKEM for short). The basic idea underlying TTKEM was suggested by Millican (MLS mailing list, February 2018). This version is more efficient than TreeKEM for some natural distributions of group operations, we quantify this through simulations.Our second contribution is two security proofs for TTKEM which establish post compromise and forward secrecy even against adaptive attackers. The security loss (to the underlying PKE) in the Random Oracle Model is a polynomial factor, and a quasipolynomial one in the Standard Model. Our proofs can be adapted to TreeKEM as well. Before our work no security proof for any TreeKEM-like protocol establishing tight security against an adversary who can adaptively choose the sequence of operations was known. We also are the first to prove (or even formalize) active security where the server can arbitrarily deviate from the protocol specification. Proving fully active security – where also the users can arbitrarily deviate – remains open.
AU - Klein, Karen
AU - Pascual Perez, Guillermo
AU - Walter, Michael
AU - Kamath Hosdurg, Chethan
AU - Capretto, Margarita
AU - Cueto Noval, Miguel
AU - Markov, Ilia
AU - Yeo, Michelle X
AU - Alwen, Joel F
AU - Pietrzak, Krzysztof Z
ID - 10049
T2 - 2021 IEEE Symposium on Security and Privacy
TI - Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement
ER -
TY - JOUR
AB - Rab-interacting molecule (RIM)-binding protein 2 (BP2) is a multidomain protein of the presynaptic active zone (AZ). By binding to RIM, bassoon (Bsn), and voltage-gated Ca2+ channels (CaV), it is considered to be a central organizer of the topography of CaV and release sites of synaptic vesicles (SVs) at the AZ. Here, we used RIM-BP2 knock-out (KO) mice and their wild-type (WT) littermates of either sex to investigate the role of RIM-BP2 at the endbulb of Held synapse of auditory nerve fibers (ANFs) with bushy cells (BCs) of the cochlear nucleus, a fast relay of the auditory pathway with high release probability. Disruption of RIM-BP2 lowered release probability altering short-term plasticity and reduced evoked EPSCs. Analysis of SV pool dynamics during high-frequency train stimulation indicated a reduction of SVs with high release probability but an overall normal size of the readily releasable SV pool (RRP). The Ca2+-dependent fast component of SV replenishment after RRP depletion was slowed. Ultrastructural analysis by superresolution light and electron microscopy revealed an impaired topography of presynaptic CaV and a reduction of docked and membrane-proximal SVs at the AZ. We conclude that RIM-BP2 organizes the topography of CaV, and promotes SV tethering and docking. This way RIM-BP2 is critical for establishing a high initial release probability as required to reliably signal sound onset information that we found to be degraded in BCs of RIM-BP2-deficient mice in vivo. SIGNIFICANCE STATEMENT: Rab-interacting molecule (RIM)-binding proteins (BPs) are key organizers of the active zone (AZ). Using a multidisciplinary approach to the calyceal endbulb of Held synapse that transmits auditory information at rates of up to hundreds of Hertz with submillisecond precision we demonstrate a requirement for RIM-BP2 for normal auditory signaling. Endbulb synapses lacking RIM-BP2 show a reduced release probability despite normal whole-terminal Ca2+ influx and abundance of the key priming protein Munc13-1, a reduced rate of SV replenishment, as well as an altered topography of voltage-gated (CaV)2.1 Ca2+ channels, and fewer docked and membrane proximal synaptic vesicles (SVs). This hampers transmission of sound onset information likely affecting downstream neural computations such as of sound localization.
AU - Butola, Tanvi
AU - Alvanos, Theocharis
AU - Hintze, Anika
AU - Koppensteiner, Peter
AU - Kleindienst, David
AU - Shigemoto, Ryuichi
AU - Wichmann, Carolin
AU - Moser, Tobias
ID - 10051
IS - 37
JF - Journal of Neuroscience
SN - 0270-6474
TI - RIM-binding protein 2 organizes Ca^{21} channel topography and regulates release probability and vesicle replenishment at a fast central synapse
VL - 41
ER -
TY - CONF
AB - This paper characterizes the latency of the simplified successive-cancellation (SSC) decoding scheme for polar codes under hardware resource constraints. In particular, when the number of processing elements P that can perform SSC decoding operations in parallel is limited, as is the case in practice, the latency of SSC decoding is O(N1−1 μ+NPlog2log2NP), where N is the block length of the code and μ is the scaling exponent of polar codes for the channel. Three direct consequences of this bound are presented. First, in a fully-parallel implementation where P=N2 , the latency of SSC decoding is O(N1−1/μ) , which is sublinear in the block length. This recovers a result from an earlier work. Second, in a fully-serial implementation where P=1 , the latency of SSC decoding scales as O(Nlog2log2N) . The multiplicative constant is also calculated: we show that the latency of SSC decoding when P=1 is given by (2+o(1))Nlog2log2N . Third, in a semi-parallel implementation, the smallest P that gives the same latency as that of the fully-parallel implementation is P=N1/μ . The tightness of our bound on SSC decoding latency and the applicability of the foregoing results is validated through extensive simulations.
AU - Hashemi, Seyyed Ali
AU - Mondelli, Marco
AU - Fazeli, Arman
AU - Vardy, Alexander
AU - Cioffi, John
AU - Goldsmith, Andrea
ID - 10053
SN - 2157-8095
T2 - 2021 IEEE International Symposium on Information Theory
TI - Parallelism versus latency in simplified successive-cancellation decoding of polar codes
ER -
TY - GEN
AB - The potential of Si and SiGe-based devices for the scaling of quantum circuits is tainted by device variability. Each device needs to be tuned to operation conditions. We give a key step towards tackling this variability with an algorithm that, without modification, is capable of tuning a 4-gate Si FinFET, a 5-gate GeSi nanowire and a 7-gate SiGe heterostructure double quantum dot device from scratch. We achieve tuning times of 30, 10, and 92 minutes, respectively. The algorithm also provides insight into the parameter space landscape for each of these devices. These results show that overarching solutions for the tuning of quantum devices are enabled by machine learning.
AU - Severin, B.
AU - Lennon, D. T.
AU - Camenzind, L. C.
AU - Vigneau, F.
AU - Fedele, F.
AU - Jirovec, Daniel
AU - Ballabio, A.
AU - Chrastina, D.
AU - Isella, G.
AU - Kruijf, M. de
AU - Carballido, M. J.
AU - Svab, S.
AU - Kuhlmann, A. V.
AU - Braakman, F. R.
AU - Geyer, S.
AU - Froning, F. N. M.
AU - Moon, H.
AU - Osborne, M. A.
AU - Sejdinovic, D.
AU - Katsaros, Georgios
AU - Zumbühl, D. M.
AU - Briggs, G. A. D.
AU - Ares, N.
ID - 10066
T2 - arXiv
TI - Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning
ER -
TY - JOUR
AB - The search for novel entangled phases of matter has lead to the recent discovery of a new class of “entanglement transitions,” exemplified by random tensor networks and monitored quantum circuits. Most known examples can be understood as some classical ordering transitions in an underlying statistical mechanics model, where entanglement maps onto the free-energy cost of inserting a domain wall. In this paper we study the possibility of entanglement transitions driven by physics beyond such statistical mechanics mappings. Motivated by recent applications of neural-network-inspired variational Ansätze, we investigate under what conditions on the variational parameters these Ansätze can capture an entanglement transition. We study the entanglement scaling of short-range restricted Boltzmann machine (RBM) quantum states with random phases. For uncorrelated random phases, we analytically demonstrate the absence of an entanglement transition and reveal subtle finite-size effects in finite-size numerical simulations. Introducing phases with correlations decaying as 1/r^α in real space, we observe three regions with a different scaling of entanglement entropy depending on the exponent α. We study the nature of the transition between these regions, finding numerical evidence for critical behavior. Our work establishes the presence of long-range correlated phases in RBM-based wave functions as a required ingredient for entanglement transitions.
AU - Medina Ramos, Raimel A
AU - Vasseur, Romain
AU - Serbyn, Maksym
ID - 10067
IS - 10
JF - Physical Review B
SN - 2469-9950
TI - Entanglement transitions from restricted Boltzmann machines
VL - 104
ER -
TY - JOUR
AB - The extent to which women differ in the course of blood cell counts throughout pregnancy, and the importance of these changes to pregnancy outcomes has not been well defined. Here, we develop a series of statistical analyses of repeated measures data to reveal the degree to which women differ in the course of pregnancy, predict the changes that occur, and determine the importance of these changes for post-partum hemorrhage (PPH) which is one of the leading causes of maternal mortality. We present a prospective cohort of 4082 births recorded at the University Hospital, Lausanne, Switzerland between 2009 and 2014 where full labour records could be obtained, along with complete blood count data taken at hospital admission. We find significant differences, at a [Formula: see text] level, among women in how blood count values change through pregnancy for mean corpuscular hemoglobin, mean corpuscular volume, mean platelet volume, platelet count and red cell distribution width. We find evidence that almost all complete blood count values show trimester-specific associations with PPH. For example, high platelet count (OR 1.20, 95% CI 1.01-1.53), high mean platelet volume (OR 1.58, 95% CI 1.04-2.08), and high erythrocyte levels (OR 1.36, 95% CI 1.01-1.57) in trimester 1 increased PPH, but high values in trimester 3 decreased PPH risk (OR 0.85, 0.79, 0.67 respectively). We show that differences among women in the course of blood cell counts throughout pregnancy have an important role in shaping pregnancy outcome and tracking blood count value changes through pregnancy improves identification of women at increased risk of postpartum hemorrhage. This study provides greater understanding of the complex changes in blood count values that occur through pregnancy and provides indicators to guide the stratification of patients into risk groups.
AU - Robinson, Matthew Richard
AU - Patxot, Marion
AU - Stojanov, Miloš
AU - Blum, Sabine
AU - Baud, David
ID - 10069
JF - Scientific Reports
TI - Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy
VL - 11
ER -
TY - JOUR
AB - We extensively discuss the Rademacher and Sobolev-to-Lipschitz properties for generalized intrinsic distances on strongly local Dirichlet spaces possibly without square field operator. We present many non-smooth and infinite-dimensional examples. As an application, we prove the integral Varadhan short-time asymptotic with respect to a given distance function for a large class of strongly local Dirichlet forms.
AU - Dello Schiavo, Lorenzo
AU - Suzuki, Kohei
ID - 10070
IS - 11
JF - Journal of Functional Analysis
SN - 0022-1236
TI - Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces
VL - 281
ER -
TY - JOUR
AU - Adams, Henry
AU - Kourimska, Hana
AU - Heiss, Teresa
AU - Percival, Sarah
AU - Ziegelmeier, Lori
ID - 10071
IS - 9
JF - Notices of the American Mathematical Society
SN - 0002-9920
TI - How to tutorial-a-thon
VL - 68
ER -
TY - CONF
AB - The Lovász Local Lemma (LLL) is a powerful tool in probabilistic combinatorics which can be used to establish the existence of objects that satisfy certain properties. The breakthrough paper of Moser and Tardos and follow-up works revealed that the LLL has intimate connections with a class of stochastic local search algorithms for finding such desirable objects. In particular, it can be seen as a sufficient condition for this type of algorithms to converge fast. Besides conditions for existence of and fast convergence to desirable objects, one may naturally ask further questions regarding properties of these algorithms. For instance, "are they parallelizable?", "how many solutions can they output?", "what is the expected "weight" of a solution?", etc. These questions and more have been answered for a class of LLL-inspired algorithms called commutative. In this paper we introduce a new, very natural and more general notion of commutativity (essentially matrix commutativity) which allows us to show a number of new refined properties of LLL-inspired local search algorithms with significantly simpler proofs.
AU - Harris, David G.
AU - Iliopoulos, Fotis
AU - Kolmogorov, Vladimir
ID - 10072
SN - 1868-8969
T2 - Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
TI - A new notion of commutativity for the algorithmic Lovász Local Lemma
VL - 207
ER -
TY - JOUR
AB - Thermoelectric materials enable the direct conversion between heat and electricity. SnTe is a promising candidate due to its high charge transport performance. Here, we prepared SnTe nanocomposites by employing an aqueous method to synthetize SnTe nanoparticles (NP), followed by a unique surface treatment prior NP consolidation. This synthetic approach allowed optimizing the charge and phonon transport synergistically. The novelty of this strategy was the use of a soluble PbS molecular complex prepared using a thiol-amine solvent mixture that upon blending is adsorbed on the SnTe NP surface. Upon consolidation with spark plasma sintering, SnTe-PbS nanocomposite is formed. The presence of PbS complexes significantly compensates for the Sn vacancy and increases the average grain size of the nanocomposite, thus improving the carrier mobility. Moreover, lattice thermal conductivity is also reduced by the Pb and S-induced mass and strain fluctuation. As a result, an enhanced ZT of ca. 0.8 is reached at 873 K. Our finding provides a novel strategy to conduct rational surface treatment on NP-based thermoelectrics.
AU - Chang, Cheng
AU - Ibáñez, Maria
ID - 10073
IS - 18
JF - Materials
TI - Enhanced thermoelectric performance by surface engineering in SnTe-PbS nanocomposites
VL - 14
ER -
TY - CONF
AB - We present a novel approach for blockchain asset owners to reclaim their funds in case of accidental private-key loss or transfer to a mistyped address. Our solution can be deployed upon failure or absence of proactively implemented backup mechanisms, such as secret sharing and cold storage. The main advantages against previous proposals is it does not require any prior action from users and works with both single-key and multi-sig accounts. We achieve this by a 3-phase Commit()→Reveal()→Claim()−or−Challenge() smart contract that enables accessing funds of addresses for which the spending key is not available. We provide an analysis of the threat and incentive models and formalize the concept of reactive KEy-Loss Protection (KELP).
AU - Blackshear, Sam
AU - Chalkias, Konstantinos
AU - Chatzigiannis, Panagiotis
AU - Faizullabhoy, Riyaz
AU - Khaburzaniya, Irakliy
AU - Kokoris Kogias, Eleftherios
AU - Lind, Joshua
AU - Wong, David
AU - Zakian, Tim
ID - 10076
SN - 0302-9743
T2 - FC 2021 Workshops
TI - Reactive key-loss protection in blockchains
VL - 12676
ER -
TY - GEN
AB - Although much is known about how single neurons in the hippocampus represent an animal’s position, how cell-cell interactions contribute to spatial coding remains poorly understood. Using a novel statistical estimator and theoretical modeling, both developed in the framework of maximum entropy models, we reveal highly structured cell-to-cell interactions whose statistics depend on familiar vs. novel environment. In both conditions the circuit interactions optimize the encoding of spatial information, but for regimes that differ in the signal-to-noise ratio of their spatial inputs. Moreover, the topology of the interactions facilitates linear decodability, making the information easy to read out by downstream circuits. These findings suggest that the efficient coding hypothesis is not applicable only to individual neuron properties in the sensory periphery, but also to neural interactions in the central brain.
AU - Nardin, Michele
AU - Csicsvari, Jozsef L
AU - Tkačik, Gašper
AU - Savin, Cristina
ID - 10077
T2 - bioRxiv
TI - The structure of hippocampal CA1 interactions optimizes spatial coding across experience
ER -
TY - GEN
AB - Hippocampal and neocortical neural activity is modulated by the position of the individual in space. While hippocampal neurons provide the basis for a spatial map, prefrontal cortical neurons generalize over environmental features. Whether these generalized representations result from a bidirectional interaction with, or are mainly derived from hippocampal spatial representations is not known. By examining simultaneously recorded hippocampal and medial prefrontal neurons, we observed that prefrontal spatial representations show a delayed coherence with hippocampal ones. We also identified subpopulations of cells in the hippocampus and medial prefrontal cortex that formed functional cross-area couplings; these resembled the optimal connections predicted by a probabilistic model of spatial information transfer and generalization. Moreover, cross-area couplings were strongest and had the shortest delay preceding spatial decision-making. Our results suggest that generalized spatial coding in the medial prefrontal cortex is inherited from spatial representations in the hippocampus, and that the routing of information can change dynamically with behavioral demands.
AU - Nardin, Michele
AU - Käfer, Karola
AU - Csicsvari, Jozsef L
ID - 10080
T2 - bioRxiv
TI - The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus
ER -
TY - THES
AB - Plant motions occur across a wide spectrum of timescales, ranging from seed dispersal through bursting (milliseconds) and stomatal opening (minutes) to long-term adaptation of gross architecture. Relatively fast motions include water-driven growth as exemplified by root cell expansion under abiotic/biotic stresses or during gravitropism. A showcase is a root growth inhibition in 30 seconds triggered by the phytohormone auxin. However, the cellular and molecular mechanisms are still largely unknown. This thesis covers the studies about this topic as follows. By taking advantage of microfluidics combined with live imaging, pharmaceutical tools, and transgenic lines, we examined the kinetics of and causal relationship among various auxininduced rapid cellular changes in root growth, apoplastic pH, cytosolic Ca2+, cortical microtubule (CMT) orientation, and vacuolar morphology. We revealed that CMT reorientation and vacuolar constriction are the consequence of growth itself instead of responding directly to auxin. In contrast, auxin induces apoplast alkalinization to rapidly inhibit root growth in 30 seconds. This auxin-triggered apoplast alkalinization results from rapid H+- influx that is contributed by Ca2+ inward channel CYCLIC NUCLEOTIDE-GATED CHANNEL 14 (CNGC14)-dependent Ca2+ signaling. To dissect which auxin signaling mediates the rapid apoplast alkalinization, we
combined microfluidics and genetic engineering to verify that TIR1/AFB receptors conduct a non-transcriptional regulation on Ca2+ and H+ -influx. This non-canonical pathway is mostly mediated by the cytosolic portion of TIR1/AFB. On the other hand, we uncovered, using biochemical and phospho-proteomic analysis, that auxin cell surface signaling component TRANSMEMBRANE KINASE 1 (TMK1) plays a negative role during auxin-trigger apoplast
alkalinization and root growth inhibition through directly activating PM H+ -ATPases. Therefore, we discovered that PM H+ -ATPases counteract instead of mediate the auxintriggered rapid H+ -influx, and that TIR1/AFB and TMK1 regulate root growth antagonistically. This opposite effect of TIR1/AFB and TMK1 is consistent during auxin-induced hypocotyl elongation, leading us to explore the relation of two signaling pathways. Assisted with biochemistry and fluorescent imaging, we verified for the first time that TIR1/AFB and TMK1 can interact with each other. The ability of TIR1/AFB binding to membrane lipid provides a basis for the interaction of plasma membrane- and cytosol-localized proteins.
Besides, transgenic analysis combined with genetic engineering and biochemistry showed that vi
they do function in the same pathway. Particularly, auxin-induced TMK1 increase is TIR1/AFB dependent, suggesting TIR1/AFB regulation on TMK1. Conversely, TMK1 also regulates TIR1/AFB protein levels and thus auxin canonical signaling. To follow the study of rapid growth regulation, we analyzed another rapid growth regulator, signaling peptide RALF1. We showed that RALF1 also triggers a rapid and reversible growth inhibition caused by H + influx, highly resembling but not dependent on auxin. Besides, RALF1 promotes auxin biosynthesis by increasing expression of auxin biosynthesis enzyme YUCCAs and thus induces auxin signaling in ca. 1 hour, contributing to the sustained RALF1-triggered growth inhibition. These studies collectively contribute to understanding rapid regulation on plant cell
growth, novel auxin signaling pathway as well as auxin-peptide crosstalk.
AU - Li, Lanxin
ID - 10083
SN - 2663-337X
TI - Rapid cell growth regulation in Arabidopsis
ER -
TY - GEN
AB - Growth regulation tailors plant development to its environment. A showcase is response to gravity, where shoots bend up and roots down1. This paradox is based on opposite effects of the phytohormone auxin, which promotes cell expansion in shoots, while inhibiting it in roots via a yet unknown cellular mechanism2. Here, by combining microfluidics, live imaging, genetic engineering and phospho-proteomics in Arabidopsis thaliana, we advance our understanding how auxin inhibits root growth. We show that auxin activates two distinct, antagonistically acting signalling pathways that converge on the rapid regulation of the apoplastic pH, a causative growth determinant. Cell surface-based TRANSMEMBRANE KINASE1 (TMK1) interacts with and mediates phosphorylation and activation of plasma membrane H+-ATPases for apoplast acidification, while intracellular canonical auxin signalling promotes net cellular H+-influx, causing apoplast alkalinisation. The simultaneous activation of these two counteracting mechanisms poises the root for a rapid, fine-tuned growth modulation while navigating complex soil environment.
AU - Li, Lanxin
AU - Verstraeten, Inge
AU - Roosjen, Mark
AU - Takahashi, Koji
AU - Rodriguez Solovey, Lesia
AU - Merrin, Jack
AU - Chen, Jian
AU - Shabala, Lana
AU - Smet, Wouter
AU - Ren, Hong
AU - Vanneste, Steffen
AU - Shabala, Sergey
AU - De Rybel, Bert
AU - Weijers, Dolf
AU - Kinoshita, Toshinori
AU - Gray, William M.
AU - Friml, Jiří
ID - 10095
T2 - Research Square
TI - Cell surface and intracellular auxin signalling for H+-fluxes in root growth
ER -
TY - JOUR
AB - The small cellular molecule inositol hexakisphosphate (IP6) has been known for ~20 years to promote the in vitro assembly of HIV-1 into immature virus-like particles. However, the molecular details underlying this effect have been determined only recently, with the identification of the IP6 binding site in the immature Gag lattice. IP6 also promotes formation of the mature capsid protein (CA) lattice via a second IP6 binding site, and enhances core stability, creating a favorable environment for reverse transcription. IP6 also enhances assembly of other retroviruses, from both the Lentivirus and the Alpharetrovirus genera. These findings suggest that IP6 may have a conserved function throughout the family Retroviridae. Here, we discuss the different steps in the viral life cycle that are influenced by IP6, and describe in detail how IP6 interacts with the immature and mature lattices of different retroviruses.
AU - Obr, Martin
AU - Schur, Florian KM
AU - Dick, Robert A.
ID - 10103
IS - 9
JF - Viruses
KW - virology
KW - infectious diseases
SN - 1999-4915
TI - A structural perspective of the role of IP6 in immature and mature retroviral assembly
VL - 13
ER -
TY - CONF
AB - We argue that the time is ripe to investigate differential monitoring, in which the specification of a program's behavior is implicitly given by a second program implementing the same informal specification. Similar ideas have been proposed before, and are currently implemented in restricted form for testing and specialized run-time analyses, aspects of which we combine. We discuss the challenges of implementing differential monitoring as a general-purpose, black-box run-time monitoring framework, and present promising results of a preliminary implementation, showing low monitoring overheads for diverse programs.
AU - Mühlböck, Fabian
AU - Henzinger, Thomas A
ID - 10108
KW - run-time verification
KW - software engineering
KW - implicit specification
SN - 0302-9743
T2 - International Conference on Runtime Verification
TI - Differential monitoring
VL - 12974
ER -
TY - COMP
AB - Pattern separation is a fundamental brain computation that converts small differences in input patterns into large differences in output patterns. Several synaptic mechanisms of pattern separation have been proposed, including code expansion, inhibition and plasticity; however, which of these mechanisms play a role in the entorhinal cortex (EC)–dentate gyrus (DG)–CA3 circuit, a classical pattern separation circuit, remains unclear. Here we show that a biologically realistic, full-scale EC–DG–CA3 circuit model, including granule cells (GCs) and parvalbumin-positive inhibitory interneurons (PV+-INs) in the DG, is an efficient pattern separator. Both external gamma-modulated inhibition and internal lateral inhibition mediated by PV+-INs substantially contributed to pattern separation. Both local connectivity and fast signaling at GC–PV+-IN synapses were important for maximum effectiveness. Similarly, mossy fiber synapses with conditional detonator properties contributed to pattern separation. By contrast, perforant path synapses with Hebbian synaptic plasticity and direct EC–CA3 connection shifted the network towards pattern completion. Our results demonstrate that the specific properties of cells and synapses optimize higher-order computations in biological networks and might be useful to improve the deep learning capabilities of technical networks.
AU - Guzmán, José
AU - Schlögl, Alois
AU - Espinoza Martinez, Claudia
AU - Zhang, Xiaomin
AU - Suter, Benjamin
AU - Jonas, Peter M
ID - 10110
TI - How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network
ER -
TY - JOUR
AB - Proximity labeling provides a powerful in vivo tool to characterize the proteome of subcellular structures and the interactome of specific proteins. The nematode Caenorhabditis elegans is one of the most intensely studied organisms in biology, offering many advantages for biochemistry. Using the highly active biotin ligase TurboID, we optimize here a proximity labeling protocol for C. elegans. An advantage of TurboID is that biotin's high affinity for streptavidin means biotin-labeled proteins can be affinity-purified under harsh denaturing conditions. By combining extensive sonication with aggressive denaturation using SDS and urea, we achieved near-complete solubilization of worm proteins. We then used this protocol to characterize the proteomes of the worm gut, muscle, skin, and nervous system. Neurons are among the smallest C. elegans cells. To probe the method's sensitivity, we expressed TurboID exclusively in the two AFD neurons and showed that the protocol could identify known and previously unknown proteins expressed selectively in AFD. The active zones of synapses are composed of a protein matrix that is difficult to solubilize and purify. To test if our protocol could solubilize active zone proteins, we knocked TurboID into the endogenous elks-1 gene, which encodes a presynaptic active zone protein. We identified many known ELKS-1-interacting active zone proteins, as well as previously uncharacterized synaptic proteins. Versatile vectors and the inherent advantages of using C. elegans, including fast growth and the ability to rapidly make and functionally test knock-ins, make proximity labeling a valuable addition to the armory of this model organism.
AU - Artan, Murat
AU - Barratt, Stephen
AU - Flynn, Sean M.
AU - Begum, Farida
AU - Skehel, Mark
AU - Nicolas, Armel
AU - De Bono, Mario
ID - 10117
IS - 3
JF - Journal of Biological Chemistry
SN - 0021-9258
TI - Interactome analysis of Caenorhabditis elegans synapses by TurboID-based proximity labeling
VL - 297
ER -
TY - JOUR
AB - Solution synthesis of particles emerged as an alternative to prepare thermoelectric materials with less demanding processing conditions than conventional solid-state synthetic methods. However, solution synthesis generally involves the presence of additional molecules or ions belonging to the precursors or added to enable solubility and/or regulate nucleation and growth. These molecules or ions can end up in the particles as surface adsorbates and interfere in the material properties. This work demonstrates that ionic adsorbates, in particular Na⁺ ions, are electrostatically adsorbed in SnSe particles synthesized in water and play a crucial role not only in directing the material nano/microstructure but also in determining the transport properties of the consolidated material. In dense pellets prepared by sintering SnSe particles, Na remains within the crystal lattice as dopant, in dislocations, precipitates, and forming grain boundary complexions. These results highlight the importance of considering all the possible unintentional impurities to establish proper structure-property relationships and control material properties in solution-processed thermoelectric materials.
AU - Liu, Yu
AU - Calcabrini, Mariano
AU - Yu, Yuan
AU - Genç, Aziz
AU - Chang, Cheng
AU - Costanzo, Tommaso
AU - Kleinhanns, Tobias
AU - Lee, Seungho
AU - Llorca, Jordi
AU - Cojocaru‐Mirédin, Oana
AU - Ibáñez, Maria
ID - 10123
IS - 52
JF - Advanced Materials
KW - mechanical engineering
KW - mechanics of materials
KW - general materials science
SN - 0935-9648
TI - The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe
VL - 33
ER -
TY - JOUR
AB - We investigate the effect of coupling between translational and internal degrees of freedom of composite quantum particles on their localization in a random potential. We show that entanglement between the two degrees of freedom weakens localization due to the upper bound imposed on the inverse participation ratio by purity of a quantum state. We perform numerical calculations for a two-particle system bound by a harmonic force in a 1D disordered lattice and a rigid rotor in a 2D disordered lattice. We illustrate that the coupling has a dramatic effect on localization properties, even with a small number of internal states participating in quantum dynamics.
AU - Suzuki, Fumika
AU - Lemeshko, Mikhail
AU - Zurek, Wojciech H.
AU - Krems, Roman V.
ID - 10134
IS - 16
JF - Physical Review Letters
KW - General Physics and Astronomy
SN - 0031-9007
TI - Anderson localization of composite particles
VL - 127
ER -
TY - THES
AB - Plants maintain the capacity to develop new organs e.g. lateral roots post-embryonically throughout their whole life and thereby flexibly adapt to ever-changing environmental conditions. Plant hormones auxin and cytokinin are the main regulators of the lateral root organogenesis. Additionally to their solo activities, the interaction between auxin and
cytokinin plays crucial role in fine-tuning of lateral root development and growth. In particular, cytokinin modulates auxin distribution within the developing lateral root by affecting the endomembrane trafficking of auxin transporter PIN1 and promoting its vacuolar degradation (Marhavý et al., 2011, 2014). This effect is independent of transcription and
translation. Therefore, it suggests novel, non-canonical cytokinin activity occuring possibly on the posttranslational level. Impact of cytokinin and other plant hormones on auxin transporters (including PIN1) on the posttranslational level is described in detail in the introduction part of this thesis in a form of a review (Semeradova et al., 2020). To gain insights into the molecular machinery underlying cytokinin effect on the endomembrane trafficking in the plant cell, in particular on the PIN1 degradation, we conducted two large proteomic screens: 1) Identification of cytokinin binding proteins using
chemical proteomics. 2) Monitoring of proteomic and phosphoproteomic changes upon cytokinin treatment. In the first screen, we identified DYNAMIN RELATED PROTEIN 2A (DRP2A). We found that DRP2A plays a role in cytokinin regulated processes during the plant growth and that cytokinin treatment promotes destabilization of DRP2A protein. However, the role of DRP2A in the PIN1 degradation remains to be elucidated. In the second screen, we found VACUOLAR PROTEIN SORTING 9A (VPS9A). VPS9a plays crucial role in plant’s response to cytokin and in cytokinin mediated PIN1 degradation. Altogether, we identified proteins, which bind to cytokinin and proteins that in response to
cytokinin exhibit significantly changed abundance or phosphorylation pattern. By combining information from these two screens, we can pave our way towards understanding of noncanonical cytokinin effects.
AU - Semerádová, Hana
ID - 10135
SN - 2663-337X
TI - Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis
ER -
TY - JOUR
AB - FGFs and their high-affinity receptors (FGFRs) play key roles in development, tissue repair, and disease. Because FGFRs bind overlapping sets of ligands, their individual functions cannot be determined using ligand stimulation. Here, we generated a light-activated FGFR2 variant (OptoR2) to selectively activate signaling by the major FGFR in keratinocytes. Illumination of OptoR2-expressing HEK 293T cells activated FGFR signaling with remarkable temporal precision and promoted cell migration and proliferation. In murine and human keratinocytes, OptoR2 activation rapidly induced the classical FGFR signaling pathways and expression of FGF target genes. Surprisingly, multi-level counter-regulation occurred in keratinocytes in vitro and in transgenic mice in vivo, including OptoR2 down-regulation and loss of responsiveness to light activation. These results demonstrate unexpected cell type-specific limitations of optogenetic FGFRs in long-term in vitro and in vivo settings and highlight the complex consequences of transferring optogenetic cell signaling tools into their relevant cellular contexts.
AU - Rauschendorfer, Theresa
AU - Gurri, Selina
AU - Heggli, Irina
AU - Maddaluno, Luigi
AU - Meyer, Michael
AU - Inglés Prieto, Álvaro
AU - Janovjak, Harald L
AU - Werner, Sabine
ID - 10144
IS - 11
JF - Life Science Alliance
TI - Acute and chronic effects of a light-activated FGF receptor in keratinocytes in vitro and in mice
VL - 4
ER -
TY - JOUR
AB - We study direct integrals of quadratic and Dirichlet forms. We show that each quasi-regular Dirichlet space over a probability space admits a unique representation as a direct integral of irreducible Dirichlet spaces, quasi-regular for the same underlying topology. The same holds for each quasi-regular strongly local Dirichlet space over a metrizable Luzin σ-finite Radon measure space, and admitting carré du champ operator. In this case, the representation is only projectively unique.
AU - Dello Schiavo, Lorenzo
ID - 10145
JF - Potential Analysis
SN - 0926-2601
TI - Ergodic decomposition of Dirichlet forms via direct integrals and applications
ER -
TY - JOUR
AB - The enzymes of the mitochondrial electron transport chain are key players of cell metabolism. Despite being active when isolated, in vivo they associate into supercomplexes1, whose precise role is debated. Supercomplexes CIII2CIV1-2 (refs. 2,3), CICIII2 (ref. 4) and CICIII2CIV (respirasome)5,6,7,8,9,10 exist in mammals, but in contrast to CICIII2 and the respirasome, to date the only known eukaryotic structures of CIII2CIV1-2 come from Saccharomyces cerevisiae11,12 and plants13, which have different organization. Here we present the first, to our knowledge, structures of mammalian (mouse and ovine) CIII2CIV and its assembly intermediates, in different conformations. We describe the assembly of CIII2CIV from the CIII2 precursor to the final CIII2CIV conformation, driven by the insertion of the N terminus of the assembly factor SCAF1 (ref. 14) deep into CIII2, while its C terminus is integrated into CIV. Our structures (which include CICIII2 and the respirasome) also confirm that SCAF1 is exclusively required for the assembly of CIII2CIV and has no role in the assembly of the respirasome. We show that CIII2 is asymmetric due to the presence of only one copy of subunit 9, which straddles both monomers and prevents the attachment of a second copy of SCAF1 to CIII2, explaining the presence of one copy of CIV in CIII2CIV in mammals. Finally, we show that CIII2 and CIV gain catalytic advantage when assembled into the supercomplex and propose a role for CIII2CIV in fine tuning the efficiency of electron transfer in the electron transport chain.
AU - Vercellino, Irene
AU - Sazanov, Leonid A
ID - 10146
IS - 7880
JF - Nature
SN - 0028-0836
TI - Structure and assembly of the mammalian mitochondrial supercomplex CIII_{2}CIV
VL - 598
ER -
TY - CONF
AB - Tactile feedback of an object’s surface enables us to discern its material properties and affordances. This understanding is used in digital fabrication processes by creating objects with high-resolution surface variations to influence a user’s tactile perception. As the design of such surface haptics commonly relies on knowledge from real-life experiences, it is unclear how to adapt this information for digital design methods. In this work, we investigate replicating the haptics of real materials. Using an existing process for capturing an object’s microgeometry, we digitize and reproduce the stable surface information of a set of 15 fabric samples. In a psychophysical experiment, we evaluate the tactile qualities of our set of original samples and their replicas. From our results, we see that direct reproduction of surface variations is able to influence different psychophysical dimensions of the tactile perception of surface textures. While the fabrication process did not preserve all properties, our approach underlines that replication of surface microgeometries benefits fabrication methods in terms of haptic perception by covering a large range of tactile variations. Moreover, by changing the surface structure of a single fabricated material, its material perception can be influenced. We conclude by proposing strategies for capturing and reproducing digitized textures to better resemble the perceived haptics of the originals.
AU - Degraen, Donald
AU - Piovarci, Michael
AU - Bickel, Bernd
AU - Kruger, Antonio
ID - 10148
SN - 978-1-4503-8635-7
T2 - 34th Annual ACM Symposium
TI - Capturing tactile properties of real surfaces for haptic reproduction
ER -
TY - JOUR
AB - Gradual typing is a principled means for mixing typed and untyped code. But typed and untyped code often exhibit different programming patterns. There is already substantial research investigating gradually giving types to code exhibiting typical untyped patterns, and some research investigating gradually removing types from code exhibiting typical typed patterns. This paper investigates how to extend these established gradual-typing concepts to give formal guarantees not only about how to change types as code evolves but also about how to change such programming patterns as well.
In particular, we explore mixing untyped "structural" code with typed "nominal" code in an object-oriented language. But whereas previous work only allowed "nominal" objects to be treated as "structural" objects, we also allow "structural" objects to dynamically acquire certain nominal types, namely interfaces. We present a calculus that supports such "cross-paradigm" code migration and interoperation in a manner satisfying both the static and dynamic gradual guarantees, and demonstrate that the calculus can be implemented efficiently.
AU - Mühlböck, Fabian
AU - Tate, Ross
ID - 10153
JF - Proceedings of the ACM on Programming Languages
KW - gradual typing
KW - gradual guarantee
KW - nominal
KW - structural
KW - call tags
TI - Transitioning from structural to nominal code with efficient gradual typing
VL - 5
ER -
TY - JOUR
AB - The C-terminal domain (CTD) of the largest subunit of RNA polymerase II (Pol II) is a regulatory hub for transcription and RNA processing. Here, we identify PHD-finger protein 3 (PHF3) as a regulator of transcription and mRNA stability that docks onto Pol II CTD through its SPOC domain. We characterize SPOC as a CTD reader domain that preferentially binds two phosphorylated Serine-2 marks in adjacent CTD repeats. PHF3 drives liquid-liquid phase separation of phosphorylated Pol II, colocalizes with Pol II clusters and tracks with Pol II across the length of genes. PHF3 knock-out or SPOC deletion in human cells results in increased Pol II stalling, reduced elongation rate and an increase in mRNA stability, with marked derepression of neuronal genes. Key neuronal genes are aberrantly expressed in Phf3 knock-out mouse embryonic stem cells, resulting in impaired neuronal differentiation. Our data suggest that PHF3 acts as a prominent effector of neuronal gene regulation by bridging transcription with mRNA decay.
AU - Appel, Lisa-Marie
AU - Franke, Vedran
AU - Bruno, Melania
AU - Grishkovskaya, Irina
AU - Kasiliauskaite, Aiste
AU - Kaufmann, Tanja
AU - Schoeberl, Ursula E.
AU - Puchinger, Martin G.
AU - Kostrhon, Sebastian
AU - Ebenwaldner, Carmen
AU - Sebesta, Marek
AU - Beltzung, Etienne
AU - Mechtler, Karl
AU - Lin, Gen
AU - Vlasova, Anna
AU - Leeb, Martin
AU - Pavri, Rushad
AU - Stark, Alexander
AU - Akalin, Altuna
AU - Stefl, Richard
AU - Bernecky, Carrie A
AU - Djinovic-Carugo, Kristina
AU - Slade, Dea
ID - 10163
IS - 1
JF - Nature Communications
KW - general physics and astronomy
KW - general biochemistry
KW - genetics and molecular biology
KW - general chemistry
TI - PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC
VL - 12
ER -
TY - JOUR
AB - While sexual reproduction is widespread among many taxa, asexual lineages have repeatedly evolved from sexual ancestors. Despite extensive research on the evolution of sex, it is still unclear whether this switch represents a major transition requiring major molecular reorganization, and how convergent the changes involved are. In this study, we investigated the phylogenetic relationship and patterns of gene expression of sexual and asexual lineages of Eurasian Artemia brine shrimp, to assess how gene expression patterns are affected by the transition to asexuality. We find only a few genes that are consistently associated with the evolution of asexuality, suggesting that this shift may not require an extensive overhauling of the meiotic machinery. While genes with sex-biased expression have high rates of expression divergence within Eurasian Artemia, neither female- nor male-biased genes appear to show unusual evolutionary patterns after sexuality is lost, contrary to theoretical expectations.
AU - Huylmans, Ann K
AU - Macon, Ariana
AU - Hontoria, Francisco
AU - Vicoso, Beatriz
ID - 10166
IS - 1959
JF - Proceedings of the Royal Society B: Biological Sciences
KW - asexual reproduction
KW - parthenogenesis
KW - sex-biased genes
KW - sexual conflict
KW - automixis
KW - crustaceans
SN - 0962-8452
TI - Transitions to asexuality and evolution of gene expression in Artemia brine shrimp
VL - 288
ER -
TY - JOUR
AB - Schistosomes, the human parasites responsible for snail fever, are female-heterogametic. Different parts of their ZW sex chromosomes have stopped recombining in distinct lineages, creating “evolutionary strata” of various ages. Although the Z-chromosome is well characterized at the genomic and molecular level, the W-chromosome has remained largely unstudied from an evolutionary perspective, as only a few W-linked genes have been detected outside of the model species Schistosoma mansoni. Here, we characterize the gene content and evolution of the W-chromosomes of S. mansoni and of the divergent species S. japonicum. We use a combined RNA/DNA k-mer based pipeline to assemble around 100 candidate W-specific transcripts in each of the species. About half of them map to known protein coding genes, the majority homologous to S. mansoni Z-linked genes. We perform an extended analysis of the evolutionary strata present in the two species (including characterizing a previously undetected young stratum in S. japonicum) to infer patterns of sequence and expression evolution of W-linked genes at different time points after recombination was lost. W-linked genes show evidence of degeneration, including high rates of protein evolution and reduced expression. Most are found in young lineage-specific strata, with only a few high expression ancestral W-genes remaining, consistent with the progressive erosion of nonrecombining regions. Among these, the splicing factor u2af2 stands out as a promising candidate for primary sex determination, opening new avenues for understanding the molecular basis of the reproductive biology of this group.
AU - Elkrewi, Marwan N
AU - Moldovan, Mikhail A.
AU - Picard, Marion A L
AU - Vicoso, Beatriz
ID - 10167
JF - Molecular Biology and Evolution
KW - sex chromosomes
KW - evolutionary strata
KW - W-linked gene
KW - sex determining gene
KW - schistosome parasites
SN - 0737-4038
TI - Schistosome W-Linked genes inform temporal dynamics of sex chromosome evolution and suggest candidate for sex determination
ER -
TY - GEN
AB - We study the large scale behavior of elliptic systems with stationary random coefficient that have only slowly decaying correlations. To this aim we analyze the so-called corrector equation, a degenerate elliptic equation posed in the probability space. In this contribution, we use a parabolic approach and optimally quantify the time decay of the semigroup. For the theoretical point of view, we prove an optimal decay estimate of the gradient and flux of the corrector when spatially averaged over a scale R larger than 1. For the numerical point of view, our results provide convenient tools for the analysis of various numerical methods.
AU - Clozeau, Nicolas
ID - 10173
T2 - arXiv
TI - Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields
ER -
TY - GEN
AB - Quantitative stochastic homogenization of linear elliptic operators is by now well-understood. In this contribution we move forward to the nonlinear setting of monotone operators with p-growth. This first work is dedicated to a quantitative two-scale expansion result. Fluctuations will be addressed in companion articles. By treating the range of exponents 2≤p<∞ in dimensions d≤3, we are able to consider genuinely nonlinear elliptic equations and systems such as −∇⋅A(x)(1+|∇u|p−2)∇u=f (with A random, non-necessarily symmetric) for the first time. When going from p=2 to p>2, the main difficulty is to analyze the associated linearized operator, whose coefficients are degenerate, unbounded, and depend on the random input A via the solution of a nonlinear equation. One of our main achievements is the control of this intricate nonlinear dependence, leading to annealed Meyers' estimates for the linearized operator, which are key to the quantitative two-scale expansion result.
AU - Clozeau, Nicolas
AU - Gloria, Antoine
ID - 10174
T2 - arXiv
TI - Quantitative nonlinear homogenization: control of oscillations
ER -
TY - JOUR
AB - We give a combinatorial model for r-spin surfaces with parameterized boundary based on Novak (“Lattice topological field theories in two dimensions,” Ph.D. thesis, Universität Hamburg, 2015). The r-spin structure is encoded in terms of ℤ𝑟-valued indices assigned to the edges of a polygonal decomposition. This combinatorial model is designed for our state-sum construction of two-dimensional topological field theories on r-spin surfaces. We show that an example of such a topological field theory computes the Arf-invariant of an r-spin surface as introduced by Randal-Williams [J. Topol. 7, 155 (2014)] and Geiges et al. [Osaka J. Math. 49, 449 (2012)]. This implies, in particular, that the r-spin Arf-invariant is constant on orbits of the mapping class group, providing an alternative proof of that fact.
AU - Runkel, Ingo
AU - Szegedy, Lorant
ID - 10176
IS - 10
JF - Journal of Mathematical Physics
SN - 00222488
TI - Topological field theory on r-spin surfaces and the Arf-invariant
VL - 62
ER -
TY - JOUR
AB - Phonon polaritons (PhPs)—light coupled to lattice vibrations—with in-plane hyperbolic dispersion exhibit ray-like propagation with large wave vectors and enhanced density of optical states along certain directions on a surface. As such, they have raised a surge of interest, promising unprecedented manipulation of infrared light at the nanoscale in a planar circuitry. Here, we demonstrate focusing of in-plane hyperbolic PhPs propagating along thin slabs of α-MoO3. To that end, we developed metallic nanoantennas of convex geometries for both efficient launching and focusing of the polaritons. The foci obtained exhibit enhanced near-field confinement and absorption compared to foci produced by in-plane isotropic PhPs. Foci sizes as small as λp/4.5 = λ0/50 were achieved (λp is the polariton wavelength and λ0 is the photon wavelength). Focusing of in-plane hyperbolic polaritons introduces a first and most basic building block developing planar polariton optics using in-plane anisotropic van der Waals materials.
AU - Martín-Sánchez, Javier
AU - Duan, Jiahua
AU - Taboada-Gutiérrez, Javier
AU - Álvarez-Pérez, Gonzalo
AU - Voronin, Kirill V.
AU - Prieto Gonzalez, Ivan
AU - Ma, Weiliang
AU - Bao, Qiaoliang
AU - Volkov, Valentyn S.
AU - Hillenbrand, Rainer
AU - Nikitin, Alexey Y.
AU - Alonso-González, Pablo
ID - 10177
IS - 41
JF - Science Advances
TI - Focusing of in-plane hyperbolic polaritons in van der Waals crystals with tailored infrared nanoantennas
VL - 7
ER -
TY - JOUR
AB - In dense biological tissues, cell types performing different roles remain segregated by maintaining sharp interfaces. To better understand the mechanisms for such sharp compartmentalization, we study the effect of an imposed heterotypic tension at the interface between two distinct cell types in a fully 3D Voronoi model for confluent tissues. We find that cells rapidly sort and self-organize to generate a tissue-scale interface between cell types, and cells adjacent to this interface exhibit signature geometric features including nematic-like ordering, bimodal facet areas, and registration, or alignment, of cell centers on either side of the two-tissue interface. The magnitude of these features scales directly with the magnitude of the imposed tension, suggesting that biologists can estimate the magnitude of tissue surface tension between two tissue types simply by segmenting a 3D tissue. To uncover the underlying physical mechanisms driving these geometric features, we develop two minimal, ordered models using two different underlying lattices that identify an energetic competition between bulk cell shapes and tissue interface area. When the interface area dominates, changes to neighbor topology are costly and occur less frequently, which generates the observed geometric features.
AU - Sahu, Preeti
AU - Schwarz, J. M.
AU - Manning, M. Lisa
ID - 10178
IS - 9
JF - New Journal of Physics
TI - Geometric signatures of tissue surface tension in a three-dimensional model of confluent tissue
VL - 23
ER -
TY - JOUR
AB - In this article we study some geometric properties of proximally smooth sets. First, we introduce a modification of the metric projection and prove its existence. Then we provide an algorithm for constructing a rectifiable curve between two sufficiently close points of a proximally smooth set in a uniformly convex and uniformly smooth Banach space, with the moduli of smoothness and convexity of power type. Our algorithm returns a reasonably short curve between two sufficiently close points of a proximally smooth set, is iterative and uses our modification of the metric projection. We estimate the length of the constructed curve and its deviation from the segment with the same endpoints. These estimates coincide up to a constant factor with those for the geodesics in a proximally smooth set in a Hilbert space.
AU - Ivanov, Grigory
AU - Lopushanski, Mariana S.
ID - 10181
JF - Set-Valued and Variational Analysis
SN - 0927-6947
TI - Rectifiable curves in proximally smooth sets
ER -
TY - JOUR
AB - The mitochondrial oxidative phosphorylation system is central to cellular metabolism. It comprises five enzymatic complexes and two mobile electron carriers that work in a mitochondrial respiratory chain. By coupling the oxidation of reducing equivalents coming into mitochondria to the generation and subsequent dissipation of a proton gradient across the inner mitochondrial membrane, this electron transport chain drives the production of ATP, which is then used as a primary energy carrier in virtually all cellular processes. Minimal perturbations of the respiratory chain activity are linked to diseases; therefore, it is necessary to understand how these complexes are assembled and regulated and how they function. In this Review, we outline the latest assembly models for each individual complex, and we also highlight the recent discoveries indicating that the formation of larger assemblies, known as respiratory supercomplexes, originates from the association of the intermediates of individual complexes. We then discuss how recent cryo-electron microscopy structures have been key to answering open questions on the function of the electron transport chain in mitochondrial respiration and how supercomplexes and other factors, including metabolites, can regulate the activity of the single complexes. When relevant, we discuss how these mechanisms contribute to physiology and outline their deregulation in human diseases.
AU - Vercellino, Irene
AU - Sazanov, Leonid A
ID - 10182
JF - Nature Reviews Molecular Cell Biology
SN - 1471-0072
TI - The assembly, regulation and function of the mitochondrial respiratory chain
ER -
TY - JOUR
AB - We introduce a novel technique to automatically decompose an input object’s volume into a set of parts that can be represented by two opposite height fields. Such decomposition enables the manufacturing of individual parts using two-piece reusable rigid molds. Our decomposition strategy relies on a new energy formulation that utilizes a pre-computed signal on the mesh volume representing the accessibility for a predefined set of extraction directions. Thanks to this novel formulation, our method allows for efficient optimization of a fabrication-aware partitioning of volumes in a completely
automatic way. We demonstrate the efficacy of our approach by generating valid volume partitionings for a wide range of complex objects and physically reproducing several of them.
AU - Alderighi, Thomas
AU - Malomo, Luigi
AU - Bickel, Bernd
AU - Cignoni, Paolo
AU - Pietroni, Nico
ID - 10184
IS - 6
JF - ACM Transactions on Graphics
SN - 0730-0301
TI - Volume decomposition for two-piece rigid casting
VL - 40
ER -
TY - JOUR
AB - In this work we solve the algorithmic problem of consistency verification for the TSO and PSO memory models given a reads-from map, denoted VTSO-rf and VPSO-rf, respectively. For an execution of n events over k threads and d variables, we establish novel bounds that scale as nk+1 for TSO and as nk+1· min(nk2, 2k· d) for PSO. Moreover, based on our solution to these problems, we develop an SMC algorithm under TSO and PSO that uses the RF equivalence. The algorithm is exploration-optimal, in the sense that it is guaranteed to explore each class of the RF partitioning exactly once, and spends polynomial time per class when k is bounded. Finally, we implement all our algorithms in the SMC tool Nidhugg, and perform a large number of experiments over benchmarks from existing literature. Our experimental results show that our algorithms for VTSO-rf and VPSO-rf provide significant scalability improvements over standard alternatives. Moreover, when used for SMC, the RF partitioning is often much coarser than the standard Shasha-Snir partitioning for TSO/PSO, which yields a significant speedup in the model checking task.
AU - Bui, Truc Lam
AU - Chatterjee, Krishnendu
AU - Gautam, Tushar
AU - Pavlogiannis, Andreas
AU - Toman, Viktor
ID - 10191
IS - OOPSLA
JF - Proceedings of the ACM on Programming Languages
KW - safety
KW - risk
KW - reliability and quality
KW - software
TI - The reads-from equivalence for the TSO and PSO memory models
VL - 5
ER -
TY - JOUR
AB - Zygotic genome activation (ZGA) initiates regionalized transcription underlying distinct cellular identities. ZGA is dependent upon dynamic chromatin architecture sculpted by conserved DNA-binding proteins. However, the direct mechanistic link between the onset of ZGA and the tissue-specific transcription remains unclear. Here, we have addressed the involvement of chromatin organizer Satb2 in orchestrating both processes during zebrafish embryogenesis. Integrative analysis of transcriptome, genome-wide occupancy and chromatin accessibility reveals contrasting molecular activities of maternally deposited and zygotically synthesized Satb2. Maternal Satb2 prevents premature transcription of zygotic genes by influencing the interplay between the pluripotency factors. By contrast, zygotic Satb2 activates transcription of the same group of genes during neural crest development and organogenesis. Thus, our comparative analysis of maternal versus zygotic function of Satb2 underscores how these antithetical activities are temporally coordinated and functionally implemented highlighting the evolutionary implications of the biphasic and bimodal regulation of landmark developmental transitions by a single determinant.
AU - Pradhan, Saurabh J.
AU - Reddy, Puli Chandramouli
AU - Smutny, Michael
AU - Sharma, Ankita
AU - Sako, Keisuke
AU - Oak, Meghana S.
AU - Shah, Rini
AU - Pal, Mrinmoy
AU - Deshpande, Ojas
AU - Dsilva, Greg
AU - Tang, Yin
AU - Mishra, Rakesh
AU - Deshpande, Girish
AU - Giraldez, Antonio J.
AU - Sonawane, Mahendra
AU - Heisenberg, Carl-Philipp J
AU - Galande, Sanjeev
ID - 10202
IS - 1
JF - Nature Communications
TI - Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis
VL - 12
ER -
TY - JOUR
AB - Two common representations of close packings of identical spheres consisting of hexagonal layers, called Barlow stackings, appear abundantly in minerals and metals. These motifs, however, occupy an identical portion of space and bear identical first-order topological signatures as measured by persistent homology. Here we present a novel method based on k-fold covers that unambiguously distinguishes between these patterns. Moreover, our approach provides topological evidence that the FCC motif is the more stable of the two in the context of evolving experimental sphere packings during the transition from disordered to an ordered state. We conclude that our approach can be generalised to distinguish between various Barlow stackings manifested in minerals and metals.
AU - Osang, Georg F
AU - Edelsbrunner, Herbert
AU - Saadatfar, Mohammad
ID - 10204
IS - 40
JF - Soft Matter
SN - 1744-683X
TI - Topological signatures and stability of hexagonal close packing and Barlow stackings
VL - 17
ER -
TY - CONF
AB - Neural-network classifiers achieve high accuracy when predicting the class of an input that they were trained to identify. Maintaining this accuracy in dynamic environments, where inputs frequently fall outside the fixed set of initially known classes, remains a challenge. The typical approach is to detect inputs from novel classes and retrain the classifier on an augmented dataset. However, not only the classifier but also the detection mechanism needs to adapt in order to distinguish between newly learned and yet unknown input classes. To address this challenge, we introduce an algorithmic framework for active monitoring of a neural network. A monitor wrapped in our framework operates in parallel with the neural network and interacts with a human user via a series of interpretable labeling queries for incremental adaptation. In addition, we propose an adaptive quantitative monitor to improve precision. An experimental evaluation on a diverse set of benchmarks with varying numbers of classes confirms the benefits of our active monitoring framework in dynamic scenarios.
AU - Lukina, Anna
AU - Schilling, Christian
AU - Henzinger, Thomas A
ID - 10206
KW - monitoring
KW - neural networks
KW - novelty detection
SN - 0302-9743
T2 - 21st International Conference on Runtime Verification
TI - Into the unknown: active monitoring of neural networks
VL - 12974
ER -