Multi-Invariants: Concepts & Applications

• Multi-Invariants are structured collections that replace a single scalar invariant with a family of refined measures based on local types or replica contractions.
• They are applied in diverse fields such as arithmetic statistics, multipartite quantum systems, low-dimensional topology, and multi-channel signal analysis.
• Their explicit constructions expose deep links between symmetry groups, Coxeter structures, and invariant properties in both theoretical and experimental setups.

Searching arXiv for papers on “multi-invariants” across the main mathematical and physical usages. I’ll look for recent arXiv entries using “multi-invariants” and closely related phrases such as “multiple invariants,” “local unitary invariants,” and “Galois extensions by multi-invariants.” “Multi-invariants” is not a single universally standardized object. In current mathematical and physical literature, the term denotes several families of constructions in which a single invariant is replaced by a structured collection of invariants, or in which an invariant is built from multiple replicas, components, channels, or ramification types. In arithmetic statistics, multi-invariants separate tame ramification by local type and lead to multivariable counting problems for Galois extensions (Gundlach, 2022, Hansen et al., 16 Jul 2025). In multipartite quantum theory, they are local-unitary-invariant polynomials obtained by contracting several copies of a state and its conjugate according to permutation data, with Coxeter and dihedral structures playing a central role (Gadde et al., 2024, Gadde et al., 8 Sep 2025, Berthière et al., 30 Aug 2025, Akella et al., 22 Jan 2026). In topology and knot theory, the same general impulse appears as component-indexed, type-indexed, or endpoint-indexed refinements of classical invariants (Petit, 2019, Kauffman et al., 12 Apr 2025, Gabrovšek et al., 2022). In applied settings, the term also appears in the construction of moment invariants for multi-channel data, purity-like invariants of multi-photon states, and approximate invariants of nonlinear beam dynamics (Mo et al., 2022, Yang et al., 15 Jun 2025, Li et al., 2021).

1. Scope of the term and recurring formal patterns

Across these literatures, “multi-invariants” typically signals one of two formal moves. The first is a multivariate refinement: instead of one scalar invariant, one keeps a vector $(\operatorname{inv}_1,\dots,\operatorname{inv}_m)$ that resolves several local or componentwise behaviors separately. The second is a multi-copy contraction: one constructs a polynomial from several copies of an object and its conjugate, with the pattern of contraction itself carrying the invariant data. These two patterns are conceptually distinct but structurally related.

Domain	Basic object	Indexing principle
Arithmetic statistics	$G$-extensions $L/K$	Ramification types $[I_i,\gamma_i]$
Multipartite quantum theory	$\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$	Permutations, replica symmetry, $\psi$-graphs
Link theory	Link or multi-virtual diagram	Components, endpoint order, crossing types
Multi-channel analysis	$F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$	Coordinate/value transform behavior

The arithmetic formulation in “Malle’s conjecture with multiple invariants” defines one invariant for each nontrivial ramification type and predicts a box-counting asymptotic of the form $C\,X_1\cdots X_m$ when all $\operatorname{inv}_i\le X_i$ (Gundlach, 2022). The quantum formulation in “Multi-invariants and Bulk Replica Symmetry” takes $n_r$ copies of $G$0 and $G$1 copies of $G$2, contracts indices via permutations $G$3, and then studies normalized quantities $G$4 together with the replica symmetry group of the contraction pattern (Gadde et al., 2024). In link theory, the same refinement principle appears when a polynomial assigns distinct variables $G$5 to different ordered components, or when a diagrammatic invariant depends on several commuting virtual types rather than a single undifferentiated virtual crossing (Petit, 2019, Kauffman et al., 12 Apr 2025). In multi-channel signal analysis, the invariants are designed to be unchanged under coupled transformations of both coordinates and values, rather than only one of the two (Mo et al., 2022).

A persistent conceptual theme is that the underlying geometry or combinatorics becomes visible only after the single coarse invariant is replaced by a structured family. This suggests that “multi-invariants” function less as a single definition than as a methodological class.

2. Arithmetic multi-invariants and counting Galois extensions

