Direct-Sum Quantum Theory

• Direct-Sum Quantum Theory is an organizational framework that decomposes finite-dimensional Hilbert spaces into orthogonal direct-sum components, clarifying quantum measurement contexts and partition logic.
• It enables novel state-recovery protocols by quasi-copying amplitudes and applying outcome-blind operations to probabilistically restore quantum states.
• The framework informs quantum communication complexity and emergent locality by structuring Hamiltonian blocks and enforcing resource lower bounds in parallel computations.

Direct-Sum Quantum Theory is an organizational and conceptual framework in quantum mechanics in which the Hilbert space of a physical system, rather than being analyzed primarily in terms of its subspaces or tensor-product factorizations, is systematically decomposed into orthogonal direct-sum components. This structure underlies several independent threads of modern research, including the logic of measurement contexts, the emergence of effective locality and spacetime structure, new approaches to quantum communication complexity, and operationally nontrivial state-recovery protocols. The direct-sum perspective both generalizes and refines traditional quantum logic and is quantitatively essential in numerous foundational and applied settings (Suzuki et al., 14 Sep 2025, Pollack et al., 2018, Ellerman, 2016, 0807.1267, Touchette, 2014).

1. Direct-Sum Decomposition of Hilbert Spaces

Given a finite-dimensional Hilbert space $\mathcal{H}$, a direct-sum decomposition is a partition of $\mathcal{H}$ into orthogonal subspaces,

$$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$

Each vector $|\psi\rangle\in\mathcal{H}$ has a unique decomposition as $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$ with $P_i$ the orthogonal projector onto $\mathcal{H}_i$ (Ellerman, 2016, Pollack et al., 2018). The set of all such direct-sum decompositions (DSDs) of $\mathcal{H}$ forms a meet-semilattice under the refinement order: $\sigma\preceq\pi$ if every block of $\pi$ is contained in some block of $\mathcal{H}$0.

In contrast with the geometry of subspaces (which forms a lattice), the DSD structure is specifically tailored to encode measurement contexts, equivalence relations, and partition logic. Notably, while not every finite dimension $\mathcal{H}$1 factorizes as a tensor product (due to number-theoretic constraints), direct-sum decompositions always exist for any $\mathcal{H}$2 and any observable with an appropriate spectral partition (Pollack et al., 2018).

2. Quantum Logic and Measurement in the Direct-Sum Framework

A fundamental organizational shift of Direct-Sum Quantum Theory is the replacement of the traditional subspace lattice logic (Boolean subset logic) with a partition logic based on DSDs. In this dual logic, direct-sum decompositions are categorically dual to subspaces: under the free-vector-space functor, set partitions become direct sums in the associated vector spaces (Ellerman, 2016).

Given a self-adjoint operator $\mathcal{H}$3 on $\mathcal{H}$4, the spectral theorem yields a DSD by eigenspaces: $\mathcal{H}$5, each $\mathcal{H}$6 the eigenspace for $\mathcal{H}$7. Measurement in this framework treats the entire context $\mathcal{H}$8, and the Born rule assigns probability $\mathcal{H}$9 for outcome $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$0 (Ellerman, 2016).

The DSD logic permits fine-grained description of measurement by arbitrary self-adjoint operators, not merely projective measurements associated with individual subspaces. Atomic DSDs (two-summand) relate directly to traditional rank-1 projections but the full DSD framework natively encodes all spectral measurements.

3. Operational and Informational Phenomena: State Recovery and Erasure

The direct-sum formalism enables state-recovery protocols that are operationally distinct from classical or conventional quantum pathways. In particular, there exist scenarios where a quantum state, after an amplitude-transfer ("quasi-copying") into an orthogonal complement, undergoes measurement on that complement and is then recoverable via a fixed, measurement-outcome-blind operation (Suzuki et al., 14 Sep 2025).

Concretely, for $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$1, one prepares an initial state in $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$2, applies a quasi-copying operation $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$3 distributing amplitude into $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$4 and $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$5, performs an arbitrary POVM $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$6 on $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$7, and finally a fixed post-selection onto $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$8 via the projector $$\mathcal{H} = \bigoplus_{i=1}^r \mathcal{H}_i, \qquad \mathcal{H}_i \perp \mathcal{H}_j \ \text{for } i\ne j, \qquad \sum_{i=1}^r \dim \mathcal{H}_i = \dim\mathcal{H}.$$9. The main theorem establishes that the original state $|\psi\rangle\in\mathcal{H}$0 is probabilistically restored (with probability $|\psi\rangle\in\mathcal{H}$1), unaffected by the specific outcome $|\psi\rangle\in\mathcal{H}$2 of the intermediate measurement.

From the informational perspective, this process erases "which-outcome" data: the mutual information between the measurement outcome $|\psi\rangle\in\mathcal{H}$3 and the input $|\psi\rangle\in\mathcal{H}$4, conditioned on successful recovery, vanishes: $|\psi\rangle\in\mathcal{H}$5 The distribution of $|\psi\rangle\in\mathcal{H}$6 becomes uniform, demonstrating a form of outcome erasure without ever accessing measurement records (Suzuki et al., 14 Sep 2025). This challenges standard intuitions about the necessity of fine-grained outcome dependence in quantum reversibility and side-channel erasure.

