arXiv++ Combinatorics

Let $d\geq 3$ be a fixed integer, and a prime number $p$ such that $\gcd(p,d)=1$. Let $A$ be the adjacency matrix of a random $d$-regular directed graph on $n$ vertices. We show that as a random matrix in ${\mathbb F}_p$, \begin{equation} {\mathbb P}(\text{$A$ is singular in ${\mathbb F}_p$})\leq \frac{1+{\mathrm{o}}(1)}{p-1}, \end{equation} as $n$ goes to infinity. As a consequence, as a random matrix in $\mathbb R$, \begin{equation} {\mathbb P}(\text{$A$ is singular in $\mathbb R$})={\mathrm{o}}(1) \end{equation} as $n$ goes to infinity. This answers an open problem by Frieze [12] and Vu [29,30], for random $d$-regular bipartite graphs. The proof combines a local central limit theorem and a large deviation estimate.

The Catalan numbers constitute one of the most important sequences in combinatorics. Catalan objects have been generalized in various directions, including the classical Fuss-Catalan objects and the rational Catalan generalization of Armstrong-Rhoades-Williams. We propose a wider generalization of these families indexed by a composition $s$ which is motivated by the combinatorics of planar rooted trees; when $s=(2,...,2)$ and $s=(k+1,...,k+1)$ we recover the classical Catalan and Fuss-Catalan combinatorics, respectively. Furthermore, to each pair $(a,b)$ of relatively prime numbers we can associate a signature that recovers the combinatorics of rational Catalan objects. We present explicit bijections between the resulting $s$-Catalan objects, and a fundamental recurrence that generalizes the fundamental recurrence of the classical Catalan numbers. Our framework allows us to define signature generalizations of parking functions which coincide with the generalized parking functions studied by Pitman-Stanley and Yan, as well as generalizations of permutations which coincide with the notion of Stirling multipermutations introduced by Gessel-Stanley. Some of our constructions differ from the ones of Armstrong-Rhoades-Williams, however as a byproduct of our extension, we obtain the additional notions of rational permutations and rational trees.

It is a surprising fact that the proportion of integer lattice points visible from the origin is exactly $\frac{6}{π^2}$, or approximately 60 percent. Hence, approximately 40 percent of the integer lattice is hidden from the origin. Since 1971, many have studied a variety of problems involving lattice point visibility, in particular, searching for patterns in that 40 percent of the lattice comprised of invisible points. One such pattern is a square patch, an $n \times n$ grid of $n^2$ invisible points, which we call a hidden forest. It is known that there exist arbitrarily large hidden forests in the integer lattice. However, the methods up to now involve the Chinese Remainder Theorem (CRT) on the rows and columns of matrices with prime number entries, and they have only been able to locate hidden forests very far from the origin. For example, using this method the closest known $4 \times 4$ hidden forest is over 3 quintillion, or $3 \times 10^{18}$, units away from the origin. We introduce the concept of quasiprime matrices and utilize a variety of computational and theoretical techniques to find some of the closest known hidden forests to this date. Using these new techniques, we find a $4 \times 4$ hidden forest that is merely 184 million units away from the origin. We conjecture that every hidden forest can be found via the CRT-algorithm on a quasiprime matrix.

A consequence of Bertrand's postulate, proved by L. Greenfield and S. Greenfield in 1998, assures that the set of integers $\{1,2,\cdots, 2n\}$ can be partitioned into pairs so that the sum of each pair is a prime number for any positive integer $n$. Cutting through it from the angle of Graph Theory, this paper provides new insights into the problem. We conjecture a stronger statement that the set of integers $\{1,2,\cdots, 2n\}$ can be rearranged into a cycle so that the sum of any two adjacent integers is a prime number. Our main result is that this conjecture is true for infinitely many cases.

We give metric theorems for the property of Borel normality for real numbers under the assumption of digit dependencies in their expansion in a given integer base. We quantify precisely how much digit dependence can be allowed such that, still, almost all real numbers are normal. Our theorem states that almost all real numbers are normal when at least slightly more than $\log \log n$ consecutive digits with indices starting at position $n$ are independent. As the main application, we consider the Toeplitz set $T_P$, which is the set of all sequences $a_1a_2 \ldots $ of symbols from $\{0, \ldots, b-1\}$ such that $a_n$ is equal to $a_{pn}$, for every $p$ in $P$ and $n=1,2,\ldots$. Here $b$ is an integer base and $P$ is a finite set of prime numbers. We show that almost every real number whose base $b$ expansion is in $T_P$ is normal to base $b$. In the case when $P$ is the singleton set $\{2\}$ we prove that more is true: almost every real number whose base $b$ expansion is in $T_P$ is normal to all integer bases. We also consider the Toeplitz transform which maps the set of all sequences to the set $T_P$ and we characterize the normal sequences whose Toeplitz transform is normal as well.

