A Field Theory Framework of Incompressible Fluid Dynamics

Jianfeng Wu School of Aeronautics and Astronautics, Zhejiang University, China    Lurong Ding School of Aeronautics and Astronautics, Zhejiang University, China    Hongtao Lin School of Aeronautics and Astronautics, Zhejiang University, China    Qi Gao qigao@zju.edu.cn School of Aeronautics and Astronautics, Zhejiang University, China
(October 24, 2024)
Abstract

This study develops an effective theoretical framework that couples two vector fields: the velocity field 𝐮𝐮\mathbf{u}bold_u and an auxiliary vorticity field 𝝃𝝃\bm{\xi}bold_italic_ξ. Together, these fields form a larger conserved dynamical system. Within this framework, the incompressible Navier-Stokes (NS) equation and a complementary vorticity equation with negative viscosity are derived. By introducing the concept of light-cone vorticity 𝜼±=𝐰±𝝃subscript𝜼plus-or-minusplus-or-minus𝐰𝝃\bm{\eta}_{\pm}=\mathbf{w}\pm\bm{\xi}bold_italic_η start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = bold_w ± bold_italic_ξ, the paper constructs a unified framework for coupled dynamics. Furthermore, it explores the mechanism of spontaneous symmetry breaking from SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) gauge theory to U(1)×U(1)𝑈1𝑈1U(1)\times U(1)italic_U ( 1 ) × italic_U ( 1 ), which leads to the emergence of the coupled vector field theory in the non-relativistic limit. This approach uncovers a connection between fluid dynamics and fundamental gauge theories, suggesting that the NS equations describe a subsystem where dissipation results from energy transfer between the velocity and auxiliary fields. The study concludes by linking the complete dynamical framework to the Abrikosov-Nielsen-Olesen-Zumino (ANOZ) theory, a non-Abelian generalization of Bardeen-Cooper-Schrieffer (BCS) theory, offering new insights into fluid dynamics and quantum fluid theory.

non-Abelian gauge field theory, fluid dynamics, Navier-Stokes equation, symmetry breaking, adjoint vorticity field

Introduction

Since the 19th century, fluid mechanics has endeavored to establish a theoretical framework to describe complex natural phenomena, particularly turbulence and vortex dynamics. The Navier-Stokes (NS) equations provide the foundation for modeling incompressible fluid flows. However, they face significant challenges, especially in dealing with energy dissipation and non-conservative phenomena [1]. Traditional conservation laws fail to fully explain the dissipative nature of these equations.

While the NS equations effectively capture macroscopic fluid behavior, they inherently lack a well-defined Lagrangian formulation due to the presence of dissipation [2]. In physics, the Lagrangian serves not only as the basis for conservation laws but also offers insights into symmetry, stability, and dynamics [3]. Hence, establishing an appropriate Lagrangian formulation for the NS equations is crucial for developing a deeper theoretical understanding of energy transfer and conservation mechanisms within fluid systems.

As von Neumann emphasized [4], variational methods are essential for analyzing the symmetry, stability, and structure of fluid dynamics. A well-constructed Lagrangian can integrate physical intuition and experimental observations within a unified mathematical framework. This formalism provides new perspectives on complex phenomena such as vortex generation and the transition to turbulent flows. Within such a Lagrangian framework, it becomes more straightforward to explore nonlinear behaviors, critical phenomena, and phase transitions while systematically analyzing symmetry-breaking and stability issues.

However, in 1929, Millikan [5] demonstrated a limitation: the NS equation’s convective term, 𝐮𝐮𝐮𝐮\mathbf{u}\cdot\nabla\mathbf{u}bold_u ⋅ ∇ bold_u (where 𝐮𝐮\mathbf{u}bold_u denotes velocity), cannot be derived from a singularity-free Lagrangian. This result, known as Millikan’s No-Go theorem, highlights the inherently non-conservative nature of the NS equations. Without viscosity, the NS equations reduce to the Euler equations, which possess a Lagrangian formulation. Yet, the Euler Lagrangian employs comoving displacements that intertwine time and space, diverging from standard Lagrangian mechanics. Similarly, in the absence of convection, the NS equations reduce to the Stokes equations, which also lack a conventional Lagrangian description.

Quantum fluids, by contrast, enjoy elegant Lagrangian descriptions. For instance, liquid helium-4 (4He) at near-zero temperatures exhibits ideal properties such as zero viscosity and superfluidity, explainable through macroscopic quantum phenomena. The Gross-Pitaevskii (GP) theory [6, 7] captures 4He superfluidity by modeling it as a Bose-Einstein condensate (BEC) [8, 9] formed due to symmetry breaking. However, the GP theory cannot describe fermionic systems like helium-3 (3He), whose superfluidity requires the Bardeen-Cooper-Schrieffer (BCS) theory [10, 11], wherein fermions form Cooper pairs. These pairs act as bosonic quasiparticles, undergoing condensation into a macroscopic state.

Interestingly, quantum field theory provides a general framework for handling nonlinearity. Although the Gross-Pitaevskii (GP) equation is nonlinear, auxiliary fields introduced via Hubbard-Stratonovich transformations [12, 13] can linearize the system. Conversely, the BCS theory, although based on linear fermionic equations, leads to the nonlinear Ginzburg-Landau effective theory [14] for superconductivity. This reflects a powerful principle: nonlinear systems can be reformulated as linear ones with additional degrees of freedom, and reducing those degrees restores nonlinearity in the effective theory.

Quantum fluid theories further suggest potential connections to classical fluid mechanics. In general, quantum theories can yield classical counterparts through the Wentzel-Kramers-Brillouin (WKB) approximation [15, 16, 17]. Another approach involves Madelung’s transformation [18], which relates fluid dynamics to quantum mechanics. Recent developments, such as the hydrodynamic Schrödinger equation (HSE) proposed by Meng and Yang [19], have utilized this idea to represent classical hydrodynamics using quantum state functions, thereby linking classical fluid mechanics to the Ginzburg-Landau framework [meng2024simulatingunsteadyfluidflows].

These insights propose the possibility that the NS equations describe only a subset of a larger, conservative physical system. Inspired by gauge theories, one can envision a non-Abelian framework in which NS dynamics emerge from the symmetry breaking of a unified system. In this framework, two coupled fields—one representing velocity and the other adjoint vorticity—capture the complete dynamics. The incompressible NS equations arise as a non-relativistic limit of this broader framework, with scalar fields driving symmetry breaking and governing fluid behavior. This unified perspective suggests that the apparent non-conservative nature of the NS equations may reflect an incomplete understanding, and a more comprehensive theoretical framework could uncover hidden symmetries and conservation laws underlying fluid mechanics.

This study begins by exploring an effective theory coupling two vector fields: the velocity field 𝐮𝐮\mathbf{u}bold_u and an adjoint vorticity field 𝝃𝝃\bm{\xi}bold_italic_ξ. Together, these two fields form a larger dynamical system with conserved properties. The corresponding Lagrangian is simple in form, facilitating the derivation of both the NS equations for incompressible fluids and an adjoint vorticity equation exhibiting negative viscosity. By coupling the vorticity field 𝐰=×𝐮𝐰𝐮\mathbf{w}=\nabla\times\mathbf{u}bold_w = ∇ × bold_u with the adjoint vorticity 𝝃𝝃\bm{\xi}bold_italic_ξ, we introduce the concept of light-cone vorticity, thereby establishing a comprehensive framework for the coupled dynamics.

Once the effective theory for the two coupled vector fields is constructed, a natural question arises: Can a symmetry-breaking mechanism yield the coupled theory from a more fundamental gauge theory? This study demonstrates that starting with an SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) gauge theory, dynamic polarization leads to symmetry breaking into a U(1)×U(1)𝑈1𝑈1U(1)\times U(1)italic_U ( 1 ) × italic_U ( 1 ) theory. By taking the non-relativistic limit of the resulting fields, the NS equations and the adjoint vorticity equation are naturally recovered.

.1 Physics Background and New Perspectives

.1.1 Non-Conservativity and Subsystem Reduction in Fluid Dynamics

The classical NS equations are central to fluid mechanics, describing key phenomena such as energy dissipation, vortex generation, and turbulence. However, a significant limitation of the NS equations is their non-conservativity: energy dissipates over time due to viscosity, which seems irreconcilable with classical mechanics.

We propose that the non-conservativity of the NS equations arises from the reduction of a larger dynamical system. The NS equations describe only a subsystem extracted from a more extensive system with higher conservation laws. While energy may not be conserved within the NS framework, it is transferred between the velocity field 𝐮𝐮\mathbf{u}bold_u and the adjoint vorticity field 𝝃𝝃\bm{\xi}bold_italic_ξ, ensuring conservation within the larger system.

.1.2 Adjoint Vorticity Field: Extending the Conservation Framework

The adjoint vorticity field 𝝃𝝃\bm{\xi}bold_italic_ξ is introduced to account for the energy dissipation observed in the NS equations. This field represents the flow of energy beyond what is captured by the velocity field alone.

  • Physical Interpretation: The velocity field 𝐮𝐮\mathbf{u}bold_u and the adjoint vorticity 𝝃𝝃\bm{\xi}bold_italic_ξ form a complete system where energy exchange occurs between these fields. While the subsystem governed by the NS equations shows energy dissipation, this dissipation corresponds to energy transfer to the adjoint field 𝝃𝝃\bm{\xi}bold_italic_ξ, maintaining global energy conservation.

  • Role of the Adjoint Vorticity Field: The adjoint field acts as a negative viscosity field, compensating for energy loss in the primary system. It suppresses the spread of vorticity and supports complex energy flows throughout the system. Although the adjoint vorticity field is introduced to maintain the conservation properties of the fluid system, it carries profound physical meaning. Just as the introduction of phonon dynamics [21] complements electron dynamics in the theory of conductors, revealing the microscopic mechanism of electrical resistance, the physical role of the adjoint vorticity field parallels that of phonons in conductors.

.1.3 Light-Cone Vorticity: A Complete Description of Coupled Dynamics

To further describe the interaction between the velocity and adjoint vorticity fields, we introduce the concept of light-cone vorticity:

𝜼±=𝐰±𝝃.subscript𝜼plus-or-minusplus-or-minus𝐰𝝃\displaystyle\bm{\eta}_{\pm}=\mathbf{w}\pm\bm{\xi}.bold_italic_η start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = bold_w ± bold_italic_ξ . (1)

