{"id":"cd9e8503-0f9d-47b1-8518-7eab7a532e43","arxiv_id":"2504.12386","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The natural complex plane for kaon CKM constraints is spanned by A^2(1-ρ̂) and A^2η̂; current data allow four islands, and future measurements will reduce them to one or expose new physics.","lead":"This paper shows that kaon decay measurements can be presented in a tailored coordinate plane that does not require any B meson input, giving a cleaner picture of the Cabibbo-Kobayashi-Maskawa matrix. The plane currently allows four possible 'islands' of values, and upcoming kaon experiments should eliminate all but one, either confirming the Standard Model or revealing new physics.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Kaon data determine two combinations, not three CKM parameters: the A–ρ–η degeneracy undermines the central claim.","rationale":"The reader's weakest assumption concerned whether all kaon CKM information is captured by the two selected combinations; the present concern is stronger and more specific. Even granting that assumption, the paper's own formulas show that the two combinations are functions of three Wolfenstein parameters (A, ρ̂, η̂) with a one-parameter degeneracy. The claim that kaon physics determines three of the four CKM parameters, excluding |Vcb|, is therefore mathematically unsupported. The technical construction of the plane, the island structure, and the future projections remain valuable, and the issue is readily fixable by rephrasing the central claim as 'kaon physics determines λ and two combinations A^2λ^4(1−ρ̂) and A^2λ^4η̂, leaving a one-parameter degeneracy unless |Vcb| (A) is supplied externally.' However, because the abstract, introduction, and discussion repeatedly assert the stronger three-parameter claim, the verdict should be conditional on correcting this overstatement. The proposed concrete test is deliberately simple: it uses the paper's own equations to exhibit the degeneracy and would immediately settle whether the claim has any hidden support beyond the quoted expressions.","tokens_in":7738,"tokens_out":8140,"duration_ms":88399,"concrete_test":"Take a point (X, Y) inside the SM island of Fig. 1, e.g. from the PDG central values of A, ρ̂, η̂. Hold X and Y fixed and vary A by ±10%, computing ρ̂ = 1 − X/(A^2λ^4) and η̂ = Y/(A^2λ^4). Re-evaluate the four Appendix formulas, Eqs. (11), (13), (16), and (19); all outputs are unchanged exactly because they depend only on X and Y. Then observe that the implied (ρ̂, η̂) values shift by roughly 20%, so the kaon constraints do not pin down these parameters individually. Equivalently, compute the 2×3 Jacobian ∂(X, Y)/∂(A, ρ̂, η̂) and exhibit its one-dimensional kernel; if no independent kaon observable breaks that kernel, the 'three of four' claim fails.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim that kaon physics can determine three of the four CKM parameters, excluding |Vcb|, is not supported by the paper's own equations. With λ treated as known, every observable quoted in the Appendix depends only on X = A^2λ^4(1−ρ̂) and Y = A^2λ^4η̂. The map (A, ρ̂, η̂) → (X, Y) has rank 2: for any fixed (X, Y), the one-parameter family ρ̂ = 1 − X/(A^2λ^4), η̂ = Y/(A^2λ^4), with A arbitrary, leaves all kaon constraints invariant. Thus the kaon observables determine two combinations of three unknowns, not three independent CKM parameters. In particular, ρ̂ and η̂ cannot be separately extracted without external knowledge of A = |Vcb|/λ^2, contradicting the abstract's promise of an independent kaon determination of three CKM parameters. This is not a completeness-of-observables concern but a degeneracy intrinsic to the proposed plane. The paper's own caveat about a possible future |Vts| determination concedes the point: absent such input, A is undetermined by kaon physics.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes that the natural complex plane for presenting CKM information from kaon physics is spanned by the combinations (A^2(1−ρ̂), A^2η̂), equivalently the combination −R_ct e^{−iθ_ct} of the (ds) unitarity triangle. Using published inputs for B(K+→π+νν̄) and |εK|, the paper shows that the 95% confidence-level allowed regions form four nearly disconnected islands (the “left”, “top”, “bottom”, and “SM” islands). Adding B(KL→μ+μ−) is shown to disfavor the left island under one sign choice of Re A_LD. The paper argues that future measurements of B(KL→π0νν̄) or A_CP(K→μ+μ−) will narrow the allowed regions and provide a cross-sector test of the CKM paradigm. The abstract and the Discussion claim that kaon physics can determine three of the four CKM parameters independently of B physics.","tokens_in":7899,"tokens_out":10176,"duration_ms":97479,"significance":"The proposed plane is a genuinely useful way to display kaon constraints without the parametric error inflation induced by |Vcb|, and the appendix provides explicit expressions showing that the observables considered depend only on the two coordinates of this plane. The four-island structure and the discussion of which future measurements will discriminate among the islands are valuable and follow from published inputs. The paper is also clear about the sign ambiguities in the KL→μ+μ− interpretation. However, the central counting claim is not supported by the paper's own equations: the kaon observables depend only on two independent combinations of the Wolfenstein parameters, so the statement that kaon physics determines three of the four CKM parameters is an overclaim. The framework itself remains sound once the parameter counting is stated correctly, for example by saying that kaon physics determines two independent combinations (or, if λ is fitted, three constraints including |Vus|).","major_comments":[{"comment":"The statement that kaon physics “can be used to independently determine three out of the four parameters of the CKM matrix” is not supported by the equations in the Appendix. Treating λ as known (as the paper does), every observable in Eqs. (11)–(19) depends only on X = A^2λ^4(1−ρ̂) and Y = A^2λ^4η̂. The map (A, ρ̂, η̂) → (X, Y) has rank 2: for any fixed (X, Y), the one-parameter family ρ̂ = 1 − X/(A^2λ^4), η̂ = Y/(A^2λ^4) with arbitrary A leaves all kaon constraints invariant. Thus kaon observables fix two independent combinations, not three Wolfenstein parameters. The paper’s own Introduction states that “the parameter A ... cannot be determined by kaon physics,” which concedes this degeneracy. Please revise the abstract and the Discussion paragraph beginning “Of the four parameters of the CKM matrix...” to state that kaon physics determines two independent CKM combinations (or, if λ is fitted, three constraints including |Vus|), and that extracting ρ̂ and η̂ separately requires external knowledge of A (e.g., from |Vcb| or a future |Vts| determination).","section":"Abstract and Discussion"},{"comment":"The definition of the plane in Eq. (5) reinforces the same point: the coordinates are A^2λ^4(1−ρ̂) and A^2λ^4η̂, so a measurement of the complex quantity −R_ct e^{−iθ_ct} yields the magnitude and phase of this combination. These are two real numbers. The phase θ_ct is independent of A, but the magnitude R_ct carries an overall A^2 factor, so A cannot be separated from ρ̂ and η̂ without additional input. The text should state explicitly that the plane parameterizes the (ds) unitarity triangle, which fixes two real degrees of freedom, and that this is the maximal information obtainable from the considered kaon observables alone.","section":"Introduction, Eq. (5)"}],"minor_comments":[{"comment":"The text says the left and right panels correspond to Re A_LD > 0 and Re A_LD < 0, respectively, but the labels in the figure appear to be reversed; please check that the labels and the text are consistent.","section":"Fig. 2"},{"comment":"The term “ImA2_LD” in Eq. (16) is ambiguous; it should be written as (Im A_LD)^2 or defined explicitly.","section":"Eq. (16)"},{"comment":"Reference [8] is listed as “To appear” without a preprint number; please update it if a preprint is available.","section":"References"},{"comment":"The four islands are named in the caption but not labeled directly in the figure; adding labels would improve readability.","section":"Fig. 1"},{"comment":"The sentence “We demonstrate, that a different set of three parameters can in principle be determined by kaon physics (excluding |Vcb|)” repeats the counting issue of Major Comment 1 and should be reworded to reflect the two-combination nature of the kaon constraints.","section":"Discussion"}],"recommendation":"major_revision","confidential_remarks":"The overclaim in the abstract and Discussion is significant because it concerns the central scientific claim of the paper. However, the underlying framework—the choice of plane and the analysis of the islands—is sound and the fix is largely a matter of rewording and clarifying the parameter counting. I therefore recommend major revision rather than rejection. The referee should ask the author to revise the abstract and the relevant discussion passages to state accurately how many independent CKM combinations kaon physics determines."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper proposes the (ds) unitarity triangle plane—coordinates A^2(1−ρ̂) and A^2η̂—as the natural place to plot kaon CKM constraints, and makes a good case that this beats the usual (ρ̄, η̄) plane for that purpose. I think the main point is correct: presenting kaon constraints in the B-physics plane forces in |Vcb| (or A) as input, which inflates errors and breaks the independence of the kaon program. The plane is a real improvement. The four-island picture from B(K+→π+νν) and |εK| is correctly derived, the KL→μ+μ− disfavoring of the left island is properly hedged with the sign ambiguity, and the appendix algebra is clear and traceable to published inputs. The future projections are sensible: a measurement of A^2η̂ from K_L→π^0νν̄ or A_CP(K^0→μ+μ−) will kill the top and bottom islands.\n\nWhere I part ways with the paper is the abstract’s claim that kaon physics 'independently determines three out of the four CKM parameters.' The equations do not support that. With λ as input, every observable in the appendix depends only on X = A^2λ^4(1−ρ̂) and Y = A^2λ^4η̂. The map (A, ρ̂, η̂) → (X, Y) has rank two, so A is unconstrained: for any fixed (X, Y), you can rescale A and shift ρ̂ and η̂ accordingly and leave all predictions unchanged. The paper’s own caveat that only a future |Vts| determination could pin down A concedes the point. So the kaon sector is currently sensitive to two combinations of A, ρ, η, not three individual Wolfenstein parameters. The 'three of four' slogan should be rewritten. Saying 'three independent real quantities, including λ' would be accurate; saying 'two parameters of the (ds) triangle beyond λ' would be more precise. This is a wording fix rather than a fatal flaw, but the abstract as written overclaims.\n\nOn novelty: the (ds) triangle was already known, and the observables’ dependence on these combinations is implicit in earlier formulas. The contribution here is the systematic promotion of this plane and the clarity it brings to the current and future kaon program. That is useful, even if not revolutionary.\n\nMy bottom line: the plane is a good contribution and deserves a serious referee. I would send it to review, with the understanding that the referee should insist on accurate parameter-count language.","headline":"Useful kaon CKM plane, but the 'three of four parameters' claim overstates what the observables actually determine.","tokens_in":8523,"tokens_out":7302,"would_cite":true,"duration_ms":67457,"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":"The paper claims that kaon data alone can fix three of the four CKM parameters in the natural (ds) unitarity-triangle plane, where current measurements leave four islands and upcoming rare-decay data will either single out the…","keywords":["kaon physics","CKM matrix","unitarity triangle","ds unitarity triangle","rare kaon decays","CP violation","K+ to pi+ nu nubar","epsilon_K"],"falsifier":"A hadronic calculation showing that any kaon observable has a leading CKM dependence that is not proportional to $A^2\\lambda^4(1-\\hat\\rho)$ and $A^2\\lambda^4\\hat\\eta$, for instance a separate dependence on $|V_{ts}|$ or $|V_{cb}|$, would refute the claim that the $(ds)$-triangle plane exhausts the kaon CKM information; likewise, a high-precision $B(K_L\\to\\pi^0\\nu\\bar\\nu)$ measurement that, combined with the other kaon constraints, excludes all four islands at more than 95% C.L. would show the single-point-in-the-plane picture either fails or requires new physics beyond the Standard Model.","tokens_in":7467,"feed_emoji":"🔺","tokens_out":20846,"duration_ms":174839,"temperature":0.7,"pith_summary":"The paper argues that kaon-physics constraints on the CKM matrix should be plotted in a plane spanned by $A^2\\lambda^4(1-\\hat\\rho)$ and $A^2\\lambda^4\\hat\\eta$, the real and imaginary parts of the $(ds)$ unitarity-triangle combination $-R_{ct}e^{-i\\theta_{ct}}$. In this plane, every kaon observable considered depends only on these two combinations plus known constants, so results are independent of B-physics inputs and of the poorly known $|V_{cb}|$. Combining the current $B(K^+\\to\\pi^+\\nu\\bar\\nu)$ and $|\\varepsilon_K|$ measurements yields four disjoint allowed regions; adding $B(K_L\\to\\mu^+\\mu^-)$ already disfavors one. If upcoming measurements of the imaginary-part combination agree with the Standard Model, all but the 'SM island' would be excluded, giving a clean cross-sector test of the CKM paradigm; if not, the kaon sector would show new physics.","feed_headline":"Kaon physics alone can fix three CKM parameters","feed_subtitle":"A new unitarity-triangle plane avoids B-physics input; upcoming rare-decay results will keep only the SM island or reveal new physics.","key_machinery":"The load-bearing object is the normalized $(ds)$ unitarity triangle, characterized by $-R_{ct}e^{-i\\theta_{ct}}=A^2\\lambda^4[(1-\\hat\\rho)+i\\hat\\eta]$. The machinery is the explicit mapping of each kaon observable onto this complex number: $B(K^+\\to\\pi^+\\nu\\bar\\nu)$ becomes a circle in the plane, $|\\varepsilon_K|$ becomes hyperbolic bands, $B(K_L\\to\\mu^+\\mu^-)$ constrains mainly the real part $A^2\\lambda^4(1-\\hat\\rho)$ up to a fourfold discrete ambiguity, and $B(K_S\\to\\mu^+\\mu^-)$ with $A_{CP}(K^0\\to\\mu^+\\mu^-)$ measures the imaginary part $A^2\\lambda^4\\hat\\eta$. Presenting all kaon constraints in this common plane removes the artificial inflation of errors from the parametric uncertainty on $A$ (hence on $|V_{cb}|$) and avoids B-physics input entirely.","core_discovery":"The central discovery is that the natural complex plane for kaon CKM information is not the B-physics $(\\bar\\rho,\\bar\\eta)$ plane but the $(ds)$-triangle plane, with coordinates $x=A^2\\lambda^4(1-\\hat\\rho)$ and $y=A^2\\lambda^4\\hat\\eta$; these are the real and imaginary parts of the combination $-R_{ct}e^{-i\\theta_{ct}}$ defined in Eq. (5). In this plane, $B(K^+\\to\\pi^+\\nu\\bar\\nu)$, $|\\varepsilon_K|$, $B(K_L\\to\\mu^+\\mu^-)$, $B(K_S\\to\\mu^+\\mu^-)$, and the future $B(K_L\\to\\pi^0\\nu\\bar\\nu)$ and $A_{CP}(K^0\\to\\mu^+\\mu^-)$ all depend on the same two parameter combinations, so plotting them together needs no external value of $A$ or $|V_{cb}|$. The current conjunction of $B(K^+\\to\\pi^+\\nu\\bar\\nu)$ and $|\\varepsilon_K|$ shows four almost disconnected allowed islands, approximately symmetric about $\\hat\\eta=0$; adding $B(K_L\\to\\mu^+\\mu^-)$ rules out or disfavors the left island depending on the sign of the long-distance amplitude, and future $y$-axis measurements will discriminate the top and bottom islands. The paper concludes that kaon physics alone can determine three of the four CKM parameters (all but $|V_{cb}|$) and that incoming data will either leave only the SM island or expose tension with the Standard Model.","pith_inferences":["The same reduction to $(A^2\\lambda^4(1-\\hat\\rho), A^2\\lambda^4\\hat\\eta)$ should hold for any future kaon observable whose short-distance amplitude is controlled by $V_{ts}^*V_{td}$; observables with a different CKM weight would fall outside the plane and could be used to test the framework's completeness.","Resolving the sign of the long-distance amplitude in $B(K_L\\to\\mu^+\\mu^-)$, via lattice QCD or dispersion theory, would sharpen the current disfavouring of the left island into a high-confidence exclusion, even before the new y-axis experiments report.","If the SM is correct, the framework implies a concrete pattern: the future $B(K_L\\to\\pi^0\\nu\\bar\\nu)$ and $A_{CP}(K^0\\to\\mu^+\\mu^-)$ measurements must land on the SM island, and their combination with improved $B(K_L\\to\\mu^+\\mu^-)$ theory should shrink the allowed region to one connected domain around the SM point.","The same coordinates provide a natural basis for beyond-Standard-Model fits in the kaon sector: new physics that shifts only the real part is cleanly distinguishable, once the islands are resolved, from new physics that shifts the imaginary part."],"forward_implications":["With $\\lambda$ (i.e. $|V_{us}|$) taken from kaon physics, the pair $(A^2(1-\\hat\\rho), A^2\\hat\\eta)$ can be determined from kaon observables alone, fixing three of the four CKM parameters without any B-physics input.","The current combination of $B(K^+\\to\\pi^+\\nu\\bar\\nu)$ and $|\\varepsilon_K|$ produces four disjoint allowed islands; adding the present $B(K_L\\to\\mu^+\\mu^-)$ constraint already disfavors or excludes the left island at 95% C.L.","A future SM-consistent measurement of $B(K_L\\to\\pi^0\\nu\\bar\\nu)$ or of $A_{CP}(K^0\\to\\mu^+\\mu^-)$ would disfavor the top and bottom islands, leaving only the SM island once theory errors on $B(K_L\\to\\mu^+\\mu^-)$ are reduced.","If the future $y$-axis measurements instead deviate from the SM point, the plane would reveal new physics in the kaon sector that is not visible in B physics.","Because all plotted constraints share the same two parameter combinations, the confidence regions are not inflated by the $|V_{cb}|$ uncertainty, unlike the traditional $(\\bar\\rho,\\bar\\eta)$ presentation."],"supporting_citations":[{"why":"It supplies the measured $B(K^+\\to\\pi^+\\nu\\bar\\nu)$ that defines the circular constraint in the new plane.","marker":"[1]"},{"why":"It provides the updated Standard-Model prediction for $B(K_L\\to\\mu^+\\mu^-)$ that fixes the x-axis constraint through its real part.","marker":"[2]"},{"why":"It supplies the projected sensitivity for $B(K_L\\to\\pi^0\\nu\\bar\\nu)$ used in the future y-axis analysis.","marker":"[7]"},{"why":"It motivates the time-dependent CP asymmetry $A_{CP}(K^0\\to\\mu^+\\mu^-)$ as a complementary y-axis probe.","marker":"[8]"},{"why":"It supplies the world-average value of $\\lambda$ and the B-physics-dominated SM reference point in the plane.","marker":"[18]"},{"why":"It gives the $B(K^+\\to\\pi^+\\nu\\bar\\nu)$ formula in terms of the real and imaginary parts of $V_{ts}^*V_{td}/V_{cs}^*V_{cd}$, the basis of the circular constraint.","marker":"[23]"},{"why":"It provides the $|\\varepsilon_K|$ expression whose hyperbolic bands depend on $A^2\\lambda^4(1-\\hat\\rho)$ and $A^2\\lambda^4\\hat\\eta$.","marker":"[25]"},{"why":"It supplies the $B(K_S\\to\\mu^+\\mu^-)$ expression showing the imaginary-part (y-axis) dependence.","marker":"[27]"}],"fun_headline_variants":[],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that every measured kaon property that depends on the CKM matrix can be written using only the two combinations $A^2\\lambda^4(1-\\hat\\rho)$ and $A^2\\lambda^4\\hat\\eta$, together with known constants and $\\lambda$; the paper checks this for four processes, but does not prove it for all kaon observables or for higher-order corrections.","fun_headline_variants_meta":{"error":"Client error '402 Payment Required' for url 'https://api.deepseek.com/chat/completions'\nFor more information check: https://developer.mozilla.org/en-US/docs/Web/HTTP/Status/402"},"cache_creation_input_tokens":0},"created_at":"2026-08-16T12:33:21.417150+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A hadronic calculation showing that any kaon observable has a leading CKM dependence that is not proportional to $A^2\\lambda^4(1-\\hat\\rho)$ and $A^2\\lambda^4\\hat\\eta$, for instance a separate dependence on $|V_{ts}|$ or $|V_{cb}|$, would refute the claim that the $(ds)$-triangle plane exhausts the kaon CKM information; likewise, a high-precision $B(K_L\\to\\pi^0\\nu\\bar\\nu)$ measurement that, combined with the other kaon constraints, excludes all four islands at more than 95% C.L. would show the single-point-in-the-plane picture either fails or requires new physics beyond the Standard Model.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the measured $B(K^+\\to\\pi^+\\nu\\bar\\nu)$ that defines the circular constraint in the new plane."},{"cited_title":"SM-”, “left-","cited_arxiv_id":null,"evidence_quote":"It provides the updated Standard-Model prediction for $B(K_L\\to\\mu^+\\mu^-)$ that fixes the x-axis constraint through its real part."},{"cited_title":"First thought on a high-intensity $K_S$ experiment","cited_arxiv_id":"2301.06801","evidence_quote":"It gives the $B(K^+\\to\\pi^+\\nu\\bar\\nu)$ formula in terms of the real and imaginary parts of $V_{ts}^*V_{td}/V_{cs}^*V_{cd}$, the basis of the circular constraint."}],"review_version":1}