⬇ Download Markdown  ·  ⬇ Download LaTeX  ·  ⬇ original  ·  view original  ·  CSV: table 1

Unified Gauge–Geometry Symmetry for Equilibrium Statistical Mechanics

Hai Pham-Van∗

arXiv:2604.00354v1 [cond-mat.stat-mech]

1

Apr 2026

Department of Physics, Hanoi National University of Education,

136 Xuan Thuy, Cau Giay, Hanoi, Vietnam and Institute of Natural Sciences, Hanoi National University of Education, 136 Xuan Thuy, Cau Giay, Hanoi, Vietnam We present a symmetry-based framework for equilibrium statistical mechanics that formulates a single Lie group combining conventional spacetime symmetries with a recently identified phase-space gauge-shifting invariance [Müller et al., Phys. Rev. Lett. 133, 217101 (2024)]. Using Noether’s theorem, we obtain a set of general Ward identities together with previously unexplored cross-relations arising from the noncommutation of different symmetry generators. The approach extends standard many-body symmetries–such as translations, rotations, Galilean boosts, dilations, and particle exchange–by incorporating an internal gauge-shift symmetry within a unified group structure. The resulting Lie algebra suggests a hierarchy of exact identities that encompass established sum rules and indicate possible cross-coupling relations between distinct response and correlation functions. We also identify a Wigner–Eckart–Ward reduction that simplifies tensor–hyperforce correlators to two scalar radial spectra in isotropic fluids, and we outline an equivariant gauge-constrained-DFT formulation whose Euler–Lagrange equations are constructed to satisfy the corresponding Ward and cross-Ward constraints. This framework provides a consistent organizational basis for phenomena in liquids, mixtures, and interfaces, and may offer a symmetry-based perspective connecting structure, mechanics, and dynamics in many-body systems.

I. INTRODUCTION

Gauge invariance plays a foundational role across physics, linking symmetries to conservation laws via Noether’s theorem [1, 2]. In quantum field theory, local gauge invariance imposes fundamental constraints represented by Yang–Mills charge conservation [3, 4]. Gauge concepts are usually developed in the context of fields and fundamental forces [3, 5], yet recent work shows analogous structures in many-body statistical mechanics via a phase-space ‘shifting’ symmetry that leaves equilibrium averages unchanged. Schmidt and co-workers applied Noether’s calculus to classical statistical functionals, deriving exact balance identities (sum rules) for interparticle forces and introducing higher-order “hyperforce” fields that generalize force correlations to arbitrary observables [6–8]. These results first emerged in general Noether form and were then re-formulated in a fully gaugeinvariant way, with the shifting symmetry’s generators closing a noncommutative Lie algebra. Notably, even finite yet non-infinitesimal shifts in phase space have been shown to leave all equilibrium observables invariant, establishing a genuine statistical-mechanical gauge symmetry that generates systematic sum rules and correlation constraints, including those that apply to multi-species mixtures [9]. This form of thermal gauge invariance provides a new route for uncovering conservation-law analogues in equilibrium many-body systems. It yields not only the standard force-balance relations but also hyperforce sum rules that apply to arbitrary phase-space observables, in a manner reminiscent of Hirschfelder’s classical hypervirial theorem [7, 10, 11].

∗ [email protected]

Classical and quantum many-body systems host a rich spectrum of symmetries, including spatial translations, rotations, and scale transformations, as well as time translations, Galilean boosts, particle-permutation or speciesexchange operations, and symmetries associated with order parameters. Each of these symmetries, according to Noether’s principle, gives rise to a corresponding conservation law or exact identity within the system [1]. Combining distinct symmetries has historically yielded many central results in physics. For example, in equilibrium liquids the Euclidean spatial invariances (translations+rotations, and uniform scaling) link structural correlations to thermodynamic responses via the compressibility and virial routes [12–14]. The translational symmetry enforces the compressibility sum rule relating the static structure factor to the isothermal compressibility, while rotational and Galilean invariance underlie the Irving–Kirkwood virial theorem connecting microscopic forces to pressure [13–15].

Space–time translations combined with Galilean boosts enforce Ward or Slavnov–Taylor identities for hydrodynamics and Kubo relations for viscosity and conductivity [12, 16]. Adding scale to translations and rotations in conformal or Schrödinger settings fixes correlation functions and dispersion relations with little freedom [17]. Rigid motions together with additivity support morphometric thermodynamics, which reduces interfacial free energies to four geometric invariants. Translational invariance with charge neutrality gives the Stillinger–Lovett moment conditions for electrolytes [18]. Time translation with microreversibility yields fluctuation theorems such as Jarzynski and Crooks [19, 20]. What remains absent is a single unified symmetry group that simultaneously incorporates all conventional symmetries together with the additional phase-space gauge shifting. Earlier formulations addressed each symmetry, or at most pairs of 2 symmetries, in isolation, and no general framework has existed that integrates geometric, dynamical, internal, and gauge-like invariances within a coherent theoretical structure.

In this work, we embed spatial symmetries– translational, rotational, and scaling–together with dynamical, compositional, and phase-space gauge-shifting symmetries into a single Lie-group structure. By analyzing the noncommuting elements of its Lie algebra, we obtain a series of cross-symmetry identities that extend existing relations between different symmetry sectors. The resulting equivariant framework suggests several connections that may link distinct aspects of equilibrium physics. Among these, a Wigner–Eckart–Ward reduction appears to yield selection rules that simplify tensorial and higherrank hyperforce correlation functions into scalar forms under combined symmetry operations, in close analogy with the reduction of tensor operators in the Wigner–Eckart theorem [21, 22]. The same framework also provides exact scattering-to-stress relations, leading to sum-rule identities that connect static two-point structure factors with stress correlations and viscoelastic responses. These relations may allow estimation of elastic and viscous properties without relying on direct stress autocorrelation measurements.

In addition, we propose an equivariant gaugeconstrained-DFT variational principle, conceived as an extension of classical density functional theory, whose Euler–Lagrange equations are constructed to satisfy the derived Ward identities and cross-Ward constraints. Within this formulation, equilibrium densities and orderparameter profiles are expected to respect the full set of symmetry-induced sum rules, promoting internal consistency between structure and thermodynamics. Established results such as the compressibility relation, virial pressure expression, and known hyperforce balance laws are recovered as limiting cases of the general framework.

II. THEORETICAL CALCULATION

settings, the Ward–Takahashi identity expresses the invariance of the generating functional under an infinitesimal symmetry and thus relates correlation functions of currents and fields. In the present equilibrium context, the same logic yields exact relations among ensemble averages and correlators that follow solely from symmetry and measure invariance. For further reading see Refs. [23–27].

Consider a classical many-body system in n spatial dimensions. For a fixed particle number N , the phase space is M N = (R n × R n ) N , with microstate (phasespace point) Γ = (r N ; p N ) ∈ M N and Liouville mea-

space point) Γ = (r ; p ) ∈ ℳN and Liouville mea- sure dΓ = drN dpN . Here rN ≡ (r1 , . . . , rN ) and N n

p N ≡ (p 1 , . . . , p N ) collect the particle positions r i ∈ R n and canonical momenta p i ∈ R n .

The N -particle Hamiltonian is

HN (Γ) = N i=1 p2i 2mi + u(rN ) + N i=1 Ve xt( ri ) , (1)

HN (Γ) = N i=1 p2i 2mi + u(rN ) + N i=1 Ve xt( ri ) , (1) where mi is the mass of particle i, u(rN ) is the many-body interaction potential, and Ve xt( ri ) is a one-body external potential acting on particle i. In the grand-canonical ensemble the full phase space is the disjoint union ℳ = N ≥0 ℳN . The grand partition function is Ξ= N ≥0 ℳN dΓ exp − β HN (Γ) − µN , (2) and the corresponding grand-canonical Gibbs weight on the N -particle sector is 𝒫N (Γ) = Ξ− 1 exp − β HN (Γ) − µN , (3) where µ is the chemical potential and β ≡ 1/(kB T ) with kB the Boltzmann constant and T the absolute tempera- ture. Thermal averages of a phase-space observable AN (Γ) are then ⟨A⟩ = N ≥0 ℳN dΓ 𝒫N (Γ) AN (Γ). (4)

If the particle number is fixed (canonical ensemble), the same formulas apply with the sum over N removed. The normalization is the canonical partition function

ZN ≡ ℳN dΓ e− βHN (Γ) , (5)

and thermal averages are

⟨A⟩ N = Z −1 N ℳN dΓ e− βHN (Γ) AN (Γ). (6)

The guiding idea of what follows is simple: once we know how a symmetry acts on microscopic variables, Liouville-volume preservation together with integration by parts under the Gibbs weight produces identities that relate the symmetry variation of observables to that of the energy.

3

A. Unified symmetry group

We introduce a unified symmetry group G that collects geometric–time kinematics, internal symmetries, and discrete involutions:

𝒢 = RD ⋉Gal(n) ⋉ 𝒢s h× 𝒢s p× 𝒢o rd ⋉ ZT2 ×ZP2 .

(7) Here Gal(n) is the Galilei group generated by spatial translations, rotations, Galilean boosts, and time translations; the dilation factor R D implements uniform spatial scaling and acts by automorphisms on Gal(n). The internal sector combines the phase–space gauge–shift group G sh , the species symmetry G sp (permutations of components or continuous mixing, depending on the model), and the order–parameter symmetry G ord (for example O(n) for vector order, U (1) for phase fields, or a tensor P representation). The final factor Z T

2 and Z 2 collects the discrete symmetries of time reversal T and parity P; they act by conjugation on all other factors and constrain correlation functions even though they are not connected Lie symmetries. The symbol × denotes a direct product, while the symbol ⋉ denotes a semidirect product.

The infinitesimal counterpart of the group G is its Lie algebra g ≡ Lie(G) = T e G, i.e. the tangent space at the identity element e of the connected component. Each generator X ∈ g defines a one-parameter subgroup g s = exp(sX) ∈ G. We work primarily at this Lie-algebra level because the Stein identities below follow from integration by parts applied to the corresponding infinitesimal P phase-space flows. The discrete factors Z T

2 and Z 2 are not connected to e and therefore do not contribute generators to g, although they constrain correlators by conjugation. The semidirect products in Eq. (7) represent how different symmetry sectors act on each other; at the Lie-algebra level this yields nonvanishing commutators and is the origin of the cross-Ward identities derived below. The gauge-shift factor G sh may be regarded as a suitable (in general infinite-dimensional) subgroup of the diffeomorphism group of space; its Lie algebra consists of smooth vector fields ϵ(r) and forms a subalgebra g sh ⊂ g. For background on Lie groups, Lie derivatives, and related geometric notions, see e.g. Refs. [23–25].

We use a (left) representation of g by phase-space vector fields on M: to each generator X ∈ g we associate a vector field v X on M, whose flow is the infinitesimal transformation of the microscopic variables generated by

X. The induced action on an observable A(Γ) is the Lie