This formulation provides a complete set of equations governing the coupled dynamics.

  • Physical Significance of Light-Cone Vorticity: The fields 𝜼+subscript𝜼\bm{\eta}_{+}bold_italic_η start_POSTSUBSCRIPT + end_POSTSUBSCRIPT and 𝜼subscript𝜼\bm{\eta}_{-}bold_italic_η start_POSTSUBSCRIPT - end_POSTSUBSCRIPT represent two distinct modes of the coupled system. Their interactions encapsulate energy transfer dynamics, including diffusion, convection, and vortex interactions.

  • Key Features of the Light-Cone Vorticity Equations: Cross-interaction terms, such as 𝜼×𝜼+subscript𝜼subscript𝜼\bm{\eta}_{-}\times\bm{\eta}_{+}bold_italic_η start_POSTSUBSCRIPT - end_POSTSUBSCRIPT × bold_italic_η start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, reveal nonlinear feedback mechanisms between the vorticity and adjoint fields. These interactions form the foundation for understanding turbulence, vortex formation, and other complex fluid phenomena.

.1.4 Symmetry Breaking in Gauge Theory

The study begins with an SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) gauge theory, as known as the Abrikosov-Nielsen-Olesen-Zumino (ANOZ) theory [22, 23, 24], and demonstrates how dynamic polarization leads to a U(1)×U(1)𝑈1𝑈1U(1)\times U(1)italic_U ( 1 ) × italic_U ( 1 ) theory. One U(1)𝑈1U(1)italic_U ( 1 ) field corresponds to the velocity field, and the other to the adjoint vorticity field. Taking the non-relativistic limit of these fields, we recover the NS equations and the adjoint vorticity equation.

  • Gauge Symmetry Breaking: This process shows that the NS equations and the adjoint vorticity equation naturally emerge from the symmetry-breaking of an SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) gauge theory.

  • Coupling of the Two Vector Fields: The interaction between the velocity and adjoint vorticity fields reveals deep connections between higher-order field theory and classical fluid mechanics.

.1.5 Complete Dynamics: ANOZ Theory

Incorporating scalar fields into the framework leads to the ANOZ theory, a non-Abelian extension of the BCS theory for He3superscriptHe3{{}^{3}\text{He}}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT He superfluidity. In the decoupling limit, the scalar field theory reduces to the Schrödinger-Pauli equation, which corresponds to the Clebsch potential flow [25, 26] in fluid mechanics.

  • Clebsch Mapping and Quantum Analogy: The scalar field dynamics resemble the Gross-Pitaevskii (GP) equation in superfluidity, suggesting a potential quantization of fluid systems. The Schrödinger-Pauli equation (SPE) serves as the foundational equation for quantum fluid mechanics. In the paper [19], based on the Clebsch mapping and the conservation equation of fluid flow, the corresponding quantum SPE equations of the Euler equations can be derived. In this article, we believe that the Clebsch mapping is likely formally equivalent to the decoupling condition of vector-scalar fields.

In the theoretical framework proposed in this paper, the relationships among the various theories can be illustrated by the following FIG.1.

SU(2) ANOZ theoryU(1)×U(1)DoubleVector Field Theory𝑈1𝑈1DoubleVector Field Theory\begin{array}[]{l}U(1)\times U(1)\ \text{Double}\\ \ \text{Vector Field Theory}\end{array}start_ARRAY start_ROW start_CELL italic_U ( 1 ) × italic_U ( 1 ) Double end_CELL end_ROW start_ROW start_CELL Vector Field Theory end_CELL end_ROW end_ARRAYGinzburg-LandauScalar Field Theorydynamic polarizationdecouplenon-relativistic limitSchrodinger-PauliEquationnon-relativistic limitSymmetry Breaking:IncompressibleNS EquationAdjoint VorticityEquationcoupleclassical/quantum correspondencegeneralized Clebsch mapping?
Figure 1: The field theory framework of incompressible fluid dynamics

It is noteworthy that Sanders et al. recently developed a canonical Hamiltonian formulation for incompressible fluid dynamics [27]. In their work, they also constructed a Lagrangian; however, their approach results in a higher-order Hamiltonian dynamical system. In its formulation, the NS equation emerges as a trivial solution to the higher-order Hamilton-Jacobi equation.

I The effective Lagrangian of incompressible fluid

Notational Conventions:

Quantities with a tilde denote relativistic fields or field strengths, while those without a tilde denote non-relativistic ones. Greek indices {μ,ν,λ}𝜇𝜈𝜆\{\mu,\nu,\lambda\}{ italic_μ , italic_ν , italic_λ } refer to the Minkowski spacetime coordinates: [0,1,2,3]0123[0,1,2,3][ 0 , 1 , 2 , 3 ], where the 00-direction represents time. We use Latin indices {a,b,c}𝑎𝑏𝑐\{a,b,c\}{ italic_a , italic_b , italic_c } for Lie algebra space and {i,j,k}𝑖𝑗𝑘\{i,j,k\}{ italic_i , italic_j , italic_k } for three-dimensional spatial coordinates. In this article, we adopt the Einstein summation convention throughout.

We denote the velocity vector field by 𝐮𝐮{\bf u}bold_u, with its spatial components represented as ui,i=1,2,3formulae-sequencesubscript𝑢𝑖𝑖123u_{i},i=1,2,3italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i = 1 , 2 , 3. The field strength components of the velocity field 𝐮𝐮{\bf u}bold_u are defined as:

Kij=iujjui,subscript𝐾𝑖𝑗subscript𝑖subscript𝑢𝑗subscript𝑗subscript𝑢𝑖K_{ij}=\partial_{i}u_{j}-\partial_{j}u_{i}\,,italic_K start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∂ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - ∂ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , (2)

where an additional vector field 𝝃𝝃\bm{\xi}bold_italic_ξ is introduced along with its field strength:

fij=iξjjξi.subscript𝑓𝑖𝑗subscript𝑖subscript𝜉𝑗subscript𝑗subscript𝜉𝑖f_{ij}=\partial_{i}\xi_{j}-\partial_{j}\xi_{i}\,.italic_f start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∂ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_ξ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - ∂ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT . (3)

Now, consider the following effective Lagrangian:

eff=ξitui+ξiujKijν2fijKij,subscripteffsubscript𝜉𝑖subscript𝑡superscript𝑢𝑖subscript𝜉𝑖subscript𝑢𝑗superscript𝐾𝑖𝑗𝜈2subscript𝑓𝑖𝑗superscript𝐾𝑖𝑗\mathcal{L}_{\text{eff}}=-\xi_{i}\partial_{t}u^{i}+\xi_{i}u_{j}K^{ij}-\frac{% \nu}{2}f_{ij}K^{ij},caligraphic_L start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT = - italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_u start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_K start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT - divide start_ARG italic_ν end_ARG start_ARG 2 end_ARG italic_f start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_K start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT , (4)

and compute the variations with respect to the fields:

