Open Problems in Quantum Perspectivism
Abstract
We survey the major open problems and research directions in quantum perspectivism -- the framework in which quantum mechanics emerges from the Yoneda Lemma applied as a constraint on physical theories. On the mathematical side, key questions include: the classification of categories C of observational contexts satisfying the Yoneda constraint, including the role of causal, topological, and higher-categorical structure; the derivation of quantitative predictions such as the Standard Model gauge group SU(3) x SU(2) x U(1) and the particle spectrum from categorical first principles; and the rigorous construction of the classical limit via categorical decoherence and coarse-graining. On the physical side, we identify a detailed quantum gravity research program connecting quantum perspectivism to loop quantum gravity, string theory, causal set theory, and asymptotic safety. We formulate concrete experimental proposals including extended Bell inequality tests, Leggett-Garg inequality modifications, multi-observer Wigner's-friend scenarios, and quantum gravity phenomenology accessible with near-term technology. We analyze implications for quantum computing -- including categorical quantum computation, topological quantum codes, and the ZX-calculus -- and develop the information-theoretic foundations of the framework, connecting the Yoneda isomorphism to quantum entropy, channel capacity, and resource theories. We conclude with a detailed ten-year research roadmap for the quantum perspectivism program, identifying milestones, required mathematical tools, and experimental targets for each phase.
Keywords: Yoneda Lemma, category theory, quantum foundations, open problems, quantum gravity, Standard Model, experimental signatures, quantum computing, quantum information, research roadmap
1. Introduction
Quantum perspectivism, as developed in [Long 2026], proposes that quantum mechanics is the unique physical theory consistent with the Yoneda Lemma of category theory, interpreted as the fundamental constraint that physical objects are completely determined by their relational profiles. The framework derives the Hilbert space formalism, the Born rule, superposition, entanglement, complementarity, and the resolution of the measurement problem from a single categorical axiom -- the Yoneda Constraint -- applied to a category C of observational contexts.
While the foundational paper establishes the qualitative derivation chain from the Yoneda Constraint to the structures of quantum mechanics, it necessarily leaves open a constellation of deep problems. These problems span pure mathematics, mathematical physics, phenomenology, and experimental design. The present paper is devoted to a systematic survey and expansion of these open problems, organized into eight major research directions:
- The structure problem: What constrains the category C of contexts?
- Quantitative predictions: Can quantum perspectivism derive the Standard Model?
- The classical limit: Rigorous derivation of classical mechanics from categorical decoherence.
- Quantum gravity: Detailed connections to LQG, string theory, causal sets, and asymptotic safety.
- Experimental signatures: Concrete proposals for distinguishing quantum perspectivism from competing interpretations.
- Quantum computing: Implications for categorical quantum computation and topological quantum codes.
- Information-theoretic foundations: Quantum information from the Yoneda isomorphism.
- A ten-year roadmap: Milestones and targets for the research program.
2. The Structure Problem: What Constrains C?
The foundational paper takes the category of contexts C as given and derives quantum structure from the Yoneda Constraint applied to presheaves on C. But what is C? What constrains its objects, morphisms, and higher structure? This is the most fundamental open problem in quantum perspectivism.
2.1 The Minimalist Position
Open Problem 1 (Universality of C). Characterize the class of categories C for which the Yoneda-constraint derivation of quantum mechanics goes through. Is there a "minimal" C that yields exactly quantum mechanics and nothing more?
The derivation requires that C satisfy:
- (C1) Monoidal structure representing parallel combination of contexts.
- (C2) Coproducts representing the choice between contexts.
- (C3) Braiding with a nontrivial square root (related to spin-statistics).
- (C4) Sufficient common refinements (pullbacks or fibered products).
Conjecture (Minimal C). The minimal category satisfying (C1)-(C4) that yields standard quantum mechanics over C is the category fHilb of finite-dimensional Hilbert spaces with linear maps.
On Circularity. If the category of contexts turns out to be fHilb, is the framework circular? We argue not: the self-referentiality is a consistency condition, not a tautology. The derivation transforms axioms into theorems and reveals why quantum mechanics must be so.
2.2 Causal Structure
A physically motivated approach demands that C encode causal structure.
Open Problem 2 (Causal Structure of C). Does imposing causal structure on C constrain the resulting quantum theory? Does causality force complex Hilbert spaces? Does it determine dimensions? Does it constrain dynamics?
2.3 Topological Structure
A Grothendieck topology J on C determines which presheaves satisfy the "gluing condition" (sheaves) and which do not.
Open Problem 3 (The Physical Grothendieck Topology). What is the physically correct Grothendieck topology on C? Does it encode the quantum-to-classical transition?
The sheafification of a quantum presheaf S is the "closest classical system" to S. The information lost is precisely the quantum information.
2.4 Higher-Categorical Structure
Open Problem 4 (Higher Categories and QFT). Does quantum perspectivism extend to an (infinity,1)-categorical setting, yielding QFT via the extended Yoneda lemma?
2.5 Dagger-Compact Structure
Open Problem 5 (Dagger-Compact Contexts). Is the dagger-compact structure of C derived from the Yoneda Constraint, or must it be imposed as an additional axiom?
3. Quantitative Predictions: Toward the Standard Model
3.1 The Gauge Group from Automorphisms of C
The gauge transformations of a physical system arise from the group Aut(id_C) of natural automorphisms of the identity functor on C.
Open Problem 6 (Deriving SU(3) x SU(2) x U(1)). Find a category C whose automorphism structure yields the Standard Model gauge group.
3.2 Toy Example: U(1) from a Cyclic Category
Let C = BZ be the category with one object and morphisms Z. Presheaves with Hilbert space fibers are Z-representations. The irreducible representations are characters chi_theta : n -> exp(intheta) for theta in [0, 2pi). The parameter space is U(1) -- exactly the structure of electromagnetism.
3.3 Particle Content
Open Problem 7 (Particle Spectrum from Presheaf Decomposition). Classify the irreducible presheaves on C. Does this reproduce three generations of fermions, gauge bosons, and the Higgs?
3.4 Coupling Constants
Open Problem 8 (Coupling Constants from Categorical Geometry). Define a natural metric on presheaves. Do coupling constants emerge as geometric invariants?
3.5 Renormalization
Open Problem 9 (Categorical Renormalization Group). Formulate the RG as a functor between categories of contexts at different scales. Are RG fixed points sheaves?
4. The Classical Limit
4.1 Decoherence as Categorical Coarse-Graining
The restriction of a quantum presheaf to the macroscopic subcategory yields diagonal density matrices -- classical probability distributions.
4.2 The Ehrenfest Theorem Categorically
Open Problem 10 (Categorical Ehrenfest Theorem). Derive the Ehrenfest theorem as a natural transformation between quantum and classical presheaves.
4.3 Phase Space as a Sheaf
Open Problem 11 (Quantization as Presheaf Extension). Is quantization the left adjoint of the classicalization functor? This would resolve operator-ordering ambiguities.
4.4 Deformation Quantization
Open Problem 12 (Star Product from Yoneda). Derive the Moyal star product from the composition law in the presheaf category.
5. Quantum Gravity
5.1 Emergent Spacetime
Open Problem 13 (Spacetime from the Nerve of C). Under what conditions on C is the geometric realization |C| a 4-manifold? Can the Lorentzian metric be recovered from the morphism structure?
5.2 Einstein's Equations
Conjecture (Einstein's Equations from C). Einstein's field equations emerge from the self-consistency requirement that the energy-momentum content of presheaves determines the Grothendieck topology (geometry), which in turn constrains the presheaves.
Open Problem 14 (Deriving Einstein's Equations). Make this conjecture precise and prove it.
5.3 Connections to Loop Quantum Gravity
A spin network can be viewed as a presheaf on the category of its subgraphs.
Open Problem 15 (LQG as Quantum Perspectivism). Is the kinematical Hilbert space of LQG equivalent to presheaves on a suitable category of spatial contexts?
5.4 Connections to String Theory
Open Problem 16 (Strings from Presheaves). Is the worldsheet sigma model a presheaf? Do Virasoro constraints emerge from a Grothendieck topology? Can the critical dimension be derived?
5.5 Causal Set Theory
Open Problem 17 (Causal Set QG from Yoneda). Can the quantum dynamics of causal sets be derived from the Yoneda Constraint?
5.6 Asymptotic Safety
Open Problem 18 (Asymptotic Safety and the Presheaf RG). Does the gravitational sector exhibit a nontrivial UV fixed point as a self-similar category of contexts?
5.7 The Problem of Time
Time is an aspect of perspectival structure. The Wheeler-DeWitt equation says the global presheaf is time-independent; local sections exhibit time-dependence.
6. Experimental Signatures
6.1 Extended Bell Inequality Tests
Open Problem 19 (Categorical Bell Inequalities). Derive the full landscape of Bell-type inequalities from the presheaf framework.
Conjecture (Tsirelson Bound from Yoneda). The bound 2*sqrt(2) is equivalent to the Yoneda constraint on bipartite correlation presheaves.
6.2 Leggett-Garg Inequalities
Open Problem 20 (Modified Leggett-Garg Inequalities). Design experiments comparing QP predictions with objective collapse models in mesoscopic systems.
6.3 Wigner's Friend Scenarios
Open Problem 21 (Extended Wigner's Friend Experiments). Design experiments distinguishing QP, collapse models, many-worlds, and QBism.
6.4 Quantum Gravity Phenomenology
Open Problem 22 (Gravitational Decoherence). Test the predicted decoherence rate in optomechanical systems, atom interferometers, and the Bose-Marletto-Vedral experiment.
6.5 Contextuality Tests
Open Problem 23 (Quantitative Contextuality Measures). Develop presheaf-derived contextuality witnesses and measure them experimentally.
7. Quantum Computing Implications
7.1 Categorical Quantum Computing
Open Problem 24 (Quantum Algorithms from Presheaf Operations). Express Grover's and Shor's algorithms as presheaf operations. Discover new algorithms from natural presheaf operations.
7.2 The ZX-Calculus and Presheaves
Open Problem 25 (Universal ZX from Yoneda). Derive ZX-calculus completeness from the Yoneda embedding's full faithfulness.
7.3 Topological Quantum Computation
Open Problem 26 (Topological Codes from Presheaf Cohomology). Compute code distance, logical operators, and error thresholds from presheaf cohomology.
7.4 Quantum Error Correction as Sheaf Condition
Open Problem 27 (QEC from Sheaf Theory). Are the Knill-Laflamme conditions equivalent to the sheaf gluing axiom for a noise topology?
8. Information-Theoretic Foundations
8.1 Quantum Entropy from the Yoneda Isomorphism
Open Problem 28 (Categorical Von Neumann Entropy). Derive S(rho) = -Tr(rho log rho) from the Yoneda framework.
8.2 Quantum Channels as Natural Transformations
Open Problem 29 (Channel Capacity from Presheaf Theory). Derive the quantum channel capacity from the presheaf framework.
8.3 Quantum Resource Theories
Open Problem 30 (Resource Theories from Presheaf Subcategories). Unify all resource theories under presheaf subcategories, with the specific resource determined by the Grothendieck topology.
8.4 Holographic Entropy
Open Problem 31 (Ryu-Takayanagi from Yoneda). Derive the RT formula from the categorical framework.
8.5 Quantum Darwinism
Quantum Darwinism is the statement that for macroscopic systems, the presheaf is "locally constant" -- the sheaf condition for the macroscopic topology.
9. Ten-Year Research Roadmap
Phase I: Foundations (Years 1-3)
Year 1: Classify categories satisfying (C1)-(C4). Develop presheaf cohomology. Implement computational tools.
Milestone: Proof that fHilb is minimal, or counterexample.
Year 2: Establish categorical dictionaries to CQM, topos QT, operational theories. Prove categorical Ehrenfest theorem.
Milestone: Published dictionary paper.
Year 3: Design experimental protocols. Calculate Leggett-Garg predictions. Begin experimental collaborations.
Milestone: At least one testable prediction published.
Phase II: Development (Years 4-7)
Year 4: Prove spin network-presheaf correspondence. Emergent spacetime in 2+1 dimensions.
Milestone: Regge calculus from presheaves in 2+1D.
Year 5: Presheaf QEC. New quantum algorithms. Topological codes from cohomology.
Milestone: New algorithm or code from presheaf framework.
Year 6: Categorical von Neumann entropy. Channel capacity. Unified resource theories.
Milestone: Categorical derivation of a major QI theorem.
Year 7: Attack the gauge group problem. Particle content. Coupling constants.
Milestone: Derive SM gauge group or identify the precise obstruction.
Phase III: Applications and Synthesis (Years 8-10)
Year 8: Analyze first experimental results. Refine predictions. Second-generation experiments.
Milestone: First experimental data bearing on QP.
Year 9: Einstein's equations from categorical principles. Emergent spacetime in 3+1D. Ryu-Takayanagi.
Milestone: Derive or identify framework needed for Einstein's equations.
Year 10: Comprehensive monograph. Assess all open problems. Evaluate against data.
Milestone: Definitive assessment of QP as a viable research program.
10. Discussion
Several themes emerge from this survey:
Self-referential structure. If the minimal C is the category of quantum systems itself, the theory determines its own observational framework -- an unprecedented form of theoretical closure.
The structure problem is central. Nearly all open problems reduce to: what is C?
Experimental accessibility. Despite the abstract framework, several proposals are accessible with current technology.
Falsifiability. At the interpretive level, QP agrees with standard QM. At the structural level, it makes specific predictions: the Tsirelson bound as theorem, gravitational decoherence rates, and decoherence scaling with system size.
11. Conclusion
Quantum perspectivism, grounded in the Yoneda Lemma, provides a unified foundation for quantum mechanics from which a rich landscape of open problems radiates. We have identified 30+ open problems across eight directions and proposed a ten-year roadmap with concrete milestones. The overarching vision is that quantum mechanics, general relativity, the Standard Model, and the quantum-to-classical transition are all manifestations of a single categorical principle: to be is to be related.
References
[Long 2026] M. Long, "Quantum perspectivism as the foundation of physics: The Yoneda constraint and the relational structure of reality," GrokRxiv, 2026.
[Yoneda 1954] N. Yoneda, "On the homology theory of modules," J. Fac. Sci. Univ. Tokyo Sect. I, 7:193-227, 1954.
[Lurie 2009] J. Lurie, Higher Topos Theory, Princeton University Press, 2009.
[Abramsky-Coecke 2004] S. Abramsky and B. Coecke, "A categorical semantics of quantum protocols," Proc. 19th LICS, 415-425, 2004.
[Bell 1964] J. S. Bell, "On the Einstein Podolsky Rosen paradox," Physics Physique Fizika, 1:195-200, 1964.
[Rovelli 2004] C. Rovelli, Quantum Gravity, Cambridge University Press, 2004.
[Ryu-Takayanagi 2006] S. Ryu and T. Takayanagi, "Holographic derivation of entanglement entropy from AdS/CFT," PRL 96:181602, 2006.
GrokRxiv DOI: 10.48550/GrokRxiv.2026.02.open-problems-qp