arXiv++ Combinatorics

In this article, we study orientably-regular maps of Euler characteristic $-2p^2$ and classify those that admit a group of orientation-preserving automorphisms of order $10p^2$, where $p$ is a prime number. Along the way, we classify all compact Riemann surfaces (or complex algebraic curves) of genus $1+p^2$ endowed with a group of conformal automorphisms of order $5p^2$.

The sequence $A067549$ of The On-Line Encyclopedia of Integer Sequences is defined as $(a_k)_{k \geq 1}$ with $a_k$ being the determinant of the $k \times k$ matrix whose diagonal contains the first $k$ prime numbers and all other elements are ones. We relate this sequence to a concrete counting problem. Choose an arbitrary residue class $r_i$ for each prime $p_i$ with $1 \leq i \leq k$ and set $P_k = \prod_{i=1}^k p_i$. We show that $a_k$ is the number of integers in $[1, P_k]$ that are contained in \emph{at most} one of the $k$ chosen residue classes. Interestingly, we show that this sequence is closely related to the better known sequence $A005867$ for which we derive a novel characterisation in terms of determinants and which gives the number of integers in $[1, P_k]$ that are not contained in any of the $k$ residue classes. Our proof is purely structural and, therefore, it can be generalised to counting appearances of integers in residue classes of arbitrary arithmetic progressions generated by $k$ different primes using the determinant of a matrix of ones having those $k$ primes on its diagonal. The revealed structure also offers a fast way of calculating such determinants.

We consider the action of a permutation group $G$ of order $k$ on the tropical polynomial semiring in $n$ variables. We prove that the sub-semiring of invariant polynomials is finitely generated if and only if $G$ is generated by $2$-cycles. There do exist finitely many separating invariants of degree at most $\max\{n,{n\choose 2}\}$. Separating tropical invariants can be used to construct bi-Lipschitz embeddings of the orbit space ${\mathbb R}^n/G$ into Euclidean space. We also show that the invariant polynomials of degree $\leq n p_1p_2\cdots p_k$ generate the semifield of invariant rational tropical functions, where $p_1,p_2,\dots,p_k$ are the first $k$ prime numbers. Most results are also true over arbitrary semirings that are additively idempotent and multiplicatively cancellative.

We study the asymptotic distribution of integers sharing the same rooted-tree structure that encodes their complete prime factorization tower. For each tree we derive an explicit density formula depending only on a pair $(m,k)$, the density signature of the tree, up to a suitable multiplicative scalar factor and introduce the corresponding tree zeta function, which generalizes the prime zeta function. Classical results such as the prime number theorem and later work by Landau appear as special cases.

In recent work by Botkin, Dawsey, Hemmer, Just and the present author, a deterministic model of prime number distribution is developed based on properties of integer partitions that gives almost exact estimates for $π(n)$, the number of primes less than or equal to positive integer $n$, up to $n=10{,}000$. In this follow-up paper, the author summarizes the ideas behind this partition-theoretic model of primes and formulates a computational model that is practically exact in its estimates of $π(n)$ up to $n=100,000$.

We show that the infinite product defined by \[ P(z) = -\prod_{n=1}^{\infty} (Φ_n(z))^{-1/n}, \] where \( Φ_n(z) \) is the \( n \)-th cyclotomic polynomial, is constant inside the unit disk. The proof translates a result of Ramanujan on Ramanujan sums, equivalent to the prime number theorem, to the setting of infinite products. We also show that similar identities proved by Ramanujan lead to additional results on infinite cyclotomic products.