δeffδξi𝛿subscripteff𝛿subscript𝜉𝑖\displaystyle\frac{\delta\mathcal{L}_{\text{eff}}}{\delta\xi_{i}}divide start_ARG italic_δ caligraphic_L start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG =tui+ujKij,absentsubscript𝑡superscript𝑢𝑖subscript𝑢𝑗superscript𝐾𝑖𝑗\displaystyle=-\partial_{t}u^{i}+u_{j}K^{ij},= - ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_u start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + italic_u start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_K start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT , (5)
kδeffδ(kξi)subscript𝑘𝛿subscripteff𝛿subscript𝑘subscript𝜉𝑖\displaystyle\partial_{k}\frac{\delta\mathcal{L}_{\text{eff}}}{\delta(\partial% _{k}\xi_{i})}∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT divide start_ARG italic_δ caligraphic_L start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT end_ARG start_ARG italic_δ ( ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG =νkkui,absent𝜈subscript𝑘superscript𝑘superscript𝑢𝑖\displaystyle=-\nu\partial_{k}\partial^{k}u^{i},= - italic_ν ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , (6)
δeffδui𝛿subscripteff𝛿subscript𝑢𝑖\displaystyle\frac{\delta\mathcal{L}_{\text{eff}}}{\delta u_{i}}divide start_ARG italic_δ caligraphic_L start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG =ξkKki,absentsubscript𝜉𝑘superscript𝐾𝑘𝑖\displaystyle=\xi_{k}K^{ki},= italic_ξ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_K start_POSTSUPERSCRIPT italic_k italic_i end_POSTSUPERSCRIPT , (7)
kδeffδ(kui)subscript𝑘𝛿subscripteff𝛿subscript𝑘subscript𝑢𝑖\displaystyle\partial_{k}\frac{\delta\mathcal{L}_{\text{eff}}}{\delta(\partial% _{k}u_{i})}∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT divide start_ARG italic_δ caligraphic_L start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT end_ARG start_ARG italic_δ ( ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG =νkkξiukkξi+ξkkui,absent𝜈subscript𝑘superscript𝑘superscript𝜉𝑖superscript𝑢𝑘subscript𝑘superscript𝜉𝑖superscript𝜉𝑘subscript𝑘superscript𝑢𝑖\displaystyle=-\nu\partial_{k}\partial^{k}\xi^{i}-u^{k}\partial_{k}\xi^{i}+\xi% ^{k}\partial_{k}u^{i},= - italic_ν ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT italic_ξ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT - italic_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ξ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + italic_ξ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_u start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , (8)
tδeffδ(tui)subscript𝑡𝛿subscripteff𝛿subscript𝑡subscript𝑢𝑖\displaystyle\partial_{t}\frac{\delta\mathcal{L}_{\text{eff}}}{\delta(\partial% _{t}u_{i})}∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT divide start_ARG italic_δ caligraphic_L start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT end_ARG start_ARG italic_δ ( ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG =tξi.absentsubscript𝑡superscript𝜉𝑖\displaystyle=-\partial_{t}\xi^{i}.= - ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_ξ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT . (9)

In the above variations, we neglect the contributions from kuksubscript𝑘superscript𝑢𝑘\partial_{k}u^{k}∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT and kξksubscript𝑘superscript𝜉𝑘\partial_{k}\xi^{k}∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ξ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT. The former is omitted because we are considering incompressible fluids, and the latter follows from the manually imposed gauge-fixing condition kξk=0subscript𝑘superscript𝜉𝑘0\partial_{k}\xi^{k}=0∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ξ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT = 0. From Eqs. (5) and (6), the equation of motion for the velocity field 𝐮𝐮{\bf u}bold_u is derived as:

tui=ujKji+νkkui,subscript𝑡subscript𝑢𝑖superscript𝑢𝑗subscript𝐾𝑗𝑖𝜈subscript𝑘superscript𝑘subscript𝑢𝑖\partial_{t}u_{i}=-u^{j}K_{ji}+\nu\partial_{k}\partial^{k}u_{i},∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = - italic_u start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT + italic_ν ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , (10)

which can be rewritten in vector form as:

𝐮t=𝐮×(×𝐮)+ν2𝐮.𝐮𝑡𝐮𝐮𝜈superscript2𝐮\frac{\partial{\bf u}}{\partial t}=-{\bf u}\times(\nabla\times{\bf u})+\nu% \nabla^{2}{\bf u}.divide start_ARG ∂ bold_u end_ARG start_ARG ∂ italic_t end_ARG = - bold_u × ( ∇ × bold_u ) + italic_ν ∇ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_u . (11)

The only difference between this equation and the standard NS equation without external forces is a gradient of kinetic energy, (12𝐮𝐮)12𝐮𝐮{\nabla(\frac{1}{2}{\bf u}\cdot{\bf u})}∇ ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG bold_u ⋅ bold_u ), which can be absorbed by redefining the pressure term in the NS equation. Notably, the first term on the right-hand side of Eq. (11) corresponds to the term identified in Millikan’s No-Go theorem, which states that it cannot be derived from a variational principle. However, by introducing the vector field ξ𝜉\xiitalic_ξ, Millikan’s No-Go theorem no longer poses an obstacle to deriving the NS equation from a variational principle.

The Euler-Lagrange equation for the ξ𝜉\xiitalic_ξ-field follows from Eqs. (7), (8), and (9):

tξisubscript𝑡subscript𝜉𝑖\displaystyle-\partial_{t}\xi_{i}- ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT =ξjKji+νkkξi+ukkξiξkkuiabsentsuperscript𝜉𝑗subscript𝐾𝑗𝑖𝜈subscript𝑘superscript𝑘subscript𝜉𝑖superscript𝑢𝑘subscript𝑘superscript𝜉𝑖superscript𝜉𝑘subscript𝑘superscript𝑢𝑖\displaystyle=\xi^{j}K_{ji}+\nu\partial_{k}\partial^{k}\xi_{i}+u^{k}\partial_{% k}\xi^{i}-\xi^{k}\partial_{k}u^{i}= italic_ξ start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT + italic_ν ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + italic_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ξ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT - italic_ξ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_u start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT
=νkkξi+ukkξiξkiuk.absent𝜈subscript𝑘superscript𝑘subscript𝜉𝑖superscript𝑢𝑘subscript𝑘subscript𝜉𝑖superscript𝜉𝑘subscript𝑖subscript𝑢𝑘\displaystyle=\nu\partial_{k}\partial^{k}\xi_{i}+u^{k}\partial_{k}\xi_{i}-\xi^% {k}\partial_{i}u_{k}.= italic_ν ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + italic_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_ξ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT . (12)

In vector form, this equation reads:

𝝃t=ν2𝝃+(𝐮)𝝃(𝝃)𝐮+𝝃×(×𝐮).𝝃𝑡𝜈superscript2𝝃𝐮𝝃𝝃𝐮𝝃𝐮-\frac{\partial\bm{\xi}}{\partial t}=\nu\nabla^{2}\bm{\xi}+({\bf u}\cdot\nabla% )\bm{\xi}-(\bm{\xi}\cdot\nabla){\bf u}+\bm{\xi}\times(\nabla\times{\bf u}).- divide start_ARG ∂ bold_italic_ξ end_ARG start_ARG ∂ italic_t end_ARG = italic_ν ∇ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_italic_ξ + ( bold_u ⋅ ∇ ) bold_italic_ξ - ( bold_italic_ξ ⋅ ∇ ) bold_u + bold_italic_ξ × ( ∇ × bold_u ) . (13)

The equation of motion for 𝝃𝝃\bm{\xi}bold_italic_ξ, Eq. (13), can be interpreted as a vorticity equation with negative viscosity (ν)𝜈(-\nu)( - italic_ν ). We refer to this as the adjoint vorticity equation (AVE) of the NS equation.

We define the vorticity 𝐰𝐰{\bf w}bold_w of the velocity field 𝐮𝐮{\bf u}bold_u as 𝐰×𝐮𝐰𝐮{\bf w}\equiv\nabla\times{\bf u}bold_w ≡ ∇ × bold_u and introduce the “light-cone vorticities”:

𝜼±𝐰±𝝃.subscript𝜼plus-or-minusplus-or-minus𝐰𝝃\bm{\eta}_{\pm}\equiv{\bf w}\pm\bm{\xi}.bold_italic_η start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT ≡ bold_w ± bold_italic_ξ . (14)

The equations of motion (11) and (13) can then be expressed as the following “light-cone” system:

𝜼±tsubscript𝜼plus-or-minus𝑡\displaystyle\frac{\partial\bm{\eta}_{\pm}}{\partial t}divide start_ARG ∂ bold_italic_η start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_t end_ARG =\displaystyle== ν2𝜼(𝐮)𝜼±𝜈superscript2subscript𝜼minus-or-plus𝐮subscript𝜼plus-or-minus\displaystyle\nu\nabla^{2}\bm{\eta}_{\mp}-({\bf u}\cdot\nabla)\bm{\eta}_{\pm}italic_ν ∇ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_italic_η start_POSTSUBSCRIPT ∓ end_POSTSUBSCRIPT - ( bold_u ⋅ ∇ ) bold_italic_η start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT (15)
+(𝜼±)𝐮±12𝜼×𝜼+.plus-or-minussubscript𝜼plus-or-minus𝐮12subscript𝜼subscript𝜼\displaystyle+(\bm{\eta}_{\pm}\cdot\nabla){\bf u}\pm\frac{1}{2}\bm{\eta}_{-}% \times\bm{\eta}_{+}.+ ( bold_italic_η start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT ⋅ ∇ ) bold_u ± divide start_ARG 1 end_ARG start_ARG 2 end_ARG bold_italic_η start_POSTSUBSCRIPT - end_POSTSUBSCRIPT × bold_italic_η start_POSTSUBSCRIPT + end_POSTSUBSCRIPT .

From the above derivation, it follows that by coupling the fluid dynamics with a “negative-viscosity” vorticity field, the dynamics can indeed be described by a Lagrangian formulation. This indicates that the incompressible fluid system, when treated alone, is not conservative. However, when coupled with the negative-viscosity vorticity, the combined system becomes conservative. Therefore, the dynamics of incompressible fluids can be viewed as a sub-dynamics of a larger conservative system, whose Lagrangian is given by Eq. (4).

II Double Gauge Theory with Symmetry Breaking

Although the effective Lagrangian (4) successfully captures the dynamics of incompressible fluid flows as a sub-dynamics of a larger coupled conservative system, the process of symmetry breaking from a higher-energy theory into such an effective Lagrangian remains unclear. In this section, we demonstrate that the dynamical system of a non-Abelian SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) gauge field theory can break via polarization into two coupled U(1)𝑈1U(1)italic_U ( 1 ) gauge field theories, corresponding respectively to the velocity field 𝐮𝐮\mathbf{u}bold_u and the associated vorticity field ξ𝜉\mathbf{\xi}italic_ξ.

We first introduce a relativistic non-Abelian gauge field theory:

~=14~μν~μν,~14subscript~𝜇𝜈superscript~𝜇𝜈\tilde{\mathcal{L}}=-\frac{1}{4}\tilde{\mathcal{F}}_{\mu\nu}\tilde{\mathcal{F}% }^{\mu\nu},over~ start_ARG caligraphic_L end_ARG = - divide start_ARG 1 end_ARG start_ARG 4 end_ARG over~ start_ARG caligraphic_F end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG caligraphic_F end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT , (16)

where ~μν=[𝒟~μ,𝒟~ν]subscript~𝜇𝜈subscript~𝒟𝜇subscript~𝒟𝜈\tilde{\mathcal{F}}_{\mu\nu}=[\tilde{\mathcal{D}}_{\mu},\tilde{\mathcal{D}}_{% \nu}]over~ start_ARG caligraphic_F end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = [ over~ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , over~ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] is the field strength, and the covariant derivative 𝒟~μsubscript~𝒟𝜇\tilde{\mathcal{D}}_{\mu}over~ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT is defined as:

𝒟~μ=μieu~μaτaigξ~μbτb,subscript~𝒟𝜇subscript𝜇𝑖𝑒superscriptsubscript~𝑢𝜇𝑎superscript𝜏𝑎𝑖𝑔superscriptsubscript~𝜉𝜇𝑏superscript𝜏𝑏\tilde{\mathcal{D}}_{\mu}=\partial_{\mu}-ie\tilde{u}_{\mu}^{a}\tau^{a}-ig% \tilde{\xi}_{\mu}^{b}\tau^{b},over~ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_i italic_e over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT - italic_i italic_g over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT , (17)

where τasuperscript𝜏𝑎\tau^{a}italic_τ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT and τbsuperscript𝜏𝑏\tau^{b}italic_τ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT are the generators of the su(2)𝑠𝑢2su(2)italic_s italic_u ( 2 ) Lie algebra, satisfying [τa,τb]=iϵabcτcsuperscript𝜏𝑎superscript𝜏𝑏𝑖superscriptitalic-ϵ𝑎𝑏𝑐superscript𝜏𝑐[\tau^{a},\tau^{b}]=i\epsilon^{abc}\tau^{c}[ italic_τ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT , italic_τ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ] = italic_i italic_ϵ start_POSTSUPERSCRIPT italic_a italic_b italic_c end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT.

Although (17) appears to represent an SU(2)×SU(2)𝑆𝑈2𝑆𝑈2SU(2)\times SU(2)italic_S italic_U ( 2 ) × italic_S italic_U ( 2 ) covariant derivative, we can redefine the vector fields as:

U~μ=(u~μa+egξ~μa)τa,subscript~𝑈𝜇superscriptsubscript~𝑢𝜇𝑎𝑒𝑔superscriptsubscript~𝜉𝜇𝑎superscript𝜏𝑎\displaystyle\tilde{U}_{\mu}=\left(\tilde{u}_{\mu}^{a}+\frac{e}{g}\tilde{\xi}_% {\mu}^{a}\right)\tau^{a},over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = ( over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT + divide start_ARG italic_e end_ARG start_ARG italic_g end_ARG over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ) italic_τ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT , (18)

such that (17) behaves like an SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) covariant derivative. The separation into two vector fields serves to facilitate the analysis of symmetry breaking later. Explicitly, ~μνsubscript~𝜇𝜈\tilde{\mathcal{F}}_{\mu\nu}over~ start_ARG caligraphic_F end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT is:

~μνsubscript~𝜇𝜈\displaystyle\tilde{\mathcal{F}}_{\mu\nu}over~ start_ARG caligraphic_F end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT =[𝒟~μ,𝒟~ν]=ieK~μνigf~μνabsentsubscript~𝒟𝜇subscript~𝒟𝜈𝑖𝑒subscript~𝐾𝜇𝜈𝑖𝑔subscript~𝑓𝜇𝜈\displaystyle=[\tilde{\mathcal{D}}_{\mu},\tilde{\mathcal{D}}_{\nu}]=-ie\tilde{% K}_{\mu\nu}-ig\tilde{f}_{\mu\nu}= [ over~ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , over~ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] = - italic_i italic_e over~ start_ARG italic_K end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT - italic_i italic_g over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT
e2[u~μ,u~ν]g2[ξ~μ,ξ~ν]eg[u~μ,ξ~ν].superscript𝑒2subscript~𝑢𝜇subscript~𝑢𝜈superscript𝑔2subscript~𝜉𝜇subscript~𝜉𝜈𝑒𝑔subscript~𝑢𝜇subscript~𝜉𝜈\displaystyle\quad-e^{2}[\tilde{u}_{\mu},\tilde{u}_{\nu}]-g^{2}[\tilde{\xi}_{% \mu},\tilde{\xi}_{\nu}]-eg[\tilde{u}_{\mu},\tilde{\xi}_{\nu}].- italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] - italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] - italic_e italic_g [ over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] . (19)

