A characterization of the Aerts product of Hilbertian lattices
Abstract
Let H1 and H2 be complex Hilbert spaces, L1=P(H1) and L2=P(H2) the lattices of closed subspaces, and let L be a complete atomistic lattice. We prove under some weak assumptions relating Li and L, that if L admits an orthocomplementation, then L is isomorphic to the separated product of L1 and L2 defined by Aerts. Our assumptions are minimal requirements for L to describe the experimental propositions concerning a compound system consisting of so called separated quantum systems. The proof does not require any assumption on the orthocomplementation of L.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.