arXiv++ Combinatorics

For a connected graph $G$ and a set $S\subset V(G)$, the Steiner distance $d_G(S)$ is the minimum number of edges in a connected subgraph of $G$ containing $S$. The Steiner-Wiener $k$ index is defined by $\mathrm{SW}_k(G) = \sum_{S\subset V(G), |S|=k} d_G(S)$. We study the inverse problem for this invariant restricted to trees: for fixed $k$, which positive integers occur as $\mathrm{SW}_k(T)$ for a finite tree $T$? We prove that all sufficiently large positive integers occur as $\mathrm{SW}_k(T)$ for some finite tree $T$ if and only if $k$ is even. For odd $k$, we further show that the set of attainable values has asymptotic density of order $k^{-δ}(\log k)^{-3/2}$, where $δ$ is the Erdős-Tenenbaum-Ford constant.

Let $α(n)$ denote the length of the shortest non-trivial two-variable law for the symmetric group $S_n$. Buskin's quantitative subgroup-separability argument gives the classical lower bound $α(n)\geq 2n-O(1)$. In this short note we give an improvement by proving that $α(n)\geq \frac52 n-O(1)$.

A transversal in an $n \times n$ latin square is a collection of $n$ entries not repeating any row, column, or symbol. Kwan showed that almost every $n \times n$ latin square has $\bigl((1 + o(1)) n / e^2\bigr)^n$ transversals as $n \to \infty$. Using a loose variant of the circle method we sharpen this to $(e^{-1/2} + o(1)) n!^2 / n^n$. Our method works for all latin squares satisfying a certain quasirandomness condition, which includes both random latin squares with high probability as well as multiplication tables of quasirandom groups.

Hall and Paige conjectured in 1955 that a finite group $G$ has a complete mapping if and only if its Sylow $2$-subgroups are trivial or noncyclic. This conjecture was proved in 2009 by Wilcox, Evans, and Bray using the classification of finite simple groups and extensive computer algebra. Using a completely different approach motivated by the circle method from analytic number theory, we prove that the number of complete mappings of any group $G$ of order $n$ satisfying the Hall--Paige condition is $(e^{-1/2} + o(1)) \, |G^\text{ab}| \, n!^2/n^n$.

We prove an asymptotic for the number of additive triples of bijections $\{1,\dots,n\}\to\mathbb{Z}/n\mathbb{Z}$, that is, the number of pairs of bijections $π_1,π_2\colon \{1,\dots,n\}\to\mathbb{Z}/n\mathbb{Z}$ such that the pointwise sum $π_1+π_2$ is also a bijection. This problem is equivalent to counting the number of orthomorphisms or complete mappings of $\mathbb{Z}/n\mathbb{Z}$, to counting the number of arrangements of $n$ mutually nonattacking semiqueens on an $n\times n$ toroidal chessboard, and to counting the number of transversals in a cyclic Latin square. The method of proof is a version of the Hardy--Littlewood circle method from analytic number theory, adapted to the group $(\mathbb{Z}/n\mathbb{Z})^n$.

Green showed that there exist constants $C_1,C_2>0$ such that the clique number $ω$ of the random Cayley graph on $\mathbb{F}_2^n$ satisfies $\lim_{n\to\infty}\mathbb{P}(C_1n\log n < ω< C_2n\log n)=1$. In this paper we find the best possible $C_1$ and $C_2$. Moreover, we prove that for $n$ in a set of density $1$, clique number is actually concentrated on a single value. As a simple consequence of these results, we also prove the one-point concentration result for the chromatic number, thus proving the $\mathbb{F}_2^n$ analogue of the famous conjecture by Bollobás and giving almost the complete answer to the question by Green.

A well-known conjecture in analytic number theory states that for every pair of sets $X,Y\subset\mathbb{Z}/p\mathbb{Z}$, each of size at least $\log ^C p$ (for some constant $C$) we have that the number of pairs $(x,y)\in X\times Y$ such that $x+y$ is a quadratic residue modulo $p$ differs from $\frac12|X||Y|$ by $o\left(|X||Y|\right)$. We address the probabilistic analogue of this question, that is for every fixed $δ>0$, given a finite group $G$ and $A\subset G$ a random subset of density $\frac12$, we prove that with high probability for all subsets $|X|,|Y|\geq \log ^{2+δ} |G|$, the number of pairs $(x,y)\in X\times Y$ such that $xy\in A$ differs from $\frac12|X||Y|$ by $o\left(|X||Y|\right)$.