{"id":"62072a1e-e8cb-4562-931e-7e4e7c9a54f5","arxiv_id":"2607.19055","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":6,"one_line_summary":"A Z' model with both left- and right-handed sbar-d couplings can enhance K_L→π0ννbar by an order of magnitude while keeping K+→π+ννbar and ε_K SM-like.","lead":"This paper shows that a specific new-physics model, a Z' boson, can keep the recently measured K+ decay rate at its Standard Model value while still allowing the K_L decay rate to be up to ten times larger, plus large enhancements of other rare kaon decays. It maps out what future experiments KOTO II and LHCb could see if such a pattern exists.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The numerical scan sets Δ_R^sd(Z')=0, but Eq. (66) requires Δ_R^sd/Δ_L^sd≈1/240 for the ε_K/ΔM_K cancellation; at zero the Z' mixing contribution is unsuppressed, so the Fig. 10 benchmarks do not yet demonstrate SM-like ε_K.","rationale":"The reader's weakest assumption correctly identifies Eq. (66) and the hadronic κ_sd input as a delicate point. My stress test sharpens this into an internal inconsistency: the numerical analysis sets Δ_R^sd=0, which is not the smallness condition required for the z_sd≈0 cancellation; it is the complete absence of the RH coupling, so the LR-operator cancellation is not active at all. The central 'existence proof' therefore does not currently show SM-like ε_K and ΔM_K for the benchmark points. I do not, however, move the verdict away from CONDITIONAL: the model-independent part of the paper (Sec. 2.1.2) correctly establishes that a large phase β_X≈110° can enhance K_L→π0ννbar while keeping K^+→π^+ννbar SM-like, and the Z' scenario can likely be repaired by keeping Δ_R^sd at the tuned ratio 1/240 rather than zero. The paper should be accepted only after this numerical caveat is addressed, which is exactly the reader's conditional recommendation. My concern is more specific than the reader's but does not change the final verdict.","tokens_in":25259,"tokens_out":6820,"duration_ms":76616,"concrete_test":"Recompute ε_K and ΔM_K for the Fig. 10 benchmark couplings using Eqs. (64) and (65) with Δ_R^sd(Z')=0, adding the SM contribution, and compare with the experimental/SM values. Then repeat the same calculation with Δ_R^sd(Z')=Δ_L^sd(Z')/240 (same complex phase) and confirm that z_sd≈0 restores SM-like values. If the first run violates ε_K (or ΔM_K) while the second is SM-like, the numerical scan must be rerun with the tuned RH coupling; if both runs satisfy the constraints, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Point 1 of the requirements list (Sec. 4) is asserted to be satisfied by the choice Δ_R^sd(Z')≈(1/240)Δ_L^sd(Z')≈0, with the cancellation z_sd≈0 in Eq. (65) relying on κ_sd≈−120 from Ref. [75]. But the subsequent numerical analysis states 'we set Δ_R^sd(Z')=0' and reduces the parameter space to Δ_L^sd plus flavour-conserving couplings. With Δ_R=0, Eq. (65) gives z_sd=1, not 0, so Eq. (64) does not vanish: the tree-level Z' contribution to (M_12^*)_Z' is proportional to (Δ_L^sd)^2. Since the benchmarks (e.g. Fig. 10) have both Re Δ_L^sd and Im Δ_L^sd nonzero to satisfy the K→πννbar and K_S→μμ requirements, ε_K would receive an unquantified NP contribution. Thus the simultaneous satisfaction of all seven requirements is not demonstrated as written. This is not merely a hadronic-uncertainty issue; it is a mismatch between the tuning condition and the parameter value actually used in the scans. A small Δ_R at the tuned ratio would have negligible effect on the plotted decay rates, so the fix is simple, but the current numerical demonstration does not include it.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that, after the NA62 measurement of B(K+→π+ννbar) consistent with the SM, appreciable NP effects in other rare kaon observables are still possible. A model-independent parametrisation of K→πννbar shows that a large CP-violating phase β_X≈110° can enhance B(KL→π0ννbar) by an order of magnitude while keeping B(K+→π+ννbar) SM-like. The authors then construct a specific Z′ model with both left- and right-handed sbar-d couplings and show, in Sec. 4, that a benchmark with chosen couplings can simultaneously keep ε_K and ΔM_K SM-like, satisfy the KL→μ+μ− bound, enhance KS→μ+μ−, KL→π0ℓ+ℓ−, and ε′/ε, and reach R^0_{ννbar}≈O(10). The numerical demonstration is a parameter scan over the couplings that appear in the observables, not a global fit.","tokens_in":25591,"tokens_out":7081,"duration_ms":76592,"significance":"If the claimed benchmark is valid, the paper provides a useful counterexample to the expectation that a SM-like NA62 result and SM-like ε_K exclude large enhancements of KL→π0ννbar, KS→μ+μ−, KL→π0ℓ+ℓ− and ε′/ε. The general formulae collected in Sec. 2 are standard and clearly presented, and the analysis correctly identifies that both LH and RH sbar-d couplings are needed to evade the ε_K-induced correlation that would otherwise bound KL→π0ννbar. The explicit Z′ scenario with stated coupling choices and constraints is a concrete, reproducible existence proof. The central gap is that the numerical scan sets to zero the very right-handed coupling on which the ε_K/ΔM_K cancellation relies, so the headline claim of simultaneous satisfaction of all seven requirements is not yet demonstrated.","major_comments":[{"comment":"Point 1 of the requirement list is asserted to follow from the choice Δ_R^sd(Z′)≈(1/240)Δ_L^sd(Z′)≈0. However, the numerical analysis in the same section states 'we set Δ_R^sd(Z′)=0'. With Δ_R=0, z_sd in Eq. (65) equals 1, not 0, because the cancellation relies on the 2κ_sd r term with κ_sd≈−120. Consequently the tree-level Z′ contribution to (M_12^*)^sd in Eq. (64) is unsuppressed and proportional to (Δ_L^sd)^2. The benchmarks in Fig. 10 have non-zero Re Δ_L^sd and Im Δ_L^sd, so ε_K and ΔM_K receive an unquantified NP contribution. The statement that requirement 1 is satisfied 'regardless of the values of the other parameters' is therefore not demonstrated by the numerical scan. Including the small tuned value Δ_R^sd=Δ_L^sd/240 in the scan would not affect the plotted rates and should restore the cancellation; this needs to be checked and reported.","section":"Sec. 4, Point 1; Secs. 3.2–3.3"},{"comment":"The cancellation condition is a fine-tuning between VLL, VRR and LR contributions that depends on the hadronic matrix-element ratio κ_sd≈−120 from Table 5 of Ref. [75]. No uncertainty on κ_sd is propagated, and no tolerance on Δ_R/Δ_L around 1/240 is given. If κ_sd changes by ~20% (or the hadronic matrix-element input is revised), the ratio required for z_sd≈0 shifts and the ε_K suppression is no longer automatic. Since the paper's summary claims ε_K remains SM-like, the authors should quantify the sensitivity, e.g. by varying κ_sd within its expected uncertainty and showing the allowed band of Δ_R/Δ_L, or at least state explicitly that the benchmark is a fine-tuned illustration.","section":"Sec. 3.2, Eq. (66)"}],"minor_comments":[{"comment":"Several occurrences of 'π oℓ+ℓ−' should read 'π^0ℓ+ℓ−' (e.g. Eq. (1), Eqs. (4)–(7) region, Sec. 2.4 heading).","section":"Introduction, Eq. (1) and throughout"},{"comment":"The last denominator is missing a closing parenthesis: it should be Δ_L^sd(Z′), not Δ_L^sd Z′).","section":"Eq. (65)"},{"comment":"The caption writes 'Δq¯q_L(R′)' where the parameter is Δq¯q_R(Z′). This typo could confuse readers.","section":"Fig. 10 caption"},{"comment":"The legend entry 'R^S_{μ+μ−}/10' is not explained in the caption; please clarify that the displayed curve is rescaled by a factor 1/10.","section":"Fig. 10, right panel"},{"comment":"The symbol for ε_K is written as both 'ε_K' and 'ϵ_K'; please standardise the notation.","section":"Secs. 2.5 and 3.2"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a useful existence proof by a well-established group, and the general formalism is sound. The main issue is a concrete mismatch between the stated ε_K-cancellation condition and the value Δ_R^sd=0 used in the numerical scan; this is fixable in a straightforward way by implementing the tuned ratio and recomputing the plots. I do not see a deeper conceptual flaw, provided the authors also frame the sensitivity to the hadronic matrix-element ratio κ_sd appropriately. The paper fits the journal scope well."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The new element here is concrete and timely: after the 2026 NA62 result pins K^+->pi^+ nu nu to the SM, the authors show that a Z' with both left- and right-handed sbar-d couplings can still push K_L->pi0 nu nu toward the Grossman-Nir bound while leaving epsilon_K and K^+ SM-like, and can simultaneously boost K_S->mu+mu-, K_L->pi0 l+l-, and epsilon'/epsilon. The model-independent part of the paper is clean, the general formulae are standard and traceable, and the figures showing how NA62 and KOTO II pin down |X_eff| and beta_X are helpful. Credit where due: the LH+RH cancellation insight in K^+ was already in earlier work, but the explicit correlated scan for this specific Z' scenario after the new NA62 measurement is the paper's real contribution.\n\nNow the main soft spot, and it is load-bearing. Section 4 says “we set Delta_R^sd(Z')=0” after arguing that Eq. (66) requires Delta_R^sd/Delta_L^sd ~ 1/240 for the Z' contribution to K0-K0bar mixing to cancel. But Eq. (65) gives z_sd = 1 when Delta_R^sd=0, not z_sd=0. So Eq. (64) does not vanish: the tree-level mixing contribution is proportional to (Delta_L^sd)^2. The benchmarks in Fig. 10 require both Re and Im Delta_L^sd nonzero, so epsilon_K receives an unquantified NP contribution. This is not a hadronic-uncertainty footnote; the numerical demonstration does not satisfy requirement 1 as written. The fix is probably simple—include a small tuned Delta_R^sd at the ratio from Eq. (66), which has negligible effect on the plotted decay rates—and I would ask the authors to rerun the scan with that coupling included and show the epsilon_K constraint explicitly.\n\nThe other soft spots are milder. The scan is an existence proof, not a fit or prediction, so “prospects” should be read as “possibility space.” The suppression depends on kappa_sd ~ -120 from Ref. [75], not independently derived, and no uncertainty is assigned to that ratio. The epsilon'/epsilon motivation leans on the Dual QCD estimate, and the paper itself notes the SM estimate is disputed. Also, the interesting discovery pattern for K_L->pi0 e+e- requires negative interference; the positive-interference case is excluded in the large-enhancement region. These are stated honestly, and they do not undermine the conceptual point.\n\nWho gets value: kaon phenomenologists and anyone interpreting KOTO II or LHCb results in the next decade. It is worth a serious referee, but the referee should insist on a corrected numerical section before anything is published in its current form. My verdict is: engage with it, but do not cite the numerics as evidence that all seven constraints are simultaneously satisfied until the tuned Delta_R^sd is actually in the scan.","headline":"A useful Z' existence proof for enhanced K_L->pi0 nu nu after NA62, but the numerical demonstration as written has a consistency hole: it sets Delta_R^sd=0 while relying on Eq. (66), whose whole point is a tuned nonzero Delta_R^sd to keep epsilon_K SM-like.","tokens_in":26227,"tokens_out":3193,"would_cite":false,"duration_ms":39212,"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":"Rare kaon decay can still beat the Standard Model tenfold despite the new K+ measurement.","keywords":["rare kaon decays","K_L → π0 ν νbar","K+ → π+ ν νbar","Z' model","left-right couplings","CP violation","ε_K","ε'/ε"],"falsifier":"Measure B(K_L→π0ννbar) and B(K+→π+ννbar) precisely: if K_L stays within a factor of ~2 of the SM while K+ remains SM-like, the large-phase enhancement is falsified. Alternatively, an updated lattice calculation of the hadronic matrix elements entering κ_sd that moves κ_sd noticeably away from −120 would remove the ε_K cancellation, and the benchmark scenario with Δ_R^sd=0 would cease to satisfy the ε_K constraint.","tokens_in":25046,"feed_emoji":"⚛️","tokens_out":6866,"duration_ms":68378,"temperature":0.7,"pith_summary":"The paper asks whether the recent measurement of K+→π+ννbar, which agrees with the Standard Model, also dooms the hope of large new-physics effects in the even rarer K_L→π0ννbar decay. It argues that it does not: if new physics couples to both left- and right-handed quarks and carries a large new CP-violating phase, K_L→π0ννbar can still be enhanced by an order of magnitude while the K+ rate and the CP-violation parameter ε_K stay SM-like. The same scenario simultaneously enhances K_S→μ+μ-, K_L→π0ℓ+ℓ-, and the direct-CP ratio ε'/ε. The demonstration uses a concrete Z' model, a new heavy neutral boson, and shows numerically that all seven observables can meet current constraints at once. This matters because it tells the next round of kaon experiments exactly what patterns to look for.","feed_headline":"Rare kaon decay can still exceed Standard Model tenfold","feed_subtitle":"A Z' with left- and right-handed quark couplings keeps K+ and ε_K normal while boosting K_L, K_S, and ε'/ε.","key_machinery":"The argument runs on two pieces. First, the branching ratios of the two K→πννbar decays are expressed through a single complex function X_eff; its imaginary part alone controls K_L→π0ννbar, while both magnitude and phase enter K+→π+ννbar. A large phase β_X ≈ 110° therefore allows K_L to be enhanced without touching K+, and measuring both modes pins down |X_eff| and β_X up to a four-fold ambiguity. Second, in the Z' model, the ratio of right-handed to left-handed s̄d coupling is tuned to Δ_R^sd/Δ_L^sd ≈ 1/240, the value at which the left-left, right-right and left-right contributions to the K0–K0bar mixing amplitude cancel (Eq. 66), so ε_K and ΔM_K stay SM-like while the ΔF=1 decays proceed u","core_discovery":"The central claim is that the combination of a left-handed and a small right-handed s̄d coupling to a new Z' boson, together with a large new weak phase β_X ≈ 110° in the combination X_eff that controls K→πννbar amplitudes, can decouple the two kaon-pion-neutrino modes: the K_L→π0ννbar rate can be pushed close to the Grossman-Nir bound (about ten times the Standard Model value) while K+→π+ννbar remains within the recently measured SM-like band. The small right-handed coupling is not a correction; it is the load-bearing ingredient, because the ratio Δ_R^sd/Δ_L^sd ≈ 1/240 cancels the Z' tree-level contribution to K0–K0bar mixing, keeping ε_K and ΔM_K SM-like. The paper then shows that the same","pith_inferences":["The scenario's viability rests on a precise cancellation: if lattice or other hadronic inputs shift κ_sd from ≈ −120, the required Δ_R^sd/Δ_L^sd ratio changes and the ε_K/ΔM_K suppression weakens, so the 'SM-like regardless of other parameters' claim is not robust to hadronic revisions.","Because the cancellation requires a tuned ratio, a fully natural model would need a mechanism that generates such a hierarchy between left- and right-handed couplings; absent that, the scenario is an existence proof rather than a complete theory.","The paper's correlation structure suggests a decisive test: if K_L→π0ννbar is found enhanced while K_S→μ+μ- remains SM-like, the mixed-chirality Z' scenario would be disfavoured, pointing instead to models with pure left-handed couplings or to non-Z' mediators.","One could extend the same flavour structure to B-meson or top decays involving equivalent chiral couplings; such extensions are not explored here but would sharpen the model's predictivity."],"forward_implications":["If K_L→π0ννbar is measured by the proposed next-generation experiment, an order-of-magnitude enhancement over the SM prediction is still a live possibility even if the final K+ result stays SM-like.","A discovery of K_L→π0ννbar near the Grossman-Nir bound would, within this scenario, imply strongly enhanced K_S→μ+μ- (up to two orders of magnitude in parts of the parameter space) and enhanced K_L→π0ℓ+ℓ-.","The same NP phase structure produces a positive contribution to ε'/ε of order 10^-3, potentially closing the gap between the experimental value and the lower SM estimate.","A measurement of both K→πννbar branching ratios would determine the underlying new-physics amplitude |X_eff| and phase β_X, up to a four-fold ambiguity that other observables like K_S→μ+μ- or ε'/ε can resolve."],"fun_headline_variants":["Kaon decay can exceed SM tenfold—without breaking K+","New Z' boosts rare kaon decay, spares K+ and ε_K","Right-handed twist reveals tenfold boost for K_L→π0νν","Z' with chiral mix pushes K_L decay past SM by 10x","Kaon puzzle: K_L up, K+ normal, thanks to right-handed coupling"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the hadronic matrix-element ratio κ_sd equals about −120 for M_Z' between 5 and 20 TeV, so that the right-handed s̄d coupling tuned to 1/240 of the left-handed one exactly cancels the Z' contribution to K0–K0bar mixing; if that ratio changes, ε_K and ΔM_K are no longer automatically SM-like.","fun_headline_variants_meta":{"raw":{"variants":["Kaon decay can exceed SM tenfold—without breaking K+","New Z' boosts rare kaon decay, spares K+ and ε_K","Right-handed twist reveals tenfold boost for K_L→π0νν","Z' with chiral mix pushes K_L decay past SM by 10x","Kaon puzzle: K_L up, K+ normal, thanks to right-handed coupling"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000786,"raw_usage":{"total_tokens":3414,"prompt_tokens":962,"completion_tokens":2452,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":706,"completion_tokens_details":{"reasoning_tokens":2350}},"tokens_in":706,"tokens_out":2452,"duration_ms":17936,"temperature":1.0,"reasoning_tokens":2350,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T13:32:37.963934+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure B(K_L→π0ννbar) and B(K+→π+ννbar) precisely: if K_L stays within a factor of ~2 of the SM while K+ remains SM-like, the large-phase enhancement is falsified. Alternatively, an updated lattice calculation of the hadronic matrix elements entering κ_sd that moves κ_sd noticeably away from −120 would remove the ε_K cancellation, and the benchmark scenario with Δ_R^sd=0 would cease to satisfy the ε_K constraint.","supporting_citations":[],"review_version":1}