Direct-Sum Quantum Logic & Measurement

• Quantum logic in the direct-sum framework is defined through decompositions of Hilbert spaces into orthogonal subspaces, providing a clear structure for measurement processes.
• The method establishes an orthomodular lattice that links algebraic properties with operational protocols, enhancing quantum logical entropy evaluations.
• It underpins advanced experimental protocols for state recovery, non-Hermitian observable measurement, and error reversal in quantum systems.

Quantum logic and measurement in the direct-sum framework reformulate foundational structures of quantum theory by emphasizing decompositions of Hilbert space into orthogonal subspaces—direct-sum decompositions (DSDs)—instead of lattice structures of subspaces alone. This perspective generalizes the classical logic of partitions and underlies a number of operational and informational phenomena in quantum measurement, quantum information theory, non-Hermitian quantum mechanics, and error reversal protocols. The direct-sum approach establishes a robust categorical and lattice-theoretic setting for quantum observables and their measurement, linking abstract algebraic properties with operational protocols and experimental realizations.

1. Direct-Sum Decompositions and the Dual Logic of Partitions

Let $V$ be a finite-dimensional vector space over a field $\Bbb K$. A direct-sum decomposition (DSD) is a family of nonzero subspaces $\pi = \{V_i : i \in I\}$ such that $V_i \cap \sum_{j \neq i} V_j = \{0\}$ for each $i$, and $V = \bigoplus_{i \in I} V_i$, so every $v \in V$ expands uniquely as $v = \sum_{i \in I} v_i$, with $v_i \in V_i$ (Ellerman, 2016). In the category-theoretic sense, DSDs generalize classical partitions: the free-vector-space functor transforms partitions of a set $U = \bigsqcup_i B_i$ into DSDs $\Bbb K$0.

DSDs are organized by a partial order (refinement): $\Bbb K$1 iff each subspace $\Bbb K$2 of $\Bbb K$3 sits inside some $\Bbb K$4 of $\Bbb K$5. This poset is often non-latticial, but crucially admits an orthocomplemented, orthomodular structure when equipped with suitable join and meet operations derived from the intersection and block fusion of subspaces. When specialized to Hilbert spaces over $\Bbb K$6, DSDs encode the structure of quantum measurements for arbitrary self-adjoint operators—not limited to two-outcome projective measurements (Ellerman, 2016).

2. Measurement and Quantum Logical Entropy in the Direct-Sum Formalism

Projective quantum measurement has a canonical realization as decomposition of the Hilbert space into eigenspaces of a self-adjoint operator, producing a DSD $\Bbb K$7 with projections $\Bbb K$8 satisfying $\Bbb K$9 and $\pi = \{V_i : i \in I\}$0. For an initial state $\pi = \{V_i : i \in I\}$1, the Lüders rule yields the post-measurement state $\pi = \{V_i : i \in I\}$2.

Logical entropy, dual to classical probability and focusing on distinctions rather than equivalences, quantifies the increase in distinction due to measurement. Quantum logical entropy is $\pi = \{V_i : i \in I\}$3, and the measurement-induced increase is

$\pi = \{V_i : i \in I\}$4

where the sum runs over basis pairs in different eigenspace blocks (Ellerman, 2016). This directly measures the decoherences (zeroing of off-diagonal elements) induced by the measurement—reflecting the creation of quantum distinctions in the direct-sum decomposition. By contrast, von Neumann entropy $\pi = \{V_i : i \in I\}$5 does not resolve measurement-induced distinctions elementwise.

3. Lattice Structure, Compatibility, and Observables

The set $\pi = \{V_i : i \in I\}$6 admits a partial order by refinement, with join and meet operations defined via intersections and block sums of subspaces. DSDs $\pi = \{V_i : i \in I\}$7 are compatible if their proto-join $\pi = \{V_i : i \in I\}$8 spans $\pi = \{V_i : i \in I\}$9. For compatible DSDs, the join $V_i \cap \sum_{j \neq i} V_j = \{0\}$0 gives the simultaneous eigenspace structure for commuting observables, while the meet $V_i \cap \sum_{j \neq i} V_j = \{0\}$1 is given by summing minimal groups of subspaces. The resulting poset $V_i \cap \sum_{j \neq i} V_j = \{0\}$2 is orthomodular, providing a rigorous logic for projective measurement, spectral refinement, and quantum propositions (Ellerman, 2016).

