Orthomodular Lattices

An orthomodular lattice is an orthocomplemented lattice in which a proposition containing another can be decomposed into that proposition and an orthogonal remainder. Hilbert-space projection lattices satisfy this law even though they need not be distributive. The weaker identity captures one aspect of quantum-event geometry.

Helpful background. Projection Lattices defines meet, join, order, and orthocomplement.

The orthomodular identity

An orthocomplementation reverses order, obeys $(P^\perp)^\perp=P$, and satisfies $P\wedge P^\perp=0$ and $P\vee P^\perp=I$. Orthomodularity adds

$$P\leq Q \quad\Longrightarrow\quad Q=P\vee(Q\wedge P^\perp).$$

The hypothesis $P\leq Q$ is essential. The identity does not hold with an arbitrary $P$ substituted into a distributive decomposition of every $Q$.

For closed Hilbert subspaces $M\subseteq N$, every $v\in N$ has a unique decomposition $v=P_Mv+(v-P_Mv)$. The first term lies in $M$ and the second in $N\cap M^\perp$. Hence

$$N=M\oplus(N\cap M^\perp),$$

which proves the orthomodular identity for their projections.

A finite-dimensional example

Let $N$ be the plane spanned by $e_1,e_2$ in $\mathbb C^3$, and let $M$ be the line spanned by $e_1$. The orthogonal remainder is the $e_2$ line. In matrices,

$$Q=\operatorname{diag}(1,1,0),\qquad P=\operatorname{diag}(1,0,0),\qquad Q-P=\operatorname{diag}(0,1,0).$$

Now replace $M$ by a line outside $N$. There is no inclusion hypothesis and the argument no longer applies. This provides a practical way to detect misuse of the law: first check the order relation.

What the law does not determine

Every Boolean lattice is orthomodular, so orthomodularity does not by itself imply nonclassicality. Conversely, abstract orthomodular lattices need not all be projection lattices of complex Hilbert spaces.

Representation theorems require further hypotheses about atoms, dimension, continuity, or covering properties, depending on the theorem. Even obtaining a Hilbert-space-like geometry may leave the scalar field and dynamics unspecified. Reconstruction programs should therefore be compared by complete assumption lists.

In infinite-dimensional Hilbert space, the closed-subspace lattice remains orthomodular, while unrestricted modular identities can fail. Closure and domain issues should not be suppressed by extrapolating finite-dimensional vector-space arguments.

Exercises

Show why a Boolean distributive lattice with an orthocomplement satisfies the orthomodular identity.

Solution

If $P\leq Q$, then $Q\wedge P=P$. Distributing $Q\wedge(P\vee P^\perp)$ gives $Q=(Q\wedge P)\vee(Q\wedge P^\perp)=P\vee(Q\wedge P^\perp)$. Thus orthomodularity is compatible with classical event logic and cannot alone distinguish it from quantum logic.

References

• Birkhoff, Garrett, and John von Neumann, “The logic of quantum mechanics,” Annals of Mathematics 37, 823–843 (1936). Original paper.
• Piron, Constantin, “Axiomatique quantique,” Helvetica Physica Acta 37, 439–468 (1964) — an early representation program with assumptions beyond orthomodularity. Journal archive.