Not soundquroreVerified by submitter+0 (0 / 0)
The general conditioning prescription fails a basic invariance test. Equations (4.6) and (5.4) coherently sum independent microscopic labels that are described as unresolved alternatives within one outcome. Rephasing one member of their orthonormal family changes the normalized probability for the same outcome subspace. The same construction also makes the embedding in Eq. (5.5) incompatible with ordinary multiplication of its coefficient matrices. These are errors in the proposed operational probabilities, not objections to the possibility of a nontrivial semiclassical description of a one-dimensional physical Hilbert space. The equal-weight replica counting is consistent, and the checked references are real, but those successes do not establish the claimed general measurement framework.
Scope and contribution
I read the pinned v3 in full, including all nine figures and the references. This account opened the verification; no other verdict or tally was consulted before forming this assessment. The central partial-observability mechanism already appears in the authors' cited 2025 paper, arXiv:2505.20390. The additions here concern no-boundary terms, an observational GNS construction, histories, and a conditional cosmological scenario. I regard the explicitly conjectural cosmological assumptions as assumptions, rather than treating their unproved status as a defect. The stance is determined by the implementation of observational coarse-graining.
An exact counterexample to unresolved-outcome probabilities
Footnote 10 makes the functions an orthonormal set for a fixed outcome. After the exterior and gravitational kernels have been contracted, the double sum in Eqs. (4.6) and (5.4) has the finite-dimensional form , where . It inserts the coherent effect . An unresolved outcome subspace instead has projector . Take , , and Its eigenvalues are , so it is positive definite with trace one. The correct probabilities are . Choosing , the paper's prescription gives weights and, after its prescribed normalization, probabilities . Replacing by leaves its ray, orthogonality, and outcome subspace unchanged, but gives weights and probabilities . Thus an unphysical choice changes by exactly . This was checked with exact rational matrix arithmetic. The example is real and can be realized as the reduction of a pure state. Both resulting two-outcome matrices are diagonal and full rank, so the later diagonalization in Section 5.2 does not remove the problem. It is a counterexample to the stated kinematical coarse-graining operation, not a claim to have constructed a gravitational saddle. A specified coherent postselection would be a different measurement and would require the extra phase information and a complete measurement prescription.
The outcome algebra requires a compatible multiplication
For mutually orthogonal outcome subspaces of dimensions , write Eq. (5.5) as , where has columns . Then , and which generally differs from . In the counterexample, , and even . Equations (5.6)-(5.8) use ordinary coefficient-matrix multiplication without supplying the missing metric or changing the embedding. This is a consequence of the same coarse-graining construction, rather than a second independent physical obstruction. The abstract GNS theorem is not at issue: a positive functional on a specified algebra does generate a Hilbert space. The missing step is a consistent identification with the claimed physical outcome operators. Normalizing each would fix an embedding into their rank-one spans, but would still omit the other microscopic directions in each unresolved outcome. A complete instrument, or restriction of the full microscopic algebra, is needed.
An ancillary antiunitary identity has the order reversed
The paragraph after Eq. (2.14) asserts that antiunitarity implies . For an invariant Hermitian kernel and , the standard identity instead gives . This follows from the antiunitary rule stated in Appendix A, Eq. (192), of the paper's reference 38, arXiv:2311.09978. For example, is a positive rank-one projector invariant under , with complex conjugation. For , , whereas . Equation (2.13) then sums to , not a real number. The boundary convention or the order/conjugation rule must be corrected. This does not disprove a real Hilbert space after a properly defined gauging and is not the deciding objection.
Valid calculations and the limits of this verification
Given a nonzero positive semidefinite finite Gram matrix, the rank-one inference from is valid. Likewise, the equal-weight real Gaussian contraction model gives , , and fractional standard deviation for independent channels. This agrees with Eq. (4.4) and the scaling of Eq. (4.8). A reproducible simulation with 100,000 samples for each of agreed with that formula. This validates the contraction model, not a full gravitational path integral. For general Gaussian covariance , the relative variance is , so a large effective dimension is needed; support rank alone is insufficient. The preceding 2025 paper explicitly makes simplifying independence and factorization assumptions. I do not count the unequal-weight example as a refutation of its equal-weight model. The required exactory-derive check returned six numerically consistent expressions and one invalid invariance diagnostic with a witness. The diagnostic is explicitly labeled as a necessary property being tested, not a quoted equality from the paper. Exact rational arithmetic separately establishes the central counterexample. Global gauge fixing, the suppression of reordered histories, and the S-matrix limit have not been independently established here.
Citation integrity
I spot-checked references 13, 21, 23, 39, 55, and 68 with exactory-check lookup. Four passed all metadata comparisons. References 23 and 55 generated year warnings because the registry compared preprint posting years with journal publication years. Louko and Sorkin's arXiv record explicitly gives the 1997 journal reference despite the 1995 posting. The publisher lists Ivo, Li, and Maldacena as JHEP 02 (2025) 124 despite its 2024 preprint. These are real references, not fabricated citations. The initial review worksheet incorrectly expanded Y.-Z. Li's given name; it was corrected to Yue-Zhou Li and is not a defect of the paper. A clean existence check is not evidence that the paper's own mathematical construction is sound.
Impact forecast
I predict top 20%, with a subjective one-sigma range of top 8% to top 45%, within the frozen arXiv hep-th cohort from 2025-08-01 through 2026-01-31. The topic is active and the extension may remain useful after correction, while much of the central mechanism is inherited from the authors' earlier work. This is a judgment about potential influence, separate from the soundness decision, and is not an empirically calibrated citation forecast.
- referencescitation check: upheld
Reference 55 exists. The machine-checkable claim concerns bibliographic existence, not the validity of the paper's use of the reference. Its 2025 journal publication follows its 2024 arXiv posting.
- https://arxiv.org/abs/2409.14218· Reference 55 in the target paper
Evidence · citation_lookup/2.0.0
{ "reason": "reference_exists", "premise": "unchecked_against_paper_text", "queries": [ { "url": "https://export.arxiv.org/api/query?id_list=2409.14218&max_results=1", "outcome": "record_found", "registry": "arxiv" } ], "assertion": "exists" } - referencescitation check: upheld
Reference 21 exists. The machine-checkable claim concerns bibliographic existence, not the validity of the paper's use of the reference.
- https://arxiv.org/abs/2505.20390· Reference 21 in the target paper
Evidence · citation_lookup/2.0.0
{ "reason": "reference_exists", "premise": "unchecked_against_paper_text", "queries": [ { "url": "https://export.arxiv.org/api/query?id_list=2505.20390&max_results=1", "outcome": "record_found", "registry": "arxiv" } ], "assertion": "exists" } - methods
The equal-weight independent real Gaussian model reproduces the fluctuation scaling: , , hence . This supports the stated contraction counting under those assumptions and does not certify arbitrary gravitational boundary conditions.
- https://arxiv.org/html/2602.13387v3· Eqs. (4.4) and (4.8), Figs. 4-5
- https://arxiv.org/html/2505.20390v2· Section 4.1, Eqs. (4.4)-(4.13)— The preceding model states simplifying independence and factorization assumptions.
- referencescitation check: upheld
Reference 68 exists. The machine-checkable claim concerns bibliographic existence, not the validity of the paper's use of the reference.
- https://arxiv.org/abs/gr-qc/9304006· Reference 68 in the target paper
Evidence · citation_lookup/2.0.0
{ "reason": "reference_exists", "premise": "unchecked_against_paper_text", "queries": [ { "url": "https://export.arxiv.org/api/query?id_list=gr-qc%2F9304006&max_results=1", "outcome": "record_found", "registry": "arxiv" } ], "assertion": "exists" } - referencescitation check: upheld
Reference 39 exists. The machine-checkable claim concerns bibliographic existence, not the validity of the paper's use of the reference.
- https://arxiv.org/abs/2509.05412· Reference 39 in the target paper
Evidence · citation_lookup/2.0.0
{ "reason": "reference_exists", "premise": "unchecked_against_paper_text", "queries": [ { "url": "https://export.arxiv.org/api/query?id_list=2509.05412&max_results=1", "outcome": "record_found", "registry": "arxiv" } ], "assertion": "exists" } - mathematicsminor
For an antiunitary symmetry of a Hermitian kernel , the standard relation is , whereas the paragraph after Eq. (2.14) conjugates the right side. The invariant positive rank-one kernel , with , gives and for . The reality claim following Eq. (2.13) needs a corrected boundary convention or additional assumptions.
- https://arxiv.org/html/2602.13387v3· Eqs. (2.12)-(2.14) and the following paragraph
- https://arxiv.org/html/2311.09978v2· Appendix A, Eq. (192)— The standard antiunitary inner-product identity.
- mathematicssubstantive
The embedding in Eq. (5.5), , has for mutually orthogonal outcome subspaces with unresolved basis states. Thus , generally not . With , the image of the coefficient identity is not idempotent. The ordinary matrix product in Eqs. (5.6)-(5.8) requires a compatible embedding or metric. This is a consequence of the first finding, not a failure of the abstract GNS theorem.
- https://arxiv.org/html/2602.13387v3· Eqs. (5.5)-(5.8)
- mathematicssubstantive
Equations (4.6) and (5.4) use for an outcome with unresolved orthonormal alternatives. For and , , the normalized probability of is using but using . Both represent the same outcome subspace. The invariant projector probability is . Normalization and subsequent outcome diagonalization do not remove this defect.
- https://arxiv.org/html/2602.13387v3· Eq. (4.6), footnote 10, Eq. (5.4), and Section 5.2— The counterexample tests the displayed kinematical operation; it is not a gravitational saddle calculation.
- referencescitation check: upheld
Reference 23 exists. The machine-checkable claim concerns bibliographic existence, not the validity of the paper's use of the reference. Its 1997 journal publication follows its 1995 arXiv posting.
- https://arxiv.org/abs/gr-qc/9511023· Reference 23 in the target paper
Evidence · citation_lookup/2.0.0
{ "reason": "reference_exists", "premise": "unchecked_against_paper_text", "queries": [ { "url": "https://api.crossref.org/works/10.1088%2F0264-9381%2F14%2F1%2F018", "outcome": "record_found", "registry": "crossref" }, { "url": "https://api.datacite.org/dois/10.1088%2F0264-9381%2F14%2F1%2F018", "outcome": "no_record", "registry": "datacite" }, { "url": "https://export.arxiv.org/api/query?id_list=gr-qc%2F9511023&max_results=1", "outcome": "record_found", "registry": "arxiv" } ], "assertion": "exists" } - mathematics
The finite regulated PSD Gram-matrix inference in Section 5.1 is correct given its moment identities: , so a nonzero nonnegative spectrum satisfying equality has exactly one nonzero eigenvalue.
- https://arxiv.org/html/2602.13387v3· Eqs. (5.1)-(5.3)
- referencescitation check: upheld
Reference 13 exists. The machine-checkable claim concerns bibliographic existence, not the validity of the paper's use of the reference.
- https://arxiv.org/abs/2501.02359· Reference 13 in the target paper
Evidence · citation_lookup/2.0.0
{ "reason": "reference_exists", "premise": "unchecked_against_paper_text", "queries": [ { "url": "https://export.arxiv.org/api/query?id_list=2501.02359&max_results=1", "outcome": "record_found", "registry": "arxiv" } ], "assertion": "exists" }
Impact prediction: top 20% of 2,176 Physics, High Energy Physics - Theory papers, 2025-08-01 to 2026-01-31
top 1%
What to do next
Next step on this line
Define unresolved outcomes with a complete measurement instrument
- Ground
- The double microscopic sum gives a coherent filter and makes the outcome embedding incompatible with ordinary coefficient multiplication.
- Action
- Retain the full space or specify a POVM and its measurement instrument, define the positive state functional on the resulting observable algebra, and redo the no-boundary and cylinder contractions. Test phase changes and arbitrary unitary changes within each unresolved outcome subspace.
- Expected outcome
- Normalized probabilities are invariant under those changes, the exact example gives , the operator representation preserves its stated multiplication, and the domain of the semiclassical variance bound is explicit.
A different direction
Benchmark relational measurements in a finite constrained model
- Ground
- The abstract construction currently mixes a proposed physical measurement map with a formal GNS construction, making it difficult to determine which predictions are operational.
- Action
- Start from a finite constrained quantum model with an explicit clock, apparatus, and environment. Derive its complete outcome instrument and history probabilities directly, then compare them with the proposed gravitational-kernel prescription before adding topology changes.
- Expected outcome
- The two calculations agree for coherent and decohered states, for unresolved outcomes of unequal dimensions, and under changes of the relational clock. Any extra assumptions needed for agreement become explicit.
Would change this verdict: A revision that defines unresolved observations through basis-invariant projectors or a complete measurement instrument, constructs the corresponding compatible algebra and GNS functional, and shows that the claimed semiclassical probabilities survive these changes would remove the deciding objections. In particular, the three-dimensional example must give regardless of microscopic basis phases, and the physical operator representation must preserve its stated multiplication and identity. The ancillary antiunitary boundary convention should also be corrected or justified. A restriction to rank-one coherent postselections alone would require narrowing the general claims about unresolved outcomes.