TY - JOUR AB - Determining the phase diagram of systems consisting of smaller subsystems 'connected' via a tunable coupling is a challenging task relevant for a variety of physical settings. A general question is whether new phases, not present in the uncoupled limit, may arise. We use machine learning and a suitable quasidistance between different points of the phase diagram to study layered spin models, in which the spin variables constituting each of the uncoupled systems (to which we refer as layers) are coupled to each other via an interlayer coupling. In such systems, in general, composite order parameters involving spins of different layers may emerge as a consequence of the interlayer coupling. We focus on the layered Ising and Ashkin–Teller models as a paradigmatic case study, determining their phase diagram via the application of a machine learning algorithm to the Monte Carlo data. Remarkably our technique is able to correctly characterize all the system phases also in the case of hidden order parameters, i.e. order parameters whose expression in terms of the microscopic configurations would require additional preprocessing of the data fed to the algorithm. We correctly retrieve the three known phases of the Ashkin–Teller model with ferromagnetic couplings, including the phase described by a composite order parameter. For the bilayer and trilayer Ising models the phases we find are only the ferromagnetic and the paramagnetic ones. Within the approach we introduce, owing to the construction of convolutional neural networks, naturally suitable for layered image-like data with arbitrary number of layers, no preprocessing of the Monte Carlo data is needed, also with regard to its spatial structure. The physical meaning of our results is discussed and compared with analytical data, where available. Yet, the method can be used without any a priori knowledge of the phases one seeks to find and can be applied to other models and structures. AU - Rzadkowski, Wojciech AU - Defenu, N AU - Chiacchiera, S AU - Trombettoni, A AU - Bighin, Giacomo ID - 8644 IS - 9 JF - New Journal of Physics SN - 13672630 TI - Detecting composite orders in layered models via machine learning VL - 22 ER - TY - JOUR AB - We consider the quantum mechanical many-body problem of a single impurity particle immersed in a weakly interacting Bose gas. The impurity interacts with the bosons via a two-body potential. We study the Hamiltonian of this system in the mean-field limit and rigorously show that, at low energies, the problem is well described by the Fröhlich polaron model. AU - Mysliwy, Krzysztof AU - Seiringer, Robert ID - 8705 IS - 12 JF - Annales Henri Poincare SN - 1424-0637 TI - Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit VL - 21 ER - TY - JOUR AB - Motivation: Recent technological advances have led to an increase in the production and availability of single-cell data. The ability to integrate a set of multi-technology measurements would allow the identification of biologically or clinically meaningful observations through the unification of the perspectives afforded by each technology. In most cases, however, profiling technologies consume the used cells and thus pairwise correspondences between datasets are lost. Due to the sheer size single-cell datasets can acquire, scalable algorithms that are able to universally match single-cell measurements carried out in one cell to its corresponding sibling in another technology are needed. Results: We propose Single-Cell data Integration via Matching (SCIM), a scalable approach to recover such correspondences in two or more technologies. SCIM assumes that cells share a common (low-dimensional) underlying structure and that the underlying cell distribution is approximately constant across technologies. It constructs a technology-invariant latent space using an autoencoder framework with an adversarial objective. Multi-modal datasets are integrated by pairing cells across technologies using a bipartite matching scheme that operates on the low-dimensional latent representations. We evaluate SCIM on a simulated cellular branching process and show that the cell-to-cell matches derived by SCIM reflect the same pseudotime on the simulated dataset. Moreover, we apply our method to two real-world scenarios, a melanoma tumor sample and a human bone marrow sample, where we pair cells from a scRNA dataset to their sibling cells in a CyTOF dataset achieving 90% and 78% cell-matching accuracy for each one of the samples, respectively. AU - Stark, Stefan G AU - Ficek, Joanna AU - Locatello, Francesco AU - Bonilla, Ximena AU - Chevrier, Stéphane AU - Singer, Franziska AU - Aebersold, Rudolf AU - Al-Quaddoomi, Faisal S AU - Albinus, Jonas AU - Alborelli, Ilaria AU - Andani, Sonali AU - Attinger, Per-Olof AU - Bacac, Marina AU - Baumhoer, Daniel AU - Beck-Schimmer, Beatrice AU - Beerenwinkel, Niko AU - Beisel, Christian AU - Bernasconi, Lara AU - Bertolini, Anne AU - Bodenmiller, Bernd AU - Bonilla, Ximena AU - Casanova, Ruben AU - Chevrier, Stéphane AU - Chicherova, Natalia AU - D'Costa, Maya AU - Danenberg, Esther AU - Davidson, Natalie AU - gan, Monica-Andreea Dră AU - Dummer, Reinhard AU - Engler, Stefanie AU - Erkens, Martin AU - Eschbach, Katja AU - Esposito, Cinzia AU - Fedier, André AU - Ferreira, Pedro AU - Ficek, Joanna AU - Frei, Anja L AU - Frey, Bruno AU - Goetze, Sandra AU - Grob, Linda AU - Gut, Gabriele AU - Günther, Detlef AU - Haberecker, Martina AU - Haeuptle, Pirmin AU - Heinzelmann-Schwarz, Viola AU - Herter, Sylvia AU - Holtackers, Rene AU - Huesser, Tamara AU - Irmisch, Anja AU - Jacob, Francis AU - Jacobs, Andrea AU - Jaeger, Tim M AU - Jahn, Katharina AU - James, Alva R AU - Jermann, Philip M AU - Kahles, André AU - Kahraman, Abdullah AU - Koelzer, Viktor H AU - Kuebler, Werner AU - Kuipers, Jack AU - Kunze, Christian P AU - Kurzeder, Christian AU - Lehmann, Kjong-Van AU - Levesque, Mitchell AU - Lugert, Sebastian AU - Maass, Gerd AU - Manz, Markus AU - Markolin, Philipp AU - Mena, Julien AU - Menzel, Ulrike AU - Metzler, Julian M AU - Miglino, Nicola AU - Milani, Emanuela S AU - Moch, Holger AU - Muenst, Simone AU - Murri, Riccardo AU - Ng, Charlotte KY AU - Nicolet, Stefan AU - Nowak, Marta AU - Pedrioli, Patrick GA AU - Pelkmans, Lucas AU - Piscuoglio, Salvatore AU - Prummer, Michael AU - Ritter, Mathilde AU - Rommel, Christian AU - Rosano-González, María L AU - Rätsch, Gunnar AU - Santacroce, Natascha AU - Castillo, Jacobo Sarabia del AU - Schlenker, Ramona AU - Schwalie, Petra C AU - Schwan, Severin AU - Schär, Tobias AU - Senti, Gabriela AU - Singer, Franziska AU - Sivapatham, Sujana AU - Snijder, Berend AU - Sobottka, Bettina AU - Sreedharan, Vipin T AU - Stark, Stefan AU - Stekhoven, Daniel J AU - Theocharides, Alexandre PA AU - Thomas, Tinu M AU - Tolnay, Markus AU - Tosevski, Vinko AU - Toussaint, Nora C AU - Tuncel, Mustafa A AU - Tusup, Marina AU - Drogen, Audrey Van AU - Vetter, Marcus AU - Vlajnic, Tatjana AU - Weber, Sandra AU - Weber, Walter P AU - Wegmann, Rebekka AU - Weller, Michael AU - Wendt, Fabian AU - Wey, Norbert AU - Wicki, Andreas AU - Wollscheid, Bernd AU - Yu, Shuqing AU - Ziegler, Johanna AU - Zimmermann, Marc AU - Zoche, Martin AU - Zuend, Gregor AU - Rätsch, Gunnar AU - Lehmann, Kjong-Van ID - 14125 IS - Supplement_2 JF - Bioinformatics KW - Computational Mathematics KW - Computational Theory and Mathematics KW - Computer Science Applications KW - Molecular Biology KW - Biochemistry KW - Statistics and Probability TI - SCIM: Universal single-cell matching with unpaired feature sets VL - 36 ER - TY - CONF AB - The goal of the unsupervised learning of disentangled representations is to separate the independent explanatory factors of variation in the data without access to supervision. In this paper, we summarize the results of Locatello et al., 2019, and focus on their implications for practitioners. We discuss the theoretical result showing that the unsupervised learning of disentangled representations is fundamentally impossible without inductive biases and the practical challenges it entails. Finally, we comment on our experimental findings, highlighting the limitations of state-of-the-art approaches and directions for future research. AU - Locatello, Francesco AU - Bauer, Stefan AU - Lucic, Mario AU - Rätsch, Gunnar AU - Gelly, Sylvain AU - Schölkopf, Bernhard AU - Bachem, Olivier ID - 14186 IS - 9 SN - 9781577358350 T2 - The 34th AAAI Conference on Artificial Intelligence TI - A commentary on the unsupervised learning of disentangled representations VL - 34 ER - TY - CONF AB - Intelligent agents should be able to learn useful representations by observing changes in their environment. We model such observations as pairs of non-i.i.d. images sharing at least one of the underlying factors of variation. First, we theoretically show that only knowing how many factors have changed, but not which ones, is sufficient to learn disentangled representations. Second, we provide practical algorithms that learn disentangled representations from pairs of images without requiring annotation of groups, individual factors, or the number of factors that have changed. Third, we perform a large-scale empirical study and show that such pairs of observations are sufficient to reliably learn disentangled representations on several benchmark data sets. Finally, we evaluate our learned representations and find that they are simultaneously useful on a diverse suite of tasks, including generalization under covariate shifts, fairness, and abstract reasoning. Overall, our results demonstrate that weak supervision enables learning of useful disentangled representations in realistic scenarios. AU - Locatello, Francesco AU - Poole, Ben AU - Rätsch, Gunnar AU - Schölkopf, Bernhard AU - Bachem, Olivier AU - Tschannen, Michael ID - 14188 T2 - Proceedings of the 37th International Conference on Machine Learning TI - Weakly-supervised disentanglement without compromises VL - 119 ER - TY - CONF AB - We propose a novel Stochastic Frank-Wolfe (a.k.a. conditional gradient) algorithm for constrained smooth finite-sum minimization with a generalized linear prediction/structure. This class of problems includes empirical risk minimization with sparse, low-rank, or other structured constraints. The proposed method is simple to implement, does not require step-size tuning, and has a constant per-iteration cost that is independent of the dataset size. Furthermore, as a byproduct of the method we obtain a stochastic estimator of the Frank-Wolfe gap that can be used as a stopping criterion. Depending on the setting, the proposed method matches or improves on the best computational guarantees for Stochastic Frank-Wolfe algorithms. Benchmarks on several datasets highlight different regimes in which the proposed method exhibits a faster empirical convergence than related methods. Finally, we provide an implementation of all considered methods in an open-source package. AU - Négiar, Geoffrey AU - Dresdner, Gideon AU - Tsai, Alicia AU - Ghaoui, Laurent El AU - Locatello, Francesco AU - Freund, Robert M. AU - Pedregosa, Fabian ID - 14187 T2 - Proceedings of the 37th International Conference on Machine Learning TI - Stochastic Frank-Wolfe for constrained finite-sum minimization VL - 119 ER - TY - JOUR AB - The idea behind the unsupervised learning of disentangled representations is that real-world data is generated by a few explanatory factors of variation which can be recovered by unsupervised learning algorithms. In this paper, we provide a sober look at recent progress in the field and challenge some common assumptions. We first theoretically show that the unsupervised learning of disentangled representations is fundamentally impossible without inductive biases on both the models and the data. Then, we train over 14000 models covering most prominent methods and evaluation metrics in a reproducible large-scale experimental study on eight data sets. We observe that while the different methods successfully enforce properties “encouraged” by the corresponding losses, well-disentangled models seemingly cannot be identified without supervision. Furthermore, different evaluation metrics do not always agree on what should be considered “disentangled” and exhibit systematic differences in the estimation. Finally, increased disentanglement does not seem to necessarily lead to a decreased sample complexity of learning for downstream tasks. Our results suggest that future work on disentanglement learning should be explicit about the role of inductive biases and (implicit) supervision, investigate concrete benefits of enforcing disentanglement of the learned representations, and consider a reproducible experimental setup covering several data sets. AU - Locatello, Francesco AU - Bauer, Stefan AU - Lucic, Mario AU - Rätsch, Gunnar AU - Gelly, Sylvain AU - Schölkopf, Bernhard AU - Bachem, Olivier ID - 14195 JF - Journal of Machine Learning Research TI - A sober look at the unsupervised learning of disentangled representations and their evaluation VL - 21 ER - TY - JOUR AB - Genes differ in the frequency at which they are expressed and in the form of regulation used to control their activity. In particular, positive or negative regulation can lead to activation of a gene in response to an external signal. Previous works proposed that the form of regulation of a gene correlates with its frequency of usage: positive regulation when the gene is frequently expressed and negative regulation when infrequently expressed. Such network design means that, in the absence of their regulators, the genes are found in their least required activity state, hence regulatory intervention is often necessary. Due to the multitude of genes and regulators, spurious binding and unbinding events, called “crosstalk”, could occur. To determine how the form of regulation affects the global crosstalk in the network, we used a mathematical model that includes multiple regulators and multiple target genes. We found that crosstalk depends non-monotonically on the availability of regulators. Our analysis showed that excess use of regulation entailed by the formerly suggested network design caused high crosstalk levels in a large part of the parameter space. We therefore considered the opposite ‘idle’ design, where the default unregulated state of genes is their frequently required activity state. We found, that ‘idle’ design minimized the use of regulation and thus minimized crosstalk. In addition, we estimated global crosstalk of S. cerevisiae using transcription factors binding data. We demonstrated that even partial network data could suffice to estimate its global crosstalk, suggesting its applicability to additional organisms. We found that S. cerevisiae estimated crosstalk is lower than that of a random network, suggesting that natural selection reduces crosstalk. In summary, our study highlights a new type of protein production cost which is typically overlooked: that of regulatory interference caused by the presence of excess regulators in the cell. It demonstrates the importance of whole-network descriptions, which could show effects missed by single-gene models. AU - Grah, Rok AU - Friedlander, Tamar ID - 7569 IS - 2 JF - PLOS Computational Biology SN - 1553-7358 TI - The relation between crosstalk and gene regulation form revisited VL - 16 ER - TY - GEN AB - In mammals, chromatin marks at imprinted genes are asymmetrically inherited to control parentally-biased gene expression. This control is thought predominantly to involve parent-specific differentially methylated regions (DMR) in genomic DNA. However, neither parent-of-origin-specific transcription nor DMRs have been comprehensively mapped. We here address this by integrating transcriptomic and epigenomic approaches in mouse preimplantation embryos (blastocysts). Transcriptome-analysis identified 71 genes expressed with previously unknown parent-of-origin-specific expression in blastocysts (nBiX: novel blastocyst-imprinted expression). Uniparental expression of nBiX genes disappeared soon after implantation. Micro-whole-genome bisulfite sequencing (μWGBS) of individual uniparental blastocysts detected 859 DMRs. Only 18% of nBiXs were associated with a DMR, whereas 60% were associated with parentally-biased H3K27me3. This suggests a major role for Polycomb-mediated imprinting in blastocysts. Five nBiX-clusters contained at least one known imprinted gene, and five novel clusters contained exclusively nBiX-genes. These data suggest a complex program of stage-specific imprinting involving different tiers of regulation. AU - Santini, Laura AU - Halbritter, Florian AU - Titz-Teixeira, Fabian AU - Suzuki, Toru AU - Asami, Maki AU - Ramesmayer, Julia AU - Ma, Xiaoyan AU - Lackner, Andreas AU - Warr, Nick AU - Pauler, Florian AU - Hippenmeyer, Simon AU - Laue, Ernest AU - Farlik, Matthias AU - Bock, Christoph AU - Beyer, Andreas AU - Perry, Anthony C. F. AU - Leeb, Martin ID - 8813 T2 - bioRxiv TI - Novel imprints in mouse blastocysts are predominantly DNA methylation independent ER - TY - GEN AU - Grah, Rok AU - Friedlander, Tamar ID - 9777 TI - Maximizing crosstalk ER - TY - THES AB - Designing and verifying concurrent programs is a notoriously challenging, time consuming, and error prone task, even for experts. This is due to the sheer number of possible interleavings of a concurrent program, all of which have to be tracked and accounted for in a formal proof. Inventing an inductive invariant that captures all interleavings of a low-level implementation is theoretically possible, but practically intractable. We develop a refinement-based verification framework that provides mechanisms to simplify proof construction by decomposing the verification task into smaller subtasks. In a first line of work, we present a foundation for refinement reasoning over structured concurrent programs. We introduce layered concurrent programs as a compact notation to represent multi-layer refinement proofs. A layered concurrent program specifies a sequence of connected concurrent programs, from most concrete to most abstract, such that common parts of different programs are written exactly once. Each program in this sequence is expressed as structured concurrent program, i.e., a program over (potentially recursive) procedures, imperative control flow, gated atomic actions, structured parallelism, and asynchronous concurrency. This is in contrast to existing refinement-based verifiers, which represent concurrent systems as flat transition relations. We present a powerful refinement proof rule that decomposes refinement checking over structured programs into modular verification conditions. Refinement checking is supported by a new form of modular, parameterized invariants, called yield invariants, and a linear permission system to enhance local reasoning. In a second line of work, we present two new reduction-based program transformations that target asynchronous programs. These transformations reduce the number of interleavings that need to be considered, thus reducing the complexity of invariants. Synchronization simplifies the verification of asynchronous programs by introducing the fiction, for proof purposes, that asynchronous operations complete synchronously. Synchronization summarizes an asynchronous computation as immediate atomic effect. Inductive sequentialization establishes sequential reductions that captures every behavior of the original program up to reordering of coarse-grained commutative actions. A sequential reduction of a concurrent program is easy to reason about since it corresponds to a simple execution of the program in an idealized synchronous environment, where processes act in a fixed order and at the same speed. Our approach is implemented the CIVL verifier, which has been successfully used for the verification of several complex concurrent programs. In our methodology, the overall correctness of a program is established piecemeal by focusing on the invariant required for each refinement step separately. While the programmer does the creative work of specifying the chain of programs and the inductive invariant justifying each link in the chain, the tool automatically constructs the verification conditions underlying each refinement step. AU - Kragl, Bernhard ID - 8332 SN - 2663-337X TI - Verifying concurrent programs: Refinement, synchronization, sequentialization ER - TY - CONF AB - Learning object-centric representations of complex scenes is a promising step towards enabling efficient abstract reasoning from low-level perceptual features. Yet, most deep learning approaches learn distributed representations that do not capture the compositional properties of natural scenes. In this paper, we present the Slot Attention module, an architectural component that interfaces with perceptual representations such as the output of a convolutional neural network and produces a set of task-dependent abstract representations which we call slots. These slots are exchangeable and can bind to any object in the input by specializing through a competitive procedure over multiple rounds of attention. We empirically demonstrate that Slot Attention can extract object-centric representations that enable generalization to unseen compositions when trained on unsupervised object discovery and supervised property prediction tasks. AU - Locatello, Francesco AU - Weissenborn, Dirk AU - Unterthiner, Thomas AU - Mahendran, Aravindh AU - Heigold, Georg AU - Uszkoreit, Jakob AU - Dosovitskiy, Alexey AU - Kipf, Thomas ID - 14326 SN - 9781713829546 T2 - Advances in Neural Information Processing Systems TI - Object-centric learning with slot attention VL - 33 ER - TY - JOUR AB - We consider dynamical transport metrics for probability measures on discretisations of a bounded convex domain in ℝd. These metrics are natural discrete counterparts to the Kantorovich metric 𝕎2, defined using a Benamou-Brenier type formula. Under mild assumptions we prove an asymptotic upper bound for the discrete transport metric Wt in terms of 𝕎2, as the size of the mesh T tends to 0. However, we show that the corresponding lower bound may fail in general, even on certain one-dimensional and symmetric two-dimensional meshes. In addition, we show that the asymptotic lower bound holds under an isotropy assumption on the mesh, which turns out to be essentially necessary. This assumption is satisfied, e.g., for tilings by convex regular polygons, and it implies Gromov-Hausdorff convergence of the transport metric. AU - Gladbach, Peter AU - Kopfer, Eva AU - Maas, Jan ID - 71 IS - 3 JF - SIAM Journal on Mathematical Analysis SN - 00361410 TI - Scaling limits of discrete optimal transport VL - 52 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 - THES AB - The oft-quoted dictum by Arthur Schawlow: ``A diatomic molecule has one atom too many'' has been disavowed. Inspired by the possibility to experimentally manipulate and enhance chemical reactivity in helium nanodroplets, we investigate the rotation of coupled cold molecules in the presence of a many-body environment. In this thesis, we introduce new variational approaches to quantum impurities and apply them to the Fröhlich polaron - a quasiparticle formed out of an electron (or other point-like impurity) in a polar medium, and to the angulon - a quasiparticle formed out of a rotating molecule in a bosonic bath. With this theoretical toolbox, we reveal the self-localization transition for the angulon quasiparticle. We show that, unlike for polarons, self-localization of angulons occurs at finite impurity-bath coupling already at the mean-field level. The transition is accompanied by the spherical-symmetry breaking of the angulon ground state and a discontinuity in the first derivative of the ground-state energy. Moreover, the type of symmetry breaking is dictated by the symmetry of the microscopic impurity-bath interaction, which leads to a number of distinct self-localized states. For the system containing multiple impurities, by analogy with the bipolaron, we introduce the biangulon quasiparticle describing two rotating molecules that align with respect to each other due to the effective attractive interaction mediated by the excitations of the bath. We study this system from the strong-coupling regime to the weak molecule-bath interaction regime. We show that the molecules tend to have a strong alignment in the ground state, the biangulon shows shifted angulon instabilities and an additional spectral instability, where resonant angular momentum transfer between the molecules and the bath takes place. Finally, we introduce a diagonalization scheme that allows us to describe the transition from two separated angulons to a biangulon as a function of the distance between the two molecules. AU - Li, Xiang ID - 8958 SN - 2663-337X TI - Rotation of coupled cold molecules in the presence of a many-body environment ER - TY - THES AB - Form versus function is a long-standing debate in various design-related fields, such as architecture as well as graphic and industrial design. A good design that balances form and function often requires considerable human effort and collaboration among experts from different professional fields. Computational design tools provide a new paradigm for designing functional objects. In computational design, form and function are represented as mathematical quantities, with the help of numerical and combinatorial algorithms, they can assist even novice users in designing versatile models that exhibit their desired functionality. This thesis presents three disparate research studies on the computational design of functional objects: The appearance of 3d print—we optimize the volumetric material distribution for faithfully replicating colored surface texture in 3d printing; the dynamic motion of mechanical structures— our design system helps the novice user to retarget various mechanical templates with different functionality to complex 3d shapes; and a more abstract functionality, multistability—our algorithm automatically generates models that exhibit multiple stable target poses. For each of these cases, our computational design tools not only ensure the functionality of the results but also permit the user aesthetic freedom over the form. Moreover, fabrication constraints were taken into account, which allow for the immediate creation of physical realization via 3D printing or laser cutting. AU - Zhang, Ran ID - 8386 SN - 2663-337X TI - Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability ER - TY - THES AB - Quantum computation enables the execution of algorithms that have exponential complexity. This might open the path towards the synthesis of new materials or medical drugs, optimization of transport or financial strategies etc., intractable on even the fastest classical computers. A quantum computer consists of interconnected two level quantum systems, called qubits, that satisfy DiVincezo’s criteria. Worldwide, there are ongoing efforts to find the qubit architecture which will unite quantum error correction compatible single and two qubit fidelities, long distance qubit to qubit coupling and calability. Superconducting qubits have gone the furthest in this race, demonstrating an algorithm running on 53 coupled qubits, but still the fidelities are not even close to those required for realizing a single logical qubit. emiconductor qubits offer extremely good characteristics, but they are currently investigated across different platforms. Uniting those good characteristics into a single platform might be a big step towards the quantum computer realization. Here we describe the implementation of a hole spin qubit hosted in a Ge hut wire double quantum dot. The high and tunable spin-orbit coupling together with a heavy hole state character is expected to allow fast spin manipulation and long coherence times. Furthermore large lever arms, for hut wire devices, should allow good coupling to superconducting resonators enabling efficient long distance spin to spin coupling and a sensitive gate reflectometry spin readout. The developed cryogenic setup (printed circuit board sample holders, filtering, high-frequency wiring) enabled us to perform low temperature spin dynamics experiments. Indeed, we measured the fastest single spin qubit Rabi frequencies reported so far, reaching 140 MHz, while the dephasing times of 130 ns oppose the long decoherence predictions. In order to further investigate this, a double quantum dot gate was connected directly to a lumped element resonator which enabled gate reflectometry readout. The vanishing inter-dot transition signal, for increasing external magnetic field, revealed the spin nature of the measured quantity. AU - Kukucka, Josip ID - 7996 SN - 2663-337X TI - Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing ER - TY - CONF AB - We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy and computational complexity results. For strategy complexity, we show that lexicographically optimal strategies exist that are deterministic and memory is only required to remember the already satisfied and violated objectives. For a constant number of objectives, we show that the relevant decision problem is in NP∩coNP , matching the current known bound for single objectives; and in general the decision problem is PSPACE -hard and can be solved in NEXPTIME∩coNEXPTIME . We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games. We have implemented our algorithm and report experimental results on various case studies. AU - Chatterjee, Krishnendu AU - Katoen, Joost P AU - Weininger, Maximilian AU - Winkler, Tobias ID - 8272 SN - 03029743 T2 - International Conference on Computer Aided Verification TI - Stochastic games with lexicographic reachability-safety objectives VL - 12225 ER - TY - CHAP AB - The polymerization–depolymerization dynamics of cytoskeletal proteins play essential roles in the self-organization of cytoskeletal structures, in eukaryotic as well as prokaryotic cells. While advances in fluorescence microscopy and in vitro reconstitution experiments have helped to study the dynamic properties of these complex systems, methods that allow to collect and analyze large quantitative datasets of the underlying polymer dynamics are still missing. Here, we present a novel image analysis workflow to study polymerization dynamics of active filaments in a nonbiased, highly automated manner. Using treadmilling filaments of the bacterial tubulin FtsZ as an example, we demonstrate that our method is able to specifically detect, track and analyze growth and shrinkage of polymers, even in dense networks of filaments. We believe that this automated method can facilitate the analysis of a large variety of dynamic cytoskeletal systems, using standard time-lapse movies obtained from experiments in vitro as well as in the living cell. Moreover, we provide scripts implementing this method as supplementary material. AU - Dos Santos Caldas, Paulo R AU - Radler, Philipp AU - Sommer, Christoph M AU - Loose, Martin ED - Tran, Phong ID - 7572 SN - 0091679X T2 - Methods in Cell Biology TI - Computational analysis of filament polymerization dynamics in cytoskeletal networks VL - 158 ER - TY - JOUR AB - Most bacteria accomplish cell division with the help of a dynamic protein complex called the divisome, which spans the cell envelope in the plane of division. Assembly and activation of this machinery are coordinated by the tubulin-related GTPase FtsZ, which was found to form treadmilling filaments on supported bilayers in vitro1, as well as in live cells, in which filaments circle around the cell division site2,3. Treadmilling of FtsZ is thought to actively move proteins around the division septum, thereby distributing peptidoglycan synthesis and coordinating the inward growth of the septum to form the new poles of the daughter cells4. However, the molecular mechanisms underlying this function are largely unknown. Here, to study how FtsZ polymerization dynamics are coupled to downstream proteins, we reconstituted part of the bacterial cell division machinery using its purified components FtsZ, FtsA and truncated transmembrane proteins essential for cell division. We found that the membrane-bound cytosolic peptides of FtsN and FtsQ co-migrated with treadmilling FtsZ–FtsA filaments, but despite their directed collective behaviour, individual peptides showed random motion and transient confinement. Our work suggests that divisome proteins follow treadmilling FtsZ filaments by a diffusion-and-capture mechanism, which can give rise to a moving zone of signalling activity at the division site. AU - Baranova, Natalia S. AU - Radler, Philipp AU - Hernández-Rocamora, Víctor M. AU - Alfonso, Carlos AU - Lopez Pelegrin, Maria D AU - Rivas, Germán AU - Vollmer, Waldemar AU - Loose, Martin ID - 7387 JF - Nature Microbiology SN - 2058-5276 TI - Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins VL - 5 ER -