{"id":"84e0c535-8fc4-4d11-859b-737ab6c00a2d","arxiv_id":"2505.06420","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The static-patch partition function of three-dimensional de Sitter gravity is identified with the future-boundary wavefunction, giving a dense discrete spectrum with negative degeneracies.","lead":"This paper tries to count the quantum states of a three-dimensional de Sitter universe by turning the static-patch trace into a sum over complex geometries. It finds a dense, discrete spectrum with integer degeneracies and negative contributions, and recovers the Bekenstein-Hawking entropy from the leading saddle.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"KSW-violating complex saddles are assumed valid; without an alternative criterion, the trace-wavefunction identification is definitional rather than computed.","rationale":"The reader's weakest_assumption correctly identifies the KSW-violating complex saddles as the load-bearing premise. My reading of Sec. 2.1 confirms that the paper proves no contour resolving the singularity can satisfy the KSW bound, and the paper explicitly states that determining whether such saddles are allowable is \"of central importance to validating our ideas.\" The trace-wavefunction identification in Sec. 3.2 is presented as a definition, and the entropy and spectral results are the evidence offered for it; all of that evidence depends on the complex saddles having a valid gravitational path-integral interpretation. The paper's comparison to bra-ket wormholes and higher-dimensional double cones shows that KSW violation is not automatically disqualifying, but in those cases additional arguments support the saddles, whereas here no one-loop check is supplied. I do not see a reason to move to REJECT: the paper is transparent, the action matching is nontrivial, and the leading de Sitter entropy is reproduced. But ACCEPT would require a perturbative justification of the KSW-violating saddles or an alternative criterion for their admissibility. The appropriate verdict remains CONDITIONAL, matching the reader's assessment.","tokens_in":19372,"tokens_out":3437,"duration_ms":38235,"concrete_test":"Compute the one-loop functional determinant for linearized gravitational fluctuations (or a minimally coupled scalar as a proxy) around the complex radial contour of Sec. 2.1, for a range of contour deformations connecting the static patch to I+. If the determinant is divergent, contour-dependent, or has non-positive eigenvalues, the KSW-violating saddle is not a well-defined contribution and the trace-wavefunction identification loses its path-integral support. If it is finite, positive, and contour-independent, the KSW concern is harmless and the central claim is strengthened.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the full dS3 future-boundary wavefunction Ψ_HH(τ) defines the static-patch trace microscopically (Sec. 3.2). That identification is only as secure as the complex saddles used to compute it. The paper itself shows (Sec. 2.1, eq. (2.12)) that every contour resolving the horizon singularity at u = π/2 violates the KSW bound: on the real axis the last two terms saturate the bound, and any lift off the axis makes the first term positive, so the sum exceeds π. Thus the saddle-point sum and the trace-wavefunction equivalence rest on complex geometries with no known perturbative definition. This is load-bearing because the derivation of the entropy (Sec. 3.3) and the spectral representation (Sec. 4) both go through the actions of these saddles; if they are not legitimate saddle points, the identification of Tr_H(e^{−iHT}) with Ψ_HH is an unconstrained definition rather than a computed result. The paper flags this as an unresolved issue in the Discussion, but it is not merely a technicality: it is the premise that makes the Lorentzian path integral well-defined. Pure 3D gravity has no local degrees of freedom, so KSW may be stronger than necessary, but the paper provides no alternative criterion and does not compute the one-loop determinants around the complex contour that would show the saddle is perturbatively sensible.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a Lorentzian path-integral definition of the static-patch trace Tr_H(e^{-iHT+iθJ}) in pure three-dimensional de Sitter gravity. It resolves the singularity at the cosmological horizon r=ℓ by complexifying the radial coordinate, connecting the periodically identified static patch to future infinity. The authors identify the full future-boundary Hartle-Hawking wavefunction Ψ_HH(τ), written as a Poincaré sum, with the static-patch trace at the microscopic level. They compute the classical action of the complex saddle, reproduce the Bekenstein-Hawking entropy from the S-transformed saddle, and use Godet's spectral representation to extract a spin-zero spectrum that is bounded, discrete, dense, with integer degeneracies and negative contributions. The paper also discusses one-loop issues, the role of Maass cusp forms, and the failure of the Kontsevich-Segal-Witten condition for the relevant contours.","tokens_in":19694,"tokens_out":5338,"duration_ms":55700,"significance":"If the central conjecture holds, the paper provides a concrete microscopic definition of the static-patch Hilbert space in pure dS3, a long-standing problem. The classical action computation in Sec. 3.1 is clean and the leading entropy check is a genuine result. The derivation of integer spectral degeneracies from the Möbius-function structure is striking and goes beyond previous work. At the same time, the paper is explicit that its central identification is a conjecture rather than a derivation, and several load-bearing technical steps are flagged as open. The significance is high conditional on resolving the validity of the complex saddles and the spectral interchanges.","major_comments":[{"comment":"The paper proves that every complex contour resolving the horizon fixed point violates the KSW bound, and that one cannot reach KSW-satisfying contours from the real axis. Yet the entire saddle-point sum and the trace-wavefunction identification presuppose that these KSW-violating complex geometries are legitimate saddle points of the gravitational path integral. No one-loop determinant around these contours is computed, and no alternative criterion is supplied in its place. The Discussion acknowledges this, but this is not a peripheral technicality: the entropy computation in Sec. 3.3 and the spectral representation in Sec. 4 both pass through the actions of these saddles. As written, the microscopic identification in Sec. 3.2 is a definition rather than a derived result, and the paper needs either a stability test for the complex saddles or a clearly stated alternative criterion for admitting them.","section":"Sec. 2.1, Eq. (2.12)"},{"comment":"The spectral representation (4.2) relies on an interchange of contour closing and the zeta-function expansion ζ(-2iν)=Σ_n n^{2iν}, which the authors themselves flag as subtle. The expansion converges only for Im ν > 1/2, and the double sum in the second term of (4.2) diverges for fixed n²/m². Since this spectral representation is the main evidence for the discrete spectrum with integer degeneracies, the unregulated divergence means that the claimed spectrum is not yet a demonstrated property of the path integral. The paper adopts the term-by-term order as a working assumption, but a rigorous derivation or a well-defined regulator is needed before this can count as evidence for the central conjecture.","section":"Sec. 4.1, Eqs. (4.7)-(4.9)"},{"comment":"At the de Sitter temperature β=2π, both the numerator and the denominator of K(β) vanish, and the authors note that the ψ_{1,0} dominance approximation breaks down arbitrarily close to β=2π. The suggested resolution by introducing an observer is not quantified. The leading classical entropy match is established, but the advertised agreement with S_dS=πℓ/(2G)+⋯ is only demonstrated at the classical level; the one-loop corrections are not controlled. This should be stated more prominently, since the entropy check is one of the two main pieces of evidence for the conjecture.","section":"Sec. 3.3, Eqs. (3.20)-(3.21)"},{"comment":"The Maass cusp form contribution to χ[b] produces a continuous spectral density ρ_j(τ̃) rather than a discrete sum. This means that the full trace Tr_H(e^{-iHT}) is not a discrete sum over states with integer degeneracies, even though the scalar part ψ[Q]+ψ[Q̃] has that form. The paper's headline properties 'integer degeneracies' and 'discrete but dense' therefore apply only to a sector of the wavefunction, and the continuous cusp-form contribution must either be shown to decouple from the static-patch trace or be incorporated into the claimed spectrum. As it stands, the full microscopic content of the trace is not captured by the discrete spectral sum.","section":"Sec. 4.2, Eq. (4.13)"}],"minor_comments":[{"comment":"Eq. (3.3) uses the exponent (c_dS-1)/12 while Eq. (3.16) effectively uses (c_dS-13)/12; as written, the classical action matching in Sec. 3.1 agrees with the latter but not with the former. Please reconcile the shift by 12 or clarify the convention.","section":"Sec. 3.1 and Sec. 3.3"},{"comment":"The word 'Maass' is misspelled as 'Mass' in the Discussion; please fix this for consistency with Sec. 4.2.","section":"Sec. 5"},{"comment":"The symbol ψ^{(0)}[Q] is introduced without definition; please define it explicitly before using it in the contour-integral argument.","section":"Sec. 4.1, Eq. (4.9)"},{"comment":"The two contour branches labeled (I) and (II) are not described in the caption; a short explanation of which branch corresponds to which resolution would improve readability.","section":"Fig. 1"},{"comment":"The argument that terms with c²-d²>1 are subdominant near β=2π is stated without details; a short derivation or a reference would help the reader verify the claim.","section":"Sec. 3.3, after Eq. (3.19)"}],"recommendation":"major_revision","confidential_remarks":"This is a speculative but clearly written paper with a potentially important central idea. The main risk is the unresolved status of the KSW-violating complex saddles, which are the foundation of the trace-wavefunction identification; the authors themselves concede that validating these saddles is central. I would not reject the paper, because the conjecture is well-motivated and the classical checks are correct, but a major revision should include either a concrete one-loop stability test for the complex contour or an explicit alternative criterion for admitting KSW-violating saddles in pure gravity. The spectral-interchange issue in Sec. 4.1 also needs a more careful treatment before the spectrum can be presented as derived. The paper is suitable in principle for hep-th if the authors are willing to frame the spectral and one-loop results as conjectural and to state clearly which parts are proven."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth engaging, but read it for what it says: the identification of the static-patch trace with the future-boundary wavefunction is a conjecture, openly stated in Sec. 3.2. Everything else follows from it. The best evidence is the classical action computation (clean) and the leading entropy check: the S-transformed saddle reproduces the Gibbons-Hawking entropy. The reinterpretation of Godet's automorphic wavefunction as a Hilbert-space trace, with integer degeneracies and negative states that cancel in smooth observables, is a new and provocative step. The Maass cusp-form contribution is a concrete extension.\n\nThe soft spots are real, and the authors know them. First, the complex contours that resolve the horizon singularity violate the KSW bound, and the paper itself shows (eq. 2.12) that no contour can resolve the singularity while satisfying it. Since the entire saddle sum and the trace-wavefunction identification run through these complex saddles, this is load-bearing, not a technicality. The authors argue pure 3D gravity may not need KSW, but they offer no alternative criterion and no one-loop determinant around the complex contour. So the identification remains definitional, as they admit.\n\nSecond, the spectral extraction in Sec. 4.1 depends on exchanging integration and summation when the two orders give different answers; the authors flag this but do not resolve it. Third, the one-loop correction to the entropy diverges at beta = 2pi, and the suggested observer back-reaction is not carried out. These limitations are stated, which is to the paper's credit.\n\nVerdict: send it to a serious referee. The paper asks the right question, is transparent about its assumptions, and gives nontrivial checks. A good referee will push hard on the KSW issue and the contour-interchange step. Even if the conjecture fails, the paper clarifies what would need to be true for a Lorentzian trace to be defined by the de Sitter wavefunction. I'd rather have this reviewed than left to sit on the arXiv.","headline":"The paper's static-patch trace/wavefunction identification is a clearly stated conjecture resting on KSW-violating complex saddles; the entropy check is clean, the spectral reinterpretation is provocative, and it deserves peer review despite the load-bearing weakness.","tokens_in":20158,"tokens_out":2795,"would_cite":true,"duration_ms":28448,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The static-patch trace in pure dS3 gravity is the future-boundary wavefunction, whose spectral sum gives a dense spectrum with integer degeneracies.","keywords":["de Sitter static patch","three-dimensional gravity","Lorentzian path integral","Hartle-Hawking wavefunction","Poincaré sum","modular invariance","spectral form factor","de Sitter entropy"],"falsifier":"Compute the one-loop determinant of boundary gravitons, or of a free scalar, on the complex contour described in Section 2.1. If the determinant is ill-defined, or if a regulated version of the spectral sum yields non-integer coefficients, then the identification of $\\Psi_{HH}$ with the static-patch trace is wrong; if the determinant is finite after a natural regulator such as an observer-induced cutoff at $\\beta=2\\pi$, the claim survives.","tokens_in":19190,"feed_emoji":"🌀","tokens_out":9475,"duration_ms":87408,"temperature":0.7,"pith_summary":"Three-dimensional Einstein gravity with a positive cosmological constant has no local degrees of freedom, yet the quantum mechanics of its static patch has been unclear because no one knows what the static-patch Hilbert space is. The paper proposes a concrete answer: the Lorentzian path integral for the trace $\\operatorname{Tr}(e^{-iHT})$ should be defined by resolving the horizon singularity with a complex contour that connects to future infinity, and the resulting sum of saddle points equals the Hartle-Hawking wavefunction of the torus at $I^+$. Taking that equality as the microscopic definition of the trace, the paper extracts a spin-zero spectrum that is bounded below, discrete but dense, with integer degeneracies, including negative degeneracies that cancel in smooth observables. The same saddle-point sum reproduces the Bekenstein-Hawking entropy $S_{dS}=\\pi\\ell/(2G)$ at the de Sitter temperature, so the computation connects the entropy to an actual spectrum of states.","feed_headline":"dS3 gravity yields a static-patch spectrum from the future boundary","feed_subtitle":"Complex saddle sum reproduces de Sitter entropy and predicts a dense integer spectrum.","key_machinery":"The load-bearing object is a family of complex radial contours in the $u$-coordinate static patch, $ds^2/\\ell^2=-\\cos^2 u\\,dt^2+du^2+\\sin^2 u\\,d\\phi^2$. Starting at the observer at $u=0$, each contour runs to the vicinity of the horizon $u=\\pi/2$, then rotates into the future cosmology $u=\\pi/2+i\\xi$ and reaches $I^+$, thereby resolving the fixed-point singularity of the periodic identification $t\\sim t+T$. These contours have the same classical action as the real future cosmology, which matches the exponential factor of $\\Psi_{0,1}(\\tau)$; their modular images supply the rest of the Poincaré sum. A spectral representation of $\\Psi_{HH}$ in terms of Eisenstein series and Maass cusp forms then turns the modular-invariant wavefunction into a $q$-expansion whose coefficients are read as integer degeneracies of static-patch states.","core_discovery":"The central claim is that the static-patch Hilbert-space trace is exactly the late-time wavefunction of de Sitter gravity on a torus: $$\\operatorname{Tr}_{\\mathcal{H}}($e^{{-iHT+i\\theta J}}$)=\\Psi_{HH}(\\tau), \\qquad \\tau=\\frac{\\$\\theta$+iT}{2\\pi},$$ where $\\Psi_{HH}$ is the Poincaré sum of modular images of the analytically continued thermal-AdS partition function. Each term in that sum is interpreted as a different complex resolution of the cosmological horizon singularity, i.e., a different saddle for the Lorentzian path integral. Reading the wavefunction's spectral expansion as a sum over states gives a $J=0$ spectrum that is bounded below, discrete and dense, with integer degeneracies that can be negative; the negative contributions cancel for smooth observables. The paper takes (1.3) to define what is meant microscopically by the static-patch trace, and verifies the proposal by showing that analytically continuing $T\\to i\\beta$ makes the $S$-transformed saddle dominate and yield the Bekenstein-Hawking entropy at $\\beta=2\\pi$.","pith_inferences":["Editorial inference: if the identification is exact, then modular invariance of $\\Psi_{HH}$ forces a modular-invariant spectral form factor, so the negative degeneracies form a sector that is invisible to $SL(2,\\mathbb{Z})$-invariant observables; computing $|Z(T)|^2$ and looking for a ramp-plateau transition would test this.","Editorial inference: the KSW violation may be harmless only because pure 3D gravity has no local degrees of freedom; coupling a heavy probe or a conformal matter sector to the same complex contour would make the one-loop determinant sensitive to the contour, giving a sharp test of whether the construction extends beyond pure gravity.","Editorial inference: the continuous contribution from Maass cusp forms suggests the full Hilbert space is not a discrete sum; a profitable next step would be to find an arithmetic regularization that includes the continuous density while keeping integer degeneracies, possibly by averaging over cusp forms.","Editorial inference: the one-loop divergence at $\\beta=2\\pi$ is tied to the boundary torus acquiring a null direction; introducing an observer at $r=0$, whose back-reaction shifts the temperature, should cut off that divergence and is a direct extension suggested by the paper's own discussion."],"forward_implications":["The static-patch entropy at the de Sitter temperature comes from the $S$-transformed saddle $\\psi_{1,0}$, not from the naive $\\psi_{0,1}$ term, so the full Poincaré sum is essential to the thermodynamics.","The spin-zero spectrum is bounded below, discrete but dense, with integer degeneracies; negative degeneracies cancel in smooth observables, explaining why the entropy is finite and why a finite-lifetime observer cannot resolve individual states.","Equation (1.3) provides a microscopic definition of $\\operatorname{Tr}(e^{-iHT})$, turning de Sitter entropy into a Lorentzian saddle-point computation analogous to the double-cone treatment of AdS black holes.","Earlier dS/CFT entropy derivations using an analytically continued Cardy formula are recovered as the semiclassical part of this trace, up to two cancellations of factors of $i$."],"supporting_citations":[{"why":"Introduces the double-cone geometry, establishing the Lorentzian periodic-identification saddle and its complex resolution that the present paper adapts to de Sitter.","marker":"[16]"},{"why":"Interprets such complex deformations as a modified boost Hamiltonian, legitimizing the contour as a trace over the bulk Hilbert space.","marker":"[17]"},{"why":"Supplies the Poincaré-sum wavefunction $\\Psi_{HH}$ on the future torus that the paper identifies with the static-patch trace.","marker":"[11]"},{"why":"Provides the thermal AdS partition function whose analytic continuation gives each term in the Poincaré sum.","marker":"[23]"},{"why":"Gives the spectral representation and $q$-expansion with integer coefficients from which the static-patch spectrum is read.","marker":"[24]"},{"why":"Defines the Kontsevich-Segal criterion that the complex saddle violates, marking the central premise that must be accepted.","marker":"[19]"}],"fun_headline_variants":["Static-patch spectrum of dS3 from future-boundary wavefunction","Complex saddles decode dS3 static-patch spectrum","dS3 future boundary fixes static-patch Hilbert trace","Dense dS3 spectrum emerges from torus wavefunction sum","dS3 entropy from complex saddles at future infinity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that complex saddle geometries that fail the Kontsevich-Segal-Witten admissibility criterion are still legitimate contributions to the Lorentzian path integral; the paper shows every contour that resolves the horizon singularity violates that criterion, so the whole trace-wavefunction identification rests on this.","fun_headline_variants_meta":{"raw":{"variants":["Static-patch spectrum of dS3 from future-boundary wavefunction","Complex saddles decode dS3 static-patch spectrum","dS3 future boundary fixes static-patch Hilbert trace","Dense dS3 spectrum emerges from torus wavefunction sum","dS3 entropy from complex saddles at future infinity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000219,"raw_usage":{"total_tokens":1452,"prompt_tokens":963,"completion_tokens":489,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":579,"completion_tokens_details":{"reasoning_tokens":403}},"tokens_in":579,"tokens_out":489,"duration_ms":4444,"temperature":1.0,"reasoning_tokens":403,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T22:43:01.692445+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the one-loop determinant of boundary gravitons, or of a free scalar, on the complex contour described in Section 2.1. If the determinant is ill-defined, or if a regulated version of the spectral sum yields non-integer coefficients, then the identification of $\\Psi_{HH}$ with the static-patch trace is wrong; if the determinant is finite after a natural regulator such as an observer-induced cutoff at $\\beta=2\\pi$, the claim survives.","supporting_citations":[],"review_version":1}