Frank Wilczek's 1982 paper 'Axions and Family Symmetry Breaking' proposed replacing the Peccei-Quinn quasisymmetry with genuine family (flavor) symmetries whose spontaneous breaking at a high scale FF produces light, derivatively coupled Nambu-Goldstone bosons -- familons -- potentially observable in rare decays such as μ+→e+f\mu^+\to e^+ f and K+→π+fK^+\to\pi^+ f, and gave only schematic Lagrangian templates for such theories. The experimental components have been substantially discharged: dedicated searches now bound the familon decay constants (Fμe≳3×109 GeVF_{\mu e}\gtrsim 3\times10^{9}\ \mathrm{GeV} from muon decay, Fsd≳4×1011 GeVF_{sd}\gtrsim 4\times10^{11}\ \mathrm{GeV} from K+→π+fK^+\to\pi^+ f); the previously missing search designs and sensitivities were worked out by Calibbi, Redigolo, Ziegler and Zupan (2021), who showed that MEG II and Mu3e can probe FμeF_{\mu e} up to ∼1010 GeV\sim10^{10}\ \mathrm{GeV}; and the suggested short-range-force tests have grown into an active experimental program. Anomaly-free gauged family symmetries are known, and explicit familon and flavored-axion models have been built (three-Higgs flavored Peccei-Quinn models, flaxions, U(2)U(2) axiflavons), but none is regarded as fully realistic: explaining rather than merely accommodating the observed mass hierarchies, naturalness with high-scale flavor breaking, and Landau poles in gauged flavor models remain unresolved. The surviving open problem is to construct an explicit anomaly-free three-family model of spontaneously broken family symmetry whose familon is consistent with all laboratory, astrophysical and cosmological bounds and makes testable predictions -- or to establish a no-go result excluding every such model.

Background

The Standard Model (SM) of particle physics contains three sequential replicas ('families' or 'generations') of quarks and leptons with identical gauge interactions but widely different masses -- the top quark is roughly 350,000 times heavier than the electron -- and an unexplained pattern of weak-interaction mixing angles, encoded for quarks in the Cabibbo-Kobayashi-Maskawa (CKM) matrix and for leptons in the Pontecorvo-Maki-Nakagawa-Sakata (PMNS) matrix. The SM accommodates but does not explain these numbers: they enter through Yukawa coupling matrices whose entries are free parameters. This is the SM 'flavor puzzle'.

A second, independent puzzle is the strong CP problem: quantum chromodynamics (QCD) admits a CP-violating vacuum angle θˉ\bar\theta that experiments constrain to be below 10−1010^{-10}, without explanation. The canonical resolution postulates a global Peccei-Quinn (PQ) symmetry, spontaneously broken at a high scale; Goldstone's theorem then supplies a light pseudoscalar Nambu-Goldstone (NG) boson -- the axion -- whose QCD-induced potential dynamically relaxes θˉ\bar\theta to zero. (A Nambu-Goldstone boson is the massless mode necessarily present when a continuous global symmetry is spontaneously broken; if the symmetry is only approximate, the boson is light rather than exactly massless.)

In 'Axions and Family Symmetry Breaking' (1982), Frank Wilczek proposed to enlarge this logic: the approximate global symmetry obtained by setting all fermion masses to zero contains large family (horizontal) symmetry groups acting on the generation index, and one could spontaneously break a genuine family symmetry at a high scale FF instead of, or in addition to, a PQ U(1)U(1). The resulting NG bosons -- familons -- couple derivatively to flavor-changing currents through ΔL=F−1jμ ∂μf\Delta\mathcal{L}=F^{-1}j_\mu\,\partial^\mu f, so all familon effects are suppressed by powers of 1/F1/F. Two-body decays with a familon in the final state then probe FF directly: Γ(μ→ef)/Γ(μ→eννˉ)≃2.5×1014 GeV2/Fμe2\Gamma(\mu\to e f)/\Gamma(\mu\to e\nu\bar\nu)\simeq 2.5\times10^{14}\ \mathrm{GeV}^2/F_{\mu e}^2 and Γ(K+→π+f)/Γ(K+→π+π0)≃1.3×1014 GeV2/FKπ2\Gamma(K^+\to\pi^+ f)/\Gamma(K^+\to\pi^+\pi^0)\simeq 1.3\times10^{14}\ \mathrm{GeV}^2/F_{K\pi}^2, so a familon would appear as a monoenergetic positron sitting exactly at the endpoint of the continuous positron-energy (Michel) spectrum of ordinary muon decay, or as a monoenergetic pion in kaon decay. Stellar-cooling bounds (new light particles would drain energy from stars, so observed stellar lifetimes constrain their couplings) and axion-cosmology arguments left a plausible window 109 GeV≲F≲1012 GeV10^{9}\ \mathrm{GeV}\lesssim F\lesssim10^{12}\ \mathrm{GeV}, making such searches feasible in principle. Purely derivative couplings generate static potentials ∝1/R4\propto 1/R^4, innocuous on laboratory scales; but the axion also acquires anomaly-induced, CP-violating couplings to fermion spins, motivating short-range 'Cavendish-style' force tests at centimeter scales, where an axion with F∼1012 GeVF\sim10^{12}\ \mathrm{GeV} has its Compton wavelength.

