Second Order Free Cumulants Overview

• Second order free cumulants are fluctuation-level invariants in a noncommutative probability space, defined via annular noncrossing partitions and partitioned permutations.
• They yield explicit product, square, and modulus formulas for second order even and R-diagonal elements, providing key analytical tools in fluctuation analysis.
• They underpin covariance evaluation in large-N random matrix models and extend to finite, real, and tensorial cumulant frameworks.

Searching arXiv for recent and foundational papers on second-order free cumulants and related variants. Second-order free cumulants are the fluctuation-level analogues of free cumulants in a second-order noncommutative probability space $(A,\varphi,\varphi_2)$. While first-order free cumulants $\kappa_n$ are indexed by noncrossing partitions, second-order cumulants $\kappa_{p,q}$ are indexed by annular noncrossing structures and partitioned permutations, reflecting the covariance of traces and other fluctuation moments. In the formulation developed for second-order even elements and second-order $R$-diagonal elements, they admit explicit product, square, and modulus formulas, second-order $R$-transform identities, and direct random-matrix realizations such as products of Ginibre and Wishart matrices (Arizmendi et al., 2019).

1. Foundational framework

A second-order probability space is a triple $(A,\varphi,\varphi_2)$, where $A$ is a unital $^\ast$-algebra over $\mathbb{C}$, $\varphi:A\to\mathbb{C}$ is a tracial state with $\kappa_n$0, and $\kappa_n$1 is a bilinear, symmetric functional that is tracial in each variable and satisfies $\kappa_n$2. For $\kappa_n$3, the moments are $\kappa_n$4, while $\kappa_n$5 are fluctuation moments, interpreted as covariances of traces in large-$\kappa_n$6 random-matrix models (Arizmendi et al., 2019).

First-order free cumulants are defined through the noncrossing moment–cumulant relation

$\kappa_n$7

with multiplicativity over the blocks of $\kappa_n$8. Second-order cumulants are defined on annular combinatorial objects. If $\kappa_n$9 denotes the noncrossing annular permutations and $\kappa_{p,q}$0 the partitioned permutations obtained by joining exactly one cycle on the outer circle to one cycle on the inner circle, then

$\kappa_{p,q}$1

The second sum contains one second-order cumulant $\kappa_{p,q}$2 on the marked pair of cycles and first-order cumulants on the remaining cycles (Arizmendi et al., 2019).

Second-order freeness is characterized by vanishing mixed cumulants. Subalgebras $\kappa_{p,q}$3 are second-order free if all mixed first-order and second-order cumulants vanish. In particular, for a cumulant $\kappa_{p,q}$4 with $\kappa_{p,q}$5, the cumulant is zero whenever there exist $\kappa_{p,q}$6 with $\kappa_{p,q}$7, and the same vanishing condition holds for $\kappa_{p,q}$8 (Arizmendi et al., 2019).

2. Second-order even elements and second-order $\kappa_{p,q}$9-diagonal elements

A self-adjoint element $R$0 is second-order even if

$R$1

Equivalently, $R$2 and $R$3 unless $R$4 are even. Its first-order determining sequence is $R$5, and its second-order determining sequence $R$6 is defined by $R$7 together with a sum over even annular noncrossing permutations with only through cycles satisfying a parity-preserving condition (Arizmendi et al., 2019).

The principal structural result for second-order even elements is the formula

$R$8

Equivalently,

$R$9

where $R$0 and $R$1 are the second-order zeta and Möbius functions. The proof proceeds by expanding cumulants with products as entries, specializing to $R$2, and using parity constraints to identify precisely the contributing annular permutations (Arizmendi et al., 2019).

An element $R$3 is $R$4-diagonal if the only possibly nonzero first-order $R$5-cumulants are the alternating even ones,

$R$6

It is second-order $R$7-diagonal if, in addition, the only non-vanishing second-order cumulants are alternating on each circle: $R$8 The determining sequences are

$R$9

For such an element,

$(A,\varphi,\varphi_2)$0

or equivalently $(A,\varphi,\varphi_2)$1 and $(A,\varphi,\varphi_2)$2 (Arizmendi et al., 2019).

A further stability property is that if $(A,\varphi,\varphi_2)$3 is second-order $(A,\varphi,\varphi_2)$4-diagonal and $(A,\varphi,\varphi_2)$5 is second-order free from $(A,\varphi,\varphi_2)$6, then $(A,\varphi,\varphi_2)$7 is also second-order $(A,\varphi,\varphi_2)$8-diagonal. The combinatorial mechanism is that, after expanding cumulants of products, freeness forces blocks to lie entirely in the $(A,\varphi,\varphi_2)$9-family or the $A$0-family, while alternation in the $A$1-blocks propagates to the full cumulant and annihilates all non-alternating patterns (Arizmendi et al., 2019).

