On spectrum of sample correlation matrices from large fold tensor vectors
Pith reviewed 2026-05-10 18:18 UTC · model grok-4.3
The pith
Sample correlation matrices from k-fold tensor vectors converge to the Marčenko-Pastur law when k grows slower than n.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that the limiting spectral distribution is the Marčenko-Pastur law for the sample correlation matrix whose sample vectors are k-fold tensor products of n-dimensional vectors with i.i.d. entries, in the regime n,k to infinity with k=o(n). As a consequence, the limiting spectral distribution of the Wishart matrix from the k-fold tensor product of independent uniformly distributed unit vectors in C^n is the Marčenko-Pastur law.
What carries the argument
The k-fold tensor product structure on the sample vectors, which under the scaling k=o(n) reduces the limiting spectrum to the standard Marčenko-Pastur law.
Load-bearing premise
The tensor fold order k must grow slower than the base dimension n, and the original vectors must have i.i.d. entries or be uniform on the unit sphere.
What would settle it
Numerical computation of the empirical spectral density for sequences with n=2000 and k=20 that visibly fails to match the Marčenko-Pastur density would contradict the claim.
read the original abstract
In this paper, we investigate the limiting spectral distribution of the sample correlation matrix, whose sample vectors are $k$-fold tensor products of $n$-dimensional vectors with i.i.d. entries. We focus on the limiting regime $n,k \to \infty$ with $k = o(n)$, and we show that the limiting spectral distribution is the Mar\v{c}enko-Pastur law. As a consequence, we show that the limiting spectral distribution of the Whishart matrix from the $k$-fold tensor product of independent uniformly distributed unit vectors in $\mathbb C^n$ is the Mar\v{c}enko-Pastur law.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates the limiting spectral distribution of sample correlation matrices whose vectors are k-fold tensor products of n-dimensional i.i.d. entry vectors, in the regime n,k→∞ with k=o(n). It claims this LSD is the Marčenko-Pastur law, and as a consequence the same holds for the Wishart matrix formed from k-fold tensor products of independent uniform unit vectors in ℂ^n.
Significance. If the central claim is established with full technical control, the result would show that the Marčenko-Pastur law remains insensitive to the coordinate-wise dependencies created by tensor products when the fold depth grows slower than dimension. This extends the reach of classical RMT results to a structured setting that arises in multilinear models and tensor data analysis. The paper correctly isolates the k=o(n) window in which overlaps become rare, but the strength of the contribution hinges on whether the moment or Stieltjes-transform analysis actually closes under these dependencies.
major comments (2)
- [Main theorem / proof of LSD] The main result (stated in the abstract and presumably Theorem 1 or 2) asserts that the LSD is exactly the Marčenko-Pastur law. However, the tensor product structure induces non-zero covariances between coordinates whose multi-indices share at least one factor. While k=o(n) makes the probability of a single overlap O(k/n)→0, the manuscript must show that all higher-order diagram contributions (e.g., in the fourth-moment or trace-moment expansion) remain o(1) uniformly in the number of samples. No such explicit bound or vanishing argument is supplied.
- [Corollary on Wishart matrices] The consequence for the Wishart matrix of tensorized unit vectors likewise relies on the same limiting law. Because the base vectors are constrained to the unit sphere, additional dependence is introduced; the paper does not verify that this spherical constraint preserves the moment calculations already used for the i.i.d. case.
minor comments (2)
- [Abstract] The abstract contains the typographical error “Whishart” (should be “Wishart”) and inconsistent spelling of “Marčenko-Pastur”.
- [Title and abstract] The title uses “correlated matrices” while the abstract and body refer to “sample correlation matrix”; consistent terminology would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the two major points below and will revise the manuscript accordingly to provide the requested explicit controls.
read point-by-point responses
-
Referee: The main result (stated in the abstract and presumably Theorem 1 or 2) asserts that the LSD is exactly the Marčenko-Pastur law. However, the tensor product structure induces non-zero covariances between coordinates whose multi-indices share at least one factor. While k=o(n) makes the probability of a single overlap O(k/n)→0, the manuscript must show that all higher-order diagram contributions (e.g., in the fourth-moment or trace-moment expansion) remain o(1) uniformly in the number of samples. No such explicit bound or vanishing argument is supplied.
Authors: We agree that the current write-up would be strengthened by an explicit vanishing argument for higher-order terms. In the revision we will add a dedicated subsection to the proof of the main theorem that performs a full combinatorial enumeration of the diagrams arising in the fourth-moment (and higher) expansions. Using the k=o(n) hypothesis we bound the total contribution of all overlap diagrams by a quantity that is O(k/n + (k/n)^2 + …) and therefore tends to zero uniformly in the number of samples; the argument relies only on counting the number of ways to choose shared indices and on the independence of the underlying scalar entries. revision: yes
-
Referee: The consequence for the Wishart matrix of tensorized unit vectors likewise relies on the same limiting law. Because the base vectors are constrained to the unit sphere, additional dependence is introduced; the paper does not verify that this spherical constraint preserves the moment calculations already used for the i.i.d. case.
Authors: We acknowledge that the spherical constraint introduces extra dependence not present in the i.i.d. setting. In the revised manuscript we will insert a short lemma immediately preceding the corollary that shows the difference between the normalized and un-normalized moment sequences is o(1). The argument uses the fact that each base vector’s Euclidean norm concentrates around its expectation (by standard concentration for sums of i.i.d. entries) together with the same overlap-counting estimates already employed for the main theorem; because k=o(n) the tensor-product structure does not amplify the normalization error. This establishes that the limiting law carries over verbatim to the unit-vector case. revision: yes
Circularity Check
No circularity: standard RMT derivation applied to tensor-structured vectors
full rationale
The paper derives the limiting spectral distribution of the sample correlation matrix from k-fold tensor products of i.i.d.-entry vectors by applying classical random matrix techniques (moment method or Stieltjes transform) under the stated regime n,k→∞ with k=o(n). The Marčenko-Pastur law emerges as the limit because the tensor-induced coordinate dependencies become negligible in the high-dimensional limit, with no steps that reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. The derivation is self-contained against external benchmarks of random matrix theory and does not rename known results or smuggle ansatzes via prior work.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Vectors have i.i.d. entries or are uniformly distributed on the unit sphere in C^n
- domain assumption The limiting regime n, k → ∞ with k = o(n) is sufficient for convergence to the Marchenko-Pastur law
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
limiting spectral distribution of the sample correlation matrix ... is the Marčenko-Pastur law
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
k-fold tensor product ... k=o(n)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.