Related papers: Classicality and connectedness for state property …
In earlier work a description of a physical entity is given by means of a state property system and it is proven that any state property system is equivalent to a closure space. In the present paper we investigate the relations between…
We introduce classical properties using the concept of super selection rule, i.e. two properties are separated by a superselection rule iff there do not exist 'superposition states' related to these two properties. Then we show that the…
We show that the natural mathematical structure to describe a physical entity by means of its states and its properties within the Geneva-Brussels approach is that of a state property system. We prove that the category of state property…
We prove a decomposition theorem for orthocomplemented state property systems. More specifically we prove that an orthocomplemented state property system is isomorphic to the direct union of the non classical components of this state…
The definition of 'classical state', and how it was used in earlier work to prove a decomposition theorem internally in the language of State Property Systems, presupposes as an additional datum an orthocomplementation on the property…
The structure of a state property system was introduced to formalize in a complete way the operational content of the Geneva-Brussels approach to the foundations of quantum mechanics, and the category of state property systems was proven to…
We extend the concept of classicality in quantum optics to spin states. We call a state ``classical'' if its density matrix can be decomposed as a weighted sum of angular momentum coherent states with positive weights. Classical spin states…
Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for topological models, namely Topo-bisimilarity, to closure…
We study the concepts of compatibility and separability and their implications for quantum and classical systems. These concepts are illustrated on a macroscopic model for the singlet state of a quantum system of two entangled spin 1/2 with…
Quantum mechanics exhibits a wide range of nonclassical features, of which entanglement in multipartite systems takes a central place. In several specific settings, it is well known that nonclassicality (e.g., squeezing, spin squeezing,…
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…
By considering a generalisation of the CPM construction, we develop an infinite hierarchy of probabilistic theories, exhibiting compositional decoherence structures which generalise the traditional quantum-to-classical transition.…
In the framework of certain general probability theories of single systems, we identify various nonclassical features such as incompatibility, multiple pure-state decomposability, measurement disturbance, no-cloning and the impossibility of…
Decomposition of state spaces into dynamically different components is helpful for the understanding of dynamical behaviors of complex systems. A Conley type decomposition theorem is proved for nonautonomous dynamical systems defined on a…
Central in entanglement theory is the characterization of local transformations among pure multipartite states. As a first step towards such a characterization, one needs to identify those states which can be transformed into each other via…
Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a given TS a PN whose reachability graph is equivalent (with a…
A 'state property system' is the mathematical structure which models an arbitrary physical system by means of its set of states, its set of properties, and a relation of 'actuality of a certain property for a certain state'. We work out a…
We consider two celebrated criteria for defining the non-classicality of bipartite bosonic quantum systems, the first stemming from information theoretic concepts and the second from physical constraints on the quantum phase-space.…
Contextuality is considered as one of the most distinctive features of nonclassical systems. Here, we show that a Spekkens contextual system (which previous work has shown is a necessary condition for nonclassicality) formed of an…
The quantum inspired State Context Property (SCOP) theory of concepts is unique amongst theories of concepts in offering a means of incorporating that for each concept in each different context there are an unlimited number of exemplars, or…