Open Problems Reconstructions

Reconstruction research compares principled routes from operational or mathematical assumptions to quantum structure. The central challenge is explaining why the assumptions are physically compelling while stating exactly what the theorem recovers. The examples below explain how to compare such results. Foundational Open Problems discusses research questions and the scope of existing approaches.

A theorem and its explanatory interpretation

Established: several explicit axiom packages yield finite-dimensional quantum representations. Active: comparisons of their physical naturalness, independence, scope, and extensions. Conjectural unless proved: claims that a favored principle uniquely determines all quantum physics by itself.

The schematic implication

$$\{A_1,\ldots,A_n\}\Longrightarrow Q$$

contains two tasks. A mathematical task proves the implication in a stated framework. An explanatory task argues why the premises deserve independent physical confidence. Success at one does not automatically complete the other.

Reconstructions of Quantum Theory introduces the main families, and the program map compares their starting points.

Independence requires alternative models

To show that an axiom $A_k$ is independent of the others, construct a model satisfying the remaining axioms while violating $A_k$. Merely deleting a line from the proof does not establish independence.

The examples in Local Tomography and Purification illustrate useful alternatives. Real quantum theory challenges local tomography; ordinary classical theory lacks nontrivial pure purifications. Each example isolates one structural difference while retaining others.

A reconstruction also needs a precise notion of equivalence. Two coordinate descriptions may represent the same operational theory even when their mathematical variables look different.

Finite and infinite systems

Finite-dimensional theorems benefit from compact state spaces and matrix algebra. Infinite systems introduce topology, continuity, unbounded observables, and potentially inequivalent representations. Extending a finite theorem requires identifying where these new assumptions enter.

Similarly, recovering quantum kinematics does not specify a Hamiltonian, spacetime symmetry, or gravitational dynamics. A proposed application to postquantum physics should explain which premise is modified and what observable change follows.

A practical reading exercise

Suppose an argument assumes local tomography, continuous reversible transformations, and a purification rule. Ask whether it derives all channels or only states, whether the classical control structure was assumed, and whether a real or quaternionic alternative satisfies the other premises.

These questions make comparison constructive. They avoid ranking axioms solely by verbal simplicity: a short phrase such as “information is physical” can hide more assumptions than a longer explicit operational condition.

References

• Chiribella, Giulio, Giacomo Mauro D’Ariano, and Paolo Perinotti, “Informational derivation of quantum theory,” Physical Review A 84, 012311 (2011). Paper.
• Hardy, Lucien, “Quantum Theory From Five Reasonable Axioms,” arXiv:quant-ph/0101012 (2001). Paper.
• Hardy, Lucien, and William K. Wootters, “Limited holism and real-vector-space quantum theory,” Foundations of Physics 42, 454–473 (2012). Paper.