Related papers: Connectedness Applied to Closure Spaces and State …
Contextuality is a key characteristic that separates quantum from classical phenomena and an important tool in understanding the potential advantage of quantum computation. However, when assessing the quantum resources available for quantum…
We present a canonical way of assigning to each magnitude of a classical mechanical system a differential operator in the configuration space, thus rigorously establishing the Correspondence Principle for such systems. Here we show how each…
We illustrate some problems that are related to the existence of an underlying linear structure at the level of the property lattice associated with a physical system, for the particular case of two explicitly separated spin 1/2 objects…
A generalized formal framework for decoherence, that can be used both in open and closed quantum systems, is sketched. In this context, the relationship between the decoherence of a closed system and the decoherence of its subsystems is…
An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. The theory is endowed with a rule for composing an arbitrary number of systems, and with a…
Familiar formulations of classical and quantum mechanics are shown to follow from a general theory of mechanics based on pure states with an intrinsic probability structure. This theory is developed to the stage where theorems from quantum…
This work exploits a framework whereby a graph (in the mathematical sense) serves to connect a classical system to a state space that we call `quantum-like' (QL). The QL states comprise arbitrary superpositions of states in a tensor product…
The goal of this note is to compare two notions, one coming from the theory of rewrite systems and the other from proof theory: confluence and cut elimination. We show that to each rewrite system on terms, we can associate a logical system:…
A necessary and sufficient condition for characterization and quantification of entanglement of any bipartite Gaussian state belonging to a special symmetry class is given in terms of classicality measures of one-party states. For Gaussian…
We present general mappings between classical spin systems and quantum physics. More precisely, we show how to express partition functions and correlation functions of arbitrary classical spin models as inner products between quantum…
Choosing a specific way of dividing a closed system into parts is a starting point for the decoherence program and for the quantum thermalization program. It is shown that one can always chose such way of partitioning that…
We give an approach to open quantum systems based on formal deformation quantization. It is shown that classical open systems of a certain type can be systematically quantized into quantum open systems preserving the complete positivity of…
We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o\nobreakdash-\hspace{0pt}minimal structures on $(\mathbb{R},<)$ have the property, as do…
We introduce a fundamental concept -- closed sets of correlations -- for studying non-local correlations. We argue that sets of correlations corresponding to information-theoretic principles, or more generally to consistent physical…
Nonclassicality cannot be a single-observable property since the statistics of any quantum observable is compatible with classical physics. We develop a general procedure to reveal nonclassical behavior from the joint measurement of…
Recently, a complete characterization of connected Lie groups with the Approximation Property was given. The proof used of the newly introduced property (T*). We present here a short proof of the same result avoiding the use of property…
Predicate logic is the premier choice for specifying classes of relational structures. Homomorphisms are key to describing correspondences between relational structures. Questions concerning the interdependencies between these two means of…
We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior…
We offer a systematic account of decomposition of quantum systems into parts. Different decompositions (structures) are mutually linked via the proper linear canonical transformations. Different kinds of structures, as well as their…
I discuss classical and quantum recurrence theorems in a unified manner, treating both as generalisations of the fact that a system with a finite state space only has so many places to go. Along the way I prove versions of the recurrence…