Introduced by Sheekey in 2016, the study of scattered polynomials over a finite field $\mathbb{F}_{q^n}$ has been increasing regarding the classification of those that are exceptional, i.e., polynomials which are scattered over infinite field extensions, are limited to the cases where their index $t$ is small, or a prime number larger than the q-degree k of the polynomial, or an integer smaller than k in the case where k is a prime. In this paper, we focus on the scattered behavior of $S(x)=\sum_{i=1}^k a_ix^{q^{r_i}} \in \mathbb{F}_{q^n}[x]$, where $q$ is a power of an odd prime, $0<r_1<r_2< \cdots<r_k<n$ and $a_1, \cdots,a_k \in \mathbb{F}_{q^n}^*$ such that the order of $a_i$'s divide $(q^{r_1}-1)$, $\forall i=2,3,\cdots,k $. We explore a connection between $S(x)$ and the cyclotomic mapping polynomial. As an application, in three parts, we discuss the scattered behavior of $S(x)$ of index $t$ where $t=r_1$, or $0<t<r_1$, or $r_1<t<n$. Starting with the pseudoregulus type of index $t \geq 0$, we present conditions to verify scattered behavior of $S(x)$ of index $r_1$. With some additional conditions, we do the same in case $0<t<r_1$ or $r_1<t<n$. In particular, for $S(x)=a_1x^{q^{r_1}}+a_2x^{q^{r_2}} \in \mathbb{F}_{q^n}[x]$ with $a_1,a_2 \in \mathbb{F}_{q^n}^*$ such that $|a_2| \mid q^{r_1}-1$, we present a necessary and sufficient condition to verify its scattered behavior of index $t \in \{r_1,r_2\}$. We also connect such scattered binomials with the well known Lunardon-Polverino polynomial. With conditions on $δ, q,n$, and $r$; we present a new family of exceptional scattered polynomial $S(x)=x^q+δx^{q^{(2r+1)}} \in \mathbb{F}_{q^n}[x]$ of index $\{r+1\}$.

Let $G$ be a finite group. A sequence over $G$ is a finite multiset of elements of $G$, and it is called product-one if its terms can be ordered so that their product is the identity of $G$. The large Davenport constant $\D(G)$ is the maximal length of a minimal product-one sequence, that is, a product-one sequence that cannot be partitioned into two nontrivial product-one subsequences. Let $p,q$ be odd prime numbers with $p \mid q-1$ and let $C_q \rtimes C_p$ denote the non-abelian group of order $pq$. It is known that $\D(C_q \rtimes C_p) = 2q$. In this paper, we describe all minimal product-one sequences of length $2q$ over $C_q \rtimes C_p$. As an application, we further investigate the $k$-th elasticity (and, consequently, the union of sets containing $k$) of the monoid of product-one sequences over these groups.

For a given function from a set to itself, we can define a directed graph called the functional graph, where the vertices are the elements of the set, and the edges are all the pairs of inputs and outputs for the function. In this article we consider functional graphs on Z/mZ with respect to polynomial functions. The main result describes the behavior of cycles in functional graphs on Z/p^nZ while $n$ is increasing, where $p$ is a prime number.

The study of modular representation theory of the double covering groups of the symmetric and alternating groups reveals rich and subtle combinatorial and algebraic phenomena involving their irreducible characters and the structure of their p-blocks, where p is an odd prime number. In this paper, we investigate the action of certain Galois automorphisms, those that act on p'-roots of unity by a power of p, on spin characters, with an emphasis on their interaction with perfect isometries and block theory. In particular, we prove that perfect isometries constructed by the first author and J.\,B. Gramain in \cite{BrGr3}, which were used to establish a weaker form of the Kessar--Schaps conjecture, remain preserved under this Galois action whenever certain natural compatibility conditions occur.

We provide two new proofs of the infinitude of prime numbers, using the additive Ramsey-theoretic result known as Folkman's theorem (alternatively, one can think of these proofs as using Hindman's theorem). This adds to the existing literature deriving the infinitude of primes from Ramsey-type theorems.