We now consider symmetry breaking from SU(2)U(1)×U(1)𝑆𝑈2𝑈1𝑈1SU(2)\rightarrow U(1)\times U(1)italic_S italic_U ( 2 ) → italic_U ( 1 ) × italic_U ( 1 ). In this case, the commutators [u~μ,u~ν]=[ξ~μ,ξ~ν]=0subscript~𝑢𝜇subscript~𝑢𝜈subscript~𝜉𝜇subscript~𝜉𝜈0[\tilde{u}_{\mu},\tilde{u}_{\nu}]=[\tilde{\xi}_{\mu},\tilde{\xi}_{\nu}]=0[ over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] = [ over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] = 0, so:

~μν=ieK~μνigf~μνeg[u~μ,ξ~ν].subscript~𝜇𝜈𝑖𝑒subscript~𝐾𝜇𝜈𝑖𝑔subscript~𝑓𝜇𝜈𝑒𝑔subscript~𝑢𝜇subscript~𝜉𝜈\displaystyle\tilde{\mathcal{F}}_{\mu\nu}=-ie\tilde{K}_{\mu\nu}-ig\tilde{f}_{% \mu\nu}-eg[\tilde{u}_{\mu},\tilde{\xi}_{\nu}].over~ start_ARG caligraphic_F end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = - italic_i italic_e over~ start_ARG italic_K end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT - italic_i italic_g over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT - italic_e italic_g [ over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] . (20)

We obtain:

~μν~μνsubscript~𝜇𝜈superscript~𝜇𝜈\displaystyle\tilde{\mathcal{F}}_{\mu\nu}\tilde{\mathcal{F}}^{\mu\nu}over~ start_ARG caligraphic_F end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG caligraphic_F end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT =e2K~μνK~μνg2f~μνf~μν2egf~μνK~μνabsentsuperscript𝑒2subscript~𝐾𝜇𝜈superscript~𝐾𝜇𝜈superscript𝑔2subscript~𝑓𝜇𝜈superscript~𝑓𝜇𝜈2𝑒𝑔subscript~𝑓𝜇𝜈superscript~𝐾𝜇𝜈\displaystyle=-e^{2}\tilde{K}_{\mu\nu}\tilde{K}^{\mu\nu}-g^{2}\tilde{f}_{\mu% \nu}\tilde{f}^{\mu\nu}-2eg\tilde{f}_{\mu\nu}\tilde{K}^{\mu\nu}= - italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_f end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - 2 italic_e italic_g over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT
2e2g[u~μ×ξ~ν]K~μν2eg2[u~μ×ξ~ν]f~μν2superscript𝑒2𝑔delimited-[]subscript~𝑢𝜇subscript~𝜉𝜈superscript~𝐾𝜇𝜈2𝑒superscript𝑔2delimited-[]subscript~𝑢𝜇subscript~𝜉𝜈superscript~𝑓𝜇𝜈\displaystyle\quad-2e^{2}g\left[\tilde{u}_{\mu}\times\tilde{\xi}_{\nu}\right]% \tilde{K}^{\mu\nu}-2eg^{2}\left[\tilde{u}_{\mu}\times\tilde{\xi}_{\nu}\right]% \tilde{f}^{\mu\nu}- 2 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g [ over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT × over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - 2 italic_e italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT × over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] over~ start_ARG italic_f end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT
+e2g2[u~μ×ξ~ν][u~μ×ξ~ν].superscript𝑒2superscript𝑔2delimited-[]subscript~𝑢𝜇subscript~𝜉𝜈delimited-[]superscript~𝑢𝜇superscript~𝜉𝜈\displaystyle\quad+e^{2}g^{2}[\tilde{u}_{\mu}\times\tilde{\xi}_{\nu}][\tilde{u% }^{\mu}\times\tilde{\xi}^{\nu}].+ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT × over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] [ over~ start_ARG italic_u end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT × over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ] . (21)

Next, we assume a symmetry-breaking scenario where the U(1)𝑈1U(1)italic_U ( 1 ) Lie algebra generator of the u~~𝑢\tilde{u}over~ start_ARG italic_u end_ARG field is:

κ=ατ1+βτ2+γτ3,κ2=(α2+β2+γ2)𝕀=𝕀.formulae-sequence𝜅𝛼superscript𝜏1𝛽superscript𝜏2𝛾superscript𝜏3superscript𝜅2superscript𝛼2superscript𝛽2superscript𝛾2𝕀𝕀\displaystyle\kappa=\alpha\tau^{1}+\beta\tau^{2}+\gamma\tau^{3},\quad\kappa^{2% }=(\alpha^{2}+\beta^{2}+\gamma^{2})\mathbb{I}=\mathbb{I}.italic_κ = italic_α italic_τ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT + italic_β italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_γ italic_τ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_β start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) blackboard_I = blackboard_I . (22)

For the ξ~~𝜉\tilde{\xi}over~ start_ARG italic_ξ end_ARG field, we assume polarization along the τ3superscript𝜏3\tau^{3}italic_τ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT direction. Under this symmetry breaking, the term [u~μ×ξ~ν]f~μνdelimited-[]subscript~𝑢𝜇subscript~𝜉𝜈superscript~𝑓𝜇𝜈\left[\tilde{u}_{\mu}\times\tilde{\xi}_{\nu}\right]\tilde{f}^{\mu\nu}[ over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT × over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ] over~ start_ARG italic_f end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT vanishes, and the Lagrangian becomes:

~μν~μνsubscript~𝜇𝜈superscript~𝜇𝜈\displaystyle\tilde{\mathcal{F}}_{\mu\nu}\tilde{\mathcal{F}}^{\mu\nu}over~ start_ARG caligraphic_F end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG caligraphic_F end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT =e2K~μνK~μνg2f~μνf~μν2egγf~μνK~μνabsentsuperscript𝑒2subscript~𝐾𝜇𝜈superscript~𝐾𝜇𝜈superscript𝑔2subscript~𝑓𝜇𝜈superscript~𝑓𝜇𝜈2𝑒𝑔𝛾subscript~𝑓𝜇𝜈superscript~𝐾𝜇𝜈\displaystyle=-e^{2}\tilde{K}_{\mu\nu}\tilde{K}^{\mu\nu}-g^{2}\tilde{f}_{\mu% \nu}\tilde{f}^{\mu\nu}-2eg\gamma\tilde{f}_{\mu\nu}\tilde{K}^{\mu\nu}= - italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_f end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - 2 italic_e italic_g italic_γ over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT
4e2g(β2α2)u~μξ~νK~μν4superscript𝑒2𝑔superscript𝛽2superscript𝛼2subscript~𝑢𝜇subscript~𝜉𝜈superscript~𝐾𝜇𝜈\displaystyle\quad-4e^{2}g(\beta^{2}-\alpha^{2})\tilde{u}_{\mu}\tilde{\xi}_{% \nu}\tilde{K}^{\mu\nu}- 4 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g ( italic_β start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT
+2e2g2[u~μ2ξ~ν2+(βα)2(u~μξ~μ)2].2superscript𝑒2superscript𝑔2delimited-[]superscriptsubscript~𝑢𝜇2superscriptsubscript~𝜉𝜈2superscript𝛽𝛼2superscriptsubscript~𝑢𝜇superscript~𝜉𝜇2\displaystyle\quad+2e^{2}g^{2}\left[\tilde{u}_{\mu}^{2}\tilde{\xi}_{\nu}^{2}+(% \beta-\alpha)^{2}(\tilde{u}_{\mu}\tilde{\xi}^{\mu})^{2}\right].+ 2 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_β - italic_α ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] . (23)

The unbroken part of the Lagrangian is:

~unbroken=e24K~μνK~μν+g24f~μνf~μνe2g22u~μ2ξ~ν2.subscript~unbrokensuperscript𝑒24subscript~𝐾𝜇𝜈superscript~𝐾𝜇𝜈superscript𝑔24subscript~𝑓𝜇𝜈superscript~𝑓𝜇𝜈superscript𝑒2superscript𝑔22superscriptsubscript~𝑢𝜇2superscriptsubscript~𝜉𝜈2\tilde{\mathcal{L}}_{\text{unbroken}}=\frac{e^{2}}{4}\tilde{K}_{\mu\nu}\tilde{% K}^{\mu\nu}+\frac{g^{2}}{4}\tilde{f}_{\mu\nu}\tilde{f}^{\mu\nu}-\frac{e^{2}g^{% 2}}{2}\tilde{u}_{\mu}^{2}\tilde{\xi}_{\nu}^{2}.over~ start_ARG caligraphic_L end_ARG start_POSTSUBSCRIPT unbroken end_POSTSUBSCRIPT = divide start_ARG italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG over~ start_ARG italic_K end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + divide start_ARG italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_f end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - divide start_ARG italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (24)

The broken part is:

