{"id":"7560875b-6a51-41f6-a10c-ae64a03a2608","arxiv_id":"2608.14474","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Future KOTO-II measurements of rare neutral kaon decays could distinguish between two viable new physics scenarios that current data and NA62 alone leave overlapping.","lead":"This paper asks whether two future kaon experiments can tell apart two competing explanations of rare decay data, one obeying the Standard Model and one breaking lepton flavour universality. It finds that the planned KOTO-II experiment, measuring neutral kaon decays, could separate the two scenarios, while NA62 alone could not.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The >2σ KOTO-II separation claim depends on the undetermined interference signs in KL→μ+μ− and KL→π0ℓ+ℓ−; flipping them shifts the SM predictions by up to a factor ~2.3 and could move or erase the second minimum.","rationale":"The reader's weakest assumption identifies the same load-bearing point: the sign conventions for the long-distance amplitudes. I agree with that reading. The paper's headline result, that KOTO-II separates the two benchmark regions beyond 2σ while NA62 does not, is a projection built on the current global fit. The global fit itself has two minima only for the chosen signs: the positive solution for BR(KL→μ+μ−) and constructive interference for BR(KL→π0ℓ+ℓ−). The size of the sign-induced shifts in Table 1 is large compared with the assumed 25% KOTO-II precision, so this is not a cosmetic detail; it is a condition for the benchmark central values and for the constraint that resolves the δC_L^e–δC_L^μ degeneracy. I therefore view the concern as correctness risk rather than an internal inconsistency. The analysis is otherwise transparent, and the use of the public SuperIso package is real supporting infrastructure, though the full fit setup is not shipped. Because the concern is exactly the condition the reader already attached to the verdict, my stress-test does not move the verdict; I would keep the CONDITIONAL recommendation pending the sign-robustness check described in concrete_test.","tokens_in":8404,"tokens_out":8486,"duration_ms":84232,"concrete_test":"Re-run the global fit and the KOTO-II projection with the sign choices flipped while keeping all other inputs fixed: (i) use the negative (−) solution for BR(KL→μ+μ−) in Table 1, and (ii) assume destructive rather than constructive interference between the direct and indirect CP-violating amplitudes in BR(KL→π0e+e−) and BR(KL→π0μ+μ−). Check whether the second local minimum of the current fit survives and whether the 68% and 95% contours in the middle row of Fig. 5 still separate for both benchmarks. If either alternative moves the second minimum by more than 1σ or makes the projected contours overlap, the central claim is conditional on the sign convention and the paper should state this limitation explicitly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the >2σ separation of the two benchmarks by KOTO-II (Section 3, middle row of Fig. 5). For that claim to hold, the benchmark points must be the true minima and the projected central values must be correct; both depend on the sign of the long-distance/short-distance interference in BR(KL→μ+μ−) and on the constructive/destructive interference between direct and indirect CP-violating amplitudes in BR(KL→π0ℓ+ℓ−). Section 2.2 states explicitly that the KL→γγ amplitude sign is not experimentally determined and that the positive solution is adopted; for the π0ℓ+ℓ− modes constructive interference is assumed following the current theoretical preference [23,24]. Table 1 shows how large this ambiguity is: the SM prediction for BR(KL→μ+μ−) changes from (6.84+0.77−0.29)×10−9 to (8.11+1.47−0.98)×10−9, and for BR(KL→π0e+e−) from (3.56+0.92−0.80)×10−11 to (1.54+0.60−0.48)×10−11. Fig. 3 (right panel) identifies BR(KL→μ+μ−) as the observable that removes the degeneracy between δC_L^e and δC_L^μ, while the KOTO-II discriminating power comes precisely from the π0ℓ+ℓ− modes. If an alternative sign is realized, the constraint bands and the benchmark predictions shift by amounts comparable to or larger than the projected 25% uncertainties, so the second local minimum can move, disappear, or the 95% contours in Fig. 5 can overlap. The assumption is honestly stated, but the 'beyond 2σ' conclusion is not robust to it unless the alternative signs are shown not to change the separation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper performs a global fit to rare kaon decay observables in a simplified effective Hamiltonian with two independent Wilson coefficients, δC_L^μ = δC_L^τ and δC_L^e, using updated experimental results and Standard Model predictions computed with SuperIso. The fit finds a global minimum near the SM and a second local minimum corresponding to a lepton-flavour-universality-violating scenario. Two benchmark scenarios are defined from these minima. The authors then project the sensitivities of future NA62 (K+→π+νν̄ and K+→π+ℓ+ℓ−) and KOTO-II (KL→π0νν̄, KL→π0e+e−, KL→π0μ+μ−) measurements, taking the central values from the benchmark minima and scaling uncertainties according to the experimental proposals. They find that the KOTO-II projections alone separate the two benchmark regions beyond 2σ, while NA62 alone cannot. The paper concludes that the combination of charged- and neutral-kaon observables provides complementary discrimination of the new-physics parameter space.","tokens_in":8771,"tokens_out":11259,"duration_ms":87646,"significance":"If the central claim holds, it provides a concrete, testable physics case for the KOTO-II experiment and demonstrates that rare neutral kaon decays can resolve flavour-structure degeneracies that remain after a precise K+→π+νν̄ measurement. The analysis is transparent: the operator-basis truncation, the relation δC_L = δC_9 = −δC_10, the lepton-flavour assumptions, and the sign choices are all explicitly stated; the SuperIso code is public and the fit methodology is standard. The paper honestly acknowledges the sign ambiguities, although it does not assess their impact on the projected discrimination, which is the key weakness.","major_comments":[{"comment":"The headline result that KOTO-II can separate the two benchmarks beyond 2σ (Section 3, Fig. 5) depends on the assumed signs of the long-distance/short-distance interference in BR(KL→μ+μ−) and of the direct/indirect CP-violating interference in BR(KL→π0ℓ+ℓ−). The positive solution for KL→μ+μ− and the constructive-interference choice for π0ℓ+ℓ− are adopted as assumptions, as stated in Section 2.2. Table 1 shows the size of the ambiguity: for example, BR(KL→π0e+e−) changes from (3.56+0.92−0.80)×10⁻¹¹ to (1.54+0.60−0.48)×10⁻¹¹ depending on the interference sign, and BR(KL→μ+μ−) changes from (6.84+0.77−0.29)×10⁻⁹ to (8.11+1.47−0.98)×10⁻⁹. Since BR(KL→μ+μ−) is identified in Section 2.3 (Fig. 3, right panel) as the observable that removes the approximate degeneracy between δC_L^e and δC_L^μ, an alternative sign would shift the constraint band, which could move or eliminate the second minimum and hence change the projected KOTO-II discrimination. The authors should either demonstrate that the conclusions are unchanged for the alternative sign choices or provide a quantitative assessment of how the benchmark points and the projected contours in Fig. 5 shift. Without such a stability analysis, the 'beyond 2σ' conclusion is not robust to this undetermined input.","section":"Section 2.2, Table 1"},{"comment":"The claim that 'the two allowed regions become separated beyond 2σ level' is inferred from the non-overlap of the 95% CL contours in the middle row of Fig. 5. In a two-dimensional parameter space, the 95% CL region corresponds to Δχ² < 6.18, which is not equivalent to a 2σ exclusion (for two degrees of freedom, 2σ corresponds to Δχ² < 4). Non-overlap of the 95% contours between the two benchmark fits is a necessary but not sufficient condition for a 2σ separation. The expected discrimination significance should be quantified by computing the distribution of the Δχ² difference between the two benchmark hypotheses under the projected measurements. I request that the authors provide this calculation or rephrase the claim to match the evidence, e.g., 'the 95% CL regions are disjoint'. As written, the 'beyond 2σ' phrasing overstates what is demonstrated.","section":"Section 3, Fig. 5"}],"minor_comments":[{"comment":"The entry '0−0.014±0.016' mixes the SM prediction (0) and the experimental value (−0.014±0.016) in a single column; separating the SM and experimental values would improve clarity.","section":"Table 1, LFUV row"},{"comment":"The statement that 'the 68% CL regions have a distinctly visible separation' (Fig. 1) is followed in Section 3 by 'the two benchmarks are consistent at 1σ'. These statements should be reconciled; presumably the authors mean that each benchmark is consistent with the current data at the 68% level, but the wording is ambiguous.","section":"Section 2.3 and Section 3"},{"comment":"The caption refers to '1σ and 2σ confidence levels', but for a two-dimensional parameter space the 68% and 95% CL contours are not literally 1σ and 2σ; please use the proper confidence-level labels.","section":"Section 3, Fig. 5 caption"},{"comment":"The reference for the experimental value of the LFUV observable should be the specific measurement (e.g., the NA62 muon-channel result cited as [7]); reference [6] is a theory paper.","section":"Section 2.2, references"},{"comment":"The paper does not discuss the sensitivity of the fit to the assumption δC_L^μ = δC_L^τ, which is not directly constrained by the observables considered; a brief comment on the validity of this assumption would be useful.","section":"Section 2.1"}],"recommendation":"major_revision","confidential_remarks":"This is a well-written paper from an experienced group, but the novelty relative to the authors' previous work [8] is incremental (updated NA62 result, explicit KOTO-II projections). The main concern is the unquantified sign-ambiguity dependence of the headline claim, which in my view requires a major revision. If the authors can show robustness under the alternative sign choices or provide a quantitative significance calculation, the paper could become suitable for publication. The manuscript fits the journal scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a serious projection study making a concrete case for KOTO-II's lepton-pair modes. The new content is the updated global fit with the 2026 NA62 measurement, the two benchmark scenarios, and the finding that KOTO-II could separate them at >2σ while NA62 cannot. The authors use their own established SuperIso framework and effective-theory setup, and they are transparent about assumptions.\n\nWhat it does well: the fit machinery is mature, the observable list is careful, and the point about the complementary flavour structure of KL→π0ℓ+ℓ− vs K+→π+νν is well motivated. This is directly useful for J-PARC planning.\n\nThe soft spot is the sign ambiguity in the long-distance amplitudes. The paper adopts the positive solution for KL→μ+μ− and constructive interference for KL→π0ℓ+ℓ− with no robustness test. Since those signs are not experimentally fixed, flipping them shifts the SM predictions by up to a factor ~2.3 and can move or erase the second minimum. That would alter the benchmark scenarios and the >2σ separation claim. The authors state the assumption honestly, but they don't show whether the conclusion holds for the other signs. That gap is real.\n\nMinor: the 25% precision for KOTO-II comes from the proposal and is not stress-tested. Reproducibility is average: the code is public, but the full covariance model isn't specified. The citation pattern is mostly the group's own previous work, which is understandable given they built the framework.\n\nOverall, this is a competent paper that deserves a serious referee. I'd ask for a sign-robustness check in the revision. Send it to peer review, not a desk reject.","headline":"Useful KOTO-II projection, but the >2σ separation claim rests on an untested sign convention that could move or erase the second minimum.","tokens_in":9355,"tokens_out":4641,"would_cite":true,"duration_ms":41035,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper argues that projected K_L measurements at KOTO-II can separate the two viable new-physics regions beyond 2σ, while the full charged-kaon dataset alone cannot.","keywords":["rare kaon decays","lepton flavour universality","K_L -> pi0 nu nu","KOTO-II","NA62","Wilson coefficients","new physics"],"falsifier":"Measure the sign of the K_L → γγ amplitude or otherwise fix the interference sign in K_L → μ^+ μ^-; if the negative sign is realized, the constraint band from that mode moves and the benchmark separation predicted here would need to be recalculated. Alternatively, an early KOTO-II measurement of BR(K_L → $π^{0}$ μ^+ μ^-) whose central value falls outside both benchmark predictions would falsify the two-region picture.","tokens_in":8174,"feed_emoji":"⚛️","tokens_out":5740,"duration_ms":47664,"temperature":0.7,"pith_summary":"Rare kaon decays are clean probes of new physics in the flavour sector. This paper performs a global fit to current data and finds two equally acceptable regions for the new-physics coefficients: one at the Standard Model and one with lepton flavour universality violation. The paper then shows that the full projected dataset of the charged-kaon programme leaves these two regions overlapping, whereas the future neutral-kaon programme, with 25% precision on three K_L decay modes, separates them beyond 2σ. This matters because it identifies a concrete measurement that can decide whether a future deviation is flavour-universal or lepton-flavour dependent.","feed_headline":"KOTO-II can separate the two new-physics scenarios beyond 2 sigma","feed_subtitle":"Projected K_L decays distinguish the viable fit regions; NA62 alone cannot.","key_machinery":"The machinery is an effective Hamiltonian for s → d transitions restricted to left-handed semileptonic operators O_9^ℓ, O_10^ℓ, and O_L^ℓ, with Wilson coefficients C_k^ℓ = C_{k,SM}^ℓ + δC_k^ℓ and the matching relation δC_L^ℓ = δC_9^ℓ = -δC_10^ℓ. Assuming the charged and neutral leptons sit in the same SU(2)_L doublet, the fit reduces to two independent coefficients, δC_L^e and δC_L^μ (= δC_L^τ). A χ² fit to branching ratios and the LFUV observable, with Standard Model predictions built from updated CKM inputs, produces a crescent-shaped allowed region from K^+ → π^+ ν ν̄; the K_L → μ^+ μ^- constraint removes part of the degeneracy and shapes the second minimum. The sign assumptions for long-distance interference are load-bearing: the positive solution (destructive interference) is adopted for K_L → μ^+ μ^- and constructive interference for the CP-violating amplitudes in K_L → $π^{0}$ ℓ^+ ℓ^-.","core_discovery":"The central claim is that, under the assumptions of left-handed semileptonic operators and δC_L^μ = δC_L^τ, the current data admit both a global minimum at δC_L^e = δC_L^μ = 0 and a second local minimum with δC_L^e ≠ δC_L^μ. Projecting NA62's final precision, including 15% on K^+ → π^+ ν ν̄ and improved lepton-flavour-universality observables, does not resolve the degeneracy between the two minima. Adding KOTO-II's projected 25% measurements of BR(K_L → $π^{0}$ ν ν̄), BR(K_L → $π^{0}$ e^+ e^-), and BR(K_L → $π^{0}$ μ^+ μ^-) separates the allowed regions beyond 2σ, and combining the two programmes further shrinks the allowed areas while the discrimination remains driven by the neutral-kaon measurements.","pith_inferences":["If the sign ambiguity in K_L → μ^+ μ^- is resolved experimentally and the opposite sign is realized, the constraint band from that mode moves and the predicted separation of the two benchmarks could change or disappear.","Relaxing the assumption δC_L^μ = δC_L^τ would introduce a third coefficient, and the same KOTO-II projections could be used to constrain it, giving an indirect handle on tau flavour in kaon decays.","The mechanism at work here—a neutrino-inclusive measurement leaving a lepton-flavour degeneracy that a neutral mode can break—may transfer to other rare decay programmes where similar inclusive neutrino final states appear."],"forward_implications":["With KOTO-II's projected 25% precisions on BR(K_L → π^0 ν ν̄), BR(K_L → π^0 e^+ e^-), and BR(K_L → π^0 μ^+ μ^-), the two viable regions separate beyond 2σ.","The full NA62 dataset alone, even with improved lepton-flavour-universality observables, leaves the two regions overlapping at 95% CL.","Combining NA62 and KOTO-II projections shrinks the allowed regions further, but the power to discriminate between the two scenarios comes mainly from the neutral-kaon modes.","If a deviation from the Standard Model appears, the combination of charged- and neutral-kaon observables can indicate whether it is lepton-flavour universal or lepton-flavour dependent."],"supporting_citations":[{"why":"Supplies the updated K^+ → π^+ ν ν̄ branching ratio that anchors the fit and pulls the global minimum toward the Standard Model.","marker":"[2]"},{"why":"Provides the KOTO-II proposal whose projected 25% precisions on the three K_L modes carry the discrimination claim.","marker":"[4]"},{"why":"Supply the Standard Model prediction and the NA62 measurement of the lepton-flavour-universality observable in K^+ → π^+ ℓ^+ ℓ^-.","marker":"[6,7]"},{"why":"Establishes the effective-operator framework and the previous global fit that this analysis updates.","marker":"[8]"},{"why":"Supplies the updated CKM parameters and quark masses used in the Standard Model predictions.","marker":"[11]"},{"why":"Supplies the calculation tool used to compute the Standard Model predictions in Table 1.","marker":"[13-16]"},{"why":"Discuss the sign ambiguity in K_L → μ^+ μ^-; the paper adopts the positive solution.","marker":"[17-22]"},{"why":"Justify the constructive-interference choice for the CP-violating amplitudes in K_L → π^0 ℓ^+ ℓ^-.","marker":"[23,24]"}],"fun_headline_variants":["KOTO-II alone resolves the new-physics ambiguity","Neutral kaon decays break the fit degeneracy","KOTO-II's K_L data beyond 2σ separates scenarios","K_L decays outdo NA62 for new-physics discrimination"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the chosen signs of long-distance interference are the real ones: the positive solution for K_L → μ^+ μ^- and constructive interference in K_L → $π^{0}$ ℓ^+ ℓ^-; if either sign is wrong, the constraint bands shift and the second minimum may move or disappear.","fun_headline_variants_meta":{"raw":{"variants":["KOTO-II alone resolves the new-physics ambiguity","Neutral kaon decays break the fit degeneracy","KOTO-II's K_L data beyond 2σ separates scenarios","K_L decays outdo NA62 for new-physics discrimination"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000171,"raw_usage":{"total_tokens":1288,"prompt_tokens":976,"completion_tokens":312,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":592,"completion_tokens_details":{"reasoning_tokens":244}},"tokens_in":592,"tokens_out":312,"duration_ms":4336,"temperature":1.0,"reasoning_tokens":244,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-27T21:10:23.473710+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the sign of the K_L → γγ amplitude or otherwise fix the interference sign in K_L → μ^+ μ^-; if the negative sign is realized, the constraint band from that mode moves and the benchmark separation predicted here would need to be recalculated. Alternatively, an early KOTO-II measurement of BR(K_L → $π^{0}$ μ^+ μ^-) whose central value falls outside both benchmark predictions would falsify the two-region picture.","supporting_citations":[],"review_version":1}