Asymptotic resolvents of a product of two marginals of a random tensor

Stephane Dartois

arxiv: 1907.08348 · v1 · pith:MUGEM7VXnew · submitted 2019-07-19 · 🧮 math-ph · math.CO· math.MP· math.PR

Asymptotic resolvents of a product of two marginals of a random tensor

Stephane Dartois This is my paper

Pith reviewed 2026-05-24 19:21 UTC · model grok-4.3

classification 🧮 math-ph math.COmath.MPmath.PR

keywords random tensorsresolventStieltjes transformMarchenko-Pastur lawenumerative combinatoricsalgebraic equationsasymptotic regimesrandom matrices

0 comments

The pith

The resolvent of a product of two marginals from one random tensor satisfies a degree-six algebraic equation with explicit radical roots in one asymptotic regime.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper computes the Stieltjes transform of a random matrix formed by multiplying two distinct marginals taken from the same random tensor. It considers two different large-dimension scaling limits. The first limit yields the resolvent immediately from freeness of the marginals. The second limit produces a degree-six polynomial equation whose solutions are given by radicals, derived by counting combinatorial structures that generate the required moments. The associated eigenvalue density interpolates between the square of the Marchenko-Pastur law and the free multiplicative square of the Marchenko-Pastur law.

Core claim

In the second asymptotic regime the resolvent satisfies an algebraic equation of degree six. This algebraic equation possesses roots whose expressions can be given explicitly in terms of radicals. The result is obtained by using an enumerative combinatorics approach. One of the interesting aspects of the second regime is that the corresponding probability density function interpolates between the square of a Marchenko-Pastur and the free multiplicative square of a Marchenko-Pastur law.

What carries the argument

The enumerative combinatorics counting of diagrams that produces the moment equations and thereby the degree-six algebraic equation satisfied by the resolvent.

If this is right

The eigenvalue density is recovered from the imaginary part of the resolvent obtained by solving the degree-six equation.
The density varies continuously between the square of the Marchenko-Pastur law and its free multiplicative square as a parameter changes.
Explicit radical expressions for the roots allow analytic study of the density without numerical root finding.
The first regime recovers the known free-probability result for the product of two free Marchenko-Pastur matrices.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same combinatorial method could be applied to products involving three or more marginals of the tensor.
The explicit resolvent might be used to compute entanglement entropies or other observables for random quantum states built from such tensors.
Finite-size corrections to the moments could be studied to see how quickly the algebraic equation is approached.

Load-bearing premise

The enumerative combinatorics method correctly produces the moment equations that determine the resolvent in the second asymptotic regime.

What would settle it

Compute the first several moments of the product matrix from a large but finite random tensor and test whether they obey the predicted degree-six algebraic relation for the resolvent.

read the original abstract

Random tensors can be used to produce random matrices. This idea is, for instance, very natural when one studies random quantum states with the aim of exploring properties that are generically true, or true with some probability. We hereby study the moments generating function, in the sense of the Stieltjes transform - i.e. the resolvent -, of a random matrix defined as a product of two different marginals of the same random tensor. We study the resolvent in two different asymptotical regimes. In the first regime, the resolvent is easily computed thanks to freeness results for the two different marginals and straightforward application of free harmonic analysis. In the second regime, we show that the resolvent satisfies an algebraic equation of degree six. This algebraic equation possesses roots whose expressions can be given explicitly in terms of radicals. We obtain this result by using an enumerative combinatorics approach. One of the interesting aspects of the second regime is that the corresponding probability density function interpolates between the square of a Marchenko-Pastur and the free multiplicative square of a Marchenko-Pastur law.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper derives a new degree-six algebraic equation with explicit radical roots for the resolvent of a product of two tensor marginals in one scaling limit, via diagram counting.

read the letter

The central result is an explicit degree-six polynomial equation for the resolvent in the second asymptotic regime, together with radical expressions for its roots. The associated density is claimed to interpolate between the square of a Marchenko-Pastur law and the free multiplicative square of one. In the first regime the answer follows from known freeness of the marginals and standard free-probability operations. Both pieces rest on the same random-tensor construction that produces random matrices from marginals. The degree-six equation and its radical solutions are not in the prior literature cited in the abstract, so that part is new. The interpolation remark is a direct consequence once the equation is obtained. The methods are the usual ones for these models: free harmonic analysis where it applies, and enumerative combinatorics to close the moment equations where it does not. If the diagram count correctly handles the contractions that arise from the two distinct marginals and produces a closed finite-degree system, the algebraic result follows. The main uncertainty is whether the counting rules are set up correctly for the product structure; any over- or under-counting specific to the two marginals would change the degree or prevent the radical form. The abstract states the outcome but does not display the intermediate recurrences or the precise enumeration, so a reader must trust the claim until the details are checked. This is specialized work for people already working on random tensors, free probability, or random quantum states. A reader in that niche can use the explicit equation for further calculations or simulations. It is narrow enough that it will not affect broader theory, but the concrete closed form is the sort of thing that gets cited inside the subfield when similar products appear. I would send the paper to peer review so the combinatorics can be verified in full; the claim is concrete enough to be worth referee time even if revisions are needed on the counting details.