On the model side the paper offered only schematic templates: many light Higgs doublets arranged in flavor multiplets; a single light Higgs doublet whose Yukawa couplings inherit flavor structure from tree-level exchanges of ultraheavy fermions and Higgs fields; and a 'many called, few chosen' construction in which high-scale flavor multiplets break so that only one light Higgs combination survives -- each illustrated with two-family toy models. Gauging family symmetries was flagged as awkward because many family groups are anomalous, meaning the fermion content induces gauge anomalies -- quantum-mechanical violations of a classical symmetry that render a gauge theory inconsistent unless the fermion charges are chosen so that all anomaly coefficients cancel. The electroweak hierarchy problem -- why the Higgs mass is so much smaller than the flavor-breaking scale FF -- was acknowledged to be no better solved than in the SM. The idea appeared essentially simultaneously in Reiss's 'Can the family group be a global symmetry?' (1982); Gelmini, Nussinov and Yanagida (1983) analyzed the associated NG bosons; Barr, Reiss and Zee (1982) studied the domain walls -- planar topological defects that form when a symmetry with a discrete remnant is spontaneously broken and, if stable, can come to dominate the universe's energy density -- that family-symmetry breaking can produce in cosmology; and the parallel majoron (the NG boson of spontaneously broken lepton number) showed the same logic applied to lepton number. The now-standard alternative implementation of a family symmetry, the Froggatt-Nielsen mechanism (1979), breaks a family U(1)U(1) with a 'flavon' field but renders the symmetry inexact, so no light familon survives there. Whether a model with an exact (global or gauged) family symmetry and a genuine familon can be made fully realistic -- consistent with gauge anomalies, fermion masses and mixings, and all experimental and cosmological limits -- is the question this problem records.

Problem Statement

Restated in current terms, the question Wilczek (1982) left open is: does there exist an explicit, fully realistic model realizing the familon idea -- a quantum field theory containing the three SM fermion families in which an exact continuous family (flavor) symmetry, global or gauged, is spontaneously broken at a high scale FF so that a light (pseudo-)Nambu-Goldstone familon couples derivatively to flavor-changing currents -- satisfying all of the following simultaneously?

(1) Consistency: all gauge anomalies cancel, including those of the family symmetry itself if it is gauged, with a consistent mechanism generating masses for any family gauge bosons.

(2) Realism: the observed quark and lepton masses, CKM and PMNS mixing angles and CP phases are reproduced within experimental uncertainties.

(3) Testable familon phenomenology: the familon decay constants and flavor-changing couplings are consistent with all existing bounds -- from μ+→e+f\mu^+\to e^+ f, K+→π+fK^+\to\pi^+ f, τ→ℓf\tau\to\ell f and B→(π,K)fB\to(\pi,K) f searches, stellar-cooling, supernova and cosmological limits -- and are predicted sharply enough to be confronted with the projected sensitivities of the next-generation muon-decay experiments MEG II and Mu3e (at PSI), the rare-kaon experiment NA62 (at CERN) and the electron-positron B-meson factory Belle II (at KEK).

The question is resolved either by exhibiting such a model or by a no-go theorem or quantitative exclusion showing that no model satisfying (1)-(3) can exist, that is, by excluding the entire class of models defined by this statement. An experimental familon detection (for example a Michel-endpoint signal in μ+→e+X\mu^+\to e^+ X or a monoenergetic-pion signal in K+→π+XK^+\to\pi^+ X) would fix couplings that any such model must reproduce, but would not by itself resolve the model-construction question.