Consider $n$ players having preferences over the connected pieces of a cake, identified with the interval $[0,1]$. A classical theorem, found independently by Stromquist and by Woodall in 1980, ensures that, under mild conditions, it is possible to divide the cake into $n$ connected pieces and assign these pieces to the players in an envy-free manner, i.e, such that no player strictly prefers a piece that has not been assigned to her. One of these conditions, considered as crucial, is that no player is happy with an empty piece. We prove that, even if this condition is not satisfied, it is still possible to get such a division when $n$ is a prime number or is equal to $4$. When $n$ is at most $3$, this has been previously proved by Erel Segal-Halevi, who conjectured that the result holds for any $n$. The main step in our proof is a new combinatorial lemma in topology, close to a conjecture by Segal-Halevi and which is reminiscent of the celebrated Sperner lemma: instead of restricting the labels that can appear on each face of the simplex, the lemma considers labelings that enjoy a certain symmetry on the boundary.

We pursue the investigation of generalizations of the Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a finite word appears as a subsequence of another finite word. The finite words occurring in this paper belong to the language of a Parry numeration system satisfying the Bertrand property, i.e., we can add or remove trailing zeroes to valid representations. It is a folklore fact that the Sierpiński gasket is the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from the classical Pascal triangle modulo $2$. In a similar way, we describe and study the subset of $[0, 1] \times [0, 1]$ associated with the latter generalization of the Pascal triangle modulo a prime number.

Using the method for constructing binary self-dual codes with an automorphism of order square of a prime number we have classified all binary self-dual codes with length 76 having minimum distance $d=14$ and automorphism of order 9. Up to equivalence, there are six self-dual $[76, 38, 14]$ codes with an automorphism of type $9$-$(8,0,4)$. All codes obtained have new values of the parameter in their weight enumerator thus more than doubling the number of known values.

Johnson recently proved Armstrong's conjecture which states that the average size of an $(a,b)$-core partition is $(a+b+1)(a-1)(b-1)/24$. He used various coordinate changes and one-to-one correspondences that are useful for counting problems about simultaneous core partitions. We give an expression for the number of $(b_1,b_2,\cdots, b_n)$-core partitions where $\{b_1,b_2,\cdots,b_n\}$ contains at least one pair of relatively prime numbers. We also evaluate the largest size of a self-conjugate $(s,s+1,s+2)$-core partition.

For a prime number $p$ and a sequence of integers $a_0,\dots,a_k\in \{0,1,\dots,p\}$, let $s(a_0,\dots,a_k)$ be the minimum number of $(k+1)$-tuples $(x_0,\dots,x_k)\in A_0\times\dots\times A_k$ with $x_0=x_1+\dots + x_k$, over subsets $A_0,\dots,A_k\subseteq\mathbb{Z}_p$ of sizes $a_0,\dots,a_k$ respectively. An elegant argument of Lev (independently rediscovered by Samotij and Sudakov) shows that there exists an extremal configuration with all sets $A_i$ being intervals of appropriate length, and that the same conclusion also holds for the related problem, reposed by Bajnok, when $a_0=\dots=a_k=:a$ and $A_0=\dots=A_k$, provided $k$ is not equal 1 modulo $p$. By applying basic Fourier analysis, we show for Bajnok's problem that if $p\ge 13$ and $a\in\{3,\dots,p-3\}$ are fixed while $k\equiv 1\pmod p$ tends to infinity, then the extremal configuration alternates between at least two affine non-equivalent sets.

Green used an arithmetic analogue of Szemerédi's celebrated regularity lemma to prove the following strengthening of Roth's theorem in vector spaces. For every $α>0$, $β<α^3$, and prime number $p$, there is a least positive integer $n_p(α,β)$ such that if $n \geq n_p(α,β)$, then for every subset of $\mathbb{F}_p^n$ of density at least $α$ there is a nonzero $d$ for which the density of three-term arithmetic progressions with common difference $d$ is at least $β$. We determine for $p \geq 19$ the tower height of $n_p(α,β)$ up to an absolute constant factor and an additive term depending only on $p$. In particular, if we want half the random bound (so $β=α^3/2$), then the dimension $n$ required is a tower of twos of height $Θ\left((\log p) \log \log (1/α)\right)$. It turns out that the tower height in general takes on a different form in several different regions of $α$ and $β$, and different arguments are used both in the upper and lower bounds to handle these cases.

