REVIEW 3 major objections 5 minor 4 cited by
A new class of symmetries built on imaginary coordinate rescaling forces model parameters into combinations that are stable under renormalization-group running.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 21:14 UTC pith:RVASDFQE
load-bearing objection A solid, explicit extension of the GOOFy program with reproducible RGE-stability checks; treat the transformation as a generating rule, not a quantum symmetry. the 3 major comments →
GOOFy -- a systematic approach
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors define GOOFy transformations for complex scalars as x^μ→ix^μ, Φ→X_ϕ Φ*, Φ†→ -Φ^T X_ϕ†, and for fermions as x^μ→ix^μ, Ψ→ -X_ψ γ^0 C Ψ*, Ψ̄→ -Ψ^T C^{-1} i X_ψ†, with X_ϕ and X_ψ unitary. Kinetic-term invariance fixes the conjugate-field transformations to X̄_ϕ = -X_ϕ and X̄_ψ = -iX_ψ. From this definition they derive that a GOOFy-invariant theory must have tracer-less scalar mass matrices (m²₁₁+m²₂₂=0 in the two-doublet case), specific relations among quartic couplings (λ₁=λ₂ and λ₆=λ₇ for one branch), and structured linear relations among Yukawa matrices. Using explicit beta-function computations, they verify that these constraints are RGE-stable at two loops in all considered mod
What carries the argument
The central object is the non-consistent generalized charge-conjugation transformation combined with an imaginary rescaling of spacetime coordinates. The transformation treats fields and their Hermitian conjugates independently, and the requirement of kinetic-term invariance fixes the form of the conjugated-field transformation (X̄_ϕ = -X_ϕ for scalars, X̄_ψ = -iX_ψ for fermions). This single definition propagates through mass, quartic, and Yukawa constraints; the RGE stability of the derived relations is the mechanism that carries the argument—it is what turns the constraints into fixed points rather than mere tree-level coincidences.
Load-bearing premise
The construction assumes that the imaginary coordinate rescaling x^μ → i x^μ is a legitimate operation of the quantum field theory, not just a formal device; if it has no consistent meaning in the regulated path integral or operator formalism, the claimed symmetry origin of the parameter relations loses its foundation.
What would settle it
Compute the three-loop beta functions of the 2HDM with GOOFy constraints (or four-loop for the potential-only relations) using an independent code; if any combination such as m²₁₁+m²₂₂ or λ₁−λ₂ develops a nonzero beta function when the constraints hold, the fixed-point claim fails. Alternatively, a lattice or other nonperturbative formulation in which the imaginary rescaling x^μ→ix^μ has no consistent implementation would undercut the symmetry interpretation, even if the finite-loop checks continue to pass.
If this is right
- GOOFy-invariant 2HDM potentials with m²₁₁+m²₂₂=0, m²₁₂=0, λ₁=λ₂, λ₆=λ₇ remain on that hypersurface under RG evolution to at least three loops, making the relations a reliable benchmark for phenomenological scans.
- Any new model built with the recipe inherits RG-stable parameter relations, so the construction gives a general tool for generating fixed-point structures in scalar-fermion theories.
- The Standard Model is excluded: a single complex Higgs doublet cannot carry a GOOFy-invariant mass term, and the allowed Yukawa solutions either give massless quarks or lack CP violation.
- The 2HDM admits GOOFy-invariant Yukawa sectors with all quarks massive (Solutions A, D-1, D-2, L, M), so a realistic extension of the electroweak theory exists within this symmetry class.
- The new 2HDM fixed point corresponds to a softly broken CP symmetry different from previously studied soft-CP models, opening a new corner of parameter space.
Where Pith is reading between the lines
- Editorial extension: If the fixed-point property extends beyond three loops, GOOFy invariance could serve as a naturalness or stability principle that protects mass and coupling relations against radiative corrections; the paper checks only low orders.
- Editorial extension: The imaginary coordinate rescaling may be interpretable as an analytic continuation or as a formal device; its status in a nonperturbative formulation is untested, and the origin of the RGE stability might ultimately be algebraic rather than due to a genuine symmetry.
- Editorial extension: A natural next step is to search for additional linear combinations of Higgs-potential and Yukawa parameters that close under the RG; the determinant conditions in Section 6 provide a template for such searches.
- Editorial extension: The GOOFy-invariant 2HDM solutions with suppressed FCNCs could be used to build concrete benchmark models, though the paper leaves that phenomenological analysis for future work.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper formalizes and extends 'GOOFy transformations' introduced in ref. [1]. A GOOFy transformation combines the imaginary coordinate rescaling x^mu -> i x^mu with a generalized charge conjugation of scalar and fermion multiplets in which the Hermitian-conjugate fields are transformed independently (a 'non-consistent' transformation). Requiring kinetic-term invariance fixes the transformation matrices (Eqs. (2.2) and (3.2)). The authors derive the induced constraints on scalar mass matrices, Dirac and Majorana masses, and Yukawa couplings, solve these constraints for several low field multiplicities, and test their RGE stability with PyR@TE at one and two loops. They apply the formalism to the SM and the 2HDM, concluding that the SM is not a viable GOOFy-invariant electroweak theory while the 2HDM admits physically interesting Yukawa solutions. A highlighted result is the 2HDM potential relations m_11^2+m_22^2=0, m_12^2=0, lambda_1=lambda_2, lambda_6=lambda_7, claimed to be RGE-stable up to at least three-loop order when Yukawa couplings are neglected.
Significance. The paper continues the programme of ref. [1] and provides a concrete, systematic way of generating parameter relations that appear to be RG invariant. Its strengths are concreteness: the constraints and solutions are written in closed form, the RGE checks are performed with public software, and finite-loop/finite-N limitations are sometimes acknowledged. If the three-loop stability of Eq. (7.1) and the two-loop stability of the Yukawa constraints are correct, the relations are a useful model-building tool. However, the claimed symmetry interpretation is not secured: the defining map is non-consistent and involves imaginary coordinate rescaling, and no quantum-level definition is supplied. Since the RGE checks are finite-order and finite-N, the broader 'systematic' claim rests on extrapolation. The paper is therefore significant conditional on a clarification of the status of the transformation and a sharper separation between verified results and conjectures.
major comments (3)
- [Sec. 2, Eq. (2.2); Sec. 3, Eq. (3.2)] The paper never defines the transformation as an operation on the quantum theory. The imaginary rescaling x^mu -> i x^mu and the independent transformation of Phi^dagger with (Phi^dagger)' != (Phi')^dagger are formal operations on classical fields; no path-integral measure, operator implementation, or statement about how correlators transform is given. Since every parameter relation in the paper is derived from this map, the conclusion in Sec. 7 that the RGE-stable relations are consequences of a 'GOOFy invariance' is not supported at the quantum level. Please either supply a regulated realization (e.g., in Euclidean or complexified spacetime) or rephrase the claim as an algebraic selection rule whose fixed-point property is verified order by order. The advertised 'systematic approach' depends on this distinction.
- [Sec. 2, footnote 6; Sec. 3, footnote 9] Eqs. (2.6) and (3.4) are obtained by choosing one of several possible transformation rules for Phi^T, Phi^*, Psi^C, and Psi^Cbar. As the footnotes state, the alternatives produce different constraints: for example, (mu^2)^* = -X^T mu^2 X or mu^2 = 0, and analogous options for the Majorana mass. No physical criterion is given for this choice. Thus 'GOOFy invariance' is not a single principle but a family of conventions, and the advertised RGE-stable relations are tied to the particular convention selected. This does not invalidate the computational results, but it weakens the explanatory claim in the abstract and conclusions.
- [Sec. 4.1; Secs. 4.2-4.4; Sec. 7] The RGE-stability claims are checked only for finite numbers of fields: one-loop N_phi up to 10, two-loop up to 5, and most generic solutions for N_phi = 1..4. The text explicitly conjectures the extension to all finite N_phi (Sec. 4.1), while the abstract and Sec. 7 state the property as a general feature. The reader needs a clear separation between verified finite-loop/finite-N results and conjectures. In addition, the three-loop statement for Eq. (7.1) is not derived in this paper but is attributed to ref. [2]; the reduction to the beta functions of that reference should be shown, otherwise the highlighted 'up to at least three-loop order' claim is not independently verifiable from the manuscript.
minor comments (5)
- [Eq. (6.5)] The chain 'lambda_7 = e^{-i Delta theta} lambda_6 = e^{i Delta theta} lambda_6' is internally inconsistent unless lambda_6 = 0 or 2 Delta theta = 0 mod 2 pi. Please correct the intended relation or the typo.
- [Footnote 6] 'Phi +star' appears to be a typo for 'Phi^*'.
- [Sec. 5, Eq. (5.13)] The symbols alpha and beta are used both as labels for X_alpha, X_beta and as angles in the determinant formula. Please rename one set to avoid ambiguity.
- [Near Eq. (6.38)] The phrase 'identical to 0U(1) model' is unclear; presumably a specific model name or designation is intended.
- [Secs. 4-6] For reproducibility, it would help to provide PyR@TE input files or a summary of which beta-function components were used to test each constraint set, since the textual statement 'we find RGE-stability' is not fully checkable from the printed equations.
Circularity Check
No significant circularity: the GOOFy parameter relations are derived from an explicit transformation, and their RGE stability is checked by independent beta-function computations that could have failed.
full rationale
The derivation chain is: (i) define GOOFy transformations by requiring kinetic-term invariance under x→ix and non-consistent field maps (Eqs. (2.2), (3.2)); (ii) enforce invariance of mass, potential and Yukawa terms to obtain algebraic constraints (Eqs. (2.4), (2.6), (3.3)–(3.5), (4.2)); (iii) compute beta functions with the independent PyR@TE3 package and check that the same constraints are preserved (Secs. 4 and 6), and use Bednyakov's three-loop 2HDM RGE results [2] for the scalar sector. Step (i) makes the parameter relations true by definition of "GOOFy-invariant," but that is not circular: the advertised result is not merely the existence of the relations but their RGE stability, which is an independent property that the numerical checks could have falsified. The self-citations [1], [3], [8] are contextual; relations (1.1)/(7.1) are re-derived in Sec. 6 from the explicit transformation, and the all-orders stability argument appeals to the external computation [2], not to the authors' prior work. Footnotes 6 and 9 expose convention ambiguities in how Φ*, Φ^T, Ψ^C transform; this is a weakness in the quantum meaning of GOOFy symmetry, but it is not a reduction of the result to its inputs. Under the hard rules, objections about the legitimacy of x→ix as a quantum symmetry are correctness risks, not circularity. No fitted parameter is relabeled as a prediction, and no uniqueness theorem is imported from the authors.
Axiom & Free-Parameter Ledger
free parameters (1)
- X-matrix angles: θ₁, θ₂ (X_φ); θ_ψ, θ (X_ψ); α, β (flavour-sector angles); discrete signs m, n =
special values only: Δθ = 0, π, 2π/3, 4π/3; β = α; α = β = π/3; etc.
axioms (6)
- ad hoc to paper Imaginary coordinate rescaling x^μ → i x^μ is a valid symmetry of the (quantum) field theory, preserving the action when combined with the field transformations.
- domain assumption PyR@TE 3 one- and two-loop beta functions are correct for the scalar-fermion models studied.
- ad hoc to paper Finite-N_φ checks extend to all N_φ.
- ad hoc to paper Of the four possible transformation rules for Φ^T and Φ*, the ones leading to (μ²)* = X^T_φ μ² X_φ are the correct ones.
- standard math Standard Dirac/charge-conjugation algebra (γ⁰C identities, C^{-1}γ^μ C relations) and symmetric M_M from anticommutation of fermionic fields.
- standard math Corollary 2.6.6a of Horn & Johnson: a symmetric complex matrix can be diagonalized by congruence.
invented entities (1)
-
GOOFy symmetry operation (non-consistent field conjugation combined with x^μ → i x^μ)
no independent evidence
read the original abstract
We investigate in detail a new class (GOOFy) of transformations for bosonic and fermionic fields that leave the Lagrangian density unchanged. The transformations act upon complex scalar fields \Phi and \Phi^\dagger employing generalized charge conjugation (C) transformation in a non-consistent manner, i.e. allowing for \Phi\dagger \to (\Phi\dagger)^\prime \neq (\Phi^\prime)^\dagger. Requiring invariance of the kinetic terms under such transformations specifies the form of (\Phi\dagger)^\prime. An analogous strategy is also adopted for fermionic fields. This offers a systematic way to construct new GOOFy-invariant field-theoretical models. It turns out that theories which are invariant with respect these GOOFy transformations satisfy relations among parameters that are found to be RGE-stable up to two and three loop orders, thus constituting fixed-points under running of the RGE. This has been verified for various theories containing different numbers of bosonic and fermionic fields. In particular it has been shown that the Standard Model (SM) can not be a viable electroweak theory if demanding invariance under GOOFy transformations. However, the two-Higgs-Doublet Model (2HDM) may be invariant under GOOFy transformations (Yukawa couplings included), providing an interesting phenomenological example of physics beyond the SM. The most striking aspect of this study is the RGE stability of new relations between model parameters in a wide class of field theories. We also present a set of new relations between 2HDM potential parameters that constitute a fixed point under the running of the RGE up to at least three loop order.
Forward citations
Cited by 4 Pith papers
-
Renormalisation Group Invariants from Scaling and Non-overlapping Symmetries
A spurion-field formalism uses scaling and non-overlapping symmetries to construct RGIs for bilinear operators in scalar potentials to all loops, demonstrated in non-SUSY models and the 2HDM.
-
Renormalisation Group Invariants from Scaling and Non-overlapping Symmetries
A spurion-field approach using scale-invariant directions and non-overlapping symmetries constructs all-loop RGIs for bilinear operators in multi-scalar potentials.
-
GOOFy fermions
New fermion transformations and all-order renormalization-invariant parameter regions are identified for two-Higgs-doublet models including scalar-fermion interactions.
-
Renormalisation Group Invariants from Scaling and Non-overlapping Symmetries
Scaling and non-overlapping global symmetries produce RGIs for bilinear operators to all loops via scale-invariant field directions, demonstrated in non-SUSY models including the 2HDM.
Reference graph
Works this paper leans on
-
[1]
P.M. Ferreira, B. Grzadkowski, O.M. Ogreid and P. Osland,New symmetries of the two-Higgs-doublet model,Eur. Phys. J. C84(2024) 234 [2306.02410]
Pith/arXiv arXiv 2024
-
[2]
Bednyakov,On three-loop RGE for the Higgs sector of 2HDM,JHEP11(2018) 154 [1809.04527]
A.V. Bednyakov,On three-loop RGE for the Higgs sector of 2HDM,JHEP11(2018) 154 [1809.04527]. – 17 –
Pith/arXiv arXiv 2018
-
[3]
Grzadkowski,talk ”Semisymmetries of Two-Higgs-doublet models” presented at the workshop ”New Physics Directions in the LHC era and beyond”, 23rd April, 2024, Heidelberg, Germany,
B. Grzadkowski,talk ”Semisymmetries of Two-Higgs-doublet models” presented at the workshop ”New Physics Directions in the LHC era and beyond”, 23rd April, 2024, Heidelberg, Germany,
2024
-
[4]
H.E. Haber and P.M. Ferreira,RG-stable parameter relations of a scalar field theory in absence of a symmetry,Eur. Phys. J. C85(2025) 541 [2502.11011]
arXiv 2025
-
[5]
Trautner,Goofy is the new Normal,JHEP10(2025) 051 [2505.00099]
A. Trautner,Goofy is the new Normal,JHEP10(2025) 051 [2505.00099]
Pith/arXiv arXiv 2025
-
[6]
Trautner,Goofy transformations and the hierarchy problem,Phys
A. Trautner,Goofy transformations and the hierarchy problem,Phys. Lett. B873(2026) 140190 [2508.02646]
arXiv 2026
-
[7]
T. de Boer, F. Goertz and A. Incrocci,The goofy-symmetric Standard Model and the Hierarchy Problem,2507.22111
-
[8]
P.M. Ferreira, B. Grzadkowski and O.M. Ogreid,Imaginary scaling,2506.21145
-
[9]
A. Pilaftsis,Dirac algebra formalism for Two Higgs Doublet Models: The one-loop effective potential,Phys. Lett. B860(2025) 139147 [2408.04511]
Pith/arXiv arXiv 2025
-
[10]
P.M. Ferreira and J.P. Silva,A Two-Higgs Doublet Model With Remarkable CP Properties, Eur. Phys. J. C69(2010) 45 [1001.0574]
Pith/arXiv arXiv 2010
-
[11]
Horn and C.R
R.A. Horn and C.R. Johnson,Matrix Analysis, Cambridge University Press, 2 ed. (2012)
2012
-
[12]
L. Sartore and I. Schienbein,PyR@TE 3,Comput. Phys. Commun.261(2021) 107819 [2007.12700]
Pith/arXiv arXiv 2021
-
[13]
Ecker, W
G. Ecker, W. Grimus and H. Neufeld,A Standard Form for Generalized CP Transformations,J. Phys. A20(1987) L807. – 18 –
1987
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.