Order-Preserving Reparameterization in EFTs

• Order-preserving reparameterization is a framework in EFTs that enforces Lorentz invariance via infinitesimal velocity shifts.
• The method employs field decomposition and a 1/M expansion, using Hilbert series to systematically count invariant operators.
• RPI constraints yield strict linear relations among Wilson coefficients, ensuring consistency between EFTs and full Poincaré symmetry.

Order-preserving reparameterization, in the context of effective field theories (EFTs) for heavy particles, refers to the set of transformations and constraints enabling a manifestly rotationally-invariant EFT to precisely encode the underlying Lorentz invariance of the parent theory. As established in nonrelativistic quantum electrodynamics (NRQED) and heavy quark effective theory (HQET), reparameterization invariance (RPI) provides a formal apparatus for demanding invariance under infinitesimal shifts of the velocity parameter, ensuring that physical observables do not depend on arbitrary choices in the decomposition of field variables. This invariance is necessary and sufficient to maintain consistency with the full Poincaré symmetry after integrating out antiparticle degrees of freedom and expanding the EFT in inverse powers of the heavy mass $M$ (Kobach et al., 2018).

1. Fundamental Definition and Field Decomposition

RPI arises from the splitting of the relativistic Dirac field $Q(x)$ into a large-component field $Q_v(x)$ and a small-component (antiparticle) field $\mathfrak Q_v(x)$. This decomposition utilizes the reference velocity $v^\mu$ (with $v^2 = 1$) as follows:

$Q(x) = e^{-iMv\cdot x}[Q_v(x) + \mathfrak Q_v(x)]$

with $\frac{1\pm \slashed v}{2}$ serving as projection operators for particle and antiparticle sectors. The procedure involves integrating out $\mathfrak Q_v(x)$ using its equation of motion, leading to an expansion in $1/M$. The original Lorentz invariance of the theory then requires invariance under infinitesimal velocity shifts:

$$v^\mu \rightarrow v^\mu + \varepsilon^\mu/M, \quad v\cdot\varepsilon = 0$$

Under this transformation, the combined field $\Psi_v = Q_v + \mathfrak Q_v$ transforms as:

$\Psi_{v+\varepsilon/M}(x) = e^{i\varepsilon\cdot x}\, \left[1 + \frac{\slashed \varepsilon}{2M} \right] \Psi_v(x)$

Separating into components produces, to all orders in $1/M$, explicit transformation rules for both $Q_v$ and $\mathfrak Q_v$.

2. Systematic $1/M$ Expansion and RPI Constraints

Integrating out the small components and expanding the heavy field $Q_v$ to a given order generates terms at successively higher powers of $1/M$. Schematically, at $\mathcal O(1/M^2)$ the heavy field shifts as:

$Q_{v+\varepsilon/M} = e^{i\varepsilon \cdot x} \left[1 + \frac{\slashed{\varepsilon}}{2M} + \frac{\slashed{\varepsilon}}{2M} \frac{1}{(iv\cdot D + 2M)}\, i\slashed{D}_\perp + \cdots \right] Q_v(x)$

with $D_\perp^\mu = D^\mu - v^\mu v\cdot D$. This expansion prescribes the manner in which operator coefficients in the EFT Lagrangian must be related to one another if RPI is to hold at each order in $1/M$.

3. Operator Basis Construction through $\mathcal O(1/M^4)$

Constructing an RPI-invariant operator basis entails organizing all rotationally-invariant structures at a given order in $1/M$. In the rest frame ($v^\mu = (1, \mathbf 0)$), the operator basis in NRQED through $\mathcal O(1/M^4)$ can be succinctly catalogued:

Order in $1/M$	Operator Structure Example	Coefficient Constraints
$1/M$	$c_F\,\psi^\dagger\,\mathbf S \cdot \mathbf B\,\psi$	$c_2=1$
$1/M^2$	$c_D\,\psi^\dagger (\mathbf D \cdot \mathbf E)\psi$, $$c_S\,\psi^\dagger i\mathbf S \cdot (\mathbf D \times \mathbf E - \mathbf E \times \mathbf D)\psi$$	$c_F=Z$, $c_S=2c_F-Z$
$1/M^3$	$\psi^\dagger (\mathbf E^2 - \mathbf B^2)\psi$, $$\psi^\dagger \mathbf S \cdot \mathbf D^2\mathbf B \psi$$, $c_M$ terms	$2c_M=c_F-c_D$
$1/M^4$	Higher derivative or field strength terms	Linear relations among coefficients

Parallel structures exist for HQET by exchanging $G^{\mu\nu}_a$ for $F^{\mu\nu}$ and tabulating Lorentz-covariant operators at fixed mass dimension.

4. Hilbert-Series Enumeration and Operator Counting

To guarantee the completeness of the Lorentz-invariant operator basis, the methodology employs Hilbert series—a counting technique using the representation theory of $SU(2)_L \times SU(2)_R$ (and gauge groups $U(1)$ or $SU(3)$). Fields are encoded as generating functions; their invariants are projected via the plethystic exponential and contour integration, expanded to the required total dimension. The procedure enumerates the exact number of independent structures, further refined by imposing equations of motion and integration-by-parts redundancies. This generates explicit operator lists, with all RPI constraints manifest, up to dimension eight ($\mathcal O(1/M^4)$), matching the tabulations in (Kobach et al., 2018).

5. RPI-Induced Relations among Wilson Coefficients

The enforcement of RPI leads to strict linear relations among the Wilson coefficients in the EFT Lagrangian at each order. These are summarized:

• $\mathcal O(1/M)$: $c_2=1$
• $\mathcal O(1/M^2)$: $c_F=Z$, $c_S=2c_F-Z$; $c_D$ is arbitrary at this order
• $\mathcal O(1/M^3)$: $2c_M = c_F - c_D$
• $\mathcal O(1/M^4)$: further linear relations among new coefficients

These constraints are necessary to preserve the boost symmetry order by order and eliminate inconsistencies in matching EFTs to their Lorentz-invariant origins.

6. Residual Lorentz Invariance and EFT Consistency

RPI encapsulates the residual Lorentz invariance that persists upon integrating out antiparticle fields in the relativistic theory and expanding about a chosen velocity reference. In EFT matching—either via a bottom-up expansion or top-down integration from the relativistic theory—RPI ensures identical dispersion relations and amplitudes. This symmetry serves as the mechanism binding higher-dimensional operator coefficients to the unique pattern required by full Poincaré symmetry, establishing the soundness of the effective theory construction and its physical predictions (Kobach et al., 2018).

7. Connections and Methodological Implications

Order-preserving reparameterization thus provides a rigorous framework for constructing rotationally invariant EFTs responsive to Lorentz symmetry requirements, aligning bottom-up and top-down approaches, and systematizing operator counts and forms via Hilbert series methods. A plausible implication is that any deficiency in RPI implementation would result in parameter mismatches, symmetry violation effects, or invalid amplitude calculations in NRQED or HQET applications. The methodology ensures a robust translation of relativistic invariance into the restricted operator algebras of heavy particle EFTs.