A Note on the "Third Life of Quantum Logic"

Christian Herrmann

REVIEW 2 major objections 5 minor 27 references

A Note on the "Third Life of Quantum Logic"

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This note argues that the projection lattice of the hyperfinite type II1 factor and the continuous geometry CG(C), though not isomorphic, share exactly the same quantum-logic tautologies: the identities valid in every finite-dimensional…

desk verdict A useful expert survey with two small new propositions; the central equality claim is credible but the note's attribution and embedding remarks need correction before publication. read the letter →

arxiv 1908.02639 v3 pith:7FTJHJBB submitted 2019-08-07 math.LO math.QA

Christian Herrmann This is my paper · ORCID

classification math.LOmath.QA MSC 03G1206C1503B25

keywords quantumlogicmodularortholatticescontinuousgeometryprojectionlatticeshyperfiniteII1factorequationaltheorydecidabilitycomputationalcomplexity

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This note consolidates the logical identity of two very different infinite-dimensional structures: the projection lattice $L(R)$ of the hyperfinite type II$_1$ factor (the standard infinite-dimensional operator-algebra analogue of matrix algebras) and the continuous geometry $\mathrm{CG}(\mathbb{C})$, obtained as a metric completion of finite-dimensional subspace lattices. The paper argues that, although these two modular ortholattices are not isomorphic, they satisfy exactly the same quantum-logic tautologies—namely the identities common to all finite-dimensional Hilbert-space projection lattices $L(\mathbb{C}^d)$. If correct, this means the 'limit' of quantum logic as dimension grows is the same for both structures, so the choice between continuous geometry and operator-algebra projection lattices changes no equation of the logic. The note also records decidability and complexity results for this common theory and flags the embedding step on which the equality rests.

What carries the argument

The carrying object is the modular ortholattice (MOL): a modular lattice with an orthocomplementation, whose motivating example is the subspace lattice $L(H)$ of an inner product space. The argument runs through the equational theory $QL(\mathcal{C})$ of a class of MOLs, read as the quantum-logic tautologies of that class, and through the variety $\mathcal{N}$ generated by all finite-dimensional $L(\mathbb{C}^d)$. Three mechanisms transfer $\mathcal{N}$'s theory to the infinite-dimensional cases: metric completion puts $\mathrm{CG}(\mathbb{C})$ into the variety generated by its finite-dimensional approximants; an orthogonality-preserving embedding of certain countable sub-ortholattices of $L(R)$ (and of projection lattices of finite Rickart $C^*$-algebras) into the subspace lattice of some inner product space is obtained from the GNS construction; and a cited earlier result identifies $QL(L(R))$ with the finite-dimensional intersection. Together these mechanisms force all the structures to satisfy exactly the tautologies of $\mathcal{N}$.

What would settle it

Find a single lattice identity that holds in every $L(\mathbb{C}^d)$, $d<\omega$, but fails in $L(R)$ or in $\mathrm{CG}(\mathbb{C})$; such an identity would refute the claim directly. A narrower check targets the proof's hinge: take the countable sub-ortholattice of $L(R)$ produced by the GNS construction and decide whether it admits an orthogonality-preserving embedding into the subspace lattice of some inner product space—if not, the proof of Theorem 2(4) does not go through, even though the equality might still be true by another route.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2: for the variety $\mathcal{N}=V\{L(\mathbb{C}^d)\mid d<\omega\}$ generated by the finite-dimensional complex subspace lattices, the quantum logic $QL(\mathcal{N})=\bigcap_{d<\omega}QL(L(\mathbb{C}^d))$ is also the equational theory of the continuous geometry $\mathrm{CG}(\mathbb{C})$, of the projection lattice $L(R)$ of the hyperfinite type II$_1$ factor, and of the class of projection lattices of finite Rickart $C^*$-algebras. Consequently $L(R)$ and $\mathrm{CG}(\mathbb{C})$ have the same tautologies even though they are not isomorphic and neither is a subdirect product of finite-dimensional $L(\mathbb{C}^d)$'s. The same circle of results shows $QL(\mathcal{N})$ is decidable, that its refutation problem is p-time equivalent to a real polynomial feasibility problem, and that satisfiability is undecidable for both $L(R)$ and $\mathrm{CG}(\mathbb{C})$.

Load-bearing premise

The load-bearing assumption is that certain countable sub-ortholattices of $L(R)$ and of projection lattices of finite Rickart $C^*$-algebras can be embedded, preserving orthogonality, into the subspace lattice of some inner product space; if even one such embedding is impossible in the needed form, the proof of the equality is broken.

Editorial extensions

If this is right

