Multitrace in Mathematics, Physics, & Numerical Analysis

• Multitrace is a concept that replaces a single trace with multiple trace components or interactions across algebra, matrix models, and numerical analysis.
• It underpins refined invariants in associative algebra, drives effective interactions in matrix models, and encodes boundary deformations in holography with concrete examples like double-trace deformations.
• Its formulation supports advanced computational methods in PDEs and domain decomposition, stabilizing phase transitions and revealing emergent geometries through innovative analytical techniques.

Searching arXiv for papers on “multitrace” and the specified article to ground the encyclopedia entry in current literature. arXiv search query: all:multitrace Multitrace is a technical term that appears in several distinct settings in contemporary mathematics, mathematical physics, and numerical analysis. In associative algebra it denotes a refinement of the ordinary trace adapted to semisimple quotients with several simple matrix blocks (Fagundes et al., 7 Oct 2025). In matrix models and fuzzy field theory it denotes effective interactions built from products of traces, such as $(\mathrm{Tr}M^2)^2$ or $\mathrm{Tr}M\,\mathrm{Tr}M^3$, that arise after integrating out angular degrees of freedom (Šubjaková et al., 2020, Saemann, 2010). In AdS/CFT it denotes deformations $W(\mathcal O)$ built from powers of a single-trace operator and encoded by modified boundary conditions (Vecchi, 2010, Buyukdag, 2019). In computational PDE it denotes multitrace formulations, where Dirichlet and Neumann traces on subdomain boundaries are coupled through Calderón projectors (Claeys et al., 2016, Jerez-Hanckes et al., 2017). A plausible unifying description is that the term labels constructions in which a single trace datum is replaced either by several trace components or by interactions among several trace quantities.

1. Terminological range

The term has no single discipline-independent meaning. In ring theory, the central object is a trace-like invariant attached to the simple components of the semisimple quotient of a finite-dimensional algebra (Fagundes et al., 7 Oct 2025). In random-matrix and fuzzy-field-theory work, the defining feature is an action depending on several trace monomials rather than on a single-trace potential $\operatorname{Tr}V(M)$ (Šubjaková et al., 2020, Saemann, 2014). In holography, multitrace refers to deformations of a conformal field theory by a functional $W(\mathcal O)$, with double-trace deformations as the most prominent special case (Vecchi, 2010, Serantes et al., 2024). In boundary-integral methods, multitrace formulations rewrite transmission problems in terms of trace data carried separately by each subdomain (Claeys et al., 2016).

These uses are not interchangeable. The algebraic multitrace of an element $a\in A$, the multitrace matrix-model potential of a Hermitian matrix $M$, and a holographic multitrace deformation $W(\mathcal O)$ are different constructions with different domains of definition. What they share is structural rather than literal: each replaces a single trace condition by a multi-component or multi-trace object. This suggests that “multitrace” functions less as a universal definition than as a family resemblance across trace-based formalisms.

2. Multitrace as an invariant in associative algebra

In "Commutators on Generalized Block-Triangular Algebras" (Fagundes et al., 7 Oct 2025), multitrace is introduced for a finite-dimensional unital associative algebra $A$ over an algebraically closed field $K$ of characteristic zero. Choosing a Wedderburn–Malcev decomposition

$\mathrm{Tr}M\,\mathrm{Tr}M^3$0

with semisimple part

$\mathrm{Tr}M\,\mathrm{Tr}M^3$1

one writes $\mathrm{Tr}M\,\mathrm{Tr}M^3$2 as $\mathrm{Tr}M\,\mathrm{Tr}M^3$3, where $\mathrm{Tr}M\,\mathrm{Tr}M^3$4 and $\mathrm{Tr}M\,\mathrm{Tr}M^3$5. Under the above isomorphism, $\mathrm{Tr}M\,\mathrm{Tr}M^3$6 corresponds to a tuple $\mathrm{Tr}M\,\mathrm{Tr}M^3$7 with $\mathrm{Tr}M\,\mathrm{Tr}M^3$8, and the multitrace is defined by

$\mathrm{Tr}M\,\mathrm{Tr}M^3$9

The braces indicate a multiset, so the order of components is irrelevant. The condition $W(\mathcal O)$0 means $W(\mathcal O)$1 for all $W(\mathcal O)$2.

