arXiv++ Combinatorics

We establish a scaling limit result for the length $\operatorname{LIS}(σ_n)$ of the longest increasing subsequence of a permutation $σ_n$ of size $n$ sampled from the Brownian separable permuton $\boldsymbolμ_p$ of parameter $p\in(0,1)$, which is the universal limit of pattern-avoiding permutations. Specifically, we prove that \[\frac{\operatorname{LIS}(σ_n)}{n^α}\;\underset{n\to\infty}{\overset{\mathrm{a.s.}}{\longrightarrow}}\; X,\] where $α=α(p)$ is the unique solution in the interval $(1/2,1)$ to the equation \[\frac{1}{4^{\frac{1}{2α}}\sqrtπ}\,\frac{Γ\big(\tfrac{1}{2}-\tfrac{1}{2α}\big)}{Γ\big(1-\tfrac{1}{2α}\big)}=\frac{p}{p-1},\] and $X=X(p)$ is a non-deterministic and a.s. positive and finite random variable, which is a measurable function of the Brownian separable permuton. Notably, the exponent $α(p)$ is an increasing continuous function of $p$ with $α(0^+)=1/2$, $α(1^-)=1$ and $α(1/2)\approx0.815226$, which corresponds to the permuton limit of uniform separable permutations. We prove analogous results for the size of the largest clique of a graph sampled from the Brownian cographon of parameter $p\in(0,1)$.

Consider the matrix $A_{\mathcal{G}}$ chosen uniformly at random from the finite set of all $N$-dimensional matrices of zero main-diagonal and binary entries, having each row and column of $A_{\mathcal{G}}$ sum to $d$. That is, the adjacency matrix for the uniformly random $d$-regular simple digraph $\mathcal{G}$. Fixing $d \ge 3$, it has long been conjectured that as $N \to \infty$ the corresponding empirical eigenvalue distributions converge weakly, in probability, to an explicit non-random limit, %measure $μ_d$ on $\mathbb{C}$, which is given by the Brown measure of the free sum of $d$ Haar unitary operators. We reduce this conjecture to bounding the decay in $N$ of the probability that the minimal singular value of the shifted matrix $A(w) = A_{\mathcal{G}} - w I$ is very small. While the latter remains a challenging task, the required bound is comparable to the recently established control on the singularity of $A_{\mathcal{G}}$. The reduction is achieved here by sharp estimates on the behavior at large $N$, near the real line, of the Green's function (aka resolvent) of the Hermitization of $A(w)$, which is of independent interest.