Advanced physics experiments require computer control systems to coordinate the apparatus on time scales from hours to nanoseconds. In this thesis I present a new software system, the labscript suite, for controlling modern ultracold atom experiments. Labscript prepares experiments from Python code and a list of parameters, generating instructions for heterogeneous hardware: pulse sequencers, analog input/output, and radio-frequency synthesis devices, which in turn execute the experiment in strict real time. Other software components automate scheduling of long-running experimental sequences, and the analysis of results. The labscript suite rapidly creates sophisticated experiments, flexibly analyses results, and archives the data.
Experimental quantum physics and computing platforms rely on sophisticated computer control and timing systems that must be deterministic. An exemplar is the sequence used to create a Bose-Einstein condensate at the University of Illinois, which involves 46,812 analog and digital transitions over 100 seconds with 20 ns timing precision and nanosecond timing drift. We present a control and sequencing platform, using industry-standard National Instruments hardware to generate the necessary digital and analog signals, that achieves this level of performance. The system uses a master 10 MHz reference clock that is conditioned to the Global Positioning Satellite constellation and leverages low-phase-noise clock distribution hardware for timing stability. A Python-based user front-end provides a flexible language to describe experimental procedures and easy-to-implement version control. A library of useful peripheral hardware that can be purchased as low-cost evaluation boards provides enhanced capabilities. We provide a GitHub repository containing example python sequences and libraries for peripheral devices as a resource for the community.
In this thesis, we describe the implementation of a cavity-microscope system for cold atoms experiments. This technology combines a high-finesse optical resonator and a high-resolution imaging system. Stability and alignment are crucial aspects of the setup. A cavity holder has been specifically designed to answer the mechanical demands of the cavity-microscope, ensuring its stability. Furthermore, an assembly and alignment procedure has been carefully planned to bring together the bare optical and mechanical components which form the apparatus. We concretely show the efficacy of the defined technique by constructing an updated setup for the Microscope Experiment in the Laboratory for Quantum Gases. The device has been adapted to address the specifics of the experiment with careful attention to the features needed for its long-term goal. Finally, we demonstrate that the implemented procedure maintains intact the optical properties of the system and that it meets the mechanical requirements discussed above. These tests validate the reliability and the integrity of the devised technique. Through the implemented device, two main benefits emerge. Firstly, it enables the detection of atom numbers in a continuous and high-resolved way, two features that are typically challenging to be incorporated together. Secondly, it provides a method to spatially and temporally control the atom-cavity coupling, which is collective in standard cavity QED setups. Ultimately, this technology opens up stimulating prospects for controlled simulations of long-range interacting physical systems.
Foundations of physics · For the general reader The Relational Architecture of Time Emergent temporal order, delayed-choice photon experiments, and the thermodynamic arrow — a complete mathematical account, explained from the ground up János Gábor Melegh The Relational Architecture of TimeEmergent temporal order, delayed-choice photon experiments, and the thermodynamic arrow. Copyright © 2026 János Gábor Melegh. All rights reserved. No part of this book may be reproduced in any form without written permission from the author, except for brief quotations in reviews and scholarly works. This book unifies and expands two research manuscripts by the author: Time as an Emergent Relational Structure (2026) and Relational Time Structure in Delayed-Choice Photon Experiments (axiomatically extended version, 2026). Every definition, theorem, proof, and derivation of those works is reproduced here in full and without abridgement; the surrounding prose has been substantially expanded so that a motivated reader without formal training in physics or mathematics can follow the entire argument. First English edition, 2026. Preface How to Read This Book This is a book about a deceptively simple question: what is time, physically? Not what a clock reads, and not how time feels, but what structure in the physical world earns the name "time" at all. The answer defended here can be stated in one sentence: time is not a fundamental ingredient of the universe but an emergent, relational structure — an ordering that arises when physical descriptions defined through interaction fit together consistently, with its familiar one-way direction supplied separately by thermodynamics. That single sentence carries a lot of machinery, and this book unpacks all of it. The book makes an unusual promise, and it is worth stating explicitly: The promise of this book Nothing has been simplified away. Every equation, every definition, every theorem, and every proof from the underlying research papers appears here in full. What has been added — greatly — is explanation: before and after each formal step you will find plain-language accounts of what the symbols say, why the step matters, and what would go wrong without it. If you skip the equations entirely, the prose still tells a complete story. If you read the equations, the prose tells you exactly how to read them. Throughout the book you will meet a small family of recurring boxes, each with a fixed job: In plain language (copper boxes) — the intuition. What a formal statement means in everyday terms, often with an analogy. Definitions (blue boxes) — precise introductions of new mathematical objects. These are the vocabulary of the theory. Theorems (framed boxes) — the claims that are actually proved, followed by their proofs in full. A proof ends with the traditional square symbol □. Warnings and scope limits (red boxes) — the places where the theory deliberately stops claiming things. These boxes are part of the scientific content, not decoration: a theory earns trust partly by declaring its own boundaries. A five-minute notation primer Readers who have never used the notation of quantum mechanics need only a handful of symbols, all introduced properly when they first appear. As a preview:
∣ψ⟩ — a "ket," the standard label for a quantum state. Think of it as the complete catalogue of what quantum theory says about a system.
ρ — a density operator, the more general bookkeeping device for quantum states, including states known only statistically.
Tr — the trace, a summing-up operation.
TrB ("partial trace over
B") means: average away everything about subsystem
B and keep the rest.
P(x∣b) — the probability of outcome
x given setting
b. Ordinary conditional probability.
e1≺e2 — event
e1 causally precedes event
e2; it can influence it.
∑ — a sum;
sup and
inf — the least upper bound and greatest lower bound of a set of numbers, close cousins of "maximum" and "minimum." Everything else — beam splitters, POVMs, quantum channels, entropy, modular flow — is built up step by step in the chapters where it is needed, and Appendix A collects every symbol in one table. The shape of the argument Part I poses the problem of time and develops the conceptual core: relational description, the principle of relational consistency, the removal of subjective experience from the foundations, and the division of labor between relational ordering and thermodynamic direction. Part II takes the framework into the laboratory. It builds the full mathematical toolkit from scratch and then works through the two most notorious "time-bending" experiments of quantum optics — Wheeler's delayed choice and the delayed-choice quantum eraser — with complete derivations, showing that nothing in them requires the future to reach back into the past. Part III formalizes relational consistency exactly, explains what a physical record is, de-mystifies the "observer" (including a careful treatment of the Wigner's-friend and Frauchiger–Renner thought experiments), and shows the correct use of causal event graphs. Part IV separates order from direction, develops the thermodynamic arrow, connects the framework to thermal time and to neighboring research programs. Part V asks the hardest questions of any theory — what does it mean, and how could it be wrong? — and closes with a complete empirical research program and conclusions. What this book does not claim This book does not announce a new physical force, a new dynamical law, or an experimental result that contradicts standard quantum mechanics. Its framework is deliberately, provably empirically equivalent to standard quantum theory in every laboratory situation treated here. Its contribution is a rigorously constrained conceptual and mathematical reconstruction: an account of what time is, and of what delayed-choice experiments do and do not show, that is causally clean, fully formalized, and — crucially — falsifiable in the precise, limited sense worked out in Chapter 22. Readers deserve to know which statements are established mathematics, which are structural proposals, and which are open questions; this book labels all three throughout. Contents Table of Contents Preface: How to Read This Book Part I — The Problem of Time 1. Why Time Is a Problem 2. Relational Descriptions in Contemporary Physics 3. Relational Consistency as a Structural Principle 4. Time Without Experience 5. Relational Ordering and Thermodynamic Asymmetry 6. Ontological Implications and Open Questions Part II — The Laboratory of Time 7. Aim and Scientific Status 8. The Experimental Foundation 9. The Mathematical Toolkit 10. Postulates of the Relational-Time Delayed-Choice Model 11. Wheeler's Delayed Choice: The Complete Two-Path Derivation 12. The Delayed-Choice Quantum Eraser: A Density-Matrix Derivation 13. The General No-Signalling Theorem Part III — Consistency, Records, and the Event Graph 14. Relational Consistency: Exact and Experimental Formalization 15. Physical Records, Decoherence, and the Observer De-Mystified 16. Relational Time and the Correct Use of the Event Graph Part IV — The Arrow and the Landscape 17. Relational Order and the Thermodynamic Direction of Time 18. Distinctions from Related Approaches 19. A Formal Bridge: Consistent Quantum Histories 20. Separating Temporal Consistency from Quantum Coherence Part V — Meaning and Testability 21. What Does "Determined Later" Mean, Mathematically? 22. Empirical Content, Falsifiability, and a Research Program 23. Conclusions Back Matter Appendix A — Notation and Conceptual Correspondence Appendix B — The Logical Core in a Single Chain of Formulas Appendix C — Claim–Assumption Matrix References Part I The Problem of Time In which time is neither denied nor assumed, but asked to explain itself — and the concepts of relational description, relational consistency, and the thermodynamic arrow are assembled. Chapter 1 Why Time Is a Problem The conceptual status of time remains deeply problematic in contemporary physics. Relativity eliminates absolute simultaneity; quantum theory challenges the notion of observer-independent states; and neither framework explains how temporal structure itself arises. Ask a physicist of the nineteenth century what time is, and the answer would have been serene: time is a universal, externally given parameter. Every event in the universe happens at some moment of a single cosmic clock, and physics describes how things change as that clock ticks. Newton wrote it into the foundations: absolute time "flows equably without regard to anything external." This picture is intuitive, it matches everyday experience, and it is built into the very grammar of classical mechanics, where every equation of motion says how a quantity changes with respect to
t — a
t that is simply assumed to be there, the same for everyone, everywhere. Modern physics profoundly destabilized this picture — twice, from two independent directions. The first blow came from special relativity. Einstein's 1905 analysis showed that there is no such thing as absolute simultaneity: whether two distant events happen "at the same time" depends on the observer's state of motion. Time intervals themselves are frame-dependent. This is not a limitation of our measuring devices; it is a structural feature of spacetime. There is no privileged universal "now" slicing the universe into past and future — no preferred foliation, in the technical vocabulary — that all observers could agree on. What relativity leaves behind is a network of relations: which events can influence which, encoded in the invariant light-cone structure. The second blow came from quantum theory, which undermines something even more basic: the idea that a physical system simply has a defin
This research develops and characterises an experimental system for cooling atoms to extremely low temperatures. The work establishes precise and reliable control over cold atoms and their interactions, enabling stable and repeatable experiments. This system allows complex physical behaviour to be studied over time rather than space. The research advances experimental methods for controlling quantum systems and supports long-term progress in quantum science, with potential benefits for future technologies such as advanced sensing and quantum information.
Significant progress in the development of efficient and fast algorithms for quantum chemical calculations has been made in the past two decades. The main focus has al-ways been the desire to be able to treat ever larger molecules or molecular assemblies— especially linear and sub-linear scaling techniques are devoted to the accomplishment of this goal. However, as many chemical reactions are rather local, they usually involve only a limited number of atoms so that models of about two hundred (or even less) atoms embedded in a suitable environment are sufficient to study their mechanisms. Thus, the system size does not need to be enlarged, but remains constant for reactions of this type that can be described by less than two hundred atoms. The question then arises how fast one can obtain the quantum chemical results. This question is not directly answered by linear-scaling techniques. In fact, ideas such as haptic quantum chemistry or interactive quantum chemistry require an immediate provision of quan-tum chemical information which demands the calculation of data in “real time”. In this perspective, we aim at a definition of real-time quantum chemistry, explore its realm and eventually discuss applications in the field of haptic quantum chemistry. For the latter we elaborate whether a direct approach is possible by virtue of real-time quantum chemistry. Submitted for publication as a perspective article in Int. J. Quantum Chem.