Let $p$ be a prime number and $ς$ and $m$ be a positive integers. Let $\mathcal{R} = \mathbb{F}_{2^m} + u\mathbb{F}_{2^m} + u^2\mathbb{F}_{2^m}$ ($u^3 = 0$). Cyclic codes of length $2^ς$ over $\mathcal{R}$ are precisely the ideals of the local ring $\frac{\mathcal{R}[x]}{\langle x^{2^ς}-1 \rangle}$. The Gray map from a code of Lee weight over $\mathbb{Z}_4$ to a code with Hamming weight over $\mathbb{F}_2$ is known to preserve weight. In this paper, we determine the Lee distance of cyclic codes of length $2^ς$ over $\mathcal{R}$.

Let $T_{8p} = \left\langle a,b\mid a^{2p}=b^8=e,a^p=b^4,b^{-1}ab=a^{-1} \right\rangle$ be a nonabelian group of order $8p$, where $p$ is an odd prime number. In this paper, we give the formula to calculate the number of Cayley graphs over $T_{8p}$ up to isomorphism by using the Pólya Enumeration Theorem. Moreover, we get the formula to calculate the number of connected Cayley graphs over $T_{8p}$ by deleting the disconnected graphs. By applying the results, we list the exact number of (connected) Cayley graphs for $3\leq p \leq 13$.

We prove a purely combinatorial obstruction for the Bloch-Kato property within the class of fundamental groups of complement manifolds of toric arrangements (i.e., arrangements of hypersurfaces in the complex torus). As a stepping stone we obtain a combinatorial obstruction for the cohomology of a supersolvable arrangement to be generated in degree 1. Our result allows us to prove that - for all prime numbers $p$, the pro-$p$ completion of the pure braid group on $k$ strands has the Bloch-Kato property if and only if $k\leq 3$; - for all prime numbers $p$, the pro-$p$ completion of the pure mapping class group of the sphere $S^2$ with $k$ punctures has the Bloch-Kato property if and only if $k\leq 4$.

For nonempty subsets $X$ and $Y$ of a group $G$, we say that $(X,Y)$ is a tiling of $G$ if every element of $G$ can be uniquely expressed as $xy$ for some $x\in X$ and $y\in Y$. In 1966, Rothaus and Thompson studied whether the symmetric group $S_n$ with $n\geq3$ admits a tiling $(T_n,Y)$, where $T_n$ consists of the identity and all the transpositions in $S_n$. They showed that no such tiling exists if $1+n(n-1)/2$ is divisible by a prime number at least $\sqrt{n}+2$. In this paper, we establish a new necessary condition for the existence of such a tiling: the subset $Y$ must be partition-transitive with respect to certain partitions of $n$. This generalizes the result of Rothaus and Thompson, as well as a result of Nomura in 1985. We also study whether $S_n$ can be tiled by the set $T_n^*$ of all the transpositions, which finally leads us to conjecture that neither $T_n$ nor $T_n^*$ tiles $S_n$ for any $n\geq4$.

A $k$-wise $\ell$-divisible set family is a collection $\mathcal{F}$ of subsets of ${ \{1,\ldots,n \} }$ such that any intersection of $k$ sets in $\mathcal{F}$ has cardinality divisible by $\ell$. If $k=\ell=2$, it is well-known that $|\mathcal{F}|\leq 2^{\lfloor n/2 \rfloor}$. We generalise this by proving that $|\mathcal{F}|\leq 2^{\lfloor n/p\rfloor}$ if $k=\ell=p$, for any prime number $p$. For arbitrary values of $\ell$, we prove that $4\ell^2$-wise $\ell$-divisible set families $\mathcal{F}$ satisfy $|\mathcal{F}|\leq 2^{\lfloor n/\ell\rfloor}$ and that the only families achieving the upper bound are atomic, meaning that they consist of all the unions of disjoint subsets of size $\ell$. This improves upon a recent result by Gishboliner, Sudakov and Timon, that arrived at the same conclusion for $k$-wise $\ell$-divisible families, with values of $k$ that behave exponentially in $\ell$. Our techniques rely heavily upon a coding-theory analogue of Kneser's Theorem from additive combinatorics.

