Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Electronic Notes in Theoretical Computer Science

Semantic Abstraction and Quantum Computation

Alessandra Di Pierro, Herbert Wiklicky

Published Jul 1, 2008• 1 citation
Publisher

Abstract

We present a logico-algebraic approach to probabilistic abstract interpretation based on the ortholattice structure of the projective measurement operators in quantum mechanics. On this base, we present a novel interpretation of quantum measurement as a probabilistic abstraction showing that the measurement of a physical observable essentially corresponds to a static analysis of the observed property.

DOI
10.1016/j.entcs.2008.04.017

Related papers

Towards a Quantum Calculus

Philippe Jorrand, Simon Perdrix

The aim of this paper is to introduce a general model of quantum computation, the quantum calculus: both unitary transformations and projective measurements are allowed; furthermore a complete classical control, including conditional structures and loops, is available. Complementary to its operational semantics, we introduce a pure denotational semantics for the quantum calculus. Based on probabilistic power domains [Jones, C. and G. D. Plotkin, A probabilistic powerdomain of evaluations, in: LICS, 1989, pp. 186–195. URL http://homepages.inf.ed.ac.uk/gdp/publications/Prob_Powerdomain.pdf], this pure denotational semantics associates with any description of a computation in the quantum calculus its action in a mathematical setting. Adequacy between operational and pure denotational semantics is established. Additionally to this pure denotational semantics, an observable denotational semantics is introduced. Following the work by Selinger, this observable denotational semantics is based on density matrices and super-operators. Finally, we establish an exact abstraction connection between these two semantics.

Electronic Notes in Theoretical Computer Science•Jul 1, 2008•2 citations

QUANTUM MEASUREMENT AND PROJECTIVE OPERATORS THEORETICAL FRAMEWORKS

P. Kiran Goud

Quantum measurement theory forms one of the fundamental pillars of quantum mechanics and quantum in formation science. This work presents a theoretical study of quantum measurement and projective operators, emphasizing their mathematical structure, physical interpretation, and computational significance. The frame work of Hilbert spaces, state vectors, linear operators, and Hermitian observables is explored to describe the evolution and observation of quantum systems. Projective measurement operators are analyzed through eigen value decomposition and projection postulates, illustrating how quantum states collapse into orthogonal basis states after measurement. The probabilistic nature of measurement outcomes, governed by Born’s rule, is dis cussed along with the role of orthonormal bases and completeness relations. Furthermore, the paper highlights the importance of projection operators in quantum computing, quantum communication, and quantum algorithm de sign. Applications in qubit state discrimination, entanglement verification, and quantum error correction are also examined. This theoretical framework provides a strong mathematical foundation for understanding the principles of quantum measurements and their relevance in modern quantum technologies.

Iterative International Publishers eBooks•May 1, 2026•0 citations

Statistical Interpretation of the Procedures Measurement of Physical Quantities

Pandiscia Carlo

This work develops a conceptual framework for the foundations of quantum physics, linking two main approaches: the algebraic formulation and quantum probability. Rather than proposing new axioms or theories, the text reorganizes and synthesizes existing models, highlighting their assumptions, conceptual structures, and operational significance. The analysis begins with von Neumann's measurement theory and its subsequent developments by Mackey, emphasizing the role of experimentally feasible procedures and the need for a statistical model grounded in laboratory practice. The work adopts an operational perspective, according to which physical quantities are defined solely through experimental measurement methods, and the corresponding probabilistic measures are derived from measurement outcomes. The introduction critically examines the limitations of purely mathematical formulations - such as the algebraic method - when separated from experimental interpretation. The text argues for a clear distinction between axioms, postulates, and presuppositions, and for a reconstruction of quantum theory that respects both empirical constraints and conceptual clarity. Overall, the goal is to provide a coherent path from operational principles to algebraic structures, offering a basis for an axiomatic reformulation of quantum mechanics that remains faithful to physical practice.

quant-pharXiv:2605.22264•May 22, 2026•0 citations

Quantum Probability

Heinz‐Peter Breuer, Francesco Petruccione

Abstract This chapter develops the fundamental notions and concepts of the probabilistic and statistical interpretation of quantum mechanics. It begins with a brief review of the mathematical structure given by a Hilbert space of state vectors and an algebra of observables represented by selfadjoint operators. Special emphasis is laid on the connection between the spectral representation of a selfadjoint operator and a corresponding random variable that describes the possible measurement outcomes. The chapter further introduces the concepts of a composite quantum system, of the reduced density matrix, and of entangled quantum states. A section on quantum entropies is included, as well as the mathematical formulation of the generalized theory of quantum measurements in terms of completely positive quantum operations and effects.

•Jan 25, 2007•0 citations

Sheaf-theoretic representation of quantum measure algebras

Elias Zafiris

We construct a sheaf-theoretic representation of quantum probabilistic structures, in terms of covering systems of Boolean measure algebras. These systems coordinatize quantum states by means of Boolean coefficients, interpreted as Boolean localization measures. The representation is based on the existence of a pair of adjoint functors between the category of presheaves of Boolean measure algebras and the category of quantum measure algebras. The sheaf-theoretic semantic transition of quantum structures shifts their physical significance from the orthoposet axiomatization at the level of events, to the sheaf-theoretic gluing conditions at the level of Boolean localization systems.

Journal of Mathematical Physics•Sep 1, 2006•16 citations

Probabilistic Interpretation and the Quantum Theory of Measurement

Ziro Maki

The logical foundation of the probabilistic intrepretation of quantum-mechanical states is re-examined in view of Fukuda's new theory of measurement. We suggest that the probabilistic interpretation could be viewed as a natural consequence of the reduction of states upon meaurement, rather than an a priori ansatz contained in the “external observation” framework of quantum mechanics.

Progress of Theoretical Physics•Jan 1, 1988•9 citations
We present a logico-algebraic approach to probabilistic abstract interpretation based on the ortholattice structure of the projective measurement operators in quantum mechanics. On this base, we present a novel interpretation of quantum measurement as a probabilistic abstraction showing that the measurement of a physical observable essentially corresponds to a static analysis of the observed property.
The aim of this paper is to introduce a general model of quantum computation, the quantum calculus: both unitary transformations and projective measurements are allowed; furthermore a complete classical control, including conditional structures and loops, is available. Complementary to its operational semantics, we introduce a pure denotational semantics for the quantum calculus. Based on probabilistic power domains [Jones, C. and G. D. Plotkin, A probabilistic powerdomain of evaluations, in: LICS, 1989, pp. 186–195. URL http://homepages.inf.ed.ac.uk/gdp/publications/Prob_Powerdomain.pdf], this pure denotational semantics associates with any description of a computation in the quantum calculus its action in a mathematical setting. Adequacy between operational and pure denotational semantics is established. Additionally to this pure denotational semantics, an observable denotational semantics is introduced. Following the work by Selinger, this observable denotational semantics is based on density matrices and super-operators. Finally, we establish an exact abstraction connection between these two semantics.
Quantum measurement theory forms one of the fundamental pillars of quantum mechanics and quantum in formation science. This work presents a theoretical study of quantum measurement and projective operators, emphasizing their mathematical structure, physical interpretation, and computational significance. The frame work of Hilbert spaces, state vectors, linear operators, and Hermitian observables is explored to describe the evolution and observation of quantum systems. Projective measurement operators are analyzed through eigen value decomposition and projection postulates, illustrating how quantum states collapse into orthogonal basis states after measurement. The probabilistic nature of measurement outcomes, governed by Born’s rule, is dis cussed along with the role of orthonormal bases and completeness relations. Furthermore, the paper highlights the importance of projection operators in quantum computing, quantum communication, and quantum algorithm de sign. Applications in qubit state discrimination, entanglement verification, and quantum error correction are also examined. This theoretical framework provides a strong mathematical foundation for understanding the principles of quantum measurements and their relevance in modern quantum technologies.
This work develops a conceptual framework for the foundations of quantum physics, linking two main approaches: the algebraic formulation and quantum probability. Rather than proposing new axioms or theories, the text reorganizes and synthesizes existing models, highlighting their assumptions, conceptual structures, and operational significance. The analysis begins with von Neumann's measurement theory and its subsequent developments by Mackey, emphasizing the role of experimentally feasible procedures and the need for a statistical model grounded in laboratory practice. The work adopts an operational perspective, according to which physical quantities are defined solely through experimental measurement methods, and the corresponding probabilistic measures are derived from measurement outcomes. The introduction critically examines the limitations of purely mathematical formulations - such as the algebraic method - when separated from experimental interpretation. The text argues for a clear distinction between axioms, postulates, and presuppositions, and for a reconstruction of quantum theory that respects both empirical constraints and conceptual clarity. Overall, the goal is to provide a coherent path from operational principles to algebraic structures, offering a basis for an axiomatic reformulation of quantum mechanics that remains faithful to physical practice.
Abstract This chapter develops the fundamental notions and concepts of the probabilistic and statistical interpretation of quantum mechanics. It begins with a brief review of the mathematical structure given by a Hilbert space of state vectors and an algebra of observables represented by selfadjoint operators. Special emphasis is laid on the connection between the spectral representation of a selfadjoint operator and a corresponding random variable that describes the possible measurement outcomes. The chapter further introduces the concepts of a composite quantum system, of the reduced density matrix, and of entangled quantum states. A section on quantum entropies is included, as well as the mathematical formulation of the generalized theory of quantum measurements in terms of completely positive quantum operations and effects.
We construct a sheaf-theoretic representation of quantum probabilistic structures, in terms of covering systems of Boolean measure algebras. These systems coordinatize quantum states by means of Boolean coefficients, interpreted as Boolean localization measures. The representation is based on the existence of a pair of adjoint functors between the category of presheaves of Boolean measure algebras and the category of quantum measure algebras. The sheaf-theoretic semantic transition of quantum structures shifts their physical significance from the orthoposet axiomatization at the level of events, to the sheaf-theoretic gluing conditions at the level of Boolean localization systems.