Compatibility of DSDs aligns precisely with commutativity of diagonalizable operators: two DSDs arise from commuting observables if and only if they are compatible, with their join capturing the simultaneous measurement structure.

4. Operational Protocols in Quantum Measurement and Reversal

Recent developments exploit the direct-sum framework to engineer protocols for quantum state recovery and measurement reversal without historical dependence on measurement outcomes (Suzuki et al., 14 Sep 2025). Consider $V_i \cap \sum_{j \neq i} V_j = \{0\}$3, decomposed as $V_i \cap \sum_{j \neq i} V_j = \{0\}$4 and $V_i \cap \sum_{j \neq i} V_j = \{0\}$5. Operators split into block-diagonal and off-diagonal forms; measurement and amplitude transfer can be implemented by two-Kraus-operator channels effecting "quasi-copying" between subspaces.

A "quasi-copying" channel can coherently move amplitude from $V_i \cap \sum_{j \neq i} V_j = \{0\}$6 to $V_i \cap \sum_{j \neq i} V_j = \{0\}$7. Next, a generalized measurement (POVM) is performed only on $V_i \cap \sum_{j \neq i} V_j = \{0\}$8. Crucially, a subsequent two-outcome measurement distinguishing between subspaces (with Kraus operators $V_i \cap \sum_{j \neq i} V_j = \{0\}$9, $i$0) can restore the system to its original state in $i$1 with probability $i$2, independent of the outcome of the first measurement (Suzuki et al., 14 Sep 2025). This procedure erases any information gained about the system by the prior measurement, demonstrating a unique reversal property inherent to the direct-sum structure, fundamentally governed by the same trade-off relations as conventional outcome-dependent quantum reversal protocols.

5. Non-Hermitian Quantum Measurement via Direct-Sum Dilations

The direct-sum framework also underpins protocols for projective measurement onto complete but non-orthogonal eigenbases of pseudo-Hermitian (PH) or general non-Hermitian operators. Given a PH operator $i$3 on a system Hilbert space $i$4 (i.e., $i$5 for invertible Hermitian $i$6), one constructs a dilated space $i$7 carrying block-embedded orthogonal projectors aligned with PH eigenvectors (Wang et al., 2024). Measurement in the dilated space (using projectors $i$8 acting on each summand) recovers the correct PH eigenstate statistics, with outcome probabilities $i$9 for an input $V = \bigoplus_{i \in I} V_i$0.

This strategy enables state-independent measurement of non-Hermitian observables, direct evaluation of expectation values and variances under the metric $V = \bigoplus_{i \in I} V_i$1, and provides a testbed for generalized uncertainty relations: $V = \bigoplus_{i \in I} V_i$2 This construction supports experimental implementation in optical circuits and allows exploration of measurement, uncertainty, and logic in high-dimensional non-Hermitian domains (Wang et al., 2024).

6. Theoretical and Experimental Realizations

Direct-sum decompositions have concrete counterparts in both categorical generalizations (QM/Sets models over $V = \bigoplus_{i \in I} V_i$3) and quantum experiments. In QM/Sets, DSDs define observable partitions, ket-vectors are subsets, and measurement directly realizes partition logic with combinatorially computable probabilities given by set-cardinality ratios. In experimental non-Hermitian measurement, quantum-optical circuits encode direct-sum splittings via polarization and spatial degrees of freedom, allowing post-selection and empirical extraction of non-Hermitian observable statistics without quantum state tomography.

The computational combinatorics of DSDs have been explicitly tabulated for low dimensions, and the experimental validation of theoretical predictions (expectations, variances, uncertainty bounds) underscores the operational relevance of the direct-sum framework across quantum platforms (Ellerman, 2016, Wang et al., 2024).

7. Significance and Generalizations

The quantum logic of direct-sum decompositions constitutes the categorical dual to the traditional quantum logic of subspaces, extending the lattice-theoretic apparatus and unifying the treatment of measurement, compatibility, and spectral refinement. The direct-sum approach facilitates transparent information-theoretic and operational analyses, as seen in logical entropy calculations, outcome-insensitive reversal protocols, and non-Hermitian observable measurement.

This suggests the direct-sum framework provides a powerful unifying language linking partition-based logic, category theory, quantum information, and experimental practice. Its utility spans from the foundational analysis of quantum distinctions (Ellerman, 2016) to advanced state-recovery protocols (Suzuki et al., 14 Sep 2025) and the experimental measurement of pseudo-Hermitian statistics (Wang et al., 2024), establishing it as a central structure in modern quantum theory.