arXiv++ Combinatorics

Consider a symmetric function $\mathcal{C}(x,y)$ on $[0,1]\times[0,1]$ which is twice continuously differentiable up to the boundary, and which satisfies $ \mathcal{C}(x,y)=\mathcal{C}(1-x,1-y)$. Let $A^{(n)} = \big(a^{(n)}_{i,j}\, :\, i,j \in [n]\big)$ be the matrix with entries $a^{(n)}_{i,j}\, =\, \exp(-\mathcal{C}(i/n,j/n))$. Soumik Pal conjectured the asymptotics $$\operatorname{perm}\big(A^{(n)}\big)/n!\sim \exp\big(n Λ[\mathcal{C}]\big)/ \sqrt{\mathcal{D}[\mathcal{C}]}$$ as $n \to \infty$ for known functionals that arise naturally in the context of entropy regularized optimal transport. The functional $Λ[\mathcal{C}]$ is the known large deviation rate function, already proved rigorously by Sumit Mukherjee. It is $\int_{0}^1 \int_0^{1} (α(x)+β(y))\, dx\, dy$ where $α(x)+β(y)$ is chosen such that $ρ(x,y) := \exp(-\mathcal{C}(x,y)-α(x)-β(y))$ has uniform marginals. The algebraic term $\mathcal{D}[c]$ is given by Peter McCullagh's formula for doubly stochastic matrices: $\operatorname{det}_F(I+J-T^*T)$, the Fredholm determinant, where $I$ is the identity on $L^2([0,1])$, $Jf(x) \equiv \int_{0}^1 f(z)\, dz$ (for all $x$) and $Tf(x) = \int_0^1 ρ(x,y) f(y)\, dy$. We prove the conjecture for functions $\mathcal C$ that are constant on blocks, exploiting a well-known Ross Pinsky's combinatorial decomposition of permutations in blocks.

The d'Arcais polynomials $P_n(z)$ for $n\in\{0,1,\dots\}$ are defined as $\sum_{n=0}^{\infty} P_n(z) q^n = \exp(-z\ln((q;q)_{\infty}))$ where the $q$-Pochhammer symbol is $(q;q)_{\infty} = \prod_{k=1}^{\infty} (1-q^k)$ for $|q|<1$. Denoting the coefficients for $n \in \mathbb{N}$ by the formula $P_n(z) = \sum_{k=1}^{n} A(2,n,k) z^k/n!$, we prove that $k_n! A(2,n,k_n)/n!$ satisfies a Bahadur-Rao type large deviation formula in the limit $n \to \infty$ with $k_n/n \to κ\in [0,1)$ as long as $k_n \to \infty$. The large deviation rate function is the Legendre-Fenchel transform $g^*(-κ)$ where $g(κ) = f^{-1}(κ)$ for the function $f : (0,\infty) \to \mathbb{R}$ given by $f(y)= \ln(-\ln((e^{-y};e^{-y})_{\infty}))$. We relate this fact to information about the abundancy index.

We prove a central limit theorem (CLT) for the number of joint orbits of random tuples of commuting permutations. In the uniform sampling case this generalizes the classic CLT of Goncharov for the number of cycles of a single random permutation. We also consider the case where tuples are weighted by a factor other than one, per joint orbit. We view this as an analogue of the Ewens measure, for tuples of commuting permutations, where our CLT generalizes the CLT by Hansen. Our proof uses saddle point analysis, in a context related to the Hardy-Ramanujan asymptotics and the theorem of Meinardus, but concerns a multiple pole situation. The proof is written in a self-contained manner, and hopefully in a manner accessible to a wider audience. We also indicate several open directions of further study related to probability, combinatorics, number theory, an elusive theory of random commuting matrices, and perhaps also geometric group theory.

Let $\mathcal{A}(\ell,n) \subset S_n^{\ell}$ denote the set of all $\ell$-tuples $(π_1,\dots,π_{\ell})$, for $π_1,\dots,π_{\ell} \in S_n$ satisfying: $\forall i<j$ we have $π_iπ_j=π_jπ_i$. Considering the action of $S_n$ on $[n]=\{1,\dots,n\}$, let $κ(π_1,\dots,π_{\ell})$ be equal to the number of orbits of the action of the subgroup $\langle π_1,\dots,π_{\ell} \rangle \subset S_n$. There has been interest in the study of the combinatorial numbers $A(\ell,n,k)$ equal to the cardinalities $|\{(π_1,\dots,π_{\ell}) \in \mathcal{A}(\ell,n)\, :\, κ(π_1,\dotsπ_{\ell})=k\}|$. If one defines $B(\ell,n)=A(\ell,n,1)/(n-1)!$, then it is known that $B(\ell,n) = \sum_{(f_1,\dots,f_{\ell}) \in \mathbb{N}^{\ell}} \mathbf{1}_{\{n\}}(f_1\cdots f_{\ell}) \prod_{r=1}^{\ell-1} f_r^{\ell-r}$. A special case, $\ell=2$, is $B(2,n) = \sum_{d|n} d = σ_1(n)$ the sum-of-divisors function. Then $A(2,n,1)/n!=B(2,n)/n$ is called the abundancy index: $σ_1(n)/n$. We call $B(\ell,n) n^{-\ell+1}$ the ``generalized abundancy index.'' Building on work of Abdesselam, using the probability model, we prove that $\lim_{N \to \infty} N^{-1} \sum_{n=1}^{N} B(\ell,n) n^{-\ell+1}$ equals $ζ(2)\cdots ζ(\ell)$. Motivated by this we state a more precise conjecture for the asymptotics of $-ζ(2) + N^{-1}\sum_{n=1}^{N} (B(2,n)/n)$.