A $k$-antimagic labeling of a graph $G$ is an injection from $E(G)$ to $\{1,2,\dots,|E(G)|+k\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $u$ is the sum of the labels assigned to edges incident to $u$. We call a graph $k$-antimagic when it has a $k$-antimagic labeling, and antimagic when it is 0-antimagic. Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic, but the conjecture is still open even for trees. Here we study $k$-antimagic labelings of caterpillars, which are defined as trees the removal of whose leaves produces a path, called its spine. As a general result, we use constructive techniques to prove that any caterpillar of order $n$ is $(\lfloor (n-1)/2 \rfloor - 2)$-antimagic. Furthermore, if $C$ is a caterpillar with a spine of order $s$, we prove that when $C$ has at least $\lfloor (3s+1)/2 \rfloor$ leaves or $\lfloor (s-1)/2 \rfloor$ consecutive vertices of degree at most 2 at one end of a longest path, then $C$ is antimagic. As a consequence of a result by Wong and Zhu, we also prove that if $p$ is a prime number, any caterpillar with a spine of order $p$, $p-1$ or $p-2$ is $1$-antimagic.

The complexities of self-dual normal bases, which are candidates for the lowest complexity basis of some defined extensions, are determined with the help of the number of all but the simple points in well chosen minimal Besicovitch arrangements. In this article, these values are first compared with the expected value of the number of all but the simple points in a minimal randomly selected Besicovitch arrangement in F d 2 for the first 370 prime numbers d. Then, particular minimal Besicovitch arrangements which share several geometrical properties with the arrangements considered to determine the complexity will be considered in two distinct cases.

In this paper we prove non-existence of nontrivial partial difference sets in Abelian groups of order 8p^3, where p \geq 3 is a prime number.

Let $p$ be a prime number. In this article we study the restriction to $\mathfrak{S}_{n-1}$ of irreducible characters of degree coprime to $p$ of $\mathfrak{S}_n$. In particular, we study the combinatorial properties of the subgraph $\mathbb{Y}_{p'}$ of the Young graph $\mathbb{Y}$. This is an extension to odd primes of the work done by Ayyer, Prasad and Spallone for $p=2$.

In this article we study the number of different cuboids $\mathcal{O}(N)$ that can be built with an arbitrary number $N$ of equal cubes. This problem is equivalent to find the number of different cuboids of volume $N$ with integer length edges. We obtain an iterative method to calculate the value of $\mathcal{O}(N)$ for any $N$. Using this method we obtain an explicit formula when $N$ is the product of two powers of prime numbers. The bidimensional case is also studied and we give a general formula to determine the number of different rectangles that can be built with an arbitrary number of equal squares.

Let $\mathbb{Z}_{p^s}$ be the residue class ring of integers modulo $p^s$, where $p$ is a prime number and $s$ is a positive integer. Using matrix representation and the inner rank of a matrix, we study the intersection, join, dimension formula and dual subspaces on vector subspaces of $\mathbb{Z}^n_{p^s}$. Based on these results, we investigate the Grassmann graph $G_{p^s}(n,m)$ over $\mathbb{Z}_{p^s}$. $G_{p^s}(n,m)$ is a connected vertex-transitive graph, and we determine its valency, clique number and maximum cliques. Finally, we characterize the automorphisms of $G_{p^s}(n,m)$.

We investigate the statistical behavior of the eigenvalues and diameter of random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ %and the Symmetric group $S_n$ as the prime number $p$ goes to infinity. We prove a density theorem for the number of exceptional eigenvalues of random Cayley graphs i.e. the eigenvalues with absolute value bigger than the optimal spectral bound. Our numerical results suggest that random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ and the explicit LPS Ramanujan projective graphs of $\mathbb{P}^1(\mathbb{Z}/p\mathbb{Z})$ have optimal spectral gap and diameter as the prime number $p$ goes to infinity.

A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $Δ[G]$. The fraction $ð[G]:=\frac{Δ[G]}{\sqrt{|G|}}$ is called the difference characteristic of $G$. Using properies of the Galois rings, we prove recursive upper bounds for the difference sizes and characteristics of finite Abelian groups. In particular, we prove that for a prime number $p\ge 11$, any finite Abelian $p$-group $G$ has difference characteristic $ð[G]<\frac{\sqrt{p}-1}{\sqrt{p}-3}\cdot\sup_{k\in\mathbb N}ð[C_{p^k}]<\sqrt{2}\cdot\frac{\sqrt{p}-1}{\sqrt{p}-3}$. Also we calculate the difference sizes of all Abelian groups of cardinality $<96$.

Let $n=p_1^{n_1}p_2^{n_2}\ldots p_r^{n_r}$, where $r,n_1,\ldots, n_r$ are positive integers and $p_1,p_2,\ldots,p_r$ are distinct prime numbers with $p_1<p_2<\cdots <p_r$. For the cyclic group $C_n$ of order $n$, let $\mathcal{P}(C_n)$ be the power graph of $C_n$ and $κ(\mathcal{P}(C_n))$ be the vertex connectivity of $\mathcal{P}(C_n)$. It is known that $κ(\mathcal{P}(C_n))=p_1^{n_1} -1$ if $r=1$. For $r\geq 2$, we determine the exact value of $κ(\mathcal{P}(C_n))$ when $2φ(p_1\ldots p_{r-1})\geq p_1\ldots p_{r-1}$, and give an upper bound for $κ(\mathcal{P}(C_n))$ when $2φ(p_1\ldots p_{r-1}) < p_1\ldots p_{r-1}$, which is sharp for many values of $n$ but equality need not hold always.