{"id":"8f377a96-2d66-410a-b09b-2c0d28e68aaa","arxiv_id":"2506.01585","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"A consistent 3D EFT computation of the Higgs phase sphaleron rate yields universal baryon preservation bounds x ≈ 0.025 (strong) and x ≈ 0.036 (weak), and shows two-loop corrections eliminate strong one-step transitions in the triplet-extended SM.","lead":"This paper builds a gauge-invariant way to compute how fast electroweak sphaleron processes erase baryon asymmetry after a first-order phase transition, using a three-dimensional effective field theory at high temperature. It also finds that once two-loop thermal corrections are included, the real triplet extension of the Standard Model no longer has a strong enough one-step transition to preserve baryon number, narrowing the viable space for electroweak baryogenesis.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The freeze-out threshold S0≈39 in Eq. (4.5) is set by dimensional analysis for the uncomputed prefactor Adyn×[det]sph, and the universal BNPC bounds (4.19)-(4.20) are exponentially sensitive to it.","rationale":"The paper's most consequential output is the set of universal BNPC bounds and the derived conclusion that the real-triplet SM cannot provide a sufficiently strong one-step transition. All of these statements pass through the freeze-out equation S3D(x,y_f)=S0 with S0 fixed by a purely dimensional estimate of the rate prefactor. The reader identified this same step as the weakest assumption, and I agree: this is the place where an unquantified uncertainty enters the central claim with exponential amplification. The paper is honest about the omission—Secs. 3.1 and 6.1 state that the determinant and dynamical part are deferred—but the introduction's claim to have 'ultimately solv[ed] all concerns raised in [89]' goes beyond what is actually delivered, since the full sphaleron rate still lacks its prefactor. The constant-action approximation Csph≈29 is well supported by the numerical comparison in Fig. 4 (though the fit-exact differences of order 2% produce a subdominant effect), and the comparison for the SM crossover in Fig. 5 gives useful partial validation of the Boltzmann-factor structure. Nevertheless, that same Fig. 5 shows that the prefactor can shift the rate by more than an order of magnitude relative to lattice data when the determinant is set to unity, so the assumption Adyn×[det]sph∼T^4 cannot be regarded as benign by dimensional analysis alone. For these reasons the reader's CONDITIONAL verdict is appropriate; no verdict change is needed, but the concern should be recorded as the primary remaining obstacle to taking the numerical BNPC values and the triplet no-go statement at face value.","tokens_in":57031,"tokens_out":6131,"duration_ms":74557,"concrete_test":"Evaluate the full prefactor for a benchmark first-order point, e.g. (x,y)=(0.03,0.008), by computing the one-loop fluctuation determinant κ(x) with the methods of Burnier et al. [87] or Carson/McLerran [126], and taking the dynamical prefactor Adyn from the HTL-Langevin lattice value of Moore [90]. Then compute S0 = ln[(Adyn/2π) × Ntr(NV)rot × v3^9 × g3^6 × κ × 2Nρ/(T^3 H(T))] and recompute y_f(x), x_bar, and x_hat. If S0 differs from 39 by more than about 1.5 units, the BNPC boundaries move by more than the width of the weak-BNPC band, confirming the concern; if it stays within ±1, the dimensional-analysis estimate is adequate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central results of the paper—the universal strong BNPC x(Tc)≲0.025 and weak BNPC 0.025≲x(Tc)≲0.036—are obtained by inverting the sphaleron freeze-out condition S3D(x,y_f)=S0 with S0≈39 (Eq. 4.5). This S0 is derived from the estimate Adyn×[det]sph∼T^4, but neither the dynamical prefactor Adyn nor the fluctuation determinant [det]sph is computed anywhere; Sec. 3.1 explicitly defers both to future work, and Sec. 6.1 reiterates this limitation. The washout exponent W (Eq. 4.11) and the boundaries x_bar, x_hat are exponentially sensitive to the action threshold, so an order-of-magnitude error in the prefactor changes S0 by ln(10)≈2.3, which shifts the x-boundaries by an amount comparable to the width of the weak-BNPC band. This is not merely a disagreement with external non-perturbative results: the paper's own comparison for the SM crossover in Fig. 5 shows the NLO curve (with κ=1 and Adyn∼T) differing from lattice results by more than an order of magnitude at some temperatures, demonstrating that the prefactor is numerically non-negligible. Until the statistical determinant and the dynamical prefactor are computed or bounded in the first-order region, the quoted BNPC values do not carry a well-defined uncertainty, and the triplet-model no-go conclusion inherits this same sensitivity.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a perturbative, gauge-invariant 3D effective field theory (EFT) description of the Higgs-phase sphaleron rate after a first-order electroweak phase transition. Working at semi-classical leading order with two-loop dimensional reduction, the authors show that the rescaled sphaleron action is approximately S_3D(x,y) = v3(x,y) * Csph with Csph ≈ 29, and that the scalar potential contributes only through the vacuum boundary condition. They combine this sphaleron freeze-out curve yf(x) with earlier nucleation curves yn(x) to derive universal baryon number preservation criteria: a strong BNPC x(Tc) ≲ 0.025 and a weak BNPC 0.025 ≲ x(Tc) ≲ 0.036, with the washout exponent computed from an integral over the 3D action. As an application, the paper studies the real-triplet-extended Standard Model and concludes that, once two-loop soft-triplet corrections to the effective Higgs self-coupling are included, no one-step transition in the mapped parameter space is strong enough to preserve baryon number.","tokens_in":57302,"tokens_out":3661,"duration_ms":39322,"significance":"If the quantitative claims hold, this is a valuable step toward a consistent perturbative treatment of sphaleron physics in the 3D EFT framework. The paper gives a transparent, gauge-invariant organization of the semi-classical Boltzmann factor, provides compact analytic fits that are easy to reuse, and makes an explicit and honest comparison with lattice results for the Standard Model crossover. The combination of nucleation and freeze-out curves in a single (x,y) diagram is a useful unifying presentation, and the triplet model study highlights the importance of two-loop thermal corrections in a way that agrees with recent related literature. The central limitation—that the fluctuation determinant and dynamical prefactor are not computed—is acknowledged repeatedly, but it is load-bearing for the specific numerical BNPC bounds, so the significance of the paper is partly conditional on future work or on a demonstrated insensitivity of the main conclusions to the prefactor.","major_comments":[{"comment":"The freeze-out constant S0 ≈ 39 is obtained by estimating Adyn × [det]sph ∼ T^4 by dimensional analysis, while Sec. 3.1 and Appendix B explicitly state that both the dynamical prefactor and the fluctuation determinant are left to future work. The washout exponent W (Eq. 4.18) and the boundaries x_bar ≈ 0.025 and x_hat ≈ 0.036 are obtained by inverting S_3D(x,y) = S0, so an order-of-magnitude correction to the prefactor changes S0 by ln(10) ≈ 2.3 and shifts both thresholds by an amount comparable to the width of the weak-BNPC band. The manuscript should either compute or bound the prefactor in the first-order region, or quantitatively propagate this uncertainty into the quoted BNPC values; currently the bounds are presented with a definiteness that the computation does not support.","section":"Sec. 4.1, Eq. (4.5)"},{"comment":"The weak BNPC upper limit x_hat ≈ 0.036 is fixed by the hand-set cap W <∼ 100. This cap is not derived from any physical or observational requirement, and the required initial asymmetry grows as e^W, so the exact choice of the cap directly controls x_hat. The authors should justify the cap or demonstrate that x_hat is insensitive to it, for example by reporting d x_hat/dW around W = 100.","section":"Sec. 4.2, Eq. (4.20)"},{"comment":"The triplet-model no-go conclusion relies on the two-loop correction of Eq. (5.3) and on the heuristic higher-loop sequence of Eq. (5.4) with unit coefficients. The heuristic coefficients are admittedly arbitrary, and while the authors state the conclusion is not terribly sensitive to them, no quantitative sensitivity test is shown. Furthermore, the conclusion that none of the mapped one-step transitions are strong enough depends on the BNPC thresholds of Sec. 4, which inherit the S0 uncertainty discussed above. The no-go statement should be qualified accordingly, and the sensitivity of Fig. 11 to the coefficients c3, c4, c5 should be quantified.","section":"Sec. 5, Eqs. (5.3)-(5.4)"}],"minor_comments":[{"comment":"There are typos in the text: 'Qualitative Overwiew' in the contents and Sec. 2.1, and 'T emporal Gluon Effect' in the Appendix C heading.","section":"Contents and Sec. 2.1"},{"comment":"The LO and NLO curves differ from the lattice results by more than an order of magnitude at the lower end of the plotted temperature range; this is visible in Fig. 5 but the text only says the behavior is 'reasonable'. A sentence quantifying the discrepancy at, say, T = 120 GeV would be more informative.","section":"Sec. 3.5, Fig. 5"},{"comment":"The value of the coefficient ρ in Nρ = n_G ρ is not defined in the text; the numerical replacement Nρ ≈ (13/4) × 3 appears without explanation, so a reader cannot reproduce the washout normalization without consulting Ref. [87].","section":"Sec. 4.1"},{"comment":"The notation η_y is introduced in Eq. (4.15) as T dy/dT, but the same symbol η is used in Eq. (1.1) for the baryon-to-photon ratio. The two are very different quantities and the notation is confusing; a different symbol, e.g. beta_y, would be clearer.","section":"Sec. 4.2, Eq. (4.16)"},{"comment":"Reference [229] is listed as 'In preparation' and should either be updated to a published or arXiv version or removed if it is not publicly available by the time of publication.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the journal's scope and the authors are commendably transparent about the uncomputed prefactor. My main concern is that the quantitative BNPC claims are presented with more certainty than the current computation supports; the freeze-out constant S0 is load-bearing and is not computed. I would support publication after the authors either provide credible bounds on the prefactor or reframe the BNPC values as leading-order estimates with an explicit, quantified sensitivity to the prefactor uncertainty."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper delivers a real advance: a gauge-invariant, double-counting-free perturbative setup for the statistical part of the sphaleron rate in the 3D EFT. The finding that the sphaleron action is well approximated by v3 times a constant (Csph ≈ 29) is new and practically valuable, and the first computation of the two-loop soft-triplet correction to λ3 in Eq. (5.3) is a solid, useful result. The LO Boltzmann factor computation is clear, the comparison to lattice for the SM crossover is reasonable, and the authors are transparent about what they do and do not compute.\n\nThe soft spot is real and load-bearing. The freeze-out condition is set by S0 ≈ 39, which comes from declaring Adyn × [det]sph ~ T^4 by dimensional analysis. Neither the dynamical prefactor nor the fluctuation determinant is computed; the paper says so in Secs. 3.1 and 6.1. The washout exponent and the x̄ and x̂ boundaries are exponentially sensitive to S0. An order-of-magnitude change in the prefactor shifts S0 by ~2.3, which moves the boundaries by an amount comparable to the width of the weak-BNPC band. Fig. 5 confirms the prefactor is not numerically negligible: the NLO curve, with κ=1 and Adyn~T, deviates from lattice by more than an order of magnitude at some temperatures. So the universal BNPC bounds in Eqs. (4.19)-(4.20) do not yet carry defined uncertainties. The introduction's phrasing that all concerns from [89] are \"solved\" is stronger than the body supports.\n\nThat said, the triplet-model conclusion is more robust than the universal bounds. The statement that no strong one-step transitions survive in the mapped parameter space rests on xc ≳ 0.06 after two-loop matching, which sits safely above even a shifted weak-BNPC threshold. That conclusion should survive moderate rescaling of S0.\n\nWho should read this? Anyone working on electroweak baryogenesis, phase transition strength criteria, or 3D EFT applications to BSM. The framework is a good foundation, and the two-loop triplet calculation is an independent contribution worth taking seriously. I would cite the framework and the two-loop result, but I would not cite the 0.025 and 0.036 numbers as final without computing the prefactor first.\n\nRecommendation: send it to peer review. A careful referee should ask for the prefactor to be either computed, bounded, or explicitly removed from the abstract/introduction claims and given error bars in the bounds. The paper deserves referee time; it just needs revision.","headline":"A genuinely useful 3D EFT reformulation of the Higgs-phase sphaleron rate, but the headline BNPC bounds rest on an uncomputed prefactor estimate and should be read as provisional.","tokens_in":57945,"tokens_out":2129,"would_cite":true,"duration_ms":27697,"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":"A gauge-invariant 3D effective field theory computation reduces the electroweak sphaleron rate to a one-parameter action and sets universal baryon-preservation bounds.","keywords":["electroweak baryogenesis","sphaleron rate","dimensional reduction","3D effective field theory","baryon number preservation","first-order electroweak phase transition","real triplet extension","baryon washout"],"falsifier":"Compute the Higgs-phase sphaleron rate on the lattice in the SU(2)+Higgs 3D EFT for $x$ in the first-order range 0.01 to 0.1, with $y$ as an input parameter; if $\\log_{10}(\\Gamma_{\\mathrm{sph}}/T^4)$ is not well described by $-29\\,v_3(x,y)/\\ln 10$ plus a mildly varying prefactor, the leading-order action approximation fails. Alternatively, evaluate the fluctuation determinant and dynamical prefactor directly: if their product differs from $T^4$ by a factor of ten, $S_0$ shifts from 39 by about 2.3 and the claimed $x$ boundaries move by roughly 0.005.","tokens_in":56723,"feed_emoji":"🛡️","tokens_out":11076,"duration_ms":97227,"temperature":0.7,"pith_summary":"The paper aims to put the electroweak sphaleron rate—the process that can erase any baryon asymmetry produced at a first-order phase transition—on the same consistent perturbative footing as bubble nucleation, using a dimensionally reduced three-dimensional effective field theory (3D EFT). It claims that in the Higgs phase, at leading order, the sphaleron action factorizes into a temperature-dependent condensate $v_3(x,y)$ times a nearly constant coefficient $C_{\\mathrm{sph}}\\approx 29$, because the scalar potential contributes to the action only through the boundary condition on the sphaleron profile. From this it derives the sphaleron freeze-out curve $y_f(x)$, the washout exponent, and universal criteria for baryon-number preservation: no washout for $x(T_c)\\lesssim 0.025$, and possible survival only for $0.025\\lesssim x(T_c)\\lesssim 0.036$. Applying this to the real triplet-extended Standard Model with two-loop soft-triplet corrections shows that none of the one-step transitions in the mapped parameter space is strong enough to preserve the baryon asymmetry.","feed_headline":"Baryon washout dies when x ≤ 0.025","feed_subtitle":"A gauge-invariant sphaleron rate sets universal freeze-out bounds and rules out one-step triplet transitions.","key_machinery":"The load-bearing object is the rescaled 3D sphaleron action $\\hat{S}_{3D}=v_3(x,y)\\,C_{\\mathrm{sph}}(x,y)$, where $x=\\lambda_3/g_3^2$ and $y=\\mu_3^2/g_3^4$ are the two dimensionless parameters of the SU(2)+Higgs 3D EFT. The key structural fact is that after rescaling by the Higgs condensate $v_3$, the Yang-Mills and covariant-derivative kinetic terms dominate $C_{\\mathrm{sph}}$, and the scalar potential contributes only through the boundary value $v_3$; for first-order transitions, with the cubic term coefficient $q=1/(4\\sqrt{2\\pi})$ from integrating out the soft gauge bosons, $C_{\\mathrm{sph}}\\approx 29$. This factorization converts the washout integral into a closed form $I(x)$ and fixes the freeze-out curve $y_f(x)$ through the condition $\\hat{S}_{3D}=S_0\\approx 39$.","core_discovery":"The paper's central claim is that the Higgs-phase sphaleron rate after a radiatively induced first-order transition can be computed consistently in a two-loop resummed 3D EFT, in a semi-classical approximation, without the gauge dependence and double-counting problems of earlier approaches. The discovery is a compact factorization: rescaling fields by the effective gauge coupling $g_3$ and then by the Higgs condensate $v_3(x,y)$ turns the sphaleron action into $\\hat{S}_{3D}=v_3(x,y)\\,C_{\\mathrm{sph}}(x,y)$, with $C_{\\mathrm{sph}}\\approx 29$ in the first-order regime, so the leading rate is $\\Gamma_{\\mathrm{sph}}\\approx T^4\\,e^{-29\\,v_3(x,y)}$. The scalar potential fixes only the boundary value $v_3$ at the supersoft scale and otherwise enters at next-to-leading order. This yields a freeze-out condition $S_0\\approx 39$, a universal strong baryon-number-preservation criterion $x(T_n)<0.025$, and a weak criterion $0.025