~broken=eg2γf~μνK~μν+e2g(β2α2)u~μξ~νK~μνsubscript~broken𝑒𝑔2𝛾subscript~𝑓𝜇𝜈superscript~𝐾𝜇𝜈superscript𝑒2𝑔superscript𝛽2superscript𝛼2subscript~𝑢𝜇subscript~𝜉𝜈superscript~𝐾𝜇𝜈\displaystyle\tilde{\mathcal{L}}_{\text{broken}}=\frac{eg}{2}\gamma\tilde{f}_{% \mu\nu}\tilde{K}^{\mu\nu}+e^{2}g(\beta^{2}-\alpha^{2})\tilde{u}_{\mu}\tilde{% \xi}_{\nu}\tilde{K}^{\mu\nu}over~ start_ARG caligraphic_L end_ARG start_POSTSUBSCRIPT broken end_POSTSUBSCRIPT = divide start_ARG italic_e italic_g end_ARG start_ARG 2 end_ARG italic_γ over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g ( italic_β start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT
e2g22(βα)2(u~μξ~μ)2.superscript𝑒2superscript𝑔22superscript𝛽𝛼2superscriptsubscript~𝑢𝜇superscript~𝜉𝜇2\displaystyle-\frac{e^{2}g^{2}}{2}(\beta-\alpha)^{2}(\tilde{u}_{\mu}\tilde{\xi% }^{\mu})^{2}.- divide start_ARG italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( italic_β - italic_α ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (25)

~unbrokensubscript~𝑢𝑛𝑏𝑟𝑜𝑘𝑒𝑛\tilde{\mathcal{L}}_{unbroken}over~ start_ARG caligraphic_L end_ARG start_POSTSUBSCRIPT italic_u italic_n italic_b italic_r italic_o italic_k italic_e italic_n end_POSTSUBSCRIPT describes two free, massive gauge fields. The mass of the u~~𝑢\tilde{u}over~ start_ARG italic_u end_ARG field is given by: mu=gξ~2subscript𝑚𝑢𝑔delimited-⟨⟩superscript~𝜉2m_{u}=g\sqrt{\langle\tilde{\xi}^{2}\rangle}italic_m start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = italic_g square-root start_ARG ⟨ over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ end_ARG, while the mass of the ξ~~𝜉\tilde{\xi}over~ start_ARG italic_ξ end_ARG field is mξ=eu~2subscript𝑚𝜉𝑒delimited-⟨⟩superscript~𝑢2m_{\xi}=e\sqrt{\langle\tilde{u}^{2}\rangle}italic_m start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT = italic_e square-root start_ARG ⟨ over~ start_ARG italic_u end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ end_ARG. The equations of motion corresponding to ~~\tilde{\mathcal{L}}over~ start_ARG caligraphic_L end_ARG are:

μμu~ννμu~μ+mu2u~ν=1e2δ~brokenδu~ν,subscript𝜇superscript𝜇subscript~𝑢𝜈subscript𝜈superscript𝜇subscript~𝑢𝜇superscriptsubscript𝑚𝑢2subscript~𝑢𝜈1superscript𝑒2𝛿subscript~𝑏𝑟𝑜𝑘𝑒𝑛𝛿superscript~𝑢𝜈\displaystyle\partial_{\mu}\partial^{\mu}\tilde{u}_{\nu}-\partial_{\nu}% \partial^{\mu}\tilde{u}_{\mu}+m_{u}^{2}\tilde{u}_{\nu}=\frac{1}{e^{2}}\frac{% \delta\tilde{\mathcal{L}}_{broken}}{\delta\tilde{u}^{\nu}},∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT - ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_δ over~ start_ARG caligraphic_L end_ARG start_POSTSUBSCRIPT italic_b italic_r italic_o italic_k italic_e italic_n end_POSTSUBSCRIPT end_ARG start_ARG italic_δ over~ start_ARG italic_u end_ARG start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT end_ARG , (26)
μμξ~ννμξ~μ+mξ2ξ~ν=1g2δ~brokenδξ~ν.subscript𝜇superscript𝜇subscript~𝜉𝜈subscript𝜈superscript𝜇subscript~𝜉𝜇superscriptsubscript𝑚𝜉2subscript~𝜉𝜈1superscript𝑔2𝛿subscript~𝑏𝑟𝑜𝑘𝑒𝑛𝛿superscript~𝜉𝜈\displaystyle\partial_{\mu}\partial^{\mu}\tilde{\xi}_{\nu}-\partial_{\nu}% \partial^{\mu}\tilde{\xi}_{\mu}+m_{\xi}^{2}\tilde{\xi}_{\nu}=\frac{1}{g^{2}}% \frac{\delta\tilde{\mathcal{L}}_{broken}}{\delta\tilde{\xi}^{\nu}}.∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT - ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_δ over~ start_ARG caligraphic_L end_ARG start_POSTSUBSCRIPT italic_b italic_r italic_o italic_k italic_e italic_n end_POSTSUBSCRIPT end_ARG start_ARG italic_δ over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT end_ARG . (27)

Adopting the Lorentz gauge:

μu~μ=μξ~μ=0,subscript𝜇superscript~𝑢𝜇subscript𝜇superscript~𝜉𝜇0\partial_{\mu}\tilde{u}^{\mu}=\partial_{\mu}\tilde{\xi}^{\mu}=0\,,∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_u end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 0 , (28)

we treat the last term in (25)25(\ref{eq:lbroken})( ) as a constraint, introducing a Lagrange multiplier to enforce it. Using the method of Lagrange multipliers, we obtain the following equivalence:

e2g22(βα)2(u~μξ~μ)2+λϕ2eg(αβ)(u~μξ~μ)+λ2ϕ42superscript𝑒2superscript𝑔22superscript𝛽𝛼2superscriptsubscript~𝑢𝜇superscript~𝜉𝜇2𝜆superscriptitalic-ϕ2𝑒𝑔𝛼𝛽subscript~𝑢𝜇superscript~𝜉𝜇superscript𝜆2superscriptitalic-ϕ42\displaystyle\frac{e^{2}g^{2}}{2}(\beta-\alpha)^{2}(\tilde{u}_{\mu}\tilde{\xi}% ^{\mu})^{2}+\lambda\phi^{2}eg(\alpha-\beta)(\tilde{u}_{\mu}\tilde{\xi}^{\mu})+% \frac{\lambda^{2}\phi^{4}}{2}divide start_ARG italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( italic_β - italic_α ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e italic_g ( italic_α - italic_β ) ( over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) + divide start_ARG italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG
=12(λϕ2+eg(βα)u~μξ~μ)2,absent12superscript𝜆superscriptitalic-ϕ2𝑒𝑔𝛽𝛼subscript~𝑢𝜇superscript~𝜉𝜇2\displaystyle=\frac{1}{2}\left(\lambda\phi^{2}+eg(\beta-\alpha)\tilde{u}_{\mu}% \tilde{\xi}^{\mu}\right)^{2},= divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_λ italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_e italic_g ( italic_β - italic_α ) over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,

where λ𝜆\lambdaitalic_λ describes the self-coupling of the scalar field, which acts here as a Lagrange multiplier. When eg(βα)u~μξ~μ=λϕ2𝑒𝑔𝛽𝛼subscript~𝑢𝜇superscript~𝜉𝜇𝜆delimited-⟨⟩superscriptitalic-ϕ2-eg(\beta-\alpha)\tilde{u}_{\mu}\tilde{\xi}^{\mu}=\lambda\langle\phi^{2}\rangle- italic_e italic_g ( italic_β - italic_α ) over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_λ ⟨ italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩, the broken Lagrangian brokensubscript𝑏𝑟𝑜𝑘𝑒𝑛\mathcal{L}_{broken}caligraphic_L start_POSTSUBSCRIPT italic_b italic_r italic_o italic_k italic_e italic_n end_POSTSUBSCRIPT becomes:

L~brokensubscript~𝐿𝑏𝑟𝑜𝑘𝑒𝑛\displaystyle\tilde{L}_{broken}over~ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_b italic_r italic_o italic_k italic_e italic_n end_POSTSUBSCRIPT =\displaystyle== eg2γf~μνK~μν+e2g(β2α2)u~μξ~νK~μν𝑒𝑔2𝛾subscript~𝑓𝜇𝜈superscript~𝐾𝜇𝜈superscript𝑒2𝑔superscript𝛽2superscript𝛼2subscript~𝑢𝜇subscript~𝜉𝜈superscript~𝐾𝜇𝜈\displaystyle\frac{eg}{2}\gamma\tilde{f}_{\mu\nu}\tilde{K}^{\mu\nu}+e^{2}g(% \beta^{2}-\alpha^{2})\tilde{u}_{\mu}\tilde{\xi}_{\nu}\tilde{K}^{\mu\nu}divide start_ARG italic_e italic_g end_ARG start_ARG 2 end_ARG italic_γ over~ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g ( italic_β start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT (29)
+\displaystyle++ λϕ2eg(βα)u~μξ~μ+λ2ϕ22.𝜆delimited-⟨⟩superscriptitalic-ϕ2𝑒𝑔𝛽𝛼subscript~𝑢𝜇superscript~𝜉𝜇superscript𝜆2superscriptdelimited-⟨⟩superscriptitalic-ϕ22\displaystyle\lambda\langle\phi^{2}\rangle eg(\beta-\alpha)\tilde{u}_{\mu}% \tilde{\xi}^{\mu}+\lambda^{2}\langle\phi^{2}\rangle^{2}.italic_λ ⟨ italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ italic_e italic_g ( italic_β - italic_α ) over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟨ italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .

Now, the two sides of (27)27(\ref{eq:massivevorticity})( ) can be separated. We set:

μμξ~ν+mξ2ξ~ν=0,subscript𝜇superscript𝜇subscript~𝜉𝜈superscriptsubscript𝑚𝜉2subscript~𝜉𝜈0\partial_{\mu}\partial^{\mu}\tilde{\xi}_{\nu}+m_{\xi}^{2}\tilde{\xi}_{\nu}=0\,,∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_ξ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = 0 , (30)

and the right-hand side of (27)27(\ref{eq:massivevorticity})( ) becomes:

μμu~ν+e(β2α2)γu~μK~μν+λϕ2(βα)γu~ν=0.subscript𝜇superscript𝜇subscript~𝑢𝜈𝑒superscript𝛽2superscript𝛼2𝛾subscript~𝑢𝜇superscript~𝐾𝜇𝜈𝜆delimited-⟨⟩superscriptitalic-ϕ2𝛽𝛼𝛾subscript~𝑢𝜈0\partial_{\mu}\partial^{\mu}\tilde{u}_{\nu}+\frac{e(\beta^{2}-\alpha^{2})}{% \gamma}\tilde{u}_{\mu}\tilde{K}^{\mu\nu}+\frac{\lambda\langle\phi^{2}\rangle(% \beta-\alpha)}{\gamma}\tilde{u}_{\nu}=0.∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT + divide start_ARG italic_e ( italic_β start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_γ end_ARG over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + divide start_ARG italic_λ ⟨ italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ ( italic_β - italic_α ) end_ARG start_ARG italic_γ end_ARG over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = 0 . (31)

In the non-relativistic limit, let

u~μ=eimtuμ,m=λϕ2(βα)γ,u0=0,formulae-sequencesubscript~𝑢𝜇superscript𝑒𝑖𝑚𝑡subscript𝑢𝜇formulae-sequence𝑚𝜆delimited-⟨⟩superscriptitalic-ϕ2𝛽𝛼𝛾subscript𝑢00\tilde{u}_{\mu}=e^{imt}u_{\mu},\quad m=\sqrt{\frac{\lambda\langle\phi^{2}% \rangle(\beta-\alpha)}{\gamma}},\quad u_{0}=0,over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = italic_e start_POSTSUPERSCRIPT italic_i italic_m italic_t end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , italic_m = square-root start_ARG divide start_ARG italic_λ ⟨ italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ ( italic_β - italic_α ) end_ARG start_ARG italic_γ end_ARG end_ARG , italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0 , (32)

where uμsubscript𝑢𝜇u_{\mu}italic_u start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT evolves much more slowly than eimtsuperscript𝑒𝑖𝑚𝑡e^{imt}italic_e start_POSTSUPERSCRIPT italic_i italic_m italic_t end_POSTSUPERSCRIPT. The imaginary part of (31)31(\ref{eq:reu})( ) in the non-relativistic form is:

2mcos(mt)tui2𝑚𝑚𝑡subscript𝑡subscript𝑢𝑖\displaystyle 2m\cos(mt)\partial_{t}u_{i}2 italic_m roman_cos ( italic_m italic_t ) ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT \displaystyle-- sin(mt)2ui𝑚𝑡superscript2subscript𝑢𝑖\displaystyle\sin(mt)\nabla^{2}u_{i}roman_sin ( italic_m italic_t ) ∇ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (33)
+\displaystyle++ sin(2mt)e(β2α2)γujKji=0.2𝑚𝑡𝑒superscript𝛽2superscript𝛼2𝛾subscript𝑢𝑗superscript𝐾𝑗𝑖0\displaystyle\sin(2mt)\frac{e(\beta^{2}-\alpha^{2})}{\gamma}u_{j}K^{ji}=0.roman_sin ( 2 italic_m italic_t ) divide start_ARG italic_e ( italic_β start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_γ end_ARG italic_u start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_K start_POSTSUPERSCRIPT italic_j italic_i end_POSTSUPERSCRIPT = 0 .

When:

e(β2α2)γ=msin(mt),νtan(mt)2m,formulae-sequence𝑒superscript𝛽2superscript𝛼2𝛾𝑚𝑚𝑡𝜈𝑚𝑡2𝑚\frac{e(\beta^{2}-\alpha^{2})}{\gamma}=\frac{m}{\sin(mt)},\quad\nu\equiv\frac{% \tan(mt)}{2m},divide start_ARG italic_e ( italic_β start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_γ end_ARG = divide start_ARG italic_m end_ARG start_ARG roman_sin ( italic_m italic_t ) end_ARG , italic_ν ≡ divide start_ARG roman_tan ( italic_m italic_t ) end_ARG start_ARG 2 italic_m end_ARG , (34)

(33)33(\ref{eq:nonreu})( ) corresponds to the incompressible Navier-Stokes equation (11)11(\ref{eq:vectvelocity})( ) without external force or pressure. Similarly, the non-relativistic limit of (26)26(\ref{eq:massivevelocity})( ) gives the corresponding vorticity equation (13)13(\ref{eq:vectvorticity})( ).

From the above derivation, starting with an SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) gauge theory where polarization symmetry breaks to U(1)×U(1)𝑈1𝑈1U(1)\times U(1)italic_U ( 1 ) × italic_U ( 1 ), and taking the non-relativistic limit of the broken phase, we obtain the effective Lagrangian (4). In this process, we did not introduce specific dynamics for the scalar field but only considered the broken forms of the gauge fields. Similar to the BCS theory of superfluidity, the dynamics of the scalar field can characterize the system dynamics after symmetry breaking. When the scalar and vector fields decouple, the decoupling conditions may precisely correspond to the Clebsch potential flow representation.

III Scalar Field Theory

In Meng and Yang’s work[19], quaternionic bosonic wave functions were applied to solve the Euler equations in quantum computational settings. We will demonstrate that these quaternionic wave functions are, in fact, isomorphic to vacuum fields with spontaneous symmetry breaking in gauge theory.

III.1 Isomorphism between Quaternions and su(2)×u(1)𝑠𝑢2𝑢1su(2)\times u(1)italic_s italic_u ( 2 ) × italic_u ( 1 )

A wave function expressed in quaternions takes the form ϕ=a+ib+jc+kditalic-ϕ𝑎𝑖𝑏𝑗𝑐𝑘𝑑\phi=a+ib+jc+kditalic_ϕ = italic_a + italic_i italic_b + italic_j italic_c + italic_k italic_d, with the following algebraic relations:

ij=ji=k,jk=kj=i,ki=ik=j.formulae-sequence𝑖𝑗𝑗𝑖𝑘𝑗𝑘𝑘𝑗𝑖𝑘𝑖𝑖𝑘𝑗ij=-ji=k,\quad jk=-kj=i,\quad ki=-ik=j\,.italic_i italic_j = - italic_j italic_i = italic_k , italic_j italic_k = - italic_k italic_j = italic_i , italic_k italic_i = - italic_i italic_k = italic_j . (35)

The generators of the su(2)×u(1)𝑠𝑢2𝑢1su(2)\times u(1)italic_s italic_u ( 2 ) × italic_u ( 1 ) Lie algebra are:

τ0=𝕀2×22,τa=σa2,a=1,2,3,formulae-sequencesuperscript𝜏0subscript𝕀222formulae-sequencesuperscript𝜏𝑎superscript𝜎𝑎2𝑎123\displaystyle\tau^{0}=\frac{\mathbb{I}_{2\times 2}}{2},\quad\tau^{a}=\frac{% \sigma^{a}}{2},\quad a=1,2,3\,,italic_τ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = divide start_ARG blackboard_I start_POSTSUBSCRIPT 2 × 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG , italic_τ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = divide start_ARG italic_σ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG , italic_a = 1 , 2 , 3 , (36)

where 𝕀2×2subscript𝕀22\mathbb{I}_{2\times 2}blackboard_I start_POSTSUBSCRIPT 2 × 2 end_POSTSUBSCRIPT is the 2×2222\times 22 × 2 identity matrix, and σasuperscript𝜎𝑎\sigma^{a}italic_σ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT are the Pauli matrices given by:

σ1=(0110),σ2=(0ii0),σ3=(1001).formulae-sequencesuperscript𝜎1matrix0110formulae-sequencesuperscript𝜎2matrix0𝑖𝑖0superscript𝜎3matrix1001\displaystyle\sigma^{1}=\begin{pmatrix}0&1\\ 1&0\end{pmatrix},\quad\sigma^{2}=\begin{pmatrix}0&-i\\ i&0\end{pmatrix},\quad\sigma^{3}=\begin{pmatrix}1&0\\ 0&-1\end{pmatrix}.italic_σ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT = ( start_ARG start_ROW start_CELL 0 end_CELL start_CELL 1 end_CELL end_ROW start_ROW start_CELL 1 end_CELL start_CELL 0 end_CELL end_ROW end_ARG ) , italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( start_ARG start_ROW start_CELL 0 end_CELL start_CELL - italic_i end_CELL end_ROW start_ROW start_CELL italic_i end_CELL start_CELL 0 end_CELL end_ROW end_ARG ) , italic_σ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT = ( start_ARG start_ROW start_CELL 1 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL - 1 end_CELL end_ROW end_ARG ) . (37)

These matrices satisfy the following anticommutation and commutation relations:

{σa,σb}=2δab𝕀2×2,[σa,σb]=2iϵabcσc,formulae-sequencesuperscript𝜎𝑎superscript𝜎𝑏2superscript𝛿𝑎𝑏subscript𝕀22superscript𝜎𝑎superscript𝜎𝑏2𝑖superscriptitalic-ϵ𝑎𝑏𝑐superscript𝜎𝑐\displaystyle\{\sigma^{a},\sigma^{b}\}=2\delta^{ab}\mathbb{I}_{2\times 2},% \quad[\sigma^{a},\sigma^{b}]=2i\epsilon^{abc}\sigma^{c}\,,{ italic_σ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT , italic_σ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT } = 2 italic_δ start_POSTSUPERSCRIPT italic_a italic_b end_POSTSUPERSCRIPT blackboard_I start_POSTSUBSCRIPT 2 × 2 end_POSTSUBSCRIPT , [ italic_σ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT , italic_σ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ] = 2 italic_i italic_ϵ start_POSTSUPERSCRIPT italic_a italic_b italic_c end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT , (38)

where ϵabcsuperscriptitalic-ϵ𝑎𝑏𝑐\epsilon^{abc}italic_ϵ start_POSTSUPERSCRIPT italic_a italic_b italic_c end_POSTSUPERSCRIPT is the Levi-Civita symbol. The su(2)×u(1)𝑠𝑢2𝑢1su(2)\times u(1)italic_s italic_u ( 2 ) × italic_u ( 1 ) Lie algebra can be expressed as:

[τ0,τ0]=[τ0,τa]=0,[τa,τb]=iϵabcτc.formulae-sequencesuperscript𝜏0superscript𝜏0superscript𝜏0superscript𝜏𝑎0superscript𝜏𝑎superscript𝜏𝑏𝑖superscriptitalic-ϵ𝑎𝑏𝑐superscript𝜏𝑐\displaystyle[\tau^{0},\tau^{0}]=[\tau^{0},\tau^{a}]=0,\quad[\tau^{a},\tau^{b}% ]=i\epsilon^{abc}\tau^{c}\,.[ italic_τ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , italic_τ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ] = [ italic_τ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , italic_τ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ] = 0 , [ italic_τ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT , italic_τ start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ] = italic_i italic_ϵ start_POSTSUPERSCRIPT italic_a italic_b italic_c end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT . (39)

The quaternion representation is algebraically isomorphic to the su(2)×u(1)𝑠𝑢2𝑢1su(2)\times u(1)italic_s italic_u ( 2 ) × italic_u ( 1 ) algebra. This is illustrated with the following examples.

The complex conjugate of the quaternion ϕitalic-ϕ\phiitalic_ϕ is given by ϕ¯=aibjckd¯italic-ϕ𝑎𝑖𝑏𝑗𝑐𝑘𝑑\bar{\phi}=a-ib-jc-kdover¯ start_ARG italic_ϕ end_ARG = italic_a - italic_i italic_b - italic_j italic_c - italic_k italic_d, which satisfies:

ϕ¯ϕ=a2+b2+c2+d2.¯italic-ϕitalic-ϕsuperscript𝑎2superscript𝑏2superscript𝑐2superscript𝑑2\displaystyle\bar{\phi}\phi=a^{2}+b^{2}+c^{2}+d^{2}\,.over¯ start_ARG italic_ϕ end_ARG italic_ϕ = italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (40)

We further compute ϕ¯iϕ¯italic-ϕ𝑖italic-ϕ\bar{\phi}i\phiover¯ start_ARG italic_ϕ end_ARG italic_i italic_ϕ:

ϕ¯iϕ=(a2+b2c2d2)i+2(bcad)j+2(ac+bd)k.¯italic-ϕ𝑖italic-ϕsuperscript𝑎2superscript𝑏2superscript𝑐2superscript𝑑2𝑖2𝑏𝑐𝑎𝑑𝑗2𝑎𝑐𝑏𝑑𝑘\bar{\phi}i\phi=(a^{2}+b^{2}-c^{2}-d^{2})i+2(bc-ad)j+2(ac+bd)k\,.over¯ start_ARG italic_ϕ end_ARG italic_i italic_ϕ = ( italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_i + 2 ( italic_b italic_c - italic_a italic_d ) italic_j + 2 ( italic_a italic_c + italic_b italic_d ) italic_k . (41)

In the su(2)×u(1)𝑠𝑢2𝑢1su(2)\times u(1)italic_s italic_u ( 2 ) × italic_u ( 1 ) basis, the wave function can be expressed as:

ϕ~=ϕAτA=a2+bτ1+cτ2+dτ3.~italic-ϕsuperscriptitalic-ϕ𝐴superscript𝜏𝐴𝑎2𝑏superscript𝜏1𝑐superscript𝜏2𝑑superscript𝜏3\displaystyle\tilde{\phi}=\phi^{A}\tau^{A}=\frac{a}{2}+b\tau^{1}+c\tau^{2}+d% \tau^{3}\,.over~ start_ARG italic_ϕ end_ARG = italic_ϕ start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT = divide start_ARG italic_a end_ARG start_ARG 2 end_ARG + italic_b italic_τ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT + italic_c italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d italic_τ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (42)

It is evident that this is a Hermitian representation, as ϕ~=ϕ~superscript~italic-ϕ~italic-ϕ\tilde{\phi}^{\dagger}=\tilde{\phi}over~ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT = over~ start_ARG italic_ϕ end_ARG. Calculating the trace yields:

2Tr(ϕ~AτAϕ~BτB)=a2+b2+c2+d2=ϕ¯ϕ.2Trsuperscript~italic-ϕabsent𝐴superscript𝜏𝐴superscript~italic-ϕ𝐵superscript𝜏𝐵superscript𝑎2superscript𝑏2superscript𝑐2superscript𝑑2¯italic-ϕitalic-ϕ\displaystyle 2\text{Tr}(\tilde{\phi}^{\dagger A}\tau^{A}\tilde{\phi}^{B}\tau^% {B})=a^{2}+b^{2}+c^{2}+d^{2}=\bar{\phi}\phi\,.2 Tr ( over~ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT † italic_A end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT over~ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT ) = italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = over¯ start_ARG italic_ϕ end_ARG italic_ϕ . (43)

We also compute:

4ϕ~τ1ϕ=(a2+b2c2d2)τ1+2(bcad)τ2+2(bd+ac)τ3.4~italic-ϕsuperscript𝜏1italic-ϕsuperscript𝑎2superscript𝑏2superscript𝑐2superscript𝑑2superscript𝜏12𝑏𝑐𝑎𝑑superscript𝜏22𝑏𝑑𝑎𝑐superscript𝜏34\tilde{\phi}\tau^{1}\phi=(a^{2}+b^{2}-c^{2}-d^{2})\tau^{1}+2(bc-ad)\tau^{2}+2% (bd+ac)\tau^{3}\,.4 over~ start_ARG italic_ϕ end_ARG italic_τ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_ϕ = ( italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_τ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT + 2 ( italic_b italic_c - italic_a italic_d ) italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 ( italic_b italic_d + italic_a italic_c ) italic_τ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (44)

It can be observed that Eq. (44) matches Eq. (41) under the quaternionic representation as in [19].

III.2 Non-Abelian Higgs Theory

The quaternionic wave function corresponds to a scalar field with su(2)×u(1)𝑠𝑢2𝑢1su(2)\times u(1)italic_s italic_u ( 2 ) × italic_u ( 1 ) Lie algebra indices. This algebraic isomorphism suggests the existence of a gauge theory. Consider the classical Lagrangian:

=Tr(𝒟μϕ𝒟μϕ14FμνFμν)V(ϕ,ϕ),Trsubscript𝒟𝜇superscriptitalic-ϕsuperscript𝒟𝜇italic-ϕ14subscript𝐹𝜇𝜈superscript𝐹𝜇𝜈𝑉italic-ϕsuperscriptitalic-ϕ\mathcal{L}=\text{Tr}\left(\mathcal{D}_{\mu}\phi^{*}\mathcal{D}^{\mu}\phi-% \frac{1}{4}F_{\mu\nu}F^{\mu\nu}\right)-V(\phi,\phi^{*})\,,caligraphic_L = Tr ( caligraphic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT caligraphic_D start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ϕ - divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT ) - italic_V ( italic_ϕ , italic_ϕ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) , (45)

where the covariant derivative is 𝒟μ=μgU~μAτAsubscript𝒟𝜇subscript𝜇𝑔superscriptsubscript~𝑈𝜇𝐴superscript𝜏𝐴\mathcal{D}_{\mu}=\partial_{\mu}-g\tilde{U}_{\mu}^{A}\tau^{A}caligraphic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_g over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT, and the field strength tensor is:

Fμν=μU~νAτAνU~μAτAgfABCτCU~μAU~νB.subscript𝐹𝜇𝜈subscript𝜇superscriptsubscript~𝑈𝜈𝐴superscript𝜏𝐴subscript𝜈superscriptsubscript~𝑈𝜇𝐴superscript𝜏𝐴𝑔superscript𝑓𝐴𝐵𝐶superscript𝜏𝐶superscriptsubscript~𝑈𝜇𝐴superscriptsubscript~𝑈𝜈𝐵\displaystyle F_{\mu\nu}=\partial_{\mu}\tilde{U}_{\nu}^{A}\tau^{A}-\partial_{% \nu}\tilde{U}_{\mu}^{A}\tau^{A}-gf^{ABC}\tau^{C}\tilde{U}_{\mu}^{A}\tilde{U}_{% \nu}^{B}\,.italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT - ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT - italic_g italic_f start_POSTSUPERSCRIPT italic_A italic_B italic_C end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT . (46)

Expanding the kinematic term of the scalar field:

Tr(𝒟μϕ𝒟μϕ)Trsubscript𝒟𝜇italic-ϕsuperscript𝒟𝜇superscriptitalic-ϕ\displaystyle\text{Tr}\left(\mathcal{D}_{\mu}\phi\mathcal{D}^{\mu}\phi^{*}\right)Tr ( caligraphic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ϕ caligraphic_D start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) =μϕμϕgfABCU~μAϕBμϕ,Cabsentsubscript𝜇italic-ϕsuperscript𝜇superscriptitalic-ϕ𝑔superscript𝑓𝐴𝐵𝐶superscriptsubscript~𝑈𝜇𝐴superscriptitalic-ϕ𝐵subscript𝜇superscriptitalic-ϕ𝐶\displaystyle=\partial_{\mu}\phi\partial^{\mu}\phi^{*}-gf^{ABC}\tilde{U}_{\mu}% ^{A}\phi^{B}\partial_{\mu}\phi^{*,C}= ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ϕ ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT - italic_g italic_f start_POSTSUPERSCRIPT italic_A italic_B italic_C end_POSTSUPERSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ , italic_C end_POSTSUPERSCRIPT
+gfABCU~μAμϕBϕ,C𝑔superscript𝑓𝐴𝐵𝐶superscriptsubscript~𝑈𝜇𝐴subscript𝜇superscriptitalic-ϕ𝐵superscriptitalic-ϕ𝐶\displaystyle\quad+gf^{ABC}\tilde{U}_{\mu}^{A}\partial_{\mu}\phi^{B}\phi^{*,C}+ italic_g italic_f start_POSTSUPERSCRIPT italic_A italic_B italic_C end_POSTSUPERSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ , italic_C end_POSTSUPERSCRIPT
+g2U~μAU~μ,BϕCϕ,DfACEfBDE.superscript𝑔2superscriptsubscript~𝑈𝜇𝐴superscript~𝑈𝜇𝐵superscriptitalic-ϕ𝐶superscriptitalic-ϕ𝐷superscript𝑓𝐴𝐶𝐸superscript𝑓𝐵𝐷𝐸\displaystyle\quad+g^{2}\tilde{U}_{\mu}^{A}\tilde{U}^{\mu,B}\phi^{C}\phi^{*,D}% f^{ACE}f^{BDE}\,.+ italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUPERSCRIPT italic_μ , italic_B end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ , italic_D end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT italic_A italic_C italic_E end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT italic_B italic_D italic_E end_POSTSUPERSCRIPT . (47)

The Euler-Lagrange equation for the gauge field U~νAsubscriptsuperscript~𝑈𝐴𝜈\tilde{U}^{A}_{\nu}over~ start_ARG italic_U end_ARG start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT is:

μμU~νAμνU~μAsubscript𝜇superscript𝜇subscriptsuperscript~𝑈𝐴𝜈superscript𝜇subscript𝜈superscriptsubscript~𝑈𝜇𝐴\displaystyle\partial_{\mu}\partial^{\mu}\tilde{U}^{A}_{\nu}-\partial^{\mu}% \partial_{\nu}\tilde{U}_{\mu}^{A}∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT - ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT gfABC(ϕBνϕ,CνϕBϕ,C)𝑔superscript𝑓𝐴𝐵𝐶superscriptitalic-ϕ𝐵subscript𝜈superscriptitalic-ϕ𝐶subscript𝜈superscriptitalic-ϕ𝐵superscriptitalic-ϕ𝐶\displaystyle-gf^{ABC}\left(\phi^{B}\partial_{\nu}\phi^{*,C}-\partial_{\nu}% \phi^{B}\phi^{*,C}\right)- italic_g italic_f start_POSTSUPERSCRIPT italic_A italic_B italic_C end_POSTSUPERSCRIPT ( italic_ϕ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ , italic_C end_POSTSUPERSCRIPT - ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ , italic_C end_POSTSUPERSCRIPT )
+2g2fACEfBDEU~νBϕCϕ,D=0.2superscript𝑔2superscript𝑓𝐴𝐶𝐸superscript𝑓𝐵𝐷𝐸superscriptsubscript~𝑈𝜈𝐵superscriptitalic-ϕ𝐶superscriptitalic-ϕ𝐷0\displaystyle+2g^{2}f^{ACE}f^{BDE}\tilde{U}_{\nu}^{B}\phi^{C}\phi^{*,D}=0\,.+ 2 italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT italic_A italic_C italic_E end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT italic_B italic_D italic_E end_POSTSUPERSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ , italic_D end_POSTSUPERSCRIPT = 0 . (48)

In the decoupling limit, where the coupling between the scalar and gauge fields vanishes, we find:

U~νA=12gfBAC(νϕAϕ,C+ϕAνϕ,C)fBCEfADEϕCϕ,D.superscriptsubscript~𝑈𝜈𝐴12𝑔superscript𝑓𝐵𝐴𝐶subscript𝜈superscriptitalic-ϕ𝐴superscriptitalic-ϕ𝐶superscriptitalic-ϕ𝐴subscript𝜈superscriptitalic-ϕ𝐶superscript𝑓𝐵𝐶𝐸superscript𝑓𝐴𝐷𝐸superscriptitalic-ϕ𝐶superscriptitalic-ϕ𝐷\tilde{U}_{\nu}^{A}=\frac{1}{2g}\frac{f^{BAC}\left(-\partial_{\nu}\phi^{A}\phi% ^{*,C}+\phi^{A}\partial_{\nu}\phi^{*,C}\right)}{f^{BCE}f^{ADE}\phi^{C}\phi^{*,% D}}\,.over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_g end_ARG divide start_ARG italic_f start_POSTSUPERSCRIPT italic_B italic_A italic_C end_POSTSUPERSCRIPT ( - ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ , italic_C end_POSTSUPERSCRIPT + italic_ϕ start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ , italic_C end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_f start_POSTSUPERSCRIPT italic_B italic_C italic_E end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT italic_A italic_D italic_E end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT italic_ϕ start_POSTSUPERSCRIPT ∗ , italic_D end_POSTSUPERSCRIPT end_ARG . (49)

This limit not only decouples the fields but also provides a Clebsch potential representation for fluid velocity and vorticity. The scalar field’s equation of motion becomes:

𝒟μ𝒟μϕδV(ϕ,ϕ)δϕ=0.subscript𝒟𝜇superscript𝒟𝜇italic-ϕ𝛿𝑉italic-ϕsuperscriptitalic-ϕ𝛿superscriptitalic-ϕ0\mathcal{D}_{\mu}\mathcal{D}^{\mu}\phi-\frac{\delta V(\phi,\phi^{*})}{\delta% \phi^{*}}=0\,.caligraphic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT caligraphic_D start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ϕ - divide start_ARG italic_δ italic_V ( italic_ϕ , italic_ϕ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_δ italic_ϕ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG = 0 . (50)

In the non-relativistic limit, where ϕeimtΨ(t,𝐱)italic-ϕsuperscript𝑒𝑖𝑚𝑡Ψ𝑡𝐱\phi\rightarrow e^{imt}\Psi(t,\mathbf{x})italic_ϕ → italic_e start_POSTSUPERSCRIPT italic_i italic_m italic_t end_POSTSUPERSCRIPT roman_Ψ ( italic_t , bold_x ), we obtain:

(imtm22g(𝐮)2+g2𝐮𝐮)Ψ(t,𝐱)𝑖𝑚subscript𝑡superscript𝑚22𝑔𝐮superscript2superscript𝑔2𝐮𝐮Ψ𝑡𝐱\displaystyle\left(im\partial_{t}-m^{2}-2g(\mathbf{u}\cdot\nabla)-\nabla^{2}+g% ^{2}\mathbf{u}\cdot\mathbf{u}\right)\Psi(t,\mathbf{x})( italic_i italic_m ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_g ( bold_u ⋅ ∇ ) - ∇ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_u ⋅ bold_u ) roman_Ψ ( italic_t , bold_x )
=δV(ϕ,ϕ)δϕ|ϕeimtΨ.absentevaluated-at𝛿𝑉italic-ϕsuperscriptitalic-ϕ𝛿superscriptitalic-ϕitalic-ϕsuperscript𝑒𝑖𝑚𝑡Ψ\displaystyle=\frac{\delta V(\phi,\phi^{*})}{\delta\phi^{*}}\bigg{|}_{\phi% \rightarrow e^{imt}\Psi}\,.= divide start_ARG italic_δ italic_V ( italic_ϕ , italic_ϕ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_δ italic_ϕ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG | start_POSTSUBSCRIPT italic_ϕ → italic_e start_POSTSUPERSCRIPT italic_i italic_m italic_t end_POSTSUPERSCRIPT roman_Ψ end_POSTSUBSCRIPT . (51)

When ν=1m𝜈1𝑚\nu=\frac{1}{m}italic_ν = divide start_ARG 1 end_ARG start_ARG italic_m end_ARG and m=2g𝑚2𝑔m=-2gitalic_m = - 2 italic_g, Eq. (51) takes a form similar to the Schrödinger-Poisson equation, analogous to those in Gross-Pitaevskii theory, BCS theory, and the quantum computational fluid dynamics of Meng and Yang [19].

IV Conclusions and Outlook

IV.1 Main Results and Physical Interpretations

Through the derivations in this paper, we have obtained the following key results:

1. The Navier-Stokes equations as a subsystem approximating the fluid system: The NS equations describe a subsystem of a larger conservative fluid system. While energy appears dissipative within this subsystem, total energy and momentum are conserved within the overarching system.

2. Introduction of adjoint vorticity fields and conservation mechanisms: The adjoint vorticity field provides a mechanism for energy conservation. Through its coupling with the velocity field, it ensures the conservation of total energy in the larger system. It is also believed that the negative viscosity behavior of the adjoint field regulates vortex generation and diffusion.

3. Derivation of light-cone vorticity equations: The light-cone vorticities 𝜼±subscript𝜼plus-or-minus\bm{\eta}_{\pm}bold_italic_η start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT unify the vorticity and adjoint vorticity fields within a coupled framework, illustrating the complex interactions between the velocity and adjoint fields. This offers new insights into nonlinear feedback mechanisms in fluid systems.

4. Gauge symmetry breaking mechanism: The SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) gauge symmetry breaking into U(1)×U(1)𝑈1𝑈1U(1)\times U(1)italic_U ( 1 ) × italic_U ( 1 ) is identified as a polarization breaking mechanism, distinct from conventional spontaneous symmetry breaking (SSB). Further research is needed to explore this type of symmetry breaking.

5. Complete theoretical framework: Incorporating scalar fields, the ANOZ theory provides a comprehensive framework for fluid dynamics. This theory serves as a non-Abelian extension of the BCS theory for superfluid He3superscriptHe3{}^{3}\text{He}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT He.

IV.2 Outlook: Future Research Directions

1. In-depth study of polarization breaking The proposed dynamical polarization breaking mechanism differs from conventional spontaneous symmetry breaking, illustrating how gauge fields evolve to form a coupled system of dual vector fields through polarization. Future research can explore the properties of this polarization breaking both theoretically and through numerical simulations, as well as investigate its applications in other physical systems.

2. Integrability and analytical solutions of the larger system Given the complex nonlinear feedback in the coupled system of velocity and adjoint vorticity fields, future work can explore the integrability of the larger system. By identifying conserved quantities, it may be possible to find analytical solutions, providing new theoretical insights into the formation of turbulence and vortex structures.

3. Numerical simulations and experimental validation The theoretical framework presented here offers a new way to describe incompressible fluids. Future studies can validate the key conclusions through numerical simulations and experimental research. In particular, the complex interactions described by the light-cone vorticity equations provide new approaches to investigating turbulence, vortex generation, and energy transfer. Determining how to verify the dynamics of the adjoint vorticity field both numerically and experimentally presents a significant challenge. Although the adjoint vorticity field currently appears to be a theoretical construct, its physical role is analogous to that of phonons in solid-state physics. Therefore, it is highly likely to be an objectively existing physical field rather than merely a mathematical tool.

4. Extension and applications of ANOZ theory As a non-Abelian extension of the BCS theory, the ANOZ theory reveals deep connections between scalar fields, broken gauge symmetries, and fluid dynamics. It offers systematic tools for the geometric formulation of fluid mechanics and serves as a complete foundational framework for describing incompressible fluids. Solving this theory lays the groundwork for a systematic approach to solving the NS equations. Understanding the integrability and solvability of the ANOZ theory is essential for advancing solutions to the NS equations. Additionally, the ANOZ theory after symmetry breaking includes two vector fields and one scalar field. The two vector fields are coupled to each other, forming the classical fluid dynamics framework of the velocity field and the associated vorticity field. The scalar field, however, is decoupled from the vector fields, representing a classical/quantum decoupling. After decoupling, the quantum nature of the scalar field remains intact. This provides a physical conjecture to the classical-quantum correspondence between quantum HSE and fluid dynamics, which established by the Clebsch mapping, or equivalently, by scalar-vector decouple condition after symmetry breaking of ANOZ theory. This classical/quantum correspondence warrants further investigation in future work.

Acknowledgements

This work was supported by the National Natural Science Foundation of China (Grant No. 12425208).

References

  • Batchelor [1953] G. K. Batchelor, Cambridge University Press  (1953).
  • Constantin and Foias [2001] P. Constantin and C. Foias, The Navier-Stokes equations , 535 (2001).
  • Griffiths [2008] D. J. Griffiths, Introduction to Electrodynamics (Cambridge University Press, 2008).
  • Badin and Crisciani [2017] G. Badin and F. Crisciani, Variational Formulation of Fluid and Geophysical Fluid Dynamics: Mechanics, Symmetries and Conservation Laws (Springer, 2017).
  • Millikan [1929] C. B. Millikan, Philosophical Magazine 7, 865 (1929).
  • Gross [1961] E. P. Gross, Il Nuovo Cimento 20, 454 (1961).
  • Pitaevskii [1961] L. P. Pitaevskii, Soviet Physics JETP 13, 451 (1961).
  • Bose [1924] S. N. Bose, Zeitschrift für Physik 26, 178 (1924).
  • Einstein [1925] A. Einstein, Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse , 3 (1925).
  • Bardeen et al. [1957] J. Bardeen, L. N. Cooper, and J. R. Schrieffer, Physical Review 108, 1175 (1957).
  • Leggett [2006] A. J. Leggett, Quantum Liquids: Bose condensation and Cooper pairing in condensed-matter systems (Oxford University Press, 2006).
  • Stratonovich [1957] R. L. Stratonovich, Soviet Physics Doklady 2, 416 (1957).
  • Hubbard [1959] J. Hubbard, Physical Review Letters 3, 77 (1959).
  • Ginzburg and Landau [1950] V. L. Ginzburg and L. D. Landau, Zhurnal Eksperimental’noi i Teoreticheskoi Fiziki 20, 1064 (1950).
  • Wentzel [1926] G. Wentzel, Zeitschrift für Physik 38, 518 (1926).
  • Kramers [1926] H. A. Kramers, Zeitschrift für Physik 39, 828 (1926).
  • Brillouin [1926] L. Brillouin, Comptes Rendus de l’Académie des Sciences 183, 24 (1926).
  • Madelung [1926] E. Madelung, Zeitschrift für Physik 40, 322 (1926).
  • Meng and Yang [2023] Z. Meng and Y. Yang, Phys. Rev. Research 5, 033182 (2023).
  • Meng et al. [2024] Z. Meng, J. Zhong, S. Xu, K. Wang, J. Chen, F. Jin, X. Zhu, Y. Gao, Y. Wu, C. Zhang, et al., arXiv preprint arXiv:2404.15878  (2024).
  • Fröhlich [1954] H. Fröhlich, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences 223, 296 (1954).
  • Abrikosov [1957] A. A. Abrikosov, Zhurnal Éksperimental’noĭ i Teoreticheskoĭ Fiziki 32, 1442 (1957).
  • Nielsen and Olesen [1973] H. B. Nielsen and P. Olesen, Nuclear Physics B 61, 45 (1973).
  • Zumino [1979] B. Zumino, Nuclear Physics B 89, 535 (1979).
  • Yang et al. [2021] S. Yang, S. Xiong, Y. Zhang, F. Feng, J. Liu, and B. Zhu, ACM Transactions on Graphics (TOG) 40, 1 (2021).
  • Tao et al. [2021] R. Tao, H. Ren, Y. Tong, and S. Xiong, Physics of Fluids 33, 077112 (2021).
  • Sanders et al. [2024] J. W. Sanders, A. DeVoria, N. J. Washuta, G. A. Elamin, K. L. Skenes, and J. C. Berlinghieri, Journal of Fluid Mechanics 984, A27 (2024).