Related papers: Terminality implies non-signalling
Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it provides both a sound and complete proof methodology for a…
Bifurcation theory and continuation methods are well-established tools for the analysis of nonlinear mechanical systems subject to periodic forcing. We illustrate the added value and the complementary information provided by singularity…
The quantum state \psi is a mathematical object used to determine the probabilities of different outcomes when measuring a physical system. Its fundamental nature has been the subject of discussions since the inception of quantum theory: is…
We introduce the notion of a leak for general process theories, and identify quantum theory as a theory with minimal leakage, while classical theory has maximal leakage. We provide a construction that adjoins leaks to theories, an instance…
It can be argued that the ordinary description of the reversible quantum process between two one-to-one correlated measurement outcomes is incomplete because, by not specifying the direction of causality, it allows causal structures that…
Phase Transition is associated with a drastic change in some observable (ordered parameter) of the system when the controlled parameter is tuned smoothly. Lee-Yang theory of phase transition is discussed which is related to the accumulation…
By using an exact analytical non-Hermitian formalism involving the full set of resonance (quasinormal) states and complex energy eigenvalues for quantum tunneling decay, we show that unitarity holds at any instant of time for the…
Process science is a highly interdisciplinary field of research. Despite numerous proposals, process science lacks an adequate understanding of the core concepts of the field, including notions such as process, event, and system. A more…
For a wide set of quantum systems it is demonstrated that the quantum regime can be considered as the transient phase while the final classical statistical regime is a permanent state. A basis where exact matrix decoherence appears for…
A complete characterization of the set of states that can be achieved through Thermal Processes (TP) is given by describing all vertices, edges and facets of the allowed set of states in the language of thermomajorization curves. TPs are…
We acuminate the idea of a final theory of physics in order to analyze its logical implications and consequences. It is argued that the rationale of a final theory is the principle of sufficient reason. This implies that a final theory of…
Linearity allows several versions of reality to simultaneously exist in the state vector. But it implies that there is no interaction between versions, and that there will never be perception of more than one version. It also implies, in…
We present a unifying framework for type systems for process calculi. The core of the system provides an accurate correspondence between essentially functional processes and linear logic proofs; fragments of this system correspond to…
The paper shortly presents the role of Stochastic Processes Theory in the present day Quantum Theory, and the relation to Operational Quantum Physics. The dynamics of an open quantum system is studied on a usual example from Quantum Optics,…
A generic non-integrable (unitary) out-of-equilibrium quantum process, when interrogated across many times, is shown to yield the same statistics as an (non-unitary) equilibrated process. In particular, using the tools of quantum stochastic…
A central feature of quantum mechanics is the non-commutativity of operators used to describe physical observables. In this article, we present a critical analysis on the role of non-commutativity in quantum theory, focusing on its…
Causal modelling provides a powerful set of tools for identifying causal structure from observed correlations. It is well known that such techniques fail for quantum systems, unless one introduces `spooky' hidden mechanisms. Whether one can…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
In ordinary, non-relativistic, quantum physics, time enters only as a parameter and not as an observable: a state of a physical system is specified at a given time and then evolved according to the prescribed dynamics. While the state can,…
The study of causal relations has recently been applied to the quantum realm, leading to the discovery that not all physical processes have a definite causal structure. While indefinite causal processes have previously been experimentally…