[Paper Review] Quantum information processing and quantum logic: toward mutual illumination

Howard Barnum|ArXiv.org|May 20, 2002

Quantum Computing Algorithms and Architecture36 references3 citations

TL;DR

This paper proposes a reciprocal relationship between quantum information processing (QIP) and quantum structures (QS), arguing that QIP can inform the axiomatic characterization of quantum theory, while QS can clarify the physical principles underlying quantum advantage. By analyzing operational theories through frameworks like effect algebras and convex sets, the paper identifies regularity axioms—such as Hardy’s universal K-N relation—as central to distinguishing quantum from classical information processing, and suggests that relaxing these axioms reveals deeper insights into quantum foundations and potential generalizations.

ABSTRACT

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.

Motivation & Objective

• To explore how quantum information processing (QIP) can inform the axiomatic characterization of quantum mechanics within the quantum structures (QS) program.
• To investigate how operational frameworks—such as effect algebras, convex sets, and test spaces—can formalize the dynamics and composition of quantum systems.
• To identify which axioms in operational theories are responsible for quantum advantages in information processing, such as in quantum computation and cryptography.
• To examine the role of regularity and symmetry axioms (e.g., Hardy’s K-N relation) in distinguishing quantum from classical theories and in classifying alternative physical theories.
• To suggest that combining QIP insights with QS methods can lead to new protocols and a deeper understanding of quantum foundations, including potential implications for quantum gravity.

Proposed method

• Adopting a procedural operational viewpoint, the paper analyzes physical theories through measurable operations and their outcome probabilities, avoiding reliance on Hilbert space formalism.
• Utilizes frameworks such as effect algebras, convex sets, and test spaces to model physical systems and their composite structures in general operational theories.
• Applies Hardy’s axiomatic approach, introducing operational notions of system dimensionality (N) and degrees of freedom (K), and postulates a universal functional relationship K(N) as a regularity axiom.
• Examines the composite system rule K_total = K₁ × K₂ and N_total = N₁ × N₂ as a key regularity condition that distinguishes quantum from classical theories.
• Investigates the conceptual and structural implications of relaxing regularity axioms, such as in theories with superselection sectors, to understand the robustness of quantum features.
• Draws analogies between quantum information tasks (e.g., quantum computation, quantum cryptography) and foundational axioms, suggesting that information-theoretic constraints can motivate new physical principles.

Experimental results

Research questions

• RQ1 What axiomatic features of physical theories are responsible for the enhanced information-processing power of quantum mechanics compared to classical mechanics?
• RQ2 How can quantum information processing insights help refine or motivate new axioms in the quantum structures program?
• RQ3 To what extent do regularity axioms—such as Hardy’s universal K-N relation—characterize quantum theory, and what happens when they are relaxed?
• RQ4 How do the dynamics and composition of systems in operational theories relate to the structure of quantum information protocols?
• RQ5 Can the interplay between quantum information and quantum logic lead to new, physically meaningful characterizations of quantum theory and its generalizations?

Key findings

• The universal K-N relationship, where K = N² in quantum mechanics, emerges as a key regularity axiom that distinguishes quantum from classical theories in operational frameworks.
• The composite system rule K_total = K₁ × K₂ and N_total = N₁ × N₂ is both a regularity condition and potentially a conceptual feature tied to the tensor product structure of systems.
• Relaxing regularity axioms—such as in theories with superselection sectors—leads to non-quantum-like behavior, revealing the sensitivity of quantum advantages to structural constraints.
• Quantum information tasks such as Shor’s factoring algorithm and quantum key distribution demonstrate information-processing power not achievable in classical theories, suggesting that such capabilities are rooted in specific axiomatic features.
• The procedural operational approach, grounded in measurable procedures and probabilities, provides a robust foundation for analyzing both quantum and generalized physical theories without prior commitment to Hilbert space.
• The interplay between QIP and QS can yield new axioms and insights, with information-theoretic constraints potentially guiding the discovery of new physical principles beyond standard quantum mechanics.