arXiv++ Combinatorics

The type A colored Tverberg theorem of Blagojević, Matschke, and Ziegler provides optimal bounds for the colored Tverberg problem, under the condition that the number of intersecting rainbow simplices is a prime number. We extend this result to an optimal, type A colored Tverberg theorem for multisets of colored points, which is valid for each prime power $r=p^k$. One of the principal new ideas is to replace the ambient simplex $Δ^N$, used in the original Tverberg theorem, by an "abridged simplex" of smaller dimension, and to compensate for this reduction by allowing vertices to repeatedly appear a controlled number of times in different rainbow simplices. Configuration spaces, used in the proof, are combinatorial pseudomanifolds which can be represented as multiple chessboard complexes. Our main topological tool is the Eilenberg-Krasnoselskii theory of degrees of equivariant maps for non-free actions.

A well-known conjecture of Gilbreath, and independently Proth from the 1800s, states that if $a_{0,n} = p_n$ denotes the $n^{\text{th}}$ prime number and $a_{i,n} = |a_{i-1,n}-a_{i-1,n+1}|$ for $i, n \ge 1$, then $a_{i,1} = 1$ for all $i \ge 1$. It has been postulated repeatedly that the property of having $a_{i,1} = 1$ for $i$ large enough should hold for any choice of initial $(a_{0,n})_{n \ge 1}$ provided that the gaps $a_{0,n+1}-a_{0,n}$ are not too large and are sufficiently random. We prove (a precise form of) this postulate.