A central point is well-definedness. Although the semisimple complement $W(\mathcal O)$3 is not unique, the property of having multitrace zero does not depend on the choice of $W(\mathcal O)$4. The reason given is that any other semisimple complement is conjugate to $W(\mathcal O)$5 by an inner automorphism coming from $W(\mathcal O)$6 with $W(\mathcal O)$7, and inner automorphisms preserve the ordinary trace on each matrix block (Fagundes et al., 7 Oct 2025).

The main theorem identifies multitrace as the exact commutator obstruction for generalized block-triangular algebras. Writing $W(\mathcal O)$8 for the primitive central idempotents corresponding to the simple blocks of $W(\mathcal O)$9, and defining Peirce components

$\operatorname{Tr}V(M)$0

the algebra is called generalized block-triangular when

$\operatorname{Tr}V(M)$1

For this class, an element $\operatorname{Tr}V(M)$2 is a commutator if and only if it has multitrace zero (Fagundes et al., 7 Oct 2025). The theorem extends the Albert–Muckenhoupt–Shoda characterization for $\operatorname{Tr}V(M)$3, where ordinary trace zero is equivalent to being a commutator.

The proof strategy is inductive on the number $\operatorname{Tr}V(M)$4 of simple components. The easy direction is that every commutator has multitrace zero, because commutators in matrix algebras have trace zero on each block. The converse uses the block-triangular structure to split a multitrace-zero element into a part in a smaller generalized block-triangular subalgebra, a part in the last semisimple block, and an off-diagonal radical term. The last term is absorbed by solving a Sylvester-type equation

$\operatorname{Tr}V(M)$5

in a radical bimodule, using a module-theoretic Sylvester–Rosenblum theorem and a scalar shift that produces spectral disjointness (Fagundes et al., 7 Oct 2025).

Two consequences are emphasized. First, in these algebras the set of commutators is closed under addition, because

$\operatorname{Tr}V(M)$6

is a vector space. Second, for a finite-dimensional algebra whose semisimple quotient has $\operatorname{Tr}V(M)$7 simple components, one always has $\operatorname{Tr}V(M)$8, and generalized block-triangular algebras attain this lower bound exactly (Fagundes et al., 7 Oct 2025). In this setting, multitrace is therefore the correct multi-component analogue of the ordinary trace.

3. Multitrace matrix models and fuzzy scalar field theory

In matrix-model and fuzzy-field-theory literature, a multitrace model is an effective matrix theory whose action depends on products of traces and on combinations of moments, rather than only on $\operatorname{Tr}V(M)$9. The standard mechanism is angular integration. A scalar field on a fuzzy space is represented by an $W(\mathcal O)$0 Hermitian matrix $W(\mathcal O)$1, and the kinetic term is not invariant under arbitrary unitary rotations. After diagonalizing $W(\mathcal O)$2, the difficult $W(\mathcal O)$3-integral is packaged into an effective eigenvalue action, which naturally acquires multitrace structure (Šubjaková et al., 2020).

For the fuzzy sphere, the review "Multitrace matrix models of fuzzy field theories" (Šubjaková et al., 2020) writes the scalar action as

$W(\mathcal O)$4

Because the kinetic term breaks unitary invariance, the angular integral cannot be performed exactly. The effective action is then expressed in terms of symmetrized moments

$W(\mathcal O)$5

and the phrase multitrace matrix model refers to the resulting dependence on several such invariants. The same review describes a nonperturbative second-moment approximation

$W(\mathcal O)$6

as well as a perturbative effective action involving

$W(\mathcal O)$7

Its central conclusion is that higher moments such as $W(\mathcal O)$8 and $W(\mathcal O)$9 must be included nonperturbatively to reproduce the phase structure reliably (Šubjaková et al., 2020).

A more explicit derivation appears for fuzzy $a\in A$0 in "The Multitrace Matrix Model of Scalar Field Theory on Fuzzy CP$a\in A$1" (Saemann, 2010). There the field $a\in A$2 has action

$a\in A$3

and a high-temperature expansion of the kinetic term to order $a\in A$4, together with Haar orthogonality, tensor-product decomposition into irreducible representations, Young projectors, and characters, yields an effective multitrace model. After re-exponentiation, the action takes the form $a\in A$5, with leading term

$a\in A$6

The higher-order terms contain $a\in A$7, $a\in A$8, and $a\in A$9, among others. The paper analyzes the resulting single-cut, double-cut, and asymmetric single-cut saddle solutions and finds three phases for $M$0, $M$1, and $M$2 (Saemann, 2010).

