REVIEW 4 minor 38 references
The first search for B0→K0S τ+τ− finds no signal and bounds the branching fraction below 8.3 × 10⁻⁴ at 90% confidence.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 01:57 UTC pith:NLCU47KU
load-bearing objection First search for B0→KS0τ+τ−, a clean null result that adds the neutral pseudoscalar-kaon mode to the b→sττ program; deserves refereeing.
Search for the boldsymbol{B⁰ to K⁰_(rm S) τ^+ τ^-} decay
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper reports the first search for the decay B0 → K0S τ+τ−, where K0S is the short-lived neutral kaon and τ± are tau leptons. Using 1.16 billion Υ(4S) events from two e+e− collider experiments, with one B meson fully reconstructed in a hadronic channel and the τ leptons reconstructed from single-charged-particle decays, the analysis finds no significant signal. It sets a 90% confidence upper limit of 8.3 × 10⁻⁴ on the branching fraction, far above the Standard Model expectation of about 1.6 × 10⁻⁷. Combining with the isospin partner B+ → K+ τ+τ− gives a combined limit of 5.4 × 10⁻⁴ for B→K τ+τ−, the most stringent constraint on b→s τ+τ− transitions with a pseudoscalar kaon.
What carries the argument
The analysis combines a hadronic tag of the non-signal B meson (the Full Event Interpretation) with a boosted decision tree (BDT) trained separately for five τ+τ− final-state categories (ℓℓ, ℓ±h∓, ρℓ, no-ℓ). The BDT output is transformed via the probability integral transform to a signal-uniform observable O′, which is fitted with a binned maximum-likelihood model that includes signal, BBbar, and qqbar templates. The q² reconstruction from missing-energy constraints provides additional discrimination. The fit is performed simultaneously across the five categories and the two data sets.
Load-bearing premise
The load-bearing premise is that the simulated background—chiefly B→D(∗)ℓνℓ and B→D(∗)τντ decays—reproduces the shape and normalization of the fit observable O′ in the high-O′ signal region after calibration; if this tail is mis-modeled in a way sideband checks miss, the fitted signal and the limit shift.
What would settle it
A dedicated measurement of the B→D(∗)ℓνℓ background shape using a high-O′ control sample with the K0S mass sideband would directly probe this assumption; any significant data–simulation discrepancy there would invalidate the limit. Equivalently, a future dataset with several times the luminosity would either reveal a signal above 8.3 × 10⁻⁴ or tighten the limit, settling whether the decay is truly absent at that rate.
If this is right
- If the central claim is correct, B0→K0S τ+τ− has not been observed, and its true branching fraction lies below 8.3 × 10⁻⁴ with 90% confidence.
- The combined limit B(B→K τ+τ−) < 5.4 × 10⁻⁴ improves on the B+→K+ result alone by about 5%, making it the most stringent constraint on this transition.
- The upper limit rules out the largest beyond-Standard-Model enhancements of b→s τ+τ− with a pseudoscalar kaon, such as those predicted for leptoquark or Z′ mediators.
- The measurement establishes a hadronic-tagging and five-category analysis strategy that can be applied to other rare B decays with τ pairs in the final state.
- The observed central value, consistent with zero, provides a reference point for future searches with larger data sets to push toward the Standard Model rate.
Where Pith is reading between the lines
- Beyond the paper: with the full dataset of the newer collider experiment, the same analysis could push the limit well below 10⁻⁴, potentially approaching within two orders of magnitude of the Standard Model prediction of ~1.6 × 10⁻⁷.
- Beyond the paper: the five-category decomposition and the signal-uniform O′ transform could be adapted to vector-meson final states (e.g., B0→K∗0 τ+τ−) and to other missing-energy decays, where category-specific BDTs may improve sensitivity.
- Beyond the paper: the 5% gain from isospin combination suggests that including all B→K ττ channels, including those with K0L, could tighten the constraint further; a dedicated measurement of the background shape using a high-O′ control sample would test the key modelling assumption directly.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper reports the first search for B0→K0S τ+τ− using Belle (711 fb−1) and Belle II (365 fb−1) Υ(4S) data. One B meson is hadronically tagged with the FEI; the signal side is reconstructed as K0S→π+π− plus two τ decays with a single charged particle, divided into five exclusive categories. A per-category BDT is trained; the output is transformed to O′ uniform for signal, and a binned maximum-likelihood fit in O′>0.3 extracts the branching fraction with nuisance parameters for all systematics. Backgrounds are calibrated with off-resonance qq data, K0S and Mbc sidebands, the M(K0S t−)-vetoed control sample, and the 0.15≤O′≤0.30 depleted band. The fit gives B(B0→K0S τ+τ−)=(1.2±3.3±2.9)×10−4 and an observed (expected) 90% CL limit of 8.3 (7.4)×10−4. Under isospin, combination with B+→K+τ+τ− yields B(B→Kτ+τ−)<5.4×10−4.
Significance. If the results hold, the B0→K0S ττ limit is the first for this mode and the isospin-combined limit is the most stringent constraint on b→sττ with a pseudoscalar kaon. The analysis is careful: selections were optimised on simulation and fixed before the signal region was examined; qq rates are anchored to off-resonance data; the BB model is validated in several disjoint sidebands/control regions; the dominant systematic (leading B-decay BFs, 2.0×10−4) is propagated via 140 correlated shape nuisance parameters, and MC-sample-size effects are included per bin. The expected and observed limits are close (7.4 vs 8.3×10−4), giving confidence in the background model. The potential high-O′ tail modelling concern is mitigated by these cross-checks and by the explicit per-bin shape systematics; I do not find it load-bearing.
minor comments (4)
- [§7, Ref. [10]] The phrase 'recent measurement of B+→K+τ+τ−' is imprecise; the cited work is a search that reports an upper limit. Suggest rewording to 'recent search' or 'recent upper limit'.
- [§6.3] The sentence 'The normalisation factors ... agree within statistical uncertainties with those measured in the K0S sideband, except for the no-ℓ (ℓ−h+) categories in Belle (Belle II), thereby validating the procedure' is slightly contradictory. Please quantify the disagreement for the two exceptions and state explicitly why the 50% uncertainty remains adequate.
- [§3, Eq. (3.3)] The explicit powers of c in Eq. (3.3) are correct but may confuse; consider stating that natural units are used elsewhere or simplifying the notation.
- [Figures 1–2] The red filled histogram is described as 'not visible'; this is expected at the measured branching fraction, but please confirm that the figure files are included in the final submission and that the overlays are legible when reproduced.
Circularity Check
No substantive circularity: the branching fraction is the fit's free parameter, backgrounds are anchored to external averages and control samples, and the only self-referential element is a standard combination with an independently-measured charged channel.
full rationale
The paper's central claim — the null observation and 90% CL upper limit B(B0→K0S τ+τ−) < 8.3×10−4 — is derived without circular reduction. In Eq. 5.2 the branching fraction is the free parameter of a binned maximum-likelihood fit to the transformed BDT observable O′; no input is defined in terms of the output. Signal shapes come from the external EvtGen model [33] and the flavio alternative [54]; background templates are scaled to external PDG/HFLAV world averages [4,39] with corrections from off-resonance data and disjoint control regions (K0S sideband, Mbc sideband, M(K0S t−)-vetoed sample, and the 0.15≤O′≤0.30 band, §6.3), yielding D(∗) yield ratios 1.09±0.11 and 1.04±0.14 consistent with unity. The fit-region selection O′>0.3 was fixed on simulation before examining the signal region, and the observed limit (8.3×10−4) is close to the expected (7.4×10−4), with no excess. The largest systematic (2.0×10−4, leading B branching fractions) is explicitly propagated as shape nuisance parameters. The only self-referential element is the §7 combination with the same collaborations' B+→K+τ+τ− measurement [10]; that is a separate, independently-fitted result in a different decay channel, and the combination is a stated isospin assumption with systematic correlations propagated, not a reduction of this fit's inputs. The 40% D→K0L uncertainty taken from Ref. [2] is a minor conservative systematic (0.5×10−4 of 2.9×10−4) and is not load-bearing. No fitted parameter is renamed as a prediction, and no ansatz or uniqueness theorem is imported via self-citation. Residual risk of high-O′ background tail mismodeling is a modelling concern, not circularity, and is covered by the quoted sideband validations and systematics.
Axiom & Free-Parameter Ledger
free parameters (6)
- B(B0→K0Sτ+τ−) — parameter of interest =
(1.2 ± 3.3 ± 2.9) × 10^-4
- q̄q background normalisation corrections =
0.67±0.03, 0.57±0.12 (Belle); 0.71±0.05, 1.02±0.16 (Belle II)
- B̄0_tag efficiency correction factors =
≈0.753–0.767 (average), uncertainties 5.2–5.7%
- Fit-region threshold on transformed BDT output O′ =
0.3
- q²_rec lower requirement =
12 GeV²/c⁴
- Combinatorial B̄0_tag normalisation uncertainty =
50% assigned
axioms (5)
- standard math Υ(4S)→B0B̄0 is a two-body decay, so the signal B four-momentum is fixed by the tag momentum and beam energy
- domain assumption External world-average inputs: f00 = 0.4861±0.0080, τB+/τB0 = 1.076±0.004, PDG/HFLAV branching fractions
- domain assumption Simulation (KKMC, EvtGen, PYTHIA, PHOTOS, Geant4) models background and signal kinematics and detector response
- domain assumption Isospin symmetry: B(B0→K0τ+τ−) = 2 B(B0→K0Sτ+τ−), and B+→K+ vs B0→K0 rates equal modulo the lifetime ratio
- standard math CLs asymptotic approximation is valid for the limit extraction
read the original abstract
We present the first search for $B^0 \to K^0_{\rm S} \tau^+\tau^-$ decays. We look for signal decays in $B^0\bar B^0$ events produced in asymmetric-energy electron-positron collisions. This work uses samples from the Belle and Belle~II detectors, comprising 1.16 billion $\Upsilon(4S)$ events. In $\Upsilon(4S)\to B^0\bar{B}^0$ decays, the non-signal $\bar{B}^0$ meson is fully reconstructed in a hadronic channel. For the signal $B^0$ meson, $\tau$-lepton decays into final states with a single charged particle are selected. A multivariate classifier is used to combine several discriminating inputs into a single fit observable. We observe no evidence for the signal and set an upper limit on the branching fraction $\mathcal{B}(B^0\to K^0_{\rm S} \tau^+\tau^-) < 8.3 \times 10^{-4}$ at the 90\% confidence level. Combining this with the recent measurement of the isospin-partner decay $B^+\to K^+\tau^+\tau^-$, we determine an upper limit $\mathcal{B}(B\to K\tau^+\tau^-) < 5.4\times10^{-4}$ at the 90\% confidence level.
Reference graph
Works this paper leans on
-
[3]
F.-Z. Chen, Q. Wen, and F. Xu,CorrelatingB→K (∗)ν¯νand flavor anomalies in SMEFT, Eur. Phys. J. C84(2024) 1012 [2401.11552]. [4]Heavy Flavor A veraging Group (HFLA V),Averages ofb-hadron,c-hadron, and τ-lepton properties as of 2023,Phys. Rev. D113(2026) 012008 [2411.18639]
Pith/arXiv arXiv 2024
-
[5]
S. Iguro, T. Kitahara, and R. Watanabe,Global fit tob→cτ νanomalies as of Spring 2024, Phys. Rev. D110(2024) 075005 [2405.06062]
Pith/arXiv arXiv 2024
-
[6]
P. Athron, R. Martinez, and C. Sierra,Bmeson anomalies and largeB + →K +ν¯νin non-universalU(1) ′ models,JHEP02(2024) 121 [2308.13426]
Pith/arXiv arXiv 2024
-
[7]
B. Capdevila, A. Crivellin, S. Descotes-Genon, L. Hofer, and J. Matias,Searching for New Physics withb→sτ +τ − Processes,Phys. Rev. Lett.120(2018) 181802 [1712.01919]
Pith/arXiv arXiv 2018
-
[8]
L. Allwicher, D. Beˇ cirevi´ c, G. Piazza, S. Rosauro-Alcaraz, and O. Sumensari,Understanding the first measurement ofB(B→Kν¯ν),Phys. Lett. B848(2024) 138411 [2309.02246]
Pith/arXiv arXiv 2024
-
[9]
R. Bause, H. Gisbert, and G. Hiller,Implications of an enhanced B→Kν¯νbranching ratio, Phys. Rev. D109(2024) 015006 [2309.00075]. [10]Belle II, Bellecollaborations,Search for the decayB + →K +τ +τ − using data from the Belle and Belle II Experiments,arXiv:2603.24437. [11]LHCb collaboration,Searches forB 0 →K +π−τ +τ − andB 0 s →K +K −τ +τ − decays,Phys. R...
Pith/arXiv arXiv 2024
-
[16]
K. Akai, K. Furukawa, and H. Koiso,SuperKEKB collider,Nucl. Instrum. Meth. A907 (2018) 188 [1809.01958]
Pith/arXiv arXiv 2018
-
[17]
Ohnishi et al.,Accelerator design at SuperKEKB,PTEP2013(2013) 03A011
Y. Ohnishi et al.,Accelerator design at SuperKEKB,PTEP2013(2013) 03A011. [18]Belle IIcollaboration,Belle II technical design report,arXiv:1011.0352. [19]Belle II SVDcollaboration,The design, construction, operation and performance of the Belle II silicon vertex detector,JINST17(2022) P11042 [2201.09824]
Pith/arXiv arXiv 2013
-
[20]
Atmacan et al.,The imaging Time-of-Propagation detector at Belle II,Nucl
H. Atmacan et al.,The imaging Time-of-Propagation detector at Belle II,Nucl. Instrum. Meth. A1080(2025) 170627 [2504.19090]
arXiv 2025
-
[21]
Abashian et al.,The Belle Detector,Nucl
A. Abashian et al.,The Belle Detector,Nucl. Instrum. Meth. A479(2002) 117. [22]Bellecollaboration,Physics achievements from the Belle Experiment,PTEP2012(2012) 04D001 [1212.5342]. – 20 –
Pith/arXiv arXiv 2002
-
[23]
Kurokawa and E
S. Kurokawa and E. Kikutani,Overview of the KEKB accelerators,Nucl. Instrum. Meth. A 499(2003) 1
2003
-
[24]
Abe et al.,Achievements of KEKB,PTEP2013(2013) 03A001
T. Abe et al.,Achievements of KEKB,PTEP2013(2013) 03A001
2013
-
[25]
S. Jadach, B.F.L. Ward, and Z. W¸ as,The precision Monte Carlo event generator KK for two-fermion final states ine +e− collisions,Comput. Phys. Commun.130(2000) 260 [hep-ph/9912214]
Pith/arXiv arXiv 2000
-
[26]
Lange,The EvtGen particle decay simulation package,Nucl
D.J. Lange,The EvtGen particle decay simulation package,Nucl. Instrum. Meth. A462 (2001) 152
2001
-
[27]
Sj¨ ostrand, S
T. Sj¨ ostrand, S. Mrenna, and P. Skands,PYTHIA 6.4 physics and manual,JHEP05(2006) 026
2006
-
[28]
T. Sj¨ ostrand, S. Ask, J.R. Christiansen, R. Corke, N. Desai, P. Ilten, et al.,An Introduction to PYTHIA 8.2,Comput. Phys. Commun.191(2015) 159 [1410.3012]
Pith/arXiv arXiv 2015
-
[29]
Barberio and Z
E. Barberio and Z. W¸ as,PHOTOS: A Universal Monte Carlo for QED radiative corrections. Version 2.0,Comput. Phys. Commun.79(1994) 291
1994
-
[30]
Liptak, A
Z. Liptak, A. Paladino, L. Santelj, J. Schueler, S. Stefkova, H. Tanigawa, et al.,Measurements of beam backgrounds in SuperKEKB Phase 2,Nucl. Instrum. Meth. A1040(2022) 167168
2022
-
[31]
R. Brun, F. Bruyant, F. Carminati, S. Giani, M. Maire, A. McPherson, et al.,GEANT Detector Description and Simulation Tool,CERN-W5013(1994). [32]GEANT4collaboration,GEANT4: A simulation toolkit,Nucl. Instrum. Meth. A506 (2003) 250
1994
-
[33]
A. Ali, P. Ball, L.T. Handoko, and G. Hiller,Comparative study of the decays B→(K, K ∗)ℓ+ℓ− in the Standard Model and Supersymmetric theories,Phys. Rev. D61 (2000) 074024 [hep-ph/9910221]. [34]Belle II Framework Software Group,The Belle II Core Software,Comput. Softw. Big Sci.3(2019) 1 [1809.04299]
Pith/arXiv arXiv 2000
-
[35]
Katayama, R
N. Katayama, R. Itoh, A. Manabe, and T. Sasaki,Belle computing model,Comput. Phys. Commun.110(1998) 22
1998
-
[36]
Gelb et al.,B2BII: Data Conversion from Belle to Belle II,Comput
M. Gelb et al.,B2BII: Data Conversion from Belle to Belle II,Comput. Softw. Big Sci.2 (2018) 9 [1810.00019]
Pith/arXiv arXiv 2018
-
[37]
Keck et al.,The Full Event Interpretation,Comput
T. Keck et al.,The Full Event Interpretation,Comput. Softw. Big Sci.3(2019) 6 [1807.08680]. [38]Bellecollaboration,Measurement ofD + →K 0 SK + andD + s →K 0 Sπ+ branching ratios, Phys. Rev. D80(2009) 111101 [0910.3052]. [39]Particle Data Group,Review of particle physics,Phys. Rev. D110(2024) 030001
Pith/arXiv arXiv 2019
-
[40]
Hanagaki, H
K. Hanagaki, H. Kakuno, H. Ikeda, T. Iijima, and T. Tsukamoto,Electron identification in Belle,Nucl. Instrum. Meth. A485(2002) 490
2002
-
[41]
Abashian, K
A. Abashian, K. Abe, K. Abe, P. Behera, F. Handa, T. Iijima, et al.,Muon identification in the Belle experiment at KEKB,Nucl. Instrum. Meth. A491(2002) 69
2002
-
[42]
Milesi, J
M. Milesi, J. Tan, and P. Urquijo,Lepton identification in Belle II using observables from the electromagnetic calorimeter and precision trackers,EPJ Web Conf.245(2020) 06023. – 21 –
2020
-
[43]
T. Keck,FastBDT: A Speed-Optimized Multivariate Classification Algorithm for the Belle II Experiment,Comput. Softw. Big Sci.1(2017) 2. [44]Bellecollaboration,Measurement of Branching Fraction and First Evidence of CP Violation inB 0 →a ± 1 (1260)π∓ Decays,Phys. Rev. D86(2012) 092012 [1205.5957]
Pith/arXiv arXiv 2017
-
[45]
Angus,The Probability Integral Transform and Related Results,SIAM Review36(1994) 652
J.E. Angus,The Probability Integral Transform and Related Results,SIAM Review36(1994) 652
1994
-
[46]
Cranmer and A
K. Cranmer and A. Held,Building and steering binned template fits with cabinetry,EPJ Web Conf.251(2021) 03067
2021
-
[47]
Heinrich, M
L. Heinrich, M. Feickert, G. Stark, and K. Cranmer,pyhf: pure-Python implementation of HistFactory statistical models,JOSS6(2021) 2823
2021
-
[48]
Read,Presentation of search results: the CLs technique,J
A.L. Read,Presentation of search results: the CLs technique,J. Phys. G28(2002) 2693
2002
-
[49]
Cowan, K
G. Cowan, K. Cranmer, E. Gross, and O. Vitells,Asymptotic formulae for likelihood-based tests of new physics,Eur. Phys. J. C71(2011) 1554
2011
-
[50]
Junk,Confidence level computation for combining searches with small statistics,Nucl
T. Junk,Confidence level computation for combining searches with small statistics,Nucl. Instrum. Meth. A434(1999) 435. [51]ROOTcollaboration,HistFactory: A tool for creating statistical models for use with RooFit and RooStats,10.17181/CERN-OPEN-2012-016(2012)
-
[52]
A. Pinto, Z. Wu, F. Balli, N. Berger, M. Boonekamp, E. Chapon, et al.,Uncertainty components in profile likelihood fits,Eur. Phys. J. C84(2024) 593 [2307.04007]. [53]Belle IIcollaboration,Measurement of the integrated luminosity of data samples collected during 2019-2022 by the Belle II Experiment,Chin. Phys. C49(2025) 013001 [2407.00965]
Pith/arXiv arXiv 2024
-
[54]
D.M. Straub,flavio: a Python package for flavour and precision phenomenology in the Standard Model and beyond,arXiv:1810.08132
-
[55]
N. Gubernari, M. Reboud, D. van Dyk, and J. Virto,Dispersive analysis ofB→K (∗) and Bs →ϕform factors,JHEP12(2023) 153 [2305.06301]. [Erratum:JHEP01(2025) 125]
Pith/arXiv arXiv 2023
-
[56]
J. Aebischer, J. Kumar, P. Stangl, and D.M. Straub,A Global Likelihood for Precision Constraints and Flavour Anomalies,Eur. Phys. J. C79(2019) 509 [1810.07698]
Pith/arXiv arXiv 2019
-
[57]
Ed. A. J. Bevan, B. Golob, Th. Mannel, S. Prell, and B. D. Yabsley,The Physics of theB Factories,Eur. Phys. J. C74(2014) 3026 [1406.6311]. [58]Belle II, Bellecollaborations,Search forB 0 →K 0 Sτ +τ − decays at Belle and Belle II, HEPData (collection). Link to follow after journal publication. – 22 –
Pith/arXiv arXiv 2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.