{"id":"c5996e26-a37f-4f3a-859e-ab42b15c7ae3","arxiv_id":"2507.21655","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A rigorous construction of P(phi)_2 QFT on curved Riemannian surfaces satisfying Segal's axioms, plus a geometric rederivation of the Cardy-Calabrese entanglement entropy and new zeta determinant asymptotics.","lead":"This mathematics thesis constructs the interacting P(phi)_2 quantum field theory on curved surfaces and proves it obeys Segal's axioms, a rare rigorous example in the Atiyah-Segal framework. It also uses the same geometric picture to rederive the Cardy-Calabrese entanglement entropy formula and to prove new asymptotics for zeta determinants on large cyclic covers.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim depends on boundary-locality of the Wick-renormalized interaction: Proposition 2.3.5 proves regulator independence on closed manifolds, but the extension to surfaces with boundary that fixes Eq.","rationale":"The reader's weakest_assumption identifies exactly the step I find most load-bearing: locality of the renormalized interaction on surfaces with boundary. I considered whether the free-field gluing identity or the Hilbert-Schmidt property of U_Ω might be a more serious gap, but those are downstream of the locality issue; if the interaction is not local, the interacting amplitudes of Theorem 2.1 are not even well-defined, while if locality holds, the free-field result and the Markov-property arguments are standard and could plausibly be completed. The paper has independent support for surrounding pieces: Proposition 2.3.5 is a concrete regulator-independence proof with explicit L2 estimates on closed manifolds, and the BFK determinant gluing formulas are classical. My concern is not that the claim is false; it is that the decisive boundary-locality step is only announced in the thesis, and the reviewed excerpt does not contain the proof. The manuscript itself emphasizes that no precise analysis of this locality existed in the literature and that Section 2.5.4 supplies a strengthening of Nelson's argument, so this is not a routine technicality. A positive resolution of the proposed model-case check would substantially remove the concern; a negative result would force the verdict down to REJECT or UNVERDICTED for Theorem 2.1. Therefore the CONDITIONAL verdict remains appropriate.","tokens_in":69132,"tokens_out":11148,"duration_ms":136449,"concrete_test":"Independently re-derive the Section 2.5.4 locality statement in the model case Ω=[0,T]×S^1 with P(θ)=θ^4. Compare (i) S_Ω^{int} := lim_{ε→0} ∫_Ω :φ_ε^Ω(x)^4: dV, defined using the intrinsic geodesic mollifier and the Dirichlet GFF on Ω, with (ii) S_Ω^{ext} := lim_{ε→0} ∫_Ω :φ_ε^M(x)^4: dV for the double M of Ω, restricted to Ω, using the explicit kernels in Proposition 2.3.5 and Lemma 2.3.12. If S_Ω^{int} − S_Ω^{ext} does not vanish for all choices of the extension, up to a constant absorbable into the normalization, then A_Ω is not manifold-independent and the gluing identity (2.1.12) collapses. Near the boundary the free Green functions differ only by a smooth term, so the required kernel estimates are explicit and checkable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 2.1 requires the interacting amplitude A_Ω to be a canonical Radon-Nikodym kernel and the composition identity U_{Ω2∪Ω1}=U_{Ω2}∘U_{Ω1} to hold. These require that the renormalized interaction S_Ω := ∫_Ω :P(φ): dV be well-defined on a surface with boundary independently of the choice of ambient closed extension and compatible with the intrinsic Dirichlet-GFF law on Ω. Proposition 2.3.5 establishes regulator independence only on a fixed closed manifold M and for χ∈C_c^∞(M); it does not by itself control the difference between the intrinsic regularization on Ω and the restriction to Ω of a regularization from a closed extension. The thesis explicitly states that no sufficiently precise analysis of this locality existed in the literature and that Section 2.5.4 supplies a strengthening of Nelson's argument, but that section is not visible in the reviewed text. If the boundary-locality property fails, two different caps of the same Ω can produce different densities in Eq. (2.6.11), the factorization S_{Ω1∪Ω2}=S_{Ω1}+S_{Ω2} needed for gluing breaks, and the Segal axioms are not satisfied. This is a genuine load-bearing premise, not a routine technicality, because the paper itself identifies it as the key novel ingredient.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This doctoral thesis claims to construct the interacting P(phi)_2 Euclidean quantum field theory on arbitrary compact Riemannian surfaces with boundary and to verify Segal's axioms: Hilbert spaces H_Sigma = L^2(D'(Sigma), mu_Sigma) for finite unions of circles, operators U_Omega given by Radon-Nikodym kernels A_Omega, and the composition property U_{Omega2 cup_rho Omega1} = U_{Omega2} o U_{Omega1}. It further advertises a mass gap and exponential mixing for an infinite-volume P(phi)_2 Gibbs state on periodic covers (Thm. 2.3), asymptotics of P(phi)_2 partition functions on cyclic covers (Thm. 2.2), a counterexample to reflection positivity for spectrally cut-off GFF (Ch. 3), a derivation of Cardy-Calabrese entanglement entropy from a Hadamard renormalized Polyakov anomaly (Ch. 4), and asymptotics of zeta determinants on cyclic covers via heat kernels and via Segal axioms (Ch. 5). The text supplied for review contains the introduction, detailed background, and parts of Chapter 2 through section 2.4.1; sections 2.5-2.7 and Chapters 3-5 are listed but not included in the reviewed text.","tokens_in":69319,"tokens_out":7218,"duration_ms":82388,"significance":"If correct, Theorem 2.1 would be a significant step: it would be the first non-perturbative interacting field theory on curved surfaces verified against Segal's axioms, with the added consequence of a mass gap in a curved infinite-volume setting. The visible portions do contain genuine value: sections 2.2-2.3 give a careful treatment of Gaussian measures on D'(M), the Radon-Nikodym density for quadratic perturbations, and a regulator-independence result (Prop. 2.3.5) for the closed-manifold P(phi)_2 interaction, with quantitative L^2 bounds. The BFK gluing formula is used as an independent geometric input, so I see no circularity in that step. The Bochner-Minlos measure existence and heat-kernel estimates are assembled with useful references. However, the edition under review is incomplete, so the significance assessment is conditional on the missing sections delivering the promised boundary-locality and gluing proofs.","major_comments":[{"comment":"The regulator-independence proof is given only for a fixed closed manifold M (Prop. 2.3.5, Section 2.3.2). Theorem 2.1 requires more: the interaction S_Omega = int_Omega :P(phi): dV must be intrinsically defined on a surface with boundary, independent of the ambient closed extension, and compatible with the intrinsic Dirichlet GFF law on Omega. The thesis itself identifies this boundary-locality as the key novel ingredient ('A Transparent Treatment of Locality', Section 2.1.3) and refers to Section 2.5.4 for the strengthening of Nelson's argument, but Section 2.5.4 is not present in the reviewed text. Since Eq. (2.6.11) and the factorization S_{Omega1 cup Omega2} = S_{Omega1} + S_{Omega2} used in the gluing identity (2.1.12) depend on it, the central claim of Theorem 2.1 is not verifiable from the supplied text.","section":"Section 2.1.3 / Section 2.5.4 / Prop. 2.3.5"},{"comment":"The composition axiom for arbitrary gluings is the main content of Theorem 2.1, not a corollary of the cylinder calculation in Section 1.5. The visible Section 1.5 discussion of gluing relies on two postulates (p. 34-35) rather than proved statements, and the proofs announced for free-field gluing (Prop. 2.6.10) and its extension to the interacting case (Section 2.6.5) are not included. The full Section 2.6 must be available for the composition identity U_{Omega2 cup_rho Omega1} = U_{Omega2} o U_{Omega1} to be checked.","section":"Section 2.6 / Eq. (2.1.12)"},{"comment":"The mass gap and exponential mixing statement uses the Perron-Frobenius property and a transfer operator U_Omega, but the supporting arguments (Section 2.7.3 and Corollary 2.7.3) are absent from the reviewed text. In particular, it is not shown how the spectral gap of the transfer operator yields the stated rate O(alpha^k) uniformly in the cyclic covers as N goes to infinity. Since Theorem 2.3 is advertised as a first curved-space mass gap result for an interacting theory, this proof needs to be available for review.","section":"Section 2.7 / Theorem 2.3"},{"comment":"Chapters 3, 4, and 5 are summarized only in the abstract, the table of contents, and short paragraphs of Section 1.1.1; the actual arguments concerning non-reflection positivity of spectrally cut-off GFF, the Hadamard renormalized Polyakov anomaly and the Cardy-Calabrese entropy formula, and the zeta determinant asymptotics are not part of the supplied text. Their correctness therefore cannot be assessed. If the thesis is to be evaluated as a whole, the missing chapters must be included; if only Chapter 2 is under consideration, the title and abstract overstate the scope.","section":"Chapters 3-5"}],"minor_comments":[{"comment":"'Let (M,g) is a closed Riemannian surface' should read 'Let (M,g) be a closed Riemannian surface'.","section":"Prop. 2.2.10"},{"comment":"The notation mu^{Sigma,M}_{DN} does not display the boundary condition B imposed on the other boundary components of M; the parenthetical remark in the text is hard to implement in the statement as written.","section":"Corollary 2.2.12"},{"comment":"The exponential mixing estimate should specify whether k is an integer and in which limit the O(alpha^k) term is taken; as written, O(alpha^k) is not small for negative k.","section":"Theorem 2.3"},{"comment":"The text calls mu^M_log a Gaussian measure and then says 'no random variables will be actually defined on mu^M_log'; the status of the covariance kernel -(1/2pi) log(m d(x,y)) as a genuine positive-definite covariance or as a purely formal device needs clarification.","section":"Section 2.3.4 / Eq. (2.3.21)"}],"recommendation":"major_revision","confidential_remarks":"The supplied text is a truncated arXiv thesis, so the referee report is necessarily conditional. The central construction in Chapter 2 is promising and the visible portions support the closed-manifold regulator-independence claim, but the boundary-locality and gluing proofs are load-bearing and currently unavailable. Chapters 4 and 5 appear to be independent projects and might be better evaluated separately. I recommend requesting the complete text before a final decision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jiasheng Lin's thesis is the strongest serious attempt I've seen to make P(phi)_2 satisfy Segal's axioms on curved surfaces. What's new: Theorem 2.1 (Segal axioms for finite unions of circles), the mass gap on periodic infinite-genus surfaces, a local regulator-independence result (Prop. 2.3.5) with quantitative L2 bound, a 'Bayes formula' for gluing GFFs, and the counterexamples to spectral truncation locality. The thesis also connects the formalism to Cardy-Calabrese entropy and zeta determinant asymptotics. I can't verify the later chapters because the review text truncates after Section 2.4, but what I can read is careful and rigorous.\n\nThe soft spots are proportional. The load-bearing step is locality of the Wick-renormalized interaction on a surface with boundary, independent of the ambient closed extension. The paper itself says no precise prior analysis exists and that Section 2.5.4 supplies a strengthening of Nelson's argument. That section is not in the visible text. Prop. 2.3.5 proves regulator independence on a fixed closed manifold; the boundary case is exactly the missing link. If that step fails, the Segal amplitudes aren't well-defined and the gluing identity breaks. So the main theorem is conditional.\n\nSecond soft spot: Chapter 4's entanglement entropy. The renormalized geometric quantity transforms like a CFT correlation function, and that is a real result, but identifying it with the physical von Neumann entropy is a heuristic assumption stated in Section 4.3. The thesis honestly calls it a geometric interpretation, but the abstract's claim to 'rigorously derive' the Cardy-Calabrese formula overstates what is shown.\n\nThird: the citation pattern is fine. The BFK gluing formula and Polyakov anomaly are external inputs, not derived here, and I see no circularity. Self-citations are to the author's own preprints, which is appropriate when the cited results are part of the same project.\n\nBottom line: this is a serious thesis by a serious thinker. The central theorem hinges on the boundary-locality section that I cannot check. It deserves a serious referee who will read Section 2.5.4 carefully and verify that the boundary extension is independent of the ambient manifold. I'd conditionally accept, not desk reject, and the referee report should focus on that section and on the entropy interpretation.","headline":"A thesis that plausibly delivers a curved-surface P(phi)_2 Segal theory, but the key boundary-locality lemma sits in a section not in the review copy, so the main theorem remains unverified.","tokens_in":69934,"tokens_out":2746,"would_cite":false,"duration_ms":33217,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T05","81T08","81T40","58J52","60G60"],"pacs":[],"model":"deepseek-v4-flash","headline":"The $P(\\phi)_2$ quantum field model is constructed on curved Riemannian surfaces and proved to satisfy Segal's gluing axioms, with a mass gap on infinite periodic surfaces.","keywords":["P(phi)_2 model","Segal axioms","Gaussian free field","Wick renormalization","Markov property","mass gap","entanglement entropy","zeta determinants"],"falsifier":"Choose a flat cylinder $[0,L]\\times S^1$ and two admissible smoothing families $K_\\varepsilon$ and $\\tilde K_{\\varepsilon'}$ (for instance heat semigroup and the paper's geodesic-ball mollifier). Compute $\\lim_{\\varepsilon\\to0}\\int \\chi(x){:}\\phi_\\varepsilon(x)^{2n}{:}\\,dV$ for each and verify the difference tends to zero at the rate in Proposition 2.3.5; a residual difference would give two different interactions and break the gluing identity. Alternatively, evaluate a matrix element of $U_{\\Omega_2\\cup\\Omega_1}$ and of $U_{\\Omega_2}\\circ U_{\\Omega_1}$ on a cylinder cut into two pieces and check equality for a nontrivial observable.","tokens_in":68834,"feed_emoji":"📐","tokens_out":10587,"duration_ms":118497,"temperature":0.7,"pith_summary":"This thesis sets out to show that the $P(\\phi)_2$ model -- historically the first rigorously constructed interacting quantum field theory, but built only on flat space -- can be constructed on compact curved Riemannian surfaces, and that its amplitudes satisfy Segal's functorial gluing axioms. The construction assigns to each finite disjoint union of Riemannian circles a Hilbert space $L^2(D'(\\Sigma), \\mu_\\Sigma)$, and to each Riemannian surface $\\Omega$ with boundary an operator $U_\\Omega$ written as a Radon-Nikodym kernel $A_\\Omega$; the core identity is that gluing two surfaces along an isometric boundary circle composes the corresponding operators. If the construction is correct, the interacting $P(\\phi)_2$ model becomes a non-perturbative curved-surface field theory verified against Segal's axioms, and the gluing structure yields a mass gap on infinite-volume, infinite-genus periodic surfaces, as well as asymptotics for partition functions on large cyclic covers. The argument deliberately fuses the functional-measure methods of constructive quantum field theory with the Atiyah-Segal cobordism picture, filling a gap in the prior literature on the locality of the renormalized interaction.","feed_headline":"P(phi)_2 field theory satisfies Segal gluing axioms on curved surfaces","feed_subtitle":"The interacting model gains rigorous curved-space amplitudes and a mass gap on infinite surfaces.","key_machinery":"The load-bearing object is the local, regulator-independent Wick-renormalized interaction random variable $\\int_M \\chi(x){:}P(\\phi(x)){:}\\,dV_M(x)$, obtained by smoothing the Gaussian free field with admissible regulators $K_\\varepsilon\\to\\mathbf{1}$ in the pseudodifferential symbol topology and then removing the divergent Wick contractions. Proposition 2.3.5 establishes that the $L^2(\\mu_{\\mathrm{GFF}})$ limit exists and is independent of which admissible local smoothing family is used, and this locality is what makes the interaction on a surface with boundary independent of any ambient closed surface. For the free field, the gluing argument is carried by the Markov property of the GFF together with a Bayes-type symmetry in successive conditioning, expressed through trace maps onto circles and the relation $j_\\Sigma=\\tau^*_\\Sigma=(\\Delta_M+m^2)\\,PI^\\Sigma_M\\,(DN^\\Sigma_M)^{-1}$ connecting the trace, the Poisson integral, and the Dirichlet-to-Neumann operator; the interacting case extends the same identity by the locality of the interaction.","core_discovery":"The central claim is Theorem 2.1: for every finite disjoint union $\\Sigma$ of Riemannian circles there is a finite measure $\\mu_\\Sigma$ on $D'(\\Sigma)$, and for every Riemannian surface $\\Omega$ with boundary $\\Sigma_{\\mathrm{in}}\\sqcup\\Sigma_{\\mathrm{out}}$ there is an operator $U_\\Omega$ between the corresponding $L^2$ spaces, defined by a Radon-Nikodym density $A_\\Omega$ between two mutually absolutely continuous measures on $D'(\\Sigma_{\\mathrm{in}})\\times D'(\\Sigma_{\\mathrm{out}})$, such that glued surfaces give composed operators: $U_{\\Omega_2\\cup_\\rho\\Omega_1}=U_{\\Omega_2}\\circ U_{\\Omega_1}$. The same Segal structure is then used to prove that the $P(\\phi)_2$ Gibbs state on the infinite periodic surface has a mass gap, expressed as exponential mixing under the deck-group shift, and that the free-energy density on towers of cyclic covers converges to the logarithm of the leading eigenvalue of the transfer operator associated with the fundamental cobordism.","pith_inferences":["One could test the same Segal-amplitude construction on the three-dimensional $\\Phi^4_3$ model only after replacing the Radon-Nikodym formula: there the interacting measure is not absolutely continuous with respect to the Gaussian free field, so the amplitudes would have to be defined by a different limiting procedure.","The Bayes-style symmetry used to glue free fields suggests a general recipe: any free field whose covariance inverse is a local elliptic operator should satisfy Segal gluing through trace-image measures and Radon-Nikodym densities, so the argument may carry over to vector bundles or higher-genus surfaces with the same structure.","The entanglement-entropy construction, which recovers the Cardy-Calabrese formula from a Hadamard renormalization of the Polyakov anomaly, could be paired with the $P(\\phi)_2$ Segal theory to define a rigorous replica entropy for an interacting theory on curved surfaces; the thesis leaves that combination to future work.","If the transfer-operator interpretation of the free-energy limit is robust, the same argument may yield a proof that the leading eigenvalue of the interacting transfer operator controls phase transitions on towers of cyclic covers, not just the free energy."],"forward_implications":["Every finite disjoint union of Riemannian circles gets a Hilbert space of states, and every Riemannian surface with two boundary components gets a Hilbert-Schmidt operator, with disjoint unions mapping to tensor products and glued surfaces mapping to composed operators.","The infinite-volume, infinite-genus periodic surface carries a $P(\\phi)_2$ Gibbs state that is exponentially mixing under the deck-group shift, which is a mass gap.","The free energy per unit volume on large cyclic covers converges to $\\log\\lambda_0$ with $\\lambda_0$ the leading eigenvalue of the transfer operator attached to the fundamental cobordism, extending zeta-determinant asymptotics to interacting partition functions.","Wick renormalization can be made compatible with locality, so the interaction on a surface with boundary is defined without reference to an ambient closed surface; spectral-cutoff regularization is explicitly non-local and fails reflection positivity.","A rigorous derivation of the Cardy-Calabrese entanglement entropy formula follows from treating partition functions on branched covers as CFT correlation functions under Hadamard renormalization."],"supporting_citations":[{"why":"The author's own construction that this chapter adapts; it states and proves the Segal-axiom theorem for $P(\\phi)_2$ and the mass-gap consequences.","marker":"[Lin24]"},{"why":"The standard reference for the Euclidean $P(\\phi)_2$ construction, Wick renormalization, and Osterwalder-Schrader reconstruction that the thesis extends to curved surfaces.","marker":"[GJ87]"},{"why":"Supplies the Euclidean field-theory framework, Fock-space tools, and the earlier $P(\\phi)_2$ construction used as the baseline to be reformulated.","marker":"[Sim74]"},{"why":"The classical argument that the Wick-renormalized interaction is integrable; the thesis strengthens it to obtain regulator independence and locality.","marker":"[Nel66]"},{"why":"Sets out the functorial, axiomatic definition of 2D QFT via bordisms that the thesis verifies for $P(\\phi)_2$.","marker":"[Seg04]"},{"why":"Provides the precise modern statement of Segal's axioms, including unitarity and boundary parametrizations, used to tailor the model.","marker":"[KS21]"},{"why":"The gluing formula for zeta determinants that supplies the constants making free-field gluing exact in the Segal amplitudes.","marker":"[BFK92]"},{"why":"Introduces the geodesic-ball smoothing family that serves as the local regulator in the construction of the interaction.","marker":"[DZ16]"},{"why":"Hypercontractivity and Wiener chaos results used to prove $L^p$ convergence of the interaction and integrability of its exponential.","marker":"[Jan97]"}],"fun_headline_variants":["P(phi)_2 QFT on curved surfaces satisfies Segal gluing axioms","Curved-surface P(phi)_2 theory: rigorous amplitudes and mass gap","Segal axioms proven for P(phi)_2 on curved surfaces","Curved-space P(phi)_2: rigorous QFT from Segal gluing","Mass gap and Segal axioms for P(phi)_2 on curved surfaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction stands on the claim that the renormalized interaction energy of a field over a region is truly a sum of the energies of its pieces, independent of how one smooths the field and of the larger surface used to define it; if that locality fails, the amplitudes become ill-defined and gluing breaks.","fun_headline_variants_meta":{"raw":{"variants":["P(phi)_2 QFT on curved surfaces satisfies Segal gluing axioms","Curved-surface P(phi)_2 theory: rigorous amplitudes and mass gap","Segal axioms proven for P(phi)_2 on curved surfaces","Curved-space P(phi)_2: rigorous QFT from Segal gluing","Mass gap and Segal axioms for P(phi)_2 on curved surfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000797,"raw_usage":{"total_tokens":3555,"prompt_tokens":1042,"completion_tokens":2513,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":658,"completion_tokens_details":{"reasoning_tokens":2411}},"tokens_in":658,"tokens_out":2513,"duration_ms":20846,"temperature":1.0,"reasoning_tokens":2411,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T12:30:05.372843+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a flat cylinder $[0,L]\\times S^1$ and two admissible smoothing families $K_\\varepsilon$ and $\\tilde K_{\\varepsilon'}$ (for instance heat semigroup and the paper's geodesic-ball mollifier). Compute $\\lim_{\\varepsilon\\to0}\\int \\chi(x){:}\\phi_\\varepsilon(x)^{2n}{:}\\,dV$ for each and verify the difference tends to zero at the rate in Proposition 2.3.5; a residual difference would give two different interactions and break the gluing identity. Alternatively, evaluate a matrix element of $U_{\\Omega_2\\cup\\Omega_1}$ and of $U_{\\Omega_2}\\circ U_{\\Omega_1}$ on a cylinder cut into two pieces and check equality for a nontrivial observable.","supporting_citations":[],"review_version":1}