The same program was reformulated by a bootstrapping method in "Bootstrapping Fuzzy Scalar Field Theory" (Saemann, 2014). Instead of computing all angular integrals directly, the paper constrains the multitrace action through shift symmetry, differential operators acting on the exponential of the action, and higher derivatives at $M$3. The kinetic part is organized as

$M$4

where $M$5 runs over partitions and $M$6 denotes shift-invariant trace polynomials such as

$M$7

The coefficients are computed through fourth order in $M$8, confirming large-$M$9 constraints previously derived by Polychronakos while showing that an implicit expectation about the shape of the multitrace terms is false (Saemann, 2014).

A focused two-dimensional analysis is given in "A Multitrace Approach to Noncommutative $W(\mathcal O)$0" (Ydri, 2014). There the kinetic term of noncommutative scalar theory on the fuzzy sphere or the regularized Moyal-Weyl plane is converted into an effective multitrace correction

$W(\mathcal O)$1

with

$W(\mathcal O)$2

In the $W(\mathcal O)$3 symmetric truncation this becomes a doubletrace quartic matrix model, and the resulting saddle-point problem yields an analytic prediction for the one-cut to two-cut transition line and a lower estimate for the triple point (Ydri, 2014).

4. Phase structure, asymmetry, and emergent geometry

A recurring theme in multitrace matrix models is that multitrace couplings alter the phase structure of the quartic one-matrix model. In the basic real quartic model

$W(\mathcal O)$4

the disordered phase and the non-uniform ordered phase are stable, while the uniform ordered phase is metastable. "The multitrace matrix model: An alternative to Connes NCG and IKKT model" (Ydri, 2016) generalizes this to a quartic multitrace potential

$W(\mathcal O)$5

The term $W(\mathcal O)$6 is singled out as crucial for stabilizing the Ising-like uniform ordered phase. For the coupling choice

$W(\mathcal O)$7

the paper states that the critical behavior across the Ising line matches the Onsager universality class (Ydri, 2016).

The same work then decomposes a $W(\mathcal O)$8 matrix as

$W(\mathcal O)$9

and derives an effective $A$0-symmetric three-matrix potential

$A$1

Here the first term is identified as Yang–Mills, the cubic term as Myers/Chern–Simons, and the crucial observation is that the Chern–Simons term is proportional to the order parameter $A$2, so it is nonzero only in the uniform ordered phase (Ydri, 2016). This is the mechanism by which a fuzzy two-sphere and its non-commutative gauge theory emerge dynamically.

Several works develop the same picture through phase diagrams. "Phase diagram of scalar field theory on fuzzy sphere and multitrace matrix models" (Tekel, 2016) distinguishes the symmetric one-cut, asymmetric one-cut, and symmetric two-cut phases and finds a triple point at

$A$3

within a nonperturbative approximation, to be compared with the numerical estimate $A$4. "Phase diagrams of the multitrace quartic matrix models of noncommutative $A$5" (Ydri et al., 2015) reconstructs the Ising, matrix, and stripe boundaries using an exact Metropolis algorithm in eigenvalues and reports a triple point highlighted in the abstract and conclusion as

$A$6

with measured Ising critical exponents $A$7, $A$8, $A$9, $K$0, and $K$1, in agreement with the Onsager values (Ydri et al., 2015).

The interpretation of these phases as indicators of geometry is developed explicitly in "Quantized Noncommutative Geometry from Multitrace Matrix Models" (Ydri et al., 2021) and "Quantum Gravity as a Multitrace Matrix Model" (Ydri et al., 2017). Both works identify the stable uniform-ordered phase as the signal of an emergent geometric regime, while the stripe or non-uniform ordered phase is tied to noncommutativity and UV/IR mixing. The latter paper formulates the guiding principles

$K$2

$K$3

$K$4

and argues that a single Hermitian matrix with multitrace interactions can sustain emergent geometry, growing dimensions, and topology change (Ydri et al., 2017).

More recent work sharpens the asymmetric sector. "Cubic asymmetric multitrace matrix model" (Bukor et al., 2024) studies the action

$K$5

and shows that the $K$6 deformation stabilizes an asymmetric one-cut phase. For $K$7 the numerical saddle-point analysis yields a triple point at

$K$8

and no stable asymmetric two-cut phase is found (Bukor et al., 2024). This provides a clean example in which multitrace interactions change the physical phase diagram without changing the symmetric sector qualitatively.