The arithmetic version begins with a finite group $G$6, a number field $G$7, and the tame local behavior of a $G$8-extension $G$9. “Malle’s conjecture with multiple invariants” associates to each nontrivial ramification type $L/K$0 an invariant

$L/K$1

so that each coordinate records the product of norms of primes having a fixed tame inertia type (Gundlach, 2022). The paper proposes the multivariate heuristic

$L/K$2

together with boundary and annulus versions, and proves the conjecture for all finite abelian groups. A major structural result is that refined Artin conductors carry essentially the same information as the vector $L/K$3 (Gundlach, 2022).

“Counting $L/K$4-field extensions by multi-invariants” gives a concrete nonabelian realization of this philosophy for

$L/K$5

There are four nontrivial conjugacy classes of cyclic subgroups,

$L/K$6

and the paper therefore studies four invariants attached to the inertia types of tamely ramified odd primes. Because $L/K$7 has a nontrivial outer automorphism interchanging $L/K$8 and $L/K$9, the objects counted are pairs $[I_i,\gamma_i]$0 with a specified isomorphism

$[I_i,\gamma_i]$1

rather than bare fields $[I_i,\gamma_i]$2 (Hansen et al., 16 Jul 2025).

For a pair $[I_i,\gamma_i]$3, if $[I_i,\gamma_i]$4 denotes the image under $[I_i,\gamma_i]$5 of the inertia group at a rational prime $[I_i,\gamma_i]$6, the four invariants are

$[I_i,\gamma_i]$7

These products run only over tamely ramified odd primes; $[I_i,\gamma_i]$8 is wild for $[I_i,\gamma_i]$9-extensions and is excluded from the invariant itself (Hansen et al., 16 Jul 2025).

The paper identifies the subfield tower

$\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$0

with

$\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$1

where $\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$2 are square-free and pairwise coprime, with $\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$3. For odd $\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$4, the inertia type is determined by ramification in $\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$5 and $\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$6, and the first three invariants become

$\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$7

while $\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$8 is the odd part of the extra ramification in $\psi^{\otimes n_r}\bar\psi^{\otimes n_r}$9 beyond the biquadratic subfield (Hansen et al., 16 Jul 2025).

The ordering is box ordering: $\psi$0 Under the mild lower bound

$\psi$1

the main theorem proves

$\psi$2

Thus the asymptotic has exponent $\psi$3 in each variable and a completely explicit Euler-product constant (Hansen et al., 16 Jul 2025). The paper states that this verifies Gundlach’s version of Malle’s conjecture in the $\psi$4 setting and that the leading constant matches the Loughran–Santens prediction after accounting for the $\psi$5 choices of $\psi$6 (Hansen et al., 16 Jul 2025).

3. Replica, Coxeter, dihedral, and stabilizer-state multi-invariants

In multipartite quantum theory, multi-invariants are local-unitary-invariant polynomials built from several copies of a pure state and its complex conjugate. For a $\psi$7-partite state

$\psi$8

“Multi-invariants and Bulk Replica Symmetry” defines a multi-invariant $\psi$9 by taking $F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$0 copies of $F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$1 and $F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$2 copies of $F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$3, with all indices contracted pairwise according to permutations $F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$4, $F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$5, and then normalizing by

$F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$6

There is a gauge redundancy

$F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$7

and the replica symmetry is the subgroup that preserves the contraction pattern up to this common left multiplication (Gadde et al., 2024).

The most symmetric case is when the replica symmetry acts freely and transitively on the replicas. Then the replicas may be identified with the elements of a finite group $F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$8, the contractions are given by right-regular actions of chosen generators, and the left-regular action yields the replica symmetry. The paper also adjoins an orientation-reversing reflection $F(X):\Omega\subset\mathbb R^M\to\mathbb R^N$9 to form an extended replica symmetry group $C\,X_1\cdots X_m$0, with generators $C\,X_1\cdots X_m$1 satisfying $C\,X_1\cdots X_m$2; in this form the ordinary replica symmetry becomes an index-$C\,X_1\cdots X_m$3 subgroup of a Coxeter-group quotient (Gadde et al., 2024).

