---
title: 'Real Quantum Theory: Foundations & Distinctions'
url: https://www.emergentmind.com/topics/real-quantum-theory-rqt
type: topic
---

# Real Quantum Theory: Foundations & Distinctions

Real Quantum Theory (RQT) is a variant of quantum mechanics built on real Hilbert spaces rather than the standard complex Hilbert space formalism. In RQT, all states, transformations, and observables are represented by real-valued matrices and vectors, and all inner products, superposition principles, and other linear-algebraic operations are conducted over the field of real numbers, $\mathbb{R}$, rather than $\mathbb{C}$. The resulting theory shares most structural features with standard quantum theory but differs crucially in its representation of state spaces, composite systems, and the physical interpretation of phases, leading to both operational equivalences and distinctive foundational subtleties.

## 1. Mathematical Foundations of Real Quantum Theory

In RQT, every quantum system is modeled by a real Hilbert space ${\mathcal H}_\mathbb{R}\cong\mathbb{R}^n$ equipped with the usual real inner product. Pure states correspond to unit vectors $\ket{\psi}\in\mathbb{R}^n$ with $\|\psi\|=1$, and mixed states are real symmetric positive semidefinite matrices: $\rho\in\mathbb{R}^{n\times n}$, $\rho^T = \rho$, $\rho \geq 0$, $\Tr\rho = 1$. Observables are real symmetric matrices $O\in\mathbb{R}^{n\times n}$, and their spectral decompositions mirror those in the complex case. The Born rule for measurement statistics carries over: the probability of outcome $o_k$ for observable $O = \sum_k o_k P_k$ in state $\rho$ is $\Tr(P_k \rho)$, where $P_k$ are real symmetric projectors.

For dynamics, reversible transformations are given by real-orthogonal operators. General physical transformations are real-matrix CPTP (completely positive trace-preserving) maps. Composition of systems is defined using the real tensor product, so a composite of $A$ and $B$ is modeled by $\mathbb{R}^{n_A} \otimes \mathbb{R}^{n_B}$, with observables and states respecting this real structure [2103.12740, 2506.08091].

## 2. Composition, Local Tomography, and Operational Structure

A critical structural distinction between RQT and complex quantum theory (CQT) concerns the phenomenon of local tomography. In CQT, the global state of a composite system can be fully reconstructed by measuring local observables—this is local discriminability. In RQT, generic global states of $\mathbb{R}^{n_A}\otimes\mathbb{R}^{n_B}$ contain additional parameters (“hidden” degrees of freedom) that are invisible to product measurements: local tomography fails except for special cases. As a result, the structure of entanglement and the behavior of independent sources diverge between RQT and CQT.

This lack of local tomography in RQT leads to operationally equivalent states that are distinct mathematically but indistinguishable via standard measurements [2603.19208, 1212.2648]. This property has direct consequences for experimental tests and the foundation of quantum information protocols.

## 3. Embeddings, Tensor Product Rules, and Universality Rebuttals

A classical argument (Stueckelberg, extended by Finkelstein [2103.12740]) shows that any complex quantum theory can be embedded within a real Hilbert space of doubled dimension by coupling to an ancillary “phase” rebit. For pure or mixed states, this embedding takes the form:
\[
\rho' = \frac12 \left[ \rho \otimes P_{+i} + \rho^* \otimes P_{-i} \right]
\]
where $P_{\pm i}$ are projectors onto $(\ket{0} \pm i \ket{1})/\sqrt{2}$. Observables and channels are similarly embedded. This real embedding preserves all measurable outcome probabilities, making RQT, when formulated with nonstandard tensor products or appropriate embeddings, operationally indistinguishable from ordinary quantum mechanics for all practical purposes—including Bell tests, state/process tomography, and computation [2103.12740, 2603.19208].

However, if one demands that RQT respects strict “standard” tensor product structure (Kronecker product without ancillary extension), there arise scenarios—especially in network nonlocality experiments—where RQT and CQT part ways.

## 4. Experimental Separation, Network Bell Inequalities, and Scalability

Recently, fundamental differences between RQT and CQT were experimentally demonstrated in multipartite network scenarios. In the entanglement-swapping network of Renou et al., it was shown theoretically and experimentally that CQT can attain violations of a multipartite Bell-type functional (the CHSH$_3$ or more general witnesses) that RQT cannot reach under real-only, standard tensor-product assumptions [2101.10873, 2103.08123, 2111.15128]. For example, in a three-party network, the maximal value for a certain witness is $6\sqrt{2}\approx8.49$ in CQT, but only $\approx7.66$ in RQT via SDP bounds. These CQT-predicted correlations have been observed in both superconducting-qubit [2103.08123] and photonic [2111.15128] experiments, exceeding the RQT bound by many standard deviations (e.g., 43$\sigma$).

