arXiv++ Combinatorics

Consider a graph whose vertices are colored in one of two colors, say black or white. A white vertex is called integrated if it has at least as many black neighbors as white neighbors, and similarly for a black vertex. The coloring as a whole is integrated if every vertex is integrated. A classic exercise in graph theory, known as the Affirmative Action Problem, is to prove that every finite simple graph admits an integrated coloring. The solution can be neatly summarized with the one-liner: "maximize the number of balanced edges," that is, the edges that connect neighbors of different colors. However, not all integrated colorings advertise the maximum possible number of balanced edges. In this paper, we characterize and enumerate the integrated colorings for complete graphs, bicliques, paths, and cycles. We also derive the distributions and extremal values for the mixing numbers (the number of balanced edges) across all integrated colorings over these families of graphs. For paths and cycles in particular, we use the quasi-powers framework for probability generating functions to prove a central limit theorem for the mixing number of random integrated colorings. Lastly, we obtain an upper bound for the number of integrated colorings over any fixed graph via the second-moment method. A specialized bound for the number of integrated colorings over a regular graph is also obtained.

An involution is a bijection that is its own inverse. Given a permutation $σ$ of $[n],$ let $\mathsf{invol}(σ)$ denote the number of ways $σ$ can be expressed as a composition of two involutions of $[n].$ We prove that the statistic $\mathsf{invol}$ is asymptotically lognormal when the symmetric groups $\mathfrak{S}_n$ are each equipped with Ewens Sampling Formula probability measures of some fixed positive parameter $θ.$ This paper strengthens and generalizes previously determined results about the limiting distribution of $\log(\mathsf{invol})$ for uniform random permutations, i.e. the specific case of $θ= 1$. We also investigate the first two moments of $\mathsf{invol}$ itself, detailing the phase transition in asymptotic behavior at $θ= 1,$ and provide a functional refinement and a convergence rate for the Gaussian limit law which is demonstrably optimal when $θ= 1.$

Let $P(n)$ be the probability that two independent, uniformly random permutations of $[n]$ have the same order, and let $K(n)$ be the probability that they are in the same conjugacy class. Answering a question of Thibault Godin, we prove that $ P(n)=n^{-2+o(1)}$ and that $\lim\sup \frac{ P(n) }{ K(n) }=\infty.$

A polynomial $P \in \mathbb{C}[z_1, \ldots, z_d]$ is strongly $\mathbb{D}^d$-stable if $P$ has no zeroes in the closed unit polydisc $\overline{\mathbb{D}}^d.$ For such a polynomial define its spectral density function as $\mathcal{S}_P(\mathbf{z}) = \left(P(\mathbf{z})\overline{P(1/\overline{\mathbf{z}})}\right)^{-1}.$ An abelian square is a finite string of the form $ww'$ where $w'$ is a rearrangement of $w.$ We examine a polynomial-valued operator whose spectral density function's Fourier coefficients are all generating functions for combinatorial classes of constrained finite strings over a $d$-character alphabet. These classes generalize the notion of an abelian square, and their associated generating functions are the Fourier coefficients of one, and essentially only one, $L^2(\mathbb{T}^d)$-valued operator. Integral representations, divisibility properties, and recurrent and asymptotic behavior of the coefficients of these generating functions are given as consequences. Tools in the derivations of our asymptotic formulas include a version of Laplace's method for sums over lattice point translations due to Greenhill, Janson, and Ruciński, a version of stationary phase method for oscillatory integrals with complex phase due to Pemantle and Wilson, and various polynomial identities related to powers of modified Bessel functions of the first kind due to Moll and Vignat.

Choose a random degree d poly f with coefficients in a finite field F. We estimate the ultimate period of f under compositional iteration. We also determine the joint distribution of the small cycle lengths in the graph with edges (x,f(x)), x in F. The proofs use Lagrange interpolation and the method of factorial moments.

An involution is a permutation that is its own inverse. Given a permutation $σ$ of $[n],$ let $\mathbf{N}_{n}(σ)$ denote the number of ways to write $σ$ as a product of two involutions of $[n].$ If we endow the symmetric groups $S_{n}$ with uniform probability measures, then the random variables ${\mathbf N}_{n}$ are asymptotically lognormal. The proof is based upon the observation that, for most permutations $σ$, $\mathbf{N}_{n}(σ)$ can be well approximated by $\mathbf{B}_{n}(σ),$ the product of the cycle lengths of $σ$. Asymptotic lognormality of $\mathbf{N}_{n}$ can therefore be deduced from Erdős and Turán's theorem that $\mathbf{B}_{n}$ is itself asymptotically lognormal.