5. Multitrace deformations in AdS/CFT and holography

In holography, multitrace deformations are boundary deformations of a conformal field theory by a functional of an operator $K$9. "Multitrace deformations, Gamow states, and Stability of AdS/CFT" (Vecchi, 2010) studies large-$\mathrm{Tr}M\,\mathrm{Tr}M^3$00 CFTs deformed by

$\mathrm{Tr}M\,\mathrm{Tr}M^3$01

and maps such deformations into boundary terms for a bulk scalar in $\mathrm{Tr}M\,\mathrm{Tr}M^3$02. Near the boundary,

$\mathrm{Tr}M\,\mathrm{Tr}M^3$03

and the generalized boundary condition is

$\mathrm{Tr}M\,\mathrm{Tr}M^3$04

For a doubletrace deformation $\mathrm{Tr}M\,\mathrm{Tr}M^3$05, the large-$\mathrm{Tr}M\,\mathrm{Tr}M^3$06 beta function becomes

$\mathrm{Tr}M\,\mathrm{Tr}M^3$07

in the conformal case. In the Breitenlohner–Freedman window $\mathrm{Tr}M\,\mathrm{Tr}M^3$08, the theory flows between two fixed points and exhibits a resonance at the scale separating the two CFT regimes; on the gravity side this resonance is an IR non-normalizable Gamow state (Vecchi, 2010).

A different application appears in "Light scalar modes from holographic deformations" (Buyukdag, 2019). There a bulk scalar in a slice of AdS$\mathrm{Tr}M\,\mathrm{Tr}M^3$09 is used to compare single-trace and multitrace deformations of a confining gauge theory. The multitrace deformation is a double-trace term

$\mathrm{Tr}M\,\mathrm{Tr}M^3$10

with no new elementary scalar. The holographic generating functional becomes

$\mathrm{Tr}M\,\mathrm{Tr}M^3$11

and the physical masses satisfy

$\mathrm{Tr}M\,\mathrm{Tr}M^3$12

The key conclusion is that multitrace deformation can produce a light scalar below the confinement scale that is a pure composite state, whereas the corresponding light mode in the single-trace setup is an elementary-composite admixture (Buyukdag, 2019).

The nonlinear role of such deformations in global AdS is studied in "Multitrace deformations and the nonlinear stability of Anti-de Sitter space" (Serantes et al., 2024). For a top-down AdS$\mathrm{Tr}M\,\mathrm{Tr}M^3$13 Einstein-scalar system with $\mathrm{Tr}M\,\mathrm{Tr}M^3$14, the boundary condition is written as

$\mathrm{Tr}M\,\mathrm{Tr}M^3$15

Because $\mathrm{Tr}M\,\mathrm{Tr}M^3$16, the operators $\mathrm{Tr}M\,\mathrm{Tr}M^3$17 and $\mathrm{Tr}M\,\mathrm{Tr}M^3$18 are relevant, $\mathrm{Tr}M\,\mathrm{Tr}M^3$19 is marginal, and $\mathrm{Tr}M\,\mathrm{Tr}M^3$20 for $\mathrm{Tr}M\,\mathrm{Tr}M^3$21 are irrelevant. The paper finds a one-to-one correspondence between the type of multitrace deformation and the resonant character of the AdS normal-mode spectrum: marginal and irrelevant deformations preserve exact resonance and the Bizoń–Rostworowski instability, while relevant double-trace deformations break exact resonance and destroy that instability at sufficiently small amplitude (Serantes et al., 2024).

6. Multitrace formulations in domain decomposition and boundary integral equations

In numerical analysis, multitrace formulations are not deformations of an action and not products of traces. They are trace-based formulations of elliptic transmission problems in which each subdomain carries its own Dirichlet and Neumann trace unknowns. "An introduction to Multitrace Formulations and Associated Domain Decomposition Solvers" (Claeys et al., 2016) develops this viewpoint from a one-dimensional model problem and then extends it to Lipschitz domains in arbitrary dimension.

For the model equation

$\mathrm{Tr}M\,\mathrm{Tr}M^3$22

on $\mathrm{Tr}M\,\mathrm{Tr}M^3$23, the representation formula is

$\mathrm{Tr}M\,\mathrm{Tr}M^3$24

The trace-to-potential composition $\mathrm{Tr}M\,\mathrm{Tr}M^3$25 yields Calderón projectors satisfying $\mathrm{Tr}M\,\mathrm{Tr}M^3$26. For two subdomains, the multitrace system is

