arXiv++ Combinatorics

In previous work (arXiv:1908.09589), we studied rational generating functions ("ask zeta functions") associated with graphs and hypergraphs. These functions encode average sizes of kernels of generic matrices with support constraints determined by the graph or hypergraph in question, with applications to the enumeration of linear orbits and conjugacy classes of unipotent groups. In the present article, we turn to the effect of a natural graph-theoretic operation on associated ask zeta functions. Specifically, we show that two instances of rational functions, $W^-_Γ(X,T)$ and $W^\sharp_Γ(X,T)$, associated with a graph $Γ$ are both well-behaved under taking joins of graphs. In the former case, this has applications to zeta functions enumerating conjugacy classes associated with so-called graphical groups.

We devise an explicit method for computing combinatorial formulae for Hadamard products of certain rational generating functions. The latter arise naturally when studying so-called ask zeta functions of direct sums of modules of matrices or class- and orbit-counting zeta functions of direct products of nilpotent groups. Our method relies on shuffle compatibility of coloured permutation statistics and coloured quasisymmetric functions, extending recent work of Gessel and Zhuang.

Each graph and choice of a commutative ring gives rise to an associated graphical group. In this article, we introduce and investigate graph polynomials that enumerate conjugacy classes of graphical groups over finite fields according to their sizes.

We study the effects of imposing linear relations within modules of matrices on average sizes of kernels. The relations that we consider can be described combinatorially in terms of partial colourings of grids. The cells of these grids correspond to positions in matrices and each defining relation involves all cells of a given colour. We prove that imposing such relations arising from "admissible" partial colourings has no effect on average sizes of kernels over finite quotients of discrete valuation rings. This vastly generalises the known fact that average sizes of kernels of general square and traceless matrices of the same size coincide over such rings. As a group-theoretic application, we explicitly determine zeta functions enumerating conjugacy classes of finite $p$-groups derived from free class-$3$-nilpotent groups for $p \geqslant 5$.

We develop a theory of average sizes of kernels of generic matrices with support constraints defined in terms of graphs and hypergraphs. We apply this theory to study unipotent groups associated with graphs. In particular, we establish strong uniformity results pertaining to zeta functions enumerating conjugacy classes of these groups. We deduce that the numbers of conjugacy classes of $\mathbf{F}_q$-points of the groups under consideration depend polynomially on $q$. Our approach combines group theory, graph theory, toric geometry, and $p$-adic integration. Our uniformity results are in line with a conjecture of Higman on the numbers of conjugacy classes of unitriangular matrix groups. Our findings are, however, in stark contrast to related results by Belkale and Brosnan on the numbers of generic symmetric matrices of given rank associated with graphs.

Let $\mathfrak{O}$ be a compact discrete valuation ring of characteristic zero. Given a module $M$ of matrices over $\mathfrak{O}$, we study the generating function encoding the average sizes of the kernels of the elements of $M$ over finite quotients of $\mathfrak{O}$. We prove rationality and establish fundamental properties of these generating functions and determine them explicitly for various natural families of modules $M$. Using $p$-adic Lie theory, we then show that special cases of these generating functions enumerate orbits and conjugacy classes of suitable linear pro-$p$ groups.