{"id":"b2b7ab1a-aa9d-4acd-a618-ce9e87038c5f","arxiv_id":"2506.09842","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A proof that pseudo-bounce actions decrease monotonically to the true bounce action, with and without gravity, plus an estimate that the Standard Model's AdS3 vacuum decays with exponent ~M_pl^3/(m_nu^2 Lambda).","lead":"The authors prove an old claim about vacuum decay: a family of approximate tunneling configurations called pseudo-bounces yields actions that decrease monotonically toward the true bounce, both with and without gravity. They use this to estimate that the Standard Model's supposed AdS3 vacuum decays extremely slowly in the radion direction.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (23) does not follow from Eq. (16); the asymptotic coefficient in the AdS3 estimate needs rechecking.","rationale":"The paper's central theorem, the monotonicity of the pseudo-bounce action both with and without gravity, appears to be derived carefully: the action decomposition, the on-shell derivative identities, and the cancellation of the ρ0 derivatives in the gravitational case are all consistent. The single-field limitation that the reader identifies is real but explicitly acknowledged by the authors in the Conclusion, and the AdS3 estimate is presented as applying in the radion direction only; it does not invalidate the theorem. The most pressing concrete problem I find is in the application: the asymptotic evaluation of Eq. (16) as Eq. (23) appears to invert the factor √(−κ3U). This is an internal algebraic inconsistency in the chain that produces the advertised estimate (24). A corrected calculation may still yield the same parametric estimate, so the appropriate verdict remains conditional rather than reject or accept: the main theorem can stand, but the AdS3 coefficient needs to be re-derived before the estimate is used quantitatively. The reader did not flag this specific error, hence partial agreement.","tokens_in":6099,"tokens_out":24288,"duration_ms":287009,"concrete_test":"Recompute Eq. (23) from Eq. (16) with the explicit forms U(φ0) = f e^{6φ0}/r_ν^3 and ρ0 ≈ e^{φ0}/(η√B) from Eq. (22), using the exact integral ∫_0^{ρ0} ρ^2/√(1+Bρ^2) dρ = ρ0√(1+Bρ0^2)/(2B) − asinh(√B ρ0)/(2B^{3/2}). If the leading term in dΔS/dφ0 is U'(φ0) times ρ0^2/(2√B) rather than √B ρ0^2, then Eq. (23) is incorrect; next, integrate the corrected derivative and check whether the exponent in Eq. (24) remains M_pl^3/(m_ν^2 Λ) with a finite coefficient.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The advertised AdS3 result (24) is obtained by integrating the derivative (23), which is presented as the large-φ0 limit of the exact formula (16). For D=3, Eq. (16) contains the factor I = ∫_0^{ρ0} dρ ρ^2 / sqrt(1 - κ3 U(φ0) ρ^2). Writing B = -κ3 U(φ0) > 0, the stated condition is B ρ0^2 ≫ 1. In this regime I ~ ρ0^2 / (2√B), up to logarithmic subleading terms, so the correct leading contribution to dΔS/dφ0 is proportional to U'(φ0) ρ0^2 / √B, not to U'(φ0) √B ρ0^2 as printed in Eq. (23). The two differ by a factor of B. Since Eq. (24) is obtained by integrating Eq. (23), the displayed derivation of the central application is internally inconsistent as written. The parametric scaling M_pl^3/(m_ν^2 Λ) may survive after correcting the coefficient, but that survival has not been shown. This is a concrete algebraic issue in the application section, not a disagreement with external consensus.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proves that, for single-field vacuum decay described by the Euclidean action (1), the action of Espinosa's pseudo-bounce family decreases monotonically as the central field value Phi_0 varies and reaches its minimum at the Coleman bounce. Section 3 extends this statement to O(D)-symmetric configurations with gravity for false vacua with non-positive energy, using the regularized difference between the pseudo-bounce and the false-vacuum saddle. The authors then apply the monotonicity result to the radion direction of the Standard-Model AdS3 vacuum, obtaining the parametric estimate Delta S_p.b.(Lambda) ~ M_pl^3/(m_nu^2 Lambda).","tokens_in":6362,"tokens_out":18161,"duration_ms":197165,"significance":"If correct, the monotonicity theorem is a useful rigorous upper bound on the true decay exponent in situations where the true vacuum lies outside the EFT, and it extends earlier non-gravitational arguments by Espinosa. The derivation in Secs. 2 and 3 is clean: boundary terms are handled through on-shell variations and the Hamiltonian constraint is imposed explicitly. I found no substantive gap in the monotonicity argument itself. The application to the AdS3 Standard-Model vacuum is ambitious and physically interesting, but it rests on a heuristic large-phi_0 analysis and, as written, contains an algebraic error in Eq. (23) that needs correction. No numerical code or machine-checked proof is provided; the value added is the analytic theorem.","major_comments":[{"comment":"Equation (23) does not follow from Eq. (16). For D=3, writing B = -kappa_3 U(phi_0) > 0, Eq. (16) gives dDelta/dphi_0 = 4*pi*U' * integral_0^{rho_0} rho^2 d rho / sqrt(1 + B rho^2). In the stated regime B rho_0^2 >> 1, the integral is rho_0^2 / (2 sqrt(B)), not sqrt(B) rho_0^2. The printed coefficient is therefore wrong by a factor B and is dimensionally inconsistent: the right-hand side of Eq. (23) has dimension of inverse length while dDelta/dphi_0 is dimensionless. Substituting Eq. (22) into the corrected expression gives dDelta/dphi_0 ~ (2*pi/eta^2) (dU/dphi_0) e^{2phi_0} / B^{3/2}, which integrates to Delta S_p.b. ~ M_pl^3/(m_nu^2 Lambda). Thus the advertised parametric scaling survives, but the derivation displayed in the manuscript is not valid as written and must be rederived. The same equation also contains an apparent sign/typo: in the relevant neutrino band f(phi_0) < 0, so the printed square root of 3 f(phi_0) is imaginary; presumably -f(phi_0) is intended.","section":"Sec. 4, Eq. (23)"}],"minor_comments":[{"comment":"The kinetic term is written as T = (1/kappa_3)(partial phi)^2, but the equations of motion in Eq. (18) correspond to a Euclidean Lagrangian kinetic term (1/(2 kappa_3))(partial phi)^2. Please clarify whether T in Eq. (17) is the kinetic Lagrangian density or twice that value, so that the normalization is unambiguous.","section":"Sec. 4, Eq. (17)"},{"comment":"The integration from phi_0 to infinity leading to Eq. (24) assumes that f(phi) stays in the same band with f(phi_0) ~ O(1). If f crosses a threshold before the endpoint, the O(1) coefficient changes, although the parametric M_pl^3/(m_nu^2 Lambda) form is unaffected. A short statement to this effect would be useful.","section":"Sec. 4, Eq. (24)"},{"comment":"The subtraction S_1 + S_2 - S_FV is said to have divergences that cancel; because both S_2 and S_FV diverge, a few words explaining how the cancellation occurs in the on-shell difference would improve the readability of the gravitational argument.","section":"Sec. 3, after Eq. (14)"}],"recommendation":"major_revision","confidential_remarks":"The central monotonicity proof in Secs. 2 and 3 appears sound and is likely publishable. However, the application section contains a concrete algebraic error in Eq. (23) that undermines the displayed derivation of the advertised AdS3 estimate. Since the application is a central advertised result, the manuscript should be revised before acceptance. The parametric scaling probably survives correction, but the authors should show the corrected derivation explicitly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague],\n\nThe headline: this paper proves something real and useful, but the flashy application has a concrete algebraic error that needs fixing. The monotonicity theorem is the meat: for single-field pseudo-bounces, the action decreases monotonically with the central field value, with or without gravity, and its endpoint is the bounce. That's a genuine upgrade over Espinosa's earlier observation of monotonic behavior, and the proof is clean. The derivative manipulations in Secs. 2 and 3 are careful—boundary terms, the Hamiltonian constraint, and the dS final-condition subtlety are all handled properly. Eq. (16) is a crisp result.\n\nThe soft spot is in Sec. 4. The stress-test is right: Eq. (23) does not follow from Eq. (16). For D=3, the integral in (16) at large −κ3 U ρ0^2 is ~ ρ0^2/(2√(−κ3 U)), not √(−κ3 U) ρ0^2. So the displayed derivation of the AdS3 estimate is internally inconsistent as written. That said, the parametric scaling M_pl^3/(m_ν^2 Λ) likely survives the correction—using ρ0 ~ e^{φ0}/√(−κ3 U), both the printed and corrected integrands integrate to e^{-φ0}—so the conclusion is probably right but the proof needs redoing. I'd want to see the corrected derivation before trusting the coefficient.\n\nTwo smaller points. The single-field assumption is explicitly admitted in the conclusion and is a real limitation for the AdS3 claim; the radion-plus-standard-model fields may not be captured by one field. And their counterexample to Brown's bound is asserted without checking the lemma's assumptions; that section reads more like an aside than a proof.\n\nOverall, this is a solid paper with a fixable flaw in the application. It deserves a serious referee. The theorem is already worth citing; the application needs a corrected Eq. (23) and a careful check of the coefficient.","headline":"Solid monotonicity theorem for pseudo-bounces; the AdS3 application has an algebraic slip in Eq. (23) that should be corrected before publication.","tokens_in":6850,"tokens_out":6038,"would_cite":true,"duration_ms":54271,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that pseudo-bounce actions decrease monotonically to the true bounce action, with and without gravity, and uses the endpoint as a rigorous upper bound on the decay exponent of the Standard Model's AdS3 radion.","keywords":["false vacuum decay","bounce action","pseudo-bounce","Euclidean action","vacuum tunneling","gravitational effects","radion decay","AdS3 vacuum"],"falsifier":"For a single-field potential with a known bounce, compute the pseudo-bounce family numerically and test two predictions: the derivative $\\frac{dS_{\\mathrm{p.b.}}}{d\\Phi_0}$ has the sign of $U'(\\Phi_0)$, and the minimum as $\\xi_0\\to 0$ equals the bounce action; the gravitational analogue can be checked against a known gravitational bounce solution. A single counterexample to either check would refute the theorem.","tokens_in":5879,"feed_emoji":"⚛️","tokens_out":11007,"duration_ms":116437,"temperature":0.7,"pith_summary":"The paper proves a monotonicity theorem for pseudo-bounces, Euclidean configurations built only from data near a metastable minimum and not requiring knowledge of the true vacuum. It shows that as the central field value $\\Phi_0$ moves away from the false vacuum, the pseudo-bounce Euclidean action decreases, and its minimum is the bounce action. The proof covers both the pure-field case and the case with gravity, where the relevant quantity is the action difference $\\Delta S_{\\mathrm{p.b.}}$ relative to the false-vacuum saddle. Consequently, any pseudo-bounce gives an upper bound on the true decay exponent, hence a lower bound on the decay rate, even when the bounce itself lies outside the low-energy effective theory. The authors then apply the construction to the radion direction of the Standard Model's AdS3 vacuum and estimate $\\Delta S_{\\mathrm{p.b.}}(\\Lambda)\\sim M_{\\mathrm{pl}}^3/(m_\\nu^2\\Lambda)$.","feed_headline":"Pseudo-bounce actions slide to the true bounce, gravity included","feed_subtitle":"A rigorous monotonicity proof turns pseudo-bounces into upper bounds, refining the SM's AdS3 radion decay estimate.","key_machinery":"The central object is the pseudo-bounce: a $C^1$ field configuration equal to a constant $\\Phi_0$ inside a ball of radius $\\xi_0$, matching a friction-dominated Euclidean solution outside that asymptotes to the false vacuum. The monotonicity proof decomposes its action into a static core $S_1$ and a rolling shell $S_2$, then uses Hamilton-Jacobi identities: derivatives of $S_2$ with respect to its initial $\\Phi_0$ and $\\xi_0$ are the conjugate momentum and Hamiltonian, and on a pseudo-bounce $\\Phi'=0$ makes the momentum term vanish, leaving $\\frac{dS}{d\\Phi_0}\\propto U'(\\Phi_0)$. In the gravitational case the same cancellation is produced by the Hamiltonian constraint, with $\\rho_0$ derivatives cancelling between $S_1$ and $S_2$.","core_discovery":"On the paper's own terms, the central discovery is that the pseudo-bounce family is ordered by its endpoint: the decay exponent $S_{\\mathrm{p.b.}}(\\Phi_0)$ obeys $\\frac{dS_{\\mathrm{p.b.}}}{d\\Phi_0}=\\frac{\\Omega_{D-1}}{D}\\xi_0^D\\frac{dU}{d\\Phi_0}$, so it decreases exactly when the central potential value $U(\\Phi_0)$ decreases, and it reaches its minimum only at $\\xi_0=0$, which is the bounce solution. With gravity, the equivalent statement holds for $\\Delta S_{\\mathrm{p.b.}}=S_1+S_2-S_{\\mathrm{FV}}$, whose derivative is $U'(\\Phi_0)$ times a positive integral over the metric radius $\\rho$. Thus the true bounce action is the infrared end of an infrared-constructed family, and any EFT-level pseudo-bounce is a legitimate, improvable bound.","pith_inferences":["Editorial inference: the derivative identities are essentially Hamilton-Jacobi relations, so the same argument suggests an optimization algorithm that minimizes $S_{\\mathrm{p.b.}}(\\Phi_0)$ over the family, avoiding direct solution of the bounce equations.","Editorial inference: if a multi-field decay proceeds along a prescribed one-dimensional path in field space, the same construction could bound the reduced problem, but the paper leaves a fully multi-field extension open.","Editorial inference: the parametric form $\\Delta S \\sim M_{\\mathrm{pl}}^3/(m_\\nu^2\\Lambda)$ identifies the neutrino mass as the controlling scale, so sharper neutrino-mass measurements would translate directly into a sharper bound on the radion lifetime."],"forward_implications":["Any pseudo-bounce constructed from the low-energy EFT around the false vacuum gives an upper bound on the true decay exponent, and the bound is improved by moving $\\Phi_0$ toward the region where the potential decreases.","The monotonicity holds exactly in the presence of gravity for false vacua with non-positive energy, and with a modified argument for de Sitter false vacua.","For the Standard Model's radion direction, the decay exponent is $\\Delta S_{\\mathrm{p.b.}}(\\Lambda)\\sim M_{\\mathrm{pl}}^3/(m_\\nu^2\\Lambda)$, so even if the true vacuum sits at the Planck scale the exponent is $\\sim M_{\\mathrm{pl}}^2/m_\\nu^2\\gg 1$ and the radion decay is exponentially slow.","This gravitational estimate exceeds the non-gravitational estimate $B\\sim M_{\\mathrm{pl}}^3/\\Lambda^3$ by a large factor, providing a counter-example to a proposed universal upper bound on the decay exponent when gravity is significant."],"supporting_citations":[{"why":"Establishes the semiclassical false-vacuum decay rate through the O(D)-symmetric bounce, the quantity the paper bounds.","marker":"[1]"},{"why":"Introduces pseudo-bounces and proves each gives an upper bound on the bounce action in the non-gravitational case.","marker":"[5]"},{"why":"Generalizes pseudo-bounces to include gravitational effects, providing the setup extended in Section 3.","marker":"[6]"},{"why":"Reports the numerically observed monotonic decrease of pseudo-bounce actions that this paper turns into a proof.","marker":"[9]"},{"why":"Defines gravitational vacuum decay and the thin-wall regime used to compare the radion decay estimate with earlier bounds.","marker":"[10]"},{"why":"Identifies the AdS3 vacuum of the Standard Model compactified on a circle, the metastable state whose radion decay is estimated.","marker":"[3]"},{"why":"Shows the radion potential falls exponentially once charged-particle thresholds enter, motivating the need to bound the decay.","marker":"[4]"},{"why":"Proposes a thin-wall upper bound on the decay exponent that the gravitational radion estimate here exceeds, making it a counter-example.","marker":"[12]"}],"fun_headline_variants":["Pseudo-bounce monotonicity proves true bounce bound","Infrared pseudo-bounce family slides to exact bounce","Pseudo-bounce decay exponent descends to true action","Gravitational pseudo-bounce bound tightens SM decay"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes a single scalar field with canonical kinetic term and known potential $U$ interpolates between the false and true vacua, and the AdS3 application assumes the radion alone governs the decay; if the real path uses several fields, noncanonical kinetic terms, or unknown UV potential features, the monotonic bound and the estimate need not hold.","fun_headline_variants_meta":{"raw":{"variants":["Pseudo-bounce monotonicity proves true bounce bound","Infrared pseudo-bounce family slides to exact bounce","Pseudo-bounce decay exponent descends to true action","Gravitational pseudo-bounce bound tightens SM decay"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000202,"raw_usage":{"total_tokens":1346,"prompt_tokens":874,"completion_tokens":472,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":490,"completion_tokens_details":{"reasoning_tokens":406}},"tokens_in":490,"tokens_out":472,"duration_ms":5712,"temperature":1.0,"reasoning_tokens":406,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:39:47.038713+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a single-field potential with a known bounce, compute the pseudo-bounce family numerically and test two predictions: the derivative $\\frac{dS_{\\mathrm{p.b.}}}{d\\Phi_0}$ has the sign of $U'(\\Phi_0)$, and the minimum as $\\xi_0\\to 0$ equals the bounce action; the gravitational analogue can be checked against a known gravitational bounce solution. A single counterexample to either check would refute the theorem.","supporting_citations":[{"cited_title":"The Fate of the False Vacuum. 1. Semiclassical Theory,","cited_arxiv_id":null,"evidence_quote":"Establishes the semiclassical false-vacuum decay rate through the O(D)-symmetric bounce, the quantity the paper bounds."},{"cited_title":"A Unified View of Vacuum Decay Channels","cited_arxiv_id":"2501.09714","evidence_quote":"Reports the numerically observed monotonic decrease of pseudo-bounce actions that this paper turns into a proof."},{"cited_title":"Gravitational Effects on and of Vacuum Decay,","cited_arxiv_id":null,"evidence_quote":"Defines gravitational vacuum decay and the thin-wall regime used to compare the radion decay estimate with earlier bounds."},{"cited_title":"The Thin-Wall Approximation in Vacuum Decay: a Lemma","cited_arxiv_id":"1711.07712","evidence_quote":"Proposes a thin-wall upper bound on the decay exponent that the gravitational radion estimate here exceeds, making it a counter-example."}],"review_version":1}