{"id":"ef0b638e-31af-48ab-900d-09ef01899712","arxiv_id":"2607.05515","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.5,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Massive 2D scalars lose spacetime self-duality after exact cancellation of the linear conformal correction, leaving a quadratic Liouville deformation and a non-local dual; massive fermions dress as m→m e^{φ/2} into Liouville–sine-Gordon.","lead":"Mass terms break spacetime self-duality of 2D scalars: a three-source heat-kernel cancellation kills the naive m²(e^φ−1) correction, leaving a quadratic (e^φ−1)² deformation and a non-local dual for the Lagrange multiplier. Fermion masses dress as m e^{φ/2}, yielding a coupled Liouville–sine-Gordon system.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"The three-source cancellation and quadratic deformation rest on a local slowly-varying approximation whose failure would already make the O(m^{2}) correction non-local and alter the dual kinetic operator.","rationale":"The reader correctly isolates the locality assumption of Sec. 3.3 as the weakest link supporting the strongest claim. That assumption is load-bearing: the three-source cancellation itself is robust at linear order (the leading heat-trace resums all powers of (e^φ−1)), but the identification of a local quadratic potential as the genuine leading deformation, and therefore the concrete form of the dual theory for Λ, rests on |dφ|≪m. The paper never quantifies the error when the assumption is violated, nor does it supply a non-local dual operator that would replace (d⋆d+m^{2})^{2}/(d⋆d). Coefficient inconsistencies between (3.19), (3.20) and (3.22) compound the issue. Because the cancellation claim and the qualitative breaking of self-duality survive even if the deformation is non-local, the verdict remains CONDITIONAL rather than REJECT; the concrete test above would decide whether the dual action needs only a clearer caveat or a structural rewrite. No stronger internal inconsistency was found.","tokens_in":22454,"tokens_out":756,"duration_ms":8116,"concrete_test":"Recompute the n=2 contribution without the local replacement: evaluate the exact double integral ∬(e^{φ(x)}−1)(e^{φ(y)}−1)G_m(x,y)^{2} for a controlled family of non-constant φ (e.g., φ=ε cos(kx) with k/m ranging from ≪1 to O(1)) and extract the effective quadratic form for φ. If the local (e^φ−1)^{2} coefficient is recovered only for k≪m and is replaced by a non-local kernel of comparable size for k∼m, the dual kinetic operator of eq. 3.25 must be revised and the strongest claim weakens.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim (exact cancellation of the linear m^{2}(e^φ−1) term, genuine leading deformation −(m^{2}/16π)(e^φ−1)^{2}) is obtained in Sec. 3.3 by taking only the n=2 resolvent term of Source 2, then replacing (e^{φ(y)}−1) by (e^{φ(x)}−1) inside the support of G_m under the assumption |dφ|≪m (eqs. 3.15–3.19). Sources 1 and 3 are declared to vanish at this order on flat space by integration by parts. If the locality assumption fails, the leading O(m^{2}) correction remains a non-local double integral ∬(e^{φ(x)}−1)(e^{φ(y)}−1)G_m(x,y)^{2}, the effective action for φ is no longer a local potential, and the dual kinetic operator for Λ (eq. 3.25) receives non-local corrections already at leading order. The subsequent dual potential (e^{−48πΛ}−1)^{2} is likewise derived under the same local approximation. Coefficient/sign mismatches between consecutive equations (e.g., 3.19 vs 3.20/3.22) further weaken confidence that the quoted −m^{2}/16π is robust once the approximation is relaxed.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper extends the spacetime-duality construction of Burgess et al. from massless CFTs to massive theories in 1+1 dimensions. For a free massive scalar it tracks three contributions (path-integral measure, matter determinant, and Δ_LM prefactor) to the conformal-mode effective action via the heat kernel and a resolvent expansion. The linear term ∼ m^{2}(e^φ-1) cancels exactly at leading Seeley–DeWitt order; the first non-vanishing deformation is the local potential -(m^{2}/16π)(e^φ-1)^{2} obtained from the n=2 resolvent term under a slowly-varying approximation. This renders the φ integral non-Gaussian, breaks self-duality, and produces a non-local dual theory for the Lagrange multiplier Λ whose kinetic operator interpolates between the massless free scalar in the UV and a gapped theory in the IR, together with an (e^{-48πΛ}-1)^{2} potential. For a massive Dirac fermion two independent derivations (action-level Weyl weight and operator covariance) establish the mass dressing m\to m e^{φ/2}; Coleman–Mandelstam bosonisation then yields a coupled Liouville–sine-Gordon system as the natural starting point for the dual construction. Both results are framed geometrically in terms of a deformed determinant line bundle L_m over Met(Σ)/Diff(Σ).","tokens_in":22867,"tokens_out":1401,"duration_ms":10331,"significance":"If the three-source cancellation and the quadratic deformation survive a more careful treatment of non-locality, the work supplies a concrete, calculable extension of spacetime duality beyond conformality and generates an explicit non-local dual theory that is not a standard local QFT. The geometric language of deformed determinant line bundles and the clean derivation of the fermionic mass dressing m\to m e^{φ/2} are useful additions to the literature on 2d gravity and bosonisation. The manuscript is careful to keep the intermediate regulator ǵ and to recover the massless limit of Burgess et al., which strengthens the claim of internal consistency. Even if the dual for the fermion remains incomplete, the identification of the coupled Liouville–sine-Gordon system as the correct starting point is a clear conceptual advance.","major_comments":[{"comment":"Sec. 3.3, eqs. (3.15)–(3.19): the genuine leading deformation -(m^{2}/16π)(e^φ-1)^{2} is obtained only after replacing (e^{φ(y)}-1) by (e^{φ(x)}-1) inside the support of G_m under the assumption |dφ|≪ m. If this locality assumption is relaxed, the O(m^{2}) correction remains the non-local double integral ∫∫(e^{φ(x)}-1)(e^{φ(y)}-1)G_m(x,y)^{2} and the dual kinetic operator (3.25) receives non-local corrections already at leading order. The subsequent dual potential (e^{-48πΛ}-1)^{2} inherits the same approximation. The paper should either justify the approximation more carefully (e.g., by an explicit gradient expansion) or state the dual theory in its fully non-local form.","section":null},{"comment":"Eqs. (3.19), (3.20) and (3.22): the coefficient and overall sign of the (e^φ-1)^{2} potential flip between consecutive expressions (Euclidean vs Minkowski conventions, factors of 1/2, and the placement of ǵ^4). Because the quoted result -m^{2}/16π is the central quantitative claim of the scalar analysis, these inconsistencies must be resolved and a single, unambiguous effective action presented before the dual theory is extracted.","section":null},{"comment":"Sec. 4.2 and the abstract: the fermionic construction stops at the coupled Liouville–sine-Gordon action (4.21) and explicitly defers the functional integral over (φ,ϑ,Λ) and the dual theory for Λ to future work. While the mass-dressing result is solid, the claim that the paper extends spacetime duality to massive fermions is therefore only partially realised; either a leading-order dual should be computed or the abstract and introduction should be rephrased to reflect the incomplete status of the fermionic dual.","section":null}],"minor_comments":[{"comment":"Notation for the conformal factor is inconsistent: φ is used throughout most of the text, but σ=φ/2 appears in Sec. 4 without a clear statement that the two are interchangeable.","section":null},{"comment":"The intermediate regulator ǵ is introduced in Sec. 3.2 and then set to 1 at different stages; a short paragraph clarifying when the limit ǵ\to1 is taken would improve readability.","section":null},{"comment":"Appendix A.4 (S^{2} example) is pedagogically useful but the discrepancy between the integral approximation and the exact a1 coefficient could be flagged more explicitly as a caution against truncating spectral sums.","section":null},{"comment":"References [10] (Witten) and [7] (Burgess et al.) are central; a few more recent works on 2d massive bosonisation or Liouville gravity with massive matter would help situate the results.","section":null}],"recommendation":"major_revision","confidential_remarks":"The scalar calculation is the load-bearing part of the paper and is close to publishable once the locality approximation and coefficient inconsistencies are cleaned up. The fermionic half is more of a setup paper; if the journal prefers complete dual constructions, the authors might be asked to either finish a leading-order dual or split the work. Overall the manuscript is serious and technically careful, not a soft submission."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing worth knowing is that the linear m^{2}(e^φ−1) term really does cancel among the three sources (measure, X-det, Δ_LM), so the genuine leading massive deformation of the Liouville action is the quadratic −(m^{2}/16π)(e^φ−1)^{2} on flat space. That is new relative to Burgess et al. and it cleanly breaks self-duality, producing a non-local dual kinetic operator for Λ that interpolates UV free / IR gapped. The bookkeeping in 3.2–3.3 is careful and the resolvent integral (3.17) is standard. The geometric framing via the deformed determinant line bundle is also clean and does not overclaim.\n\nWhat the paper does well: it tracks the three contributions explicitly, shows the cancellation is required for master-path-integral consistency, and derives the dual action (3.25)+(3.32) under controlled approximations. The interacting-scalar HS extension is a nice bonus. The fermion half correctly recovers the classical Weyl dressing m→m e^{φ/2} by two independent routes and lands on the expected Liouville–sine-Gordon starting point; that part is standard but cleanly written.\n\nSoft spots, in proportion. First, consecutive equations flip the overall sign and the numerical coefficient of the same potential (3.19 vs 3.20/3.22, Euclidean vs Minkowski bookkeeping). That is fixable but currently undermines confidence in the quoted −m^{2}/16π. Second, the dual potential and the local form of the kinetic operator rest on the slowly-varying assumption |dφ|≪m that collapses the double integral of G_m^{2}. If that fails the O(m^{2}) correction is already non-local and the dual changes; the paper should flag this more prominently. Third, the abstract presents the fermion dual as parallel to the scalar result, yet the dual for Λ is left undone. That is a presentation mismatch, not a calculation error.\n\nThis is for people already inside the spacetime-duality / 2d gravity / bosonization niche. It is not a major reorganization of QFT, but it is honest progress on a 1998 programme. The math is pure analytic QFT, citations are appropriate, circularity is low. I would send it to referees after the coefficient cleanup and a clearer locality statement; the core cancellation claim is publishable. Worth a look if you care about the original construction; otherwise skip.","headline":"Solid niche extension of 1998 spacetime duality: the three-source cancellation is real and useful, but coefficient slips and a load-bearing locality assumption need cleanup before the dual action is trusted.","tokens_in":23519,"tokens_out":627,"would_cite":false,"duration_ms":6486,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Mass terms cancel the linear Liouville correction, break spacetime self-duality, and leave a non-local dual for the massive scalar.","keywords":["spacetime duality","Liouville action","conformal anomaly","massive scalar","Dirac fermion","bosonisation","determinant line bundle","heat kernel"],"falsifier":"Compute the exact n=2 resolvent contribution without the local approximation |dφ|≪m (or on a curved background where the next Seeley–DeWitt coefficient does not vanish) and check whether a non-local linear-in-m² term appears that would alter the dual kinetic operator for Λ.","tokens_in":23241,"feed_emoji":"🌌","tokens_out":853,"duration_ms":5931,"temperature":0.7,"pith_summary":"Spacetime duality gauges geometry by coupling a theory to a dynamical metric and then forcing that metric back to a fixed background with a Lagrange multiplier field Λ. For massless two-dimensional theories the construction is clean: the conformal anomaly produces a Liouville action, the path integral over the conformal mode is Gaussian, and the massive scalar is self-dual while the Dirac fermion dualises to a free scalar. This paper asks what happens once a mass is turned on and conformal invariance is lost. A careful heat-kernel count of three separate contributions to the conformal-mode effective action shows that the expected linear correction proportional to m²(e^φ−1) cancels exactly; the first genuine deformation is quadratic, −(m²/16π)(e^φ−1)². That term makes the conformal-mode integral non-Gaussian, so self-duality fails and the dual theory for Λ becomes non-local, with a kinetic operator that interpolates between a free massless scalar in the ultraviolet and a gapped theory in the infrared. For the massive fermion the mass itself dresses as m e^{φ/2}; after bosonisation the theory becomes a coupled Liouville–sine-Gordon system. Both results are rephrased as statements about the deformed determinant line bundle over the space of metrics.","feed_headline":"Mass cancels linear Liouville term, breaks spacetime self-duality","feed_subtitle":"The dual of a massive 2d scalar is non-local; fermions become Liouville–sine-Gordon","key_machinery":"The three-source cancellation in the heat-kernel expansion of the conformal-mode effective action: the linear m²(e^φ−1) pieces coming from the path-integral measure, the X-determinant, and the massive Δ_LM prefactor sum to zero, leaving the quadratic resolvent term as the first non-vanishing deformation of the Liouville action.","core_discovery":"For a massive free scalar in 1+1 dimensions the three sources that contribute to the conformal-mode effective action—the measure anomaly, the matter determinant, and the massive Lagrange-multiplier prefactor—cancel exactly at linear order in (e^φ−1). The genuine leading correction is therefore the quadratic deformation −(m²/16π)(e^φ−1)² obtained from the n=2 resolvent term on flat space. This term breaks the Gaussianity of the conformal-mode integral, destroys self-duality, and produces a non-local dual action for Λ whose kinetic operator is (d⋆d+m²)²/(d⋆d) together with an exponential-squared potential. Independently, the mass of a Dirac fermion dresses under Weyl rescaling as m→m e^{φ/2},","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Mass cancels linear Liouville term in 2d scalar, breaks self-duality","Quadratic (e^φ-1)² deformation kills spacetime duality for massive scalar","Dual of massive 2d scalar is non-local with (d⋆d+m²)²/(d⋆d) kinetic","Fermion mass dresses as m e^{φ/2}, yielding Liouville-sine-Gordon","Heat-kernel cancels linear mass term; true leading is quadratic"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The quadratic correction is extracted under a slowly-varying approximation that replaces the massive propagator integral by a local density when the conformal factor varies little over a Compton wavelength.","fun_headline_variants_meta":{"raw":{"variants":["Mass cancels linear Liouville term in 2d scalar, breaks self-duality","Quadratic (e^φ-1)² deformation kills spacetime duality for massive scalar","Dual of massive 2d scalar is non-local with (d⋆d+m²)²/(d⋆d) kinetic","Fermion mass dresses as m e^{φ/2}, yielding Liouville-sine-Gordon","Heat-kernel cancels linear mass term; true leading is quadratic"]},"model":"grok-4.5","effort":"low","cost_usd":0.006018,"raw_usage":{"total_tokens":1589,"prompt_tokens":879,"num_sources_used":0,"completion_tokens":104,"cost_in_usd_ticks":60180000,"prompt_tokens_details":{"text_tokens":879,"audio_tokens":0,"image_tokens":0,"cached_tokens":0},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":606,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":879,"tokens_out":104,"duration_ms":4683,"temperature":1.0,"reasoning_tokens":606,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T06:29:30.645521+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute the exact n=2 resolvent contribution without the local approximation |dφ|≪m (or on a curved background where the next Seeley–DeWitt coefficient does not vanish) and check whether a non-local linear-in-m² term appears that would alter the dual kinetic operator for Λ.","supporting_citations":[],"review_version":1}