The holographic question studied there is which multi-invariants admit a dominant bulk saddle preserving replica symmetry for arbitrary region configurations. The paper states that the most general solution under that requirement is given by the Coxeter invariants, and that orbifolding by the preserved symmetry yields a bulk cone-manifold whose fixed loci form codimension-$C\,X_1\cdots X_m$4 networks of conical singularities. A major consequence is that there are infinitely many infinite families of multi-invariants that evaluate identically on the holographic vacuum state because the same orbifold $C\,X_1\cdots X_m$5 can arise from different free normal subgroups $C\,X_1\cdots X_m$6, hence from handlebodies of different genus (Gadde et al., 2024).

The Coxeter theme reappears in “Monotones from multi-invariants: a classification,” where multi-invariants are encoded by bipartite edge-labeled $C\,X_1\cdots X_m$7-graphs. For $C\,X_1\cdots X_m$8 white and $C\,X_1\cdots X_m$9 black vertices, the normalized invariant is

$\operatorname{inv}_i\le X_i$0

The key monotonicity criterion recalled in the paper is that if the $\operatorname{inv}_i\le X_i$1-graph is connected and edge-convex, then $\operatorname{inv}_i\le X_i$2 is a pure-state entanglement monotone under LOCC. The main conjecture is that edge-convex multi-invariants are exactly those labeled by finite Coxeter groups; the paper proves this for $\operatorname{inv}_i\le X_i$3, $\operatorname{inv}_i\le X_i$4, $\operatorname{inv}_i\le X_i$5, and notes that the dihedral family $\operatorname{inv}_i\le X_i$6 had already been proved, leaving six exceptional connected cases written as $\operatorname{inv}_i\le X_i$7, $\operatorname{inv}_i\le X_i$8, and $\operatorname{inv}_i\le X_i$9 (Gadde et al., 8 Sep 2025). This gives a precise graph-theoretic bridge between monotonicity and Coxeter symmetry.

Two especially explicit quantum multi-invariants are studied in “Genuine multi-entropy, dihedral invariants and Lifshitz theory.” For a tripartite pure state, the Rényi multi-entropy is defined from $n_r$0 replicas by

$n_r$1

with a specified grid-like permutation pattern on the three parties, and the genuine multi-entropy is

$n_r$2

For $n_r$3 Lifshitz ground states, the paper finds

$n_r$4

where $n_r$5 is the Rényi mutual information at index $n_r$6 and $n_r$7 is the logarithmic negativity. It also proves that the dihedral invariant satisfies

$n_r$8

so that the dihedral replica construction is exactly the $n_r$9 Rényi reflected entropy of the complementary bipartition (Berthière et al., 30 Aug 2025).

“Multi-invariants in stabilizer states” adapts this entire framework to stabilizer states. For a pure $G$00-partite state, it defines

$G$01

with the usual left-right relabeling redundancy. For stabilizer states, the identity

$G$02

makes the invariants tractable, and the paper gives an efficient numerical algorithm based on graph-state measurement rules, with complexity stated as roughly $G$03. For tripartite stabilizer states, the GHZ-extraction theorem yields the closed formula

$G$04

and the paper further develops a counting argument for Coxeter multi-invariants of $G$05-partite stabilizer states (Akella et al., 22 Jan 2026).

A plausible implication is that, within quantum information, “multi-invariants” has become a nexus joining replica combinatorics, Coxeter symmetry, entanglement monotones, holographic geometry, and stabilizer-state computability rather than a merely formal generalization of Rényi-type quantities.

4. Multi-component and multi-type invariants in low-dimensional topology

In knot theory and related low-dimensional topology, multi-invariant constructions refine classical invariants by recording component labels, endpoint order, or multiple virtual crossing types. The common principle is that a single scalar link invariant is replaced by an object sensitive to the extra combinatorics of several components or several crossing species.

“A multivariable Casson-Lin type invariant” constructs a signed count of irreducible $G$06 representations of the link group with prescribed meridional traces. For a colored braid $G$07 whose closure is $G$08, the invariant is defined as the algebraic intersection number

$G$09

after removing the abelian locus and quotienting by the free $G$10-action. For a $G$11-component ordered link $G$12 with linking number $G$13, the main formula is