3. Generating series, Möbius inversion, and computation

For a fixed element $A$2, the cumulant series are

$A$3

The corresponding moment series are

$A$4

They satisfy the first-order identity

$A$5

and the second-order $A$6-transform identity

$A$7

The logarithmic correction can also be written as

$A$8

These identities package the passage from first-order laws to fluctuation laws into a closed analytic form (Arizmendi et al., 2019).

For second-order even elements and second-order $A$9-diagonal elements, the determining sequences are computationally central. In the even case, if

$^\ast$0

and

$^\ast$1

then

$^\ast$2

The same series relations hold in the $^\ast$3-diagonal case, with $^\ast$4 denoting the alternating determining sequences (Arizmendi et al., 2019).

The core reduction step for composite variables is the products-as-entries expansion. If

$^\ast$5

then

$^\ast$6

with an annular separation condition at the product boundaries. This is the principal computational engine for deriving cumulants of $^\ast$7, $^\ast$8, products, commutators, and anti-commutators from cumulants of the underlying entries (Arizmendi et al., 2019).

4. Random-matrix realizations and exact fluctuation formulas

A second-order semicircular element $^\ast$9 has $\mathbb{C}$0, $\mathbb{C}$1 for $\mathbb{C}$2, and all second-order cumulants vanish. Its determining sequences satisfy $\mathbb{C}$3, $\mathbb{C}$4 for $\mathbb{C}$5, while for the second-order sequence only spoke diagrams contribute: $\mathbb{C}$6 Consequently,

$\mathbb{C}$7

This identifies the fluctuation cumulants of the square of a second-order semicircular element in completely explicit binomial form (Arizmendi et al., 2019).

For a circular element $\mathbb{C}$8, the only nonvanishing first-order cumulants are $\mathbb{C}$9, and all second-order cumulants vanish. Hence $\varphi:A\to\mathbb{C}$0, $\varphi:A\to\mathbb{C}$1 for $\varphi:A\to\mathbb{C}$2, and $\varphi:A\to\mathbb{C}$3 for all $\varphi:A\to\mathbb{C}$4. The main formula for $\varphi:A\to\mathbb{C}$5 then gives

$\varphi:A\to\mathbb{C}$6

so the fluctuation moments are purely combinatorial: $\varphi:A\to\mathbb{C}$7 This is the basic large-$\varphi:A\to\mathbb{C}$8 covariance formula for the complex Ginibre singular-value model (Arizmendi et al., 2019).

For products of second-order free circular elements $\varphi:A\to\mathbb{C}$9, let

$\kappa_n$00

Then $\kappa_n$01, and the fluctuation moments are

$\kappa_n$02

For $\kappa_n$03 independent complex Wishart factors,

$\kappa_n$04

the same convolution method yields

$\kappa_n$05

The case $\kappa_n$06 recovers the Dartois–Forrester fluctuation formula

$\kappa_n$07

Throughout these models, the standard large-$\kappa_n$08 normalization is that $\kappa_n$09 is the $\kappa_n$10-trace and $\kappa_n$11 is the $\kappa_n$12-scaled covariance of linear statistics (Arizmendi et al., 2019).

A related conjugation identity is that for any $\kappa_n$13 second-order free from a circular $\kappa_n$14,

$\kappa_n$15

This implies that the fluctuation transform of $\kappa_n$16 is obtained from that of $\kappa_n$17 by one $\kappa_n$18-convolution. When $\kappa_n$19 is deterministic, the second-order generating function reduces to the logarithmic derivative term, matching the fluctuation structure of $\kappa_n$20 ensembles (Arizmendi et al., 2019).

5. Real and quaternionic second-order cumulants

The complex annular theory does not directly describe real matrix ensembles. Real second-order freeness adds an involution $\kappa_n$21 and an orientation-reversing annulus. For centered cyclically alternating families in a real second-order probability space, the covariance formula is

$\kappa_n$22

and for $\kappa_n$23,

$\kappa_n$24

The second sum is the distinctive real contribution: it corresponds to annular spoke diagrams with opposite orientation and introduces the transpose. Real Ginibre matrices, Gaussian orthogonal matrices, and real Wishart matrices are asymptotically real second-order free, and they do not satisfy the complex definition of second-order freeness satisfied by their complex analogues (Redelmeier, 2011).