No modular-ortholattice identity can separate the finite-dimensional quantum logic $QL(\mathcal{N})$ from $L(R)$ or $\mathrm{CG}(\mathbb{C})$; any equation proved in every finite-dimensional Hilbert-space projection lattice holds in both infinite limits.
The common tautology problem is decidable, and refuting a non-tautology is p-time equivalent to deciding whether a given list of real polynomials has a common zero, which places the refutation problem in PSPACE.
Satisfiability for $\mathrm{CG}(\mathbb{C})$ and $L(R)$ is undecidable, so 'find a model' is strictly harder than 'check a tautology' for these structures.
The equality extends beyond the two named limits: projection lattices of finite Rickart $C^*$-algebras satisfy the same finite-dimensional tautologies, by the representation step of Theorem 2(5).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the equality holds, distinguishing finite-dimensional quantum logic from these infinite limits requires going beyond equations; first-order and higher-order invariants can still vary.
The embedding step in Theorem 2(4) and (5) suggests a concrete test: build the countable sub-ortholattice of $L(R)$ given by the GNS construction and check whether it embeds orthogonality-preservingly into some subspace lattice; a failure would not automatically disprove the equality, but it would show that a different proof is needed.
Because $QL(F^d)=QL(\mathbb{C}^d)$ for every field $F$ containing the algebraic numbers, the finite-dimensional tautologies depend only on the projective-algebraic skeleton, not on the metric; one could test whether the same insensitivity survives in $L(R)$ under non-Archimedean inner products.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

Quick take: this is a workmanlike note by an expert in the area; it is mostly a survey of known results, with two modest new propositions that check out. The paper is worth engaging with, but the headline equality QL(L(R)) = ⋂_d QL(C^d) is presented in a way that is hard to verify: there's a name/reference mismatch and a parenthetical embedding argument that is too thin.

The genuinely new content is Proposition 1 and Proposition 3. Prop 1 gives a sequence of identities δ_d that hold exactly in the subdirect products of MOLs of height ≤ d; the proof via Jónsson is standard and solid. Prop 3 shows that no infinite simple finite-dimensional MOL has a finite test set, extending the known result for L(F^d). The construction with d-diamonds is sound, at least on a first pass. These are useful additions to the literature.

The survey part does a good job of compressing a lot: classification, decidability, complexity, open problems. For someone entering this subfield, the note would be a useful map.

The soft spots: first, Theorem 2(4) is attributed to 'Luca Giudici' but the reference [13] is Herrmann's 2010 paper. Either a source is missing or the name is wrong; that needs fixing. Second, the last parenthetical in Section 5 says (4)/(5) rely on an orthogonality-preserving embedding into the lattice of all subspaces of an inner product space. As written, that cannot be right: on the lattice of all subspaces, the orthogonal complement is not an orthocomplementation unless the space is finite-dimensional, so an ortholattice embedding into such a lattice is impossible. If the intended target is closed subspaces of a Hilbert space, then the note does not explain how a failure in a countable sub-ortholattice of L(R) descends to a finite-dimensional failure. The claim may well be true—it's attributed to prior published work—but the note as written doesn't give the reader a way to check the bridge. That needs a clearer citation or a few lines of proof.

Minor typos and formatting glitches (stray braces, 'derived form') should be cleaned up.

Who is this for? Someone working in quantum logic, modular ortholattices, or the decidability of projection lattices. It belongs in the special issue conversation. I'd suggest the editor fix the attribution, clarify the embedding remark, and check the references; then accept. It deserves a serious referee rather than a desk reject.

Referee Report

2 major / 5 minor

Summary. The note is an expository companion to Dunn, Moss, and Wang's introduction to the 'third life' of quantum logic. It reviews the geometric and universal-algebraic background for modular ortholattices, proves or sketches a dimension-identity result (Proposition 1) and a test-set construction (Proposition 3), and states Theorem 2 identifying the equational theory QL(N), defined as the intersection of the tautologies of all finite-dimensional Hilbert-space subspace lattices, with the tautologies of von Neumann's continuous geometry CG(F) and of projection lattices of finite type II1 factors and finite Rickart C*-algebras. A central advertised conclusion is that L(R), the projection lattice of the hyperfinite II1 factor, and CG(C) are non-isomorphic yet have the same quantum-logic tautologies. The note also summarizes complexity and decision results for these equational theories.

