[Paper Review] Asymptotic analysis of the two matrix model with a quartic potential

Maurice Duits, Arno B. J. Kuijlaars+1 more|arXiv (Cornell University)|Sep 29, 2012

Random Matrices and Applications36 references3 citations

TL;DR

This paper presents a rigorous asymptotic analysis of the two matrix model with a quartic potential using vector equilibrium problems and Riemann-Hilbert methods. It establishes a Coulomb gas-like description for eigenvalue distributions, identifies new critical behaviors including Pearcey-type transitions, and resolves the structure of phase diagrams with explicit phase transitions at critical coupling values.

ABSTRACT

We give a summary of the recent progress made by the authors and collaborators on the asymptotic analysis of the two matrix model with a quartic potential. The paper also contains a list of open problems.

Motivation & Objective

• To develop a rigorous asymptotic framework for the two matrix model with a quartic potential, extending the Coulomb gas picture from the one-matrix model.
• To characterize the limiting eigenvalue distribution of $ M_1 $ through a vector equilibrium problem involving three measures with specific interaction and external field structures.
• To identify and analyze new critical phenomena, including phase transitions of Pearcey type, in the asymptotic eigenvalue distribution.
• To establish the existence and uniqueness of minimizers for the vector equilibrium problem under general conditions, ensuring mathematical rigor for the asymptotic analysis.
• To explore open problems related to the variational structure, large deviations, and generalizations beyond even potentials and degree-4 $ W $

Proposed method

• Formulate the limiting eigenvalue distribution of $ M_1 $ as the minimizer of a vector equilibrium energy functional involving three measures $ u_1, u_2, u_3 $, with interaction terms $ I( u_i, u_j) $ and external fields $ V_1, V_3 $.
• Define the external field $ V_1(x) = V(x) + ext{min}_s (W(s) - au x s) $, where $ W(s) = rac{1}{4}s^4 + rac{eta}{2}s^2 $, encoding the coupling between matrices.
• Introduce an upper constraint $ u_2 riangleq u_2^* riangleq ext{supp}( u_2) riangleq ext{supp}( u_2) riangleq ext{supp}( u_2) $, with $ u_2 $ supported on the imaginary axis due to symmetry.
• Use Riemann-Hilbert problem techniques to analyze local eigenvalue correlations near critical points, particularly at $ au = 1, eta = -1 $, where a square root vanishing occurs at the origin.
• Establish lower semi-continuity and strict convexity of the energy functional under general conditions, ensuring existence and uniqueness of minimizers for the vector equilibrium problem.
• Relate local correlation kernels near critical points to extensions of a $ 4 imes 4 $ Riemann-Hilbert problem associated with the tacnode in non-intersecting Brownian motions.

Experimental results

Research questions

• RQ1 How can the limiting eigenvalue distribution of $ M_1 $ in the two matrix model be characterized via a vector equilibrium problem with three measures and specific interaction structures?
• RQ2 What are the critical behaviors and phase transitions in the two matrix model with a quartic potential, and how do they relate to known universal kernels like Pearcey or tacnode?
• RQ3 How does the vector equilibrium problem emerge from the joint eigenvalue measure, and what is its variational justification in the absence of a direct link to the joint density?
• RQ4 Can the vector equilibrium problem be extended to non-even potentials, and what role might $ S $-curves play in defining the support of intermediate measures?
• RQ5 What are the implications of the phase diagram structure, particularly at the multicritical point $ eta = -1, au = 1 $, for local eigenvalue statistics?

Key findings

• The limiting eigenvalue distribution of $ M_1 $ is characterized as the minimizer of a vector equilibrium problem involving three measures with mutual logarithmic energies and external fields derived from the quartic potential $ W $.
• A phase diagram with four regular cases and two critical curves is identified, with a multicritical point at $ au = 1, eta = -1 $ where all four cases meet.
• At the multicritical point $ au = 1, eta = -1 $, the density of $ u_1^* $ vanishes like a square root at the origin, an interior point of its support.
• Local eigenvalue correlation kernels near the origin are shown to be related to an extension of the $ 4 imes 4 $ Riemann-Hilbert problem used in the tacnode model, though constructed differently and not identical.
• The energy functional for the vector equilibrium problem is proven to be lower semi-continuous and strictly convex under general conditions, guaranteeing existence and uniqueness of minimizers.
• The paper identifies a Pearcey-type transition where the gap in the support of $ u_2^* $ closes as one moves from Case IV to Case III, or from Case II to Case III, signaling a universal critical behavior.