{"id":"b07d6ed6-b519-48c0-a070-28faca4a8c57","arxiv_id":"2412.07832","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Under positivity, hermiticity, symmetry, and vanishing entropy, the Sorkin-Johnston state is the unique global vacuum for a quasifree scalar field on a causal set.","lead":"This paper shows that a handful of simple principles, including zero entropy for the vacuum, single out a specific candidate quantum vacuum, the Sorkin-Johnston state, for fields on a discrete spacetime called a causal set. The work clarifies why this vacuum, already used in causal set theory, is a natural choice.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Purity (A3) does not force H²=−Δ²; noncommuting pure quasifree states satisfy the axioms in Eq. (11), so the claimed uniqueness of the Sorkin-Johnston state is not established.","rationale":"The reader's conditional verdict rests on the under-justified choice of L² inner product. My stress test identifies a more direct, load-bearing gap: even after fixing the L² inner product, purity (A3) does not imply the SJ state. The derivation in §4 moves from Z being a projection to H²=−Δ² via the assertion that H and Δ commute. This assertion holds in the Williamson normal form by construction, but the symplectic transformation involved is not an L²-unitary transformation; in the original orthonormal basis, H and Δ need not commute. The explicit 2-mode squeezed example satisfies all the algebraic conditions: W is Hermitian and positive, Z is a projection so the entropy (7) vanishes, and WΔ⁻¹W=iW holds; nevertheless W is not the positive spectral projection of iΔ. This is not a pathological continuum state: in a causal set with trivial automorphism group, A4 is vacuous, and the example is a perfectly valid quasifree pure state with the same Peierls commutator. In symmetric spacetimes, de Sitter α-vacua provide candidate invariant pure quasifree states with the same commutator and are generally distinct from the SJ state, as the paper itself hints. Therefore the central uniqueness claim (11) is not merely conditional on the inner product; it requires an additional commutation assumption that is absent from the axioms. The paper remains a useful exposition of how the SJ state relates to entropic purity, and it is candid about de Sitter and non-locality issues, but as a uniqueness theorem the argument is incomplete. Because a concrete counterexample exists within the paper's own algebraic framework, the verdict should move from CONDITIONAL to REJECT.","tokens_in":7255,"tokens_out":20413,"duration_ms":238571,"concrete_test":"Algebraic counterexample check: take Δ=[[0,−1],[1,0]], H=diag(2,1/2), W=½(H+iΔ). Compute Z=−iΔ⁻¹W and verify Z²=Z (so A3 holds via Eq. (7)) and W≥0, while H²≠−Δ² and W≠pos(iΔ). If this passes, the proof step leading to Eq. (10) is invalid. To close the remaining loophole, verify that an O(4,1)-invariant α-vacuum in de Sitter satisfies A1–A4, QF, GH, NH, P and is not pos(iΔ), which would directly refute Eq. (11).","verdict_should_be":"REJECT","load_bearing_attack":"In §4 the proof of Eq. (10) argues: purity gives Z²=Z and hence WΔ⁻¹W=iW (8); then, 'using A2 and the decoupled basis of (3), we see H and Δ commute... This implies H²=-Δ².' The commutativity is only guaranteed in the Williamson normal form, after a symplectic transformation chosen to diagonalize H. That transformation is not generally unitary in the L² inner product, so back in the original basis H and Δ need not commute. Algebraically, (8) is equivalent to HΔ⁻¹H=−Δ, which admits noncommuting pure solutions. Example: Δ=[[0,−1],[1,0]], H=diag(a,a⁻¹) with a>0, a≠1. Then W=½(H+iΔ) is Hermitian and positive semidefinite; Z=−iΔ⁻¹W is a projection with eigenvalues 0 and 1, so S(W)=0 by (7); yet H²=diag(a²,a⁻²)≠I=−Δ², so W≠½(√(−Δ²)+iΔ). Thus A3 alone does not select the SJ state. A4 does not rescue the claim: for causal sets with trivial automorphism group A4 is vacuous, and in de Sitter the O(4,1)-invariant α-vacua are pure quasifree states with the same Peierls commutator, generically not equal to pos(iΔ) (the paper itself notes SJ may not be an α-vacuum). An extra condition such as [H,Δ]=0 is needed, but it is not among the listed axioms.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper argues that, for a real scalar field on a causal set, the Sorkin-Johnston (SJ) vacuum W_SJ = pos(iΔ) is the unique global vacuum compatible with a set of principles: positivity (A1), hermiticity (A2), purity as defined by a spectral entropy formula (A3), and invariance under manifold symmetries (A4), together with global hyperbolicity, normal hyperbolicity, quasifreedom, the Peierls relation, and the choice of the L2 field space. Section 3 reviews the global entropy formula S(W)=Σ ζ ln|ζ| with Z=-iΔ^{-1}W; Section 4 derives Eq. (10) by setting S=0 and then concludes Eq. (11). The paper closes with remarks on the Wightman axioms, non-locality, and open questions about the Hadamard property.","tokens_in":7565,"tokens_out":17522,"duration_ms":163018,"significance":"If valid, the result would give a covariant, entropy-based derivation of the SJ state as the preferred vacuum for causal-set QFT, and it would clarify why purity is the key selection principle. The paper is clearly written and appropriately flags the unresolved choice of field space and the unclear status of the SJ state in de Sitter space. However, the central derivation contains a specific algebraic gap: purity as defined by (7) does not force H and Δ to commute, and explicit non-SJ pure quasifree states satisfy all the state axioms. Since the uniqueness claim rests on this gap, the main theorem is not established in the present form.","major_comments":[{"comment":"The step leading to Eq. (10) is invalid. From S(W)=0 one obtains Z²=Z, i.e. WΔ^{-1}W=iW, equivalently HΔ^{-1}H=-Δ. The next sentence, \"Using A2 and the decoupled basis of (3), we see H and Δ commute\", does not follow: the symplectic transformation that puts H into Williamson normal form is not unitary in the L2 inner product, and commutativity in the transformed basis is not preserved by the inverse congruence back to the original basis. A counterexample is Δ = [[0,-1],[1,0]], H = diag(a,a^{-1}) with a>0, a≠1. Then W = 1/2(H+iΔ) is Hermitian and positive semidefinite, HΔ^{-1}H = -Δ, so S(W)=0 by (7), but H² ≠ -Δ² and hence W ≠ pos(iΔ). This is a squeezed pure quasifree state satisfying A1–A3. Thus Eq. (10) and the implication (11) are not established.","section":"§4, Eqs. (8)–(10)"},{"comment":"A3 does not select the SJ state. Formula (7) is constructed from the same spectral object Z=-iΔ^{-1}W that defines the SJ state, and S(W)=0 is satisfied by all pure quasifree states, not only by the SJ state. In the counterexample above the state is pure and has zero entropy, but a different choice of positive H solves the same equations. An additional condition such as [H,Δ]=0 would be needed; it is not among the axioms listed in Eq. (11). A4 cannot fill this gap because for causal sets with trivial automorphism group it is vacuous, and in de Sitter the α-vacua are invariant pure quasifree states, as the paper itself notes in §4.1.","section":"§4, A3 and Eq. (11)"},{"comment":"The theorem is conditional on the L2 field space in a load-bearing way. The paper states that A4 requires an invariant inner product but \"does not constrain the inner product entirely\" and that L2 is chosen as \"most natural\" rather than forced. Since the entropy formula (7) and the spectral projector pos(iΔ) both depend on this inner product, a different invariant inner product can change the distinguished state. Consequently, the uniqueness claim in Eq. (11) is not a consequence of the physical principles alone; it includes an unproven modeling choice.","section":"Sec. 4, field-space choice"}],"minor_comments":[{"comment":"The note that bilinear forms have not been distinguished from operators is not merely a notational remark; the proof uses both interpretations. Please define the field space and the inner product explicitly before Eq. (7).","section":"Page 3, footnote f"},{"comment":"The use of ζ ln|ζ| for negative eigenvalues should be justified, since it differs from the usual trace formula for von Neumann entropy in sign for each term.","section":"Page 4, Eq. (7)"},{"comment":"The author listed as \"N. X\" appears to be a placeholder and should be corrected.","section":"References [24] and [36]"},{"comment":"\"Perscription\" is a typo for \"prescription\"; please correct it.","section":"Page 5"},{"comment":"The phrase \"We have spooky action at a distance\" is informal; if the non-locality point is to be made, it should be stated as a precise technical limitation.","section":"Sec. 4, non-locality paragraph"}],"recommendation":"reject","confidential_remarks":"This is a short proceedings paper with a clear central claim. The central theorem is refuted by an explicit family of squeezed pure quasifree states satisfying the listed axioms; the error is in the commutativity inference after Eq. (8). The author could repair the statement by adding a commutativity axiom, but that would be a substantially weaker result and would not preserve the advertised uniqueness claim. The paper also candidly notes the L2-field-space ambiguity and the open de Sitter questions, which further undercut the \"only candidate\" wording. I would not recommend acceptance in the current form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper is a clean short summary of the Sorkin-Johnston vacuum and its entropic motivation, but the central uniqueness theorem has a real gap. The step in §4 where using A2 and the decoupled basis of (3) you conclude H and Δ commute is not justified. Williamson normal form uses a symplectic transformation that does not preserve the L2 inner product, so commutativity in that basis does not imply commutativity back in the original basis. Without it, purity does not force H^2=-Δ^2. A simple counterexample: Δ = [[0,-1],[1,0]], H = diag(a,a^{-1}) with a>0 and a≠1. Then W = ½(H+iΔ) is Hermitian and positive semidefinite, Z = -iΔ^{-1}W is a projection so S(W)=0, yet H^2 ≠ I = -Δ^2, so W ≠ pos(iΔ). This is not contrived: the O(4,1)-invariant α-vacua in de Sitter are pure quasifree states with the same Peierls commutator and generically not the SJ state, as the paper itself notes. So the axiom system in (11) does not single out the SJ state as claimed.\n\nWhat is good: the paper collects the Sorkin-Johnston construction and the global entropy formula into a clear set of principles. The discussion of the Fewster-Verch no-go theorem and the non-locality of global vacuum assignments is thoughtful. The author is honest about the L2 field-space choice not being fully forced by the symmetry axiom, and about the open Hadamard issues in de Sitter. The writing is lucid.\n\nThe circularity concern is real but secondary: purity is defined through Z=-iΔ^{-1}W, the same spectral object used to construct the SJ state, so part of the conclusion is structurally presupposed. The immediate mathematical problem is the commutativity step. Adding [H,Δ]=0 as an explicit axiom would make the derivation go through, but that is a stronger condition than any of the stated principles, and it is not implied by the others.\n\nWho is this for: people in causal set QFT who want a tidy statement of the SJ state's role. As a proceedings piece it is fine, but as a research claim it needs revision. I would send it to a referee because the gap is instructive and the topic is active, but a serious referee should catch the flaw and demand the argument be fixed or the claim weakened.","headline":"The paper's uniqueness claim for the Sorkin-Johnston vacuum has a genuine commutativity gap: the proof that purity implies H^2=-Δ^2 fails, and a simple counterexample shows the stated axioms do not single out the SJ state.","tokens_in":8137,"tokens_out":6375,"would_cite":false,"duration_ms":55206,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C47","81T20","83C45"],"pacs":["04.60.-m","04.62.+v"],"model":"deepseek-v4-flash","headline":"This paper shows that entropic purity, together with a short list of natural axioms and the L2 field-space inner product, singles out the Sorkin-Johnston state as the only candidate global vacuum for a quasifree scalar field on a causal…","keywords":["causal set theory","Sorkin-Johnston vacuum","entropic purity","quasifree scalar field","Wightman axioms","global vacuum","spectral entropy"],"falsifier":"Compute the entropy formula $S(W)$ in equation (7) using two different invariant inner products on the same globally hyperbolic causal set. If purity selects different states, or if some state has $S(W)=0$ under one inner product but not the other, the uniqueness claim in equation (11) fails.","tokens_in":6993,"feed_emoji":"⚛️","tokens_out":10392,"duration_ms":82184,"temperature":0.7,"pith_summary":"This paper asks what picks out a vacuum state for a real scalar quantum field when there is no time-translation symmetry to define positive frequency. Working on a causal set—a discrete ordered model of spacetime—the author shows that entropic purity plus a short list of natural conditions leaves exactly one candidate global vacuum, the Sorkin-Johnston state. The argument turns on a spectral entropy formula that assigns an entropy to any quasifree state; demanding zero entropy for the global vacuum forces the state to be the positive part of the commutator. If the argument holds, it supplies an entirely covariant criterion for vacuum selection in quantum field theory on discrete spacetime.","feed_headline":"Entropic purity singles out the Sorkin-Johnston vacuum","feed_subtitle":"A few natural axioms force the global vacuum of a quantum field on a causal set to be built from the field's commutator.","key_machinery":"The load-bearing object is the spectral entropy formula $S(W)=\\sum_{\\zeta\\in\\mathrm{spec} Z}\\zeta\\ln|\\zeta|$ with $Z=-i\\Delta^{-1}W$, where the Wightman matrix is decomposed as $W=\\tfrac12(H+i\\Delta)$. This formula converts purity into a spectral projection condition: $S(W)=0$ iff the eigenvalues of $Z$ are 0 or 1, which gives the operator equation $W\\Delta^{-1}W=iW$ and hence $H=\\pm\\sqrt{-\\Delta^2}$. The Peierls relation $\\Delta=\\mathrm{G}_R-\\mathrm{G}_A$ ties the commutator to the causal propagator, and the $L^2$ field-space inner product supplies the metric structure in which $\\Delta$ is bounded and the entropy is evaluated. The result is that the distinguished vacuum is the positive spectral part of the causal propagator, $\\operatorname{pos}(i(\\mathrm{G}_R-\\mathrm{G}_A))$.","core_discovery":"On the paper's own terms, the central discovery is that the global vacuum is not an additional input but a consequence: with positive semidefiniteness (A1), hermiticity (A2), purity (A3), manifold symmetry realized as an invariant inner product (A4), global hyperbolicity, normal hyperbolicity, quasifreedom, and the Peierls relation, the Wightman matrix must take the form $W = \\operatorname{pos}(i(\\mathrm{G}_R-\\mathrm{G}_A))$. The route is direct. Writing $W=\\tfrac12(H+i\\Delta)$, purity forces the operator $Z=-i\\Delta^{-1}W$ to be a projection, so $H^2=-\\Delta^2$; positive semidefiniteness then selects the positive square root, $W=\\tfrac12(\\sqrt{-\\Delta^2}+i\\Delta)$, which is the Sorkin-Johnston state. Thus positive frequency is replaced, covariantly, by the positive eigenspectrum of the causal propagator.","pith_inferences":["Extension: if a different invariant inner product satisfies A4, the argument would not go through unchanged, and testing whether any such inner product changes the purity-selected state on de Sitter or ultrastatic slabs would map the true scope of uniqueness.","Extension: the replacement of positive frequency by the positive spectrum of the commutator suggests a covariant definition of vacuum that could be exported beyond causal sets, for example to any spacetime where the causal propagator has a well-defined spectral decomposition.","Extension: the paper notes the construction should extend to fermions with a modified Peierls relation, so a concrete next step is to check whether a fermionic analogue preserves purity and selects a unique state.","Extension: the non-locality used to evade the no-go theorem may be testable if a dynamical spacetime setting allowed manipulation of the background, since the paper flags that such vacuum engineering could otherwise suggest faster-than-light influence."],"forward_implications":["In any globally hyperbolic causal set admitting a quasifree real scalar field, accepting the seven conditions forces the Wightman function to be the Sorkin-Johnston state; no other candidate survives.","For static spacetimes of infinite timelike extent, the Sorkin-Johnston state coincides with the conventional positive-frequency vacuum, so the criterion does not discard known physics.","The cluster property and spacelike commutativity need not be imposed separately; they follow from the axioms and the causal support of the Green functions.","The construction is inherently non-local, because purity is judged using the whole spacetime inner product, and therefore it lies outside the reach of no-go results aimed at dynamically local vacuum choices.","If the vacuum is required to be pure, the Sorkin-Johnston prescription should be applied only to complete spacetimes, not to subregions where restrictions are generically mixed."],"supporting_citations":[{"why":"Supplies the global spectral entropy formula used to impose purity.","marker":"[7]"},{"why":"Originates the Sorkin-Johnston construction with the Feynman propagator on a causal set.","marker":"[8]"},{"why":"Provides the histories-form scalar field theory on causal sets that anchors the prescription.","marker":"[9]"},{"why":"Develops the distinguished vacuum formalism and its agreement with positive-frequency vacua in static spacetimes.","marker":"[10]"},{"why":"Gives the Wightman axioms from which A1, A2, and A4 are generalized.","marker":"[11]"},{"why":"Peierls' commutation law that fixes the commutator as the causal propagator, condition (P).","marker":"[25]"},{"why":"Supports the kernel-removal step and the field-space discussion for the entropy formula.","marker":"[26]"},{"why":"Establishes boundedness of Delta for the L2 inner product on bounded spacetimes, used in the spectral argument.","marker":"[33]"},{"why":"The dynamically local no-go theorem that the non-local construction is designed to evade.","marker":"[34]"}],"fun_headline_variants":["Axioms pin the global vacuum to Sorkin-Johnston state","Purity and symmetry force a unique vacuum in causal sets","Sorkin-Johnston state emerges from natural axioms","Entropic purity alone picks the causal-set vacuum","Axioms force a unique vacuum from the commutator"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness result depends on choosing the L2 inner product on the field space: the paper says manifold symmetry requires an invariant inner product but does not fix it, and L2 is selected as the most natural rather than forced.","fun_headline_variants_meta":{"raw":{"variants":["Axioms pin the global vacuum to Sorkin-Johnston state","Purity and symmetry force a unique vacuum in causal sets","Sorkin-Johnston state emerges from natural axioms","Entropic purity alone picks the causal-set vacuum","Axioms force a unique vacuum from the commutator"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000502,"raw_usage":{"total_tokens":2388,"prompt_tokens":817,"completion_tokens":1571,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":433,"completion_tokens_details":{"reasoning_tokens":1488}},"tokens_in":433,"tokens_out":1571,"duration_ms":11453,"temperature":1.0,"reasoning_tokens":1488,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T18:30:16.177468+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the entropy formula $S(W)$ in equation (7) using two different invariant inner products on the same globally hyperbolic causal set. If purity selects different states, or if some state has $S(W)=0$ under one inner product but not the other, the uniqueness claim in equation (11) fails.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the global spectral entropy formula used to impose purity."},{"cited_title":"Johnston, Feynman propagator for a free scalar field on a causal set, Phys","cited_arxiv_id":null,"evidence_quote":"Originates the Sorkin-Johnston construction with the Feynman propagator on a causal set."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the histories-form scalar field theory on causal sets that anchors the prescription."},{"cited_title":"Afshordi, S","cited_arxiv_id":null,"evidence_quote":"Develops the distinguished vacuum formalism and its agreement with positive-frequency vacua in static spacetimes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Wightman axioms from which A1, A2, and A4 are generalized."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Peierls' commutation law that fixes the commutator as the causal propagator, condition (P)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supports the kernel-removal step and the field-space discussion for the entropy formula."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes boundedness of Delta for the L2 inner product on bounded spacetimes, used in the spectral argument."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The dynamically local no-go theorem that the non-local construction is designed to evade."}],"review_version":1}