{"id":"5d20fe92-6929-4105-8838-39024963598f","arxiv_id":"2608.11306","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Functional matching is reviewed and applied to the Higgs singlet extension; rewriting the resulting EFT in SMEFT form requires fermionic operators even when the heavy Higgs sector has no direct fermion couplings.","lead":"This paper reviews a method for turning a theory with one very heavy new particle into a simpler low-energy theory by integrating the heavy particle out. The main finding is that when the simplified theory is put into the standard form used by experimentalists, it acquires interactions with fermions even though the heavy particle itself never coupled to fermions.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central claim rests on the unshown EOM reduction of Form 1 to Form 2; the no-four-fermion assertion is specifically vulnerable.","rationale":"The reader's weakest assumption (the 1/M_H scaling of the mixing angle) is a stated modeling choice and is not where the central claim is least secure within that regime. The more load-bearing step is the asserted but not demonstrated conversion of Form 1 to Form 2. The proceedings explicitly imports the one-loop Wilson coefficients and the equivalence from Refs. [1,2]; footnote 1 shows that the second form was added only after an external remark, making independent verification important. I therefore keep the reader's CONDITIONAL verdict: the paper should be accepted only conditional on the full derivation in [2] standing up to this EOM-reduction check. The concrete test above settles the concern. No ad hominem; the issue is purely the unshown algebraic step.","tokens_in":7877,"tokens_out":12024,"duration_ms":117126,"concrete_test":"Take the complete list of non-SMEFT operators O_1...O_8 from Ref. [2] and apply the classical SU(2)xU(1) background-field EOMs at the order used in Eq. (10), retaining all dimension-six terms. Check (a) whether the resulting Lagrangian can be expressed in the bosonic Warsaw basis alone; (b) whether four-fermion operators with nonzero coefficients are generated. If (a) succeeds, the claimed necessity of fermionic SMEFT operators is false; if (b) occurs, Eq. (10) is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 4's central assertion—that the SESM one-loop EFT cannot be written in SMEFT form with only bosonic operators, and requires fermionic operators O_PhiF while producing no four-fermion operators—depends entirely on the equivalence between Form 1 (Eq. 7 with the non-SMEFT O_n exemplified in Eq. 9) and Form 2 (Eqs. 10–11). The text describes the bridge only as 'EOMs of the gauge-boson fields', with no reduction shown. That bridge is load-bearing: the non-SMEFT operators include O_1 = (v+h)^2 (D_B·C)^a (D_B·C)^a, and applying gauge-field EOMs to such a structure generically produces fermion-bilinear currents; whether the result is exactly the listed O_PhiF operators and no four-fermion operators is a nontrivial algebraic statement. The paper imports this from Ref. [2], and footnote 1 records that Form 2 was not in the original preprint but arose from an external remark, so the second form is an add-on rather than a derivation exhibited here. If the EOM reduction instead maps Form 1 onto bosonic SMEFT operators, or produces four-fermion operators, the headline claim fails as stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This proceedings paper summarizes the functional matching method developed in Refs. [1,2] for deriving one-loop effective Lagrangians by integrating out heavy fields, using the Higgs Singlet Extension of the Standard Model (SESM) with a heavy second Higgs boson as the worked example. The method combines the background-field method, expansion by regions, diagonalization of mass matrices, and equations of motion for soft heavy-field modes; hard heavy-field modes are integrated out analytically and redundant EFT operators are removed by EOMs and integration by parts. The main physics claim is that, in the scaling regime M_H ~ zeta, s_alpha ~ 1/zeta, lambda_12 ~ 1, the one-loop EFT of the SESM cannot be written in SMEFT form using only bosonic operators: although the BSM sector does not couple directly to the massless SM fermions, the EFT can be cast into SMEFT form only by introducing fermionic operators O_PhiF, while no four-fermion operators are generated. Two forms of the EFT are presented: Form 1 contains bosonic non-SMEFT operators and Form 2 contains SMEFT operators including fermionic ones. The paper reports validation against full-theory predictions, exemplified by the BSM contribution to the W-boson mass in Figure 1.","tokens_in":8092,"tokens_out":6473,"duration_ms":110793,"significance":"If the claims are correct, the paper draws attention to a conceptually important and practically relevant point: a fermiophobic heavy sector can induce fermionic SMEFT operators at one loop through gauge-boson EOMs, so fits restricted to purely bosonic SMEFT bases could miss physical effects. The method itself is algorithmic, parameter-free in the sense that no Wilson coefficients are fitted, and it is validated by direct comparison with the full SESM, which is a meaningful check. The presentation is transparent about the tree-level/loop-level separation and about the decoupling assumption. However, the present text is a summary of Refs. [1,2]: Eq. (11), the central expression for the Form 2 Wilson coefficients, is quoted rather than derived, and the numerical validation in Figure 1 is imported from Ref. [2]. In particular, the EOM reduction from Form 1 to Form 2—the load-bearing step for the headline claim—is not exhibited in this manuscript.","major_comments":[{"comment":"The central claim of the paper—that the one-loop SESM EFT cannot be brought into SMEFT form with only bosonic operators and requires fermionic operators O_PhiF—rests entirely on the equivalence between Form 1 and Form 2. This equivalence is not demonstrated here. The text only states that the fermionic operators arise from the equations of motion of the gauge-boson fields, and Eq. (11) is quoted from Ref. [2]; footnote 1 records that Form 2 was not in the original preprint and was added after an external remark. Please include the explicit EOM (and IBP/field-redefinition) steps that transform the non-SMEFT operators, e.g. O_1 in Eq. (9), into the operators listed in Eq. (10), and show in particular why no four-fermion operators survive. Without this derivation, the headline statement in Section 1 is not verifiable from the present manuscript.","section":"Section 4, Eqs. (7)-(11)"},{"comment":"Eq. (11) presents Wilson coefficients as functions of D with explicit 1/epsilon poles through I20, but the manuscript does not state whether these are bare matching coefficients and how the one-loop EFT renormalization produces the finite physical coefficients. This distinction matters because Figure 1 reports a comparison with the full theory and because footnote 2 already points to scheme subtleties (PRTS vs GIVS). Please specify the renormalization prescription for the coefficients in Eq. (11), or state explicitly that these are bare expressions and give the finite renormalized combinations used in the validation.","section":"Section 4, Eq. (11)"},{"comment":"The numerical validation shown in Figure 1 is imported from Ref. [2] without stating the input parameters, the precise definition of the EFT and full-theory predictions, or the quantitative criterion behind the statement that the difference vanishes faster than 1/M_H^2. As it stands, the figure supports the central claim only by reference. Please add a self-contained description of the validation setup, including the values used for M_h, v_2, lambda_12, s_alpha M_H, and how the residual difference scales with zeta.","section":"Section 4, Figure 1"}],"minor_comments":[{"comment":"The sentence 'the fields \\hat\\phi deliver the tree-like lines and and the fields \\phi...' contains a duplicated 'and'; please fix this typo.","section":"Section 3a"},{"comment":"The phrase 'not yet part of of the procedure' contains a duplicated 'of'; please fix this typo.","section":"Section 3b"},{"comment":"The ellipsis inside the definition of O_1 is ambiguous; please either define all structures explicitly or refer to the corresponding appendix of Ref. [2].","section":"Section 4, Eq. (9)"},{"comment":"The notation \\hat C_i for Form 2 and C_i^{SMEFT} for Form 1 is not explained; please state explicitly that the two sets of coefficients differ and why, since the operator bases are related by EOMs rather than identical.","section":"Section 4"},{"comment":"The scaling s_alpha ~ 1/M_H is an explicit assumption of the calculation; a brief reminder that all conclusions apply only in this decoupling regime would help prevent misinterpretation.","section":"Section 2"},{"comment":"Footnote 2 is very dense; if it is kept, consider moving the PRTS/GIVS discussion into the main text or an appendix for readability.","section":"Footnote 2"}],"recommendation":"major_revision","confidential_remarks":"This is a proceedings contribution, and it is reasonable for the authors to rely on Refs. [1,2] for many technical details. Nevertheless, the surprising fermionic-operator claim is the central novelty of the contribution, and the present text does not contain enough of the derivation to make that claim checkable. I would encourage the editor to ask for an expanded Section 4 with at least a schematic but explicit EOM reduction, even if this exceeds the usual proceedings length, or to have the authors frame the paper more clearly as a review of Ref. [2] rather than as a new derivation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a conference proceedings review of the authors' own functional matching method, not a new research paper. What it does well: it gives a compact and readable account of the method, states the scaling assumptions (alpha ~ 1/M_H) explicitly, and reports a concrete validation—the EFT/full-theory comparison for M_W, decay widths, etc. It also credits the origin of the second form of the Lagrangian to a remark by Gerhard Buchalla, which is honest.\n\nThe interesting claim is that the one-loop EFT of a fermiophobic heavy singlet, after EOM reduction, requires fermionic SMEFT operators even though no fermions appear in the integrated-out sector. That claim is plausible, and the cited longer papers [1,2] presumably contain the full derivation. But this text does not. The bridge from Form 1 to Form 2 is described only as 'EOMs of the gauge-boson fields'—no reduction is shown. Eq. (11) is quoted; the 'no four-fermion operators' statement sits on the same unshown step. For a proceedings article, that is acceptable, but the current preprint is not self-contained, and the stress-test note is right: if that EOM reduction behaves differently than the authors claim, the headline conclusion fails. I would have liked a pointer to the exact section of [2] where the reduction is carried out.\n\nThe scaling assumption is stated up front, so it is not a hidden flaw. The conclusions are properly restricted to the 1/M_H limit. The internal logic is consistent, and the validation in Fig. 1 is a meaningful check, even if imported from [2].\n\nSome minor issues: the abstract and Section 1 repeat the same sentences, and there are a few typos ('and and' in Section 3a, 'in the the' in Section 1). Nothing substantive.\n\nBottom line: this is a useful, honest overview of a substantial calculation. It deserves a referee mainly to check that it faithfully represents [1,2] and that the EOM step is correctly credited. I would not desk reject it, but it is not a contribution you would cite in place of the originals. If the goal is a self-contained paper, it needs the derivation or an explicit reference to where it appears.","headline":"A clear, honest proceedings review of the authors' own functional-matching work; the fermionic-operator claim is plausible but not verifiable from this summary alone.","tokens_in":8668,"tokens_out":3135,"would_cite":false,"duration_ms":26949,"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":"A heavy Higgs singlet with no direct fermion couplings forces fermionic SMEFT operators into the low-energy theory at one loop.","keywords":["functional matching","effective field theory","SMEFT","Higgs singlet extension","heavy Higgs decoupling","background-field method","expansion by regions","equations of motion operator reduction"],"falsifier":"Repeat the one-loop functional matching for the SESM with the mixing angle scaled as $s_\\alpha \\sim M_H^0$ instead of $1/M_H$, and check whether the resulting effective theory can be reduced to pure bosonic SMEFT form without residual non-SMEFT operators; if it can, the paper's need for fermionic SMEFT operators is specific to the weak-mixing decoupling limit rather than generic to fermiophobic heavy scalars.","tokens_in":7660,"feed_emoji":"⚛️","tokens_out":9260,"duration_ms":78923,"temperature":0.7,"pith_summary":"This paper establishes a claim about effective field theory, not just a new calculational recipe: in a Higgs singlet extension of the Standard Model with a heavy second scalar, the one-loop low-energy theory cannot be written with bosonic SMEFT operators alone, even though the heavy scalar has no coupling to the massless fermions. The authors show that a fully SMEFT-compatible Lagrangian can be obtained, but only by allowing fermionic operators whose Wilson coefficients are seeded by the mixing angle and fermion hypercharges. These fermionic operators are not produced by direct heavy-particle emission; they appear when equations of motion for gauge fields are used to eliminate non-SMEFT bosonic operators. The consequence is that top-down matching can move effects across operator sectors, so a purely bosonic SMEFT fit would not capture the complete one-loop physics of this model. The result matters for global SMEFT interpretations, where bosonic and fermionic operator sectors are usually treated as independent.","feed_headline":"Fermiophobic heavy Higgs still needs fermionic SMEFT operators","feed_subtitle":"Matching a decoupled singlet scalar to the SM at one loop requires fermionic operators even with no direct fermion couplings.","key_machinery":"The central object is the functional matching procedure in the form developed by the authors: the background-field method separates tree and loop effects, the expansion by regions splits heavy-field modes into hard and soft parts, hard quantum modes are integrated out in a Gaussian path integral after a field redefinition, and the soft heavy-mode equations of motion eliminate the remaining heavy-field dependence. A Neumann series in $1/M_H$ carries out the large-mass expansion. The decisive mechanism for the paper's surprise is the final operator reduction: applying the gauge-boson equations of motion to remove non-SMEFT bosonic operators produces fermionic SMEFT operators, so the canonical form is reached only at the price of crossing the boson–fermion operator boundary.","core_discovery":"In the decoupling limit with $M_H$ large, $s_\\alpha \\sim 1/M_H$, and $\\lambda_{12}$ fixed, the one-loop EFT from integrating out the heavy Higgs has two physically equivalent forms. Form 1 consists of bosonic SMEFT operators plus eight non-SMEFT bosonic operators; Form 2 is strictly SMEFT but must include the fermionic operators $\\mathcal{O}_{\\Phi F}^{(1)}$, $\\mathcal{O}_{\\Phi F}^{(3)}$, and $\\mathcal{O}_{\\Phi f}$, whose coefficients are proportional to $s_\\alpha^2$ and to the fermion hypercharges. No four-fermion operators are generated. The fermionic terms arise from the equations of motion of the gauge-boson fields, which mix bosonic and fermionic operators during the reduction to canonical form. Hence the paper proves that a bosonic-only SMEFT basis is not sufficient for this theory at one loop, and that the operator content of the EFT is shaped by the basis choice, not just by the ultraviolet couplings.","pith_inferences":["A likely general lesson is that the operator content of a top-down EFT is not an intrinsic property of the ultraviolet model; equations of motion make it basis-dependent, so comparisons of 'which operators are generated' across matching calculations must specify the chosen operator basis.","In global SMEFT fits to electroweak data, bounds on fermionic operators may indirectly constrain the singlet–doublet mixing angle of fermiophobic scalar extensions, because the one-loop matching ties those coefficients to $s_\\alpha^2$.","A natural test is to repeat the matching with a linear parametrization of the Higgs doublet or with two heavy singlets; persistence of the fermionic-operator mechanism would indicate it is generic rather than an artifact of the non-linear field coordinates."],"forward_implications":["In the SESM decoupling limit, any SMEFT fit restricted to bosonic operators is missing one-loop effects; fermionic operators must be included for a physically equivalent description.","The size of the induced fermionic coefficients is set by $s_\\alpha^2$ and hypercharges, so nonzero fermionic Wilson coefficients do not by themselves signal direct fermionic new-physics couplings.","The two Lagrangian forms are equivalent on-shell: the non-SMEFT bosonic form and the SMEFT form with fermionic operators give the same predictions for physical observables after field redefinitions.","In the considered decoupling limit, the EFT reproduces full-theory results for $M_W$ and related electroweak observables up to corrections that vanish faster than $1/M_H^2$."],"supporting_citations":[{"why":"Foundational paper that introduces the functional matching variant and fixes the SESM conventions used throughout.","marker":"[1]"},{"why":"Companion paper containing the full one-loop effective Lagrangians and the validation against full-theory observables; the central claim is established there and summarized here.","marker":"[2]"},{"why":"Earlier method that integrates out heavy fields in the path integral with a non-linear Higgs realization, which the present method develops further.","marker":"[3]"},{"why":"Supplies the expansion by regions used to split hard and soft field modes in the large-mass expansion.","marker":"[14]"},{"why":"Defines the canonical SMEFT operator basis used to decide which operators are of SMEFT type and which are not.","marker":"[15]"}],"fun_headline_variants":["Heavy Higgs at one loop forces fermionic SMEFT operators","Bosonic-only heavy scalar still yields fermionic SMEFT terms","Decoupling scalar requires fermionic operators in canonical SMEFT","Fermiophobic scalar: SMEFT still gets fermionic operators","Even with no fermion couplings, SMEFT gains fermionic terms"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing modeling assumption is that the Higgs mixing angle is suppressed as $1/M_H$ in the large-mass limit; if the mixing angle is not parametrically small, the heavy Higgs does not decouple in the same way and the argument that fermionic SMEFT operators are required may not transfer.","fun_headline_variants_meta":{"raw":{"variants":["Heavy Higgs at one loop forces fermionic SMEFT operators","Bosonic-only heavy scalar still yields fermionic SMEFT terms","Decoupling scalar requires fermionic operators in canonical SMEFT","Fermiophobic scalar: SMEFT still gets fermionic operators","Even with no fermion couplings, SMEFT gains fermionic terms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001467,"raw_usage":{"total_tokens":5906,"prompt_tokens":957,"completion_tokens":4949,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":573,"completion_tokens_details":{"reasoning_tokens":4861}},"tokens_in":573,"tokens_out":4949,"duration_ms":29906,"temperature":1.0,"reasoning_tokens":4861,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:13:03.164990+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Repeat the one-loop functional matching for the SESM with the mixing angle scaled as $s_\\alpha \\sim M_H^0$ instead of $1/M_H$, and check whether the resulting effective theory can be reduced to pure bosonic SMEFT form without residual non-SMEFT operators; if it can, the paper's need for fermionic SMEFT operators is specific to the weak-mixing decoupling limit rather than generic to fermiophobic heavy scalars.","supporting_citations":[],"review_version":1}