Related papers: Towards "dynamic domains": totally continuous coco…
Quantum Chromodynamics and Quantum Electrodynamics, both renormalizable quantum field theories with a small number of precisely constrained input parameters, dominate the dynamics of the quarks and gluons - the underlying building blocks of…
Complex dynamics when occurring autonomously, i.e. without external driving, is usually associated with everyday length scales and classical physics, e.g. living organisms. This dynamics is \emph{not} quantum coherent. Quantum coherent…
We investigate path integral formalism for continuum theory. It is shown that the path integral for the soft modes can be represented in the form of a lattice theory. Kinetic term of this lattice theory has a standard form and potential…
We consider an effective kinetic description for quantum many-body systems, which is not based on a weak-coupling or diluteness expansion. Instead, it employs an expansion in the number of field components N of the underlying scalar quantum…
This paper introduces robust differential dynamic logic (a fragment of differential dynamic logic) to specify and reason about robust hybrid systems. Practically meaningful syntactic restrictions naturally ensure that definable properties…
Motivated by recent applications to entropy theory in dynamical systems, we generalise notions introduced by Matthews and define weakly weighted and componentwisely weakly weighted (generalised) quasi-metrics. We then systematise and extend…
The Luttinger-Ward functional was proposed more than five decades ago to provide a link between static and dynamic quantities in a quantum many-body system. Despite its widespread usage, the derivation of the Luttinger-Ward functional…
We propose a discrete spacetime formulation of quantum electrodynamics in one-dimension (a.k.a the Schwinger model) in terms of quantum cellular automata, i.e. translationally invariant circuits of local quantum gates. These have exact…
A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cut elimination), and at identifying classes of logics that…
It is argued that the dynamics of an isolated system, due to the concrete procedure by which it is separated from the environment, has a non-Hamiltonian contribution. By a unified quantum field theoretical treatment of typical subdynamics,…
Following some past advances, we reformulate a large class of linear continuum science equations in the format of the extended abstract theory of composites so that we can apply this theory to better understand and efficiently solve those…
Coherent dynamics of interacting quantum particles plays a central role in the study of strongly correlated quantum matter and the pursuit of quantum information processors. Here, we present the state-space of interacting Rydberg atoms as a…
Quantum dynamics of integrable systems is discussed. Localized wave packets generalizing the conventional coherent states of minimal uncertainty are constructed. The wave packet moves along a certain trajectory and does not change its shape…
This paper presents a formalism describing the dynamics of a quantum particle in a one-dimensional, time-dependent, tilted lattice. The formalism uses the Wannier-Stark states, which are localized in each site of the lattice, and provides a…
Extending the successes of lattice quantum chromodynamics(QCD) at zero as well as nonzero temperatures to nonzero density is extremely desirable in view of the quest for the QCD phase diagram both theoretically and experimentally. It turns…
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic…
We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is…
Complete analysis of quantum wave functions of linear systems in an arbitrary number of dimensions is given. It is shown how one can construct a complete set of stationary quantum states of an arbitrary linear system from purely classical…
At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would…
Dynamical systems---by which we mean machines that take time-varying input, change their state, and produce output---can be wired together to form more complex systems. Previous work has shown how to allow collections of machines to…