{"id":"c63ed76c-6cca-4b56-86fe-e625f1841e5b","arxiv_id":"2412.15067","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Hidden sectors coupled through the Higgs, neutrino, or hypercharge portal always generate a fixed set of dimension-six SMEFT operators, with signs fixed by causality and unitarity when the UV scaling is mild.","lead":"This paper shows that when a generic hidden sector talks to the Standard Model through one of three simple portals, the low-energy effects are completely fixed: one or two specific operators, with signs dictated by causality and unitarity. This gives model-independent targets for collider and precision searches and clarifies which hidden-sector scenarios are still allowed.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"The paper's main result is a model-independent statement about the forms and signs of dimension-six operators generated by integrating out a hidden sector coupled through the Higgs, neutrino, or hypercharge portal. The derivation rests on the Källén-Lehmann representation, which is valid for any local, causal, unitary QFT with a mass gap. For the Higgs portal, the two-point function of the scalar hidden-sector operator yields only OH□ at order λ², with a positive coefficient in front of ∂(H†H)·∂(H†H), corresponding to CH□ ≤ 0; OH arises at order λ³ and has unconstrained sign. For the neutrino portal, Lorentz invariance of the fermionic spectral function forces the leading term to be OℓH with positive coefficient. For the hypercharge portal, the antisymmetric tensor spectral function has two positive form factors, and the leading momentum-dependent correction is O2B with positive coefficient. I checked the sign conventions and the expansion of the dispersive integrals; they are consistent. The paper explicitly discloses the endpoint scaling-dimension caveat and the lepton-number assumption. The numerical fit is not the central claim and is adequately cross-checked, so the absence of released code does not affect the verdict. The reader's weakest assumption—a causal, unitary, gapped hidden sector—is exactly the assumption under which the central claim is derived, and the paper states it prominently. No circular step, missing proof, or internal inconsistency was found; the argument is sound and the verdict ACCEPT is appropriate.","tokens_in":22332,"tokens_out":30731,"duration_ms":215444,"concrete_test":"Implement a minimal UV completion, e.g., a heavy real scalar singlet S with L ⊃ −λ H†H S − 1/2 M² S², and perform a one-loop matching computation of the coefficient of OH□; verify that the resulting coefficient is negative and reproduces the sign predicted by the spectral positivity argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing concern identified. The central derivation is a direct application of Källén-Lehmann spectral representations to the portal two-point functions: the operator forms follow from the Lorentz and gauge quantum numbers of the portal, and the sign restrictions follow from the positivity of the spectral densities, which is a consequence of unitarity. The stated assumptions—hidden-sector states above the weak scale, perturbative portal coupling, and for the neutrino portal the absence of lepton-number violation—are explicit and define the regime of validity of the claims. The paper itself flags the endpoint cases (ΔS = 3, ΔF = 5/2, ΔT = 3) as only logarithmically enhanced and therefore 'expected' rather than rigorously proven, which is an honest limitation rather than a hidden flaw. The global fit is standard, cross-checked with an independent package, and finds no BSM preference; the lack of released code is a reproducibility concern but not a correctness concern. The central claim, that the leading dimension-six operator forms are fixed by the portal and do not depend on hidden-sector dynamics, is internally consistent and supported by the derivations in Section 2.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper considers a general hidden sector coupled to the Standard Model through one of three portals—Higgs, neutrino, or hypercharge—with the portal coupling treated perturbatively and all hidden-sector states assumed to lie above the weak scale. Using Källén-Lehmann spectral representations and the positivity of the spectral density that follows from unitarity, the authors show that the leading dimension-six SMEFT operators generated after integrating out the hidden sector have portal-dependent fixed forms: only O_H and O_H□ for the Higgs portal, with C_H□ ≤ 0 for Δ_S ≤ 3; only O_ℓH = (ℓH)^† iσ̄^μ ∂_μ(ℓH) = 1/4(O_Hℓ^(1) − O_Hℓ^(3)) for a single-generation lepton-number-conserving neutrino portal, with C_ℓH ≥ 0 for Δ_F ≤ 5/2; and only O_2B = −1/2(∂_ρ B_μν)(∂^ρ B^μν) for the hypercharge portal, with C_2B ≥ 0 for Δ_T ≤ 3. The paper then performs global fits to electroweak precision observables, Higgs, and diboson data using HEPfit with one-loop RGE running, and finds no significant preference for a portal-coupled hidden sector over the Standard Model.","tokens_in":22442,"tokens_out":25292,"duration_ms":203445,"significance":"The central claim is a genuinely model-independent statement: the leading operator content is fixed by the portal quantum numbers, and the sign restrictions follow from causality and unitarity rather than from details of the hidden-sector dynamics. The derivations are internally consistent and do not rely on any fitted input; the positivity argument is the key ingredient. The paper is explicit about its limitations, including the single-generation and lepton-number-conservation assumptions for the neutrino portal, the perturbative-portal assumption, and the ultraviolet sensitivity at the endpoint scaling dimensions. The global fit is standard and is cross-checked with a second independent package, though the lack of released code is a reproducibility drawback. Overall, if the derivations hold, this is a useful and publishable result for the SMEFT and hidden-sector model-building community.","major_comments":[],"minor_comments":[{"comment":"The interaction in Eq. (2.1) implicitly assumes that O_S is a Hermitian operator; please state this explicitly, since the positivity of the spectral density in Eq. (2.4) relies on it.","section":"Sec. 2.1, Eq. (2.1)"},{"comment":"Please state explicitly that O_F is a left-chiral Weyl operator and that the lepton-number-conservation assumption is what forbids additional operators such as (ℓH)^2; this assumption is mentioned but could be made more prominent, for instance in the introduction.","section":"Sec. 2.2, Eq. (2.15)"},{"comment":"The endpoint cases Δ_F = 5/2 (and similarly Δ_S = 3 and Δ_T = 3) are only logarithmically enhanced, and the paper says the sign is 'expected' rather than proven; please state this status explicitly in the abstract or conclusions to avoid any appearance of overclaiming.","section":"Sec. 2.2, Eq. (2.30)"},{"comment":"The gray-shaded regions in the figures are described as forbidden only 'for some range of scaling dimensions'; please specify the ranges (Δ_S ≤ 3, Δ_F ≤ 5/2, Δ_T ≤ 3) in the captions or in the text near the figures.","section":"Sec. 3 and Figs. 4–7"},{"comment":"There are typographical errors in the reference list, e.g., 'OP AL' in Ref. [41] and 'A TLAS' in several entries; these should be corrected.","section":"References"},{"comment":"The numerical code and input data for the global fit are not released; providing them would improve reproducibility, although the cross-check with the Fitmaker-based package is reassuring.","section":"Sec. 3"}],"recommendation":"minor_revision","confidential_remarks":"The paper is well within the scope of the journal, and the reader's positive assessment is justified. The central derivations are sound; the residual concerns are presentation-level. I would support publication after a minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The central claim holds up: for each portal, the leading dimension-six operators are fixed by the portal's quantum numbers, and the sign restrictions follow from positivity of the spectral density. This is genuinely model-independent, going beyond the weakly coupled examples in the earlier tree-level dictionary. The spectral-function proof is clean, and the paper is honest that the endpoint cases (Δ=3, Δ=5/2) are only logarithmically enhanced, so the sign statement there is 'expected' rather than rigorously proven.\n\nThe Warsaw-basis translation is useful, especially the hypercharge portal's long linear combination, and the global fit is standard: EWPO + Higgs + diboson data with one-loop RGE, cross-checked with two independent codes. The bounds are not surprising, but the sign constraints directly sharpen future fits—the gray regions in the plots are exactly what should become standard in SMEFT analyses.\n\nSoft spots are minor and mostly self-disclosed. The neutrino portal result is restricted to a single generation and lepton-number conservation; the three-generation generalization is reasonable but asserted under flavor universality rather than derived in the same detail. The numerical code is not released, which is a reproducibility gap, though the cross-check with Fitmaker mitigates it. The paper also explicitly notes that the sign constraints do not apply to arbitrary UV completions, and that CH□ can have either sign in general—so the claims are not over-sold.\n\nI agree with the reader's accept. The derivation is internally consistent, the positivity arguments are correct, and the limitations are right there in the text. This deserves a serious referee; I expect it to pass with minor revision, mostly requests for code release and a sharper statement about the logarithmic endpoint cases. I'd bring it to our reading group and would cite it if I work on portal EFTs.","headline":"A clean, model-independent derivation of portal-generated dimension-six operators, with sign constraints that hold under explicit UV conditions; the fit is competent and the limitations are honestly stated.","tokens_in":22985,"tokens_out":1607,"would_cite":true,"duration_ms":16320,"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":"Integrating out a heavy hidden sector through the Higgs, neutrino, or hypercharge portal generates a fixed set of dimension-six operators whose forms—and, in a definite range of scaling dimensions, signs—are independent of the…","keywords":["effective field theories","SMEFT","hidden sectors","Higgs portal","neutrino portal","hypercharge portal","Källén-Lehmann spectral representation","electroweak precision constraints"],"falsifier":"Construct an explicit unitary, causal hidden-sector model with all states above the weak scale and a scalar portal operator of scaling dimension $\\Delta_S\\le3$, and compute its low-energy $O_{H\\square}$ coefficient; a positive coefficient would refute $C_{H\\square}\\le0$. Equivalently, a measurement of the oblique $Y$ parameter with sign opposite to the predicted positive $C_{2B}$ contribution would contradict the hypercharge-portal prediction.","tokens_in":22117,"feed_emoji":"⚛️","tokens_out":11097,"duration_ms":78997,"temperature":0.7,"pith_summary":"The paper asks whether the low-energy footprint of a completely unknown hidden sector is nevertheless predictable, and answers yes for the three lowest-dimension portals. Using locality, causality, unitarity, and the assumption that all hidden states are above the weak scale, it shows that integrating out the hidden sector generates a fixed set of dimension-six operators: two for the Higgs portal, one specific linear combination for the neutrino portal, and one for the hypercharge portal. The forms do not depend on whether the hidden sector is weakly or strongly coupled, elementary or composite. For a range of the hidden operator's scaling dimension, the sign of one coefficient in each portal is forced by the positivity of the Källén-Lehmann spectral density. A global fit of these operators to electroweak precision, Higgs, and diboson data finds no significant preference for any portal over the Standard Model.","feed_headline":"Each hidden-sector portal leaves a fixed dimension-six footprint","feed_subtitle":"For the Higgs, neutrino and hypercharge portals, the leading terms are unique and their signs are forced.","key_machinery":"The load-bearing object is the time-ordered two-point function of the hidden-sector operator that couples to the portal, expressed through the Källén-Lehmann spectral representation. Inserting a complete set of hidden-sector energy-momentum eigenstates gives a spectral density $\\rho(k^2)$ whose positivity follows from unitarity and whose Lorentz structure is fixed by covariance; the representation itself is a dispersive form dictated by causality. Expanding the resulting propagator in powers of $p^2/M^2$ produces the local dimension-six operators, while the positivity of the spectral density (or of the combination $\\rho_0-M^2\\rho_1$ for the hypercharge tensor) fixes the sign of the leading coefficient. The scaling-dimension conditions $\\Delta_S\\le3$, $\\Delta_F\\le5/2$, and $\\Delta_T\\le3$ mark the range in which the relevant integral is finite or only logarithmically divergent, so that the sign prediction survives regulation.","core_discovery":"The central discovery is that the leading dimension-six terms generated by integrating out a hidden sector are fixed by the portal alone, not by the hidden-sector dynamics. For the Higgs portal the generated operators are $O_H=(H^\\dagger H)^3$ and $O_{H\\square}=(H^\\dagger H)\\square(H^\\dagger H)$, and for hidden operators of scaling dimension $\\Delta_S\\le 3$ causality and unitarity force the coefficient of $O_{H\\square}$ to be non-positive. For the neutrino portal, assuming a single SM generation and lepton-number conservation, the unique operator is $O_{\\ell H}=(\\ell H)^\\dagger i\\bar\\sigma^\\mu\\partial_\\mu(\\ell H)=\\frac14(O_{H\\ell}^{(1)}-O_{H\\ell}^{(3)})$, with positive coefficient for $\\Delta_F\\le 5/2$. For the hypercharge portal the unique operator is $O_{2B}=-\\frac12(\\partial_\\rho B_{\\mu\\nu})(\\partial^\\rho B^{\\mu\\nu})$, with positive coefficient for $\\Delta_T\\le 3$; it maps to a specific Warsaw-basis combination whose leading physical effect is a contribution to the $Y$ parameter. The paper further shows that a global fit of these operators to electroweak precision, Higgs, and diboson data leaves the Standard Model as the preferred description.","pith_inferences":["The same positivity logic should extend to higher orders: the next generation of portal-generated operators (dimension-eight, or dimension-six at higher loop order) may inherit further sign or alignment restrictions that the paper does not work out.","Because the sign restrictions rely on all hidden states being heavy, a deviation with the opposite sign in $O_{H\\square}$, $O_{\\ell H}$, or $O_{2B}$ would be a diagnostic for light states in the hidden sector rather than for exotic strong dynamics.","For non-universal neutrino-portal couplings the coefficient matrix is expected to be positive definite, which would correlate shifts of neutrino kinetic terms with charged-lepton flavor violation; the paper leaves this as future work.","The scaling-dimension thresholds suggest a concrete check in strongly coupled hidden sectors: as the operator dimension crosses $\\Delta_S=3$ or $\\Delta_F=5/2$, the coefficient should lose its sign rigidity, a prediction that could be tested in lattice or holographic constructions."],"forward_implications":["For any hidden sector coupled through the Higgs portal, the LHC constraints on $O_H$ and $O_{H\\square}$ apply without knowing whether the sector is weakly or strongly coupled.","The sign restriction $C_{H\\square}\\le0$ for $\\Delta_S\\le3$ excludes half of the Higgs-portal coefficient plane, so a future positive measurement in that region would rule out unitary causal hidden sectors with heavy states.","The neutrino portal fixes $C_{H\\ell}^{(1)}=-C_{H\\ell}^{(3)}=C_{\\ell H}/4$, so electroweak and $Z$-pole data constrain the whole portal with one parameter.","The hypercharge-portal operator maps onto a definite combination including $O_{HD}$, $O_{H\\square}$, fermion-current operators, and four-fermion operators, with a positive coefficient implying a positive $Y$ parameter in universal theories.","With matching scales between 250 GeV and 10 TeV, the fitted limits on $C/\\Lambda^2$ change very little, and the fits show no preference for any portal over the Standard Model."],"supporting_citations":[{"why":"It defines the Warsaw basis in which the portal-generated operators $O_H$, $O_{H\\square}$, $O_{\\ell H}$, and $O_{2B}$ are expressed.","marker":"[26]"},{"why":"It supplies the dispersion-relation and Källén-Lehmann representation from which the causality-driven form of the hidden-sector two-point function is taken.","marker":"[36]"},{"why":"It provides the complete tree-level dictionary for general SM extensions that the paper compares its portal-specific operator forms against.","marker":"[22]"},{"why":"It gives the two-component spinor conventions used to write the neutrino portal operator $O_{\\ell H}$ with $\\bar\\sigma^\\mu$.","marker":"[27]"},{"why":"It defines the $Y$ parameter, the oblique observable most directly related to the hypercharge-portal operator.","marker":"[28]"},{"why":"It establishes the effective theory of universal theories that links $O_{2B}$ to the $Y$ parameter.","marker":"[29]"}],"fun_headline_variants":["Portal alone fixes the leading effective operator","Hidden-sector effects fixed by the portal, not the physics","Causality forces signs of hidden-sector terms","Three portals, three unique dimension-six footprints","Hidden dynamics leave no mark on leading low-energy terms"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The hidden sector must be a local, causal, unitary quantum field theory whose operators have a positive Källén-Lehmann spectral density and whose states all sit above the weak scale; for the neutrino portal it must also conserve lepton number.","fun_headline_variants_meta":{"raw":{"variants":["Portal alone fixes the leading effective operator","Hidden-sector effects fixed by the portal, not the physics","Causality forces signs of hidden-sector terms","Three portals, three unique dimension-six footprints","Hidden dynamics leave no mark on leading low-energy terms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00018,"raw_usage":{"total_tokens":1374,"prompt_tokens":1083,"completion_tokens":291,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":699,"completion_tokens_details":{"reasoning_tokens":220}},"tokens_in":699,"tokens_out":291,"duration_ms":3505,"temperature":1.0,"reasoning_tokens":220,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:39:59.834987+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct an explicit unitary, causal hidden-sector model with all states above the weak scale and a scalar portal operator of scaling dimension $\\Delta_S\\le3$, and compute its low-energy $O_{H\\square}$ coefficient; a positive coefficient would refute $C_{H\\square}\\le0$. Equivalently, a measurement of the oblique $Y$ parameter with sign opposite to the predicted positive $C_{2B}$ contribution would contradict the hypercharge-portal prediction.","supporting_citations":[],"review_version":1}