B009 $\mathcal{B}(B^+\to\tau^+\nu_\tau)$
Leptonic $B+ \to \tau^+ \nu_\tau$ branching fraction Status REVIEWED VERIFIED Medium Code: NO Priority Low
PDG / equivalent values
| Observable | Value | Year | Experiment / source | Provenance |
|---|---|---|---|---|
| HFLAV Rare B decays, End of December 2025 update | 1.12 10^-4 branching fraction | 2025 | HFLAV Rare B decays, End of December 2025 update | source ↑ |
| PDG 2025 REST API, S041.184 | 1.09 10^-4 branching fraction | 2025 | PDG 2025 REST API, S041.184 | source ↑ |
| UTfit Standard Model Fit results: Summer 2024 | 0.865 10^-4 branching fraction | 2024 | UTfit Standard Model Fit results: Summer 2024 | source ↑ |
Why this constrains the RS scan
This channel probes \(b\to u\tau\nu\) charged currents. In the SM it is fixed
by \(f_B |V_{ub}|\), the charged-\(B\) lifetime, and the tau mass; therefore it
is a clean place where a new charged current can interfere with the SM
amplitude. It is directly relevant to charged-Higgs, \(W'\), and leptoquark
benchmarks. For warped or anarchic-flavor extensions, it is not part of the
current quark \(\Delta F=2\) lane, but it would test KK charged-gauge-boson or
non-minimal charged-scalar effects in the \(b\)-to-\(u\) current and in the
tau-neutrino current.
What's changed since the original paper
Relative to the Csaki--Falkowski--Weiler 2008 flavor baseline
(
cfw2008\_arxiv0804\_1954.txt), the measurement landscape changed
substantially. BaBar published semileptonic-tag and hadronic-tag results in
2010 and 2013; Belle followed with hadronic-tag and semileptonic-tag
measurements in 2013 and 2015. Belle II added a hadronic-FEI measurement in
2025, which HFLAV includes in the average while noting that the red Belle II
input is not part of the PDG average. On the theory/global-fit side, the
sidecar records the UTfit Summer 2024 SM prediction, so the comparison is now
driven mainly by \(|V_{ub}|\) and global-fit conventions rather than by an
unavailable leptonic decay constant.Validity and model dependence
The experimental average is straightforward, but the constraint is
model-dependent. It is robust as a charged-current amplitude test; it is not a
generic RS bound unless the model supplies a calculable \(b\to u\tau\nu\)
matching contribution. A charged scalar, \(W'\), or leptoquark can interfere
constructively or destructively with the SM, so a one-number exclusion requires
the operator normalization and neutrino-flavor assumptions. The SM comparison
is global-fit dependent through \(|V_{ub}|\), even though the leptonic decay
constant input itself is now standard.
Code coverage in this repo
NO. I reran the required coverage greps over
quarkConstraints/, qcd/, flavorConstraints/,
neutrinos/, yukawa/, warpConfig/,
solvers/, scanParams/, and tests/. The broad plan
greps find the existing neutral \(\Delta F=2\) and \(\mu\to e\gamma\) surfaces,
but no charged-current leptonic-\(B\) observable. Targeted searches for
$B\string^+ \to \tau$, B+ --> tau, tau.*nu,
b.*->.*u, charged Higgs, leptoquark, and \(W'\)
returned no code hits. Docs-only catalog-planning rows were not counted as
implementation evidence.
Linked evidence (opens GitHub blob at flavor-catalog-website/2026q2):
- Required broad greps found the existing Delta F=2 and mu->e gamma surfaces, but no B+ -> tau+ nu observable implementation.
- Targeted searches over quarkConstraints, qcd, flavorConstraints, neutrinos, yukawa, warpConfig, solvers, scanParams, and tests returned no B+ -> tau+ nu, b->u tau nu, charged-Higgs, Wprime, or leptoquark implementation hits.
- Auxiliary docs searches hit only the flavor-catalog planning rows: docs/phase_logs/flavor_catalog_plan_v1.md:271 and docs/phase_logs/flavor_catalog_plan_v0.md:241; those were not counted as code coverage.
Implementation difficulty
MEDIUM. The catalog-level formula is simple and uses standard
experimental and lattice/CKM inputs, but production use would require a new
charged-current observable and model-specific matching for \(W'\),
charged-scalar, or leptoquark amplitudes. It should not extend the legacy
deltaf2.py path; if promoted, it belongs in the modern constraint
surface.Reason: A live constraint would need a new charged-current leptonic-B observable and model matching to W'/charged-scalar/leptoquark-like amplitudes, but the experimental average and SM inputs are standard and no new QCD RG machinery is expected for the catalog-level formula.
Key references
Process-local snapshots before bibliography consolidation:
hflav\_dec2025\_btaunu.txt,
pdg2025\_btaunu\_api.txt,
utfit\_summer2024\_btaunu.txt,
belle2013\_arxiv1208\_4678.txt,
belle2015\_arxiv1503\_05613.txt,
belleii2025\_arxiv2502\_04885.txt,
babar2013\_arxiv1207\_0698.txt,
babar2010\_arxiv0912\_2453.txt, and
cfw2008\_arxiv0804\_1954.txt.