Related papers: Atomic Entailment and Atomic Inconsistency and Cla…
The thermodynamic uncertainty relation expresses a seemingly universal trade-off between the cost for driving an autonomous system and precision in any output observable. It has so far been proven for discrete systems and for overdamped…
The classical invariants of a Hamiltonian system are expected to be derivable from the respective quantum spectrum. In fact, semiclassical expressions relate periodic orbits with eigenfunctions and eigenenergies of classical chaotic…
We describe explicitly how entanglement between quantum mechanical subsystems can lead to emergent gauge symmetry in a classical limit. We first provide a precise characterisation of when it is consistent to treat a quantum subsystem…
A new criterion, based on noncontextuality, is derived to discriminate between separable and nonseparable states in classical wave optics where no discreteness is involved. An experiment is proposed to test the violation of noncontextuality…
A definition for the entanglement entropy in both Abelian and non-Abelian gauge theories has been given in the literature, based on an extended Hilbert space construction. The result can be expressed as a sum of two terms, a classical term…
Endeavoring to formulate an exhaustive solution to the measurement problem in view of the theory of decoherence leads to a better understanding of the status of the collapse and of the emergence of classicality, thanks to a precise…
The transport of ultra-cold atoms in magneto-optical potentials provides a clean setting in which to investigate the distinct predictions of classical versus quantum dynamics for a system with coupled degrees of freedom. In this system,…
I explain in what sense the structure of space and time is probably vague or indefinite, a notion I define. This leads to the mathematical representation of location in space and time by a vague interval. From this, a principle of…
We propose the necessary and sufficient condition for the presence of quantum entanglement in arbitrary symmetric pure states of two-level atomic systems. We introduce a parameter to quantify quantum entanglement in such systems. We express…
We define a class of Separation Logic formulae, whose entailment problem: given formulae $\phi, \psi_1, \ldots, \psi_n$, is every model of $\phi$ a model of some $\psi_i$? is 2EXPTIME-complete. The formulae in this class are existentially…
This paper follows up a recent debate as to whether classical electrodynamics is inconsistent. I suggest that disagreements can be managed by disambiguating 'theory' in two different ways.
The entailment between separation logic formulae with inductive predicates, also known as symbolic heaps, has been shown to be decidable for a large class of inductive definitions. Recently, a 2-EXPTIME algorithm was proposed and an…
We extend the theory of atomized semilattices to the infinite setting. We show that it is well-defined and that every semilattice is atomizable. We also study atom redundancy, focusing on complete and finitely generated semilattices and…
The hypothesis that matter is made of some ultimate and indivisible objects, together the restricted relativity principle, establishes a constraint on the kind of variables we are allowed to use for the variational description of elementary…
We present a pedagogical review of old inconsistencies of Classical Electrodynamics and of some new ideas that solve them. Problems with the electron equation of motion and with the non-integrable singularity of its self-field energy tensor…
We consider the coupling of quantum fields to classical gravity in the formalism of ensembles on configuration space, a model that allows a consistent formulation of interacting classical and quantum systems. Explicit calculations show that…
We give a pedagogical introduction to quantum discord. We the discuss the problem of separation of total correlations in a given quantum state into entanglement, dissonance, and classical correlations using the concept of relative entropy…
The concept of decoherence is defined, and discussed in a historical context. This is illustrated by some of its essential consequences which may be relevant for the interpretation of quantum theory. Various aspects of the formalism are…
Classical linear wave superposition produces the appearance of interference. This observation can be interpreted in two equivalent ways: one can assume that interference is an illusion because input components remain unperturbed, or that…
We investigate the interplay of crystal bases and completions in the sense of Enright on certain nonintegrable representations of quantum groups. We define completions of crystal bases, show that this notion of completion is compatible with…