TY - CONF AB - Efficiently handling time-triggered and possibly nondeterministic switches for hybrid systems reachability is a challenging task. In this paper we present an approach based on conservative set-based enclosure of the dynamics that can handle systems with uncertain parameters and inputs, where the uncertainties are bound to given intervals. The method is evaluated on the plant model of an experimental electro-mechanical braking system with periodic controller. In this model, the fast-switching controller dynamics requires simulation time scales of the order of nanoseconds. Accurate set-based computations for relatively large time horizons are known to be expensive. However, by appropriately decoupling the time variable with respect to the spatial variables, and enclosing the uncertain parameters using interval matrix maps acting on zonotopes, we show that the computation time can be lowered to 5000 times faster with respect to previous works. This is a step forward in formal verification of hybrid systems because reduced run-times allow engineers to introduce more expressiveness in their models with a relatively inexpensive computational cost. AU - Forets, Marcelo AU - Freire, Daniel AU - Schilling, Christian ID - 8750 SN - 9781728191485 T2 - 18th ACM-IEEE International Conference on Formal Methods and Models for System Design TI - Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions ER - TY - JOUR AB - We consider various modeling levels for spatially homogeneous chemical reaction systems, namely the chemical master equation, the chemical Langevin dynamics, and the reaction-rate equation. Throughout we restrict our study to the case where the microscopic system satisfies the detailed-balance condition. The latter allows us to enrich the systems with a gradient structure, i.e. the evolution is given by a gradient-flow equation. We present the arising links between the associated gradient structures that are driven by the relative entropy of the detailed-balance steady state. The limit of large volumes is studied in the sense of evolutionary Γ-convergence of gradient flows. Moreover, we use the gradient structures to derive hybrid models for coupling different modeling levels. AU - Maas, Jan AU - Mielke, Alexander ID - 8758 IS - 6 JF - Journal of Statistical Physics SN - 00224715 TI - Modeling of chemical reaction systems with detailed balance using gradient structures VL - 181 ER - TY - GEN AB - This dataset comprises all data shown in the figures of the submitted article "Surpassing the resistance quantum with a geometric superinductor". Additional raw data are available from the corresponding author on reasonable request. AU - Peruzzo, Matilda AU - Trioni, Andrea AU - Hassani, Farid AU - Zemlicka, Martin AU - Fink, Johannes M ID - 13070 TI - Surpassing the resistance quantum with a geometric superinductor ER - TY - JOUR AB - Breakdown of vascular barriers is a major complication of inflammatory diseases. Anucleate platelets form blood-clots during thrombosis, but also play a crucial role in inflammation. While spatio-temporal dynamics of clot formation are well characterized, the cell-biological mechanisms of platelet recruitment to inflammatory micro-environments remain incompletely understood. Here we identify Arp2/3-dependent lamellipodia formation as a prominent morphological feature of immune-responsive platelets. Platelets use lamellipodia to scan for fibrin(ogen) deposited on the inflamed vasculature and to directionally spread, to polarize and to govern haptotactic migration along gradients of the adhesive ligand. Platelet-specific abrogation of Arp2/3 interferes with haptotactic repositioning of platelets to microlesions, thus impairing vascular sealing and provoking inflammatory microbleeding. During infection, haptotaxis promotes capture of bacteria and prevents hematogenic dissemination, rendering platelets gate-keepers of the inflamed microvasculature. Consequently, these findings identify haptotaxis as a key effector function of immune-responsive platelets. AU - Nicolai, Leo AU - Schiefelbein, Karin AU - Lipsky, Silvia AU - Leunig, Alexander AU - Hoffknecht, Marie AU - Pekayvaz, Kami AU - Raude, Ben AU - Marx, Charlotte AU - Ehrlich, Andreas AU - Pircher, Joachim AU - Zhang, Zhe AU - Saleh, Inas AU - Marel, Anna-Kristina AU - Löf, Achim AU - Petzold, Tobias AU - Lorenz, Michael AU - Stark, Konstantin AU - Pick, Robert AU - Rosenberger, Gerhild AU - Weckbach, Ludwig AU - Uhl, Bernd AU - Xia, Sheng AU - Reichel, Christoph Andreas AU - Walzog, Barbara AU - Schulz, Christian AU - Zheden, Vanessa AU - Bender, Markus AU - Li, Rong AU - Massberg, Steffen AU - Gärtner, Florian R ID - 8787 JF - Nature Communications TI - Vascular surveillance by haptotactic blood platelets in inflammation and infection VL - 11 ER - TY - JOUR AB - Cooperation is a ubiquitous and beneficial behavioural trait despite being prone to exploitation by free-riders. Hence, cooperative populations are prone to invasions by selfish individuals. However, a population consisting of only free-riders typically does not survive. Thus, cooperators and free-riders often coexist in some proportion. An evolutionary version of a Snowdrift Game proved its efficiency in analysing this phenomenon. However, what if the system has already reached its stable state but was perturbed due to a change in environmental conditions? Then, individuals may have to re-learn their effective strategies. To address this, we consider behavioural mistakes in strategic choice execution, which we refer to as incompetence. Parametrising the propensity to make such mistakes allows for a mathematical description of learning. We compare strategies based on their relative strategic advantage relying on both fitness and learning factors. When strategies are learned at distinct rates, allowing learning according to a prescribed order is optimal. Interestingly, the strategy with the lowest strategic advantage should be learnt first if we are to optimise fitness over the learning path. Then, the differences between strategies are balanced out in order to minimise the effect of behavioural uncertainty. AU - Kleshnina, Maria AU - Streipert, Sabrina AU - Filar, Jerzy AU - Chatterjee, Krishnendu ID - 8789 IS - 11 JF - Mathematics TI - Prioritised learning in snowdrift-type games VL - 8 ER - TY - CONF AB - Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discrete post operators to compute states reachable according to continuous and discrete dynamics, respectively. In this paper, we enhance both of these operators and make sure that most of the involved computations are performed in low-dimensional state space. In particular, we improve the continuous-post operator by performing computations in high-dimensional state space only for time intervals relevant for the subsequent application of the discrete-post operator. Furthermore, the new discrete-post operator performs low-dimensional computations by leveraging the structure of the guard and assignment of a considered transition. We illustrate the potential of our approach on a number of challenging benchmarks. AU - Bogomolov, Sergiy AU - Forets, Marcelo AU - Frehse, Goran AU - Potomkin, Kostiantyn AU - Schilling, Christian ID - 8287 KW - reachability KW - hybrid systems KW - decomposition T2 - Proceedings of the International Conference on Embedded Software TI - Reachability analysis of linear hybrid systems via block decomposition ER - TY - JOUR AB - Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discrete post operators to compute states reachable according to continuous and discrete dynamics, respectively. In this article, we enhance both of these operators and make sure that most of the involved computations are performed in low-dimensional state space. In particular, we improve the continuous-post operator by performing computations in high-dimensional state space only for time intervals relevant for the subsequent application of the discrete-post operator. Furthermore, the new discrete-post operator performs low-dimensional computations by leveraging the structure of the guard and assignment of a considered transition. We illustrate the potential of our approach on a number of challenging benchmarks. AU - Bogomolov, Sergiy AU - Forets, Marcelo AU - Frehse, Goran AU - Potomkin, Kostiantyn AU - Schilling, Christian ID - 8790 IS - 11 JF - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems SN - 02780070 TI - Reachability analysis of linear hybrid systems via block decomposition VL - 39 ER - TY - JOUR AB - Maintaining fertility in a fluctuating environment is key to the reproductive success of flowering plants. Meiosis and pollen formation are particularly sensitive to changes in growing conditions, especially temperature. We have previously identified cyclin-dependent kinase G1 (CDKG1) as a master regulator of temperature-dependent meiosis and this may involve the regulation of alternative splicing (AS), including of its own transcript. CDKG1 mRNA can undergo several AS events, potentially producing two protein variants: CDKG1L and CDKG1S, differing in their N-terminal domain which may be involved in co-factor interaction. In leaves, both isoforms have distinct temperature-dependent functions on target mRNA processing, but their role in pollen development is unknown. In the present study, we characterize the role of CDKG1L and CDKG1S in maintaining Arabidopsis fertility. We show that the long (L) form is necessary and sufficient to rescue the fertility defects of the cdkg1-1 mutant, while the short (S) form is unable to rescue fertility. On the other hand, an extra copy of CDKG1L reduces fertility. In addition, mutation of the ATP binding pocket of the kinase indicates that kinase activity is necessary for the function of CDKG1. Kinase mutants of CDKG1L and CDKG1S correctly localize to the cell nucleus and nucleus and cytoplasm, respectively, but are unable to rescue either the fertility or the splicing defects of the cdkg1-1 mutant. Furthermore, we show that there is partial functional overlap between CDKG1 and its paralog CDKG2 that could in part be explained by overlapping gene expression. AU - Nibau, Candida AU - Dadarou, Despoina AU - Kargios, Nestoras AU - Mallioura, Areti AU - Fernandez-Fuentes, Narcis AU - Cavallari, Nicola AU - Doonan, John H. ID - 8924 JF - Frontiers in Plant Science TI - A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis VL - 11 ER - TY - JOUR AB - Superconductor insulator transition in transverse magnetic field is studied in the highly disordered MoC film with the product of the Fermi momentum and the mean free path kF*l close to unity. Surprisingly, the Zeeman paramagnetic effects dominate over orbital coupling on both sides of the transition. In superconducting state it is evidenced by a high upper critical magnetic field 𝐵𝑐2, by its square root dependence on temperature, as well as by the Zeeman splitting of the quasiparticle density of states (DOS) measured by scanning tunneling microscopy. At 𝐵𝑐2 a logarithmic anomaly in DOS is observed. This anomaly is further enhanced in increasing magnetic field, which is explained by the Zeeman splitting of the Altshuler-Aronov DOS driving the system into a more insulating or resistive state. Spin dependent Altshuler-Aronov correction is also needed to explain the transport behavior above 𝐵𝑐2. AU - Zemlicka, Martin AU - Kopčík, M. AU - Szabó, P. AU - Samuely, T. AU - Kačmarčík, J. AU - Neilinger, P. AU - Grajcar, M. AU - Samuely, P. ID - 8944 IS - 18 JF - Physical Review B SN - 24699950 TI - Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field VL - 102 ER - TY - JOUR AB - Skeletal muscle activity is continuously modulated across physiologic states to provide coordination, flexibility and responsiveness to body tasks and external inputs. Despite the central role the muscular system plays in facilitating vital body functions, the network of brain-muscle interactions required to control hundreds of muscles and synchronize their activation in relation to distinct physiologic states has not been investigated. Recent approaches have focused on general associations between individual brain rhythms and muscle activation during movement tasks. However, the specific forms of coupling, the functional network of cortico-muscular coordination, and how network structure and dynamics are modulated by autonomic regulation across physiologic states remains unknown. To identify and quantify the cortico-muscular interaction network and uncover basic features of neuro-autonomic control of muscle function, we investigate the coupling between synchronous bursts in cortical rhythms and peripheral muscle activation during sleep and wake. Utilizing the concept of time delay stability and a novel network physiology approach, we find that the brain-muscle network exhibits complex dynamic patterns of communication involving multiple brain rhythms across cortical locations and different electromyographic frequency bands. Moreover, our results show that during each physiologic state the cortico-muscular network is characterized by a specific profile of network links strength, where particular brain rhythms play role of main mediators of interaction and control. Further, we discover a hierarchical reorganization in network structure across physiologic states, with high connectivity and network link strength during wake, intermediate during REM and light sleep, and low during deep sleep, a sleep-stage stratification that demonstrates a unique association between physiologic states and cortico-muscular network structure. The reported empirical observations are consistent across individual subjects, indicating universal behavior in network structure and dynamics, and high sensitivity of cortico-muscular control to changes in autonomic regulation, even at low levels of physical activity and muscle tone during sleep. Our findings demonstrate previously unrecognized basic principles of brain-muscle network communication and control, and provide new perspectives on the regulatory mechanisms of brain dynamics and locomotor activation, with potential clinical implications for neurodegenerative, movement and sleep disorders, and for developing efficient treatment strategies. AU - Rizzo, Rossella AU - Zhang, Xiyun AU - Wang, Jilin W.J.L. AU - Lombardi, Fabrizio AU - Ivanov, Plamen Ch ID - 8955 JF - Frontiers in Physiology TI - Network physiology of cortico–muscular interactions VL - 11 ER - TY - JOUR AB - Development of the nervous system undergoes important transitions, including one from neurogenesis to gliogenesis which occurs late during embryonic gestation. Here we report on clonal analysis of gliogenesis in mice using Mosaic Analysis with Double Markers (MADM) with quantitative and computational methods. Results reveal that developmental gliogenesis in the cerebral cortex occurs in a fraction of earlier neurogenic clones, accelerating around E16.5, and giving rise to both astrocytes and oligodendrocytes. Moreover, MADM-based genetic deletion of the epidermal growth factor receptor (Egfr) in gliogenic clones revealed that Egfr is cell autonomously required for gliogenesis in the mouse dorsolateral cortices. A broad range in the proliferation capacity, symmetry of clones, and competitive advantage of MADM cells was evident in clones that contained one cellular lineage with double dosage of Egfr relative to their environment, while their sibling Egfr-null cells failed to generate glia. Remarkably, the total numbers of glia in MADM clones balance out regardless of significant alterations in clonal symmetries. The variability in glial clones shows stochastic patterns that we define mathematically, which are different from the deterministic patterns in neuronal clones. This study sets a foundation for studying the biological significance of stochastic and deterministic clonal principles underlying tissue development, and identifying mechanisms that differentiate between neurogenesis and gliogenesis. AU - Zhang, Xuying AU - Mennicke, Christine V. AU - Xiao, Guanxi AU - Beattie, Robert J AU - Haider, Mansoor AU - Hippenmeyer, Simon AU - Ghashghaei, H. Troy ID - 8949 IS - 12 JF - Cells SN - 2073-4409 TI - Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage VL - 9 ER - TY - JOUR AB - The actin-related protein (Arp)2/3 complex nucleates branched actin filament networks pivotal for cell migration, endocytosis and pathogen infection. Its activation is tightly regulated and involves complex structural rearrangements and actin filament binding, which are yet to be understood. Here, we report a 9.0 Å resolution structure of the actin filament Arp2/3 complex branch junction in cells using cryo-electron tomography and subtomogram averaging. This allows us to generate an accurate model of the active Arp2/3 complex in the branch junction and its interaction with actin filaments. Notably, our model reveals a previously undescribed set of interactions of the Arp2/3 complex with the mother filament, significantly different to the previous branch junction model. Our structure also indicates a central role for the ArpC3 subunit in stabilizing the active conformation. AU - Fäßler, Florian AU - Dimchev, Georgi A AU - Hodirnau, Victor-Valentin AU - Wan, William AU - Schur, Florian KM ID - 8971 JF - Nature Communications KW - General Biochemistry KW - Genetics and Molecular Biology KW - General Physics and Astronomy KW - General Chemistry SN - 2041-1723 TI - Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction VL - 11 ER - TY - CONF AB - Currently several projects aim at designing and implementing protocols for privacy preserving automated contact tracing to help fight the current pandemic. Those proposal are quite similar, and in their most basic form basically propose an app for mobile phones which broadcasts frequently changing pseudorandom identifiers via (low energy) Bluetooth, and at the same time, the app stores IDs broadcast by phones in its proximity. Only if a user is tested positive, they upload either the beacons they did broadcast (which is the case in decentralized proposals as DP-3T, east and west coast PACT or Covid watch) or received (as in Popp-PT or ROBERT) during the last two weeks or so. Vaudenay [eprint 2020/399] observes that this basic scheme (he considers the DP-3T proposal) succumbs to relay and even replay attacks, and proposes more complex interactive schemes which prevent those attacks without giving up too many privacy aspects. Unfortunately interaction is problematic for this application for efficiency and security reasons. The countermeasures that have been suggested so far are either not practical or give up on key privacy aspects. We propose a simple non-interactive variant of the basic protocol that (security) Provably prevents replay and (if location data is available) relay attacks. (privacy) The data of all parties (even jointly) reveals no information on the location or time where encounters happened. (efficiency) The broadcasted message can fit into 128 bits and uses only basic crypto (commitments and secret key authentication). Towards this end we introduce the concept of “delayed authentication”, which basically is a message authentication code where verification can be done in two steps, where the first doesn’t require the key, and the second doesn’t require the message. AU - Pietrzak, Krzysztof Z ID - 8987 SN - 03029743 T2 - Progress in Cryptology TI - Delayed authentication: Preventing replay and relay attacks in private contact tracing VL - 12578 ER - TY - JOUR AB - In prokaryotes, thermodynamic models of gene regulation provide a highly quantitative mapping from promoter sequences to gene-expression levels that is compatible with in vivo and in vitro biophysical measurements. Such concordance has not been achieved for models of enhancer function in eukaryotes. In equilibrium models, it is difficult to reconcile the reported short transcription factor (TF) residence times on the DNA with the high specificity of regulation. In nonequilibrium models, progress is difficult due to an explosion in the number of parameters. Here, we navigate this complexity by looking for minimal nonequilibrium enhancer models that yield desired regulatory phenotypes: low TF residence time, high specificity, and tunable cooperativity. We find that a single extra parameter, interpretable as the “linking rate,” by which bound TFs interact with Mediator components, enables our models to escape equilibrium bounds and access optimal regulatory phenotypes, while remaining consistent with the reported phenomenology and simple enough to be inferred from upcoming experiments. We further find that high specificity in nonequilibrium models is in a trade-off with gene-expression noise, predicting bursty dynamics—an experimentally observed hallmark of eukaryotic transcription. By drastically reducing the vast parameter space of nonequilibrium enhancer models to a much smaller subspace that optimally realizes biological function, we deliver a rich class of models that could be tractably inferred from data in the near future. AU - Grah, Rok AU - Zoller, Benjamin AU - Tkačik, Gašper ID - 9000 IS - 50 JF - PNAS SN - 00278424 TI - Nonequilibrium models of optimal enhancer function VL - 117 ER - TY - JOUR AB - Quantum illumination uses entangled signal-idler photon pairs to boost the detection efficiency of low-reflectivity objects in environments with bright thermal noise. Its advantage is particularly evident at low signal powers, a promising feature for applications such as noninvasive biomedical scanning or low-power short-range radar. Here, we experimentally investigate the concept of quantum illumination at microwave frequencies. We generate entangled fields to illuminate a room-temperature object at a distance of 1 m in a free-space detection setup. We implement a digital phase-conjugate receiver based on linear quadrature measurements that outperforms a symmetric classical noise radar in the same conditions, despite the entanglement-breaking signal path. Starting from experimental data, we also simulate the case of perfect idler photon number detection, which results in a quantum advantage compared with the relative classical benchmark. Our results highlight the opportunities and challenges in the way toward a first room-temperature application of microwave quantum circuits. AU - Barzanjeh, Shabir AU - Pirandola, S. AU - Vitali, D AU - Fink, Johannes M ID - 7910 IS - 19 JF - Science Advances TI - Microwave quantum illumination using a digital receiver VL - 6 ER - TY - CONF AB - Quantum illumination is a sensing technique that employs entangled signal-idler beams to improve the detection efficiency of low-reflectivity objects in environments with large thermal noise. The advantage over classical strategies is evident at low signal brightness, a feature which could make the protocol an ideal prototype for non-invasive scanning or low-power short-range radar. Here we experimentally investigate the concept of quantum illumination at microwave frequencies, by generating entangled fields using a Josephson parametric converter which are then amplified to illuminate a room-temperature object at a distance of 1 meter. Starting from experimental data, we simulate the case of perfect idler photon number detection, which results in a quantum advantage compared to the relative classical benchmark. Our results highlight the opportunities and challenges on the way towards a first room-temperature application of microwave quantum circuits. AU - Barzanjeh, Shabir AU - Pirandola, Stefano AU - Vitali, David AU - Fink, Johannes M ID - 9001 IS - 9 SN - 1097-5659 T2 - IEEE National Radar Conference - Proceedings TI - Microwave quantum illumination with a digital phase-conjugated receiver VL - 2020 ER - TY - JOUR AB - Motivated by a recent question of Peyre, we apply the Hardy–Littlewood circle method to count “sufficiently free” rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the rationals. AU - Browning, Timothy D AU - Sawin, Will ID - 9007 IS - 4 JF - Commentarii Mathematici Helvetici SN - 00102571 TI - Free rational points on smooth hypersurfaces VL - 95 ER - TY - JOUR AB - Microwave photonics lends the advantages of fiber optics to electronic sensing and communication systems. In contrast to nonlinear optics, electro-optic devices so far require classical modulation fields whose variance is dominated by electronic or thermal noise rather than quantum fluctuations. Here we demonstrate bidirectional single-sideband conversion of X band microwave to C band telecom light with a microwave mode occupancy as low as 0.025 ± 0.005 and an added output noise of less than or equal to 0.074 photons. This is facilitated by radiative cooling and a triply resonant ultra-low-loss transducer operating at millikelvin temperatures. The high bandwidth of 10.7 MHz and total (internal) photon conversion efficiency of 0.03% (0.67%) combined with the extremely slow heating rate of 1.1 added output noise photons per second for the highest available pump power of 1.48 mW puts near-unity efficiency pulsed quantum transduction within reach. Together with the non-Gaussian resources of superconducting qubits this might provide the practical foundation to extend the range and scope of current quantum networks in analogy to electrical repeaters in classical fiber optic communication. AU - Hease, William J AU - Rueda Sanchez, Alfredo R AU - Sahu, Rishabh AU - Wulf, Matthias AU - Arnold, Georg M AU - Schwefel, Harald G.L. AU - Fink, Johannes M ID - 9114 IS - 2 JF - PRX Quantum SN - 2691-3399 TI - Bidirectional electro-optic wavelength conversion in the quantum ground state VL - 1 ER - TY - JOUR AB - Quantum transduction, the process of converting quantum signals from one form of energy to another, is an important area of quantum science and technology. The present perspective article reviews quantum transduction between microwave and optical photons, an area that has recently seen a lot of activity and progress because of its relevance for connecting superconducting quantum processors over long distances, among other applications. Our review covers the leading approaches to achieving such transduction, with an emphasis on those based on atomic ensembles, opto-electro-mechanics, and electro-optics. We briefly discuss relevant metrics from the point of view of different applications, as well as challenges for the future. AU - Lauk, Nikolai AU - Sinclair, Neil AU - Barzanjeh, Shabir AU - Covey, Jacob P AU - Saffman, Mark AU - Spiropulu, Maria AU - Simon, Christoph ID - 9194 IS - 2 JF - Quantum Science and Technology SN - 2058-9565 TI - Perspectives on quantum transduction VL - 5 ER - TY - JOUR AB - We give a short and self-contained proof for rates of convergence of the Allen--Cahn equation towards mean curvature flow, assuming that a classical (smooth) solution to the latter exists and starting from well-prepared initial data. Our approach is based on a relative entropy technique. In particular, it does not require a stability analysis for the linearized Allen--Cahn operator. As our analysis also does not rely on the comparison principle, we expect it to be applicable to more complex equations and systems. AU - Fischer, Julian L AU - Laux, Tim AU - Simon, Theresa M. ID - 9039 IS - 6 JF - SIAM Journal on Mathematical Analysis SN - 00361410 TI - Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies VL - 52 ER - TY - JOUR AB - We consider the free additive convolution of two probability measures μ and ν on the real line and show that μ ⊞ v is supported on a single interval if μ and ν each has single interval support. Moreover, the density of μ ⊞ ν is proven to vanish as a square root near the edges of its support if both μ and ν have power law behavior with exponents between −1 and 1 near their edges. In particular, these results show the ubiquity of the conditions in our recent work on optimal local law at the spectral edges for addition of random matrices [5]. AU - Bao, Zhigang AU - Erdös, László AU - Schnelli, Kevin ID - 9104 JF - Journal d'Analyse Mathematique SN - 00217670 TI - On the support of the free additive convolution VL - 142 ER - TY - GEN AB - This dataset comprises all data shown in the plots of the main part of the submitted article "Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State". Additional raw data are available from the corresponding author on reasonable request. AU - Hease, William J AU - Rueda Sanchez, Alfredo R AU - Sahu, Rishabh AU - Wulf, Matthias AU - Arnold, Georg M AU - Schwefel, Harald AU - Fink, Johannes M ID - 13071 TI - Bidirectional electro-optic wavelength conversion in the quantum ground state ER - TY - JOUR AB - Quantum information technology based on solid state qubits has created much interest in converting quantum states from the microwave to the optical domain. Optical photons, unlike microwave photons, can be transmitted by fiber, making them suitable for long distance quantum communication. Moreover, the optical domain offers access to a large set of very well‐developed quantum optical tools, such as highly efficient single‐photon detectors and long‐lived quantum memories. For a high fidelity microwave to optical transducer, efficient conversion at single photon level and low added noise is needed. Currently, the most promising approaches to build such systems are based on second‐order nonlinear phenomena such as optomechanical and electro‐optic interactions. Alternative approaches, although not yet as efficient, include magneto‐optical coupling and schemes based on isolated quantum systems like atoms, ions, or quantum dots. Herein, the necessary theoretical foundations for the most important microwave‐to‐optical conversion experiments are provided, their implementations are described, and the current limitations and future prospects are discussed. AU - Lambert, Nicholas J. AU - Rueda Sanchez, Alfredo R AU - Sedlmeir, Florian AU - Schwefel, Harald G. L. ID - 9195 IS - 1 JF - Advanced Quantum Technologies SN - 2511-9044 TI - Coherent conversion between microwave and optical photons - An overview of physical implementations VL - 3 ER - TY - JOUR AB - Distributed ledgers provide high availability and integrity, making them a key enabler for practical and secure computation of distributed workloads among mutually distrustful parties. Many practical applications also require strong confidentiality, however. This work enhances permissioned and permissionless blockchains with the ability to manage confidential data without forfeiting availability or decentralization. The proposed Calypso architecture addresses two orthogonal challenges confronting modern distributed ledgers: (a) enabling the auditable management of secrets and (b) protecting distributed computations against arbitrage attacks when their results depend on the ordering and secrecy of inputs. Calypso introduces on-chain secrets, a novel abstraction that enforces atomic deposition of an auditable trace whenever users access confidential data. Calypso provides user-controlled consent management that ensures revocation atomicity and accountable anonymity. To enable permissionless deployment, we introduce an incentive scheme and provide users with the option to select their preferred trustees. We evaluated our Calypso prototype with a confidential document-sharing application and a decentralized lottery. Our benchmarks show that transaction-processing latency increases linearly in terms of security (number of trustees) and is in the range of 0.2 to 8 seconds for 16 to 128 trustees. AU - Kokoris Kogias, Eleftherios AU - Alp, Enis Ceyhun AU - Gasser, Linus AU - Jovanovic, Philipp AU - Syta, Ewa AU - Ford, Bryan ID - 9011 IS - 4 JF - Proceedings of the VLDB Endowment TI - CALYPSO: Private data management for decentralized ledgers VL - 14 ER - TY - JOUR AB - Many-body localization provides a mechanism to avoid thermalization in isolated interacting quantum systems. The breakdown of thermalization may be complete, when all eigenstates in the many-body spectrum become localized, or partial, when the so-called many-body mobility edge separates localized and delocalized parts of the spectrum. Previously, De Roeck et al. [Phys. Rev. B 93, 014203 (2016)] suggested a possible instability of the many-body mobility edge in energy density. The local ergodic regions—so-called “bubbles”—resonantly spread throughout the system, leading to delocalization. In order to study such instability mechanism, in this work we design a model featuring many-body mobility edge in particle density: the states at small particle density are localized, while increasing the density of particles leads to delocalization. Using numerical simulations with matrix product states, we demonstrate the stability of many-body localization with respect to small bubbles in large dilute systems for experimentally relevant timescales. In addition, we demonstrate that processes where the bubble spreads are favored over processes that lead to resonant tunneling, suggesting a possible mechanism behind the observed stability of many-body mobility edge. We conclude by proposing experiments to probe particle density mobility edge in the Bose-Hubbard model. AU - Brighi, Pietro AU - Abanin, Dmitry A. AU - Serbyn, Maksym ID - 8308 IS - 6 JF - Physical Review B SN - 2469-9950 TI - Stability of mobility edges in disordered interacting systems VL - 102 ER - TY - JOUR AB - We consider the sum of two large Hermitian matrices A and B with a Haar unitary conjugation bringing them into a general relative position. We prove that the eigenvalue density on the scale slightly above the local eigenvalue spacing is asymptotically given by the free additive convolution of the laws of A and B as the dimension of the matrix increases. This implies optimal rigidity of the eigenvalues and optimal rate of convergence in Voiculescu's theorem. Our previous works [4], [5] established these results in the bulk spectrum, the current paper completely settles the problem at the spectral edges provided they have the typical square-root behavior. The key element of our proof is to compensate the deterioration of the stability of the subordination equations by sharp error estimates that properly account for the local density near the edge. Our results also hold if the Haar unitary matrix is replaced by the Haar orthogonal matrix. AU - Bao, Zhigang AU - Erdös, László AU - Schnelli, Kevin ID - 10862 IS - 7 JF - Journal of Functional Analysis KW - Analysis SN - 0022-1236 TI - Spectral rigidity for addition of random matrices at the regular edge VL - 279 ER - TY - JOUR AB - In this paper we find a tight estimate for Gromov’s waist of the balls in spaces of constant curvature, deduce the estimates for the balls in Riemannian manifolds with upper bounds on the curvature (CAT(ϰ)-spaces), and establish similar result for normed spaces. AU - Akopyan, Arseniy AU - Karasev, Roman ID - 10867 IS - 3 JF - International Mathematics Research Notices KW - General Mathematics SN - 1073-7928 TI - Waist of balls in hyperbolic and spherical spaces VL - 2020 ER - TY - GEN AB - Fitness interactions between mutations can influence a population’s evolution in many different ways. While epistatic effects are difficult to measure precisely, important information is captured by the mean and variance of log fitnesses for individuals carrying different numbers of mutations. We derive predictions for these quantities from a class of simple fitness landscapes, based on models of optimizing selection on quantitative traits. We also explore extensions to the models, including modular pleiotropy, variable effect sizes, mutational bias and maladaptation of the wild type. We illustrate our approach by reanalysing a large dataset of mutant effects in a yeast snoRNA. Though characterized by some large epistatic effects, these data give a good overall fit to the non-epistatic null model, suggesting that epistasis might have limited influence on the evolutionary dynamics in this system. We also show how the amount of epistasis depends on both the underlying fitness landscape and the distribution of mutations, and so is expected to vary in consistent ways between new mutations, standing variation and fixed mutations. AU - Fraisse, Christelle AU - Welch, John J. ID - 9799 TI - Simulation code for Fig S1 from the distribution of epistasis on simple fitness landscapes ER - TY - GEN AB - Fitness interactions between mutations can influence a population’s evolution in many different ways. While epistatic effects are difficult to measure precisely, important information is captured by the mean and variance of log fitnesses for individuals carrying different numbers of mutations. We derive predictions for these quantities from a class of simple fitness landscapes, based on models of optimizing selection on quantitative traits. We also explore extensions to the models, including modular pleiotropy, variable effect sizes, mutational bias and maladaptation of the wild type. We illustrate our approach by reanalysing a large dataset of mutant effects in a yeast snoRNA. Though characterized by some large epistatic effects, these data give a good overall fit to the non-epistatic null model, suggesting that epistasis might have limited influence on the evolutionary dynamics in this system. We also show how the amount of epistasis depends on both the underlying fitness landscape and the distribution of mutations, and so is expected to vary in consistent ways between new mutations, standing variation and fixed mutations. AU - Fraisse, Christelle AU - Welch, John J. ID - 9798 TI - Simulation code for Fig S2 from the distribution of epistasis on simple fitness landscapes ER - TY - JOUR AB - We prove a central limit theorem for the difference of linear eigenvalue statistics of a sample covariance matrix W˜ and its minor W. We find that the fluctuation of this difference is much smaller than those of the individual linear statistics, as a consequence of the strong correlation between the eigenvalues of W˜ and W. Our result identifies the fluctuation of the spatial derivative of the approximate Gaussian field in the recent paper by Dumitru and Paquette. Unlike in a similar result for Wigner matrices, for sample covariance matrices, the fluctuation may entirely vanish. AU - Cipolloni, Giorgio AU - Erdös, László ID - 6488 IS - 3 JF - Random Matrices: Theory and Application SN - 20103263 TI - Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices VL - 9 ER - TY - JOUR AB - Research in the field of colloidal semiconductor nanocrystals (NCs) has progressed tremendously, mostly because of their exceptional optoelectronic properties. Core@shell NCs, in which one or more inorganic layers overcoat individual NCs, recently received significant attention due to their remarkable optical characteristics. Reduced Auger recombination, suppressed blinking, and enhanced carrier multiplication are among the merits of core@shell NCs. Despite their importance in device development, the influence of the shell and the surface modification of the core@shell NC assemblies on the charge carrier transport remains a pertinent research objective. Type-II PbTe@PbS core@shell NCs, in which exclusive electron transport was demonstrated, still exhibit instability of their electron ransport. Here, we demonstrate the enhancement of electron transport and stability in PbTe@PbS core@shell NC assemblies using iodide as a surface passivating ligand. The combination of the PbS shelling and the use of the iodide ligand contributes to the addition of one mobile electron for each core@shell NC. Furthermore, both electron mobility and on/off current modulation ratio values of the core@shell NC field-effect transistor are steady with the usage of iodide. Excellent stability in these exclusively electron-transporting core@shell NCs paves the way for their utilization in electronic devices. AU - Miranti, Retno AU - Septianto, Ricky Dwi AU - Ibáñez, Maria AU - Kovalenko, Maksym V. AU - Matsushita, Nobuhiro AU - Iwasa, Yoshihiro AU - Bisri, Satria Zulkarnaen ID - 8746 IS - 17 JF - Applied Physics Letters SN - 0003-6951 TI - Electron transport in iodide-capped core@shell PbTe@PbS colloidal nanocrystal solids VL - 117 ER - TY - JOUR AB - The goal of limiting global warming to 1.5 °C requires a drastic reduction in CO2 emissions across many sectors of the world economy. Batteries are vital to this endeavor, whether used in electric vehicles, to store renewable electricity, or in aviation. Present lithium-ion technologies are preparing the public for this inevitable change, but their maximum theoretical specific capacity presents a limitation. Their high cost is another concern for commercial viability. Metal–air batteries have the highest theoretical energy density of all possible secondary battery technologies and could yield step changes in energy storage, if their practical difficulties could be overcome. The scope of this review is to provide an objective, comprehensive, and authoritative assessment of the intensive work invested in nonaqueous rechargeable metal–air batteries over the past few years, which identified the key problems and guides directions to solve them. We focus primarily on the challenges and outlook for Li–O2 cells but include Na–O2, K–O2, and Mg–O2 cells for comparison. Our review highlights the interdisciplinary nature of this field that involves a combination of materials chemistry, electrochemistry, computation, microscopy, spectroscopy, and surface science. The mechanisms of O2 reduction and evolution are considered in the light of recent findings, along with developments in positive and negative electrodes, electrolytes, electrocatalysis on surfaces and in solution, and the degradative effect of singlet oxygen, which is typically formed in Li–O2 cells. AU - Kwak, WJ AU - Sharon, D AU - Xia, C AU - Kim, H AU - Johnson, LR AU - Bruce, PG AU - Nazar, LF AU - Sun, YK AU - Frimer, AA AU - Noked, M AU - Freunberger, Stefan Alexander AU - Aurbach, D ID - 7985 IS - 14 JF - Chemical Reviews SN - 0009-2665 TI - Lithium-oxygen batteries and related systems: Potential, status, and future VL - 120 ER - TY - JOUR AB - Spontaneously arising channels that transport the phytohormone auxin provide positional cues for self-organizing aspects of plant development such as flexible vasculature regeneration or its patterning during leaf venation. The auxin canalization hypothesis proposes a feedback between auxin signaling and transport as the underlying mechanism, but molecular players await discovery. We identified part of the machinery that routes auxin transport. The auxin-regulated receptor CAMEL (Canalization-related Auxin-regulated Malectin-type RLK) together with CANAR (Canalization-related Receptor-like kinase) interact with and phosphorylate PIN auxin transporters. camel and canar mutants are impaired in PIN1 subcellular trafficking and auxin-mediated PIN polarization, which macroscopically manifests as defects in leaf venation and vasculature regeneration after wounding. The CAMEL-CANAR receptor complex is part of the auxin feedback that coordinates polarization of individual cells during auxin canalization. AU - Hajny, Jakub AU - Prat, Tomas AU - Rydza, N AU - Rodriguez Solovey, Lesia AU - Tan, Shutang AU - Verstraeten, Inge AU - Domjan, David AU - Mazur, E AU - Smakowska-Luzan, E AU - Smet, W AU - Mor, E AU - Nolf, J AU - Yang, B AU - Grunewald, W AU - Molnar, Gergely AU - Belkhadir, Y AU - De Rybel, B AU - Friml, Jiří ID - 8721 IS - 6516 JF - Science SN - 0036-8075 TI - Receptor kinase module targets PIN-dependent auxin transport during canalization VL - 370 ER - TY - JOUR AB - Organic materials are known to feature long spin-diffusion times, originating in a generally small spin–orbit coupling observed in these systems. From that perspective, chiral molecules acting as efficient spin selectors pose a puzzle that attracted a lot of attention in recent years. Here, we revisit the physical origins of chiral-induced spin selectivity (CISS) and propose a simple analytic minimal model to describe it. The model treats a chiral molecule as an anisotropic wire with molecular dipole moments aligned arbitrarily with respect to the wire’s axes and is therefore quite general. Importantly, it shows that the helical structure of the molecule is not necessary to observe CISS and other chiral nonhelical molecules can also be considered as potential candidates for the CISS effect. We also show that the suggested simple model captures the main characteristics of CISS observed in the experiment, without the need for additional constraints employed in the previous studies. The results pave the way for understanding other related physical phenomena where the CISS effect plays an essential role. AU - Ghazaryan, Areg AU - Paltiel, Yossi AU - Lemeshko, Mikhail ID - 7968 IS - 21 JF - The Journal of Physical Chemistry C SN - 1932-7447 TI - Analytic model of chiral-induced spin selectivity VL - 124 ER - TY - JOUR AB - Recent discoveries have shown that, when two layers of van der Waals (vdW) materials are superimposed with a relative twist angle between them, the electronic properties of the coupled system can be dramatically altered. Here, we demonstrate that a similar concept can be extended to the optics realm, particularly to propagating phonon polaritons–hybrid light-matter interactions. To do this, we fabricate stacks composed of two twisted slabs of a vdW crystal (α-MoO3) supporting anisotropic phonon polaritons (PhPs), and image the propagation of the latter when launched by localized sources. Our images reveal that, under a critical angle, the PhPs isofrequency curve undergoes a topological transition, in which the propagation of PhPs is strongly guided (canalization regime) along predetermined directions without geometric spreading. These results demonstrate a new degree of freedom (twist angle) for controlling the propagation of polaritons at the nanoscale with potential for nanoimaging, (bio)-sensing, or heat management. AU - Duan, Jiahua AU - Capote-Robayna, Nathaniel AU - Taboada-Gutiérrez, Javier AU - Álvarez-Pérez, Gonzalo AU - Prieto Gonzalez, Ivan AU - Martín-Sánchez, Javier AU - Nikitin, Alexey Y. AU - Alonso-González, Pablo ID - 10866 IS - 7 JF - Nano Letters KW - Mechanical Engineering KW - Condensed Matter Physics KW - General Materials Science KW - General Chemistry KW - Bioengineering SN - 1530-6984 TI - Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs VL - 20 ER - TY - JOUR AB - Dipolar (or spatially indirect) excitons (IXs) in semiconductor double quantum well (DQW) subjected to an electric field are neutral species with a dipole moment oriented perpendicular to the DQW plane. Here, we theoretically study interactions between IXs in stacked DQW bilayers, where the dipolar coupling can be either attractive or repulsive depending on the relative positions of the particles. By using microscopic band structure calculations to determine the electronic states forming the excitons, we show that the attractive dipolar interaction between stacked IXs deforms their electronic wave function, thereby increasing the inter-DQW interaction energy and making the IX even more electrically polarizable. Many-particle interaction effects are addressed by considering the coupling between a single IX in one of the DQWs to a cloud of IXs in the other DQW, which is modeled either as a closed-packed lattice or as a continuum IX fluid. We find that the lattice model yields IX interlayer binding energies decreasing with increasing lattice density. This behavior is due to the dominating role of the intra-DQW dipolar repulsion, which prevents more than one exciton from entering the attractive region of the inter-DQW coupling. Finally, both models shows that the single IX distorts the distribution of IXs in the adjacent DQW, thus inducing the formation of an IX dipolar polaron (dipolaron). While the interlayer binding energy reduces with IX density for lattice dipolarons, the continuous polaron model predicts a nonmonotonous dependence on density in semiquantitative agreement with a recent experimental study [cf. Hubert et al., Phys. Rev. X 9, 021026 (2019)]. AU - Hubert, C. AU - Cohen, K. AU - Ghazaryan, Areg AU - Lemeshko, Mikhail AU - Rapaport, R. AU - Santos, P. V. ID - 8588 IS - 4 JF - Physical Review B SN - 2469-9950 TI - Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids VL - 102 ER - TY - JOUR AB - One of the hallmarks of quantum statistics, tightly entwined with the concept of topological phases of matter, is the prediction of anyons. Although anyons are predicted to be realized in certain fractional quantum Hall systems, they have not yet been unambiguously detected in experiment. Here we introduce a simple quantum impurity model, where bosonic or fermionic impurities turn into anyons as a consequence of their interaction with the surrounding many-particle bath. A cloud of phonons dresses each impurity in such a way that it effectively attaches fluxes or vortices to it and thereby converts it into an Abelian anyon. The corresponding quantum impurity model, first, provides a different approach to the numerical solution of the many-anyon problem, along with a concrete perspective of anyons as emergent quasiparticles built from composite bosons or fermions. More importantly, the model paves the way toward realizing anyons using impurities in crystal lattices as well as ultracold gases. In particular, we consider two heavy electrons interacting with a two-dimensional lattice crystal in a magnetic field, and show that when the impurity-bath system is rotated at the cyclotron frequency, impurities behave as anyons as a consequence of the angular momentum exchange between the impurities and the bath. A possible experimental realization is proposed by identifying the statistics parameter in terms of the mean-square distance of the impurities and the magnetization of the impurity-bath system, both of which are accessible to experiment. Another proposed application is impurities immersed in a two-dimensional weakly interacting Bose gas. AU - Yakaboylu, Enderalp AU - Ghazaryan, Areg AU - Lundholm, D. AU - Rougerie, N. AU - Lemeshko, Mikhail AU - Seiringer, Robert ID - 8769 IS - 14 JF - Physical Review B SN - 2469-9950 TI - Quantum impurity model for anyons VL - 102 ER - TY - JOUR AB - Multilayer graphene lattices allow for an additional tunability of the band structure by the strong perpendicular electric field. In particular, the emergence of the new multiple Dirac points in ABA stacked trilayer graphene subject to strong transverse electric fields was proposed theoretically and confirmed experimentally. These new Dirac points dubbed “gullies” emerge from the interplay between strong electric field and trigonal warping. In this work, we first characterize the properties of new emergent Dirac points and show that the electric field can be used to tune the distance between gullies in the momentum space. We demonstrate that the band structure has multiple Lifshitz transitions and higher-order singularity of “monkey saddle” type. Following the characterization of the band structure, we consider the spectrum of Landau levels and structure of their wave functions. In the limit of strong electric fields when gullies are well separated in momentum space, they give rise to triply degenerate Landau levels. In the second part of this work, we investigate how degeneracy between three gully Landau levels is lifted in the presence of interactions. Within the Hartree-Fock approximation we show that the symmetry breaking state interpolates between the fully gully polarized state that breaks C3 symmetry at high displacement field and the gully symmetric state when the electric field is decreased. The discontinuous transition between these two states is driven by enhanced intergully tunneling and exchange. We conclude by outlining specific experimental predictions for the existence of such a symmetry-breaking state. AU - Rao, Peng AU - Serbyn, Maksym ID - 7971 IS - 24 JF - Physical Review B SN - 2469-9950 TI - Gully quantum Hall ferromagnetism in biased trilayer graphene VL - 101 ER - TY - JOUR AB - In laboratory studies and numerical simulations, we observe clear signatures of unstable time-periodic solutions in a moderately turbulent quasi-two-dimensional flow. We validate the dynamical relevance of such solutions by demonstrating that turbulent flows in both experiment and numerics transiently display time-periodic dynamics when they shadow unstable periodic orbits (UPOs). We show that UPOs we computed are also statistically significant, with turbulent flows spending a sizable fraction of the total time near these solutions. As a result, the average rates of energy input and dissipation for the turbulent flow and frequently visited UPOs differ only by a few percent. AU - Suri, Balachandra AU - Kageorge, Logan AU - Grigoriev, Roman O. AU - Schatz, Michael F. ID - 8634 IS - 6 JF - Physical Review Letters KW - General Physics and Astronomy SN - 0031-9007 TI - Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits VL - 125 ER - TY - JOUR AB - Peptides derived from non-functional precursors play important roles in various developmental processes, but also in (a)biotic stress signaling. Our (phospho)proteome-wide analyses of C-terminally encoded peptide 5 (CEP5)-mediated changes revealed an impact on abiotic stress-related processes. Drought has a dramatic impact on plant growth, development and reproduction, and the plant hormone auxin plays a role in drought responses. Our genetic, physiological, biochemical and pharmacological results demonstrated that CEP5-mediated signaling is relevant for osmotic and drought stress tolerance in Arabidopsis, and that CEP5 specifically counteracts auxin effects. Specifically, we found that CEP5 signaling stabilizes AUX/IAA transcriptional repressors, suggesting the existence of a novel peptide-dependent control mechanism that tunes auxin signaling. These observations align with the recently described role of AUX/IAAs in stress tolerance and provide a novel role for CEP5 in osmotic and drought stress tolerance. AU - Smith, S AU - Zhu, S AU - Joos, L AU - Roberts, I AU - Nikonorova, N AU - Vu, LD AU - Stes, E AU - Cho, H AU - Larrieu, A AU - Xuan, W AU - Goodall, B AU - van de Cotte, B AU - Waite, JM AU - Rigal, A AU - R Harborough, SR AU - Persiau, G AU - Vanneste, S AU - Kirschner, GK AU - Vandermarliere, E AU - Martens, L AU - Stahl, Y AU - Audenaert, D AU - Friml, Jiří AU - Felix, G AU - Simon, R AU - Bennett, M AU - Bishopp, A AU - De Jaeger, G AU - Ljung, K AU - Kepinski, S AU - Robert, S AU - Nemhauser, J AU - Hwang, I AU - Gevaert, K AU - Beeckman, T AU - De Smet, I ID - 7949 IS - 8 JF - Molecular & Cellular Proteomics TI - The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis VL - 19 ER - TY - JOUR AB - Cell polarity is a fundamental feature of all multicellular organisms. In plants, prominent cell polarity markers are PIN auxin transporters crucial for plant development. To identify novel components involved in cell polarity establishment and maintenance, we carried out a forward genetic screening with PIN2:PIN1-HA;pin2 Arabidopsis plants, which ectopically express predominantly basally localized PIN1 in the root epidermal cells leading to agravitropic root growth. From the screen, we identified the regulator of PIN polarity 12 (repp12) mutation, which restored gravitropic root growth and caused PIN1-HA polarity switch from basal to apical side of root epidermal cells. Complementation experiments established the repp12 causative mutation as an amino acid substitution in Aminophospholipid ATPase3 (ALA3), a phospholipid flippase with predicted function in vesicle formation. ala3 T-DNA mutants show defects in many auxin-regulated processes, in asymmetric auxin distribution and in PIN trafficking. Analysis of quintuple and sextuple mutants confirmed a crucial role of ALA proteins in regulating plant development and in PIN trafficking and polarity. Genetic and physical interaction studies revealed that ALA3 functions together with GNOM and BIG3 ARF GEFs. Taken together, our results identified ALA3 flippase as an important interactor and regulator of ARF GEF functioning in PIN polarity, trafficking and auxin-mediated development. AU - Zhang, Xixi AU - Adamowski, Maciek AU - Marhavá, Petra AU - Tan, Shutang AU - Zhang, Yuzhou AU - Rodriguez Solovey, Lesia AU - Zwiewka, Marta AU - Pukyšová, Vendula AU - Sánchez, Adrià Sans AU - Raxwal, Vivek Kumar AU - Hardtke, Christian S. AU - Nodzynski, Tomasz AU - Friml, Jiří ID - 7619 IS - 5 JF - The Plant Cell SN - 1040-4651 TI - Arabidopsis flippases cooperate with ARF GTPase exchange factors to regulate the trafficking and polarity of PIN auxin transporters VL - 32 ER - TY - JOUR AB - Clathrin-mediated endocytosis (CME) and its core endocytic machinery are evolutionarily conserved across all eukaryotes. In mammals, the heterotetrameric adaptor protein complex-2 (AP-2) sorts plasma membrane (PM) cargoes into vesicles through the recognition of motifs based on tyrosine or di-leucine in their cytoplasmic tails. However, in plants, very little is known on how PM proteins are sorted for CME and whether similar motifs are required. In Arabidopsis thaliana, the brassinosteroid (BR) receptor, BR INSENSITIVE1 (BRI1), undergoes endocytosis that depends on clathrin and AP-2. Here we demonstrate that BRI1 binds directly to the medium AP-2 subunit, AP2M. The cytoplasmic domain of BRI1 contains five putative canonical surface-exposed tyrosine-based endocytic motifs. The tyrosine-to-phenylalanine substitution in Y898KAI reduced BRI1 internalization without affecting its kinase activity. Consistently, plants carrying the BRI1Y898F mutation were hypersensitive to BRs. Our study demonstrates that AP-2-dependent internalization of PM proteins via the recognition of functional tyrosine motifs also operates in plants. AU - Liu, D AU - Kumar, R AU - LAN, Claus AU - Johnson, Alexander J AU - Siao, W AU - Vanhoutte, I AU - Wang, P AU - Bender, KW AU - Yperman, K AU - Martins, S AU - Zhao, X AU - Vert, G AU - Van Damme, D AU - Friml, Jiří AU - Russinova, E ID - 8607 IS - 11 JF - Plant Cell SN - 1040-4651 TI - Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif VL - 32 ER - TY - JOUR AB - The TPLATE complex (TPC) is a key endocytic adaptor protein complex in plants. TPC in Arabidopsis (Arabidopsis thaliana) contains six evolutionarily conserved subunits and two plant-specific subunits, AtEH1/Pan1 and AtEH2/Pan1, although cytoplasmic proteins are not associated with the hexameric subcomplex in the cytoplasm. To investigate the dynamic assembly of the octameric TPC at the plasma membrane (PM), we performed state-of-the-art dual-color live cell imaging at physiological and lowered temperatures. Lowering the temperature slowed down endocytosis, thereby enhancing the temporal resolution of the differential recruitment of endocytic components. Under both normal and lowered temperature conditions, the core TPC subunit TPLATE and the AtEH/Pan1 proteins exhibited simultaneous recruitment at the PM. These results, together with co-localization analysis of different TPC subunits, allow us to conclude that TPC in plant cells is not recruited to the PM sequentially but as an octameric complex. AU - Wang, J AU - Mylle, E AU - Johnson, Alexander J AU - Besbrugge, N AU - De Jaeger, G AU - Friml, Jiří AU - Pleskot, R AU - van Damme, D ID - 7695 IS - 3 JF - Plant Physiology SN - 0032-0889 TI - High temporal resolution reveals simultaneous plasma membrane recruitment of TPLATE complex subunits VL - 183 ER - TY - JOUR AB - Cell production and differentiation for the acquisition of specific functions are key features of living systems. The dynamic network of cellular microtubules provides the necessary platform to accommodate processes associated with the transition of cells through the individual phases of cytogenesis. Here, we show that the plant hormone cytokinin fine‐tunes the activity of the microtubular cytoskeleton during cell differentiation and counteracts microtubular rearrangements driven by the hormone auxin. The endogenous upward gradient of cytokinin activity along the longitudinal growth axis in Arabidopsis thaliana roots correlates with robust rearrangements of the microtubule cytoskeleton in epidermal cells progressing from the proliferative to the differentiation stage. Controlled increases in cytokinin activity result in premature re‐organization of the microtubule network from transversal to an oblique disposition in cells prior to their differentiation, whereas attenuated hormone perception delays cytoskeleton conversion into a configuration typical for differentiated cells. Intriguingly, cytokinin can interfere with microtubules also in animal cells, such as leukocytes, suggesting that a cytokinin‐sensitive control pathway for the microtubular cytoskeleton may be at least partially conserved between plant and animal cells. AU - Montesinos López, Juan C AU - Abuzeineh, A AU - Kopf, Aglaja AU - Juanes Garcia, Alba AU - Ötvös, Krisztina AU - Petrášek, J AU - Sixt, Michael K AU - Benková, Eva ID - 8142 IS - 17 JF - The Embo Journal SN - 0261-4189 TI - Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage VL - 39 ER - TY - JOUR AB - Origin and functions of intermittent transitions among sleep stages, including brief awakenings and arousals, constitute a challenge to the current homeostatic framework for sleep regulation, focusing on factors modulating sleep over large time scales. Here we propose that the complex micro-architecture characterizing sleep on scales of seconds and minutes results from intrinsic non-equilibrium critical dynamics. We investigate θ- and δ-wave dynamics in control rats and in rats where the sleep-promoting ventrolateral preoptic nucleus (VLPO) is lesioned (male Sprague-Dawley rats). We demonstrate that bursts in θ and δ cortical rhythms exhibit complex temporal organization, with long-range correlations and robust duality of power-law (θ-bursts, active phase) and exponential-like (δ-bursts, quiescent phase) duration distributions, features typical of non-equilibrium systems self-organizing at criticality. We show that such non-equilibrium behavior relates to anti-correlated coupling between θ- and δ-bursts, persists across a range of time scales, and is independent of the dominant physiologic state; indications of a basic principle in sleep regulation. Further, we find that VLPO lesions lead to a modulation of cortical dynamics resulting in altered dynamical parameters of θ- and δ-bursts and significant reduction in θ–δ coupling. Our empirical findings and model simulations demonstrate that θ–δ coupling is essential for the emerging non-equilibrium critical dynamics observed across the sleep–wake cycle, and indicate that VLPO neurons may have dual role for both sleep and arousal/brief wake activation. The uncovered critical behavior in sleep- and wake-related cortical rhythms indicates a mechanism essential for the micro-architecture of spontaneous sleep-stage and arousal transitions within a novel, non-homeostatic paradigm of sleep regulation. AU - Lombardi, Fabrizio AU - Gómez-Extremera, Manuel AU - Bernaola-Galván, Pedro AU - Vetrivelan, Ramalingam AU - Saper, Clifford B. AU - Scammell, Thomas E. AU - Ivanov, Plamen Ch. ID - 8084 IS - 1 JF - Journal of Neuroscience SN - 0270-6474 TI - Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake VL - 40 ER - TY - JOUR AB - We consider a dilute, homogeneous Bose gas at positive temperature. The system is investigated in the Gross–Pitaevskii limit, where the scattering length a is so small that the interaction energy is of the same order of magnitude as the spectral gap of the Laplacian, and for temperatures that are comparable to the critical temperature of the ideal gas. We show that the difference between the specific free energy of the interacting system and the one of the ideal gas is to leading order given by 4πa(2ϱ2−ϱ20). Here ϱ denotes the density of the system and ϱ0 is the expected condensate density of the ideal gas. Additionally, we show that the one-particle density matrix of any approximate minimizer of the Gibbs free energy functional is to leading order given by the one of the ideal gas. This in particular proves Bose–Einstein condensation with critical temperature given by the one of the ideal gas to leading order. One key ingredient of our proof is a novel use of the Gibbs variational principle that goes hand in hand with the c-number substitution. AU - Deuchert, Andreas AU - Seiringer, Robert ID - 7650 IS - 6 JF - Archive for Rational Mechanics and Analysis SN - 0003-9527 TI - Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature VL - 236 ER - TY - JOUR AB - We study the dynamics of a system of N interacting bosons in a disc-shaped trap, which is realised by an external potential that confines the bosons in one spatial dimension to an interval of length of order ε. The interaction is non-negative and scaled in such a way that its scattering length is of order ε/N, while its range is proportional to (ε/N)β with scaling parameter β∈(0,1]. We consider the simultaneous limit (N,ε)→(∞,0) and assume that the system initially exhibits Bose–Einstein condensation. We prove that condensation is preserved by the N-body dynamics, where the time-evolved condensate wave function is the solution of a two-dimensional non-linear equation. The strength of the non-linearity depends on the scaling parameter β. For β∈(0,1), we obtain a cubic defocusing non-linear Schrödinger equation, while the choice β=1 yields a Gross–Pitaevskii equation featuring the scattering length of the interaction. In both cases, the coupling parameter depends on the confining potential. AU - Bossmann, Lea ID - 8130 IS - 11 JF - Archive for Rational Mechanics and Analysis SN - 0003-9527 TI - Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons VL - 238 ER - TY - JOUR AB - We consider the Fröhlich model of a polaron, and show that its effective mass diverges in thestrong coupling limit. AU - Lieb, Elliott H. AU - Seiringer, Robert ID - 7235 JF - Journal of Statistical Physics SN - 0022-4715 TI - Divergence of the effective mass of a polaron in the strong coupling limit VL - 180 ER - TY - CONF AB - For 1≤m≤n, we consider a natural m-out-of-n multi-instance scenario for a public-key encryption (PKE) scheme. An adversary, given n independent instances of PKE, wins if he breaks at least m out of the n instances. In this work, we are interested in the scaling factor of PKE schemes, SF, which measures how well the difficulty of breaking m out of the n instances scales in m. That is, a scaling factor SF=ℓ indicates that breaking m out of n instances is at least ℓ times more difficult than breaking one single instance. A PKE scheme with small scaling factor hence provides an ideal target for mass surveillance. In fact, the Logjam attack (CCS 2015) implicitly exploited, among other things, an almost constant scaling factor of ElGamal over finite fields (with shared group parameters). For Hashed ElGamal over elliptic curves, we use the generic group model to argue that the scaling factor depends on the scheme's granularity. In low granularity, meaning each public key contains its independent group parameter, the scheme has optimal scaling factor SF=m; In medium and high granularity, meaning all public keys share the same group parameter, the scheme still has a reasonable scaling factor SF=√m. Our findings underline that instantiating ElGamal over elliptic curves should be preferred to finite fields in a multi-instance scenario. As our main technical contribution, we derive new generic-group lower bounds of Ω(√(mp)) on the difficulty of solving both the m-out-of-n Gap Discrete Logarithm and the m-out-of-n Gap Computational Diffie-Hellman problem over groups of prime order p, extending a recent result by Yun (EUROCRYPT 2015). We establish the lower bound by studying the hardness of a related computational problem which we call the search-by-hypersurface problem. AU - Auerbach, Benedikt AU - Giacon, Federico AU - Kiltz, Eike ID - 7966 SN - 0302-9743 T2 - Advances in Cryptology – EUROCRYPT 2020 TI - Everybody’s a target: Scalability in public-key encryption VL - 12107 ER - TY - CONF AB - We introduce the monitoring of trace properties under assumptions. An assumption limits the space of possible traces that the monitor may encounter. An assumption may result from knowledge about the system that is being monitored, about the environment, or about another, connected monitor. We define monitorability under assumptions and study its theoretical properties. In particular, we show that for every assumption A, the boolean combinations of properties that are safe or co-safe relative to A are monitorable under A. We give several examples and constructions on how an assumption can make a non-monitorable property monitorable, and how an assumption can make a monitorable property monitorable with fewer resources, such as integer registers. AU - Henzinger, Thomas A AU - Sarac, Naci E ID - 8623 SN - 0302-9743 T2 - Runtime Verification TI - Monitorability under assumptions VL - 12399 ER -