Significance. If the results hold, the note provides a concise and useful mapping of the logical boundaries between finite-dimensional quantum logic and its two infinite 'limits'. Its main strength is bringing together standard tools—Jonsson's lemma, d-diamond identities, and the Freudenthal--Harding--Herrmann decision procedures—and packaging them for the readership of the special issue. The proofs of Proposition 1 and the quoted decision results appear reasonable, and the paper is honest about where it relies on prior published work. However, the proof of Theorem 2(4)--(5) is only indicated by a vague embedding claim, and Proposition 3, which is new, is proved only in compressed form. Because the central equality QL(L(R)) = QL(N) depends on Theorem 2(4), the note needs a more precise treatment of that step before the advertised conclusion is fully established.

major comments (2)

[Section 5, Theorem 2(4)--(5)] The proof of Theorem 2(4) and (5) is incomplete as written. The only justification is the sentence: '(4) and (5) rely on an orthogonality preserving embedding into the lattice of all subspaces of some inner product space – for certain countable sub-ortholattices in (4), derived from the GNS-construction in (5).' This is neither a proof nor a precise reference to a proved lemma. Moreover, the logical bridge from such an embedding to a counterexample in a finite-dimensional L(C^d) is not explained. If the target is the lattice of all subspaces of an infinite-dimensional inner product space, then the orthogonal complement map need not be an orthocomplementation, so ortholattice terms need not be preserved; if one instead passes to the Hilbert-space projection lattice, that lattice satisfies the orthomodular law but the modular law fails, whereas the desired equational theory is the intersection of the finite-dimensional theories. An additional descent argument to finite dimension is therefore required and is not supplied. Please state the embedding lemma precisely and either prove it or give an exact location in [13] and [15] where the missing steps appear.
[Section 6, Proposition 3] The proof of Proposition 3 is too compressed for a new result. The key assertion that, for an assignment in an MOL of d(L) = d, either all values of the terms t_i and s_j are equal or they form a nontrivial d-diamond with the s_j atoms in the interval [0, a0 + a1] and a0 b_j = 0, is stated without proof. The claimed behavior of the identity sigma_{d,m} under assignments identifying two of the x-variables depends entirely on this dichotomy. A full verification of these claims, or a precise reference to the construction on which the proof is based, should be supplied so that the test-set conclusion in Section 6 is reproducible.

minor comments (5)

[Sections 1--2, 5--6, 8] There are several typographical errors that should be corrected: 'interprete d' (Section 1), 'r^ole' (Sections 1 and 5), 'derived form' (Section 5), 'is satisﬁed' (Section 6), 'whether is fails' (Section 8), and 'Bum-Shub-Smale' (Section 1 and 8).
[Section 5, Theorem 2] The statement of Theorem 2 contains garbled notation: 'Let A ∩ R ⊆ F ⊆ C}.' has a stray brace, and part (1) reads 'QL(N ) = QL(Fd) | d < ω )' where the intended set or intersection notation is missing. Please restore the correct notation for the class of all L(F^d) and the intersection over d.
[Introduction and Section 5] The result in Theorem 2(4) is attributed to 'Luca Giudici (cf. [13])', but reference [13] is the author's own paper 'On the equational theory of projection lattices of finite von-Neumann factors' (2010), with no indication of a separate result by Giudici. If the theorem is genuinely due to Giudici, a proper source should be cited; if it is due to the author, the name should be corrected.
[Section 8] In the paragraph on the decidability of QL(N), the phrase 'an identity ε falsified in some L(F^n) is falsified in L(F^{d(ε)}) with computable function d' overloads the symbol d, which is also used for dimension throughout the note. Please rename the bounding function, for instance d_min(ε), to avoid ambiguity.
[Section 5] The remark that 'QL(C^d) ⊆ QL(R^{2d})' could benefit from a brief explanation of the intended embedding of the complex d-dimensional space into the real 2d-dimensional space and why this preserves the involutive structure.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the note's central equalities are cited from independently published prior work; the acknowledged proof dependencies are gaps, not definitional reductions.

full rationale