$G$14

under the stated nonvanishing conditions on the multivariable Alexander polynomial. The paper also gives deformation criteria relating limits of irreducible $G$15 representations to zeros of $G$16 (Bénard et al., 2018).

“The Multi-variable Affine Index Polynomial” assigns a variable $G$17 to each ordered component $G$18 and defines

$G$19

where the variable is determined by the component of the overstrand. If all variables are set equal, one recovers Kauffman’s compatible-link invariant; if the link is a virtual knot, the construction reduces to the original Affine Index Polynomial. The paper proves that the multi-variable Affine Index Polynomial is a Vassiliev invariant of order one (Petit, 2019).

For multi-virtual links, the algebraic refinement is different. “Algebraic invariants of multi-virtual links” introduces operator quandles

$G$20

where the automorphisms indexed by the virtual crossing types pairwise commute. This leads to an operator quandle coloring invariant and an operator quandle $G$21-cocycle invariant for multi-virtual links. The paper also constructs an explicit infinite family

$G$22

of connected operator quandles in which the right translations $G$23, $G$24, are pairwise distinct and pairwise commuting, and uses these invariants to classify small multi-virtual knots and to exhibit an infinite family of pairwise nonequivalent multi-virtual knots with a single classical crossing (Kauffman et al., 12 Apr 2025).

“Invariants of multi-linkoids” extends knotoids to diagrams with both open and closed components on a closed orientable surface. Its Kauffman bracket polynomial is

$G$25

where $G$26 and $G$27 count closed and open components in the state. For ordered multi-linkoids, the ordered bracket replaces the single $G$28 by endpoint-pair variables $G$29, giving a strictly finer invariant in explicit examples. The paper also defines a Kauffman bracket skein module and relates multi-linkoids in $G$30 to simple generalized $G$31-graphs, which then support colored $G$32-invariants (Gabrovšek et al., 2022).

A parallel state-sum refinement appears in “Multi-Skein Invariants for Welded and Extended Welded Knots and Links.” There, each classical crossing has three states rather than two, and after solving the coefficient constraints imposed by $G$33, $G$34, and the extended welded moves, the normalized invariants take the form

$G$35

for welded links and

$G$36

for extended welded links, with the explicit skein relations listed in the paper (Backes et al., 2018). A further general mechanism is given in “Multi-switches and virtual knot invariants,” which attaches to a virtual link diagram $G$37 and a virtual biquandle multi-switch $G$38 an algebraic system $G$39 invariant under generalized Reidemeister moves (Bardakov et al., 2020).

These constructions show that topology uses “multi-” primarily to encode extra discrete structure: multiple components, multiple endpoint types, multiple virtual types, or multiple state resolutions.

5. Multi-channel, optical, and dynamical invariants

In applied mathematics and physics, multi-invariants often quantify which parts of a complex system remain unchanged under restricted transformation classes. Here the emphasis shifts from classification by isomorphism to robust feature extraction, decomposition of state space, or near-integrable dynamics.

“Gaussian-Hermite Moment Invariants of General Multi-Channel Functions” studies general multi-channel functions

$G$40

under two transform models: the rotation-affine transform

$G$41

and the total rotation transform, where $G$42. The unified framework uses the differential operators

$G$43

together with the primitives

$G$44

to generate Gaussian-Hermite moment invariants (MGHMIs). A key theorem states RA-relative invariance when $G$45-type terms are excluded and TR absolute invariance in the rotational case. The paper derives independent invariant sets with $G$46 MGHMIs for RGB images, $G$47 TR-invariants and $G$48 RA-invariants for $G$49D vector fields, and $G$50 MGHMIs for color volume data. On the synthetic RGB test set, the reported MGHMIs achieve $G$51 classification accuracy across tested $G$52 values, with mean relative errors typically below $G$53 and maximum around $G$54 (Mo et al., 2022).

“Experimental Observation of Purity-Like Invariants of Multi-photon States in Linear Optics” considers a fixed $G$55-photon, $G$56-mode Fock space under realizable linear-optical unitaries. Using a Hermitian transfer matrix decomposition

$G$57