The paper considers the sequence of the Motzkin words, which is constructed according to formal features of natural numbers. We investigate the decomposition of well-formed parentheses into the matched pairs of parentheses (analogous to Prime Numbers). The point triangle of bracket pairs is constructed and studied, as well as the numerical Motzkin triangle (similar to Pascal's triangle). To calculate the Motzkin triangle, the graphical method of stars and bars is used.

Let 0 < a < b be two relatively prime integers and let <a,b> be the numerical semigroup generated by a and b with Frobenius number g(a,b)=ab-a-b. In this note, we prove that there exists a prime number p in <a,b> with p < g(a,b) when the product ab is sufficiently large. Two related conjectures are posed and discussed as well.

A set of integers greater than 1 is primitive if no element divides another. Erdős proved in 1935 that the sum of $1/(n \log n)$ for $n$ running over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained by the set of prime numbers. We answer the Erdős question in the affirmative for 2-primitive sets. Here a set is 2-primitive if no element divides the product of 2 other elements.

We generalize a formula due to Macdonald that relates the singular Betti numbers of $X^{n}/G$ to those of $X$, where $X$ is a compact manifold and $G$ is any subgroup of the symmetric group $S_{n}$ acting on $X^{n}$ by permuting coordinates. Our result is completely axiomatic: in a general setting, given an endomorphism on the cohomology $H^{\bullet}(X)$, it explains how we can explicitly relate the Lefschetz series of the induced endomorphism on $H^{\bullet}(X^{n})^{G}$ to that of the given endomorphism on $H^{\bullet}(X)$ in the presence of the Künneth formula with respect to a cup product. For example, when $X$ is a compact manifold, we take the Lefschetz series given by the singular cohomology with rational coefficients. On the other hand, when $X$ is a projective variety over a finite field $\mathbb{F}_{q}$, we use the $l$-adic étale cohomology with a suitable choice of prime number $l$. We also explain how our formula generalizes the Pólya enumeration theorem, a classical theorem in combinatorics that counts colorings of a graph up to given symmetries, where $X$ is taken to be a finite set of colors. When $X$ is a smooth projective variety over $\mathbb{C}$, our formula also generalizes a result of Cheah that relates the Hodge numbers of $X^{n}/G$ to those of $X$. We will also see that our result generalizes the following facts: 1. the generating function of the Poincaré polynomials of symmetric powers of a compact manifold $X$ is rational; 2. the generating function of the Hodge-Deligne polynomials of symmetric powers of a smooth projective variety $X$ over $\mathbb{C}$ is rational; 3. the zeta series of a projective variety $X$ over $\mathbb{F}_{q}$ is rational. We also prove analogous rationality results when we replace $S_{n}$ with $A_{n}$, alternating groups.

The article describes prime intervals into the prime factorization of the middle binomial coefficient. Prime factors and prime powers are distributed in layers. Each layer consists of non-repeated prime numbers which are chosen (not calculated) from the noncrossing prime intervals. Repeated factors are formed when primes are duplicated among different layers.

A graph is Hamiltonian if it contains a cycle which visits every vertex of the graph exactly once. In this paper, we consider the problem of Hamiltonicity of a graph $G_n$, which will be called the prime difference graph of order $n$, with vertex set $\{1,2,\cdots, n\}$ and edge set $\{uv: |u-v|$ is a prime number$\}$. A recent result, conjectured by Sun and later proved by Chen, asserts that $G_n$ is Hamiltonian for $n\geq 5$. This paper extends their result in three directions. First, we prove that for any two integers $a$ and $b$ with $1\leq a<b\leq n$, there is a Hamilton path in $G_n$ from $a$ to $b$ except some cases of small $n$. This result implies robustness of the Hamiltonicity property of the prime difference graph in a sense that for any edge $e$ in $G_n$ there exists a Hamilton cycle containing $e$. Second, we show that the prime difference graph contains considerably more about the cycle structure than Hamiltonicity; precisely, for any integer $n\geq 7$, the prime difference graph $G_n$ contains any 2-factor of the complete graph of order $n$ as a subgraph. Finally, we find that $G_n$ may contain more edge-disjoint Hamilton cycles. In particular, these Hamilton cycles are generated by two prime differences.

In 2011, Fang et al. in (J. Combin. Theory A 118 (2011) 1039-1051) posed the following problem: Classify non-normal locally primitive Cayley graphs of finite simple groups of valency $d$, where either $d\leq 20$ or $d$ is a prime number. The only case for which the complete solution of this problem is known is of $d=3$. Except this, a lot of efforts have been made to attack this problem by considering the following problem: Characterize finite nonabelian simple groups which admit non-normal locally primitive Cayley graphs of certain valency $d\geq4$. Even for this problem, it was only solved for the cases when either $d\leq 5$ or $d=7$ and the vertex stabilizer is solvable. In this paper, we make crucial progress towards the above problems by completely solving the second problem for the case when $d\geq 11$ is a prime and the vertex stabilizer is solvable.

We study the dissection of a square into congruent convex polygons. Yuan \emph{et al.} [Dissecting the square into five congruent parts, Discrete Math. \textbf{339} (2016) 288-298] asked whether, if the number of tiles is a prime number $\geq 3$, it is true that the tile must be a rectangle. We conjecture that the same conclusion still holds even if the number of tiles is an odd number $\geq 3$. Our conjecture has been confirmed for triangles in earlier works. We prove that the conjecture holds if either the tile is a convex $q$-gon with $q\geq 6$ or it is a right-angle trapezoid.

In 1991, N. Shalaby conjectured that any additive group $\mathbb{Z}_n$, where $n\equiv1$ or 3 (mod 8) and $n \geq11$, admits a strong Skolem starter and constructed these starters of all admissible orders $11\leq n\leq57$. Shalaby and et al. [O. Ogandzhanyants, M. Kondratieva and N. Shalaby, \emph{Strong Skolem Starters}, J. Combin. Des. {\bf 27} (2018), no. 1, 5--21] was proved if $n=Π_{i=1}^{k}p_i^{α_i}$, where $p_i$ is a prime number such that $ord(2)_{p_i}\equiv 2$ (mod 4) and $α_i$ is a non-negative integer, for all $i=1,\ldots,k$, then $\mathbb{Z}_n$ admits a strong Skolem starter. On the other hand, the author [A. Vázquez-Ávila, \emph{A note on strong Skolem starters}, Discrete Math. Accepted] gives different families of strong Skolem starters for $\mathbb{Z}_p$ than Shalaby et al, where $p\equiv3$ (mod 8) is an odd prime. Recently, the author [A. Vázquez-Ávila, \emph{New families of strong Skolem starters}, Submitted] gives different families of strong Skolem starters of $\mathbb{Z}_{p^n}$ than Shalaby et al, where $p\equiv3$ (mod 8) and $n$ is an integer greater than 1. In this paper, we gives some different families of strong Skolem starters of $\mathbb{Z}_{pq}$, where $p,q\equiv3$ (mod 8) are prime numbers such that $p<q$ and $(p-1)\nmid(q-1)$.

For every positive integer $n$ greater than $4$ there is a set of Latin squares of order $n$ such that every permutation of the numbers $1,\ldots,n$ appears exactly once as a row, a column, a reverse row or a reverse column of one of the given Latin squares. If $n$ is greater than $4$ and not of the form $p$ or $2p$ for some prime number $p$ congruent to $3$ modulo $4$, then there always exists a Latin square of order $n$ in which the rows, columns, reverse rows and reverse columns are all distinct permutations of $1,\ldots,n$, and which constitute a permutation group of order $4n$. If $n$ is prime congruent to $1$ modulo $4$, then a set of $(n-1)/4$ mutually orthogonal Latin squares of order $n$ can also be constructed by a classical method of linear algebra in such a way, that the rows, columns, reverse rows and reverse columns are all distinct and constitute a permutation group of order $n(n-1)$.

It is known that the core of mathematics is natural numbers. And everything related to the natural number is interesting to mathematicians. In this paper, we draw parallels between natural numbers and elements of a non-numeric lexicographic sequence, Motzkin words (well-formed strings of parentheses and zeros). We will also talk about the decomposition of Motzkin words into pairs of parentheses (analogue of Prime Numbers). Finally, we will try to interest the reader in the elements of mathematical analysis on bracket expressions. The nesting procedure of parentheses is described by the author as the differentiation of the weight function. We will work a little with derivatives for bracket pairs and also give some differential equations.

In this paper, a new graph structure called the \textit{coprime order graph} of a finite group $G$ denoted by $Θ(G)$ has been introduced. The \textit{coprime graph} of a finite group introduced by Ma, Wei, and Yang [\textit{The coprime graph of a group. International Journal of Group Theory, 3(3), pp.13-23.}] is a subgraph of the \textit{coprime order graph} introduced in this paper. The vertex set of $Θ(G)$ is $G$, and any two vertices $x,y$ in $Θ(G)$ are adjacent if and only if $\gcd(o(x),o(y))$ is equal to $1$ or a prime number. We study how the graph properties of $Θ(G)$ and group properties of $G$ are related among themselves. We provide a necessary and sufficient condition for $Θ(G)$ to be Eulerian for any finite group $G$. We also study $Θ(G)$ for certain finite groups like $\mathbb Z_n$ and $\mbox D_n$ and derive conditions when it is connected, complete, planar, and Hamiltonian for various $n\in \mathbb N$. We also study the vertex connectivity of $Θ(\mathbb Z_n)$ for various $n\in \mathbb N.$ Finally, we have computed the signless Laplacian spectrum of $Θ(G)$ when $G=\mathbb Z_n$ and $G=\mbox D_n$ for $n\in \{pq,p^m\}$ where $p,q$ are distinct primes and $m\in \mathbb{N}$.

We investigate eigenvalues of the zero-divisor graph $Γ(R)$ of finite commutative rings $R$ and study the interplay between these eigenvalues, the ring-theoretic properties of $R$ and the graph-theoretic properties of $Γ(R)$. The graph $Γ(R)$ is defined as the graph with vertex set consisting of all non-zero zero-divisors of $R$ and adjacent vertices $x,y$ whenever $xy = 0$. We provide formulas for the nullity of $Γ(R)$, i.e. the multiplicity of the eigenvalue 0 of $Γ(R)$. Moreover, we precisely determine the spectra of $Γ(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ and $Γ(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ for a prime number $p$. We introduce a graph product $\times_Γ$ with the property that $Γ(R) \cong Γ(R_1) \times_Γ \ldots \times_Γ Γ(R_r)$ whenever $R \cong R_1 \times \ldots \times R_r.$ With this product, we find relations between the number of vertices of the zero-divisor graph $Γ(R)$, the compressed zero-divisor graph, the structure of the ring $R$ and the eigenvalues of $Γ(R)$.

Let $p$ be an odd prime number. In this paper, we construct $2(2p-3)$ classes of codes over the ring $R=\Bbb F_p+u\Bbb F_p,u^2=0$, which are associated with down sets. We compute the Lee weight distributions of the $2(2p-3)$ classes of codes when the down sets are generated by a single maximal element. Moreover, by using the Gray map of the linear codes over $R$, we find out $2(p-1)$ classes of $p$-ary distance optimal linear codes. Two of them meet the Griesmer bound.

Following attempts at an analytic proof of the Pentagonal Number Theorem, we report on the discovery of a general principle leading to an unexpected cancellation of oscillating sums. After stating the motivation, and our theorem, we apply it to prove several results on the Prouhet-Tarry-Escott Problem, integer partitions, and the distribution of prime numbers. Regarding the Prouhet-Tarry-Escott problem, we show that \begin{align*} \sum_{|\ell|\leq x}(4x^2-4\ell^2)^{2r}-\sum_{|\ell|<x}(4x^2-(2\ell+1)^2)^{2r}=\text{polynomial w.r.t. } x \text{ with degree }2r-1. \end{align*} This can perhaps be proved using properties of Bernoulli polynomials, but the claim fell out of our method in a more natural and motivated way. Using this result, we solve an approximate version of the PTE Problem, and in doing so our work in the approximate case exceeds the bounds one can prove using a pigeonhole argument, which seems remarkable. Also, we prove that $$ \sum_{\ell^2 < n} (-1)^\ell p(n-\ell^2)\ \sim\ (-1)^n 2^{-3/4} n^{-1/4} \sqrt{p(n)}, $$ where $p(n)$ is the usual partition function. We get the following "Weak pentagonal number theorem", in which we can replace the partition function $p(n)$ with Chebyshev $Ψ$ function: $$ \sum_{0 < \ell < \sqrt{xT}/2} Ψ([e^{\sqrt{x - \frac{(2\ell)^2}{T}}},\ e^{\sqrt{x - \frac{(2\ell-1)^2}{T}}}])\ =Ψ(e^{\sqrt{x}})\left(\frac{1}{2} + O\left (e^{-0.196\sqrt{x}}\right)\right), $$ where $T=e^{0.786\sqrt{x}}$, where $Ψ([a,b]) := \sum_{n\in [a,b]} Λ(n)$ and $Ψ(x) = Ψ([1,x])$, where $Λ$ is the von Mangoldt function. Note that this last equation (sum over $\ell$) is stronger than one would get using a strong form of the Prime Number Theorem and also a naive use of the Riemann Hypothesis in each interval, since the widths of the intervals are smaller than $e^{\frac{1}{2} \sqrt{x}}$, making the RH estimate ``trivial".

We introduce a concept of a Goldbach factorization graph (GFG) $F_n$, which can be constructed for each even integer $n$ greater than 2. We prove that, if $n$ does not satisfy the binary Goldbach conjecture (BGC), then $F_n$ contains a special source strongly connected component (exceptional autonomous component, EAC). We analyse existence and properties of EACs using deductive and computational approaches. In particular, we prove that there exists exactly one EAC induced by two vertices. Using computer-aided search, we show that for $n \leq 10^8$ there are 6 EACs, each inside a different GFG, and they are located at the relative beginning of the checked range, namely, for $n\in\{128,1718,1862,1928,2200,6142\}$. Using classic graph algorithms, the constraint programming method, and metaheuristic approaches, we have prepared a repository of drawings and some selected properties of the found EACs and GFGs which contain them. The concept of EAC relates to the BGC, but more generally, it represents interesting self-conjugation of prime numbers under a relation which combines addition and multiplication.

Given a finite group $G$, the character graph, denoted by $Δ(G)$, for its irreducible character degrees is a graph with vertex set $ρ(G)$ which is the set of prime numbers that divide the irreducible character degrees of $G$, and with $\{p,q\}$ being an edge if there exist a non-linear $χ\in {\rm Irr}(G)$ whose degree is divisible by $pq$. In this paper, we discuss the influences of cut vertices and eigenvalues of $Δ(G)$ on the group structure of $G$. Recently, Lewis and Meng proved the character graph of each solvable group has at most one cut vertex. Now, we determine the structure of character graphs of solvable groups with a cut vertex and diameter $3$. Furthermore, we study solvable groups whose character graphs have at most two distinct eigenvalues. Moreover, we investigate the solvable groups whose character graphs are regular with three distinct eigenvalues. In addition, we give some lower bounds for the number of edges of $Δ(G)$.

An arithmetical structure on the complete graph $K_n$ with $n$ vertices is given by a collection of $n$ positive integers with no common factor each of which divides their sum. We show that, for all positive integers $c$ less than a certain bound depending on $n$, there is an arithmetical structure on $K_n$ with largest value $c$. We also show that, if each prime factor of $c$ is greater than $(n+1)^2/4$, there is no arithmetical structure on $K_n$ with largest value $c$. We apply these results to study which prime numbers can occur as the largest value of an arithmetical structure on $K_n$.