{"id":"63dbf369-f664-4ec7-93c0-8a30ff83d2ce","arxiv_id":"2505.06052","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":6,"one_line_summary":"A supersymmetric Gegenbauer's Twin Higgs model is built and analyzed, showing that precision Higgs coupling measurements will dominate the naturalness discussion at HL-LHC and future colliders.","lead":"This paper constructs a 'Kitchen Sink' model that combines supersymmetry, Twin Higgs, and Gegenbauer pNGB Higgs mechanisms in a single ultraviolet completion. It shows that even this maximally natural model will see its fine-tuning increasingly constrained by precision Higgs coupling measurements rather than direct searches.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Scheme-dependent matching coefficient in Eq. (2.17) may invalidate the exclusion of the Z2-symmetric Kitchen Sink, changing the 'maximally natural' benchmark behind the sub-percent tuning forecast.","rationale":"The reader's CONDITIONAL verdict is appropriate and I find no reason to move away from it; the concrete test would determine whether the model-building obstruction is real. The most load-bearing step in the model-specific part of the argument is the exclusion of the Z2-symmetric limit: if that exclusion is an artifact of the renormalization scheme or of the large-m_S expansion, then the constructed model is not actually the maximally natural one, and the headline sub-percent claim, which the reader correctly identifies as the strongest claim, would have to be recomputed from a lower tuning baseline. The reader's weakest_assumption singles out the 3/2 coefficient in Eq. (2.17); I agree that this is the weak point, and I add that the same conclusion relies on an expansion that is only marginally valid in the plotted regions and on the b6 term, which has not been shown numerically to enforce the obstruction once the scheme ambiguity is removed. The paper is transparent about many limitations—the IR-only tuning measure, parameterization dependence, and the non-apples-to-apples baseline comparison—and its own caution about the interpretation of log a supports this concern. The central qualitative message, that precision Higgs measurements rather than direct searches will drive the naturalness tension if nothing is found, rests on the more general scaling argument of Sec. 1 and would likely survive even if the Kitchen Sink benchmark changes; this is why the verdict remains CONDITIONAL rather than REJECT. The proposed numerical minimization and scheme-independent matching check is a single, decisive test that would settle whether the paper's benchmark model and its quantitative forecast stand as presented.","tokens_in":13081,"tokens_out":21801,"duration_ms":210803,"concrete_test":"Numerically minimize the full one-loop potential (2.15) in the Z2-symmetric limit (δm^2 = 0), including the Gegenbauer term (2.11), the D-term (2.12), and the complete Coleman-Weinberg contributions (2.13)–(2.14), without invoking the m_S^2 ≫ y_t^2 s_β^2 f^2/2 expansion. Scan the parameter ranges of Figs. 1–2 (n = 4, 6, 8, 10; f = 0.5–2.5 TeV; m_S = 1.2 and 2 TeV; tanβ = 1) and search for minima with v/f ≲ 0.25 and m_h = 125 ± 2 GeV. Independently, redo the matching of log a in an on-shell scheme and with A- and µ-terms included; if the constant in Eq. (2.17) falls below about 1 for any allowed f and m_S, the symmetric exclusion fails. If either check produces viable symmetric points, the benchmark model and the sub-percent forecast need revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's headline demonstration—that even the maximally natural Kitchen Sink model is forced to at least sub-percent fine-tuning by FCC-ee plus FCC-hh—depends on which model is the maximally natural one. The model used in Figs. 1–3 requires the Z2-breaking parameter δm^2 because the Z2-symmetric limit is claimed to be unable to realize natural EWSB. That exclusion rests on Eqs. (2.16)–(2.17): the matched top-sector potential gives log a = 3/2 + log(2m_S^2/(y_t^2 s_β^2 f^2)) + (D-term), and the criterion log a < 1 from [12] is then used to declare the symmetric case dead. The constant 3/2 comes from the -1/2 subtraction in the one-loop Coleman-Weinberg potential (2.13) together with log 2; both are scheme-dependent matching coefficients. The paper itself cautions below Eq. (2.4) that log a should be treated as a guide. If a different scheme, or reinstating the neglected A- and µ-terms, shifts this constant below about 1, then log a < 1 becomes reachable in the Z2-symmetric limit for f ~ 1 TeV and m_S ~ f, and δm^2 is unnecessary. The conclusion also relies on the expansion m_S^2 ≫ y_t^2 s_β^2 f^2/2, which is violated for f ≳ 1.3 TeV at m_S = 1.2 TeV, precisely the range in Figs. 1–3; the b6 term is not shown numerically to block EWSB when the expansion fails. If the symmetric model is viable, the benchmark Δ_now ≈ 0.5 and the projected sub-percent endpoint must be recomputed, because a model without δm^2 has one fewer tuned parameter and may remain above the sub-percent level at FCC-hh.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that for pNGB Higgs scenarios the naturalness question is transitioning from being driven mainly by direct searches to being driven by precision Higgs coupling measurements. To make this concrete, the authors build a 'Kitchen Sink' model that combines supersymmetry, a Twin Higgs structure, and a Gegenbauer potential for the pNGB Higgs. They compute the one-loop effective potential of the pNGB Higgs, including the top/stop contributions in both the visible and twin sectors. They claim that the Z2-symmetric limit of this model cannot realize natural electroweak symmetry breaking because the matched parameter log a is too large, and they therefore introduce a Z2-breaking stop soft-mass splitting delta m^2. Using a Barbieri-Giudice log-derivative fine-tuning measure, they compute the IR tuning of the model and project how it would worsen under continued null results at the HL-LHC, FCC-ee, and FCC-hh, concluding that even this maximally natural construction would be forced to at least sub-percent fine-tuning. The paper is transparent about the quasi-quantitative nature of fine-tuning and lists several caveats, including the parameterization dependence of the tuning measure and the existence of additional UV tunings not captured by their IR measure.","tokens_in":13556,"tokens_out":9678,"duration_ms":99580,"significance":"If the central exclusion of the Z2-symmetric case is robust, the paper provides a useful and explicit illustration that combining the main symmetry-based naturalness mechanisms still leaves a severe tension with future precision measurements. The calculation is presented in sufficient detail to be followed, all input parameters are named, and the authors honestly flag the limitations of their IR tuning definition and the non-apples-to-apples comparison with the SUSY Twin baseline. The paper also makes a clean quantitative point about the relative reach of direct and indirect probes. However, the headline conclusion depends on a matching coefficient whose scheme dependence is not demonstrated, and the numerical tuning results require an unstated beta-dependent normalization for the Gegenbauer term; these issues need to be addressed before the quantitative claims can be taken at face value.","major_comments":[{"comment":"The exclusion of the Z2-symmetric limit is load-bearing because it motivates introducing the Z2-breaking parameter delta m^2 that appears in the tuning parameter set and in Figs. 1-3. This exclusion rests on log a = 3/2 + log(2 m_S^2/(y_t^2 s_beta^2 f^2)) + ... together with the criterion log a < 1 taken from Ref. [12]. The constant 3/2 arises from the -1/2 subtraction in the one-loop Coleman-Weinberg potential (2.13) and from log 2, and it is a scheme-dependent matching coefficient. The authors themselves caution below Eq. (2.4) that log a should be treated as a guide rather than as a strict relation, so the same caution applies to the numerical criterion. I ask the authors to show robustness by repeating the matching in a different renormalization scheme, for example in MS-bar with the renormalization scale set to the stop mass, and by including at least approximately the A- and mu-terms that were dropped before Eq. (2.13). If an O(1) scheme change makes log a < 1, then the Z2-symmetric model is viable without delta m^2, and the benchmark behind the sub-percent fine-tuning forecast must be recomputed.","section":"Sec. 2.1, Eqs. (2.16)-(2.17)"},{"comment":"The expansion leading to Eq. (2.16) assumes m_S^2 >> y_t^2 s_beta^2 f^2/2, but the parameter regime used in Figs. 1 and 2 includes m_S = 1.2 TeV and f ≳ 1.3 TeV, for which (y_t^2 s_beta^2 f^2)/(2 m_S^2) ≳ 0.5. In this regime the b_6 term is not parametrically suppressed, and the statement that the s_h^6 + c_h^6 term prevents natural electroweak symmetry breaking rests on an expansion whose validity is marginal. The authors should check by direct numerical minimization of the full one-loop potential in Eq. (2.15) whether the Z2-symmetric model can realize v << f in the region of f shown, and should report the result. This is a concrete, local test of the central model-building exclusion.","section":"Sec. 2.1, Eq. (2.16)"},{"comment":"The beta-dependence of the Gegenbauer contribution is encoded in the unspecified function H(beta). Since the total fine-tuning Delta is computed with respect to epsilon, the numerical results for tan beta = 2 and tan beta = 4 in Fig. 2 depend on the derivative of V_G with respect to epsilon and hence on H(beta). No expression or numerical choice for H(beta) is given in the text, so the tuning calculation for these panels is not reproducible as written. The authors should specify H(beta), or at least state the normalization used in the scans, and explain how it is derived from the spurion coupling in Eq. (2.10).","section":"Sec. 2.1, Eq. (2.11)"}],"minor_comments":[{"comment":"The logarithms in Eq. (2.13) should be typeset with explicit parentheses so that the argument of each log is unambiguous, namely log((2 m_S,A^2 + y_t^2 s_beta^2 f^2 s_h^2)/(2 M^2)) and log((y_t^2 s_beta^2 f^2 s_h^2)/(2 M^2)), with the -1/2 outside the logarithm.","section":"Sec. 2.1, Eq. (2.13)"},{"comment":"The caption of Fig. 3 states that the tuning is computed with respect to {epsilon, m_S^2, delta m^2} and reports Delta_now ≈ 0.5, but it does not specify which value of delta m^2 (or equivalently which point in the plane) corresponds to 'now'. Please state explicitly the benchmark point used for the absolute normalization of Delta_now/Delta.","section":"Sec. 3, Fig. 3"},{"comment":"The discussion of possible UV tunings is welcome, but it is somewhat buried after the numerical results. Since the title and abstract describe the model as maximizing naturalness, the sentence around Eq. (2.19) should appear earlier or be repeated in the summary so that readers do not overinterpret the IR tuning values as the total tuning of the model.","section":"Sec. 2.2, Eq. (2.19)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a competent phenomenological projection, but the central model-building exclusion of the Z2-symmetric limit is not demonstrated to be scheme-independent, and the numerical tuning results rely on an unspecified H(beta). These are fixable within the manuscript's scope: the authors should perform a cross-check in a second renormalization scheme, include the omitted terms at least approximately, and specify H(beta). If the Z2-symmetric exclusion turns out to be an artifact of the -1/2 subtraction, the headline 'sub-percent' claim would need substantial revision, so I would not accept the paper in its present form. The paper is otherwise clearly written and the projections are a useful input to FCC discussions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a look. The Kitchen Sink model—SUSY Twin Higgs plus a Gegenbauer spurion—is a real new construction, not a rebranding. The main technical content is the one-loop effective potential with the full h-dependence in the stops, which the earlier SUSY Twin literature dropped. That is where they get the distinct results: the Z2-symmetric limit fails to make log a small enough, and the soft-breaking δm^2 is needed for viable EWSB. The interpolation between pNGB, Twin, and SUSY regimes is clearly explained, and the fine-tuning evolution under HL-LHC, FCC-ee, and FCC-hh is transparently defined. They flag their own caveats about the tuning measure and the UV piece, which is honest.\n\nThe weaknesses are real but not fatal. The claim that the symmetric case is dead rests on Eq. (2.17), where the constant 3/2 and the log are scheme-dependent. The paper itself says log a should be treated as a guide, and the coefficient is not scrutinised against counterterms or the neglected A- and µ-terms. If that coefficient shrinks, the need for δm^2 weakens. Second, the expansion m_S^2 >> y_t^2 s_β^2 f^2/2 is used to get Eq. (2.16), but for m_S = 1.2 TeV and f above about 1.3 TeV that expansion is questionable; the b6 term may or may not block EWSB when the expansion fails, and they do not show a numerical check. Third, the tuning comparisons with the SUSY Twin baseline are not apples-to-apples because the stop masses differ, though they admit this. None of this undermines the central message: even this maximal stack ends up with fine-tuning pushed below the percent level by the combination of FCC-ee and FCC-hh. That message is robust, since it only needs the tuning to grow roughly as v^2/f^2, which is a general pNGB feature.\n\nThe citation pattern is fine; the self-citations to the Gegenbauer papers are to the actual mechanisms, and the new calculations stand apart. This is a paper for particle phenomenologists interested in naturalness and future colliders. It deserves a serious referee: the scheme-dependence check and the numerical verification of the b6 block should be requested, but the paper's core projection is solid.","headline":"An honest construction showing even a maximal naturalness stack gets cornered by precision Higgs measurements, with one scheme-dependence caveat worth pinning down.","tokens_in":14091,"tokens_out":1564,"would_cite":true,"duration_ms":16560,"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":"Even the maximally natural 'Kitchen Sink' Higgs model cannot avoid sub-percent fine-tuning when future colliders find nothing.","keywords":["pNGB Higgs","naturalness","fine-tuning","Twin Higgs","supersymmetry","Gegenbauer potential","Higgs couplings","future colliders"],"falsifier":"Recompute the effective potential at two loops or with a different renormalisation scheme for the stop masses in the $Z_2$-symmetric Kitchen Sink model: if $\\log a$ falls below $1$ at $\\tan\\beta = 1$, the paper's claim that $Z_2$-breaking is required for natural electroweak symmetry breaking would be falsified.","tokens_in":12880,"feed_emoji":"⚛️","tokens_out":11017,"duration_ms":88137,"temperature":0.7,"pith_summary":"The paper argues that Higgs naturalness is at a 'tipping point': if the HL-LHC ends without new particles, precision Higgs coupling measurements will drive the fine-tuning problem more forcefully than direct searches. To make this concrete, the authors build the 'Kitchen Sink' model, a supersymmetric Twin Higgs with a Gegenbauer potential, designed to be as technically natural as possible. They find that even this model, which combines three symmetry-based naturalness mechanisms, has an IR fine-tuning of order one today and would be pushed to sub-percent fine-tuning by the combined FCC-ee and FCC-hh programme if nothing new appears. The result sharpens the stakes for future precision measurements: for pNGB Higgs scenarios, coupling deviations are the most likely first sign of naturalness.","feed_headline":"Even the 'Kitchen Sink' Higgs model faces sub-percent fine-tuning","feed_subtitle":"Future precision colliders would push even the most natural Higgs scenario below one percent fine-tuning.","key_machinery":"The central object is the 'Kitchen Sink' model: a supersymmetric Twin Higgs augmented by a spurion in a traceless symmetric representation of $SO(8) \\to SO(4)_A \\times SO(4)_B$ that generates a Gegenbauer polynomial potential for the pNGB Higgs. The decisive identity is Eq. (2.17): $\\log a = \\frac{3}{2} + \\log\\frac{2 m_S^2}{y_t^2 \\sin^2\\beta\\, f^2} + \\frac{g_Z^2 \\cos^2 2\\beta\\, 2\\pi^2}{N_c y_t^4 \\sin^4\\beta}$, which controls whether the top-sector potential can be minimised at $v \\ll f$; SUSY fixes the interaction strength so this logarithm is too large, forcing the $Z_2$-breaking parameter $\\delta m^2$. The fine-tuning measure $\\Delta$ of Eq. (2.18) quantifies how sensitively $v^2$ and $m_h^2$ depend on the input parameters $\\epsilon$, $m_S^2$, and $\\delta m^2$.","core_discovery":"The core discovery is that in the Kitchen Sink model, which interpolates between SUSY, Twin Higgs, and Gegenbauer pNGB mechanisms, the $Z_2$-symmetric version cannot realise a naturally small electroweak scale: the one-loop effective potential yields $\\log a > 1$ (with the constant $3/2$ from retaining Higgs-dependent stop masses), violating the $\\log a < 1$ condition needed for the Gegenbauer potential to produce $v/f \\ll 1$. Viable electroweak symmetry breaking requires an explicit $Z_2$-breaking soft mass $\\delta m^2$. With that addition, the present IR fine-tuning can still be $\\mathcal{O}(1)$ (around $0.5$), but under SM-like outcomes it would grow by a factor $\\sim 4$ to HL-LHC, $\\sim 20$ to FCC-ee, and $\\sim 50$ to FCC-hh, ultimately forcing the tuning below the percent level. The authors conclude that precision measurements, rather than direct searches, will dominate the naturalness question in the coming decades.","pith_inferences":["The scheme-dependence of the $3/2$ constant in $\\log a$ suggests the $Z_2$-symmetric obstruction may not hold under scheme changes; a full two-loop matching could restore the symmetric scenario, so the model-building conclusion deserves a more complete calculation.","If the fine-tuning projections are correct, then a null result at FCC-ee for $\\delta h_{VV}$ and at FCC-hh for stops would simultaneously disfavour all three naturalness mechanisms, implying that any natural Higgs sector must involve states or couplings outside these symmetry-based recipes.","The Kitchen Sink construction illustrates that stacking naturalness mechanisms does not qualitatively change the outlook from precision; the 'naturalness frontier' may shift from inventing new symmetries to computing the effective potential at higher loop order."],"forward_implications":["If no new physics is found at the HL-LHC, precision Higgs coupling measurements will dominate the naturalness picture for pNGB Higgs models, increasing the fine-tuning by about a factor of 4.","FCC-ee would probe Higgs couplings an order of magnitude deeper, but would only push the Kitchen Sink tuning by another factor $\\sim 5$, because for $f > 3\\,\\mathrm{TeV}$ the model reverts to a supersymmetric regime with light stops.","FCC-hh, with a stop reach around 10 TeV, would force the fine-tuning of the Kitchen Sink model to at least the sub-percent level, a factor $\\sim 50$ worse than today.","The Gegenbauer mechanism requires all other contributions to the Higgs potential to be small, which selects $\\tan\\beta \\approx 1$ and $\\log a < 1$, pointing to a perturbative UV completion such as SUSY.","The $Z_2$-symmetric version of the model cannot realise natural electroweak symmetry breaking; a $Z_2$-breaking stop soft mass is necessary, and this breaking is itself a source of tuning."],"supporting_citations":[{"why":"Introduces the Gegenbauer potential from a higher-dimensional spurion, the mechanism that can naturally generate $v/f \\ll 1$.","marker":"[11]"},{"why":"Establishes the Gegenbauer Twin scenario and the $\\log a < 1$ condition that the Kitchen Sink model must satisfy.","marker":"[12]"},{"why":"Supplies the supersymmetric Twin Higgs model and its scalar potential, which the Kitchen Sink model extends.","marker":"[25]"},{"why":"Provides the projected HL-LHC, FCC-ee, and FCC-hh sensitivities to Higgs couplings used to project the future fine-tuning.","marker":"[4]"},{"why":"Gives the log-derivative fine-tuning measure $\\Delta$ that the paper uses to quantify tuning.","marker":"[30]"},{"why":"Gives the form of the top-sector radiative potential and the expectation $a \\approx g_*^2/y_t^2$ for composite Twin Higgs scenarios.","marker":"[18]"}],"fun_headline_variants":["pNGB Higgs naturalness at a precision tipping point","Precision colliders to tip pNGB Higgs naturalness to sub-percent","Even Kitchen Sink Higgs model succumbs to precision tuning","Kitchen Sink Higgs: precision tipping point for naturalness"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The conclusion that the $Z_2$-symmetric Kitchen Sink model cannot be natural rests on the one-loop effective potential and the criterion $\\log a < 1$; the constant $3/2$ in $\\log a$ is a scheme-dependent matching coefficient, and if a different subtraction made it smaller, the symmetric scenario could be viable without the ad hoc $Z_2$-breaking term.","fun_headline_variants_meta":{"raw":{"variants":["pNGB Higgs naturalness at a precision tipping point","Precision colliders to tip pNGB Higgs naturalness to sub-percent","Even Kitchen Sink Higgs model succumbs to precision tuning","Kitchen Sink Higgs: precision tipping point for naturalness"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001027,"raw_usage":{"total_tokens":4325,"prompt_tokens":940,"completion_tokens":3385,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":556,"completion_tokens_details":{"reasoning_tokens":3312}},"tokens_in":556,"tokens_out":3385,"duration_ms":22865,"temperature":1.0,"reasoning_tokens":3312,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T22:49:44.101924+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the effective potential at two loops or with a different renormalisation scheme for the stop masses in the $Z_2$-symmetric Kitchen Sink model: if $\\log a$ falls below $1$ at $\\tan\\beta = 1$, the paper's claim that $Z_2$-breaking is required for natural electroweak symmetry breaking would be falsified.","supporting_citations":[{"cited_title":"Gegenbauer Goldstones","cited_arxiv_id":"2110.06941","evidence_quote":"Introduces the Gegenbauer potential from a higher-dimensional spurion, the mechanism that can naturally generate $v/f \\ll 1$."},{"cited_title":"Gegenbauer's Twin","cited_arxiv_id":"2202.01228","evidence_quote":"Establishes the Gegenbauer Twin scenario and the $\\log a < 1$ condition that the Kitchen Sink model must satisfy."},{"cited_title":"Barbieri and G","cited_arxiv_id":null,"evidence_quote":"Gives the log-derivative fine-tuning measure $\\Delta$ that the paper uses to quantify tuning."}],"review_version":1}