derivative

ℒX A ≡ vX ·∇Γ A , (8)

and the representation map is a Lie-algebra homomor-

and the representation map is a Lie-algebra homomor- phism: [vX , vY ] = v[ X,Y ], equivalently [ℒX , ℒY ] = ℒ[ X,Y ].

Here ∇ Γ = (∇ r N , ∇ p N ) is the full phase-space gradient with respect to Γ = (r N ; p N ), with ∇ r N = (∇ r 1 , . . . , ∇ r N ) and ∇ p N = (∇ p 1 , . . . , ∇ p N ). We reserve ∇ for the spatial gradient with respect to its displayed argument, and write ∇ r i and ∇ p i for derivatives with respect to particle coordinates and momenta.

A central ingredient is the gauge-shift generator G[ϵ] ∈ g, parametrized by a smooth spatial vector field ϵ(r). Under the representation map X 7→ v X it is represented on phase space by the cotangent-lift vector field

vG [ϵ] ≡ vG = N i=1 ϵ(ri ) ·∇r i − ∇ϵ(ri ) pi ·∇p i , (9)

where (∇ϵ) ij = ∂ r j ϵ i is the Jacobian of ϵ (so

where (∇ϵ)i j = ∂r j ϵi is th (∇ϵ(ri ) pi ) α = (∂r β ϵα ( ri ) ) pi β ).

Equation (9) is the standard cotangent-lift canonical form of the local phase-space shifting symmetry; it is equivalent to the global shifting generator in Ref. [8] [Eq. (7) therein], rewritten here as a phase-space vector field. Thus v G is simply the phase-space representative of the Lie-algebra element G[ϵ]. When no confusion arises, we identify a generator with its representative and write

we identify a ge G[ϵ] for vG [ϵ].

A straightforward calculation shows that v G preserves the Liouville phase-space volume, i.e. ∇ Γ · v G = 0. However, when weighted by the Gibbs density P, one finds a nonzero weighted divergence

∇Γ · 𝒫 vG = −β 𝒫 vG ·∇Γ H , (10)

with H ≡ H N (Γ) (or H − µN in the grand ensemble) understood as the energy entering the Gibbs weight.

Assuming sufficient regularity of A and vanishing boundary terms, integration by parts under the Gibbs measure implies the finite-temperature Stein identity [28] for any generator X ∈ g whose representative flow is

for any generator X ∈ g whose representative flow is volume-preserving (∇Γ · vX = 0): ⟨ℒX A⟩ = β ⟨A ℒX H⟩ . (11)