$\mathrm{Tr}M\,\mathrm{Tr}M^3$27

with a natural block Jacobi iteration. The eigenvalues of the iteration matrix are

$\mathrm{Tr}M\,\mathrm{Tr}M^3$28

so the convergence rate depends only on the relaxation parameters. In the limit $\mathrm{Tr}M\,\mathrm{Tr}M^3$29, the iteration matrix is nilpotent and the method converges in finitely many steps; the paper identifies this optimal multitrace solver with the optimal Schwarz method written in trace form (Claeys et al., 2016).

"Multitrace formulations and Domain Decomposition Methods for the solution of Helmholtz transmission problems for bounded composite scatterers" (Jerez-Hanckes et al., 2017) extends this framework to 2D Helmholtz transmission with piecewise constant material parameters. Using Green’s representation formula in each subdomain, the local multitrace formulation is expressed through the Calderón block operator

$\mathrm{Tr}M\,\mathrm{Tr}M^3$30

coupled by extension-by-zero operators between interfaces. The paper also studies a global skeleton version, g-MTF, and compares these formulations with non-overlapping DDMs using classical Robin or generalized Robin conditions (Jerez-Hanckes et al., 2017).

A major practical conclusion is that generalized Robin interface conditions based on square-root Fourier multiplier approximations of Dirichlet-to-Neumann maps substantially reduce Krylov iteration counts. The corresponding approximate hypersingular symbol is

$\mathrm{Tr}M\,\mathrm{Tr}M^3$31

and the resulting generalized Robin DDM performs markedly better than classical Robin DDM, while remaining cheap to implement in a Nyström setting (Jerez-Hanckes et al., 2017). In this literature, “multitrace” therefore denotes a trace-coupling architecture for domain decomposition, rather than a multitrace potential or deformation.

7. Multitrace amplitudes and other specialized usages

In scattering amplitudes, multitrace refers to color structures with several trace factors. "Expansion of All Multitrace Tree Level EYM Amplitudes" (Du et al., 2017) studies tree-level Einstein–Yang–Mills amplitudes with an arbitrary number of gluon traces and gravitons, denoted schematically by

$\mathrm{Tr}M\,\mathrm{Tr}M^3$32

Using CHY formulae and BCFW recursion, the paper gives two recursive expansions that reduce an $\mathrm{Tr}M\,\mathrm{Tr}M^3$33-trace EYM amplitude to amplitudes with fewer traces and/or fewer gravitons. After iteration, any multitrace EYM amplitude can be expanded in the Kleiss–Kuijf basis of color-ordered Yang–Mills amplitudes, and the expansion coefficients provide BCJ numerators (Du et al., 2017).

A closely related string-theoretic use appears in "String Correlators: Recursive Expansion, Integration-by-Parts and Scattering Equations" (He et al., 2019). There a multitrace correlator in the compactified bosonic string or the holomorphic sector of the heterotic string has the form

$\mathrm{Tr}M\,\mathrm{Tr}M^3$34

with several Parke–Taylor factors $\mathrm{Tr}M\,\mathrm{Tr}M^3$35, one for each color trace. The paper derives a recursive integration-by-parts expansion that decomposes such correlators into a logarithmic part and lower-trace or lower-gluon correlators, and from this obtains a CHY formula for multitrace $\mathrm{Tr}M\,\mathrm{Tr}M^3$36 amplitudes (He et al., 2019).

A distinct signal-processing usage appears in "Adaptive Multi-Trace Carving for Robust Frequency Tracking in Forensic Applications" (Zhu et al., 2020). There “multi-trace” refers not to algebraic traces but to several time-frequency paths in a spectrogram. The method tracks one frequency trace by dynamic programming, compensates for it, and repeats the procedure to reveal weaker traces. This usage is terminologically separate from the algebraic, holographic, and matrix-model senses, but it illustrates how the word can also denote multiple tracked trajectories rather than multiple trace functionals (Zhu et al., 2020).

Across these specialized settings, the meaning of multitrace remains domain-dependent. In amplitudes it is a statement about color decomposition; in string correlators it is a product of several Parke–Taylor cycles; in signal processing it is an iterative extraction of multiple traces in a time-frequency representation. The recurrence of the term reflects a shared emphasis on multiplicity of trace-like structures, but not a single formal definition.