Related papers: CPM Categories for Galois Extensions
We discuss the concept of Galois structure and Galois epimorphism in a general setting. Namely, a Galois structure for an epimorphism $\pi\colon M\to B$ in some category ${\mathcal C}$ is the action of a group object that gives to $M$ the…
Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes…
We establish an operational connection between discrete rounds of generalized measurements and continuous-time decoherence, with an explicit correspondence between the number of measurement rounds and the evolution time. Operationally, we…
This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or "toy" model of quantum mechanics over sets (QM/sets). There…
This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is…
We develop a Galois (descent) theory for comonads within the framework of bicategories. We give generalizations of Beck's theorem and the Joyal-Tierney theorem. Many examples are provided, including classical descent theory, Hopf-Galois…
We show that quantum theory (QT) is a substructure of classical probabilistic physics. The central quantity of the classical theory is Hamilton's function, which determines canonical equations, a corresponding flow, and a Liouville equation…
By considering (non-relativistic) quantum mechanics as it is done in practice in particular in condensed-matter physics, it is argued that a deterministic, unitary time evolution within a chosen Hilbert space always has a limited scope,…
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…
Quantum coherence is one of the most important resources in quantum information. Indeed, preventing the loss of coherence is one of the most important technical challenges obstructing the development of large-scale quantum computers.…
In quantum information theory, quantum discord has been proposed as a tool to characterise the presence of "quantum correlations" between the subparts of a given system. Whether a system behaves quantum-mechanically or classically is…
Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P. In…
For the standard Quantum Brownian Motion (QBM) model, we point out the occurrence of simultaneous (parallel), mutually irreducible and autonomous decoherence processes. Besides the standard, one Brownian particle, we show there is at least…
General relativity required the abandonment of Euclidean geometry. Here we show that quantum theory requires the abandonment of classical logic. We show that the Hilbert space representation of quantum theory is logically inevitable. There…
We study the decoherence process for an open quantum system which is classically chaotic (a quartic double well with harmonic driving coupled to a sea of harmonic oscillators). We analyze the time dependence of the rate of entropy…
Decoherent histories quantum theory is reformulated with the assumption that there is one "real" fine-grained history, specified in a preferred complete set of sum-over-histories variables. This real history is described by embedding it in…
In this universe, governed fundamentally by quantum mechanical laws, characterized by indeterminism and distributed probabilities, classical deterministic laws are applicable over a wide range of time, place, and scale. We review the origin…
The existence of indistinguishable quantum particles provides an explanation for various physical phenomena we observe in nature. We lay out a path for the study of indistinguishable particles in general probabilistic theories (GPTs) via…
We study the decay of survival probability at quantum phase transitions (QPT). The semiclassical theory is found applicable in the vicinities of critical points with infinite degeneracy. The theory predicts a power law decay of the survival…
In Newtonian mechanics, any closed-system dynamics of a composite system in a microstate will leave all its individual subsystems in distinct microstates, however this fails dramatically in quantum mechanics due to the existence of quantum…