In the combinatorial formulation of real second-order cumulants, the moment–cumulant expansion contains three types of terms: annular noncrossing permutations in the forward orientation, annular noncrossing permutations in reversed orientation with $\kappa_n$25, and disc-with-one-through-block contributions indexed by $\kappa_n$26. The corresponding cumulant inversion is governed by an extended poset $\kappa_n$27 and its Möbius function $\kappa_n$28, rather than only the standard annular noncrossing poset (Redelmeier, 2018).

The real theory also makes explicit the connection with matrix cumulants and topological expansion. Two-vertex matrix cumulants have a finite $\kappa_n$29 limit after multiplication by $\kappa_n$30, and that limit equals the real second-order free cumulant. In this sense, second-order free cumulants arise as vertex-cumulant limits of orthogonally invariant random matrices. The quaternionic version is parallel in structure but uses $\kappa_n$31, the normalization $\kappa_n$32, and modified Weingarten asymptotics (Redelmeier, 2018).

A common misconception is that the complex annular formalism merely carries over to real ensembles after replacing complex conjugation by transpose. The real and quaternionic theories show that the change is structural, not cosmetic: the combinatorial domain itself is enlarged by orientation-reversing annuli and one-through-block disc terms, and the asymptotic topologies include nonorientable contributions (Redelmeier, 2011).

6. Later developments, finite-$\kappa_n$33 precursors, and higher-order generalizations

Recent work extends second-order free cumulants in several directions. For finite free cumulants, the genus expansion of the finite multiplicative free convolution organizes the $\kappa_n$34 correction by planar annular non-crossing permutations on two circles. If

$\kappa_n$35

then the second-order generating function is

$\kappa_n$36

In the genus expansion, the planar single-circle sector gives the usual free multiplicative convolution, while the planar two-circle sector gives the annular second-order contribution. This annular sector also yields explicit infinitesimal transforms

$\kappa_n$37

with concrete Hermite and Laguerre examples (Arizmendi et al., 2021).

A distinct finite-$\kappa_n$38 approach introduces $\kappa_n$39-invariant polynomial precursors $\kappa_n$40 of free cumulants. They converge to the free cumulants as $\kappa_n$41, are additive under averaging over sums of $\kappa_n$42 conjugacy orbits, and have a topological expansion whose genus-$\kappa_n$43 term is the $\kappa_n$44 correction. In the inverted moment–precursor relation,

$\kappa_n$45

the $\kappa_n$46 term is the second-order free cumulant correction. Fluctuation estimates for the centered additive error $\kappa_n$47 show Gaussian limits with variance of order $\kappa_n$48, consistent with second-order freeness (Lacroix et al., 29 Aug 2025).

The product calculus has also been extended beyond squares and moduli. For second-order free $\kappa_n$49 and $\kappa_n$50, explicit formulas are now available for the second-order cumulants of $\kappa_n$51, $\kappa_n$52, and $\kappa_n$53, all indexed by special subsets of non-crossing partitioned permutations. At the lowest level,

$\kappa_n$54

$\kappa_n$55

$\kappa_n$56

The commutator and anti-commutator cases had not been studied before at second order, and the product formula generalizes the earlier case in which the individual second-order cumulants vanish. The semicircular specialization yields closed formulas for $\kappa_n$57, $\kappa_n$58, and $\kappa_n$59 (George et al., 28 Jul 2025).

Tensorial generalizations place second-order cumulants in the broader setting of local-unitary invariant random tensors. In the matrix-product scaling, the second-order sector is characterized by invariants with $\kappa_n$60: either $\kappa_n$61 with both components melonic, or $\kappa_n$62 with $\kappa_n$63. The exact moment-to-cumulant relations involve forests of permutations, Möbius weights, and planar monotone Hurwitz numbers; for $\kappa_n$64, they recover the matrix case. The field remains unsettled, however: several points of view have been proposed, and it is unclear at this point whether they lead to the same notions of tensorial free cumulants and freeness (Buc-d'Alché et al., 3 May 2026).

Across these developments, second-order free cumulants retain the same core role. They are the annular, fluctuation-level cumulants that interpolate between free probability, random-matrix covariance asymptotics, finite-$\kappa_n$65 genus expansions, and newer tensorial or infinitesimal formalisms, while preserving the defining principles of vanishing mixed cumulants, Möbius inversion, and noncrossing annular combinatorics (Arizmendi et al., 2019).