The note is an expository survey rather than a fresh derivation. Theorem 2 is assembled from cited results: (1) from elementary monotonicity of QL(F^d), (2) from direct limits, (3) from metric completion lying in V(L), (4) from [13], and (5) from [15]. The key equality QL(L(R)) = ∩_d QL(C^d) is therefore a citation, not a derivation within this note. [13] is authored by Herrmann, and the note credits the theorem to 'Luca Giudici'; this is an attribution/reference defect, and the support for (4) is indeed a load-bearing self-citation in a superficial sense. However, under the stated rules, [13] is a separately published, peer-reviewed theorem with an externally checkable proof; it is not a fitted parameter, an ansatz, or a restatement of an assumption of the present note. Likewise, the Section 5 parenthetical about an orthogonality-preserving embedding into the lattice of all subspaces of an inner product space is an acknowledged proof dependency, not a definitional reduction; even if that step is incomplete (the skeptic's descent-to-finite-dimension concern), incompleteness is a correctness risk rather than circularity. Nothing in the note defines its conclusion in terms of its conclusion, and no fitted input is renamed as a prediction. Hence no significant circularity is present.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no free parameters and no new entities. It relies on the standard classification and coordinatization theorems for modular ortholattices (Sections 2 and 7), Jónsson's lemma (Section 3), von Neumann's completion construction (Section 5), and a GNS-based embedding assumption for countable sub-ortholattices (Section 5). The latter is the least documented premise.

assumptions (5)

standard math Every finite-dimensional modular ortholattice is isomorphic to the subspace lattice of a finite-dimensional projective space with an anisotropic polarity.
Invoked in Section 2 as background from [5] and [6]; it underlies all dimensional arguments in the note.
standard math Simple Arguesian modular ortholattices of dimension at least 3 are coordinatized by vector spaces over division rings with involution and anisotropic hermitian forms.
Used in Section 2 and Section 7, in essence from [6], cf. [9, Section 14].
standard math Jónsson's lemma for congruence-distributive varieties: subdirectly irreducible members of V(C) are homomorphic images of sub-ortholattices of ultraproducts of members of C.
Applied in Section 3 to reduce membership in V(C) to ultrapowers of sections.
domain assumption The metric completion of the directed union of L(F^d) is a member of the variety generated by that union.
Used in Section 5 to show QL(N) = QL(CG(F)); it relies on von Neumann's completion construction [24].
domain assumption Countable sub-ortholattices of L(R) and of finite Rickart C*-algebra projection lattices admit orthogonality-preserving embeddings into subspace lattices of inner product spaces via the GNS construction.
Stated in Section 5 as the technical basis for Theorem 2(4) and (5); this is the least explicitly verified premise.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Note on the "Third Life of Quantum Logic"." pith.science (2026). https://pith.science/paper/7FTJHJBB

@misc{pith2026190802639,
  author       = {Pith},
  title        = {Pith review of: A Note on the "Third Life of Quantum Logic"},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7FTJHJBB}},
  note         = {Machine review of arXiv:1908.02639}
}

read the original abstract

The purpose of this note is to discuss some of the questions raised by Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan in Editors' introduction: the third life of quantum logic: quantum logic inspired by quantum computing.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

[13]

Herrmann, C. (2010). On the equational theory of projectio n lattices of ﬁnite von-Neumann factors. J. Symbolic Logic, 75 (2), 1102–1110

work page 2010
[15]

Herrmann, C., Semenova, M. (2014). Rings of quotients of ﬁnit e AW ∗ - algebras: Representation and algebraic approximation. Algebra and Logic, 54 (4), 298–322

work page 2014
[1]

Abramsky, S., Coecke, B. (2009). Categorical quantum mecha nics. In K. Engesser et al. (Eds.), Handbook of quantum logic and quantum structures –quantum logic (pp. 261–323). Amsterdam: Elsevier/North- Holland

work page 2009
[2]

Ara, P., Claramunt, J. (2018). Uniqueness of the von Neumann c on- tinuous factor. Canad. J. Math., 70 (5), 961–982

work page 2018
[3]

Baer, R. (1946). Polarities in ﬁnite projective planes. Bull. Amer. Math. Soc., 52 , 77–93

work page 1946
[4]

Bergman, G. M. (1968) Commuting elements in free algebras and re- lated topics in ring theory. , Thesis (Ph.D.) Harvard University

work page 1968
[5]

(1967) Lattice theory

Birkhoﬀ, G. (1967) Lattice theory. Third edition. AMS Colloquium Publications (Vol. 25). Providence, RI: American Mathematical So- ciety

work page 1967
[6]

Birkhoﬀ, G., von Neumann, J. (1936). The logic of quantum mecha nics. Annals of Mathematics, 37 (4), 823–843

work page 1936

Show all 27 references

[7]

Dunn, J.M., Hagge, T.J., Moss, L.S. Wang, Z. (2005). Quantum logic as motivated by quantum computing. Journal of Symbolic Logic, 70 (2), 353–369

2005
[8]

Dunn, J.M., Moss, L.S., Wang, Z. (2013). Editors’ introduction: t he third life of quantum logic: quantum logic inspired by quantum com- puting. Journal of Philosphical Logic, 42 (3), 443–459

2013
[9]

THIRD LIFE OF QUANTUM LOGIC