The gap between RQT and CQT predictions can be amplified in star networks with $N+1$ parties: for the appropriate Bell-type functional, the CQT:RQT ratio grows linearly in $N$, becoming arbitrarily large as the network size increases [2503.09724]. No fixed real-Hilbert-space model respecting standard tensor products can replicate these correlations in large networks.

A key point is that these results only constrain RQT formulated with the naive tensor-product structure. Alternative RQT formulations with modified composition rules or embedding schemes remain unfalsified by such experiments [2603.19208, 2604.19482].

## 5. Distinguishability, Reference Frames, and Symmetric Foil Theories

RQT arises as the “swirled” symmetry subtheory of complex quantum mechanics, i.e., the set of states, observables, and channels invariant under collective antiunitary (time-reversal) conjugation [2506.08091]. This stands in contrast to “twirled” (unitary-symmetry) subtheories, which cannot be distinguished from CQT by any experiment given only causal structure and no additional assumptions (the reference-frame simulation argument). By contrast, the absence of a shared complex phase (reference frame) among participants indeed constitutes a resource distinguishing CQT from RQT, and is precisely what is tested by bilocality and network nonlocality experiments.

In scenarios where the causal structure (the pattern of allowed interactions and independence) supports it, RQT and CQT can yield experimentally distinct predictions, but only if one insists on strict locality and independence for sources and measurement processes [2506.08091, 2101.10873].

## 6. Generalizations: Causal Order, Process Matrices, and Reverse Hierarchies

Within the process-matrix framework for indefinite causal order, the RQT–CQT hierarchy reverses: with definite causal order, CQT can generate correlations not allowed by RQT, but under indefinite causal order, RQT enables a strictly larger set of process correlations [2605.30238]. Finite-unitary twirled theories add no new process correlations, but the antiunitary symmetry of RQT allows the realization of process matrices violating causal inequalities beyond complex QT limits. This points to a complex interplay between the algebraic structure of the field and the nature of causal order in multipartite scenarios.

## 7. Real-Kähler Space, Deeper Geometric Structure, and Conceptual Implications

A rigorous formulation of quantum mechanics over real numbers is furnished by “Kähler space” constructions, providing a real vector space $V$ with compatible metric $g$, symplectic form $\omega$, and complex structure $J$ ($J^2 = -1$). The complex Hilbert space is then simply a compact encoding of this richer real-geometric data ($\mathbb{C}$ as shorthand for $(V,g,\omega,J)$) [2604.19482]. Composite systems are equipped with a symplectic tensor product $\otimes^K$ replacing the naive Kronecker product, yielding an exact monoidal equivalence with CQT—reproducing all quantum predictions, including the maximum possible Bell inequality violations. The imaginary unit $i$ appears as $J$, and phase dynamics as real rotations under $J$.

This real-geometric perspective resolves historical debates about the “necessity” of complex numbers: complex amplitudes concisely encode physical rotations and interference arising from real, compatible structures. Any experimental “gap” arises only when the full geometric data of the system—including the symplectic composition—are not supplied [2604.19482].

---

**References**:  
- “In defense of real quantum theory” [2103.12740]  
- “Quantum theory based on real numbers can be experimentally falsified” [2101.10873]  
- “Ruling out real-valued standard formalism of quantum theory” [2103.08123]  
- “Testing real quantum theory in an optical quantum network” [2111.15128]  
- “Gap between quantum theory based on real and complex numbers is arbitrarily large” [2503.09724]  
- “Quantum theory based on real numbers cannot be experimentally falsified” [2603.19208]  
- “On whether quantum theory needs complex numbers: the foil theories perspective” [2506.08091]  
- “Quantum mechanics over real numbers fully reproduces standard quantum theory” [2604.19482]  
- “Indefinite Causal Order Reverses the Real-Complex Hierarchy” [2605.30238]  
- “Universality of Computation in Real Quantum Theory” [1212.2648]  
- “Optimal Information Transfer and Real-Vector-Space Quantum Theory” [1301.2018]

Source: https://www.emergentmind.com/topics/real-quantum-theory-rqt