arXiv++ Combinatorics

Computing the embedding distribution of a given graph is a fundamental question in topological graph theory. In this article, we extend our viewpoint to a sequence of graphs and consider their asymptotic embedding distributions, which are often the normal distribution. We establish the asymptotic normality of several families of graphs by developing adapted tools and frameworks. We expect that these tools and frameworks can be used on other families of graphs to establish the asymptotic normality of their embedding distributions. Several open questions and conjectures are also raised in our investigation.

Let $C_{n,g}$ be the number of rooted cubic maps with $2n$ vertices on the orientable surface of genus $g$. We show that the sequence $(C_{n,g}:g\ge 0)$ is asymptotically normal with mean and variance asymptotic to $(1/2)(n-\ln n)$ and $(1/4)\ln n$, respectively. We derive an asymptotic expression for $C_{n,g}$ when $(n-2g)/\ln n$ lies in any closed subinterval of $(0,2)$. Using rotation systems and Bender's theorem about generating functions with fast-growing coefficients, we derive simple asymptotic expressions for the numbers of rooted regular maps, disregarding the genus. In particular, we show that the number of rooted cubic maps with $2n$ vertices, disregarding the genus, is asymptotic to $\frac{3}π\,n!6^n$.

We use the generating function approach to derive simple expressions for the factorial moments of the distance distribution over Reed-Solomon codes. We obtain better upper bounds for the error term of a counting formula given by Li and Wan, which gives nontrivial estimates on the number of polynomials over finite fields with prescribed leading coefficients and a given number of linear factors. This improvement leads to new results on the classification of deep holes of Reed Solomon codes.

Hayes equivalence is defined on monic polynomials over a finite field $\fq$ in terms of the prescribed leading coefficients and the residue classes modulo a given monic polynomial $Q$. We study the distribution of the number of zeros in a random polynomial over finite fields in a given Hayes equivalence class. It is well known that the number of distinct zeros of a random polynomial over $\fq$ is asymptotically Poisson with mean 1. We show that this is also true for random polynomials in any given Hayes equivalence class. Asymptotic formulas are also given for the number of such polynomials when the degree of such polynomials is proportional to $q$ and the degree of $Q$ and the number of prescribed leading coefficients are bounded by $\sqrt{q}$. When $Q=1$, the problem is equivalent to the study of the distance distribution in Reed-Solomon codes. Our asymptotic formulas extend some earlier results and imply that all words for a large family of Reed-Solomon codes are ordinary, which further supports the well-known {\em Deep-Hole} Conjecture.

A polynomial is called self-reciprocal (or palindromic) if the sequence of its coefficients is palindromic. In this paper we obtain improved error bounds for the number of irreducible polynomials and self-reciprocal irreducible monic polynomials with prescribed coefficients over a finite field. The improved bounds imply that self-reciprocal irreducible monic polynomials with degree $2d$ always exist provided that the number of prescribed leading coefficients is slightly less than $ d/2$.

A polynomial is called self-reciprocal (or palindromic) if the sequence of its coefficients is palindromic. In this paper we enumerate self-reciprocal irreducible monic polynomials over a finite field with prescribed leading coefficients. Asymptotic expression with explicit error bound is derived, which is used to show that such polynomials with degree $2n$ always exist provided that the number of prescribed leading coefficients is slightly less than $n/4$. Exact expressions are also obtained for fields with two or three elements and up to two prescribed leading coefficients.

We continue our study on counting irreducible polynomials over a finite field with prescribed coefficients. We set up a general combinatorial framework using generating functions with coefficients from a group algebra which is generated by equivalent classes of polynomials with prescribed coefficients. Simplified expressions are derived for some special cases. Our results extend some earlier results.

We count the number of polynomials over finite fields with prescribed leading coefficients and a given number of linear factors. This is equivalent to counting codewords in Reed-Solomon codes which are at a certain distance from a received word. We first apply the generating function approach, which is recently developed by the author and collaborators, to derive expressions for the number of monic polynomials with prescribed leading coefficients and linear factors. We then apply Li and Wan's sieve formula to simplify the expressions in some special cases. Our results extend and improve some recent results by Li and Wan, and Zhou, Wang and Wang.

We find the number of compositions over finite abelian groups under two types of restrictions: (i) each part belongs to a given subset and (ii) small runs of consecutive parts must have given properties. Waring's problem over finite fields can be converted to type~(i) compositions, whereas Carlitz and locally Mullen compositions can be formulated as type~(ii) compositions. We use the multisection formula to translate the problem from integers to group elements, the transfer matrix method to do exact counting, and finally the Perron-Frobenius theorem to derive asymptotics. We also exhibit bijections involving certain restricted classes of compositions.

We study part sizes of supercritical locally restricted sequential structures. This extends previous results about locally restricted integer compositions and part sizes in smooth supercritical compositional structures. Applications are given for runs of subcompositions. The problems are formulated as enumerating directed walks in sized infinite digraphs and the proofs depend heavily on earlier results by Bender and Canfield about infinite transfer matrices.

In this paper we study the distribution of the size of the value set for a random polynomial with degree at most $q-1$ over a finite field $\mathbb{F}_q$. We obtain the exact probability distribution and show that the number of missing values tends to a normal distribution as $q$ goes to infinity. We obtain these results through a study of a random $r$-th order cyclotomic mappings. A variation on the size of the union of some random sets is also considered.

We define the notion of asymptotically free for locally restricted compositions, which means roughly that large parts can often be replaced by any larger parts. Two well-known examples are Carlitz and alternating compositions. We show that large parts have asymptotically geometric distributions. This leads to asymptotically independent Poisson variables for numbers of various large parts. Based on this we obtain asymptotic formulas for the probability of being gap free and for the expected values of the largest part, number of distinct parts and number of parts of multiplicity k, all accurate to o(1).

A boolean function of $n$ boolean variables is {correlation-immune} of order $k$ if the function value is uncorrelated with the values of any $k$ of the arguments. Such functions are of considerable interest due to their cryptographic properties, and are also related to the orthogonal arrays of statistics and the balanced hypercube colourings of combinatorics. The {weight} of a boolean function is the number of argument values that produce a function value of 1. If this is exactly half the argument values, that is, $2^{n-1}$ values, a correlation-immune function is called {resilient}. An asymptotic estimate of the number $N(n,k)$ of $n$-variable correlation-immune boolean functions of order $k$ was obtained in 1992 by Denisov for constant $k$. Denisov repudiated that estimate in 2000, but we will show that the repudiation was a mistake. The main contribution of this paper is an asymptotic estimate of $N(n,k)$ which holds if $k$ increases with $n$ within generous limits and specialises to functions with a given weight, including the resilient functions. In the case of $k=1$, our estimates are valid for all weights.

Simultaneous diagonal flips in plane triangulations are investigated. It is proved that every $n$-vertex triangulation with at least six vertices has a simultaneous flip into a 4-connected triangulation, and that it can be computed in O(n) time. It follows that every triangulation has a simultaneous flip into a Hamiltonian triangulation. This result is used to prove that for any two $n$-vertex triangulations, there exists a sequence of $O(\log n)$ simultaneous flips to transform one into the other. The total number of edges flipped in this sequence is O(n). The maximum size of a simultaneous flip is then studied. It is proved that every triangulation has a simultaneous flip of at least ${1/3}(n-2)$ edges. On the other hand, every simultaneous flip has at most $n-2$ edges, and there exist triangulations with a maximum simultaneous flip of ${6/7}(n-2)$ edges.