Faure, C.A., Fr¨ olicher, A. (2000). Modern Projective geometry , Ams- terdam: Kluwer. MODULAR ORTHOLATTICES AND THE “THIRD LIFE OF QUANTUM LOGIC” 9

2000
[10]

Giuntini, R., Freytes, H., Sergioli, G. (2016). Quantum logic assoc iated to ﬁnite dimensional intervals of modular ortholattices. J. Symbolic Logic, 81 (2), 629–640

2016
[11]

Hagge, T.J. (2007). QL(Cn) determines n. Journal Symbolic Logic, 72 (4), 1194–1196

2007
[12]

Harding, J. (2013). Decidability of the equational theory of th e contin- uous geometry CG(F). Journal of Philosophical Logic, 42 (3), 461–465

2013
[14]

Herrmann, C., Micol, F., Roddy, M.S. (2005). On n-distributive mod- ular ortholattices. Algebra Universalis, 53 , 143–147

2005
[16]

Herrmann, C., Semenova, M. (2016). Linear representations of regular rings and complemented modular lattices with involution. Acta Sci. Math., 82 (3–4), 395–442

2016
[17]

Herrmann, C., Tsukamoto, Y., Ziegler, M. (2016). On the consis tency problem for modular lattices and related structures. Internat. J. Alge- bra Comput., 26 (8), 1573–1595

2016
[18]

Herrmann, C., Ziegler, M. (2011). Computational complexity of quan- tum satisﬁability. Proc. 26th Annual IEEE Symposium on Logic in Computer Science , 175–184

2011
[19]

Herrmann, C, Ziegler, M. (2016). Computational complexity of quan- tum satisﬁability. J. ACM, 63 (2), Art. 19

2016
[20]

Herrmann, C., Ziegler, M. (2019). Deﬁnable relations in ﬁnite- dimensional subspace lattices with involution. Algebra Universalis, 79 (3), Art. 68

2019
[21]

Huhn, A. P. (1972). Schwach distributive Verb¨ ande I. Acta Sci. Math., 33, 297–305

1972
[22]

J´ onsson, B. (1965). Modular lattices and Desargues’ theor em. Math. Scand., 2 , 295–314

1965
[23]

J., von Neumann, J

Murray, F. J., von Neumann, J. (1943). On rings of operators IV. Ann. of Math., 44 , 716–808

1943
[24]

von Neumann, J. (1936). Examples of continuous geometries. NAS Proc., 22, 101–108

1936
[25]

von Neumann, J. (1958). The non-isomorphism of certain cont inuous rings. Ann. of Math., 67 , 485–496

1958
[26]

von Neumann, J. (1960). Continuous geometry . Princeton: Princeton Math. Series no.25

1960
[27]

Roddy, M.S. (1989). On the word problem for orthocomplement ed modular lattices. Canad. J. Math., 37 , 961–1004. (Christian Herrmann) Technische Universit ¨at Darmstadt FB4, Schloß- gartenstr. 7, 64289 Darmstadt, Germany E-mail address : herrmann@mathematik.tu-darmstadt.de

1989

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [13]

Herrmann, C. (2010). On the equational theory of projectio n lattices of ﬁnite von-Neumann factors. J. Symbolic Logic, 75 (2), 1102–1110

work page 2010

[2] [15]

Herrmann, C., Semenova, M. (2014). Rings of quotients of ﬁnit e AW ∗ - algebras: Representation and algebraic approximation. Algebra and Logic, 54 (4), 298–322

work page 2014

[3] [1]

Abramsky, S., Coecke, B. (2009). Categorical quantum mecha nics. In K. Engesser et al. (Eds.), Handbook of quantum logic and quantum structures –quantum logic (pp. 261–323). Amsterdam: Elsevier/North- Holland

work page 2009

[4] [2]

Ara, P., Claramunt, J. (2018). Uniqueness of the von Neumann c on- tinuous factor. Canad. J. Math., 70 (5), 961–982

work page 2018

[5] [3]

Baer, R. (1946). Polarities in ﬁnite projective planes. Bull. Amer. Math. Soc., 52 , 77–93

work page 1946

[6] [4]

Bergman, G. M. (1968) Commuting elements in free algebras and re- lated topics in ring theory. , Thesis (Ph.D.) Harvard University

work page 1968

[7] [5]

(1967) Lattice theory

Birkhoﬀ, G. (1967) Lattice theory. Third edition. AMS Colloquium Publications (Vol. 25). Providence, RI: American Mathematical So- ciety

work page 1967

[8] [6]

Birkhoﬀ, G., von Neumann, J. (1936). The logic of quantum mecha nics. Annals of Mathematics, 37 (4), 823–843

work page 1936