TY - JOUR
AB - Scientific research is to date largely restricted to wealthy laboratories in developed nations due to the necessity of complex and expensive equipment. This inequality limits the capacity of science to be used as a diplomatic channel. Maker movements use open-source technologies including additive manufacturing (3D printing) and laser cutting, together with low-cost computers for developing novel products. This movement is setting the groundwork for a revolution, allowing scientific equipment to be sourced at a fraction of the cost and has the potential to increase the availability of equipment for scientists around the world. Science education is increasingly recognized as another channel for science diplomacy. In this perspective, we introduce the idea that the Maker movement and open-source technologies have the potential to revolutionize science, technology, engineering and mathematics (STEM) education worldwide. We present an open-source STEM didactic tool called SCOPES (Sparking Curiosity through Open-source Platforms in Education and Science). SCOPES is self-contained, independent of local resources, and cost-effective. SCOPES can be adapted to communicate complex subjects from genetics to neurobiology, perform real-world biological experiments and explore digitized scientific samples. We envision such platforms will enhance science diplomacy by providing a means for scientists to share their findings with classrooms and for educators to incorporate didactic concepts into STEM lessons. By providing students the opportunity to design, perform, and share scientific experiments, students also experience firsthand the benefits of a multinational scientific community. We provide instructions on how to build and use SCOPES on our webpage: http://scopeseducation.org.
AU - Beattie, Robert J
AU - Hippenmeyer, Simon
AU - Pauler, Florian
ID - 7814
JF - Frontiers in Education
SN - 2504-284X
TI - SCOPES: Sparking curiosity through Open-Source platforms in education and science
VL - 5
ER -
TY - JOUR
AB - Beginning from a limited pool of progenitors, the mammalian cerebral cortex forms highly organized functional neural circuits. However, the underlying cellular and molecular mechanisms regulating lineage transitions of neural stem cells (NSCs) and eventual production of neurons and glia in the developing neuroepithelium remains unclear. Methods to trace NSC division patterns and map the lineage of clonally related cells have advanced dramatically. However, many contemporary lineage tracing techniques suffer from the lack of cellular resolution of progeny cell fate, which is essential for deciphering progenitor cell division patterns. Presented is a protocol using mosaic analysis with double markers (MADM) to perform in vivo clonal analysis. MADM concomitantly manipulates individual progenitor cells and visualizes precise division patterns and lineage progression at unprecedented single cell resolution. MADM-based interchromosomal recombination events during the G2-X phase of mitosis, together with temporally inducible CreERT2, provide exact information on the birth dates of clones and their division patterns. Thus, MADM lineage tracing provides unprecedented qualitative and quantitative optical readouts of the proliferation mode of stem cell progenitors at the single cell level. MADM also allows for examination of the mechanisms and functional requirements of candidate genes in NSC lineage progression. This method is unique in that comparative analysis of control and mutant subclones can be performed in the same tissue environment in vivo. Here, the protocol is described in detail, and experimental paradigms to employ MADM for clonal analysis and lineage tracing in the developing cerebral cortex are demonstrated. Importantly, this protocol can be adapted to perform MADM clonal analysis in any murine stem cell niche, as long as the CreERT2 driver is present.
AU - Beattie, Robert J
AU - Streicher, Carmen
AU - Amberg, Nicole
AU - Cheung, Giselle T
AU - Contreras, Ximena
AU - Hansen, Andi H
AU - Hippenmeyer, Simon
ID - 7815
IS - 159
JF - Journal of Visual Experiments (JoVE)
SN - 1940-087X
TI - Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM)
ER -
TY - JOUR
AB - Water-in-salt electrolytes based on highly concentrated bis(trifluoromethyl)sulfonimide (TFSI) promise aqueous electrolytes with stabilities nearing 3 V. However, especially with an electrode approaching the cathodic (reductive) stability, cycling stability is insufficient. While stability critically relies on a solid electrolyte interphase (SEI), the mechanism behind the cathodic stability limit remains unclear. Here, we reveal two distinct reduction potentials for the chemical environments of 'free' and 'bound' water and that both contribute to SEI formation. Free-water is reduced ~1V above bound water in a hydrogen evolution reaction (HER) and responsible for SEI formation via reactive intermediates of the HER; concurrent LiTFSI precipitation/dissolution establishes a dynamic interface. The free-water population emerges, therefore, as the handle to extend the cathodic limit of aqueous electrolytes and the battery cycling stability.
AU - Bouchal, Roza
AU - Li, Zhujie
AU - Bongu, Chandra
AU - Le Vot, Steven
AU - Berthelot, Romain
AU - Rotenberg, Benjamin
AU - Favier, Fréderic
AU - Freunberger, Stefan Alexander
AU - Salanne, Mathieu
AU - Fontaine, Olivier
ID - 7847
IS - 37
JF - Angewandte Chemie International Edition
SN - 1433-7851
TI - Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
VL - 59
ER -
TY - JOUR
AB - Purpose of review: Cancer is one of the leading causes of death and the incidence rates are constantly rising. The heterogeneity of tumors poses a big challenge for the treatment of the disease and natural antibodies additionally affect disease progression. The introduction of engineered mAbs for anticancer immunotherapies has substantially improved progression-free and overall survival of cancer patients, but little efforts have been made to exploit other antibody isotypes than IgG.
Recent findings: In order to improve these therapies, ‘next-generation antibodies’ were engineered to enhance a specific feature of classical antibodies and form a group of highly effective and precise therapy compounds. Advanced antibody approaches include among others antibody-drug conjugates, glyco-engineered and Fc-engineered antibodies, antibody fragments, radioimmunotherapy compounds, bispecific antibodies and alternative (non-IgG) immunoglobulin classes, especially IgE.
Summary: The current review describes solutions for the needs of next-generation antibody therapies through different approaches. Careful selection of the best-suited engineering methodology is a key factor in developing personalized, more specific and more efficient mAbs against cancer to improve the outcomes of cancer patients. We highlight here the large evidence of IgE exploiting a highly cytotoxic effector arm as potential next-generation anticancer immunotherapy.
AU - Singer, Judit
AU - Singer, Josef
AU - Jensen-Jarolim, Erika
ID - 7864
IS - 3
JF - Current opinion in allergy and clinical immunology
TI - Precision medicine in clinical oncology: the journey from IgG antibody to IgE
VL - 20
ER -
TY - JOUR
AB - In this paper, we establish convergence to equilibrium for a drift–diffusion–recombination system modelling the charge transport within certain semiconductor devices. More precisely, we consider a two-level system for electrons and holes which is augmented by an intermediate energy level for electrons in so-called trapped states. The recombination dynamics use the mass action principle by taking into account this additional trap level. The main part of the paper is concerned with the derivation of an entropy–entropy production inequality, which entails exponential convergence to the equilibrium via the so-called entropy method. The novelty of our approach lies in the fact that the entropy method is applied uniformly in a fast-reaction parameter which governs the lifetime of electrons on the trap level. Thus, the resulting decay estimate for the densities of electrons and holes extends to the corresponding quasi-steady-state approximation.
AU - Fellner, Klemens
AU - Kniely, Michael
ID - 7866
JF - Journal of Elliptic and Parabolic Equations
SN - 22969020
TI - Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model
VL - 6
ER -
TY - JOUR
AB - Cells navigating through complex tissues face a fundamental challenge: while multiple protrusions explore different paths, the cell needs to avoid entanglement. How a cell surveys and then corrects its own shape is poorly understood. Here, we demonstrate that spatially distinct microtubule dynamics regulate amoeboid cell migration by locally promoting the retraction of protrusions. In migrating dendritic cells, local microtubule depolymerization within protrusions remote from the microtubule organizing center triggers actomyosin contractility controlled by RhoA and its exchange factor Lfc. Depletion of Lfc leads to aberrant myosin localization, thereby causing two effects that rate-limit locomotion: (1) impaired cell edge coordination during path finding and (2) defective adhesion resolution. Compromised shape control is particularly hindering in geometrically complex microenvironments, where it leads to entanglement and ultimately fragmentation of the cell body. We thus demonstrate that microtubules can act as a proprioceptive device: they sense cell shape and control actomyosin retraction to sustain cellular coherence.
AU - Kopf, Aglaja
AU - Renkawitz, Jörg
AU - Hauschild, Robert
AU - Girkontaite, Irute
AU - Tedford, Kerry
AU - Merrin, Jack
AU - Thorn-Seshold, Oliver
AU - Trauner, Dirk
AU - Häcker, Hans
AU - Fischer, Klaus Dieter
AU - Kiermaier, Eva
AU - Sixt, Michael K
ID - 7875
IS - 6
JF - The Journal of Cell Biology
TI - Microtubules control cellular shape and coherence in amoeboid migrating cells
VL - 219
ER -
TY - JOUR
AB - In contrast to lymph nodes, the lymphoid regions of the spleen—the white pulp—are located deep within the organ, yielding the trafficking paths of T cells in the white pulp largely invisible. In an intravital microscopy tour de force reported in this issue of Immunity, Chauveau et al. show that T cells perform unidirectional, perivascular migration through the enigmatic marginal zone bridging channels.
AU - Sixt, Michael K
AU - Lämmermann, Tim
ID - 7876
IS - 5
JF - Immunity
SN - 10747613
TI - T cells: Bridge-and-channel commute to the white pulp
VL - 52
ER -
TY - JOUR
AB - The NIPBL/MAU2 heterodimer loads cohesin onto chromatin. Mutations inNIPBLaccount for most cases ofthe rare developmental disorder Cornelia de Lange syndrome (CdLS). Here we report aMAU2 variant causing CdLS, a deletion of seven amino acids that impairs the interaction between MAU2 and the NIPBL N terminus.Investigating this interaction, we discovered that MAU2 and the NIPBL N terminus are largely dispensable fornormal cohesin and NIPBL function in cells with a NIPBL early truncating mutation. Despite a predicted fataloutcome of an out-of-frame single nucleotide duplication inNIPBL, engineered in two different cell lines,alternative translation initiation yields a form of NIPBL missing N-terminal residues. This form cannot interactwith MAU2, but binds DNA and mediates cohesin loading. Altogether, our work reveals that cohesin loading can occur independently of functional NIPBL/MAU2 complexes and highlights a novel mechanism protectiveagainst out-of-frame mutations that is potentially relevant for other genetic conditions.
AU - Parenti, Ilaria
AU - Diab, Farah
AU - Gil, Sara Ruiz
AU - Mulugeta, Eskeatnaf
AU - Casa, Valentina
AU - Berutti, Riccardo
AU - Brouwer, Rutger W.W.
AU - Dupé, Valerie
AU - Eckhold, Juliane
AU - Graf, Elisabeth
AU - Puisac, Beatriz
AU - Ramos, Feliciano
AU - Schwarzmayr, Thomas
AU - Gines, Macarena Moronta
AU - Van Staveren, Thomas
AU - Van Ijcken, Wilfred F.J.
AU - Strom, Tim M.
AU - Pié, Juan
AU - Watrin, Erwan
AU - Kaiser, Frank J.
AU - Wendt, Kerstin S.
ID - 7877
IS - 7
JF - Cell Reports
TI - MAU2 and NIPBL variants impair the heterodimerization of the cohesin loader subunits and cause Cornelia de Lange syndrome
VL - 31
ER -
TY - JOUR
AB - Type 1 metabotropic glutamate receptors (mGluR1s) are key elements in neuronal signaling. While their function is well documented in slices, requirements for their activation in vivo are poorly understood. We examine this question in adult mice in vivo using 2-photon imaging of cerebellar molecular layer interneurons (MLIs) expressing GCaMP. In anesthetized mice, parallel fiber activation evokes beam-like Cai rises in postsynaptic MLIs which depend on co-activation of mGluR1s and ionotropic glutamate receptors (iGluRs). In awake mice, blocking mGluR1 decreases Cai rises associated with locomotion. In vitro studies and freeze-fracture electron microscopy show that the iGluR-mGluR1 interaction is synergistic and favored by close association of the two classes of receptors. Altogether our results suggest that mGluR1s, acting in synergy with iGluRs, potently contribute to processing cerebellar neuronal signaling under physiological conditions.
AU - Bao, Jin
AU - Graupner, Michael
AU - Astorga, Guadalupe
AU - Collin, Thibault
AU - Jalil, Abdelali
AU - Indriati, Dwi Wahyu
AU - Bradley, Jonathan
AU - Shigemoto, Ryuichi
AU - Llano, Isabel
ID - 7878
JF - eLife
TI - Synergism of type 1 metabotropic and ionotropic glutamate receptors in cerebellar molecular layer interneurons in vivo
VL - 9
ER -
TY - JOUR
AB - Following its evoked release, dopamine (DA) signaling is rapidly terminated by presynaptic reuptake, mediated by the cocaine-sensitive DA transporter (DAT). DAT surface availability is dynamically regulated by endocytic trafficking, and direct protein kinase C (PKC) activation acutely diminishes DAT surface expression by accelerating DAT internalization. Previous cell line studies demonstrated that PKC-stimulated DAT endocytosis requires both Ack1 inactivation, which releases a DAT-specific endocytic brake, and the neuronal GTPase, Rit2, which binds DAT. However, it is unknown whether Rit2 is required for PKC-stimulated DAT endocytosis in DAergic terminals or whether there are region- and/or sex-dependent differences in PKC-stimulated DAT trafficking. Moreover, the mechanisms by which Rit2 controls PKC-stimulated DAT endocytosis are unknown. Here, we directly examined these important questions. Ex vivo studies revealed that PKC activation acutely decreased DAT surface expression selectively in ventral, but not dorsal, striatum. AAV-mediated, conditional Rit2 knockdown in DAergic neurons impacted baseline DAT surface:intracellular distribution in DAergic terminals from female ventral, but not dorsal, striatum. Further, Rit2 was required for PKC-stimulated DAT internalization in both male and female ventral striatum. FRET and surface pulldown studies in cell lines revealed that PKC activation drives DAT-Rit2 surface dissociation and that the DAT N terminus is required for both PKC-mediated DAT-Rit2 dissociation and DAT internalization. Finally, we found that Rit2 and Ack1 independently converge on DAT to facilitate PKC-stimulated DAT endocytosis. Together, our data provide greater insight into mechanisms that mediate PKC-regulated DAT internalization and reveal unexpected region-specific differences in PKC-stimulated DAT trafficking in bona fide DAergic terminals.
AU - Fagan, Rita R.
AU - Kearney, Patrick J.
AU - Sweeney, Carolyn G.
AU - Luethi, Dino
AU - Schoot Uiterkamp, Florianne E
AU - Schicker, Klaus
AU - Alejandro, Brian S.
AU - O'Connor, Lauren C.
AU - Sitte, Harald H.
AU - Melikian, Haley E.
ID - 7880
IS - 16
JF - Journal of Biological Chemistry
SN - 00219258
TI - Dopamine transporter trafficking and Rit2 GTPase: Mechanism of action and in vivo impact
VL - 295
ER -
TY - JOUR
AB - A few-body cluster is a building block of a many-body system in a gas phase provided the temperature at most is of the order of the binding energy of this cluster. Here we illustrate this statement by considering a system of tubes filled with dipolar distinguishable particles. We calculate the partition function, which determines the probability to find a few-body cluster at a given temperature. The input for our calculations—the energies of few-body clusters—is estimated using the harmonic approximation. We first describe and demonstrate the validity of our numerical procedure. Then we discuss the results featuring melting of the zero-temperature many-body state into a gas of free particles and few-body clusters. For temperature higher than its binding energy threshold, the dimers overwhelmingly dominate the ensemble, where the remaining probability is in free particles. At very high temperatures free (harmonic oscillator trap-bound) particle dominance is eventually reached. This structure evolution appears both for one and two particles in each layer providing crucial information about the behavior of ultracold dipolar gases. The investigation addresses the transition region between few- and many-body physics as a function of temperature using a system of ten dipoles in five tubes.
AU - Armstrong, Jeremy R.
AU - Jensen, Aksel S.
AU - Volosniev, Artem
AU - Zinner, Nikolaj T.
ID - 7882
IS - 4
JF - Mathematics
TI - Clusters in separated tubes of tilted dipoles
VL - 8
ER -
TY - JOUR
AB - All vertebrates have a spinal cord with dimensions and shape specific to their species. Yet how species‐specific organ size and shape are achieved is a fundamental unresolved question in biology. The formation and sculpting of organs begins during embryonic development. As it develops, the spinal cord extends in anterior–posterior direction in synchrony with the overall growth of the body. The dorsoventral (DV) and apicobasal lengths of the spinal cord neuroepithelium also change, while at the same time a characteristic pattern of neural progenitor subtypes along the DV axis is established and elaborated. At the basis of these changes in tissue size and shape are biophysical determinants, such as the change in cell number, cell size and shape, and anisotropic tissue growth. These processes are controlled by global tissue‐scale regulators, such as morphogen signaling gradients as well as mechanical forces. Current challenges in the field are to uncover how these tissue‐scale regulatory mechanisms are translated to the cellular and molecular level, and how regulation of distinct cellular processes gives rise to an overall defined size. Addressing these questions will help not only to achieve a better understanding of how size is controlled, but also of how tissue size is coordinated with the specification of pattern.
AU - Kuzmicz-Kowalska, Katarzyna
AU - Kicheva, Anna
ID - 7883
JF - Wiley Interdisciplinary Reviews: Developmental Biology
SN - 17597684
TI - Regulation of size and scale in vertebrate spinal cord development
ER -
TY - JOUR
AB - Eukaryotic cells migrate by coupling the intracellular force of the actin cytoskeleton to the environment. While force coupling is usually mediated by transmembrane adhesion receptors, especially those of the integrin family, amoeboid cells such as leukocytes can migrate extremely fast despite very low adhesive forces1. Here we show that leukocytes cannot only migrate under low adhesion but can also transmit forces in the complete absence of transmembrane force coupling. When confined within three-dimensional environments, they use the topographical features of the substrate to propel themselves. Here the retrograde flow of the actin cytoskeleton follows the texture of the substrate, creating retrograde shear forces that are sufficient to drive the cell body forwards. Notably, adhesion-dependent and adhesion-independent migration are not mutually exclusive, but rather are variants of the same principle of coupling retrograde actin flow to the environment and thus can potentially operate interchangeably and simultaneously. As adhesion-free migration is independent of the chemical composition of the environment, it renders cells completely autonomous in their locomotive behaviour.
AU - Reversat, Anne
AU - Gärtner, Florian R
AU - Merrin, Jack
AU - Stopp, Julian A
AU - Tasciyan, Saren
AU - Aguilera Servin, Juan L
AU - De Vries, Ingrid
AU - Hauschild, Robert
AU - Hons, Miroslav
AU - Piel, Matthieu
AU - Callan-Jones, Andrew
AU - Voituriez, Raphael
AU - Sixt, Michael K
ID - 7885
JF - Nature
SN - 00280836
TI - Cellular locomotion using environmental topography
VL - 582
ER -
TY - JOUR
AB - Embryonic stem cell cultures are thought to self-organize into embryoid bodies, able to undergo symmetry-breaking, germ layer specification and even morphogenesis. Yet, it is unclear how to reconcile this remarkable self-organization capacity with classical experiments demonstrating key roles for extrinsic biases by maternal factors and/or extraembryonic tissues in embryogenesis. Here, we show that zebrafish embryonic tissue explants, prepared prior to germ layer induction and lacking extraembryonic tissues, can specify all germ layers and form a seemingly complete mesendoderm anlage. Importantly, explant organization requires polarized inheritance of maternal factors from dorsal-marginal regions of the blastoderm. Moreover, induction of endoderm and head-mesoderm, which require peak Nodal-signaling levels, is highly variable in explants, reminiscent of embryos with reduced Nodal signals from the extraembryonic tissues. Together, these data suggest that zebrafish explants do not undergo bona fide self-organization, but rather display features of genetically encoded self-assembly, where intrinsic genetic programs control the emergence of order.
AU - Schauer, Alexandra
AU - Nunes Pinheiro, Diana C
AU - Hauschild, Robert
AU - Heisenberg, Carl-Philipp J
ID - 7888
JF - eLife
SN - 2050-084X
TI - Zebrafish embryonic explants undergo genetically encoded self-assembly
VL - 9
ER -
TY - THES
AB - A search problem lies in the complexity class FNP if a solution to the given instance of the problem can be verified efficiently. The complexity class TFNP consists of all search problems in FNP that are total in the sense that a solution is guaranteed to exist. TFNP contains a host of interesting problems from fields such as algorithmic game theory, computational topology, number theory and combinatorics. Since TFNP is a semantic class, it is unlikely to have a complete problem. Instead, one studies its syntactic subclasses which are defined based on the combinatorial principle used to argue totality. Of particular interest is the subclass PPAD, which contains important problems
like computing Nash equilibrium for bimatrix games and computational counterparts of several fixed-point theorems as complete. In the thesis, we undertake the study of averagecase hardness of TFNP, and in particular its subclass PPAD.
Almost nothing was known about average-case hardness of PPAD before a series of recent results showed how to achieve it using a cryptographic primitive called program obfuscation.
However, it is currently not known how to construct program obfuscation from standard cryptographic assumptions. Therefore, it is desirable to relax the assumption under which average-case hardness of PPAD can be shown. In the thesis we take a step in this direction. First, we show that assuming the (average-case) hardness of a numbertheoretic
problem related to factoring of integers, which we call Iterated-Squaring, PPAD is hard-on-average in the random-oracle model. Then we strengthen this result to show that the average-case hardness of PPAD reduces to the (adaptive) soundness of the Fiat-Shamir Transform, a well-known technique used to compile a public-coin interactive protocol into a non-interactive one. As a corollary, we obtain average-case hardness for PPAD in the random-oracle model assuming the worst-case hardness of #SAT. Moreover, the above results can all be strengthened to obtain average-case hardness for the class CLS ⊆ PPAD.
Our main technical contribution is constructing incrementally-verifiable procedures for computing Iterated-Squaring and #SAT. By incrementally-verifiable, we mean that every intermediate state of the computation includes a proof of its correctness, and the proof can be updated and verified in polynomial time. Previous constructions of such procedures relied on strong, non-standard assumptions. Instead, we introduce a technique called recursive proof-merging to obtain the same from weaker assumptions.
AU - Kamath Hosdurg, Chethan
ID - 7896
TI - On the average-case hardness of total search problems
ER -
TY - GEN
AB - We derive rigorously the leading order of the correlation energy of a Fermi
gas in a scaling regime of high density and weak interaction. The result
verifies the prediction of the random-phase approximation. Our proof refines
the method of collective bosonization in three dimensions. We approximately
diagonalize an effective Hamiltonian describing approximately bosonic
collective excitations around the Hartree-Fock state, while showing that
gapless and non-collective excitations have only a negligible effect on the
ground state energy.
AU - Benedikter, Niels P
AU - Nam, Phan Thành
AU - Porta, Marcello
AU - Schlein, Benjamin
AU - Seiringer, Robert
ID - 7901
T2 - arXiv
TI - Correlation energy of a weakly interacting Fermi gas
ER -
TY - THES
AB - Mosaic genetic analysis has been widely used in different model organisms such as the fruit fly to study gene-function in a cell-autonomous or tissue-specific fashion. More recently, and less easily conducted, mosaic genetic analysis in mice has also been enabled with the ambition to shed light on human gene function and disease. These genetic tools are of particular interest, but not restricted to, the study of the brain. Notably, the MADM technology offers a genetic approach in mice to visualize and concomitantly manipulate small subsets of genetically defined cells at a clonal level and single cell resolution. MADM-based analysis has already advanced the study of genetic mechanisms regulating brain development and is expected that further MADM-based analysis of genetic alterations will continue to reveal important insights on the fundamental principles of development and disease to potentially assist in the development of new therapies or treatments.
In summary, this work completed and characterized the necessary genome-wide genetic tools to perform MADM-based analysis at single cell level of the vast majority of mouse genes in virtually any cell type and provided a protocol to perform lineage tracing using the novel MADM resource. Importantly, this work also explored and revealed novel aspects of biologically relevant events in an in vivo context, such as the chromosome-specific bias of chromatid sister segregation pattern, the generation of cell-type diversity in the cerebral cortex and in the cerebellum and finally, the relevance of the interplay between the cell-autonomous gene function and cell-non-autonomous (community) effects in radial glial progenitor lineage progression.
This work provides a foundation and opens the door to further elucidating the molecular mechanisms underlying neuronal diversity and astrocyte generation.
AU - Contreras, Ximena
ID - 7902
TI - Genetic dissection of neural development in health and disease at single cell resolution
ER -
TY - JOUR
AB - We investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a partially ordered set with the Alexandroff topology. We prove that the resulting decomposition is the unique minimal stratification for which the strata are homogeneous and the given sheaf is constructible. In particular, when we choose to work with the local homology sheaf, our algorithm gives an alternative to the local homology transfer algorithm given in Bendich et al. (Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1355–1370, ACM, New York, 2012), and the cohomology stratification algorithm given in Nanda (Found. Comput. Math. 20(2), 195–222, 2020). Additionally, we give examples of stratifications based on the geometric techniques of Breiding et al. (Rev. Mat. Complut. 31(3), 545–593, 2018), illustrating how the sheaf-theoretic approach can be used to study stratifications from both topological and geometric perspectives. This approach also points toward future applications of sheaf theory in the study of topological data analysis by illustrating the utility of the language of sheaf theory in generalizing existing algorithms.
AU - Brown, Adam
AU - Wang, Bei
ID - 7905
JF - Discrete and Computational Geometry
SN - 0179-5376
TI - Sheaf-theoretic stratification learning from geometric and topological perspectives
ER -
TY - JOUR
AB - Volatile anesthetics are widely used for surgery, but neuronal mechanisms of anesthesia remain unidentified. At the calyx of Held in brainstem slices from rats of either sex, isoflurane at clinical doses attenuated EPSCs by decreasing the release probability and the number of readily releasable vesicles. In presynaptic recordings of Ca2+ currents and exocytic capacitance changes, isoflurane attenuated exocytosis by inhibiting Ca2+ currents evoked by a short presynaptic depolarization, whereas it inhibited exocytosis evoked by a prolonged depolarization via directly blocking exocytic machinery downstream of Ca2+ influx. Since the length of presynaptic depolarization can simulate the frequency of synaptic inputs, isoflurane anesthesia is likely mediated by distinct dual mechanisms, depending on input frequencies. In simultaneous presynaptic and postsynaptic action potential recordings, isoflurane impaired the fidelity of repetitive spike transmission, more strongly at higher frequencies. Furthermore, in the cerebrum of adult mice, isoflurane inhibited monosynaptic corticocortical spike transmission, preferentially at a higher frequency. We conclude that dual presynaptic mechanisms operate for the anesthetic action of isoflurane, of which direct inhibition of exocytic machinery plays a low-pass filtering role in spike transmission at central excitatory synapses.
AU - Wang, Han Ying
AU - Eguchi, Kohgaku
AU - Yamashita, Takayuki
AU - Takahashi, Tomoyuki
ID - 7908
IS - 21
JF - Journal of Neuroscience
TI - Frequency-dependent block of excitatory neurotransmission by isoflurane via dual presynaptic mechanisms
VL - 40
ER -
TY - JOUR
AB - Cell migration entails networks and bundles of actin filaments termed lamellipodia and microspikes or filopodia, respectively, as well as focal adhesions, all of which recruit Ena/VASP family members hitherto thought to antagonize efficient cell motility. However, we find these proteins to act as positive regulators of migration in different murine cell lines. CRISPR/Cas9-mediated loss of Ena/VASP proteins reduced lamellipodial actin assembly and perturbed lamellipodial architecture, as evidenced by changed network geometry as well as reduction of filament length and number that was accompanied by abnormal Arp2/3 complex and heterodimeric capping protein accumulation. Loss of Ena/VASP function also abolished the formation of microspikes normally embedded in lamellipodia, but not of filopodia capable of emanating without lamellipodia. Ena/VASP-deficiency also impaired integrin-mediated adhesion accompanied by reduced traction forces exerted through these structures. Our data thus uncover novel Ena/VASP functions of these actin polymerases that are fully consistent with their promotion of cell migration.
AU - Damiano-Guercio, Julia
AU - Kurzawa, Laëtitia
AU - Müller, Jan
AU - Dimchev, Georgi A
AU - Schaks, Matthias
AU - Nemethova, Maria
AU - Pokrant, Thomas
AU - Brühmann, Stefan
AU - Linkner, Joern
AU - Blanchoin, Laurent
AU - Sixt, Michael K
AU - Rottner, Klemens
AU - Faix, Jan
ID - 7909
JF - eLife
TI - Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion
VL - 9
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 - JOUR
AB - We explore the time evolution of two impurities in a trapped one-dimensional Bose gas that follows a change of the boson-impurity interaction. We study the induced impurity-impurity interactions and their effect on the quench dynamics. In particular, we report on the size of the impurity cloud, the impurity-impurity entanglement, and the impurity-impurity correlation function. The presented numerical simulations are based upon the variational multilayer multiconfiguration time-dependent Hartree method for bosons. To analyze and quantify induced impurity-impurity correlations, we employ an effective two-body Hamiltonian with a contact interaction. We show that the effective model consistent with the mean-field attraction of two heavy impurities explains qualitatively our results for weak interactions. Our findings suggest that the quench dynamics in cold-atom systems can be a tool for studying impurity-impurity correlations.
AU - Mistakidis, S. I.
AU - Volosniev, Artem
AU - Schmelcher, P.
ID - 7919
JF - Physical Review Research
SN - 2643-1564
TI - Induced correlations between impurities in a one-dimensional quenched Bose gas
VL - 2
ER -
TY - JOUR
AB - In this paper, we introduce a relaxed CQ method with alternated inertial step for solving split feasibility problems. We give convergence of the sequence generated by our method under some suitable assumptions. Some numerical implementations from sparse signal and image deblurring are reported to show the efficiency of our method.
AU - Shehu, Yekini
AU - Gibali, Aviv
ID - 7925
JF - Optimization Letters
SN - 1862-4472
TI - New inertial relaxed method for solving split feasibilities
ER -
TY - JOUR
AB - In the course of sample preparation for Next Generation Sequencing (NGS), DNA is fragmented by various methods. Fragmentation shows a persistent bias with regard to the cleavage rates of various dinucleotides. With the exception of CpG dinucleotides the previously described biases were consistent with results of the DNA cleavage in solution. Here we computed cleavage rates of all dinucleotides including the methylated CpG and unmethylated CpG dinucleotides using data of the Whole Genome Sequencing datasets of the 1000 Genomes project. We found that the cleavage rate of CpG is significantly higher for the methylated CpG dinucleotides. Using this information, we developed a classifier for distinguishing cancer and healthy tissues based on their CpG islands statuses of the fragmentation. A simple Support Vector Machine classifier based on this algorithm shows an accuracy of 84%. The proposed method allows the detection of epigenetic markers purely based on mechanochemical DNA fragmentation, which can be detected by a simple analysis of the NGS sequencing data.
AU - Uroshlev, Leonid A.
AU - Abdullaev, Eldar T.
AU - Umarova, Iren R.
AU - Il’Icheva, Irina A.
AU - Panchenko, Larisa A.
AU - Polozov, Robert V.
AU - Kondrashov, Fyodor
AU - Nechipurenko, Yury D.
AU - Grokhovsky, Sergei L.
ID - 7931
JF - Scientific Reports
TI - A method for identification of the methylation level of CpG islands from NGS data
VL - 10
ER -
TY - JOUR
AB - Pulsating flows through tubular geometries are laminar provided that velocities are moderate. This in particular is also believed to apply to cardiovascular flows where inertial forces are typically too low to sustain turbulence. On the other hand, flow instabilities and fluctuating shear stresses are held responsible for a variety of cardiovascular diseases. Here we report a nonlinear instability mechanism for pulsating pipe flow that gives rise to bursts of turbulence at low flow rates. Geometrical distortions of small, yet finite, amplitude are found to excite a state consisting of helical vortices during flow deceleration. The resulting flow pattern grows rapidly in magnitude, breaks down into turbulence, and eventually returns to laminar when the flow accelerates. This scenario causes shear stress fluctuations and flow reversal during each pulsation cycle. Such unsteady conditions can adversely affect blood vessels and have been shown to promote inflammation and dysfunction of the shear stress-sensitive endothelial cell layer.
AU - Xu, Duo
AU - Varshney, Atul
AU - Ma, Xingyu
AU - Song, Baofang
AU - Riedl, Michael
AU - Avila, Marc
AU - Hof, Björn
ID - 7932
IS - 21
JF - Proceedings of the National Academy of Sciences of the United States of America
SN - 00278424
TI - Nonlinear hydrodynamic instability and turbulence in pulsatile flow
VL - 117
ER -
TY - JOUR
AB - We study a mobile quantum impurity, possessing internal rotational degrees of freedom, confined to a ring in the presence of a many-particle bosonic bath. By considering the recently introduced rotating polaron problem, we define the Hamiltonian and examine the energy spectrum. The weak-coupling regime is studied by means of a variational ansatz in the truncated Fock space. The corresponding spectrum indicates that there emerges a coupling between the internal and orbital angular momenta of the impurity as a consequence of the phonon exchange. We interpret the coupling as a phonon-mediated spin-orbit coupling and quantify it by using a correlation function between the internal and the orbital angular momentum operators. The strong-coupling regime is investigated within the Pekar approach, and it is shown that the correlation function of the ground state shows a kink at a critical coupling, that is explained by a sharp transition from the noninteracting state to the states that exhibit strong interaction with the surroundings. The results might find applications in such fields as spintronics or topological insulators where spin-orbit coupling is of crucial importance.
AU - Maslov, Mikhail
AU - Lemeshko, Mikhail
AU - Yakaboylu, Enderalp
ID - 7933
IS - 18
JF - Physical Review B
SN - 24699950
TI - Synthetic spin-orbit coupling mediated by a bosonic environment
VL - 101
ER -
TY - CONF
AB - State-of-the-art detection systems are generally evaluated on their ability to exhaustively retrieve objects densely distributed in the image, across a wide variety of appearances and semantic categories. Orthogonal to this, many real-life object detection applications, for example in remote sensing, instead require dealing with large images that contain only a few small objects of a single class, scattered heterogeneously across the space. In addition, they are often subject to strict computational constraints, such as limited battery capacity and computing power.To tackle these more practical scenarios, we propose a novel flexible detection scheme that efficiently adapts to variable object sizes and densities: We rely on a sequence of detection stages, each of which has the ability to predict groups of objects as well as individuals. Similar to a detection cascade, this multi-stage architecture spares computational effort by discarding large irrelevant regions of the image early during the detection process. The ability to group objects provides further computational and memory savings, as it allows working with lower image resolutions in early stages, where groups are more easily detected than individuals, as they are more salient. We report experimental results on two aerial image datasets, and show that the proposed method is as accurate yet computationally more efficient than standard single-shot detectors, consistently across three different backbone architectures.
AU - Royer, Amélie
AU - Lampert, Christoph
ID - 7936
SN - 9781728165530
T2 - IEEE Winter Conference on Applications of Computer Vision
TI - Localizing grouped instances for efficient detection in low-resource scenarios
ER -
TY - CONF
AB - Fine-tuning is a popular way of exploiting knowledge contained in a pre-trained convolutional network for a new visual recognition task. However, the orthogonal setting of transferring knowledge from a pretrained network to a visually different yet semantically close source is rarely considered: This commonly happens with real-life data, which is not necessarily as clean as the training source (noise, geometric transformations, different modalities, etc.).To tackle such scenarios, we introduce a new, generalized form of fine-tuning, called flex-tuning, in which any individual unit (e.g. layer) of a network can be tuned, and the most promising one is chosen automatically. In order to make the method appealing for practical use, we propose two lightweight and faster selection procedures that prove to be good approximations in practice. We study these selection criteria empirically across a variety of domain shifts and data scarcity scenarios, and show that fine-tuning individual units, despite its simplicity, yields very good results as an adaptation technique. As it turns out, in contrast to common practice, rather than the last fully-connected unit it is best to tune an intermediate or early one in many domain- shift scenarios, which is accurately detected by flex-tuning.
AU - Royer, Amélie
AU - Lampert, Christoph
ID - 7937
SN - 9781728165530
T2 - 2020 IEEE Winter Conference on Applications of Computer Vision
TI - A flexible selection scheme for minimum-effort transfer learning
ER -
TY - JOUR
AB - We design fast deterministic algorithms for distance computation in the Congested Clique model. Our key contributions include:
A (2+ϵ)-approximation for all-pairs shortest paths in O(log2n/ϵ) rounds on unweighted undirected graphs. With a small additional additive factor, this also applies for weighted graphs. This is the first sub-polynomial constant-factor approximation for APSP in this model.
A (1+ϵ)-approximation for multi-source shortest paths from O(n−−√) sources in O(log2n/ϵ) rounds on weighted undirected graphs. This is the first sub-polynomial algorithm obtaining this approximation for a set of sources of polynomial size.
Our main techniques are new distance tools that are obtained via improved algorithms for sparse matrix multiplication, which we leverage to construct efficient hopsets and shortest paths. Furthermore, our techniques extend to additional distance problems for which we improve upon the state-of-the-art, including diameter approximation, and an exact single-source shortest paths algorithm for weighted undirected graphs in O~(n1/6) rounds.
AU - Censor-Hillel, Keren
AU - Dory, Michal
AU - Korhonen, Janne
AU - Leitersdorf, Dean
ID - 7939
JF - Distributed Computing
SN - 01782770
TI - Fast approximate shortest paths in the congested clique
ER -
TY - JOUR
AB - We prove that the Yangian associated to an untwisted symmetric affine Kac–Moody Lie algebra is isomorphic to the Drinfeld double of a shuffle algebra. The latter is constructed in [YZ14] as an algebraic formalism of cohomological Hall algebras. As a consequence, we obtain the Poincare–Birkhoff–Witt (PBW) theorem for this class of affine Yangians. Another independent proof of the PBW theorem is given recently by Guay, Regelskis, and Wendlandt [GRW18].
AU - Yang, Yaping
AU - Zhao, Gufang
ID - 7940
JF - Transformation Groups
SN - 10834362
TI - The PBW theorem for affine Yangians
VL - 25
ER -
TY - CHAP
AB - Expansion microscopy is a recently developed super-resolution imaging technique, which provides an alternative to optics-based methods such as deterministic approaches (e.g. STED) or stochastic approaches (e.g. PALM/STORM). The idea behind expansion microscopy is to embed the biological sample in a swellable gel, and then to expand it isotropically, thereby increasing the distance between the fluorophores. This approach breaks the diffraction barrier by simply separating the emission point-spread-functions of the fluorophores. The resolution attainable in expansion microscopy is thus directly dependent on the separation that can be achieved, i.e. on the expansion factor. The original implementation of the technique achieved an expansion factor of fourfold, for a resolution of 70–80 nm. The subsequently developed X10 method achieves an expansion factor of 10-fold, for a resolution of 25–30 nm. This technique can be implemented with minimal technical requirements on any standard fluorescence microscope, and is more easily applied for multi-color imaging than either deterministic or stochastic super-resolution approaches. This renders X10 expansion microscopy a highly promising tool for new biological discoveries, as discussed here, and as demonstrated by several recent applications.
AU - Truckenbrodt, Sven M
AU - Rizzoli, Silvio O.
ID - 7941
SN - 0091679X
T2 - Methods in Cell Biology
TI - Simple multi-color super-resolution by X10 microscopy
ER -
TY - JOUR
AB - An understanding of the missing antinodal electronic excitations in the pseudogap state is essential for uncovering the physics of the underdoped cuprate high-temperature superconductors1,2,3,4,5,6. The majority of high-temperature experiments performed thus far, however, have been unable to discern whether the antinodal states are rendered unobservable due to their damping or whether they vanish due to their gapping7,8,9,10,11,12,13,14,15,16,17,18. Here, we distinguish between these two scenarios by using quantum oscillations to examine whether the small Fermi surface pocket, found to occupy only 2% of the Brillouin zone in the underdoped cuprates19,20,21,22,23,24, exists in isolation against a majority of completely gapped density of states spanning the antinodes, or whether it is thermodynamically coupled to a background of ungapped antinodal states. We find that quantum oscillations associated with the small Fermi surface pocket exhibit a signature sawtooth waveform characteristic of an isolated two-dimensional Fermi surface pocket25,26,27,28,29,30,31,32. This finding reveals that the antinodal states are destroyed by a hard gap that extends over the majority of the Brillouin zone, placing strong constraints on a drastic underlying origin of quasiparticle disappearance over almost the entire Brillouin zone in the pseudogap regime7,8,9,10,11,12,13,14,15,16,17,18.
AU - Hartstein, Máté
AU - Hsu, Yu Te
AU - Modic, Kimberly A
AU - Porras, Juan
AU - Loew, Toshinao
AU - Tacon, Matthieu Le
AU - Zuo, Huakun
AU - Wang, Jinhua
AU - Zhu, Zengwei
AU - Chan, Mun K.
AU - Mcdonald, Ross D.
AU - Lonzarich, Gilbert G.
AU - Keimer, Bernhard
AU - Sebastian, Suchitra E.
AU - Harrison, Neil
ID - 7942
JF - Nature Physics
SN - 17452473
TI - Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors
VL - 16
ER -
TY - THES
AB - This thesis considers two examples of reconfiguration problems: flipping edges in edge-labelled triangulations of planar point sets and swapping labelled tokens placed on vertices of a graph. In both cases the studied structures – all the triangulations of a given point set or all token placements on a given graph – can be thought of as vertices of the so-called reconfiguration graph, in which two vertices are adjacent if the corresponding structures differ by a single elementary operation – by a flip of a diagonal in a triangulation or by a swap of tokens on adjacent vertices, respectively. We study the reconfiguration of one instance of a structure into another via (shortest) paths in the reconfiguration graph.
For triangulations of point sets in which each edge has a unique label and a flip transfers the label from the removed edge to the new edge, we prove a polynomial-time testable condition, called the Orbit Theorem, that characterizes when two triangulations of the same point set lie in the same connected component of the reconfiguration graph. The condition was first conjectured by Bose, Lubiw, Pathak and Verdonschot. We additionally provide a polynomial time algorithm that computes a reconfiguring flip sequence, if it exists. Our proof of the Orbit Theorem uses topological properties of a certain high-dimensional cell complex that has the usual reconfiguration graph as its 1-skeleton.
In the context of token swapping on a tree graph, we make partial progress on the problem of finding shortest reconfiguration sequences. We disprove the so-called Happy Leaf Conjecture and demonstrate the importance of swapping tokens that are already placed at the correct vertices. We also prove that a generalization of the problem to weighted coloured token swapping is NP-hard on trees but solvable in polynomial time on paths and stars.
AU - Masárová, Zuzana
ID - 7944
KW - reconfiguration
KW - reconfiguration graph
KW - triangulations
KW - flip
KW - constrained triangulations
KW - shellability
KW - piecewise-linear balls
KW - token swapping
KW - trees
KW - coloured weighted token swapping
SN - 978-3-99078-005-3
TI - Reconfiguration problems
ER -
TY - JOUR
AB - In agricultural systems, nitrate is the main source of nitrogen available for plants. Besides its role as a nutrient, nitrate has been shown to act as a signal molecule for plant growth, development and stress responses. In Arabidopsis, the NRT1.1 nitrate transceptor represses lateral root (LR) development at low nitrate availability by promoting auxin basipetal transport out of the LR primordia (LRPs). In addition, our present study shows that NRT1.1 acts as a negative regulator of the TAR2 auxin biosynthetic gene expression in the root stele. This is expected to repress local auxin biosynthesis and thus to reduce acropetal auxin supply to the LRPs. Moreover, NRT1.1 also negatively affects expression of the LAX3 auxin influx carrier, thus preventing cell wall remodeling required for overlying tissues separation during LRP emergence. Both NRT1.1-mediated repression of TAR2 and LAX3 are suppressed at high nitrate availability, resulting in the nitrate induction of TAR2 and LAX3 expression that is required for optimal stimulation of LR development by nitrate. Altogether, our results indicate that the NRT1.1 transceptor coordinately controls several crucial auxin-associated processes required for LRP development, and as a consequence that NRT1.1 plays a much more integrated role than previously anticipated in regulating the nitrate response of root system architecture.
AU - Maghiaoui, A
AU - Bouguyon, E
AU - Cuesta, Candela
AU - Perrine-Walker, F
AU - Alcon, C
AU - Krouk, G
AU - Benková, Eva
AU - Nacry, P
AU - Gojon, A
AU - Bach, L
ID - 7948
IS - 15
JF - Journal of Experimental Botany
SN - 0022-0957
TI - The Arabidopsis NRT1.1 transceptor coordinately controls auxin biosynthesis and transport to regulate root branching in response to nitrate
VL - 71
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
SN - 1535-9476
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 - CONF
AB - Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. manifolds defined as the zero set of some multivariate vector-valued smooth function f: ℝ^d → ℝ^(d-n). A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear (PL) approximation based on a triangulation 𝒯 of the ambient space ℝ^d. In this paper, we give conditions under which the PL-approximation of an isomanifold is topologically equivalent to the isomanifold. The conditions are easy to satisfy in the sense that they can always be met by taking a sufficiently fine triangulation 𝒯. This contrasts with previous results on the triangulation of manifolds where, in arbitrary dimensions, delicate perturbations are needed to guarantee topological correctness, which leads to strong limitations in practice. We further give a bound on the Fréchet distance between the original isomanifold and its PL-approximation. Finally we show analogous results for the PL-approximation of an isomanifold with boundary.
AU - Boissonnat, Jean-Daniel
AU - Wintraecken, Mathijs
ID - 7952
SN - 1868-8969
T2 - 36th International Symposium on Computational Geometry
TI - The topological correctness of PL-approximations of isomanifolds
VL - 164
ER -
TY - CONF
AB - Simple stochastic games are turn-based 2½-player games with a reachability objective. The basic question asks whether one player can ensure reaching a given target with at least a given probability. A natural extension is games with a conjunction of such conditions as objective. Despite a plethora of recent results on the analysis of systems with multiple objectives, the decidability of this basic problem remains open. In this paper, we present an algorithm approximating the Pareto frontier of the achievable values to a given precision. Moreover, it is an anytime algorithm, meaning it can be stopped at any time returning the current approximation and its error bound.
AU - Ashok, Pranav
AU - Chatterjee, Krishnendu
AU - Kretinsky, Jan
AU - Weininger, Maximilian
AU - Winkler, Tobias
ID - 7955
SN - 9781450371049
T2 - Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
TI - Approximating values of generalized-reachability stochastic games
ER -
TY - JOUR
AB - We introduce dynamically warping grids for adaptive liquid simulation. Our primary contributions are a strategy for dynamically deforming regular grids over the course of a simulation and a method for efficiently utilizing these deforming grids for liquid simulation. Prior work has shown that unstructured grids are very effective for adaptive fluid simulations. However, unstructured grids often lead to complicated implementations and a poor cache hit rate due to inconsistent memory access. Regular grids, on the other hand, provide a fast, fixed memory access pattern and straightforward implementation. Our method combines the advantages of both: we leverage the simplicity of regular grids while still achieving practical and controllable spatial adaptivity. We demonstrate that our method enables adaptive simulations that are fast, flexible, and robust to null-space issues. At the same time, our method is simple to implement and takes advantage of existing highly-tuned algorithms.
AU - Hikaru, Ibayashi
AU - Wojtan, Christopher J
AU - Thuerey, Nils
AU - Igarashi, Takeo
AU - Ando, Ryoichi
ID - 5681
IS - 6
JF - IEEE Transactions on Visualization and Computer Graphics
SN - 10772626
TI - Simulating liquids on dynamically warping grids
VL - 26
ER -
TY - JOUR
AB - We prove edge universality for a general class of correlated real symmetric or complex Hermitian Wigner matrices with arbitrary expectation. Our theorem also applies to internal edges of the self-consistent density of states. In particular, we establish a strong form of band rigidity which excludes mismatches between location and label of eigenvalues close to internal edges in these general models.
AU - Alt, Johannes
AU - Erdös, László
AU - Krüger, Torben H
AU - Schröder, Dominik J
ID - 6184
IS - 2
JF - Annals of Probability
TI - Correlated random matrices: Band rigidity and edge universality
VL - 48
ER -
TY - JOUR
AB - For complex Wigner-type matrices, i.e. Hermitian random matrices with independent, not necessarily identically distributed entries above the diagonal, we show that at any cusp singularity of the limiting eigenvalue distribution the local eigenvalue statistics are universal and form a Pearcey process. Since the density of states typically exhibits only square root or cubic root cusp singularities, our work complements previous results on the bulk and edge universality and it thus completes the resolution of the Wigner–Dyson–Mehta universality conjecture for the last remaining universality type in the complex Hermitian class. Our analysis holds not only for exact cusps, but approximate cusps as well, where an extended Pearcey process emerges. As a main technical ingredient we prove an optimal local law at the cusp for both symmetry classes. This result is also the key input in the companion paper (Cipolloni et al. in Pure Appl Anal, 2018. arXiv:1811.04055) where the cusp universality for real symmetric Wigner-type matrices is proven. The novel cusp fluctuation mechanism is also essential for the recent results on the spectral radius of non-Hermitian random matrices (Alt et al. in Spectral radius of random matrices with independent entries, 2019. arXiv:1907.13631), and the non-Hermitian edge universality (Cipolloni et al. in Edge universality for non-Hermitian random matrices, 2019. arXiv:1908.00969).
AU - Erdös, László
AU - Krüger, Torben H
AU - Schröder, Dominik J
ID - 6185
JF - Communications in Mathematical Physics
SN - 0010-3616
TI - Cusp universality for random matrices I: Local law and the complex Hermitian case
VL - 378
ER -
TY - JOUR
AB - We study dynamical optimal transport metrics between density matricesassociated to symmetric Dirichlet forms on finite-dimensional C∗-algebras. Our settingcovers arbitrary skew-derivations and it provides a unified framework that simultaneously generalizes recently constructed transport metrics for Markov chains, Lindblad equations, and the Fermi Ornstein–Uhlenbeck semigroup. We develop a non-nommutative differential calculus that allows us to obtain non-commutative Ricci curvature bounds, logarithmic Sobolev inequalities, transport-entropy inequalities, andspectral gap estimates.
AU - Carlen, Eric A.
AU - Maas, Jan
ID - 6358
IS - 2
JF - Journal of Statistical Physics
SN - 00224715
TI - Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems
VL - 178
ER -
TY - JOUR
AB - The strong rate of convergence of the Euler-Maruyama scheme for nondegenerate SDEs with irregular drift coefficients is considered. In the case of α-Hölder drift in the recent literature the rate α/2 was proved in many related situations. By exploiting the regularising effect of the noise more efficiently, we show that the rate is in fact arbitrarily close to 1/2 for all α>0. The result extends to Dini continuous coefficients, while in d=1 also to all bounded measurable coefficients.
AU - Dareiotis, Konstantinos
AU - Gerencser, Mate
ID - 6359
JF - Electronic Journal of Probability
TI - On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift
VL - 25
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 - This paper presents two algorithms. The first decides the existence of a pointed homotopy between given simplicial maps 𝑓,𝑔:𝑋→𝑌, and the second computes the group [𝛴𝑋,𝑌]∗ of pointed homotopy classes of maps from a suspension; in both cases, the target Y is assumed simply connected. More generally, these algorithms work relative to 𝐴⊆𝑋.
AU - Filakovský, Marek
AU - Vokřínek, Lukas
ID - 6563
JF - Foundations of Computational Mathematics
SN - 16153375
TI - Are two given maps homotopic? An algorithmic viewpoint
VL - 20
ER -
TY - JOUR
AB - We consider the monotone variational inequality problem in a Hilbert space and describe a projection-type method with inertial terms under the following properties: (a) The method generates a strongly convergent iteration sequence; (b) The method requires, at each iteration, only one projection onto the feasible set and two evaluations of the operator; (c) The method is designed for variational inequality for which the underline operator is monotone and uniformly continuous; (d) The method includes an inertial term. The latter is also shown to speed up the convergence in our numerical results. A comparison with some related methods is given and indicates that the new method is promising.
AU - Shehu, Yekini
AU - Li, Xiao-Huan
AU - Dong, Qiao-Li
ID - 6593
JF - Numerical Algorithms
SN - 1017-1398
TI - An efficient projection-type method for monotone variational inequalities in Hilbert spaces
VL - 84
ER -
TY - JOUR
AB - While Hartree–Fock theory is well established as a fundamental approximation for interacting fermions, it has been unclear how to describe corrections to it due to many-body correlations. In this paper we start from the Hartree–Fock state given by plane waves and introduce collective particle–hole pair excitations. These pairs can be approximately described by a bosonic quadratic Hamiltonian. We use Bogoliubov theory to construct a trial state yielding a rigorous Gell-Mann–Brueckner–type upper bound to the ground state energy. Our result justifies the random-phase approximation in the mean-field scaling regime, for repulsive, regular interaction potentials.
AU - Benedikter, Niels P
AU - Nam, Phan Thành
AU - Porta, Marcello
AU - Schlein, Benjamin
AU - Seiringer, Robert
ID - 6649
JF - Communications in Mathematical Physics
SN - 0010-3616
TI - Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime
VL - 374
ER -
TY - JOUR
AB - Fitting a function by using linear combinations of a large number N of `simple' components is one of the most fruitful ideas in statistical learning. This idea lies at the core of a variety of methods, from two-layer neural networks to kernel regression, to boosting. In general, the resulting risk minimization problem is non-convex and is solved by gradient descent or its variants. Unfortunately, little is known about global convergence properties of these approaches.
Here we consider the problem of learning a concave function f on a compact convex domain Ω⊆ℝd, using linear combinations of `bump-like' components (neurons). The parameters to be fitted are the centers of N bumps, and the resulting empirical risk minimization problem is highly non-convex. We prove that, in the limit in which the number of neurons diverges, the evolution of gradient descent converges to a Wasserstein gradient flow in the space of probability distributions over Ω. Further, when the bump width δ tends to 0, this gradient flow has a limit which is a viscous porous medium equation. Remarkably, the cost function optimized by this gradient flow exhibits a special property known as displacement convexity, which implies exponential convergence rates for N→∞, δ→0. Surprisingly, this asymptotic theory appears to capture well the behavior for moderate values of δ,N. Explaining this phenomenon, and understanding the dependence on δ,N in a quantitative manner remains an outstanding challenge.
AU - Javanmard, Adel
AU - Mondelli, Marco
AU - Montanari, Andrea
ID - 6748
IS - 6
JF - Annals of Statistics
TI - Analysis of a two-layer neural network via displacement convexity
VL - 48
ER -
TY - JOUR
AB - In resource allocation games, selfish players share resources that are needed in order to fulfill their objectives. The cost of using a resource depends on the load on it. In the traditional setting, the players make their choices concurrently and in one-shot. That is, a strategy for a player is a subset of the resources. We introduce and study dynamic resource allocation games. In this setting, the game proceeds in phases. In each phase each player chooses one resource. A scheduler dictates the order in which the players proceed in a phase, possibly scheduling several players to proceed concurrently. The game ends when each player has collected a set of resources that fulfills his objective. The cost for each player then depends on this set as well as on the load on the resources in it – we consider both congestion and cost-sharing games. We argue that the dynamic setting is the suitable setting for many applications in practice. We study the stability of dynamic resource allocation games, where the appropriate notion of stability is that of subgame perfect equilibrium, study the inefficiency incurred due to selfish behavior, and also study problems that are particular to the dynamic setting, like constraints on the order in which resources can be chosen or the problem of finding a scheduler that achieves stability.
AU - Avni, Guy
AU - Henzinger, Thomas A
AU - Kupferman, Orna
ID - 6761
JF - Theoretical Computer Science
SN - 03043975
TI - Dynamic resource allocation games
VL - 807
ER -
TY - JOUR
AB - Nearby grid cells have been observed to express a remarkable degree of long-rangeorder, which is often idealized as extending potentially to infinity. Yet their strict peri-odic firing and ensemble coherence are theoretically possible only in flat environments, much unlike the burrows which rodents usually live in. Are the symmetrical, coherent grid maps inferred in the lab relevant to chart their way in their natural habitat? We consider spheres as simple models of curved environments and waiting for the appropriate experiments to be performed, we use our adaptation model to predict what grid maps would emerge in a network with the same type of recurrent connections, which on the plane produce coherence among the units. We find that on the sphere such connections distort the maps that single grid units would express on their own, and aggregate them into clusters. When remapping to a different spherical environment, units in each cluster maintain only partial coherence, similar to what is observed in disordered materials, such as spin glasses.
AU - Stella, Federico
AU - Urdapilleta, Eugenio
AU - Luo, Yifan
AU - Treves, Alessandro
ID - 6796
IS - 4
JF - Hippocampus
SN - 10509631
TI - Partial coherence and frustration in self-organizing spherical grids
VL - 30
ER -
TY - JOUR
AB - Super-resolution fluorescence microscopy has become an important catalyst for discovery in the life sciences. In STimulated Emission Depletion (STED) microscopy, a pattern of light drives fluorophores from a signal-emitting on-state to a non-signalling off-state. Only emitters residing in a sub-diffraction volume around an intensity minimum are allowed to fluoresce, rendering them distinguishable from the nearby, but dark fluorophores. STED routinely achieves resolution in the few tens of nanometers range in biological samples and is suitable for live imaging. Here, we review the working principle of STED and provide general guidelines for successful STED imaging. The strive for ever higher resolution comes at the cost of increased light burden. We discuss techniques to reduce light exposure and mitigate its detrimental effects on the specimen. These include specialized illumination strategies as well as protecting fluorophores from photobleaching mediated by high-intensity STED light. This opens up the prospect of volumetric imaging in living cells and tissues with diffraction-unlimited resolution in all three spatial dimensions.
AU - Jahr, Wiebke
AU - Velicky, Philipp
AU - Danzl, Johann G
ID - 6808
IS - 3
JF - Methods
SN - 1046-2023
TI - Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens
VL - 174
ER -