Paul Erdos posed the following question: Is there a prime number $p>5$ such that the residues of $2!$, $3!$,\ldots, $(p-1)!$ modulo $p$ all are distinct? In this short note, we prove that there are no such prime numbers.

We study an analogue of the Herbrand-Ribet theorem, and its refinement by Mazur and Wiles, in graph theory. For an odd prime number $p$, we let $\mathbb{F}_{p}$ and $\mathbb{Z}_{p}$ denote the finite field with $p$ elements and the ring of $p$-adic integers, respectively. We consider Galois covers $Y/X$ of finite graphs with Galois group $Δ$ isomorphic to $\mathbb{F}_{p}^{\times}$. Given a $\mathbb{Z}_{p}$-valued character of $Δ$, we relate the cardinality of the corresponding character component of the $p$-primary subgroup of the degree zero Picard group of $Y$ to the $p$-adic absolute value of the special value at $u=1$ of the corresponding Artin-Ihara $L$-function.

A red-white coloring of a nontrivial connected graph $G$ is an assignment of red and white colors to the vertices of~$G$. Associated with each vertex $v$ of $G$ of diameter $d$ is a $d$-vector, called the code of $v$, whose $i$th coordinate is the number of red vertices at distance $i$ from $v$. A red-white coloring of $G$ for which distinct vertices have distinct codes is called an ID-coloring of $G$. In 2025, a criterion to determine whether a red-white coloring of a path is an ID-coloring or not was presented by Kono, with the aid of a result shown by Marcelo et al. in 2024. The criterion utilizes the fact that ID-colorings of paths are ``opposite'' of colorings with a certain symmetry. In this paper, we establish a similar criterion that can be applied for cycles whose order is a prime number at least 3. In order to do so, we employ an analogous approaches used for the criterion for paths, i.e., we pay attention to symmetries of given red-white colorings of cycles.

Given two subsets $A, B \subseteq \mathbb{F}_p$ and a binary relation $\mathcal{R} \subseteq A \times B$, the restricted sumset of $A, B$ with respect to $\mathcal{R}$ is defined as $A +_{\mathcal{R}} B = \{ a+b \colon (a,b) \notin \mathcal{R} \}$. When $\mathcal{R}$ is taken as the equality relation, determining the minimum value of $|A +_{\mathcal{R}} B|$ is the famous Erdős--Heilbronn problem, which was solved separately by Dias da Silva, Hamidoune and Alon, Nathanson and Ruzsa. Lev later conjectured that if $A, B \subseteq \mathbb{F}_p$ with $|A| + |B| \le p$ and $\mathcal{R}$ is a matching between subsets of $A$ and $B$, then $|A +_{\mathcal{R}} B| \ge |A| + |B| - 3$. We confirm this conjecture in the case where $|A| + |B| \le (1-\varepsilon)p$ for any $\varepsilon > 0$, provided that $p > p_0$ for some sufficiently large $p_0$ depending only on $\varepsilon$. Our proof builds on a recent work by Bollobás, Leader, and Tiba, and a rectifiability argument developed by Green and Ruzsa. Furthermore, our method extends to cases when $\mathcal{R}$ is a degree-bounded relation, either on both sides $A$ and $B$ or solely on the smaller set. In addition, we construct subsets $A \subseteq \mathbb{F}_p$ with $|A| = \frac{6p}{11} - O(1)$ such that $|A +_{\mathcal{R}} A| = p-3$ for any prime number $p$, where $\mathcal{R}$ is a matching on $A$. This extends an earlier construction by Lev and highlights a distinction between the combinatorial notion of the restricted sumset and the classcial Erdős--Heilbronn problem, where $|A +_{\mathcal{R}} A| \ge p$ holds given $\mathcal{R} = \{(a,a) \colon a \in A\}$ is the equality relation on $A$ and $|A| \ge \frac{p+3}{2}$.