Referee Report

2 major / 1 minor

Summary. The paper examines the Stieltjes transform (resolvent) of a random matrix obtained as the product of two distinct marginals of a random tensor, considering two asymptotic regimes. In the first regime, the resolvent is derived using freeness of the marginals and free harmonic analysis. In the second regime, an enumerative combinatorics approach is employed to establish that the resolvent satisfies a degree-six algebraic equation whose roots can be expressed explicitly using radicals. The associated probability density is described as interpolating between the square of a Marchenko-Pastur distribution and the free multiplicative square of a Marchenko-Pastur law.

Significance. If the enumerative combinatorics derivation is valid, the result offers an explicit algebraic characterization of the limiting spectral distribution in a regime not directly accessible by standard free probability techniques. The solvability in radicals and the interpolation property between known laws represent concrete advances in the spectral analysis of tensor-derived random matrices, with potential applications in quantum information theory.

major comments (2)

[Abstract] Abstract (second regime paragraph): The central claim that enumerative combinatorics produces a closed degree-six equation for the resolvent (with roots expressible in radicals) is stated without any explicit moment equations, recurrence relations, or counting arguments for the tensor contractions arising from the two marginals. This is load-bearing, as any mismatch in the diagram enumeration rules would change the polynomial degree or prevent closure.
[Abstract] Abstract: The assertion that the probability density interpolates between the square of a Marchenko-Pastur law and the free multiplicative square of a Marchenko-Pastur law is made without deriving this property from the degree-six equation or providing a reference to the relevant computation.

minor comments (1)

The introduction does not define the precise tensor distribution or the two marginals used to form the product matrix, which is needed to make the combinatorial counting rules unambiguous.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting points where the abstract could better signal the supporting arguments in the body of the manuscript. The enumerative-combinatorics derivation and the interpolation property are fully developed in Sections 3 and 4; the abstract is only a summary. We address each comment below and propose targeted revisions to the abstract.

read point-by-point responses

Referee: [Abstract] Abstract (second regime paragraph): The central claim that enumerative combinatorics produces a closed degree-six equation for the resolvent (with roots expressible in radicals) is stated without any explicit moment equations, recurrence relations, or counting arguments for the tensor contractions arising from the two marginals. This is load-bearing, as any mismatch in the diagram enumeration rules would change the polynomial degree or prevent closure.

Authors: The abstract summarizes the result; the explicit moment equations are obtained by enumerating the admissible tensor-contraction diagrams for the product of the two marginals, leading to a recurrence whose generating function satisfies the stated degree-six equation. These counting rules and the resulting recurrence are derived in detail in Section 3, after which the equation is solved in radicals in Section 4. We will revise the abstract to include a brief clause indicating that the equation follows from diagram enumeration of the marginal contractions. revision: partial
Referee: [Abstract] Abstract: The assertion that the probability density interpolates between the square of a Marchenko-Pastur law and the free multiplicative square of a Marchenko-Pastur law is made without deriving this property from the degree-six equation or providing a reference to the relevant computation.

Authors: The interpolation is verified by substituting the appropriate limiting values of the aspect-ratio parameters into the degree-six equation and recovering the known quadratic and quartic equations satisfied by the squared Marchenko-Pastur and free-multiplicative-square Marchenko-Pastur laws, respectively. This limiting analysis appears in Section 4. We will add a short parenthetical reference in the abstract to this verification. revision: partial

Circularity Check

0 steps flagged

No circularity: derivation uses external freeness and standard combinatorics

full rationale

The paper derives the resolvent in the first regime via external freeness results and free harmonic analysis, and in the second regime via enumerative combinatorics to obtain a degree-6 algebraic equation solvable in radicals. Neither step reduces to a self-definition, fitted input renamed as prediction, or self-citation chain; the combinatorics approach is presented as a standard counting method applied to the tensor contractions, independent of the target equation. The result is self-contained against external benchmarks with no load-bearing internal reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of freeness for the marginals and on the correctness of the combinatorial enumeration for the second regime; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption The two marginals are free in the first asymptotic regime
Invoked to apply free harmonic analysis directly.
domain assumption Enumerative combinatorics on diagrams yields the exact moment equations for the product in the second regime
Basis for deriving the degree-six equation.

pith-pipeline@v0.9.0 · 5727 in / 1271 out tokens · 23621 ms · 2026-05-24T19:21:41.518235+00:00 · methodology

Asymptotic resolvents of a product of two marginals of a random tensor

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)