References

  1. F. Wilczek, 'Axions and Family Symmetry Breaking', Phys. Rev. Lett. 49, 1549 (1982). DOI: 10.1103/PhysRevLett.49.1549, https://doi.org/10.1103/PhysRevLett.49.1549.
  2. D. B. Reiss, 'Can the family group be a global symmetry?', Phys. Lett. B 115, 217 (1982). DOI: 10.1016/0370-2693(82)90647-5, https://doi.org/10.1016/0370-2693(82)90647-5.
  3. S. M. Barr, D. B. Reiss, A. Zee, 'Families, the invisible axion, and domain walls', Phys. Lett. B 116, 227 (1982). DOI: 10.1016/0370-2693(82)90331-8, https://doi.org/10.1016/0370-2693(82)90331-8.
  4. G. B. Gelmini, S. Nussinov, T. Yanagida, 'Does nature like Nambu-Goldstone bosons?', Nucl. Phys. B 219, 31 (1983). DOI: 10.1016/0550-3213(83)90426-1, https://doi.org/10.1016/0550-3213(83)90426-1.
  5. C. D. Froggatt, H. B. Nielsen, 'Hierarchy of quark masses, cabibbo angles and CP violation', Nucl. Phys. B 147, 277 (1979). DOI: 10.1016/0550-3213(79)90316-X, https://doi.org/10.1016/0550-3213(79)90316-X.
  6. Z. G. Berezhiani, M. Yu. Khlopov, 'Cosmology of spontaneously broken gauge family symmetry with axion solution of strong CP-problem', Z. Phys. C 49, 73 (1991). DOI: 10.1007/BF01570798, https://doi.org/10.1007/BF01570798.
  7. J. E. Moody, F. Wilczek, 'New macroscopic forces?', Phys. Rev. D 30, 130 (1984). DOI: 10.1103/PhysRevD.30.130, https://doi.org/10.1103/PhysRevD.30.130.
  8. C. T. Hill, G. G. Ross, 'Pseudo-goldstone bosons and new macroscopic forces', Phys. Lett. B 203, 125 (1988). DOI: 10.1016/0370-2693(88)91583-3, https://doi.org/10.1016/0370-2693(88)91583-3.
  9. A. Jodidio, B. Balke, J. Carr, G. Gidal, K. A. Shinsky, H. M. Steiner, D. P. Stroker, M. Strovink, R. D. Tripp, B. Gobbi, C. J. Oram, 'Search for right-handed currents in muon decay', Phys. Rev. D 34, 1967 (1986). DOI: 10.1103/PhysRevD.34.1967, https://doi.org/10.1103/PhysRevD.34.1967.
  10. R. D. Bolton et al. (Crystal Box collaboration), 'Search for rare muon decays with the Crystal Box detector', Phys. Rev. D 38, 2077 (1988). DOI: 10.1103/PhysRevD.38.2077, https://doi.org/10.1103/PhysRevD.38.2077.
  11. H. Albrecht et al. (ARGUS collaboration), 'A search for the lepton-flavour violating decays τ→eα\tau\to e\alpha, τ→μα\tau\to\mu\alpha', Z. Phys. C 68, 25 (1995). DOI: 10.1007/BF01579801, https://doi.org/10.1007/BF01579801.
  12. S. S. Adler et al. (E787 collaboration), 'Search for the decay K+→π+ννˉK^+\to\pi^+\nu\bar\nu in the momentum region Pπ<195 MeV/cP_\pi<195\ \mathrm{MeV}/c', Phys. Lett. B 537, 211 (2002). arXiv:hep-ex/0201037, https://arxiv.org/abs/hep-ex/0201037; DOI: 10.1016/S0370-2693(02)01911-1, https://doi.org/10.1016/S0370-2693(02)01911-1.
  13. R. Bayes et al. (TWIST collaboration), 'Search for two body muon decay signals', Phys. Rev. D 91, 052020 (2015). arXiv:1409.0638, https://arxiv.org/abs/1409.0638; DOI: 10.1103/PhysRevD.91.052020, https://doi.org/10.1103/PhysRevD.91.052020.
  14. V. A. Andreev et al., 'Search for Two-Particle Muon Decay to Positron and Goldstone Massless Boson (FAMILON)', arXiv:hep-ex/0612064, https://arxiv.org/abs/hep-ex/0612064.
  15. J. L. Feng, T. Moroi, H. Murayama, E. Schnapka, 'Third generation familons, B factories, and neutrino cosmology', Phys. Rev. D 57, 5875 (1998). arXiv:hep-ph/9709411, https://arxiv.org/abs/hep-ph/9709411; DOI: 10.1103/PhysRevD.57.5875, https://doi.org/10.1103/PhysRevD.57.5875.
  16. D. Guadagnoli, R. N. Mohapatra, I. Sung, 'Gauged flavor group with left-right symmetry', JHEP 04, 093 (2011). arXiv:1103.4170, https://arxiv.org/abs/1103.4170; DOI: 10.1007/JHEP04(2011)093, https://doi.org/10.1007/JHEP04(2011)093.
  17. A. Celis, J. Fuentes-Martin, H. Serodio, 'A class of invisible axion models with FCNCs at tree level', JHEP 12, 167 (2014). arXiv:1410.6218, https://arxiv.org/abs/1410.6218; DOI: 10.1007/JHEP12(2014)167, https://doi.org/10.1007/JHEP12(2014)167.
  18. Y. Ema, K. Hamaguchi, T. Moroi, K. Nakayama, 'Flaxion: a minimal extension to solve puzzles in the standard model', JHEP 01, 096 (2017). arXiv:1612.05492, https://arxiv.org/abs/1612.05492; DOI: 10.1007/JHEP01(2017)096, https://doi.org/10.1007/JHEP01(2017)096.
  19. M. Linster, R. Ziegler, 'A realistic U(2) model of flavor', JHEP 08, 058 (2018). arXiv:1805.07341, https://arxiv.org/abs/1805.07341; DOI: 10.1007/JHEP08(2018)058, https://doi.org/10.1007/JHEP08(2018)058.
  20. G. Chen, M. J. Pérez, P. Ramond, 'Neutrino masses, the μ\mu-term and PSL2(7)PSL_2(7)', Phys. Rev. D 92, 076006 (2015). arXiv:1412.6107, https://arxiv.org/abs/1412.6107; DOI: 10.1103/PhysRevD.92.076006, https://doi.org/10.1103/PhysRevD.92.076006.
  21. E. J. Chun, A. Das, J. Kim, J. Kim, 'Searching for Flavored Gauge Bosons', JHEP 02, 093 (2019). arXiv:1811.04320, https://arxiv.org/abs/1811.04320; DOI: 10.1007/JHEP02(2019)093, https://doi.org/10.1007/JHEP02(2019)093.
  22. A. Smolkovič, M. Tammaro, J. Zupan, 'Anomaly free Froggatt-Nielsen models of flavor', JHEP 10, 188 (2019). arXiv:1907.10063, https://arxiv.org/abs/1907.10063; DOI: 10.1007/JHEP10(2019)188, https://doi.org/10.1007/JHEP10(2019)188.
  23. A. Aranda, F. J. de Anda, S. F. King, 'Gauge-flavon unification', JHEP 02, 012 (2020). arXiv:1911.11781, https://arxiv.org/abs/1911.11781; DOI: 10.1007/JHEP02(2020)012, https://doi.org/10.1007/JHEP02(2020)012.
  24. R. S. Gupta, Z. Komargodski, G. Perez, L. Ubaldi, 'Is the relaxion an axion?', JHEP 02, 166 (2016). arXiv:1509.00047, https://arxiv.org/abs/1509.00047; DOI: 10.1007/JHEP02(2016)166, https://doi.org/10.1007/JHEP02(2016)166.
  25. C. D. Carone, 'Pseudo-familon dark matter', Phys. Lett. B 707, 529 (2012). arXiv:1201.1205, https://arxiv.org/abs/1201.1205; DOI: 10.1016/j.physletb.2012.01.010, https://doi.org/10.1016/j.physletb.2012.01.010.
  26. L. Calibbi, D. Redigolo, R. Ziegler, J. Zupan, 'Looking forward to lepton-flavor-violating ALPs', JHEP 09, 173 (2021). arXiv:2006.04795, https://arxiv.org/abs/2006.04795; DOI: 10.1007/JHEP09(2021)173, https://doi.org/10.1007/JHEP09(2021)173.
  27. G. Choi, T. T. Yanagida, 'Solving the strong CP problem with horizontal gauge symmetry', Phys. Rev. D 100, 095023 (2019). arXiv:1909.04317, https://arxiv.org/abs/1909.04317; DOI: 10.1103/PhysRevD.100.095023, https://doi.org/10.1103/PhysRevD.100.095023.
  28. L. Di Luzio, H. Gisbert, F. Nesti, P. Sorensen, 'Axion window on new macroscopic forces', Phys. Rev. D 110, 115034 (2024). arXiv:2407.15928, https://arxiv.org/abs/2407.15928; DOI: 10.1103/PhysRevD.110.115034, https://doi.org/10.1103/PhysRevD.110.115034.
  29. M. Abe, J. M. Hogan, D. E. Kaplan, C. Overstreet, S. Rajendran, 'Search for monopole-dipole interactions with atom interferometry', arXiv:2409.14793, https://arxiv.org/abs/2409.14793.
  30. L. Di Luzio, G. Landini, F. Mescia, V. Susic, 'High-quality Peccei-Quinn symmetry from the interplay of vertical and horizontal gauge symmetries', arXiv:2503.16648, https://arxiv.org/abs/2503.16648.