[Paper Review] Reformulating and Reconstructing Quantum Theory

Lucién Hardy|arXiv (Cornell University)|Apr 11, 2011

Quantum Mechanics and ApplicationsPhysics and Astronomy61 references96 citations

TL;DR

This paper reformulates finite-dimensional quantum theory within the circuit framework using mathematical axioms and reconstructs quantum theory from operational postulates. It establishes that quantum theory is uniquely characterized by postulates including sharpness, information locality, tomographic locality, and compound permutability, distinguishing it from classical probability theory and other operational theories.

ABSTRACT

We provide a reformulation of finite dimensional quantum theory in the circuit framework in terms of mathematical axioms, and a reconstruction of quantum theory from operational postulates. The mathematical axioms for quantum theory are the following: [Axiom 1] Operations correspond to operators. [Axiom 2] Every complete set of physical operators corresponds to a complete set of operations. The following operational postulates are shown to be equivalent to these mathematical axioms: [P1] Sharpness. Associated with any given pure state is a unique maximal effect giving probability equal to one. This maximal effect does not give probability equal to one for any other pure state. [P2] Information locality. A maximal measurement on a composite system is effected if we perform maximal measurements on each of the components. [P3] Tomographic locality. The state of a composite system can be determined from the statistics collected by making measurements on the components. [P4] Compound permutability. There exists a compound reversible transformation on any system effecting any given permutation of any given maximal set of distinguishable states for that system. [P5] Sturdiness. Filters are non-flattening. Hence, from these postulates we can reconstruct all the usual features of quantum theory: States are represented by positive operators, transformations by completely positive trace non-increasing maps, and effects by positive operators. The Born rule (i.e. the trace rule) for calculating probabilitieso follows. A more detailed abstract is provided in the paper.

Motivation & Objective

• To reformulate finite-dimensional quantum theory using mathematical axioms within the circuit framework.
• To reconstruct quantum theory from operational postulates that are physically intuitive and operationally grounded.
• To distinguish quantum theory uniquely from classical probability theory and other operational theories by identifying minimal postulates.
• To establish that quantum theory is the only theory satisfying the postulates of sharpness, information locality, tomographic locality, and compound permutability.

Proposed method

• Uses the circuit framework to model quantum processes as operations on wires, with operations represented by duotensors.
• Introduces the concept of 'physical operators' that are positive under partial transpose over the input space.
• Applies the Choi-Jamiołkowski isomorphism to relate operations to operators, enabling trace-based probability calculations.
• Employs fiducial preparations and results to fully decompose transformations and derive the formalism locally.
• Uses the duotensor formalism to generalize tensor transformations, including hopping metrics for index manipulation.
• Derives the mathematical equivalence between axioms and operational postulates through transformation rules and consistency conditions.

Experimental results

Research questions

• RQ1 What minimal set of operational postulates uniquely characterizes quantum theory among probabilistic theories?
• RQ2 How can quantum theory be reformulated using mathematical axioms within the circuit framework?
• RQ3 What role does the partial transpose condition play in distinguishing physical operators from general operators?
• RQ4 How do transformations on systems relate to the structure of states and effects in the circuit formalism?
• RQ5 Why is compound permutability necessary to single out quantum theory, while permutability alone allows classical theory?

Key findings

• Quantum theory is uniquely characterized by the postulates of sharpness, information locality, tomographic locality, and compound permutability, distinguishing it from classical probability theory.
• The mathematical axioms—operations corresponding to operators and every complete set of physical operators corresponding to a complete set of operations—equivalent to the operational postulates.
• Physical operators are defined as those that are positive under partial transpose over the input space, a key condition for physical realizability.
• The duotensor formalism generalizes tensor transformations and allows for index manipulation via transformation matrices and hopping metrics.
• The proof shows that the dimension of the state space must scale as N^r, with r a positive integer, leading to the conclusion that only quantum theory satisfies the postulates.
• The reconstruction shows that classical probability theory and quantum theory are the only two theories consistent with the given postulates, with quantum theory selected by replacing permutability with compound permutability.