the paper identifies three conserved quantities,

$G$58

satisfying

$G$59

Here $G$60 is the traceless tangent contribution associated with single-photon dynamical degrees of freedom, whereas $G$61 is the perpendicular contribution tied to genuine multi-photon interference. The experiment on two-photon, two-mode polarization states confirms conservation of these quantities under sampled linear-optical unitaries (Yang et al., 15 Jun 2025).

In accelerator physics, “Design of double- and multi-bend achromat lattices with large dynamic aperture and approximate invariants” uses the term in a deliberately weaker sense. The target quantities are the Courant–Snyder actions

$G$62

which are exact invariants in a linear uncoupled lattice but only quasi-invariants in the nonlinear achromat setting. The optimization tunes sextupoles and octupoles to minimize turn-by-turn fluctuations of $G$63 and $G$64 and to minimize tune diffusion via NAFF, using NSGA-II. The paper states that five virtual particles are launched, with four objectives per launch, for a total of $G$65 objectives. The resulting DBA and MBA lattices exhibit large dynamic aperture, trajectories confined to invariant-like tori, robustness to resonances and errors, and a large amplitude-dependent tune spread; for the NSLS-II application, the reported single-bunch instability threshold increases from about $G$66 mA without BBFB and $G$67 mA with BBFB to greater than $G$68 mA without BBFB and $G$69 mA with BBFB (Li et al., 2021).

Taken together, these examples show that in applied settings a “multi-invariant” may be exact, relative, or only approximate, provided it resolves several structurally distinct conserved sectors.

6. Related invariant programs and conceptual distinctions

A related but not identical literature studies invariant families in contexts where the adjective “multi-” modifies the underlying object rather than the invariant formalism itself. These works are closely adjacent to the multi-invariant program and clarify its boundaries.

“Permutation Centralizer Algebras and Multi-Matrix Invariants” develops the representation-theoretic framework underlying gauge-invariant observables built from several matrix species. Its central algebra is

$G$70

and its Wedderburn–Artin decomposition explains the counting of restricted Schur operators. The dimension formula

$G$71

expresses the block structure in terms of Littlewood–Richardson coefficients, and the paper further analyzes the center, maximally commuting subalgebra, and star product on fixed-degree invariants (Mattioli et al., 2016). This is not a replica-based multi-invariant theory, but it exhibits the same shift from single invariants to structured invariant algebras.

A second adjacent program is the basis-independent study of CP in multi-Higgs models. “CP-odd invariants for multi-Higgs models and applications with discrete symmetry” writes the scalar potential as

$G$72

and constructs basis invariants by complete index contraction. Under CP, such invariants go to their complex conjugates, so a CP-odd invariant has the form

$G$73

The paper systematizes these constructions up to six $G$74 tensors and uses them to diagnose explicit and spontaneous CP violation in potentials with triplet fields under $G$75, $G$76, $G$77, $G$78, $G$79, and $G$80 (Varzielas, 2017). Again, the connection to multi-invariants is structural rather than terminological: the formalism studies invariant families attached to a multi-field system, but the indexing principle is tensor contraction rather than ramification type or replica symmetry.

A further nearby antecedent in quantum information is “Local Unitary Invariants of Generic Multi-qubit States,” which gives complete sets of LU polynomial invariants from generalized Bloch tensors. The paper proves that generic two-qubit states require at most $G$81 polynomial invariants and generic three-qubit states at most $G$82 (Jing et al., 2015). This is not presented as a multi-invariant theory in the later replica sense, but it supplies a precursor notion of invariant completeness for multipartite states.

These adjacent literatures indicate a useful distinction. In the strictest contemporary sense, especially in arithmetic statistics and multipartite entanglement, a multi-invariant is a deliberately structured refinement indexed by several local types or by replica-contraction data. In a broader and older sense, it may denote any invariant formalism that becomes meaningful only after one simultaneously tracks several channels, components, or tensor sectors. The modern term therefore names a family resemblance rather than a single theorem schema: multivariate refinement in arithmetic, replica symmetry in quantum theory, type-resolved skein or quandle data in topology, and sector decompositions in applied invariant theory.