Complete diagrammatics of the single-ring theorem.

Area of Science:

• Mathematics
• Quantum Physics
• Free Probability Theory

Background:

• Biunitarily invariant ensembles are crucial in random matrix theory.
• Understanding the behavior of large-sized matrices is a key challenge.
• Free random variables offer a powerful framework for analyzing complex systems.

Purpose of the Study:

• To establish explicit functional relations for cumulant generating functions in large biunitarily invariant ensembles.
• To connect different mathematical structures within the theory of free random variables.
• To provide a unified framework for existing theorems and their extensions.

Main Methods:

• Diagrammatic techniques are employed to derive functional relations.
• The study utilizes the theory of free random variables.
• The Haagerup-Larsen theorem and its extensions are analyzed within this formalism.

Main Results:

• Explicit functional relations for cumulant generating functions are derived for large matrices.
• A mapping is established between Hermitian positive definite operators and non-normal R-diagonal operators.
• The Haagerup-Larsen theorem and its extension to eigenvector correlation functions are rederived and contextualized.

Conclusions:

• The diagrammatic approach provides a unified perspective on biunitarily invariant ensembles.
• The findings bridge distinct areas of free random variables.
• The methodology naturally integrates recent advancements in eigenvector correlation analysis.