arXiv++ Combinatorics

This article extends recent results on log-Coulomb gases in a $p$-field $K$ (i.e., a nonarchimedean local field) to those in its projective line $\mathbb{P}^1(K)$, where the latter is endowed with the $PGL_2$-invariant Borel probability measure and spherical metric. Our first main result is an explicit combinatorial formula for the canonical partition function of log-Coulomb gases in $\mathbb{P}^1(K)$ with arbitrary charge values. Our second main result is called the "$(q+1)$th Power Law", which relates the grand canonical partition functions for one-component gases in $\mathbb{P}^1(K)$ (where all particles have charge 1) to those in the open and closed unit balls of $K$ in a simple way. The final result is a quadratic recurrence for the canonical partition functions for one-component gases in both unit balls of $K$ and in $\mathbb{P}^1(K)$. In addition to efficient computation of the canonical partition functions, the recurrence provides their "$q\to 1$" limits and "$q\mapsto q^{-1}$" functional equations.

The main result of this paper is a formula for the integral $$\int_{K^N}ρ(x)\big(\max_{i<j}|x_i-x_j|\big)^a\big(\min_{i<j}|x_i-x_j|\big)^b\prod_{i<j}|x_i-x_j|^{s_{ij}}|dx|,$$ where $K$ is a $p$-field (i.e., a nonarchimedean local field) with canonical absolute value $|\cdot|$, $N\geq 2$, $a,b\in\mathbb{C}$, the function $ρ:K^N\to\mathbb{C}$ has mild growth and decay conditions and factors through the norm $\|x\|=\max_i|x_i|$, and $|dx|$ is the usual Haar measure on $K^N$. The formula is a finite sum of functions described explicitly by combinatorial data, and the largest open domain of complex tuples $(s_{ij})_{i<j}$ on which the integral converges absolutely is given explicitly in terms of these data and the parameters $a$, $b$, $N$, and $K$. We then specialize the formula to $s_{ij}=\mathfrak{q}_i\mathfrak{q}_jβ$, where $\mathfrak{q}_1,\mathfrak{q}_2,\dots,\mathfrak{q}_N>0$ represent the charges of an $N$-particle log-Coulomb gas in $K$ with background density $ρ$ and inverse temperature $β$. From this specialization we obtain a mixed-charge $p$-field analogue of Mehta's integral formula, as well as formulas and low-temperature limits for the joint moments of $\max_{i<j}|x_i-x_j|$ (the diameter of the gas) and $\min_{i<j}|x_i-x_j|$ (the minimum distance between its particles).