We consider multifold convolutions of a combinatorial sequence $(a_n)_{n=0}^{\infty}$: namely, for each $k \in \N$ the $k$-fold convolution is $\mathcal{M}^{(k)}_n(\boldsymbol{a}) = \sum_{j_1+\dots+j_k=n} a_{j_1} \cdots a_{j_k}$. Let $C_n$ be the Catalan numbers, and let $B_n$ be the central binomial coefficients. Then for random Dyck paths or simple random walk bridges, the multifold convolutions give moments of returns to the origin, using the stars-and-bars problem. There are well-known explicit formulas for the multifold convolutions of $C_n$ and $B_n$. But even for combinatorial sequences $B_n^2$ and $B_n^3$, one may determine asymptotics of multifold convolutions for large $n$. We also discuss large deviations: In a second part of the paper we consider an elementary version of the circle method for calculating asymptotics using complex analysis.

The Hardy-Ramanujan partition function asymptotics is a famous result in the asymptotics of combinatorial sequences. It was originally derived using complex analysis and number-theoretic ideas by Hardy and Ramanujan. It was later re-derived by Paul Erdős using real analytic methods. Later still, D.J.~Newman used just the usual Hayman saddle-point approach, ubiquitous in asymptotic analysis. Fristedt introduced a probabilistic approach, which was further extended by Dan Romik, for restricted partition functions. Our perspective is that the Laplace transform changes the essentially algebraic generating function into an exponential form. Using this, we carry out the exercise of deriving the leading order asymptotics, following the Fristedt-Romik approach. We also give additional examples of the Laplace transform method.

Given $π\in S_n$, let $Z_{n,k}(π)=\sum_{1\leq i_1<\dots<i_k\leq n} \mathbf{1}(\{ π_{i_1}<\dots<π_{i_k}\}$ denote the number of increasing subsequences of length $k$. Consider the "generalized Ulam problem," studying the distribution of $Z_{n,k}$ for general $k$ and $n$. For the 2nd moment, Ross Pinsky initiated a combinatorial study by considering a pair of subsequences $i^{(r)}_1<\dots<i^{(r)}_k$ for $r \in \{1,2\}$, and conditioning on the size of the intersection $j = |\{i_1^{(1)},\dots,i^{(1)}_k\} \cap \{i^{(2)}_1,\dots,i^{(2)}_k\}|$. We obtain the exact large deviation rate function for $\mathbf{E}[Z_{n,k} Z_{n,\ell}]$ in the asymptotic regime $k\sim κn^{1/2}$, $\ell \sim λn^{1/2}$ as $n \to \infty$, for $κ,λ\in (0,\infty)$. This uses multivariate generating function techniques, as found in the textbook of Pemantle and Wilson. The requisite generating function enumerates pairs of up-right paths in $d=2$, which both end at $(k,\ell)$ with a given number of intersections. We also evaluate the analogous generating function for pairs of $(+\boldsymbol{i},+\boldsymbol{j},+\boldsymbol{k})$ paths in $d=3$, which both end at $(k,\ell,m)$, which has some utility in calculating the 3rd moment. Finally, we consider a simpler problem involving partitions instead of permutations, where all moments are calculable and the replica symmetric ansatz can be stated if not proved.

Given a uniform random permutation $π\in S_n$, let $Z_{n,k}$ be equal to the number of increasing subsequences of length $k$: so $Z_{n,k}=|\{(i_1,\dots,i_k) \in \mathbb{Z}^k\, :\, 1\leq i_1<\dots<i_k\leq n\, ,\ π_{i_1}<\dots<π_{i_k}\}|$. In an important paper, Ross Pinsky proved $\mathbf{E}\big[Z_{n,k}^2\big]$ is equal to $\sum_{i} A(k-i,i)B(n,2k-i)$, where for any nonnegative integers $N$ and $j$, we have $B(N,j) = \binom{N}{j}/j!$ and $A(N,j)$ is a particular nonnegative integer, which Pinsky characterized in two different ways. One characterization of $A(N,j)$ involves the occupation time of the $x$-axis prior to a first return to the origin. Using this, he proved a law of large numbers for the sequence $Z_{n,k_n}$ when $k_n=o(n^{2/5})$ as $n \to \infty$. In a follow-up paper, he also proved the sequence $Z_{n,k_n}$ fails to obey a law of large numbers when $1/k_n = o(1/n^{4/9})$ as $n \to \infty$. Here, we return to his combinatorial formula for the the second moment of $Z_{n,k}$, and we obtain a generating function for the $A(N,j)$ triangular array. We are motivated by the hope of applying spin glass techniques to the well-known Ulam's problem to see if this gives a new perspective.