Recognition: 2 theorem links
· Lean TheoremPhenomenology of electroweak spin-1 resonances
Pith reviewed 2026-05-12 05:14 UTC · model grok-4.3
The pith
Composite Higgs models with SU(2)_L × SU(2)_R symmetry allow spin-1 resonances down to 1.5 TeV masses consistent with LHC data.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Composite Higgs models with a fermionic UV completion that contain SU(2)_L × SU(2)_R as part of the unbroken global subgroup predict two neutral and one charged spin-1 resonances. These resonances mix sizably with the SM vector bosons and can therefore be singly produced at the LHC. Viable scenarios exist that are consistent with existing LHC data and in which the masses of these states are as low as about 1.5 TeV.
What carries the argument
The sizable mixing of the predicted spin-1 resonances with standard model electroweak gauge bosons, which enables single production at hadron colliders.
If this is right
- Single production cross sections become large enough for direct searches in the 1-2 TeV mass range.
- Decay modes are dominated by channels involving W and Z bosons due to the mixing.
- Existing LHC analyses in diboson and dilepton final states already constrain but do not exclude the lightest allowed masses.
- Future runs with higher integrated luminosity will have sensitivity to these states if they exist at the lower end of the viable range.
Where Pith is reading between the lines
- Similar mixing patterns could appear in other composite models and might be testable through precision measurements of vector boson scattering.
- Discovery of such a resonance would provide direct evidence for the strong sector dynamics underlying electroweak symmetry breaking.
- Model builders could use the 1.5 TeV benchmark to design targeted search strategies that exploit the specific production and decay signatures.
Load-bearing premise
That the unbroken SU(2)_L × SU(2)_R symmetry in the strong sector produces spin-1 resonances with sizable mixing to the standard model gauge bosons.
What would settle it
A dedicated LHC search for singly produced spin-1 particles in the mass window 1.4-1.6 TeV that sets an upper limit below the predicted production rate in the viable parameter space would rule out the low-mass scenarios.
Figures
read the original abstract
Composite Higgs models with a fermionic UV completion predict the existence of various bound states. We investigate models containing SU(2)$_L\times$SU(2)$_R$ as part of the unbroken global subgroup in the new strong sector. These models predict that there are two neutral and one charged spin-1 resonances mixing seizable with the SM vector bosons. These can be singly produced at the LHC. We explore their LHC phenomenology and demonstrate that there are still viable scenarios consistent with existing LHC data where the masses of these states can be as low as about 1.5 TeV.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates composite Higgs models with fermionic UV completions in which SU(2)_L × SU(2)_R forms part of the unbroken global symmetry. It predicts two neutral and one charged spin-1 resonances that mix sizably with the SM W and Z bosons, enabling single production at the LHC, and claims that viable parameter choices exist allowing masses as low as ~1.5 TeV while remaining consistent with existing LHC data.
Significance. If the explicit rate calculations confirm an open window at 1.5 TeV, the result would be useful for guiding targeted LHC searches in diboson and dilepton channels within this class of models and for clarifying the reach of current exclusions on light vector resonances in strong dynamics.
major comments (1)
- [LHC phenomenology and viable scenarios sections] The central viability claim (abstract and concluding sections) that m_V ≈ 1.5 TeV remains allowed requires an explicit mapping from the mixing angle, g_ρ, and decay widths to observable σ × BR values, followed by direct comparison against ATLAS/CMS 95% CL limits in WZ → ℓνjj, WW, and dilepton channels. Without these calculations shown for the benchmark points, the assertion that sizable mixing still yields rates below exclusions is not demonstrated and is load-bearing for the main result.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying a point that will strengthen the presentation of our results. We address the major comment below.
read point-by-point responses
-
Referee: [LHC phenomenology and viable scenarios sections] The central viability claim (abstract and concluding sections) that m_V ≈ 1.5 TeV remains allowed requires an explicit mapping from the mixing angle, g_ρ, and decay widths to observable σ × BR values, followed by direct comparison against ATLAS/CMS 95% CL limits in WZ → ℓνjj, WW, and dilepton channels. Without these calculations shown for the benchmark points, the assertion that sizable mixing still yields rates below exclusions is not demonstrated and is load-bearing for the main result.
Authors: We agree that making the comparison to LHC limits fully explicit will improve the clarity of the viability claim. The current manuscript reports the mixing angles, g_ρ values, and partial widths for the benchmark points with m_V ≈ 1.5 TeV in the viable scenarios section, which determine the production rates and branching fractions. To address the referee's concern directly, we will add explicit calculations of σ × BR in the relevant channels (WZ → ℓνjj, WW, and dilepton) for these benchmarks, together with a direct overlay against the published ATLAS and CMS 95% CL upper limits. These results will be presented in a new table or subsection within the LHC phenomenology section. The addition will confirm that the predicted rates remain below the exclusions for the chosen parameter choices, without changing the overall conclusions of the paper. revision: yes
Circularity Check
No circularity detected; standard phenomenological parameter scan.
full rationale
The paper performs a standard exploration of parameter space in composite Higgs models with SU(2)_L × SU(2)_R resonances, computing mixing angles, production cross sections, and branching ratios from the Lagrangian and comparing them to existing LHC limits. No step reduces a claimed prediction to a fitted input by construction, nor does any load-bearing claim rest on a self-citation chain that itself assumes the target result. The viability statement at 1.5 TeV is an existence claim within the scanned region, not a tautological output of the inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Composite Higgs models with fermionic UV completion predict various bound states including spin-1 resonances.
- domain assumption SU(2)_L × SU(2)_R forms part of the unbroken global subgroup in the new strong sector.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We investigate models containing SU(2)_L × SU(2)_R as part of the unbroken global subgroup... masses of these states can be as low as about 1.5 TeV.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The corresponding mass matrices are diagonalized by orthogonal rotation matrices... couplings to SM fermions via mixing
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
D. B. Kaplan and H. Georgi, Phys. Lett. B136(1984), 183-186
work page 1984
-
[2]
D. B. Kaplan, H. Georgi and S. Dimopoulos, Phys. Lett. B136(1984), 187-190
work page 1984
-
[3]
R. Contino, Y. Nomura and A. Pomarol, Nucl. Phys. B671(2003), 148-174 [arXiv:hep- ph/0306259 [hep-ph]]
- [4]
-
[5]
Gallowayet al.,JHEP10(2010), 086 [arXiv:1001.1361 [hep-ph]]
J. Gallowayet al.,JHEP10(2010), 086 [arXiv:1001.1361 [hep-ph]]
-
[6]
G. Cacciapaglia and F. Sannino, JHEP04(2014), 111 [arXiv:1402.0233 [hep-ph]]. 11 Phenomenology of electroweak spin-1 resonancesW. Porod
-
[7]
D. B. Kaplan, Nucl. Phys. B365(1991), 259-278
work page 1991
-
[8]
G. Ferretti and D. Karateev, JHEP03(2014), 077 [arXiv:1312.5330 [hep-ph]]
-
[9]
Ferretti, JHEP06(2016), 107 [arXiv:1604.06467 [hep-ph]]
G. Ferretti, JHEP06(2016), 107 [arXiv:1604.06467 [hep-ph]]
-
[10]
Belyaevet al.,JHEP01(2017), 094 [erratum: JHEP12(2017), 088] [arXiv:1610.06591 [hep-ph]]
A. Belyaevet al.,JHEP01(2017), 094 [erratum: JHEP12(2017), 088] [arXiv:1610.06591 [hep-ph]]
-
[11]
Agugliaroet al.,JHEP02(2019), 089 [arXiv:1808.10175 [hep-ph]]
A. Agugliaroet al.,JHEP02(2019), 089 [arXiv:1808.10175 [hep-ph]]
-
[12]
Cacciapagliaet al.,JHEP12(2022), 087 [arXiv:2210.01826 [hep-ph]]
G. Cacciapagliaet al.,JHEP12(2022), 087 [arXiv:2210.01826 [hep-ph]]
-
[13]
Flackeet al.,JHEP11(2023), 009 [arXiv:2304.09195 [hep-ph]]
T. Flackeet al.,JHEP11(2023), 009 [arXiv:2304.09195 [hep-ph]]
-
[14]
Cacciapagliaet al.,JHEP11(2015), 201 [arXiv:1507.02283 [hep-ph]]
G. Cacciapagliaet al.,JHEP11(2015), 201 [arXiv:1507.02283 [hep-ph]]
-
[15]
Cacciapagliaet al.,JHEP05(2020), 027 [arXiv:2002.01474 [hep-ph]]
G. Cacciapagliaet al.,JHEP05(2020), 027 [arXiv:2002.01474 [hep-ph]]
-
[16]
Flackeet al.,JHEP02(2026), 028 [arXiv:2506.04318 [hep-ph]]
T. Flackeet al.,JHEP02(2026), 028 [arXiv:2506.04318 [hep-ph]]
- [17]
- [18]
-
[19]
G. Cacciapagliaet al.,Phys. Lett. B798(2019), 135015 [arXiv:1908.07524 [hep-ph]]
-
[20]
A. Banerjee, D. B. Franzosi and G. Ferretti, JHEP03(2022), 200 [arXiv:2202.00037 [hep- ph]]
-
[21]
A. Banerjeeet al.,SciPost Phys. Core7(2024), 079 [arXiv:2406.09193 [hep-ph]]
-
[22]
Cacciapagliaet al.,JHEP02(2022), 208 [arXiv:2112.00019 [hep-ph]]
G. Cacciapagliaet al.,JHEP02(2022), 208 [arXiv:2112.00019 [hep-ph]]
-
[23]
Composite top partners in exotic colour representations
G. Cacciapagliaet al.,[arXiv:2605.04143 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv
-
[24]
Buarque Franzosiet al.,JHEP11(2016), 076 [arXiv:1605.01363 [hep-ph]]
D. Buarque Franzosiet al.,JHEP11(2016), 076 [arXiv:1605.01363 [hep-ph]]
-
[25]
Caliriet al.,JHEP04(2025), 160 [arXiv:2412.08720 [hep-ph]]
R. Caliriet al.,JHEP04(2025), 160 [arXiv:2412.08720 [hep-ph]]
-
[26]
Cacciapagliaet al.,JHEP06(2024), 092 [arXiv:2404.02198 [hep-ph]]
G. Cacciapagliaet al.,JHEP06(2024), 092 [arXiv:2404.02198 [hep-ph]]
-
[27]
V. Ayyaret al.,Phys. Rev. D97(2018) no.7, 074505 [arXiv:1710.00806 [hep-lat]]
-
[28]
V. Ayyaret al.,Phys. Rev. D99(2019) no.9, 094502 [arXiv:1812.02727 [hep-ph]]
-
[29]
V. Ayyaret al.,Phys. Rev. D97(2018) no.11, 114502 [arXiv:1802.09644 [hep-lat]]
-
[30]
V. Ayyaret al.,Phys. Rev. D97(2018) no.11, 114505 [arXiv:1801.05809 [hep-ph]]
-
[31]
V. Ayyaret al.,Phys. Rev. D99(2019) no.9, 094504 [arXiv:1903.02535 [hep-lat]]
-
[32]
A. Hasenfratzet al.,Phys. Rev. D107(2023) no.11, 114504 [arXiv:2304.11729 [hep-lat]]. 12 Phenomenology of electroweak spin-1 resonancesW. Porod
-
[33]
Bennettet al.,JHEP03(2018), 185 [arXiv:1712.04220 [hep-lat]]
E. Bennettet al.,JHEP03(2018), 185 [arXiv:1712.04220 [hep-lat]]
-
[34]
E. Bennettet al.,Phys. Rev. D101(2020) no.7, 074516 [arXiv:1912.06505 [hep-lat]]
-
[35]
Bennettet al.,JHEP12(2019), 053 [arXiv:1909.12662 [hep-lat]]
E. Bennettet al.,JHEP12(2019), 053 [arXiv:1909.12662 [hep-lat]]
-
[36]
E. Bennettet al.,Phys. Rev. D106(2022) no.1, 014501 [arXiv:2202.05516 [hep-lat]]
-
[37]
Kulkarniet al.,SciPost Phys.14(2023) no.3, 044 [arXiv:2202.05191 [hep-ph]]
S. Kulkarniet al.,SciPost Phys.14(2023) no.3, 044 [arXiv:2202.05191 [hep-ph]]
-
[38]
E. Bennettet al.,Phys. Rev. D109(2024) no.9, 094512 [arXiv:2311.14663 [hep-lat]]
-
[39]
E. Bennettet al.,Phys. Rev. D109(2024) no.9, 094517 [arXiv:2312.08465 [hep-lat]]
-
[40]
E. Bennettet al.,Phys. Rev. D111(2025) no.7, 074511 [arXiv:2412.01170 [hep-lat]]
-
[41]
J. Erdmengeret al.,Phys. Rev. Lett.126(2021) no.7, 071602 [arXiv:2009.10737 [hep-ph]]
-
[42]
Erdmengeret al.,JHEP02(2021), 058 [arXiv:2010.10279 [hep-ph]]
J. Erdmengeret al.,JHEP02(2021), 058 [arXiv:2010.10279 [hep-ph]]
-
[43]
Elanderet al.,JHEP03(2021), 182 [arXiv:2011.03003 [hep-ph]]
D. Elanderet al.,JHEP03(2021), 182 [arXiv:2011.03003 [hep-ph]]
-
[44]
Elanderet al.,JHEP05(2022), 066 [arXiv:2112.14740 [hep-ph]]
D. Elanderet al.,JHEP05(2022), 066 [arXiv:2112.14740 [hep-ph]]
-
[45]
Erdmengeret al.,Universe9(2023) no.6, 289 [arXiv:2304.09190 [hep-th]]
J. Erdmengeret al.,Universe9(2023) no.6, 289 [arXiv:2304.09190 [hep-th]]
-
[46]
Erdmengeret al.,JHEP07(2024), 169 [arXiv:2404.14480 [hep-ph]]
J. Erdmengeret al.,JHEP07(2024), 169 [arXiv:2404.14480 [hep-ph]]
-
[47]
G. Aadet al.[ATLAS], Phys. Lett. B796(2019), 68-87 [arXiv:1903.06248 [hep-ex]]
-
[48]
Aadet al.[ATLAS], JHEP10(2020), 061 [arXiv:2005.05138 [hep-ex]]
G. Aadet al.[ATLAS], JHEP10(2020), 061 [arXiv:2005.05138 [hep-ex]]
-
[49]
G. Aadet al.[ATLAS], Phys. Rev. D100(2019) no.5, 052013 [arXiv:1906.05609 [hep-ex]]
-
[50]
Aadet al.[ATLAS], JHEP12(2023), 073 [arXiv:2308.08521 [hep-ex]]
G. Aadet al.[ATLAS], JHEP12(2023), 073 [arXiv:2308.08521 [hep-ex]]
-
[51]
A.Allouletal.,Comput.Phys.Commun.185(2014),2250-2300[arXiv:1310.1921[hep-ph]]
work page Pith review arXiv 2014
-
[52]
UFO - The Universal FeynRules Output
C. Degrandeet al., Comput. Phys. Commun.183(2012), 1201-1214 [arXiv:1108.2040 [hep- ph]]
work page Pith review arXiv 2012
-
[53]
J. Alwallet al., JHEP07(2014), 079 [arXiv:1405.0301 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[54]
R. D. Ballet al., Nucl. Phys. B867(2013), 244-289 [arXiv:1207.1303 [hep-ph]]
work page Pith review arXiv 2013
-
[55]
LHAPDF6: parton density access in the LHC precision era
A. Buckleyet al., Eur. Phys. J. C75(2015), 132 [arXiv:1412.7420 [hep-ph]]
work page Pith review arXiv 2015
-
[56]
T.Sjöstrandetal.,Comput.Phys.Commun.191(2015),159-177[arXiv:1410.3012[hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [57]
- [58]
-
[59]
E. Conteet al., Eur. Phys. J. C74(2014) no.10, 3103 [arXiv:1405.3982 [hep-ph]]
-
[60]
B. Dumontet al., Eur. Phys. J. C75(2015) no.2, 56 [arXiv:1407.3278 [hep-ph]]
-
[61]
E. Conte and B. Fuks, Int. J. Mod. Phys. A33(2018) no.28, 18300270 [arXiv:1808.00480 [hep-ph]]
-
[62]
M. Dreeset al., Comput. Phys. Commun.187(2015), 227-265 [arXiv:1312.2591 [hep-ph]]
- [63]
-
[64]
The anti-k_t jet clustering algorithm
M. Cacciari, G. P. Salam and G. Soyez, JHEP04(2008), 063 [arXiv:0802.1189 [hep-ph]]
work page internal anchor Pith review arXiv 2008
-
[65]
M. Cacciari, G. P. Salam and G. Soyez, Eur. Phys. J. C72(2012), 1896 [arXiv:1111.6097 [hep-ph]]
work page internal anchor Pith review arXiv 2012
-
[66]
DELPHES 3, A modular framework for fast simulation of a generic collider experiment
J. de Favereauet al.[DELPHES 3], JHEP02(2014), 057 [arXiv:1307.6346 [hep-ex]]
work page internal anchor Pith review arXiv 2014
-
[67]
A. L. Read, J. Phys. G28(2002), 2693-2704
work page 2002
-
[68]
C. Bierlichet al.SciPost Phys.8(2020), 026 [arXiv:1912.05451 [hep-ph]]
- [69]
- [70]
-
[71]
G. Aadet al.[ATLAS], Eur. Phys. J. C81(2021) no.7, 600 [erratum: Eur. Phys. J. C81 (2021) no.10, 956] [arXiv:2101.01629 [hep-ex]]
-
[72]
G. Aadet al.[ATLAS], Eur. Phys. J. C81(2021) no.11, 1023 [arXiv:2106.09609 [hep-ex]]
- [73]
- [74]
- [75]
-
[76]
CMS coll., CMS-PAS-SUS-19-006
-
[77]
M. Mrowietz, S. Bein and J. Sonneveld, Mod. Phys. Lett. A36(2021) no.01, 2141007
work page 2021
-
[78]
CMS coll., CMS-PAS-EXO-19-002
- [79]
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.