Asymmetric multiscalar fixed points from equiangular tight frames

Technical Summary: Asymmetric Multiscalar Fixed Points from Equiangular Tight Frames

Problem Statement
The paper addresses a specific question in the renormalization group (RG) analysis of scalar field theories in $d = 4 - \epsilon$ dimensions. While the study of fixed points for the Wilson–Fisher equation has historically relied on imposing symmetry groups $G \subseteq O(N)$ to render the space of coupling tensors tractable, Rychkov and Stergiou [RS19] posed the question of whether real fixed points exist that possess no symmetry beyond the universal $\mathbb{Z}_2$ field inversion ($\phi \to -\phi$). Prior to this work, all identified solutions for $N \geq 2$ exhibited larger symmetry groups. The paper seeks to construct examples of such "asymmetric fixed points" (where $G = \mathbb{Z}_2$) to resolve this existence question.

Methodology
The author employs a geometric approach to reduce the complexity of the RG flow equations:

1. Two-Coupling Ansatz via Equiangular Tight Frames (ETFs):
   Instead of searching the full space of coupling tensors, the author restricts the potential to a two-dimensional subspace defined by:
   $$V(\phi) = \frac{1}{4!} \left( \tau (\phi^2)^2 + \sigma \sum_{a=1}^M (v_a \cdot \phi)^4 \right)$$
   where $\{v_a\}_{a=1}^M$ is a collection of unit vectors in $\mathbb{R}^N$. The author demonstrates that if these vectors form an equiangular tight frame (ETF), the one-loop (and two-loop) RG flow preserves this two-dimensional subspace. An ETF is defined by two properties:

   • Tightness: $\sum v_a \otimes v_a = \rho \mathbb{1}_N$ (isotropic second moment).
   • Equiangularity: $|v_a \cdot v_b| = \mu$ for all $a \neq b$.

2. Reduction to Algebraic Conditions:
   By utilizing the contraction identities of ETFs, the one-loop fixed point equation $Q(T) = T$ reduces to a system of two quadratic equations in the couplings $(t, s)$. The existence of real solutions depends on the discriminant of this system, which is a function of the number of fields $N$ and the number of frame vectors $M$. The author identifies a "reality interval" $N \leq M < M_-(N)$ where real solutions exist.

3. Ensuring Asymmetry:
   A critical technical hurdle is ensuring that the ETF itself possesses no symmetry beyond $\mathbb{Z}_2$. The author establishes that for sufficiently low redundancy ($\rho < 3/2$), the fourth-moment tensor of the frame uniquely determines the arrangement of the frame lines. Thus, an asymmetric arrangement of lines guarantees an asymmetric fixed point.

4. Combinatorial Construction (Steiner Frames):
   To generate ETFs with the required parameters and no symmetry, the author utilizes the construction by Fickus, Mixon, and Tremain [FMT12], based on Steiner 2-designs $S(2, k, v)$.

   • They construct an auxiliary frame by embedding regular simplices into coordinate subspaces defined by the blocks of a Steiner system.
   • To break symmetry, they assign pairwise inequivalent Hadamard simplices to the design points and utilize a vast space of "signed matchings" (embeddings of the simplices into the coordinate axes).
   • The author proves combinatorially that for the vast majority of these choices, the resulting frame admits no orthogonal symmetry other than $\pm 1$.
   • Finally, they apply the Naimark complement to this frame. The complement preserves the asymmetry but adjusts the parameters ($N$ and $M$) to fall within the reality interval required for the fixed point.

Key Results

• Existence Proof: The paper provides an existence proof for asymmetric fixed points in a theory with $N = 22,001$ scalar fields. While the construction relies on a specific combinatorial framework (Steiner system $S(2, 9, 441)$), the author explicitly notes that the proof does not produce a specific, verified asymmetric frame; rather, it demonstrates that a random choice of signed matchings from the constructed set is overwhelmingly likely to yield an asymmetric frame.
• Parameters: The construction uses a Steiner system $S(2, 9, 441)$ to generate a frame with $M = 24,696$ vectors in a space of dimension $D = 2,695$. The Naimark complement yields the final fixed point with $N = 22,001$ and $M = 24,696$.
• Fixed Point Properties:
  • The fixed points are real, fully interacting, and potential-stable (the quartic potential is non-negative).
  • They are unstable under RG flow to a very large class of quartic perturbations (the relevant eigenspace constitutes $>99.9\%$ of the space of quartic couplings).
  • The construction yields two distinct real solutions for the couplings.
• Symmetry Analysis: The author proves that for their specific construction, the fraction of signed matchings that result in a frame with extra symmetry is less than $1/572$. Consequently, asymmetric frames (and thus asymmetric fixed points) exist and are generic within this construction.
• Higher Loops: The author shows that the two-dimensional subspace is preserved at the two-loop level. However, at three loops, a new vertex contraction (tetrahedral shape) generally fails to close within the two-coupling subspace, leaving the persistence of these fixed points at higher orders in the $\epsilon$ expansion unestablished.

Significance and Claims
The paper claims to definitively resolve the question posed by Rychkov and Stergiou by demonstrating that real fixed points with minimal symmetry ($G=\mathbb{Z}_2$) do exist. The significance lies in:

1. Breaking Symmetry Assumptions: It challenges the assumption that organizing principles (symmetry groups) are necessary to find non-trivial fixed points in scalar field theories.
2. Geometric-RG Connection: It establishes a novel link between the geometry of equiangular tight frames and the existence of RG fixed points, showing that metric properties of vector sets can constrain the RG flow without imposing group symmetries.
3. Generality: While the specific example uses a large $N$ ($22,001$) due to the constraints of the Steiner system construction, the author argues that the mechanism is general and asymmetric fixed points likely exist at lower $N$, though specific constructions for lower $N$ remain conditional on the existence of certain unproven Steiner designs.

Limitations
The author explicitly notes that:

• The proof is an existence proof; it does not produce a specific, verified asymmetric frame but rather shows that a random choice from the constructed set is overwhelmingly likely to be asymmetric.
• The stability of these fixed points beyond two loops is not established.
• The specific example requires a very large number of fields, and while lower-$N$ examples are suggested, they depend on the existence of Steiner systems that are currently unknown.