Here ⟨·⟩ denotes the thermal ensemble average (canoni-

Here ⟨·⟩ denotes the thermal ensemble average (canoni- cal or grand-canonical) with respect to 𝒫. Equivalently, Eq. (11) can be written as ℒX A e− βH = 0.

Equation (11) follows from integration by parts under the Gibbs weight and therefore assumes that the phasespace domain has no boundary (as for periodic boundary conditions) or that the associated surface term vanishes. More generally, let the accessible configuration space for N particles be a region Ω N ⊂ (R n ) N with boundary ∂Ω N (e.g. Ω N = ({z > 0}) N for a planar hard wall). For a volume-preserving generator, the same calculation yields the boundary Stein identity

⟨ℒX A⟩ = β ⟨A ℒX H⟩ + 1 ZN ∂ΩN dSr N dpN A(rN , pN ) e− βHN (rN ,pN ) × v r X (rN , pN )·n. (12) r

where v X r denotes the configuration-space part of v X and n is the outward unit normal on ∂Ω N . Equation (11)

4 is recovered whenever this surface contribution vanishes, which holds for periodic boundaries, for sufficiently confining soft potentials, or for generators whose flows are tangent to the boundary (v X r ·n = 0 on ∂Ω N ). When a boundary breaks a symmetry, keeping the surface term in Eq. (12) produces boundary Ward identities; Eq. (42) is an example for a planar wall.

B. Lie algebra: nonzero commutators

We denote T (a) as the generator of spatial translations by the constant vector a; R(Θ) is the rotation generator with antisymmetric matrix Θ acting on R n ; D is the (spatial) dilation generator; B(u) is the Galilean boost generator with constant velocity u; t(τ ) is the time-translation generator by the amount τ ; and Π[χ] is the momentum–fiber translation generated by the smooth field χ(r). The symbols ϵ 1,2 denote two independent gauge fields. The composite field χ ϵ,u that appears in the boost–gauge bracket is defined particlewise, for a particle of mass m i , by

χϵ ,u( ri ) = mi (u · ∇)ϵ(ri ) = (∇ϵ(ri ) ) (mi u ). (13)

The explicit forms of the operators are given by

T (a) = N a·∇r i , (14)

tors are (see App. A for a detailed derivation):

[T (a), G[ϵ]] = G[(a · ∇)ϵ] , (22) [R(Θ), G[ϵ]] = G[(Θr·∇)ϵ − (Θ ϵ)] . (23) [D, G[ϵ]] = G[(r · ∇)ϵ − ϵ] , (24) [ℬ(u), G[ϵ]] = G[t (u · ∇)ϵ] + Π[− χϵ ,u] , (25) [G[ϵ1 ] , G[ϵ2 ] ] = G[[ϵ1 , ϵ2 ] ] , (26) [Π[χ], G[ϵ]] = Π[− (ϵ · ∇)χ − (∇ϵ) χ] . (27) [t(τ ), G[ϵ]] = 0, if ϵ is time-independent, G[τ ∂t ϵ ], otherwise. (28)

In what follows we use the Stein identity (11) to derive the constraints collected in Sec. II C. For any generators X, Y ∈ g, the phase-space representation X 7→ v X is a Lie-algebra homomorphism, so the induced Lie derivatives satisfy

[ℒX , ℒY ] = ℒ[ X,Y ], (29)

with [X, Y ] ∈ g the Lie bracket. Consequently, each nonvanishing commutator in Eqs. (22)–(28) yields a crosscorrelation constraint by applying Eq. (11) to the bracket generator [X, Y ]. For generators parametrized by arbitrary test fields, this Ward identity localizes and produces the correlator relations given below, in direct analogy with Ward–Takahashi/Schwinger–Dyson mechanisms in field theory [4, 27].

i=1 r i R(Θ) = N i=1 (Θri ) ·∇r i + (Θpi ) ·∇p i , (15) D = N ri ·∇r i − pi ·∇p i , (16)

C. Gauge master identity and cross-Ward

constraints

1. Local gauge shift × global U (1)

i=1 i r i i p i ℬ(u) = N i=1 t u·∇r i + mi u ·∇p i , (17) t(τ ) = τ ∂t , (18) Π[χ] = N χ(ri ) ·∇p i . (19)

The Lie bracket of phase-space vector fields U, V representing the generators is

[U, V ] = (U ·∇Γ ) V − (V ·∇Γ ) U, (20)

while for spatial vector fields ϵ 1 , ϵ 2 we use

[ϵ1 , ϵ2 ] = (ϵ1 ·∇)ϵ2 − (ϵ2 ·∇)ϵ1 . (21)

The nonzero commutators involving the gauge generaP Introduce the microscopic density ρ̂(r) =

i δ(r − r i )

Introduce the microscopic density ˆρ(r) = i δ(r − ri ) and internal-force density ˆFi nt( r) = i<j fi j [δ(r − ri ) −

δ(r − r j )] with pair force f ij , where δ(·) is the Dirac delta function. For any configuration-only observable B(r N ) define the cross-correlators

CB Fi nt (r) ≡ B ˆFi nt( r) , CB ρ( r) ≡ B ˆρ(r) . (30)

In a translationally invariant bulk fluid (V ext = 0), the one-point averages ⟨ρ̂(r)⟩ = ρ and ⟨ F̂ int (r)⟩ = 0 are constants. The mixed correlators C Bρ (r) and C BF int (r) are nevertheless nontrivial for local or translation-covariant insertions B (e.g. B = δ ρ̂(0) or B = δ ρ̂ −k ): translational invariance then implies dependence only on the separation from the insertion point, i.e. on r (or k). Only for translationally invariant B (in particular B = 1) do these correlators collapse to one-point averages and the bulk identity reduces to 0 = 0.

P The local spatial gauge-shift symmetry G[ϵ] =

i ϵ(r i )· ∇ r i , together with global U(1) particle-number invariance, 5 implies an exact equilibrium identity. In bulk (V ext = 0) and for configuration observables B(r N ), and upon the standard separation of contact terms at the insertion where ρ ≡ ⟨ρ̂(r)⟩ is the bulk number density, the same gauge–U(1) identity yields the divergence form

standard separation of contact terms at the insertion point, this identity reduces to the gauge master identity CB Fi nt (r) = kB T ∇CB ρ( r), (31) i k·CB Fi nt (k) = −kB T k2 CB ρ( k), (32) where k is the wavevector conjugate to r. Equation (31) is the bulk/contact-term specialization of the hyperforce-balance identity generated by the same local shifting symmetry [7, 9]. In its most general form this hyperforce sum rule holds for arbitrary phase-space observables A(rN , pN ) and reads A ˆF(r) = −kB T i δ(r − ri ) ∇r i A − kB T ∇· i δ(r − ri ) ∇p i A ⊗ pi . (33) where ⊗ is the dyadic (outer) product, (a ⊗ b)α β = aα b β , the total force density ˆF(r) = ∇· ˆ τ (r) + ˆFi nt( r) − ˆρ(r)∇Ve xt( r) and kinematic stress ˆτ (r) ≡ − i δ(r − ri ) pi ⊗ pi / mi . For configuration observables B(rN ) the momentum-flux term vanishes, and separating internal and external contributions gives B ˆFi nt( r) − ⟨B ˆρ(r)⟩ ∇Ve xt( r) = kB T ∇ ⟨B ˆρ(r)⟩ − kB T i δ(r − ri ) ∇r i B . (34) Choosing B = 1 in Eq. (34) yields the standard Yvon– Born–Green (first BBGKY) equilibrium force-balance relation, ⟨ ˆ F i nt( r)⟩ − ρ(r)∇Ve xt( r) = kB T ∇ρ(r), which becomes 0 = 0 for a homogeneous bulk fluid (Ve xt = 0, ρ = const.). For the translation-covariant choices used below (e.g. B = δ ˆ ρ (0)), the last term in Eq. (34) is a local contact contribution at the insertion point and it only fixes the self part of CB ρ; for r ̸= 0 one recovers the compact bulk form in Eq. (31). Under confinement one retains the Ve xt term in Eq. (34) and works in real space (or along the surviving translational directions). In the remainder of this work we take Eq. (31) as the starting point, because combining the gauge generator with rotations, dilations, boundaries, and boosts in the unified algebra yields the cross-Ward constraints derived below. 2. Gauge × U (1): divergence form for the density choice Choosing B = δ ˆ ρ (0)—with ˆρ(0) = i δ(ri ) and δ ˆ ρ (r) ≡ ˆρ(r) − ρ the density fluctuation—and writing the pair structure as g(r) = 1 + h(r), with h the total correlation function, and the static structure factor as S(k) = 1 + ρ ˜h(k) where ˜h(k) = dr e− ik·r h(r), and ∇· Cδ ρFi nt (r) = kB T ρ2 ∇2 h(r), i k·Cδ ρFi nt (k) = −kB T ρ k2 [S(k) − 1], (35) where Cδ ρFi nt (r) = δ ˆ ρ (0) ˆFi nt( r) , (36) and its Fourier transform is Cδ ρFi nt (k) = dn r e− ik·r Cδ ρFi nt (r) = V −1 δ ˆ ρ − k ˆFi nt( k) , (37) with V the system volume (area for n = 2, length for n = 1), i.e., the normalization associated with the Fourier convention used. Equation (35) is complementary to the second-order Noether “3g-rule” of Ref. [29]: since h = g − 1, the Laplacian ∇2 h is the trace of ∇∇g in Eq. (12) of Ref. [29]. 3. Gauge × rotations SO(n): longitudinality For isotropic, central–force fluids the vector correlator is purely longitudinal, so its transverse projection vanishes and one has a closed form. Physically, this longitudinality is the cross consequence of combining the gauge shift with spatial isotropy (the SO(n) sector): the gauge identity fixes the longitudinal divergence, while rotational invari- ance forbids any transverse component. Equivalently, the noncommutativity in Eq. (23) enforces a selection rule that leaves only the k-parallel channel, hence PT (k) Cδ ρFi nt (k) = 0. (38) where PT (k) = I − ˆk ˆ k ⊤ is the transverse projector, I is the identity tensor, ˆk = k/k and ˆk⊤ is the transpose of ˆk. 4. Gauge × dilations: first radial moment and compressibility The identity is the cross-consequence of combining the gauge shift with spatial dilations through the commu- tator Eq. (24). Integrating the real-space gauge master identity (31) by parts converts the gradient relation into its first radial moment. The second equality follows by inserting the compressibility sum rule derived from trans- lational invariance, S(0) = ρkB T κT , with S(0) including the self part, where κT is the isothermal compressibility. dn r r · Cδ ρFi nt (r) = − n kB T ρ [S(0) − 1] (39) = − n (kB T )2 ρ2 κT + n kB T ρ. (40) so the n kB T ρ term appears when S(0) includes the self part; equivalently, with the connected structure factor Sc ( 0) = S(0) − 1, the integral equals −n kB T ρ Sc ( 0).

6

5. Gauge × boundary geometry / broken translations: wall contact relation Near a planar wall at z = 0 with inward normal +ˆz, one obtains a contact relation for the hyperforce. This relation is the cross-consequence of combining the gauge shift with boundary geometry: the wall breaks normal translations while preserving tangential Euclidean sym- metry, and Gauss’s theorem converts the bulk identity into a boundary term. We start from the bulk divergence form Eq. (35), which holds pointwise in the accessible fluid region. For a pla- nar hard wall the accessible domain is the half-space Ω = {(r∥ , z) : z > 0}; inside Ω the external potential is constant (hence its force vanishes), so the wall enters only through the boundary of the integration domain. Integrate Eq. (35) over a slab ΩL ≡ 𝒜×(0, L) ⊂ Ω, with finite in-plane domain 𝒜 ⊂ Rn −1 and L > 0. Applying Gauss’s theorem on both sides gives the boundary form ∂ΩL dS n·Cδ ρFi nt (r) = kB T ρ2 ∂ΩL dS n·∇h(r), where n is the outward unit normal on ∂ΩL . Decomposing the boundary as ∂ΩL = (𝒜×{0})∪(𝒜×{L})∪(∂𝒜×(0, L)) yields 𝒜 d n−1 r∥ Cδ ρFi nt, z (r∥ , L) − Cδ ρFi nt, z (r∥ , 0+ ) + ∂𝒜×(0,L) dS n∥ ·Cδ ρFi nt = kB T ρ2 𝒜 d n−1 r∥ ∂z h(r∥ , L) − ∂z h(r∥ , 0+ ) + dS n∥ ·∇h . (41) 6. Gauge × translations: a k-derivative identity Starting from the master identity in Fourier space, Eq. (32), differentiation with respect to kα (α, γ = 1 . . n) produces the translation cross constraint associ- ated with the commutator [T (a), G[ϵ]] in Eq. (22). Using ∂k α (kγ CB Fi nt, γ ) = δα γ CB Fi nt, γ + kγ ∂k α CB Fi nt, γ with δα γ the Kronecker delta, and ∂k α k2 = 2kα , gives i CB Fi nt, α( k)+i kγ ∂k α CB Fi nt, γ (k) = −kB T 2kα CB ρ( k) + k2 ∂k α CB ρ( k) . (43) For the density choice B = δ ˆ ρ (0), insertion of Eq. (35) yields i Cδ ρFi nt, α( k) + i kγ ∂k α Cδ ρFi nt, γ (k) = − kB T 2kα ρ [S(k) − 1] + k2 ∂k α ρ [S(k) − 1] . (44) Consequently Cδ ρFi nt (k) = 𝒪(k) as k → 0, consistent with the vanishing of the net internal force at equilibrium. 7. Gauge × momentum–fiber translations Define the microscopic current densityˆ j(r) = i pi mi δ(r − ri ) . For any configuration-only B, the iden- tity with Π[χ] gives ℒΠ [χ]B = β B ℒΠ [χ]H . Since ℒΠ [χ]B = 0 and ℒΠ [χ]H = dr χ(r)·ˆj (r), arbitrariness of χ implies the momentum–fiber/gauge cross constraint CB j (r) ≡ Bˆ j(r) = 0, CB j (k) = 0. (45) Thus any equal-time current correlator with a configu-

= kB T ρ2 𝒜 d n−1 r∥ ∂z h(r∥ , L) − ∂z h(r∥ , 0+ ) + ∂𝒜×(0,L) dS n∥ ·∇h . (41) Π [χ] Π [χ] χ implies the momentum–fiber/gauge cross constraint CB j (r) ≡ Bˆ j(r) = 0, CB j (k) = 0. (45) Thus any equal-time current correlator with a configu- ration observable vanishes in equilibrium. The bracket

with n ∥ the outward normal on the lateral surface ∂A × (0, L). For periodic boundary conditions parallel to the wall (or, equivalently, for large A with short-ranged correlations), the lateral surface integrals vanish. Taking L → ∞ removes the z = L terms because C δρF int (r) → 0 and ∇h(r) → 0 far from the wall. The only remaining contribution comes from the wall plane at z = 0, whose outward normal is −ẑ (hence the appearance of the difference between z = L and z = 0 + above). Rearranging then yields the wall contact relation [Π[χ], G[ϵ]] in Eq. (27) encodes the covariant way this statement is preserved under local gauge shifts.

8. Gauge × boosts (and t-translations): force–current

dynamic identity Define the time–domain cross correlators

CB j (r, t) ≡ B(0)ˆ j(r, t) , CB ρ( r, t) ≡ ⟨B(0) ˆρ(r, t)⟩ ,

and their Fourier transforms

𝒜 d n−1 r∥ Cδ ρFi nt, z (r∥ , 0+ ) = kB T ρ2 𝒜 d n−1 r∥ ∂z h(r∥ , 0+ ). (42) Here r = (r∥ , z), with r∥ ∈ R n−1 the in–plane coordinate along the wall and z the normal coordinate; the notation 0+ denotes the limit z → 0 taken from the fluid side (inside the accessible region); and h(r∥ , 0+ ) is the total correlation function h(r) = g(r) − 1 evaluated at the wall, i.e. at r = (r∥ , z) with z → 0+ . The identity holds for any finite in-plane domain 𝒜. CB j (k, ω) = dn r ∞ −∞ dt e− i(k·r−ωt) CB j (r, t), (46) CB ρ( k, ω) = dn r ∞ −∞ dt e− i(k·r−ωt) CB ρ( r, t) (47) where ω is the angular frequency. Number conservation with time translations [see Eq. (28)] yields the continuity identity − ω CB ρ( k, ω) + k·CB j (k, ω) = 0. (48)

7 Combining Eq. (48) with the gauge master identity,

Combining Eq. (48) with the gauge master identity, i k · CB Fi nt (k, ω) = −kB T k2 CB ρ( k, ω), one obtains the

gauge–boost (or gauge–time) cross constraint

i k·CB Fi nt (k, ω) = − kB T k2 ω k·CB j (k, ω) .

(49)

For single-mass systems, Galilean invariance identifies momentum and current densities, so Eq. (49) equivalently links C BF int and C Bj . In the equal-time limit, both sides vanish consistently with Eq. (45). The appearance of Π in Eq. (25) is the geometric reason why boosts couple the gauge sector to current correlations.

9. Gauge × gauge: integrability and Lie–compatibility

The gauge sector closes under commutation, [G[ϵ 1 ], G[ϵ 2 ]] = G[[ϵ 1 , ϵ 2 ]], consistent with the scalar–potential structure of the master identity. It is convenient to write the vector correlator as a differential one–form,

ϖB (r) ≡ CB Fi nt (r)·dr = kB T dCB ρ( r), (50)

where d denotes the exterior differential. Thus ϖ B is the covariant representation of the same correlator, ϖ B,i = C BF int ,i dr i , which exposes its gradient origin and implies the integrability condition.

∇ × C BF int (r) = 0, k × C BF int (k) = 0, so Lie–dragging the one–form equals taking a gradient of the Lie–dragged scalar. The commutator of two such draggings satisfies

ℒϵ 1 ℒϵ 2 − ℒϵ 2 ℒϵ 1 ϖB = ℒ[ ϵ1 , ϵ2 ] ϖB , (55)

and by Eq. (54) this reduces to

ℒϵ 1 ℒϵ 2 − ℒϵ 2 ℒϵ 1 CB ρ = ℒ[ ϵ1 , ϵ2 ] CB ρ. (56)

The same reasoning applied to ϖ B = k B T dC Bρ shows that the gradient representation is preserved under any finite composition of local gauge flows. In particular, the transverse projector annihilates C BF int in every frame fixed by a gauge diffeomorphism, hence longitudinality

fixed by a gaugediffeomo
does not require SO(n).

The integrability also constrains topology. On periodic domains the potential C Bρ is periodic, hence Eq. (52) holds and no harmonic one–form component

Rcan enter ϖ B . At boundaries Stokes’ theorem converts Σ dϖ B = 0 into a statement about the line integral of C BF int along ∂Σ, which is the geometric origin of the wall contact relations once the gauge master identity is invoked in the bulk. Altogether, closure of the gauge algebra and exactness of ϖ B ensure that the scalar potential C Bρ is the unique generator of the mixed force correlator, that the full vector is fixed by its longitudinal projection, and that nested local gauge transformations act compatibly on both scalar and vector sectors.

10. Dynamic cross identities and the stress channel

(51)

independent of isotropy or central forces. In simply connected domains every closed one–form is exact, hence there exists a scalar potential Ψ B with C BF int = ∇Ψ B . Equation (50) identifies Ψ B = k B T C Bρ , so the longitudinal representation holds globally and circulation vanishes along any closed loop,

CB Fi nt ·dℓ = kB T dCB ρ = 0. (52)

The dynamic stress relation follows from two geometric inputs. The Irving–Kirkwood identity gives the divergence of the microscopic stress in terms of the internal force density, ∂ j σ̂ ij = F̂ int,i , where σ̂ ij is the microscopic Irving– Kirkwood stress tensor and F̂ int,i is the ith component of the microscopic internal–force density F̂ int . Hence in Fourier space i k j σ̂ ij (k, t) = F̂ int,i (k, t). Taking the mixed correlator with a configuration observable B and contracting with k i yields

In Fourier space a curl–free vector is necessarily longitudinal. Writing C BF int (k) = −i k ϕ B (k) and using the divergence identity i k·C BF int (k) = −k B T k 2 C Bρ (k) gives ϕ B (k) = −k B T C Bρ (k) and the full vector relation

ki k j CB σi j (k, t) = − i k·CB Fi nt (k, t), (57) where CB σi j (k, t) ≡ dn r e− ik·r B ˆσi j (r, t) .

The gauge master identity in the time–frequency domain,

CB Fi nt (k) = i kB T k CB ρ( k), (53) which requires no rotational averaging and refines the longitudinality statement. Compatibility with the gauge algebra follows from the naturality of the Lie derivative on forms. Using Cartan’s formula ℒϵ = d ◦ iϵ + iϵ ◦ d with iϵ the interior contraction with the gauge vector field ϵ, and ◦ operator composition, together with Eq. (50), one finds ℒϵ ϖB = d iϵ ϖ B + iϵ d ϖB = kB T d ℒϵ C B ρ , (54) main, i k·CB Fi nt (k, ω) = − kB T k2 CB ρ( k, ω), (58) then gives the longitudinal stress constraint ki k j CB σi j (k, ω) = kB T k2 CB ρ( k, ω). (59) Equation (59) holds for any configuration-only B and any state with the same gauge and translational sym- metries. Choosing B = δ ˆ ρ − k identifies the longitudi- nal stress kernel by ki k j Cδ ρσi j ≡ k2 ML , where ML ( k, ω) denotes the longitudinal stress spectrum (kernel) and

8

Cδ ρδρ( k, ω) ≡ dn r dt e− i(k·r−ωt) ⟨δ ˆ ρ (r, t) δ ˆ ρ (0, 0)⟩ is the

dynamic density–density correlator, so that

ML ( k, ω) = kB T Cδ ρδρ( k, ω). (60)

The right-hand side is the dynamic density spectrum, proportional to the measured dynamic structure factor under the usual conventions. Nonnegativity of C δρδρ (k, ω) implies M L (k, ω) ≥ 0 at each frequency, and for any nonnegative weight w(ω) one obtains the sharp integral bound

dω w(ω) |ML ( k, ω)| ≤ kB T dω w(ω) Cδ ρδρ( k, ω).

(61)

Inverse transforming Eq. (59) gives the equal–time rela-

Inverse transforming Eq. (59) gives the equal–time rela- tion ki k j CB σi j (k, t=0) = kB T k2 CB ρ( k, t=0); for B = δ ˆ ρ − k this reduces to ki k j Cδ ρσi j (k, 0) = kB T k2 [S(k) − 1],

which at small k connects the static longitudinal stress to the compressibility via S(0) = ρ k B T κ T when S includes the self contribution.

The continuity identity in Eq. (48) combines with Eq. (59) into

ki k j CB σi j (k, ω) = kB T k3 ω ˆk·CB j (k, ω),

(62)

which links stress to the longitudinal current channel. In generalized hydrodynamics this identity pins the part of the longitudinal memory function that enters sound and Brillouin peaks. In the hydrodynamic regime one has C δρδρ (k, ω) controlled by the isothermal sound speed and the longitudinal viscosity; Equation (60) therefore fixes the corresponding stress spectrum without direct stress measurements and provides a route from dynamic scattering to the combination ζ + 4η/3 at low k and small ω, where ζ is the bulk viscosity and η is the shear viscosity.

Causality of the retarded longitudinal stress susceptibility entails analyticity in the upper half-plane and Kramers– Kronig dispersion relations [30]. Through the fluctuation–dissipation theorem [31] these analyticity properties are inherited by the correlator representation. Equation (60) then implies that the dispersion constraints and sum rules for M L are

the same as those of C δρδρ , including

sum rules for ML are the same as those of Cδ ρδρ, including the static sum rule dω Cδ ρδρ( k, ω) = 2π Cδ ρδρ( k, t=0)

and the small–k compressibility limit.

D. Wigner–Eckart–Ward reduction

Rotational invariance and the gauge master identity combine to fix the tensorial structure of mixed correlations between an irreducible tensor T (ℓ) and the gauge–shift one–body field J G . Here we take a concrete microscopic realization. The rank–ℓ irreducible tensor is built from the local density via spherical harmonics,

T (ℓ) m (0) ≡ dn r′ wℓ ( r′ ) Yℓ m( ˆ r ′ ) δ ˆ ρ (r′ ), m = −ℓ, . . . , ℓ,

(63)

with r̂ ′ = r ′ /r ′ and w ℓ a short–ranged radial weight and Y ℓm the usual harmonics (bond–orientational choices recover Q ℓm [32, 33]). We take J G as the gauge–shift one– body field [7, 34]

JG ( r) ≡ − kB T ∇ˆρ(r), JG ( k) = −i kB T k ˆρ(k),

(64)

which ensures ⟨B JG ( r)⟩ = −kB T ∇⟨B ˆρ(r)⟩ for any

configuration–only B. We note that J G is different from the observable-dependent hyperforce density of Schmidt et al. [9], Ŝ A (r) = σ(r) Â (with σ the local shifting operator, Ref. [9], Eq. (20)). Here we define J G as the universal one-body gauge (Noether) field entering the configurationsector gauge master identity, ⟨B F̂ int (r)⟩ = −⟨B J G (r)⟩ (up to the standard contact term at the insertion point). With Eq. (64), J G (r) = −k B T ∇ρ̂(r), this object is simply the thermal/entropic (ideal) force density and may be written as the divergence of the ideal stress, J G = ∇· σ̂ id

written as the divergence of t with ˆσi d (r) = −kB T ˆρ(r) I.

The symbol ⊗ denotes the tensor product of irreducible tensors, so

T (ℓ) (0) ⊗ JG ( k) = −i kB T k ˆk T (ℓ) (0) δ ˆ ρ (k) , (65)

and all directional content is carried by the angular dependence of the scalar correlator with δρ, while the vector character is supplied by k̂. See App. B for details.

Decompose the scalar spectrum using irreducible harmonics,

T (ℓ) (0) δ ˆ ρ (k) = ℓ m=−ℓ 𝒜ℓ m( k) Yℓ m( ˆk ), (66)

where A ℓm (k) are the scalar radial amplitudes obtained by angular projection,

𝒜ℓ m( k) = dΩˆ k 4π Y ∗ ℓ m( ˆk ) T (ℓ) (0) δ ˆ ρ (k) ,

which depend only on the wavenumber magnitude k = |k| by isotropy; re-expand the product k̂ Y ℓm into irreducible vector or tensor harmonics. The vector k̂ transforms as a spherical tensor of rank one, hence the tensor product 1 ⊗ ℓ reduces into total angular momentum L = ℓ − 1, ℓ, ℓ + 1. Longitudinality excludes the purely toroidal channel associated with L = ℓ, since the gradient of a scalar generates only radial and poloidal components. The mixed correlator therefore contains exactly two channels,

T (ℓ) (0) ⊗ JG ( k) = ℓ+1 m=−ℓ−1 𝒞ℓ ,1→ℓ+1 𝒴 (ℓ+1) m (ˆk ) ℛℓ +1( k)

+ ℓ−1 m=−ℓ+1 𝒞ℓ ,1→ℓ−1 𝒴 (ℓ−1) m (ˆk ) ℛℓ −1( k), (67)

with direction carried by the irreducible vector or ten(L) sor harmonics Y

m ( k̂) and physics captured by the two 9 scalar radial spectra R ℓ±1 (k). The reduced coefficients C ℓ,1→L depend only on angular momentum algebra and are independent of k̂ and k.

re independent of k and k. For ℓ = 2 define Q2 m ≡ T (2) m as the bond–orientational

components and C 2m,i (k) ≡ ⟨Q 2m (0) J G,i (k)⟩. Here i = −1, 0, 1 denotes a spherical vector component (conversion to Cartesian components is a fixed unitary map and does not affect the radial spectra). The selection rule gives a decomposition into L = 1 and L = 3 only,

C2 m,i( k) = − i k kB T α1 ( k) 1 M =−1 ⟨2 m; 1 i|1 M ⟩ Y1 M (ˆk ) + α3 ( k) 3 M =−3 ⟨2 m; 1 i|3 M ⟩ Y3 M (ˆk ) . (68)

The reduction has a direct operational meaning. Angle– resolved or polarized scattering that couples to Q 2m isolates the L = 1 and L = 3 channels through the kernels in Eqs. (69)–(70), which allows one to extract α 1 (k) and α 3 (k) from measured cross responses without reference to stress correlators. In the time domain the same selection rule applies to longitudinal spectra, once the continuity identity has been folded into the gauge relation, so that dynamic analogues of Eq. (68) follow with ω dependence carried entirely by the two radial functions. The Wigner– Eckart–Ward reduction thus provides a compact map from symmetry to measurable amplitudes, explains the vanishing of transverse components, and collapses tensor– hyperforce correlations to two scalar spectra in isotropic central–force fluids.

with α 1 and α 3 the two radial spectra and ⟨2 m; 1 i|L M ⟩ Clebsch–Gordan coefficients [22]. The absence of the L = 2 sector follows from the longitudinal/gradient structure in Eq. (65): the product k̂ Y 2m ( k̂) contains only L = 1 and L = 3 (equivalently, ⟨2 0; 1 0|2 0⟩ = 0), so the toroidal L = 2 vector–harmonic channel is forbidden. This expresses the purely longitudinal nature of J G , consistent with P T (k) C δρF int (k) = 0.

Orthogonality of the harmonics produces explicit projectors for the radial spectra. Introduce the angular kernels 1

𝒱 (1) m ,i( ˆk ) = 1 M =−1 ⟨2 m; 1 i|1 M ⟩ Y1 M (ˆk ), (69) 𝒱 (3) m ,i( ˆk ) = 3 ⟨2 m; 1 i|3 M ⟩ Y3 M (ˆk ). (70)

E. Equivariant gauge-constrained DFT

The Ward and cross–Ward identities link structure and mechanics at equilibrium. To build the gauge constraint already at the level of stationary points, we extend the usual DFT field content to the multiplet Φ = (ρ, J G ), where ρ(r) is the one–body density and J G (r) is the gauge–shift one–body field. The role of the auxiliary onebody field J G is to represent the universal ideal/entropic force density that appears on the right-hand side of the configuration-sector gauge master relation. Using the microscopic definition already introduced in Eq. (64), one has for any configuration observable B(r N )

m ,i M =−1 1 M 𝒱 (3) m ,i( ˆk ) = 3 M =−3 ⟨2 m; 1 i|3 M ⟩ Y3 M (ˆk ). (70) ⟨B JG ( r)⟩ = − kB T ∇ ⟨B ˆρ(r)⟩ , (74) Inserting Eq. (74) into the configuration-sector hyperforce identity Eq. (34) yields the equivalent force-balance form

and let N L denote the corresponding normalization constants fixed by

m,i dΩˆ k 4π 𝒱 (L) m ,i (ˆk ) 𝒱 (L) ∗ m ,i (ˆk ) = 𝒩L , (71) (with 𝒩1 = 3/(4π) and 𝒩3 = 7/(4π) for the standard con- vention dΩ Y ∗ L M YL ′ M ′ = δL L′ δM M ′ ). The projections

read

α1 ( k) = i k kB T 1 𝒩1 m,i dΩˆ k 4π 𝒱 (1) ∗ m ,i (ˆk ) C2 m,i( k), (72) α3 ( k) = i k kB T 1 𝒩3 m,i dΩˆ k 4π 𝒱 (3) ∗ m ,i (ˆk ) C2 m,i( k). (73)

Small wave number scaling follows directly from Eq. (68) (or Eq. (65)), which contains an explicit prefactor k: hence C 2m,i (k) = O(k) as k → 0 (at fixed reduced amplitudes), and α 1 (k) and α 3 (k) remain finite at long wavelength. The two spectra are therefore genuine radial response functions in the sense of Wigner–Eckart, with all angular dependence stripped away.

B ˆFi nt − ⟨B ˆρ⟩ ∇Ve xt( r) = − ⟨B JG ⟩ − kB T i δ(r − ri ) ∇r i B . (75)

For the translation-covariant insertions used throughout the bulk discussion (e.g. B = δ ρ̂(0)), the last term in Eq. (75) is a local contact contribution at the insertion point and vanishes for r ̸ = 0. Thus, away from the contact D term one

Erecovers the compact bulk master relation B F̂ int (r) = − ⟨B J G (r)⟩, which is equivalent to the gauge–U(1) master identity Eqs. (31)–(32).

The hyperdensity functional theory of Ref. [34] constructs density functionals for general observables A[ρ] via the hyperdirect correlation functional c A (r, [ρ]) = δA[ρ]/δρ(r) together with a hyper–Ornstein–Zernike relation for the hyperfluctuation profile χ A . Our construction here has a different purpose: we keep the physical Hamiltonian fixed and introduce J G as an auxiliary field so that the stationary Euler–Lagrange equations enforce the gauge Ward identity and its correlated consequences.

In standard classical DFT the intrinsic free energy is decomposed as F [ρ] = F id [ρ] + F ex [ρ]. The ideal-gas 10 contribution is given explicitly by

ℱi d[ ρ] = kB T dn r ρ(r) ln ρ(r)Λn − 1 ,

where Λ is the constant thermal de Broglie wavelength; the additive constant ln Λ n can be absorbed into a shift of µ.

additive constant ln Λn can be absorbed into a shift of µ. We take the excess part as ℱe x[ ρ] = ℱ FMT H S [ρ] + ℱ MF t ail [ρ],

where F ex [ρ] is the interaction part of the intrinsic Helmholtz free-energy functional. We approximate it by a hard-sphere reference treated in fundamental measure

a hard-sphere reference treated in fundamental measure theory (FMT), ℱ FMT H S [ρ], plus a mean-field (MF) con- tribution from the non-hard-sphere (typically attractive) tail, ℱ MF t ail [ρ] = 1 2 dn r dn r′ ρ(r)ρ(r′ ) wt ail( |r − r′ |), (76) with wt ail( r) the chosen tail part of the pair interaction. We work with the grand potential functional Ω[ρ, JG ] = ℱi d[ ρ] + ℱ FMT H S [ρ] + ℱ MF t ail [ρ] + dn r ρ(r) Ve xt( r) − µ + 1 2λG dn r JG ( r) + kB T ∇ρ(r) 2 . (77) The first line gives the intrinsic free energy (ideal, FMT hard-sphere, and mean-field tail), the second line cou- ples to Ve xt and µ, and the third line imposes the gauge constraint through the positive penalty modulus λG . In bulk (Ve xt = 0) the baseline DFT functional Ω0 [ ρ] = ℱi d[ ρ] + ℱ FMT H S [ρ] + ℱ MF t ail [ρ] + dn r ρ(r) Ve xt( r) − µ is already Euclidean invariant by construction. The role of the penalty term is instead to impose the gauge Ward constraint, which controls mixed force–density (and as- sociated stress) correlations and is not automatically en- forced by a practical density-only approximation. Intro- ducing the auxiliary field JG via the covariant combination JG + kB T ∇ρ enforces the gauge master identity at the Euler–Lagrange level. In bulk one has Ve xt = 0. For hard confinement, Ve xt is implemented by restricting the integration domain to the accessible region and keeping the associated surface term generated by integration by parts, as in Eq. (85) below. Stationarity of Ω yields δΩ δJG = 1 λG JG + kB T ∇ρ = 0 JG = −kB T ∇ρ, (78) δΩ δρ = δℱi d δρ + δℱ FMT H S δρ + δℱ MF t ail δρ + Ve xt( r) − kB T λG ∇· JG + kB T ∇ρ = µ. (79) i Λi ℒX Φi = 0, Λi ≡ δΩ δΦi , (81) which matches the thermal Ward form derived from Liouville–preserving flows. The field–level constraint propagates to correlations. In bulk, linearizing Ω around a stationary state and Fourier transforming gives a quadratic form whose completion of the square eliminates δJG ,k and yields δJ stat G ,k = −i kB T k δ ˆ ρ k . (82) For any configuration–only probe B this implies i k·⟨B δJG ,k⟩ = kB T k2 ⟨B δ ˆ ρ k ⟩ , (83) which is the equal–time Fourier form of the gauge master identity in the bulk and coincides with Eq. (32). In inhomogeneous settings one keeps the corresponding real– space form ⟨B δJG ( r)⟩ = −kB T ∇ ⟨B δρ(r)⟩ rather than plane waves. Combining Eq. (83) with the Irving–Kirkwood relation produces the longitudinal stress constraint ki k j CB σi j (k) = kB T k2 CB ρ( k), (84) which underpins the scattering–to–stress route used later. Surface contributions arise from the penalty term by integration by parts. Introducing an arbitrary smooth test field q(r), one writes dn r q·kB T ∇ρ = − kB T dn r (∇·q) ρ + kB T ∂Ω dS (q·n) ρ. (85) Periodic domains have no boundary term, whereas walls contribute a normal contact piece, consistent with Eq. (42) once the bulk Ward identity is invoked. The auxiliary-field formulation is exactly equivalent to standard DFT at the level of the stationary one–body profile: eliminating JG through Eq. (78) reduces Eq. (77) to Ω0 [ ρ] and thus leaves the Euler equation for ρ un- changed. The utility of introducing JG is instead in the fluctuation/response sector: the quadratic expansion of

i dn r δΩ δΦi (ℒX Φi ) = 0, (80)

+ 1 2λG dn r JG ( r) + kB T ∇ρ(r) 2 . (77) The first line gives the intrinsic free energy (ideal, FMT hard-sphere, and mean-field tail), the second line cou- ples to Ve xt and µ, and the third line imposes the gauge constraint through the positive penalty modulus λG . In bulk (Ve xt = 0) the baseline DFT functional Ω0 [ ρ] = ℱi d[ ρ] + ℱ FMT H S [ρ] + ℱ MF t ail [ρ] + dn r ρ(r) Ve xt( r) − µ is already Euclidean invariant by construction. The role of the penalty term is instead to impose the gauge Ward constraint, which controls mixed force–density (and as- sociated stress) correlations and is not automatically en- forced by a practical density-only approximation. Intro- ducing the auxiliary field JG via the covariant combination JG + kB T ∇ρ enforces the gauge master identity at the Euler–Lagrange level. In bulk one has Ve xt = 0. For hard confinement, Ve xt is implemented by restricting the integration domain to the accessible region and keeping the associated surface term generated by integration by parts, as in Eq. (85) below. Stationarity of Ω yields δΩ δJG = 1 λG JG + kB T ∇ρ = 0 JG = −kB T ∇ρ, (78) δΩ δρ = δℱi d δρ + δℱ FMT H S δρ + δℱ MF t ail δρ + Ve xt( r) − kB T λG ∇· JG + kB T ∇ρ = µ. (79) Inserting Eq. (78) into Eq. (79) removes the penalty divergence and recovers the standard DFT Euler equation δℱi d/ δρ + δℱ FMT H S /δρ + δℱ MF t ail /δρ + Ve xt = µ. i k·⟨B δJG ,k⟩ = kB T k2 ⟨B δ ˆ ρ k ⟩ , (83) which is the equal–time Fourier form of the gauge master identity in the bulk and coincides with Eq. (32). In inhomogeneous settings one keeps the corresponding real– space form ⟨B δJG ( r)⟩ = −kB T ∇ ⟨B δρ(r)⟩ rather than plane waves. Combining Eq. (83) with the Irving–Kirkwood relation produces the longitudinal stress constraint ki k j CB σi j (k) = kB T k2 CB ρ( k), (84) which underpins the scattering–to–stress route used later. Surface contributions arise from the penalty term by integration by parts. Introducing an arbitrary smooth test field q(r), one writes dn r q·kB T ∇ρ = − kB T dn r (∇·q) ρ + kB T ∂Ω dS (q·n) ρ. (85) Periodic domains have no boundary term, whereas walls contribute a normal contact piece, consistent with Eq. (42) once the bulk Ward identity is invoked. The auxiliary-field formulation is exactly equivalent to standard DFT at the level of the stationary one–body profile: eliminating JG through Eq. (78) reduces Eq. (77) to Ω0 [ ρ] and thus leaves the Euler equation for ρ un- changed. The utility of introducing JG is instead in the fluctuation/response sector: the quadratic expansion of Ω[ρ, JG ] around a stationary state generates a coupled Gaussian kernel for (δρ, δJG ) , whose saddle relation in Eq. (82) yields the correlator constraint Eq. (83). This is the variational entry point for the stress and cross–Ward

11

× 10 2

C F int r

Magnitude[

/ 8 ] 4 k

Table 1 · 7 columns × 1 rows · p.11–11 · CSV
× kB T C2 F 2int hr Magnitude[ε/σ4 ] 0 1 2 3 4 5h\P L C\ishell h\P T C\ishell
× kB T C2 F 2int hr Magnitude[ε/σ4 ] 0 1 2 3 4 5h\P L C\ishell h\P T C\ishell
× kB T C2 F 2int hr Magnitude[ε/σ4 ] 0 1 2 3 4 5× kB T C2 F 2int hr Magnitude[ε/σ4 ] 0 1 2 3 4 5

FIG. 1. Radial validation of the gauge–U(1) identity ∇ · C δρF int = k B T ρ 2 ∇ 2 h in a bulk Lennard–Jones fluid (T ∗ = 1.5, ρ ∗ = 0.85). Solid line: shell–averaged divergence ⟨∇· C δρF int ⟩ r computed from the density–internal–force cross–correlator measured in MD. Dashed line: k B T ρ 2 ∇ 2 h(r) obtained from the total correlation h(r) = g(r) − 1 of the same run.

relations in Sec. II C 10. The parameter λ G controls the cost of fluctuations transverse to the constraint (and can improve numerical conditioning), while the Ward relation for mixed ρ–J G correlators remains fixed by the covariant

for mixed ρ–JG correlator structure JG + kB T ∇ρ.

Finally, for observables B(r N , p N ) with explicit momentum dependence, the microscopic gauge Ward identity contains additional kinematic source terms generated by the momentum part of the gauge generator. A field-level implementation of those identities would require extending the multiplet Φ beyond (ρ, J G ), for example by adding the current or kinetic-stress sector. The present minimal functional is therefore tailored to the configuration sector used throughout this work.

III. SIMULATION

We simulate a one–component Lennard–Jones (LJ) fluid in a cubic periodic box containing N = 6912 particles. The pair potential is

u(r) = 4ε σ r 1 2 − σ r 6 ,

where ε is the characteristic energy scale corresponding to the depth of the potential well, while σ specifies the characteristic length scale that defines the effective particle diameter. The potential is truncated at r c = 2.5σ without applying long–range tail corrections.

Molecular dynamics trajectories are generated with HOOMD-blue [35, 36] using a velocity–Verlet integrator. Temperature is controlled with a Bussi stochastic velocity–rescaling thermostat (canonical sampling), and the simulations are performed at reduced temperature

0.0 0.5 1.0 1.5 2.0 2.5 3.0 3.5 4.0 k 0 1 2 3 4 5 M a g n i t u d e [ ε / σ 4 ] ⟨|PL C |⟩s hell ⟨|PT C|⟩s hell

FIG. 2. Shell-averaged magnitudes of the longitudinal (circles) and transverse (squares) projections of the density–internal-force cross correlator C δρF int (k) = V −1 δ ρ̂ −k F̂ int (k) for a bulk Lennard–Jones fluid at T ∗ = 1.5 and ρ ∗ = 0.85. The transverse signal is strongly suppressed relative to the longitudinal one, consistent with the gauge×rotation cross identity P T (k) C δρF int (k) = 0. [Eq. (38)], while the small-k growth of the longitudinal branch follows the gauge–U(1) prediction |P L C δρF int (k)| ∝ k |S(k)−1| from Eq. (35).

T ∗ = k B T /ε and reduced density ρ ∗ = ρσ 3 . Each system is equilibrated for 10 7 integration steps followed by a production run of 10 6 steps.

Figure 1 shows stringent real-space validation of the gauge–U(1) divergence identity in Eq. (35) for the bulk Lennard–Jones state point (T ∗ = 1.5, ρ ∗ = 0.85). The two sides of Eq. (35)–the shell-averaged divergence ⟨∇· C δρF int ⟩ r measured directly from the trajectory and the structural expression k B T ρ 2 ∇ 2 h(r) obtained independently from h(r) = g(r) − 1–are essentially indistinguishable on the scale of the plot over the full r range shown. In particular, the strong near-contact peak, the subsequent negative lobe at the first minimum, and the damped oscillations across successive coordination shells coincide in both phase and amplitude, demonstrating that the mixed density–internal-force response is completely fixed by the equilibrium pair structure as predicted by the Ward identity. At larger separations both signals rapidly decay toward zero and remain consistent with zero within the remaining statistical noise, as expected for a homogeneous bulk fluid with short-ranged interactions.

In Fig. 2 we resolve the Fourier–space structure of the density–internal–force cross correlator, C δρF int (k) = V −1 ⟨δ ρ̂ −k F int (k)⟩, by projecting onto the longitudinal and transverse sectors with P L (k) = k̂ k̂ ⊤ and P T (k) = 1 − P L (k), followed by thin |k|-shell averaging of the magnitudes. Across all accessible wave numbers the signal is overwhelmingly longitudinal: ⟨|P T C δρF int |⟩ shell ≪ ⟨|P L C δρF int |⟩ shell . This pure longitudinality is the expected consequence of rotational invariance combined with the gauge identity, Eq. (38), which forbids a trans-

−1 0 R e ˆ k · ⟨ B j k ⟩ s h e l l /

0 1 2 j k ⟩ s h e l l / V ( σ − 2 τ − 1 ) ×10− 18 B = ˆρ− k B = δU

IV. CONCLUSION

1 2 3 4 5 k −1 R e ˆ k · ⟨ B j k

FIG. 3. Test of the momentum–fiber/gauge identity, Eq.

(45), using the

signed longitudinal current cross correlator

Eq. (45), using the signed longitudinal current cross correlator Re ˆ k·⟨Bˆ jk ⟩ s hell /V (circles: B = ˆρ− k; squares: B = δU ).

The exact prediction is zero (horizontal line); error bars are block-averaged standard errors. Units are Lennard–Jones re-

block-averaged standard er duced, with τ ≡ σ m/ε.

verse component in an isotropic, central-force fluid. The small but finite transverse baseline is attributable to finite statistics, discrete anisotropy of the reciprocal grid, and the use of shell averages of absolute values.

The longitudinal amplitude grows approximately linearly with k at small wave number, in agreement with the gauge–U(1) master identity, Eq. (35), which gives

PL Cδ ρFi nt (k) = i ˆk k kB T ρ [S(k) − 1] and therefore |PL Cδ ρFi nt | ∝ k |S(k)−1| as k → 0. Figure 2 thus provides

Fourier-space evidence for the gauge×rotation cross-Ward constraint and illustrates the reduction of the vector hyperforce response to a single radial spectrum in isotropic liquids.

The isothermal compressibility κ T was extracted by two independent routes. Using the compressibility relation

independent routes. Using the compressibility relation κT = S(0)/(ρ kB T ) with S(0) evaluated including the self − 2

contribution, we obtain the value κ T = 3.612 × 10 −2 . An independent estimate follows from the gauge–U(1) master identity [Eq. (35)] gives κ T = 3.595(70) × 10 −2 . The calculated isothermal compressibility values from both methods are in good agreement.

The two estimators provide a parameter-free check of the first-moment (gauge×dilation) identity, Eq. (39); the resulting values 3.664 × 10 −2 and 3.648 × 10 −2 are in close agreement, confirming that the same κ T governs both the density–density and density–hyperforce sectors.

We test the momentum–fiber/gauge cross identity, Eq. (45), which predicts vanishing equal-time current cross correlators with any configuration observable B. We evaluate instead

the signed longitudinal shell aver-

We evaluate instead the signed longitudinal shell aver- age Re ˆk·⟨Bˆ jk ⟩ s hell /V for two representative choices:

B = ρ̂ −k and B = δU . As shown in Fig. 3, both channels fluctuate about zero with no systematic drift over the accessible k range, and remain consistent with the exact We have formulated a single symmetry framework for equilibrium many-body systems by embedding standard geometric and dynamical invariances together with the phase-space gauge-shifting symmetry into the unified group G. Via Noether’s calculus for Liouville-preserving flows we derived a hierarchy of Ward identities and, crucially, new cross-Ward constraints that originate from the noncommutation of generators. The gauge–U(1) master identity fixes force–density cross correlators [Eqs. (31)–(35)]; in concert with rotations it enforces strict longitudinality and curl-freeness [Eqs. (38), (51)]; with dilations it yields a first-moment/compressibility sum rule [Eqs. (39), (40)]; with translations it implies a k-derivative identity [Eq. (44)]; with boundaries it produces a wall-contact relation [Eq. (42)]; and with boosts/time translations it links force–, current–, and stress–response channels, fixing the longitudinal stress from density dynamics and providing bounds [Eqs. (49)–(61)]. The Wigner–Eckart–Ward reduction further collapses tensor–hyperforce correlators to a small set of scalar radial spectra in isotropic fluids [Eqs. (67), (68)]. We also outlined an equivariant gauge-constrained DFT whose Euler–Lagrange equations automatically satisfy the full set of identities [Eqs. (77)–(81)].

The unified gauge–geometry perspective offers a systematic organizer for structure–mechanics relations in liquids, mixtures, and interfaces, and suggests practical routes to infer elastic/viscoelastic kernels from static or angle-resolved scattering. Extensions to multicomponent electrolytes [37], confined [38, 39] or anisotropic media [40] and quantum statistics [31, 41] are natural next steps.

Appendix A: Derivation of the nonzero commutators This Appendix derives Eqs. (22)–(28) by direct evaluation of Lie brackets of the phase-space vector fields that represent the generators. Throughout we work at fixed particle number N and write the phase-space point Γ = (r N ; p N ). All generators below are first-order differential operators acting on smooth phase-space functions F (Γ); for such operators the commutator [U, V ] ≡ U V − V U coincides with the Lie bracket of the associated vector fields.

13 1. 3. Conventions and one-particle reduction For each particle i and Cartesian component α =

For each particle i and Cartesian component α = 1, . . . , n we use ∂i α ≡ ∂ ∂ri α , ¯∂i α ≡ ∂ ∂pi α , ∇i ≡ (∂i 1, . . . , ∂i n) .

Translation–gauge commutator Let T i (a) = a α ∂ iα and G i [ϵ] as in (A8). Using (A1) and noting that T i has constant coefficients, the r-component

1, . . . , n we use ∂i α ≡ ∂ ∂ri α , ¯∂i α ≡ ∂ ∂pi α , ∇i ≡ (∂i 1, . . . , ∂i n) . For a phase-space vector field U = N i=1 U r i α ∂i α + U p i α ¯∂i α , the Lie bracket is [U, V ] = (U ·∇Γ ) V − (V ·∇Γ ) U, (A1) noting that Ti has constant coefficients, the r-component of [Ti , Gi ] is ([Ti , Gi ] )rα = Ti ϵα ( ri ) − Gi ( aα ) = aβ ∂i β ϵα ( ri ) . The p-component is obtained by acting Ti on −∂i β ϵα ( ri ) pi β : ([Ti , Gi ] )pα = Ti −∂i β ϵα ( ri ) pi β = −∂i β aγ ∂i γ ϵα ( ri ) pi β . Therefore [Ti , Gi ] = Gi [ (a·∇)ϵ], and summing over i gives [T (a), G[ϵ]] = G (a·∇)ϵ . (A10)

equivalently [U, V ]F = U (V F ) − V (U F ) for any test function F (Γ). Here ∇ Γ denotes the full gradient with respect to all (r i , p i ).

All generators

Pused in Sec. II B are sums of one-particle pieces, U = i U i , where U i acts only on (r i , p i ). Hence [U i , V j ] = 0 for i ̸ = j, and therefore

[U, V ] = N i=1 [Ui , Vi ] . (A2)

Generators in components We use the phase-space representatives (Sec. II B):

T (a) = i aα ∂i α, (A3) R(Θ) = i (Θri ) α ∂i α + (Θpi ) α ¯∂i α , (A4) D = i ri α ∂i α − pi α ¯∂i α , (A5) ℬ(u) = i t uα ∂i α + mi u α ¯∂i α , (A6) Π[χ] = i χα ( ri ) ¯∂i α, (A7) Then ([Ri , Gi ] )pα = (Θri ) γ ∂i γ − ∂i β ϵα pi β + (Θpi ) γ ¯∂i γ − ∂i β ϵα pi β − − ∂i β ϵγ pi β ¯∂i γ (Θpi ) α . (A12) Since ¯∂i γ (pi β ) = δγ β and ¯∂i γ ((Θpi ) α ) = Θα γ , this becomes ([Ri , Gi ] )pα = − (Θri ) γ (∂i γ ∂i β ϵα ) pi β − (Θpi ) β ∂i β ϵα (A13)

For one particle, Ri ( Θ) = (Θri ) α ∂ i α + (Θpi ) α ∂ i α an Gi [ ϵ] as in (A8). First, the r-component: ([Ri , Gi ] )rα = Ri ϵα ( ri ) − Gi (Θri ) α = (Θri ) β ∂i β ϵα ( ri ) − ϵβ (ri ) ∂i β (Θri ) α = (Θri ) β ∂i β ϵα ( ri ) − ϵβ (ri ) Θα β .

(Θr·∇)ϵ − Θϵ α = (Θr)β ∂β ϵα − Θα β ϵβ , (A11)

alid argument of G[·]. Next, the p-component. Write Gpi α = −∂i β ϵα pi β .

i ℬ(u) = i t uα ∂i α + mi u α ¯∂i α , (A6) Π[χ] = i χα ( ri ) ¯∂i α, (A7) and the gauge-shift (cotangent-lift) generator G[ϵ] = N i=1 Gi [ ϵ], Gi [ ϵ] = ϵα ( ri ) ∂i α− ∂i β ϵα ( ri ) pi β ¯∂i α, (A8) where (∇ϵ)α β = ∂β ϵα . When needed we also use the spatial Lie bracket of vector fields, [ϵ1 , ϵ2 ] α = ϵ1 ,β ∂β ϵ2 ,α − ϵ2 ,β ∂β ϵ1 ,α. (A9) Since ¯∂i γ (pi β ) = δγ β and ¯∂i γ ((Θpi ) α ) = Θα γ , this becomes ([Ri , Gi ] )pα = − (Θri ) γ (∂i γ ∂i β ϵα ) pi β − (Θpi ) β ∂i β ϵα + Θα γ (∂i β ϵγ ) pi β . (A13) Using (Θpi ) β = Θβ γ pi γ one checks that this equals ([Ri , Gi ] )pα = −∂i β (Θri ) γ ∂i γ ϵα − Θα γ ϵγ pi β , i.e. the cotangent-lift form with parameter (Θr·∇)ϵ − Θϵ. Summing over i yields [R(Θ), G[ϵ]] = G (Θr·∇)ϵ − Θϵ . (A14)

14

5. Dilation–gauge commutator

For one particle Di = ri α∂ i α −pi α ¯ ∂ i α. The r-component

is

([Di , Gi ] )rα = Di ϵα ( ri ) − Gi ( ri α) = ri β ∂i β ϵα ( ri ) − ϵα ( ri ) = (r·∇)ϵ − ϵ α.

The p-component follows similarly and collapses to the cotangent-lift form

([Di , Gi ] )pα = −∂i β (ri γ ∂i γ ϵα ) − ϵα pi β .

Hence

[D, G[ϵ]] = G (r·∇)ϵ − ϵ .

(A15)

Boost–gauge commutator and the origin of the Π

term

For one particle, ℬi ( u) = t uα ∂ i α + mi u α ¯ ∂ i α. Since r

ℬi has constant coefficients in ri , pi , one has Gi ( ℬri ) = Gi ( ℬpi ) = 0, and therefore [ ℬi , Gi ] = ℬi · ∇Γ Gi . The r-component is immediate: ([ ℬi , Gi ])rα = ℬi ϵα ( ri ) = t uβ ∂i β ϵα ( ri ) = t(u·∇)ϵ α.

which is the spatial Lie bracket (A9). A straightforward (but slightly longer) component calculation for the pcomponent yields

([Gi [ ϵ1 ] , Gi [ ϵ2 ] ])pα = −∂i β [ϵ1 , ϵ2 ] α pi β ,

so the commutator retains the cotangent-lift structure. Summing over i gives

[G[ϵ1 ] , G[ϵ2 ] ] = G [ϵ1 , ϵ2 ] . (A18)

8. Momentum-fiber translation–gauge commutator

Let Πi [ χ] = χα ( ri ) ¯ ∂ i α. The r-component of

[ Π i [χ], G i [ϵ] ] vanishes because Π i differentiates only in

[ Πi [ χ], Gi [ ϵ] ] vanishes because Πi differentiates only in pi while ϵ(ri ) depends only on ri . For the p-component: ([ Πi [ χ], Gi [ ϵ] ])pα = Πi [ χ] − ∂i β ϵα pi β − Gi [ ϵ] χα ( ri ) = −(∂i β ϵα ) χβ − ϵβ ∂i β χα .

Therefore

[Π[χ], G[ϵ]] = Π − (ϵ·∇)χ − (∇ϵ)χ ,

which is Eq. (27) in the main text.

For the p-component, with Gpi α = −∂i β ϵα pi β ,

(A19)

Time translation–gauge commutator If ϵ = ϵ(r) is time independent, then clearly ([ B

([ ℬi , Gi ])pα = ℬi ( Gpi α )

i i α = t uγ ∂i γ − ∂i β ϵα pi β + mi u γ ¯∂i γ − ∂i β ϵα pi β = − ∂i β t uγ ∂i γ ϵα pi β − (∂i γ ϵα ) (mi u γ ). [t(τ ), G[ϵ]] = 0. If ϵ = ϵ(t, r) depends explicitly on time and t(τ ) = τ ∂t , then t(τ ) acts only on the coefficients of G[ϵ], yielding [t(τ ), G[ϵ]] = G[τ ∂t ϵ ], (A20)

The first term is exactly the cotangent-lift p-component which reproduces Eq. (28). of G

i [t(u·∇)ϵ]. The second term is independent of p i and thus is a pure momentum-fiber translation:

−(∂i γ ϵα ) (mi u γ ) ¯∂i α = Πi [ −χϵ ,u] , χϵ ,u,α( ri ) ≡ mi u γ ∂γ ϵα ( ri ) .

Summing over i gives

[ℬ(u), G[ϵ]] = G t(u·∇)ϵ + Π − χϵ ,u ,

Appendix B: Wigner–Eckart–Ward reduction (A16)

(A17)

which exhibits explicitly that the extra Π term originates from the momentum-shift part m i u · ∇ p i of the boost generator.

7. Gauge–gauge commutator

Let ϵ 1 , ϵ 2 be smooth spatial vector fields. For one

Let ϵ1 , ϵ2 be smooth spatial vector fields. For one particle, compute the r-component: ([Gi [ ϵ1 ] , Gi [ ϵ2 ] ])rα = Gi [ ϵ1 ] ϵ2 ,α( ri ) − Gi [ ϵ2 ] ϵ1 ,α( ri ) = ϵ1 ,β ∂i β ϵ2 ,α − ϵ2 ,β ∂i β ϵ1 ,α = [ϵ1 , ϵ2 ] α ,

This Appendix shows the intermediate steps behind the Wigner–Eckart–Ward reduction used in Sec. II D. We assume a homogeneous isotropic bulk in n = 3, so the angular dependence is organized by SO(3) irreducible tensors, spherical harmonics Y ℓm , and Clebsch–Gordan (CG) coefficients. When CG coefficients are written, the vector index is most naturally interpreted in a spherical basis µ = −1, 0, 1; conversion to Cartesian components is a fixed unitary map and does not affect any radial spectra. Throughout

we use the standard Condon–Shortley nor-

Throughout we use the standard Condon–Shortley nor- malization dΩ Y ∗ L M (ˆk ) YL ′ M ′ (ˆk ) = δL L′ δM M ′ , and we write dΩ/(4π) for the corresponding solid-angle average.

The microscopic density and the universal gauge onebody field are given by

ˆρ(r) = N i=1 δ(r − ri ) , JG ( r) = − kB T ∇ˆρ(r). (B1)

15

With the Fourier convention ˆρ(k) = d3 r e− ik·r ˆρ(r), JG ( k) = d3 r e− ik·r JG ( r) = −i kB T k ˆρ(k), (B2)

where the surface term vanishes for periodic boundaries (or for sufficiently fast decay in an unbounded domain). Linearity of the ensemble average then gives, for any configuration-only irreducible tensor insertion T (ℓ) (0),

T (ℓ) (0) ⊗ JG ( k) = −i kB T k ˆk T (ℓ) (0) ˆρ(k) . (B3)

In a translationally invariant bulk, ⟨ρ̂(k)⟩ = (2π) 3 ρ δ(k), where δ(k) is the three-dimensional Dirac delta distribution. Thus for k ̸ = 0 one has ⟨ρ̂(k)⟩ = 0 and therefore ρ̂(k) = δ ρ̂(k) inside correlators. At k = 0 the left-hand side vanishes because J G (0) = 0 from Eq. (B2). Hence Eq. (B3) is equivalent to Eq. (65),

T (ℓ) (0) ⊗ JG ( k) = −i kB T k ˆk T (ℓ) (0) δ ˆ ρ (k) . (B4)

(ℓ 1 ℓ; 0 0 0) = 0), hence only the L = ℓ ± 1 sectors survive in k̂ µ Y ℓm . This matches the fact that a gradient field has no toroidal component. The remaining L = ℓ ± 1 pieces can therefore be regrouped into two irreducible channels, yielding the two-channel form shown in Eq. (67).

ielding the two-channel fo Let Q2 m ≡ T (2) m

2m ≡ T m and define C 2m,i (k) ≡ ⟨Q 2m (0) J G,i (k)⟩. From Eq. (65) and Eq. (B5) (with ℓ = 2) one may write

C2 m,i( k) = −i kB T k ˆki 4π 2 m′ =−2 𝒜( 2) m m′ (k) Y2 m′ (ˆk ). (B8)

the correlator has no transverse projection. Isotropy implies that the rank-ℓ object ⟨T (ℓ) m (0) δ ˆ ρ (k)⟩

T (ℓ) m (0) δ ˆ ρ (k) = 4π ℓ m′ =−ℓ 𝒜( ℓ) m m′ (k) Yℓ m′ (ˆk ), 𝒜( ℓ) m m′ (k) = dΩˆ k 4π Y ∗ ℓ m′ (ˆk ) T (ℓ) m (0) δ ˆ ρ (k) . (B5)

ˆkµ = 4π 3 Y1 µ( ˆk ), µ = −1, 0, 1, (B6)

Yℓ m( ˆk ) Y1 µ( ˆk ) = ℓ+1 L=ℓ−1 L M =−L (2ℓ + 1) 3 4π(2L + 1) × ⟨ℓ0; 10|L0⟩ ⟨ℓm; 1µ|LM ⟩ YL M (ˆk ). (B7)

The pair of indices (m, i) lives in the tensor-product space 2 ⊗ 1 = 1 ⊕ 2 ⊕ 3. Longitudinality removes the L = 2 (toroidal) sector, leaving only L = 1 and L = 3. A convenient basis for these two allowed angular sectors is The longitudinal character is explicit in components

The longitudinal character is explicit in componen (spherical basis µ = −1, 0, 1): T (ℓ) m (0) JG ,µ( k) = − i kB T k ˆkµ T (ℓ) m (0) δ ˆ ρ (k) ,

2 1

𝒱 (1) m ,i( ˆk ) ≡ 1 M =−1 ⟨2 m; 1 i|1 M ⟩ Y1 M (ˆk ), (B9) 𝒱 (3) m ,i( ˆk ) ≡ 3 ⟨2 m; 1 i|3 M ⟩ Y3 M (ˆk ), (B10)

𝒱 (3) m ,i( ˆk ) ≡ 3 M =−3 ⟨2 m; 1 i|3 M ⟩ Y3 M (ˆk ),

which are the unique irreducible couplings 2 ⊗ 1 → L evaluated on the sphere. In this basis the correlator has the two-spectrum decomposition

C2 m,i( k) = −i k kB T α1 ( k) 𝒱 (1) m ,i( ˆk ) + α3 ( k) 𝒱 (3) m ,i( ˆk ) .

(B11) Equation (B11) is the explicit SO(3) form of Eq. (68) (in a spherical basis for the vector index).

Introduce the inner product on the sphere (including sums over discrete indices)

(𝒰, 𝒲) ≡ m,i dΩˆ k 4π 𝒰m ,i( ˆk ) 𝒲 ∗ m ,i( ˆk ),

(B12)

and define the channel normalizations by

𝒩L ≡ (𝒱 (L) , 𝒱 (L) )= m,i dΩˆ k 4π 𝒱 (L) m ,i (ˆk ) 𝒱 (L) ∗ m ,i (ˆk ), L = 1, 3, (B13)

(so N 1 = 3/(4π) and N 3 = 7/(4π) for the standard Y LM normalization). Orthogonality of irreducible sectors implies (V (1) , V (3) ) = 0. Multiplying (B11) by V (1) ∗ , integrating, and using orthogonality yields

m,i dΩˆ k 4π 𝒱 (1) ∗ m ,i (ˆk ) C2 m,i( k) = − i k kB T α1 ( k) 𝒩1 . (B14)

hence

α1 ( k) = i k kB T 1 𝒩1 m,i dΩˆ k 4π 𝒱 (1) ∗ m ,i (ˆk ) C2 m,i( k), (B15)

16 which reproduces Eq. (72). The same steps with V (3) ∗ give

α3 ( k) = i k kB T 1 𝒩3 m,i dΩˆ k 4π 𝒱 (3) ∗ m ,i (ˆk ) C2 m,i( k), (B16)

which is Eq. (73). Finally, J G (k) ∝ k implies C 2m,i (k) = O(k) as k → 0, so both spectra α 1 (k) and α 3 (k) remain finite in the long-wavelength limit.

[1] M. Bañados and I. Reyes, A short review on Noether’s

theorems, gauge symmetries and boundary terms, Int. J. Mod. Phys. D 25, 1630021 (2016). [2] Y. Kosmann-Schwarzbach, The Noether theorems, in The

Noether Theorems: Invariance and Conservation Laws in the Twentieth Century (Springer, Berlin, Germany, 2010) pp. 55–64. [3] C.-N. Yang and R. L. Mills, Conservation of isotopic spin

and isotopic gauge invariance, Phys. Rev. 96, 191 (1954). [4] M. E. Peskin and D. V. Schroeder, An Introduction to

Quantum Field Theory (CRC Press, Boca Raton, FL, 2018). [5] S. Weinberg, The Quantum Theory of Fields, Vol. 2 (Cam-

bridge University Press, Cambridge, UK, 1995). [6] S. Hermann, F. Sammüller, and M. Schmidt, Noether

invariance theory for the equilibrium force structure of soft matter, J. Phys. A: Math. Theor. 57, 175001 (2024). [7] S. Robitschko, F. Sammüller, M. Schmidt, and S. Her-

mann, Hyperforce balance via thermal Noether invariance of any observable, Commun. Phys. 7, 103 (2024). [8] J. Müller, S. Hermann, F. Sammüller, and M. Schmidt,

Gauge invariance of equilibrium statistical mechanics, Phys. Rev. Lett. 133, 217101 (2024). [9] J. Matthes, S. Robitschko, J. Müller, S. Hermann, F. Sam-

müller, and M. Schmidt, Gauge invariance and hyperforce correlation theory for equilibrium fluid mixtures, arXiv:2509.19837 (2025). [10] S. Hermann and M. Schmidt, Noether’s theorem in sta-

tistical mechanics, Commun. Phys. 4, 176 (2021). [11] J. O. Hirschfelder, Classical and quantum mechanical

hypervirial theorems, J. Chem. Phys. 33, 1462 (1960). [12] B. Bradlyn, M. Goldstein, and N. Read, Kubo formulas for

viscosity: Hall viscosity, Ward identities, and the relation with conductivity, Phys. Rev. B 86, 245309 (2012). [13] J.-P. Hansen and I. R. McDonald, Theory of Simple Liq-

uids: With Applications to Soft Matter, 4th ed. (Academic Press, Oxford, UK, 2013). [14] J. H. Irving and J. G. Kirkwood, The statistical mechan-

ical theory of transport processes. IV. the equations of hydrodynamics, J. Chem. Phys. 18, 817 (1950). [15] J. G. Kirkwood and F. P. Buff, The statistical mechanical

theory of solutions. I, J. Chem. Phys. 19, 774 (1951). [16] L. P. Kadanoff and P. C. Martin, Hydrodynamic equations

and correlation functions, Ann. Phys. (N.Y.) 24, 419 (1963). [17] A. M. Polyakov, Conformal symmetry of critical fluctua-

tions, JETP Lett. 12, 381 (1970). [18] P. A. Martin, Sum rules in charged fluids, Rev. Mod. Phys.

60, 1075 (1988). [19] C. Jarzynski, Nonequilibrium equality for free energy

differences, Phys. Rev. Lett. 78, 2690 (1997).

[20] G. E. Crooks, Entropy production fluctuation theorem

and the nonequilibrium work relation for free energy differences, Phys. Rev. E 60, 2721 (1999). [21] M. E. Rose, Elementary Theory of Angular Momentum

(Courier Corporation, Mineola, NY, 1995). [22] A. R. Edmonds, Angular Momentum in Quantum Me-

chanics, 2nd ed. (Princeton University Press, Princeton, NJ, 1996). [23] B. C. Hall, Lie groups, Lie algebras, and representations,

in Quantum Theory for Mathematicians (Springer, New York, NY, 2013). [24] J. M. Lee, Smooth manifolds, in Introduction to smooth

manifolds (Springer, New York, NY, 2003). [25] M. Nakahara, Geometry, topology and physics (CRC press,

2018). [26] J. Cardy, Scaling and renormalization in statistical

physics, Vol. 5 (Cambridge University Press, Cambridge, 1996). [27] J. Zinn-Justin, Quantum field theory and critical phenom-

ena, Vol. 171 (Oxford University Press, Oxford, 2021). [28] C. Ley and Y. Swan, Stein’s density approach and infor-

mation inequalities, Electron. Commun. Probab. 18, 1 (2013). [29] F. Sammüller, S. Hermann, D. de Las Heras, and

M. Schmidt, Noether-constrained correlations in equi-

librium liquids, Phys. Rev. Lett. 130, 268203 (2023). [30] G. L. Klimchitskaya and V. M. Mostepanenko, Kramers–

kronig relations and causality conditions for graphene in the framework of the Dirac model, Phys. Rev. D 97, 085001 (2018). [31] H. Li, Z. Sun, Y. Su, H. Lin, H. Huang, and D. Li,

Linear response functions respecting Ward–Takahashi identity and fluctuation–dissipation theorem within the GW approximation, Phys. Rev. B 107, 085106 (2023). [32] P. J. Steinhardt, D. R. Nelson, and M. Ronchetti, Bond-

orientational order in liquids and glasses, Phys. Rev. B 28, 784 (1983). [33] W. Lechner and C. Dellago, Accurate determination of

crystal structures based on averaged local bond order parameters, J. Chem. Phys. 129, 114707 (2008). [34] F. Sammüller, S. Robitschko, S. Hermann, and

M. Schmidt, Hyperdensity functional theory of soft matter, Phys. Rev. Lett. 133, 098201 (2024). [35] J. A. Anderson, J. Glaser, and S. C. Glotzer, HOOMD-

blue: A Python package for high-performance molecular dynamics and hard particle Monte Carlo simulations, Comput. Mater. Sci. 173, 109363 (2020). [36] J. Glaser, T. D. Nguyen, J. A. Anderson, P. Lui, F. Spiga,

J. A. Millan, D. C. Morse, and S. C. Glotzer, Strong

scaling of general-purpose molecular dynamics simulations on GPUs, Comput. Phys. Commun. 192, 97 (2015).

17 [37] T. Petersen, Toward modeling the structure of electrolytes

at charged mineral interfaces using classical density functional theory, J. Phys. Chem. B 128, 3981 (2024). [38] V. de Morais Sermoud, A. Pereira, and F. W. Tavares,

Classical density functional theory of confined fluids, Fluid Phase Equilib. 585, 113063 (2024). [39] F. Sammüller, D. de las Heras, and M. Schmidt, Com-

parative study of force-based classical density functional theory, Phys. Rev. E 107, 034109 (2023). [40] A. Simon, J. Weimar, G. Martius, and M. Oettel, The

orientational structure of a model patchy particle fluid: Simulations, integral equations, density functional theory, and machine learning, J. Chem. Phys. 162, 034503 (2025). [41] J. Müller and M. Schmidt, Quantum statistical mechanical

gauge invariance, arXiv:2509.20494 (2025).