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

arXiv:quant-ph/0304159 · Studies in History and Philosophy of Science Part B Studies in History and Philosophy of Modern Physics

Quantum information processing, operational quantum logic, convexity, and the foundations of physics

Howard Barnum

Published Jun 30, 2003• 18 citations
arXivHTMLPDF
DOI
10.1016/s1355-2198(03)00033-9

Related papers

Quantum logic and operational quantum mechanics

Maria Cristina Abbati, Alessandro Manià

Reports on Mathematical Physics•Jun 1, 1984•4 citations

Quantum information processing and quantum logic: toward mutual illumination

Howard Barnum

Quantum information and computation may serve as a source of useful axioms and ideas for the quantum logic/quantum structures project of characterizing and classifying types of physical theories, including quantum mechanics and classical mechanics. The axiomatic approach of quantum structures may help isolate what aspects of quantum mechanics are responsible for what aspects of its greater-than-classical information processing power, and whether more general physical theories may escape some common limitations of classical and quantum theories. Also, by by helping us understand how existing quantum algorithms work, quantum structures analyses may suggest new quantum protocols exploiting general features of quantum mechanics. I stress the importance, for these matters, of understanding open and closed-system dynamics, and the structure of composite systems in general frameworks for operational theories, such as effect algebras, convex sets, and related structures.

arXiv:quant-ph/0205129•May 20, 2002•3 citations

Coordinating quantum agents' perspectives: convex operational theories, quantum information, and quantum foundations

Howard Barnum

In this paper, I propose a project of enlisting quantum information science as a source of task-oriented axioms for use in the investigation of operational theories in a general framework capable of encompassing quantum mechanics, classical theory, and more. Whatever else they may be, quantum states of systems are compendia of probabilities for the outcomes of possible operations we may perform on the systems: ``operational theories.'' I discuss appropriate general frameworks for such theories, in which convexity plays a key role. Such frameworks are appropriate for investigating what things look like from an ``inside view,'' i.e. for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ``geometric'' picture (``outside view'') coordinating them all can be had, even if this picture is very different in nature from the structure of the perspectives within it, is the key to understanding whether we may be able to achieve a unified, ``objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ``geometric'' conception of physics. The nature of information, its flow and processing, as seen from various operational persepectives, is likely to be key to understanding whether and how such coordination and unification can be achieved.

arXiv:quant-ph/0611110•Nov 10, 2006•3 citations

Operational foundation of quantum logic

Peter Mittelstaedt, Ernst-Walther Stachow

Foundations of Physics•Sep 1, 1974•8 citations

The dynamic turn in quantum logic

Alexandru Baltag, Sonja Smets

In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the “dynamic turn” in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the logical foundations of Quantum Physics, and in particular the area known as Operational Quantum Logic, as developed by Jauch and Piron (Helve Phys Acta 42:842–848, 1969 ), Piron (Foundations of Quantum Physics, 1976 ). By bringing these areas together we explain the basic ingredients of Dynamic Quantum Logic, a new direction of research in the logical foundations of physics.

Synthese•Jun 6, 2011•32 citations

Quantum Circuits and Quantum Information Processing Fundamentals

Ivan B. Djordjević

Elsevier eBooks•Jan 1, 2012•5 citations
Quantum information and computation may serve as a source of useful axioms and ideas for the quantum logic/quantum structures project of characterizing and classifying types of physical theories, including quantum mechanics and classical mechanics. The axiomatic approach of quantum structures may help isolate what aspects of quantum mechanics are responsible for what aspects of its greater-than-classical information processing power, and whether more general physical theories may escape some common limitations of classical and quantum theories. Also, by by helping us understand how existing quantum algorithms work, quantum structures analyses may suggest new quantum protocols exploiting general features of quantum mechanics. I stress the importance, for these matters, of understanding open and closed-system dynamics, and the structure of composite systems in general frameworks for operational theories, such as effect algebras, convex sets, and related structures.
In this paper, I propose a project of enlisting quantum information science as a source of task-oriented axioms for use in the investigation of operational theories in a general framework capable of encompassing quantum mechanics, classical theory, and more. Whatever else they may be, quantum states of systems are compendia of probabilities for the outcomes of possible operations we may perform on the systems: ``operational theories.'' I discuss appropriate general frameworks for such theories, in which convexity plays a key role. Such frameworks are appropriate for investigating what things look like from an ``inside view,'' i.e. for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ``geometric'' picture (``outside view'') coordinating them all can be had, even if this picture is very different in nature from the structure of the perspectives within it, is the key to understanding whether we may be able to achieve a unified, ``objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ``geometric'' conception of physics. The nature of information, its flow and processing, as seen from various operational persepectives, is likely to be key to understanding whether and how such coordination and unification can be achieved.
In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the “dynamic turn” in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the logical foundations of Quantum Physics, and in particular the area known as Operational Quantum Logic, as developed by Jauch and Piron (Helve Phys Acta 42:842–848, 1969 ), Piron (Foundations of Quantum Physics, 1976 ). By bringing these areas together we explain the basic ingredients of Dynamic Quantum Logic, a new direction of research in the logical foundations of physics.