{"id":"dd3d1b4c-99f1-44a9-83ff-b037814c883e","arxiv_id":"2412.00355","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper constructs a non-linear 'U representation' that separates Goldstone bosons from heavy scalars, enabling straightforward tree-level HEFT matching for general scalar extensions and giving explicit formulas for real and complex multiplets.","lead":"This paper introduces a way to rewrite theories with extra scalar particles so that the Goldstone bosons are factorized into a single matrix, which makes matching from UV models to the Higgs Effective Field Theory more direct. The method is demonstrated on a real triplet extension and then given in general tensor form for arbitrary scalar multiplets, which could speed up model comparisons for collider searches.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The most load-bearing gap is the O(ξ²) RHTE matching in §3.2.2: the EoMs and heavy-field kinetic normalization are not shown, and field-dependent kinetic terms of order ξ (hidden in Eq. 3.15) can contribute at O(ξ²), leaving Table 1 not independently checkable.","rationale":"The reader's weakest_assumption focuses on the unproven extension to two or more scalar multiplets (e.g., Georgi-Machacek). I agree that this is a gap in the generality claim, and Section 5's assertion is not a proof. However, I see a more immediate load-bearing issue in the paper's only complete worked example: the RHTE matching. The headline claim in the abstract and Section 3.2.2 is a 'complete matching' to O(ξ²), and Table 1 gives concrete coefficients, yet the derivation is almost entirely omitted. In tree-level matching, terms of order ξ in the kinetic Lagrangian can contribute to O(ξ²) Wilson coefficients after the heavy fields are integrated out, so the absence of the EoM details means the one quantitative result cannot be checked from the text. If an independent recalculation confirms Table 1, this concern is resolved and the reader's conditional verdict stands; if the coefficients shift, the central demonstration fails. The multi-multiplet generalization still needs proof, but it is explicitly future work, whereas the RHTE matching is the paper's promised complete result. I therefore keep the verdict as conditional (UNCHANGED) and would not escalate to rejection without evidence of an actual error.","tokens_in":18761,"tokens_out":23453,"duration_ms":230365,"concrete_test":"Independently reconstruct the RHTE matching in the U representation: write out the complete kinetic Lagrangian from Eqs. (3.13)-(3.17) including all ρ/Φ-dependent terms, diagonalize the quadratic heavy kinetic and mass terms for h, ϕ0, ϕ±, solve the tree-level EoMs for K0 and H± to O(ξ²), and substitute back to obtain the HEFT functions. Compare the resulting Δa, Δb, Δα, Δa^C, Δb^C, ck_i, Δκ3, Δκ4 with Table 1; in particular, check whether the O(ξ) interaction ⟨U†DµU ρDµR†⟩ shifts the O(ξ²) coefficients. A symbolic-algebra implementation (e.g., Mathematica) would settle the point definitively.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central demonstration of the paper is the claimed complete RHTE matching at O(ξ²), Eqs. (3.28)-(3.30) and Table 1. The derivation is not actually presented: the text states that heavy fields K0 and H± are expanded and the EoMs solved order by order (Eq. 3.27), but neither the EoMs, their solutions, nor the kinetic normalization of the heavy fields are given. This matters because the U-representation kinetic Lagrangian contains more than the VEV-proportional mixing displayed in Eqs. (3.15)-(3.17): terms such as ⟨U†DµU ρDµR†⟩ and ⟨U†DµU ρDµρ†⟩ are of order ξ and, after solving the heavy EoMs, can generate O(ξ²) operators. If the omitted calculation did not retain these terms or did not diagonalize the heavy kinetic terms before integrating out, the HEFT coefficients in Table 1 would be incomplete even though the algebraic χ, ρ relations in §4 are internally consistent. The paper's own caveat that detailed results are deferred does not remove this gap, since the O(ξ²) result is advertised as complete. This is a correctness risk, not a disagreement with consensus: the U-representation construction is plausible and the charged-sector examples are mutually consistent, but the one full matching example is not verifiable from the manuscript.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes a \"U representation\" for scalar extensions of the Standard Model, in which each scalar multiplet is rewritten as a Goldstone matrix U (the usual HEFT chiral field) multiplied by a tensor of physical heavy fields. The stated advantage is that tree-level matching to HEFT becomes straightforward because the Goldstone bosons are already packaged in U. The paper works out the real triplet extension in detail, presenting the resulting HEFT Lagrangian at O(ξ²), with ξ = vΣ/vH, in Eqs. (3.28)–(3.30) and Table 1, and then uses tensor notation to give general formulas for the heavy doublet components χ0 and χ+ for complex and real multiplets, Eqs. (4.23), (4.28), and (4.32), with complex triplet and two quadruplet examples.","tokens_in":19110,"tokens_out":6684,"duration_ms":63556,"significance":"The algebraic formulas in Sect. 4 are explicit, and the paper cross-checks them against the real triplet, complex triplet, and quadruplet cases, including the real-triplet coefficient √(2j(j+1)) in Eq. (4.32). If the U-representation procedure is valid, it gives a practical, systematic way to obtain HEFT operators from single-multiplet scalar extensions, complementing existing SMEFT-first approaches. The main limitation is that the one complete matching demonstration (RHTE) is not reproducible from the provided material, and the claimed generality to multi-multiplet models is asserted rather than shown. These gaps are correctable and do not appear to indicate circularity: the HEFT coefficients are obtained from the UV Lagrangian by field redefinition and solving equations of motion, not fitted to the target operators.","major_comments":[{"comment":"The claimed complete O(ξ²) matching of the real triplet extension is not reproducible from the manuscript. The text states that the heavy fields K0, H± are expanded and the EoMs solved order by order, but neither the EoMs, their solutions, nor the kinetic normalization of the heavy fields is given. In particular, the terms hidden in the ellipsis of Eq. (3.15), such as ⟨U†DµU (R DµR† − DµR R†)⟩ and ⟨(R R†) DµU† DµU⟩, are of order ξ and can contribute at O(ξ²) after solving the heavy-field EoMs. Without showing that these terms were retained and handled consistently, Table 1 cannot be independently verified. The authors should include the full calculation in an appendix or explicitly state which terms are dropped and why.","section":"§3.2.2, Eqs. (3.15), (3.27)–(3.30), Table 1"},{"comment":"The claim that the U representation is \"easily available\" for models with two or more scalar multiplets, such as the Georgi-Machacek model, is not supported by the derivations in the paper. The general formulas in §4.4 assume a single multiplet with a single VEV direction, and the kinetic-mixing cancellation is achieved by linear proportionality relations between the doublet heavy modes and that multiplet's heavy modes (Eqs. (4.23), (4.28), (4.32)). For multiple multiplets with different VEVs, the cancellation conditions generally become a larger linear system, and the paper does not demonstrate that a solution exists. Since the title and abstract advertise \"general scalar extensions,\" this is a load-bearing omission; the authors should either provide a worked multi-multiplet example or restrict the stated scope to single-multiplet extensions.","section":"§5, Conclusion; §4.4"},{"comment":"The proportionality relation ρ̂ = −2(vΣ/vH)[σ3, Φ] is chosen to cancel the kinetic mixing, but the paper does not verify that the resulting heavy sector remains canonically normalized after this field redefinition. In particular, Eq. (3.18) sets ρ3 = 0, and the kinetic Lagrangian for ρ and Φ after substitution is not displayed. If the heavy kinetic terms are not canonically normalized before solving the EoMs, the O(ξ²) coefficients in Table 1 could be shifted by field-rescaling factors. This point is closely related to the missing matching steps in §3.2.2 and should be addressed together with them.","section":"§3.2.1, Eqs. (3.18)–(3.23)"}],"minor_comments":[{"comment":"The tensor formula contains a duplicated dummy index: U^k_{k1} appears twice, so the expression is not a valid tensor contraction as written. The intended formula is clear, but it should be corrected before the general construction is used.","section":"Eq. (4.13)"},{"comment":"The text says that explicit expressions for ∆κ3 and ∆κ4 are not given \"due to its long polynomials,\" but Table 1 does list expressions for them; the wording should be clarified so that the reader knows the table entries are the final results.","section":"§3.2.2, text below Eq. (3.30)"},{"comment":"There are several typographical issues, including \"Golstone\" in Sect. 3.2.1, \"Quatruplet\" in the heading of Sect. 4.2, \"T able 1\" in the table caption, and \"MatchingT ools\" in the introduction. These should be fixed in a final proofreading pass.","section":"Throughout"},{"comment":"The tensor notation in Sect. 3.3 introduces upper and lower indices for (U†DµU) components without an explicit statement of the index convention; defining the convention (e.g., which index is the SU(2)L row and which is the U(1)Y column) would improve readability.","section":"§3.2.1, Eqs. (3.35)–(3.37)"}],"recommendation":"major_revision","confidential_remarks":"The central algebraic construction is promising and the formulas in Sect. 4 show internal consistency, but the RHTE matching calculation is the paper's only complete demonstration and it is currently not verifiable from the manuscript. I would recommend asking the authors to supply the full EoM solution and heavy-field normalization steps, and to either add a multi-multiplet example or revise the generality claim. With those revisions the paper could be suitable for JHEP."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this paper is worth reading, but the part that would make it a self-contained result — the O(ξ²) real-triplet matching — is not actually in the manuscript. The authors jump from expanding heavy fields in powers of ξ to the final HEFT Lagrangian without showing the EoMs, their solutions, or the kinetic normalization of the heavy fields. That matters because field-dependent kinetic terms of order ξ, hidden in the ellipses of Eq. (3.15), can contribute at O(ξ²) after solving the heavy equations. So Table 1 is not independently checkable, and the \"complete matching\" claim is more of a sketch than a derivation.\n\nWhat is actually new and good: the tensor generalization. The U representation itself is a CCWZ-style field redefinition, and for the 2HDM similar constructions exist in Refs. [84,89]. But the explicit general formulas for χ+ and χ0 in §4.4 — Eqs. (4.23), (4.28), and (4.32) — extend this to arbitrary scalar multiplets, and the paper correctly works out the combinatorics for complex triplet, quadruplets, and the real case. The charged-sector examples are internally consistent and reproduce the expected tangent-of-rotation-angle patterns. The kinetic-mixing-cancellation logic is coherent, and the circularity burden is low: χ is fixed by requiring the Goldstones to be massless, not assumed to match a pre-chosen HEFT operator.\n\nThe soft spots are significant but localized. Besides the missing matching details, Section 5 asserts that the construction extends to two or more scalar multiplets \"easily available\" without proof. That is a real gap for models like Georgi-Machacek, where multiple VEVs and multiple heavy multiplets could obstruct a single universal U. There are also minor typos and undefined fields (e.g., H1/H2 in Eq. 3.27 vs. H± elsewhere), but those are easily fixed.\n\nThe paper is for people doing tree-level HEFT matching for scalar extensions. As a technique paper, it has value even before the RHTE example is fully verified. I would send it to peer review, but require the authors to either fill in the EoM solution and kinetic diagonalization for the triplet, or explicitly demote that part to a sketch and reframe the paper around the general U-representation formulas, which are the solid contribution.","headline":"Worth a referee's time: the general tensor-form U representation is the real contribution, but the advertised O(ξ²) real-triplet matching is not checkable as written.","tokens_in":19572,"tokens_out":1639,"would_cite":true,"duration_ms":17562,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Under a non-linear U representation, any scalar multiplet is rewritten as a Goldstone matrix times physical heavy fields, reducing HEFT matching to kinetic-mixing cancellation and polynomial equations of motion.","keywords":["HEFT matching","U representation","scalar multiplet extension","real triplet extension","Goldstone bosons","effective field theory","tree-level matching","custodial symmetry"],"falsifier":"Take the Georgi-Machacek model, which adds two scalar multiplets, write each in the U representation, and solve the kinetic-mixing cancellation conditions; if no linear proportionality of the doublet fields to the heavy fields removes every $(U^\\dagger D_\\mu U)(D^\\mu \\phi)$ term, the asserted generality for multi-multiplet extensions breaks.","tokens_in":18561,"feed_emoji":"⚛️","tokens_out":9955,"duration_ms":81915,"temperature":0.7,"pith_summary":"This paper introduces a way of rewriting any scalar multiplet extension of the Standard Model so that the electroweak Goldstone bosons are pulled out into a single unitary matrix $U$, leaving the physical heavy scalars in a rotated multiplet. The point is to make matching the ultraviolet model onto the Higgs Effective Field Theory (HEFT) a direct calculation: one separates $U$ at the start, cancels Goldstone-heavy kinetic mixings by linear proportionality, then solves the heavy-field equations of motion order by order in the small ratio $\\xi = v_\\Sigma/v_H$. The authors demonstrate the full tree-level matching of the real triplet extension at $O(\\xi^2)$, giving explicit HEFT coefficient functions, and derive general formulas for the physical doublet components for arbitrary scalar multiplets. If correct, this gives a systematic and largely mechanical route from UV scalar extensions to HEFT operators.","feed_headline":"One U matrix separates Goldstones from heavy scalars","feed_subtitle":"That turns matching new scalar physics to HEFT into algebra, demonstrated fully for the real triplet model.","key_machinery":"The central object is the $U$ matrix, defined as the exponential of the three Goldstone fields times the Pauli matrices, $U \\equiv \\exp(i\\pi^i\\sigma^i/v)$, interpreted both as the HEFT Goldstone matrix and as a special $SU(2)_L$ rotation. The method factors $U$ out of every scalar multiplet, leaving physical fields $\\phi$; this moves all Goldstone dependence into kinetic terms, and the requirement that Goldstones remain massless fixes the physical heavy components inside the rotated doublet through linear proportionality conditions. In tensor notation the same factorization is applied index by index, and the combinatorial factors from symmetrized indices produce the general formulas for $\\chi^0$ and $\\chi^+$.","core_discovery":"Central claim: every scalar multiplet of a UV extension can be written as $\\Phi_{i_1\\cdots i_{2j}} = U_{i_1}^{\\,i_1'} \\cdots U_{i_{2j}}^{\\,i_{2j}'} \\phi_{i_1'\\cdots i_{2j}'}$, with $U = \\exp(i \\pi^i \\sigma^i / v)$ being at once the HEFT Goldstone matrix and a special $SU(2)_L$ rotation. Because the scalar potential is $U$-independent, the only $U$-dependent terms are kinetic; the Goldstone-heavy kinetic mixing is then cancelled by choosing the heavy components inside the rotated doublet to be linear proportionalities of the heavy multiplet fields. For the real triplet extension the matching is completed at $O(\\xi^2)$ with $\\xi = v_\\Sigma/v_H$, giving the HEFT coefficient functions in Table 1; at $O(\\xi^3)$ four-derivative operators appear. The generalization to one arbitrary multiplet yields the closed formulas $\\chi^0 = -2y (v_\\phi/v_H)\\eta_0$ and $\\chi^+ = (v_\\phi/v_H)(\\sqrt{(j-y)(j+y+1)}\\,\\phi^{-*} - \\sqrt{(j+y)(j-y+1)}\\,\\phi^+)$, with $\\chi^+ = \\sqrt{2j(j+1)}(v_\\phi/v_H)\\phi^+$ in the real case.","pith_inferences":["If the construction holds for one multiplet at a time, the entire tree-level HEFT matching for arbitrary scalar extensions could be automated as a small tensor-algebra routine, since the mixing cancellation is purely combinatorial.","The closed formulas for $\\chi^+$ and $\\chi^0$ could serve as a cross-check for HEFT matching results obtained in a Higgs basis or by diagrammatic methods, where the Goldstones are not separated from the start.","The claimed extension to models with two or more scalar multiplets, such as the Georgi-Machacek model, is only asserted in the paper and not demonstrated; if the cancellation conditions cannot be satisfied there, the method would apply only to single-multiplet extensions.","If the U factorization survives loop-level matching, the Goldstone dependence would remain confined to the U matrix while heavy propagators depend only on the physical $\\phi$ fields, which would simplify higher-order matching considerably."],"forward_implications":["For the real triplet extension, the complete tree-level HEFT matching at $O(\\xi^2)$ gives explicit coefficient functions: $\\Delta_a = 4\\xi^2$, $\\Delta_b = 16\\xi^2$, $\\Delta_\\alpha = 2\\xi^2$, $\\Delta_{a/C} = 8\\xi^2$, $\\Delta_{b/C} = 12\\xi^2$, $c^k_1 = 0$, $c^k_2 = 2\\xi^2$, and $\\Delta\\kappa_3$, $\\Delta\\kappa_4$ proportional to $(2 - Z_3/Z_1)\\xi^2$.","At the next order, $O(\\xi^3)$, the representation generates four-derivative operators such as $\\langle D_\\mu U^\\dagger D^\\mu U\\rangle\\langle D_\\nu U^\\dagger D^\\nu U\\rangle$ in the matched HEFT.","For any single scalar multiplet with weak isospin $j$ and hypercharge $y$, the physical charged and CP-odd states inside the rotated doublet are fixed by the closed-form relations for $\\chi^+$ and $\\chi^0$, so the matching reduces to solving polynomial heavy-field equations of motion.","In the real multiplet case ($y=0$, integer $j$), there is no neutral-sector mixing, $\\chi^0 = 0$, and the charged proportionality is $\\chi^+ = \\sqrt{2j(j+1)}(v_\\phi/v_H)\\phi^+$.","Because the potential is $U$-independent by construction, the same representation should carry the heavy-sector renormalization structure based on gauge-invariant vacuum expectation values of non-linear Higgs representations."],"supporting_citations":[{"why":"Supplies the transformation law $U \\to g_L U g_Y^\\dagger$ used throughout the construction.","marker":"[25]"},{"why":"First systematic HEFT matching for the SM plus a heavy singlet; the context this paper extends to general scalar multiplets.","marker":"[80]"},{"why":"Earlier HEFT matching of singlet extensions and the 2HDM showing that different power countings give different results; the paper positions its method against this.","marker":"[81]"},{"why":"Matching the 2HDM to HEFT and SMEFT, providing the prior approach for extended scalar sectors that U representation is meant to simplify.","marker":"[65]"},{"why":"Writes 2HDM doublets in bidoublet forms rotated by U matrices, which the paper identifies as U representation for doublet extensions.","marker":"[84]"},{"why":"CCWZ construction that defines the Goldstone matrix U used in HEFT.","marker":"[85]"},{"why":"Provides the experimental bound $\\xi < 0.02$ used as the power-counting parameter in the triplet matching.","marker":"[87]"},{"why":"Gives the tangent rotation angles for the complex triplet, which the U-representation proportionality factors reproduce.","marker":"[88]"},{"why":"Gauge-invariant vacuum expectation values for non-linear Higgs representations, which the paper says the U representation is helpful for in renormalization.","marker":"[89]"}],"fun_headline_variants":["U matrix turns HEFT matching into pure algebra","Non-linear U representation simplifies HEFT matching to triplet","Closed-form HEFT matching for any scalar extension via U","Matching scalar extensions to HEFT reduced to algebra with U","One U matrix decouples Goldstones from heavy scalars"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction assumes that one and the same Goldstone matrix $U$ can be pulled out of every new scalar multiplet and that all unwanted Goldstone-heavy kinetic mixings can be removed by simple proportional relations between fields; this is proved for one extra multiplet and only asserted for several.","fun_headline_variants_meta":{"raw":{"variants":["U matrix turns HEFT matching into pure algebra","Non-linear U representation simplifies HEFT matching to triplet","Closed-form HEFT matching for any scalar extension via U","Matching scalar extensions to HEFT reduced to algebra with U","One U matrix decouples Goldstones from heavy scalars"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000239,"raw_usage":{"total_tokens":1529,"prompt_tokens":973,"completion_tokens":556,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":589,"completion_tokens_details":{"reasoning_tokens":476}},"tokens_in":589,"tokens_out":556,"duration_ms":4939,"temperature":1.0,"reasoning_tokens":476,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:28:29.937147+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the Georgi-Machacek model, which adds two scalar multiplets, write each in the U representation, and solve the kinetic-mixing cancellation conditions; if no linear proportionality of the doublet fields to the heavy fields removes every $(U^\\dagger D_\\mu U)(D^\\mu \\phi)$ term, the asserted generality for multi-multiplet extensions breaks.","supporting_citations":[],"review_version":1}