4. Locality, Space Emergence, and Hamiltonian Block Structure

Direct-sum decomposition is also central to foundational questions in quantum field theory and many-body systems, notably where tensor product locality is absent or inapplicable (Pollack et al., 2018). For a Hamiltonian $|\psi\rangle\in\mathcal{H}$7 and a direct-sum $|\psi\rangle\in\mathcal{H}$8, one writes

$|\psi\rangle\in\mathcal{H}$9

with $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$0, $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$1, and the coupling $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$2.

If $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$3, the system exhibits "direct-sum locality": low-lying states in $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$4 or $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$5 remain localized under time evolution for times $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$6. This structure justifies effective superselection of sectors, robustness of emergent spacetime interpretations, and identifies when approximate classicalization of degrees of freedom is viable purely from Hilbert-space considerations.

A finite-dimensional double-well serves as illustrative example: the natural direct-sum split into left and right wells ensures the tunneling spread $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$7 is minimal for ground states, and "scrambled" decompositions rapidly increase delocalization. This speaks to why only specific direct-sum structures, not generic partitions, underlie emergent locality and decoherence (Pollack et al., 2018).

5. Direct-Sum Theorems in Quantum Communication Complexity

Direct-sum theorems in quantum information theory quantify the resource requirements for simultaneously solving multiple independent instances of a computational problem using quantum protocols. In the space of communication complexity, such theorems affirm that—up to lower-order corrections—the quantum (and classical) resources scale at least linearly in the number of parallel instances (0807.1267, Touchette, 2014).

If $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$8 represents the one-way entanglement-assisted quantum communication complexity (worst-case error $|\psi\rangle=\sum_{i=1}^r P_i|\psi\rangle$9) of a relation $P_i$0, the one-way direct-sum result is

$P_i$1

where $P_i$2 denotes $P_i$3 parallel copies of $P_i$4. Proofs rely on message compression, information cost additivity, and substate theorems, showing that information cost (a fully quantum extension of Shannon's mutual information) lower bounds the communication cost for protocols—and that this property is preserved under direct-sum decompositions (0807.1267, Touchette, 2014).

Extensions further cover bounded-round entanglement-assisted protocols, simultaneous message passing, and privacy trade-offs, always depending on the additivity and compressibility properties inherent to the DSD structure of the underlying Hilbert space.

6. Combinatorics, Logic, and the QM/Sets Model

DSDs have a rich internal combinatorics directly parallel to set partitions. For a vector space $P_i$5 of dimension $P_i$6 over $P_i$7, each DSD has a signature given by block sizes $P_i$8, with $P_i$9. The number of such DSDs with a given signature is

$\mathcal{H}_i$0

where $\mathcal{H}_i$1 is the number of blocks of size $\mathcal{H}_i$2 and $\mathcal{H}_i$3 the $\mathcal{H}_i$4-factorial (Ellerman, 2016).

Summing over all possible $\mathcal{H}_i$5-block signatures yields $\mathcal{H}_i$6-analogs of the Stirling and Bell numbers, interpolating between classical set combinatorics ($\mathcal{H}_i$7) and finite field settings ($\mathcal{H}_i$8: QM/Sets model).

The QM/Sets model, where $\mathcal{H}_i$9 and pure states are nonzero subsets $\mathcal{H}$0, recovers measurement, probability, and state-update rules in a logically transparent form, connecting attributes (observables) to set partitions and their induced DSDs (Ellerman, 2016). It supplies a toy universe in which the logic of direct-sum decompositions underpins all features of quantum measurement—demonstrating both pedagogical and foundational utility.

7. Limitations, Generalizations, and Open Directions

The direct-sum formalism is universally available for finite-dimensional spaces, but crucial applications require further structure:

• Recovery protocols based on direct-sum splitting are inherently probabilistic; deterministic, outcome-blind reversal is precluded by no-cloning and information-disturbance constraints (Suzuki et al., 14 Sep 2025). Success probability is strictly less than unity whenever any nontrivial information is extracted from the system.
• Imposing physical relevance on a DSD (direct-sum locality, measurement context, etc.) demands that off-diagonal Hamiltonian blocks be suitably small or that the decomposition aligns with robust pointer subspaces.
• In the context of communication complexity, while DSD-based direct-sum lower bounds are tight in the one-way or SMP models, weak direct-sum statements and privacy tradeoffs are required for multi-round/protocol settings, often introducing sublinear corrections (0807.1267, Touchette, 2014).
• The dual nature of DSD logic in relation to projection-operator logic remains under active investigation, both for foundational quantum logic and for generalized measurement scenarios incorporating mixed observables and information flows.

The aggregate significance is that Direct-Sum Quantum Theory generalizes and enriches the structural and operational resources of quantum physics, yielding deep insights into measurement, locality, reversibility, combinatorics, and quantum information processing across a spectrum of models and applications (Suzuki et al., 14 Sep 2025, Pollack et al., 2018, Ellerman, 2016, 0807.1267, Touchette, 2014).