We develop an algebraic frame for the simultaneous treatment of actual and possible properties of quantum\ud systems.We show that, in spite of the fact that the language is enriched with the addition of a modal operator\ud to the orthomodular structure, contextuality remains a central feature of quantum system

In this paper we attempt to physically interpret the Modal Kochen-Specker (MKS) theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of "possibility" in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between actual and possible realms.

In this work we build a quantum logic that allows us to refer to physical magnitudes\ud pertaining to different contexts from a fixed one without the contradictions\ud with quantum mechanics expressed in no-go theorems. This logic arises from considering\ud a sheaf over a topological space associated with the Boolean sublattices of\ud the ortholattice of closed subspaces of the Hilbert space of the physical system.\ud Different from standard quantum logics, the contextual logic maintains a distributive\ud lattice structure and a good definition of implication as a residue of the\ud conjunctio

The present paper is a sequel to Paoli F, Ledda A, Giuntini R, Freytes H (On some properties of QMV algebras and √ QMV algebras, submitted). We provide two representation results for quasi-MV algebras in terms of MV algebras enriched with additional structure; we investigate the lattices of subvarieties and subquasivarieties of quasi-MV algebras; we show that quasi-MV algebras, as well as cartesian and flat √ quasi-MV algebras, have the amalgamation property.

We address the problem of finding the optimal common resource for an arbitrary family of target states in quantum resource theories based on majorization, that is, theories whose conversion law between resources is determined by a majorization relationship, such as it happens with entanglement, coherence or purity. We provide a conclusive answer to this problem by appealing to the completeness property of the majorization lattice. We give a proof of this property that relies heavily on the more geometric construction provided by the Lorenz curves, which allows to explicitly obtain the corresponding infimum and supremum. Our framework includes the case of possibly nondenumerable sets of target states (i.e. targets sets described by continuous parameters). In addition, we show that a notion of approximate majorization, which has recently found application in quantum thermodynamics, is in close relation with the completeness of this lattice. Finally, we provide some examples of optimal common resources within the resource theory of quantum coherence.

This paper proposes a new quantum-like method for the binary classification applied to classical datasets. Inspired by the quantum Helstrom measurement, this innovative approach has enabled us to define a new classifier, called Helstrom Quantum Centroid (HQC). This binary classifier (inspired by the concept of distinguishability between quantum states) acts on density matrices—called density patterns —that are the quantum encoding of classical patterns of a dataset. In this paper we compare the performance of HQC with respect to twelve standard (linear and non-linear) classifiers over fourteen different datasets. The experimental results show that HQC outperforms the other classifiers when compared to the Balanced Accuracy and other statistical measures. Finally, we show that the performance of our classifier is positively correlated to the increase in the number of “quantum copies” of a pattern and the resulting tensor product thereof.

Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer consistently to actual and possible properties of the system. By means of a topological argument, more precisely in terms of the existence of sections of sheaves, we give an extended version of Kochen-Specker theorem over this new structure. This allows us to prove that contextuality remains a central feature even in the enriched propositional system.

In this paper we attempt to analyze the concept of quantum probability within quantum computation and quantum computational logic. While the subjectivist interpretation of quantum probability explains it as a reliable predictive tool for an agent in order to compute measurement outcomes, the objectivist interpretation understands quantum probability as providing reliable information of a real state of affairs. After discussing these different viewpoints we propose a particular objectivist interpretation grounded on the idea that the Born rule provides information about an intensive realm of reality. We then turn our attention to the way in which the subjectivist interpretation of probability is presently applied within both quantum computation and quantum computational logic. Taking as a standpoint our proposed intensive account of quantum probability we discuss the possibilities and advantages it might open for the modeling and development of both quantum computation and quantum computational logic.