{"id":"cc005222-90b7-40bb-94e7-e009e94b2068","arxiv_id":"2505.21118","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Even-parity perturbations of Euclidean axion wormholes have finite, positive quadratic actions when the constraint equations are solved differently, so prior exclusions of these modes were artifacts and the known stability conclusion stands.","lead":"This paper re-examines a recent claim that certain 'even' fluctuation modes around Euclidean wormhole solutions have infinite actions, which would exclude them from the stability analysis. It shows those divergences come from an arbitrary choice of variables, gives a regularization that removes them, and finds the modes add positive action, so the wormholes remain stable.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Dilaton even-mode action depends on a principal-value prescription whose uniqueness is unproven; other regularizations could change the spectrum.","rationale":"The paper's strongest claim has two parts: (i) the divergences are artifacts and a full treatment gives finite even-mode actions, and (ii) these modes have positive action, so previous stability conclusions stand. Part (i) is convincingly demonstrated for the pure axion case by the alternative constraint-solving method in Sec. 3.1, which produces a nonsingular action directly. For the axion-dilaton case, however, the paper concedes that this method cannot be made gauge-invariant and resorts to a complex-plane prescription. The derivation in Sec. 4.1 is internally consistent and the cancellation of imaginary parts is a nice feature, but the prescription itself is not derived from the path integral; it is proposed as a bookkeeping device. The real part of the regularized action is the principal value, and different contour deformations or regulators can produce different finite parts. Since the even-mode action and spectrum are exactly what the paper claims to compute, this is a load-bearing gap. The positivity proof via Sylvester's criterion is also incomplete: for n=3, b≈1.45, the fourth principal minor is negative over a range, so the pseudo-analytic proof fails there and only a few numerical eigenvalues in Table 1 are offered. That numerical evidence is suggestive but sparse and lacks error estimates. These concerns do not prove the paper wrong; they show the central claim is conditional on the physical uniqueness of the principal-value regularization and on additional numerical verification. The reader's verdict of CONDITIONAL captures this appropriately, so no change to the verdict is needed.","tokens_in":17092,"tokens_out":5095,"duration_ms":61877,"concrete_test":"Compute the axion-dilaton even-mode quadratic action by a different, fully gauge-invariant procedure — for instance, by solving the constraints on a combination ψ+α(β1Πψ+β2Πδφ) as the paper itself suggests in Sec. 3.1, taking α→0 as b→0 — and compare the resulting finite action with Eq. (4.19) for representative parameters (e.g., n=3, b=1, Q=0.5, c=-1). If the actions differ, the principal-value prescription is not unique and the claimed spectrum is not established. As a secondary check, compute the lowest even eigenvalue for n=3, b=1.45 with a finite-difference discretization of the Sturm-Liouville operator (B.3); a negative eigenvalue would refute the stability claim even within the prescription.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the even-mode divergences of [24,25] are artifacts and that a full treatment yields finite, positive actions. For the pure axion case this is supported by an alternative constraint-solving procedure (Sec. 3.1) that avoids singularities entirely. For the axion-dilaton case, however, the paper explicitly abandons this route (Sec. 3.1, discussion after Eq. (3.24)) and instead defines the singular integrals by the complex-plane prescription of Sec. 4.1, Eqs. (4.9) and (4.13): each 1/r and 1/r^2 integrand is replaced by its Cauchy principal value plus an imaginary delta-function (or derivative) term. The imaginary terms cancel in the final action, but the real part is exactly the principal value. This prescription is a choice: deforming the contour above rather than below the pole, or using a different regulator (e.g., a hard cutoff with a local counterterm), generally changes the finite part of the action for even modes. No independent gauge-invariant derivation is given for the dilaton case to show that the principal value is the value selected by the path integral. Thus the assertion that the even-mode action is finite and positive, and hence that previous stability conclusions stand, is not established for the dilaton wormhole — the main case of the paper. The positivity proof additionally has a gap for n=3 near b=1.45 (Fig. 4), where M4 < 0 and only sparse numerics (Table 1) are offered.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper revisits the linearized stability analysis of asymptotically flat Euclidean axion wormholes, focusing on the even-mode divergences reported in prior work [24, 25]. The authors claim that those divergences are artifacts of a particular way of solving the Hamiltonian constraints and that a full treatment yields finite quadratic actions for these modes; the modes should therefore be included in the stability analysis, and because the resulting actions are positive, previous conclusions about wormhole stability are unaffected. For the pure axion case, the paper gives an explicit alternative constraint-solving procedure in Section 3.1 that integrates out ψ and Π_E rather than Π_ψ, leading directly to the regular action (3.22) with positive coefficients. For the axion-dilaton model, the paper abandons the constraint-solving route (Section 3.1, after Eq. (3.24)) and instead defines the singular 1/r and 1/r^2 integrands by the complex-plane prescription of Section 4.1, Eqs. (4.9) and (4.13), in which each singular integral is replaced by a Cauchy principal value plus an imaginary delta-function term; the imaginary parts cancel in the final action. The paper then uses a Sylvester-criterion argument on the 4x4 matrix M in (4.22) and numerical eigenvalues in Appendix B to argue that the even-mode action is positive for the dilaton wormhole as well. The conclusion is that even eigenfunctions belong to the spectrum and the wormhole remains perturbatively stable.","tokens_in":17437,"tokens_out":5730,"duration_ms":66383,"significance":"If the central claim holds, the paper resolves a controversy about whether even eigenfunctions must be excluded from the spectrum of the quadratic fluctuation operator in Euclidean axion wormholes, and it provides a technique—moving to the complex plane to handle 1/H-type singularities—that may be useful for other Z2-symmetric wormhole backgrounds. The pure-axion reduction in Section 3.1 is a clear and valuable result: it shows that a change of constraint-solving variables eliminates the singularities entirely, without any regularization prescription. The pseudo-analytic positivity proof based on the Sylvester criterion is an elegant way to reduce heavy numerics. However, the axion-dilaton resolution, which is the paper's main focus, depends on a distributional prescription that is not derived from the path-integral measure or matched against an independent gauge-invariant calculation. In addition, the positive-definiteness proof has a gap for the n=3 mode near b=1.45, where the determinant M4 is negative and only sparse numerics are offered. These issues affect the robustness of the headline claim for the dilaton wormhole, though they do not invalidate the pure-axion result.","major_comments":[{"comment":"The resolution of the axion-dilaton singularities rests entirely on the complex-plane replacement of 1/r and 1/r^2 integrands by principal values plus imaginary delta-function terms. This is a regularization prescription, not a derivation: deforming the contour in the opposite half-plane, or using a hard cutoff with a local counterterm, would generally change the finite part of the even-mode action. The pure-axion case provides an independent check because Section 3.1 eliminates the singularities by a change of constraint-solving variables, but for the axion-dilaton case the paper states (after Eq. (3.24)) that it cannot form a gauge-invariant variable and abandons that route. The central claim that the even-mode divergences are artifacts, and that the resulting action is finite and positive for the dilaton wormhole, therefore requires either a derivation of the principal-value prescription from the path-integral measure or an independent gauge-invariant calculation that reproduces the same finite part.","section":"Section 4.1, Eqs. (4.9) and (4.13)"},{"comment":"The Sylvester-criterion proof that the matrix M in (4.22) is positive-definite fails for the n=3 mode in a range near b=1.45, where M4 is negative as shown in Fig. 4. The paper appeals to numerical eigenvalues in Appendix B, but Table 1 samples only b=0.5, 1.0, and 1.5, with no entry at b=1.45 and no systematic scan over the interval where M4 is negative. The positivity of the even-mode action is therefore not established exactly in the parameter region where the analytic proof breaks down; the claim should either be supported by a dedicated numerical computation in that region or explicitly qualified.","section":"Section 4.3, Fig. 4 and Table 1"}],"minor_comments":[{"comment":"There is a typographical error: 'artifiact' should be 'artifact'.","section":"Section 3.1 (final paragraph)"},{"comment":"Reference [26] is listed as 'title TBD, to appear'; it should be updated with the full reference or removed before publication.","section":"References, [26]"},{"comment":"The caption for Fig. 4 should explicitly state that the plot is for n=3 and should indicate the r-interval and the fixed parameters; currently it only mentions b=1.45, Q=0.5, c=-1, and n=3 in a terse manner.","section":"Fig. 4 caption"},{"comment":"The notation A_n, B_n, C_n, etc. in Appendix A partially conflicts with the coefficients A and B in Eq. (3.20) and with the Lagrange multiplier B in Eq. (3.9); a short remark clarifying the notational shift would improve readability.","section":"Appendix A and main text"}],"recommendation":"major_revision","confidential_remarks":"The paper's reliance on [25] for the starting action and the numerical shooting method is a self-citation pattern that could attract scrutiny, but since the paper's purpose is to correct a conclusion of [25], this is not improper. The more substantive issue is the prescription dependence of Section 4.1, which I have raised as a major comment. The pure-axion part is solid and could be published on its own; the axion-dilaton part needs additional justification or a more careful statement of what is proven."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe headline: this paper likely solves the divergent even-mode problem in Euclidean axion wormhole stability analyses, and the pure-axion half of the argument is clean enough to stand on its own. The dilaton half is more conditional; the complex-plane prescription is a choice that is not uniquely fixed by the physics, and a referee should push on that.\n\nWhat is actually new: the observation that the singularities in [24,25] come from integrating out Πψ, and that choosing different variables (ψ and ΠE) yields a regular action for pure axion wormholes. The cancellation of the added total derivative is checked explicitly. For the dilaton case, they keep the singular action from [25] and regulate it with a principal value plus imaginary delta-function terms; the imaginary parts cancel, and the remaining action is shown positive via a Sylvester-criterion analysis, with numerics filling a small gap near b=1.45 for n=3. The positivity technique is transferable.\n\nWhat the paper does well: the algebra is explicit, the constraints are stated, and the boundary terms are tracked. The pure-axion result is a direct mathematical demonstration, not a numerical fit. The self-citation to [25] is not a problem here; the paper corrects a conclusion of that paper while using its setup.\n\nWhere it is soft: the axion-dilaton resolution depends on the choice to define singular integrals by a particular contour deformation. The imaginary parts cancel, which suggests the prescription is consistent, but nothing in the paper proves that a different regularization—say a hard cutoff with a counterterm—would give the same finite part for even modes. The stress-test note is right about that. The gap in the Sylvester proof for n=3 near b=1.45 is real but small; the numerical eigenvalues in Table 1 are the kind of evidence that can close it, and a reader can check the shooting method. I do not think this gap sinks the paper.\n\nWho it is for: people working on Euclidean quantum gravity, wormhole stability, and the factorization puzzle. It deserves a serious referee. My own verdict would be: accept after revision, with the request that the authors either prove or explicitly flag the prescription-dependence of the dilaton regularization, and tighten the numerical evidence near b=1.45.\n\nRecommendation: send it to peer review. The pure-axion result alone justifies the referee time.","headline":"A mostly convincing resolution of the divergent even-mode puzzle, with the pure-axion case on solid ground and the dilaton case carrying a prescription-dependence caveat that a referee should probe.","tokens_in":17886,"tokens_out":1743,"would_cite":true,"duration_ms":23046,"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":"Axion wormholes stay stable once the apparent divergences in even modes are resolved as artifacts of constraint solving, with finite positive actions after a full treatment.","keywords":["Euclidean wormholes","axion","dilaton","linearized stability","quadratic fluctuations","singular integrals","complex contour","Sylvester criterion"],"falsifier":"Compute the $n=3$ even eigenfunction's quadratic action near $b\\simeq 1.45$, where the analytic positivity proof has a gap, using an independent numerical Sturm-Liouville solver with a regularization that does not rely on principal values, and check whether the action stays finite and positive; a negative eigenvalue or a divergent action would refute the claim.","tokens_in":16894,"feed_emoji":"🕳️","tokens_out":5018,"duration_ms":52869,"temperature":0.7,"pith_summary":"Previous stability analyses of Euclidean axion wormholes found that symmetric, even fluctuations produced divergent quadratic actions, and this was used to exclude them from the spectrum. The paper argues that those divergences were an artifact of how the Hamiltonian constraints were solved, not a physical pathology. A different choice of variables removes the singularities in the pure-axion case, while a small detour into the complex plane handles the axion-dilaton case and yields exact cancellation of the imaginary terms. The even modes therefore belong in the spectrum, and because their action is positive the earlier conclusion, that axion wormholes have no negative modes and remain stable saddles, is unchanged. A pseudo-analytic positivity check based on Sylvester's criterion supports this without heavy numerics.","feed_headline":"Axion wormholes stay stable once fake divergences are removed","feed_subtitle":"Full treatment gives symmetric modes finite positive action, so the wormhole remains a stable saddle.","key_machinery":"The load-bearing object is the quadratic fluctuation action written in gauge-invariant Hamiltonian variables, whose coefficients behave like $B\\sim 1/r$ and $C\\sim 1/r^2$ at the wormhole throat. Two devices carry the argument: in the pure-axion case, solving the constraints by integrating out $\\psi$ and $\\Pi_E$ instead of $\\Pi_\\psi$ removes the singular factor $1/H=1/\\tanh(2r)$ entirely; in the axion-dilaton case, the singular integrals are defined through the complex-plane identities (4.9) and (4.13), replacing them by principal values plus imaginary terms whose residues cancel. Positive-definiteness is then shown by writing the action as $v^T M v$ and applying Sylvester's criterion to the resulting $4\\times 4$ matrix $M$, whose principal minors are positive except for a small gap for $n=3$ near $b\\simeq 1.45$ that is covered numerically.","core_discovery":"The central claim is that the divergences found in earlier analyses of symmetric modes around asymptotically flat Euclidean axion wormholes are not physical. In the pure-axion model, solving the constraints by integrating out a different set of variables leads directly to a nonsingular quadratic action. In the axion-dilaton model, where gradient factors $1/H$ are unavoidable, the singular integrals are defined by a complex-plane contour that converts $1/r$ and $1/r^2$ terms into principal values plus imaginary residue terms; those imaginary terms cancel exactly in both the homogeneous and inhomogeneous sectors. With this definition the quadratic action is real and finite, even eigenfunctions must be included in the spectrum of the fluctuation operator, and their eigenvalues are positive. The wormhole therefore remains a stable Euclidean saddle.","pith_inferences":["A generic $\\mathbb{Z}_2$-symmetric wormhole whose radial gradient vanishes at the throat will produce the same $1/H$ singularity, and analogous cancellations should be expected only when the imaginary residue terms happen to vanish, which could serve as a quick stability filter.","If the same complex-plane prescription were applied to a wormhole with singular behavior at both asymptotic ends rather than a single throat, the imaginary terms would not obviously cancel, which would signal a genuinely unstable or ill-defined mode.","The $n=3$, $b\\approx 1.45$ gap in the Sylvester proof could likely be closed by a symbolic inequality for the fourth principal minor, turning the numerical check into a fully analytic positivity proof.","The regularization choices amount to a choice of integration contour in field space, so a different contour could in principle give different even-mode actions; the physical content of the prescription deserves further clarification."],"forward_implications":["Even eigenfunctions must be counted in the spectrum, reversing the exclusion in earlier work, and their inclusion does not change the no-negative-mode result.","The complex-plane bookkeeping provides a template for regularizing $1/H$-type singularities that will appear around any $\\mathbb{Z}_2$-symmetric wormhole.","The Sylvester-criterion method offers a semi-analytic route to stability checks for wormholes without explicit conformal-gauge solutions, such as cosmological-constant or massive-dilaton cases.","The axion wormhole remains a viable saddle in the Euclidean path integral, so factorization-type puzzles are not resolved by a perturbative instability.","For AdS axion wormholes the question remains open because the boundary conditions differ; the present techniques do not settle that case."],"supporting_citations":[{"why":"Earlier stability analysis that found even eigenfunctions divergent and excluded them; the target of the resolution.","marker":"[24]"},{"why":"Provides the quadratic actions and numerical eigenvalue framework whose singularities the paper reinterprets.","marker":"[25]"},{"why":"Source of the constraint-solution and gauge-invariant perturbation method that the paper reworks to avoid $1/H$ factors.","marker":"[28]"},{"why":"Supplies Sylvester's criterion used for the pseudo-analytic positivity proof.","marker":"[41]"},{"why":"Defines the axion-dilaton wormhole backgrounds whose stability is analyzed.","marker":"[5, 6]"},{"why":"An example where similar singularities cancel when treated properly, motivating the careful treatment.","marker":"[26]"}],"fun_headline_variants":["Wormhole stability survives artifact divergences","Fake divergences don't break axion wormhole stability","Stability of axion wormholes reaffirmed after artifact fix","New technique shows axion wormhole modes are stable","Axion wormholes: divergences were artifacts, stability holds"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The axion-dilaton result depends on the complex-plane prescription of Section 4.1: if the singular integrals are defined by a different regularization, the even-mode action could differ, and with it the stability conclusion.","fun_headline_variants_meta":{"raw":{"variants":["Wormhole stability survives artifact divergences","Fake divergences don't break axion wormhole stability","Stability of axion wormholes reaffirmed after artifact fix","New technique shows axion wormhole modes are stable","Axion wormholes: divergences were artifacts, stability holds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00013,"raw_usage":{"total_tokens":1054,"prompt_tokens":803,"completion_tokens":251,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":419,"completion_tokens_details":{"reasoning_tokens":171}},"tokens_in":419,"tokens_out":251,"duration_ms":3200,"temperature":1.0,"reasoning_tokens":171,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T13:35:24.426655+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the $n=3$ even eigenfunction's quadratic action near $b\\simeq 1.45$, where the analytic positivity proof has a gap, using an independent numerical Sturm-Liouville solver with a regularization that does not rely on principal values, and check whether the action stays finite and positive; a negative eigenvalue or a divergent action would refute the claim.","supporting_citations":[{"cited_title":"Gilbert,Positive Definite Matrices and Sylvester’s Criterion,The American Mathematical Monthly98(1991) 44","cited_arxiv_id":null,"evidence_quote":"Supplies Sylvester's criterion used for the pseudo-analytic positivity proof."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"An example where similar singularities cancel when treated properly, motivating the careful treatment."}],"review_version":1}