arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2025-11-06
On Euler's Theorem
Euler's theorem asserts that $A(n)=B(n)$ where $A(n)$ is the number of partitions of $n$ into distinct parts and $B(n)$ is the number of partitions of $n$ into odd parts. In this paper, it is proved that for $n>0$, \begin{align*} A(n)=B(n)=C(n+1)=\frac{1}{2}D(n+1), \end{align*} where $C(n)$ is the number of partitions of $n$ with largest part even and parts not exceeding half of the largest part are distinct, and $D(n)$ is the number of partitions of $n$ into non-negative parts wherein the smallest part appear exactly twice and no other parts are repeated.
2025-11-06
Rainbow planar Tur{á}n numbers of cycles
The rainbow Tur{á}n number of a fixed graph $H$, denoted by ${\text{ex}}^*(n,H)$, is the maximum number of edges in an $n$-vertex graph such that it admits a proper edge coloring with no rainbow $H$. We study this problem in planar setting. The rainbow planar Tur{á}n number of a graph $H$, denoted by ${\text{ex}_{\mathcal{P}}}^*(n,H)$, is the maximum number of edges in an $n$-vertex planar graph such that it has a proper edge coloring with no rainbow $H$. We consider the rainbow planar Tur{á}n number of cycles. Since $C_3$ is complete, ${\text{ex}_{\mathcal{P}}}^*(n, C_3)$ is exactly its planar Tur{á}n number, which is $2n-4$ for $n\ge 3$. We show that ${\text{ex}_{\mathcal{P}}}^*(n, C_4)=3n-6$ for $n=k^2-3k+2$ where $k\ge 5$, and ${\text{ex}_{\mathcal{P}}}^*(n,C_k)=3n-6$ for all $k\ge 5$ and $n\ge 3$.
2025-11-06
On an analogue of BRK-type sets in finite fields
Published • View Publication • BIB
A Besicovitch-Rado-Kinney (BRK) set in $\mathbb{R}^n$ contains a hypersphere of every radius. In $\mathbb{F}_q^n$, BRK-type sets of degree $\ell$ analogously contain a family of $(n-1)$-dimensional surfaces, parametrized by a dilation factor and determined by a fixed homogeneous polynomial of degree $\ell$. We define $(n,d)$-BRK-type sets of degree $\ell$, which contain a family of $d$-dimensional sets parametrized by an $(n-d)$-dimensional dilation factor and determined by fixed homogeneous polynomials of degree $\ell$. We use the polynomial method to obtain a lower bound $|S| \gtrsim_{n, \ell} q^n$ on $(n,d)$-BRK-type sets $S$ of degree $\ell$. We obtain an improved lower bound $|S| \geq \frac{(q-1)^n}{(\ell + 1 - 2\ell/q)^n}$ by implementing the method of multiplicities; this is the same bound obtained by Trainor on BRK-type sets of degree $\ell$, and we obtain this bound independently of $d$.
2025-11-06 v2
Automorphism Groups and Structure of 4-Valent Cayley Graphs on Dihedral Groups
Let $G$ be a finite group and let $S$ be an inverse-closed subset of $G$ not containing the identity. The Cayley graph $\mathrm{Cay}(G,S)$ has vertex set $G$, where two vertices $x$ and $y$ are adjacent if and only if $x^{-1}y \in S$. Kaseasbeh and Erfanian (2021) determined the structure of all Cayley graphs on the dihedral group of order $2n$ for subsets $S$ of size at most three. We extend their work by analyzing the structure of such Cayley graphs for subsets $S$ of size at least four. Our main results are as follows: 1. using a classical result of Burnside and Schur, we determine the automorphism groups of Cayley graphs on dihedral groups of order $2p$, where $p$ ranges over infinitely many primes and $S$ consists only of rotations; 2. if $S$ consists of $4 \le 2k < n$ distinct rotations, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is the disjoint union of two isomorphic circulant graphs on $n$ vertices, and 3. if $S$ is a generating set of $4\leq k\leq n$ reflections, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is bipartite, forming the disjoint union of $k$ perfect matchings.
2025-11-06
Further Results on Signed Product Cordial Labeling
Published in Revista Argentina de Clinica Psicologica, 32, (2023), 1-4 • View Publication • BIB
In this paper, we look into Signed Product Cordial Labeling for Splitting Graphs of Bull graph and Splitting graph of Star graph , Square of Path graph, Coronaand also for the graph obtained by joining two copies of Helm by a Path of arbitrary length.
2025-11-06
Improved bound for the $k$-variate Elekes--Rónyai theorem
Let $f\in \mathbb{R}[x_1,\ldots, x_k]$, for $k\ge 2$. For any finite sets $A_1,\ldots, A_k\subset \mathbb{R}$, consider the set $$ f(A_1,\ldots, A_k):=\{f(a_1,\ldots, a_k)\mid (a_1,\cdots,a_k)\in A_1\times\cdots \times A_k\}, $$ that is, the image of $A_1\times \cdots\times A_k$ under $f$. Extending a theorem of Elekes and Rónyai, which deals with the case $k=2$, and a result of Raz, Sharir, and De Zeeuw, dealing with the case $k=3$, it was proved Raz and Shem Tov, that for every choice of finite $A_1,\ldots, A_k\subset \mathbb{R}$, each of size $n$, one has \begin{equation}\label{RSbound} |f(A_1,\ldots,A_k)|=Ω(n^{3/2}), \end{equation} unless $f$ has some degenerate special form. In this paper, we introduce the notion of a {\it rank} of a $k$-variate polynomial $f$, denoted as ${\rm rank}(f)$. Letting $r={\rm rank}(f)$, we prove that \begin{equation} |f(A_1,\ldots,A_k)|=Ω\left(n^{\frac{5r-4}{2r}-\varepsilon}\right), \end{equation} for every $\varepsilon>0$, where the constant of proportionality depends on $\varepsilon$ and on ${\rm deg}(f)$. This improves the previous lower bound, for polynomials $f$ for which ${\rm rank}(f)\ge 3$. We present an application of our main result, to lower bound the number of distinct $d$-volumes spanned by $(d+1)$-tuples of points lying on the moment curve in $\mathbb{R}^d$.
2025-11-06
On the Vietoris-Rips Complexes of Integer Lattices
For a metric space $X$ and $r \geq 0$, the Vietoris-Rips complex $\mathcal{VR}(X;r)$ is a simplicial complex whose simplices are finite subsets of $X$ with diameter at most $r$. Vietoris-Rips complexes have applications in various places, including data analysis, geometric group theory, sensor networks, etc. Consider the integer lattice $\mathbb{Z}^n$ as a metric space equipped with the $d_1$-metric (the Manhattan metric or standard word metric in the Cayley graph). Ziga Virk proved that if either $r \geq n^2(2n-1)$, or $1\leq n \leq 3$ and $r \geq n$, then the complex $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible, and posed a question if $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. Recently, Matthew Zaremsky improved Ziga's result and proved that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $r \geq n^2+ n-1$. Further, he conjectured that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. We prove Zaremsky's conjecture for $n \leq 5$, i.e., we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $n \leq 5$ and $r \geq n$. Further, we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for $r \geq 10$. We determine the homotopy type of $\mathcal{VR}(\mathbb{Z}^n;2)$, and show that these complexes are homotopy equivalent to a wedge of countably infinite copies of $\mathbb{S}^3$. We also show that $\mathcal{VR}(\mathbb{Z}^n;r)$ is simply connected for $r \geq 2$.
2025-11-06
A random polynomial with multiplicative coefficients is almost surely irreducible
Assume that the Riemann hypothesis holds for Dedekind zeta functions. Under this assumption, we prove that a degree $d$ polynomial with random multiplicative $\pm1$ coefficients is irreducible in $\mathbb{Z}[x]$ with probability $1-O(d^{-1/2+\varepsilon})$.
2025-11-06
Oda's conjecture for reflexive polytopes: some special cases
In this paper, we show that Oda's question holds for $n$-dimensional simplicial reflexive polytope $P$ and lattice polytope $Q$ containing the origin, when the vertex of $Q$ is either a vertex of $P$ or the origin, provided that $P$ has no more than $n+1$ lattice points on each facet and possesses unimodular triangulation. Then we prove Oda's question is true for any two facet unimodular polytopes whose matrix defining the facets has at most two non-zero entries in each row, and also true for any almost co-unimodular pair of reflexive polytopes.
Lower and Upper Bounds for Small Canonical and Ordered Ramsey Numbers
In this paper, we investigate three extensions of Ramsey numbers to other combinatorial settings. We first consider ordered Ramsey numbers. Here, we ask for a monochromatic copy of a linearly ordered graph $G$ in every $2$-edge-coloring of a linearly ordered complete graph $K_n$. The smallest such $n$ is denoted by $\vec{R}(G)$. Next, we study canonical Ramsey numbers. A canonical coloring of a linearly ordered graph $G$ is an edge-coloring in which $G$ is monochromatic, rainbow, or min/max-lexicographic. In the latter case, each pair of edges receives the same color if and only if they share the same first (respectively, second) vertex. Erdős and Rado showed that for every $p$ there exists $n$ such that every edge-coloring of a linearly ordered $K_n$ contains a canonical copy of $K_p$; the smallest such $n$ is denoted by $ER(G)$. Finally, we examine unordered canonical Ramsey numbers, introduced by Richer. An edge-coloring of $G$ is orderable if there exists a linear ordering of its vertices such that the color of each edge is determined by its first vertex. Unlike lexicographic colorings, this notion also includes monochromatic colorings. Richer proved that for all $s$ and $t$, there exists $n$ such that every edge-coloring of $K_n$ contains an orderable copy of $K_s$ or a rainbow $K_t$. The smallest such $n$ is denoted by $CR(s,t)$. In all three settings, we focus on determining the corresponding Ramsey numbers for small graphs $G$. We use tabu search and integer programming to obtain lower bounds, and flag algebras or integer programming to establish upper bounds. Among other results, we determine $\vec{R}(G)$ for all graphs $G$ on up to four vertices except $K_4^-$, $ER(P_4)$ for all orderings of $P_4$, and the exact values $CR(6,3)=26$ and $CR(3,5)=13$.
2025-11-06
Rainbow matchings in edge-colored graphs
Let $G$ be an edge-colored graph. We use $e(G)$ and $c(G)$ to denote the number of edges and colors in $G$, respectively. A subgraph $H$ is called rainbow if $c(H)=e(H)$. Li et al. (European J. Combin., 36 (2014), 453-459) proved that every edge-colored graph on $n$ vertices with $e(G)+c(G) \geq n(n+1)/2$ contains rainbow triangles. Later, Xu et al. (European J. Combin., 54 (2016), 193-200) generalized the previous results concerning rainbow triangles to rainbow cliques $Kr$, where $r\geq 4$. In this paper, we consider the existence of rainbow matchings of size $k$ in general edge-colored graphs $G$ under the condition of $e(G)+c(G)$, and the condition in our result is tight.
2025-11-06
The Difference Subgroup Graph of a Finite Group
The \emph{difference subgroup graph} $D(G)$ of a finite group $G$ is defined as the graph whose vertices are the non-trivial proper subgroups of $G$, with two distinct vertices $H$ and $K$ adjacent if and only if $\langle H, K \rangle = G$ but $HK \ne G$. This graph arises naturally as the difference between the join graph $Δ(G)$ and the comaximal subgroup graph $Γ(G)$. In this paper, we initiate a systematic study of $D(G)$ and its reduced version $D^*(G)$, obtained by removing isolated vertices. We establish several fundamental structural properties of these graphs, including conditions for connectivity, forbidden subgraph characterizations, and the relationship between graph parameters - such as independence number, clique number, and girth - and the solvability or nilpotency of the underlying group. The paper concludes with a discussion of open problems and potential directions for future research.
2025-11-06
Numerical estimation of the Hausdorff dimension of D-random feuilletages
We implement numerical techniques to simulate D-random feuilletages, candidates for higher-dimensional random geometries introduced in L. Lionni and J.-F. Marckert, Math. Phys. Anal. Geom. 24 (2021) 39. Using finite-size scaling techniques, our approach allows to give a numerical estimation of the Hausdorff dimension $d_H$ of these feuilletages. The results obtained are compatible with the formal result known for the Brownian map, which corresponds to the D=2 random feuilletage. For the D=3 case, our numerical study finds a good agreement with the conjectured value $d_H=8$.
2025-11-06 v2
From Brunn-Minkowski to Prékopa-Leindler and Borell-Brascamp-Lieb: discrete inequalities
We consider a general way to obtain Prékopa-Leindler and Borell-Brascamp-Lieb type inequalities from Brunn-Minkowski type inequalities and provide numerous examples. We use the same heuristic to prove a discrete version of the Prékopa-Leindler and Borell-Brascamp-Lieb inequalities for functions over $\mathbb{Z}^d$. These are the functional extensions of the discrete Brunn-Minkowski inequality conjectured by Ruzsa and recently established by Keevash, Tiba, and the author.
Parking trees and the toric g-vector of nestohedra
We express the toric g-vector entries of any simple polytope as a nonnegative integer linear combination of its gamma-vector entries. Using this expression we obtain that the toric g-vector of the associahedron is the ascent statistic of 123-avoiding parking functions. An analogous result holds for the cyclohedron and 123-avoiding functions. We prove that the toric g-vector of the permutahedron records the ascent statistics of parking trees representing 123-avoiding parking functions. We indicate how our approach extends to all chordal nestohedra.
2025-11-06
A construction of Steiner Triple Systems of type $v\longrightarrow 2v+7$
A Steiner Triple System ($STS$) of order $v$ is a hypergraph uniform of rank 3, with $v$ vertices and such that every 2-subset of vertices has degree 1. In this paper we give a construction, by difference method, of type $v\longrightarrow 2v+7$ with $v=2^n-7$, which means that, given an $STS$ of order $v=2^n -7$, it is always possible to construct an $STS$ of order $2^{n+1}-7$. Through this construction it is possible to get for any $n\ge 5$ an $STS(2^n-7)$ with a maximal independent set of maximal cardinality and which is $(n-1)$-bicolorable.
2025-11-06
Hall's theorem for reconfigurations and higher dimensional topological connectedness
One widely applied sufficient condition for the existence of a colorful simplex in a vertex-colored simplicial complex is a topological extension of Hall's transversal theorem due to Aharoni, Haxell, and Meshulam. We prove a similar topological Hall theorem that provides a sufficient condition for being able to transform any colorful simplex into any other through a sequence of one-vertex swaps while always maintaining a colorful simplex, meaning that the associated reconfiguration graph is connected. In fact, we prove a generalized topological Hall theorem about the homological connectedness of the space of colorful simplices, as well as a matroidal generalization of this result. We deduce sufficient conditions for reconfiguration graphs to be connected for various combinatorial structures of interest such as independent transversals in graphs, matchings in bipartite hypergraphs, and intersections of matroids. In particular, we give an alternative proof of a maximum degree condition for independent transversal reconfigurability by Buys, Kang, and Ozeki. We also deduce tight reconfiguration versions of the colorful Helly, colorful Carathéodory, and Tverberg theorems from discrete geometry, confirming a conjecture of Oliveros, Roldán, Soberón, and Torres.
2025-11-05
Polynomials Arising from Sorted Binomial Coefficients
The triangle of sorted binomial coefficients $\left\langle {n \atop k} \right\rangle = \binom{n}{\lfloor \frac{n - k}{2} \rfloor}$ for $0 \leq k \leq n$ has appeared several times in recent combinatorial works but has evaded dedicated study. Here we refer to $\left\langle {n \atop k} \right\rangle$ as the Pascalian numbers and unify the various perspectives of $\left\langle {n \atop k} \right\rangle$. We then view each row of the $\left\langle {n \atop k} \right\rangle$ triangle as the coefficients of the $n$th Pascalian polynomial, which we denote $P_n(z)$. We derive recursions, formulae, and bounds on $P_n(z)$'s roots in $\mathbb{C}$, and characterize the asymptotics of these roots. We show the roots of $P_n(z)$ converge uniformly to a curve $\partial Γ\subset \mathbb{C}$ and asymptotically fill the curve densely. We conclude with a discussion of the reducibility and Galois groups of $P_n(z)$. Our work has natural connections to the truncated binomial polynomials, asymptotic analysis, and well-known integer families.
Cycle lengths in graphs of given minimum degree
Published • View Publication • BIB
In a graph, $k$ cycles are {\em admissible} if their lengths form an arithmetic progression with common difference one or two. Let $G$ be a 2-connected graph with minimum degree at least $k\geqslant 4$. We prove that \begin{itemize} \item [(1)] $G$ contains $k$ admissible cycles, unless $G\cong K_{k+1}$ or $K_{k,n-k}$; \item [(2)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$, unless $G\cong K_{k+1}$ or $K_{k,n-k}$; \item [(3)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all $\ell$, unless $G\cong K_{k+1}$ or $G$ is bipartite. \end{itemize} In addition, we show that if $k$ is even and $G$ is 2-connected with minimum degree at least $k-1$ and order at least $k+2$, then $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$. These findings provide a stability analysis of the main results on cycle lengths in graphs of given minimum degree in [J. Gao, Q. Huo, C. Liu, J. Ma, A unified proof of conjectures on cycle lengths in graphs, International Mathematics Research Notices 2022 (10) (2022) 7615--7653]. As a corollary, we determine the maximum number of edges in a graph that does not contain a cycle of length 0 modulo $k$ for all odd $k$.
2025-11-05
A common generalization to strengthenings of Drisko's Theorem for intersections of two matroids
Let $\mathcal{M}$ and $\mathcal{N}$ be two matroids on the same ground set $V$. Let $A_1,\dots,A_{2n-1}$ be sets which are independent in both $\mathcal{M}$ and $\mathcal{N}$, satisfying $|A_i|\geq \textrm{min}(i,n)$ for all $i$. We show that there exists a partial rainbow set of size $n$, which is independent in both $\mathcal{M}$ and $\mathcal{N}$. This is a common generalization of rainbow matching results for bipartite graphs by Aharoni, Berger, Kotlar, and Ziv, and for the intersection of two matroid by Kotlar and Ziv.