math.CO ↗ arXiv
7121 papers in this category
Two-pile and three-pile games of a new variant of Nim known as Halve Nim
We investigate a variant of Nim called Halve Nim, which in addition to the standard moves of Nim, we allow replacing each pile of coins with half its amount. We determine the P-positions of all two-pile games of Halve Nim. Also, we determine the P-positions of all three-pile games of Halve Nim in which one pile has at most ten coins.
3-packings in Triangulations: Algorithms, bounds, and Complexity
We study $H$-packings in plane triangulations for the three-vertex graphs $H\in\{P_3,K_3,P_2\cup P_1\}$. For a graph $H$, let $λ_H(G)$ denote the maximum size of an $H$-packing in $G$, with the convention that for $H=P_2\cup P_1$ the copies are required to be induced. For $P_3$-packings, we prove that every triangulation $G$ on $n$ vertices satisfies $λ_{P_3}(G)\ge \left\lfloor \frac n5\right\rfloor$, and show that this lower bound is asymptotically tight. We also study triangle packings in triangulations and provide lower bounds for $λ_{K_3}(G)$ in terms of the maximum degree and the degree sequence. We give a face-path characterization of triangle factors in $4$-connected plane triangulations using a hamiltonian cycle and the weak duals of the two associated maximal outerplanar graphs. Finally, for induced packings by $P_2\cup P_1$, we prove that every plane triangulation $T$ on $n$ vertices satisfies $λ_{P_2\cup P_1}(T)\ge \left\lfloor \frac n3\right\rfloor-2$, and show that such a packing can be found in polynomial time.
A Complete Classification of Discrete $d$-Pseudomanifolds with at Most $2d+7$ Vertices
A simple undirected graph $M$ is called a discrete $d$-pseudomanifold if, for every vertex $v$, the induced subgraph $N_M(v)$ on the neighbors of $v$ is a discrete $(d-1)$-pseudomanifold, where a discrete $1$-pseudomanifold is defined to be an $n$-cycle with $n\geq 4$.
These objects arise naturally as graph-theoretic analogues of simplicial pseudomanifolds and provide a purely combinatorial framework for studying manifold-like structures through local neighborhood conditions. Understanding discrete pseudomanifolds with a small number of vertices is therefore a fundamental problem in combinatorial topology and extremal graph theory.
In this article, we first prove that every discrete $d$-pseudomanifold has at least $2(d+1)$ vertices. We then provide a complete classification of discrete $d$-pseudomanifolds with at most $2d+6$ vertices by determining all possible combinatorial types of such pseudomanifolds. Further, we establish an equivalence between discrete $d$-pseudomanifolds and edge graphs of flag normal $d$-pseudomanifolds. As a consequence, we derive a purely combinatorial characterization of flag normal $d$-pseudomanifolds with at most $2d+6$ vertices and prove that each such complex is a simplicial $d$-sphere.
Finally, we show that this sphere characterization is optimal within the class of flag normal $d$-pseudomanifolds by constructing examples on $2d+7$ vertices that are not spheres. Specifically, we prove that, for $d\geq 3$, every flag normal $d$-pseudomanifold with at most $2d+7$ vertices is either a simplicial $d$-sphere or a flag triangulation of the $(d-2)$-fold suspension of $\mathbb{RP}^{2}$.
Strong Embeddings of Regular Graphs with Prescribed Automorphism Groups
A classical theorem of Frucht states that every finite group occurs as the automorphism group of a finite graph. We prove an embedded analogue for regular graphs of arbitrary degree. In particular, we show that for every $d\geq 3$ and every finite group $G$, there exists a $d$-regular graph $Γ$ with a strong embedding $β$ such that $\mathrm{Aut}(Γ) \cong \mathrm{Aut}(β(Γ)) \cong G.$ Further, we prove that for every such $d$ and $G$ there exists a sequence of $d$-regular graphs with corresponding strong embeddings whose genera form an unbounded sequence and whose automorphism groups are isomorphic to $G$. Along the way, we identify an
oversight in Sabidussi's classical construction of regular graphs with prescribed automorphism group. We give an alternative construction that corrects this issue and strengthens Sabidussi's result by producing an automorphism group-invariant proper $d$-edge-colouring.
On a problem of Sivaraman and a problem of Gyárfás
The \textit{girth} of a graph $G$, denoted $\mathrm{g}(G)$, is the length of a shortest cycle in $G$.
If $G$ contains no cycle, we define $\mathrm{g}(G)=\infty$.
Sivaraman (2020) asked for the optimal $χ$-bounding function for the class of graphs whose complements have girth at least $6$.
Let \(F(s) = \max\{χ(G): ω(G)\le s,\ \mathrm{g}(\overline{G})\ge 6\}\).
We prove that there exists a constant \(c>0\) such that
\[
c\left(\frac{s}{\log s}\right)^{4/3}
\le
F(s)
\le
(1+o(1))\frac{s^{3/2}}{\log s}.
\]
For small values, we establish the exact results
\[
F(1)=1,\; F(2)=2,\; F(3)=4,\; F(4)=5,\; F(5)=6,\; F(6)=8,
\]
and each bound is sharp.
A graph $G$ is \emph{almost perfect} if every induced subgraph $H$ of $G$ satisfies
\(α(H)ω(H)+1\ge |V(H)|\).
Gyárfás (2023) asked whether almost perfect graphs are $χ$-bounded by the function $g(x)=x+1$.
We answer this question in the negative by showing that there is no constant $c$ such that every almost perfect
graph $G$ satisfies $χ(G)\le ω(G)+c$.
A sharper log-convexity inequality for Bell numbers
We prove a stronger version of the log-convexity inequality for the Bell numbers $B_n$. In particular, for $n\ge 5$, we have
\[
B_{n+1}B_{n-1} - (B_n)^2 \ge \sum_{i=1}^{n} F_i (B_{n-i})^2,
\]
where $F_i$ is the $i$-th Fibonacci number with $F_0=F_1=1$.
The simple proof is mostly combinatorial with elementary inequalities.
A Delsarte Linear Programming Approach to the Erdős--Falconer Distance Problem over Finite Fields
We introduce a Delsarte linear programming approach to the finite field Erdős--Falconer distance problem. Let \(q\) be an odd prime power, let \(n\) be even, and let \(Q\) be a non-degenerate quadratic form on \(\mathbb{F}_q^n\). For \(E\subset \mathbb{F}_q^n\), define
\[
Δ_Q(E)=\{Q(x-y):\ x,y\in E\}.
\]
We prove that, for every fixed \(0<α<\frac{1}{2}\), there exist constants \(C_α>0\) and \(q_α\) such that if \(q\ge q_α\) and $|E|\ge C_αq^{\frac n2+\frac13},$
then
\[
|Δ_Q(E)|>1+α(q-1).
\]
In particular, \(Δ_Q(E)\) contains a positive proportion of the elements of \(\mathbb{F}_q\), and hence \(|Δ_Q(E)|\gg q\).
Our result applies uniformly to all non-degenerate quadratic forms in even-dimensional finite field vector spaces. In the Euclidean case
\[
Q(x)=x_1^2+\cdots+x_n^2,
\]
it improves, for every even \(n\ge 4\) over arbitrary finite fields, the general exponent \(\frac{n+1}{2}\) obtained by Iosevich and Rudnev to $\frac n2+\frac13.$
The proof is based on the association scheme arising from the level sets of \(Q\). By analyzing the corresponding eigenvalues through Gauss sums and Kloosterman sums, we construct a suitable feasible solution to the Delsarte linear program. This provides a new algebraic-combinatorial method for obtaining distance set estimates over finite fields.
$L^p$-form of the KNRS conjecture
The Kohayakawa--Nagle--Rödl--Schacht conjecture predicts that locally dense graphs contain, asymptotically, at least as many homomorphic copies of any fixed graph as the random graph of the same edge density. We prove that every graph with at least one edge satisfies a natural $L^p$ relaxation of this conjecture in the graphon setting. More precisely, let $F$ be a graph with $m>0$ edges, and let $n$ be the number of non-isolated vertices of $F$. If $$
p\ge \binom {n}{2}/m, $$ then for every $ρ$-locally dense graphon $W$, $$
t(F,W^{\circ p})\ge ρ^{pm}. $$ Equivalently, if $$
W_F(\mathbf x)=\prod_{ij\in E(F)}W(x_i,x_j), $$ then $$
\|W_F\|_{L^p}\ge ρ^{e(F)}. $$ The proof is based on a Hölder uniformization over vertex relabellings, in the spirit of Conlon--Lee. We also prove a more general comparison principle with edge-transitive KNRS supergraphs, yielding sharper exponents whenever $F$ embeds into an edge-transitive KNRS graph. Finally, positive-semidefinite methods give theta-subdivision results: Sidorenko-good graphs are closed under arbitrary uniform theta-subdivisions; the non-uniform theta theorem of Im--Li--Liu admits a Sidorenko-good lift, under the same divisibility assumptions, after removing the parity restriction; and uniform theta-subdivisions of KNRS graphs are regular-KNRS.
Characterizations of bipartite and Eulerian partial duals of orientable hypermaps
We first rewrite the Chmutov and Vignes-Tourneret's three-permutation formula as an explicit hyperedge-partial-duality formula in the two-permutation model, and show that in this model partial duality acts exactly by preserving the support and length of every hyperedge while reversing the $α$-cycles corresponding to the selected hyperedges. Next, using the Cori and Hetyei's construction of the medial map, we define for each hyperedge subset $E'\subseteq E(H)$ a black/white smoothing state $S_{E'}$, and prove rigorously that the state circles of $S_{E'}$ are in bijection with the vertices of the partial dual $H^{E'}$. Consequently, $H^{E'}$ is Eulerian if and only if every state circle has even length.
On this basis we prove the following two main theorems: \[ \begin{aligned} H^{E'}\text{ is Eulerian} &\Longleftrightarrow \exists\text{ a crossing-total direction $Ω$ of }M(H) \\ &\hspace{3.35em}\text{such that } E'=D(Ω)\cup T',\quad T'\subseteq T(Ω), \end{aligned} \] \[ \begin{aligned} H^{E'}\text{ is bipartite} &\Longleftrightarrow \exists\text{ an all-crossing direction $Φ$ of }M(H) \\ &\hspace{3.35em}\text{such that } E'=C(Φ). \end{aligned} \] Here $D(Ω)$, $T(Ω)$ and $C(Φ)$ denote, respectively, the sets of all $d$-type, $t$-type and $c$-type hyperedges. Unlike the ribbon-graph case, the hypermap setting exhibits a genuine new obstruction: if some hyperedge-partial dual is bipartite, then every hyperedge of the original hypermap must have even length.
How to pick your team with no size restriction
Settling a problem raised by Eccles in 2015, Narayanan in 2026 considers a two-player game in which two captains alternately select players while the opponent decides to which team each selected player is assigned. Moreover, the two teams are required to have equal cardinalities, and Narayanan proved that the second player has a non-losing strategy.
In this paper, we study a natural variant in which the teams are allowed to have different cardinalities, and the winner is determined by comparing the average strengths of the two teams. We show that, in this setting, the parity of the total number of players completely determines which player has a non-losing strategy: the first player has a non-losing strategy when the number of players is even, while the second player has a non-losing strategy when it is odd.
On Property $N_p$ of line bundles on smooth projective toric varieties
We establish a criterion for Property $N_p$ for line bundles on a class of smooth projective toric varieties. More precisely, we prove that if a smooth projective toric variety $X$ of dimension $n\ge2$ satisfies the uniform unimodularity condition and the Thomsen stratification intersection-number condition, then any line bundle $L$ on $X$ with $L\cdot C\ge n-1+p$ for every $T$-invariant curve $C$ satisfies Property $N_p$. We also show that these two conditions hold for several families of toric varieties and are preserved under finite products.
Stable complete coordinates for multisets of points via basic $r$-symmetric tropical polynomials
A multiset of $n$ unordered points in $\mathbb{R}^r$ -- a point cloud, or, for $r=2$, a persistence barcode of birth-death pairs -- is a point of the orbit space $\mathbb{R}^{nr}/S_n$ for the symmetric group $S_n$ permuting the rows of an $n \times r$ matrix; a separating family of invariants on this space is exactly a complete set of permutation-independent coordinates. We provide one that is explicit, small, and stable, in the max-plus (tropical) setting: for all $n \geq 1$ and $r \geq 1$, the $\binom{n+r}{r}$ basic $r$-symmetric tropical polynomials, of degree at most $n$, separate the orbits of $S_n$ on $\mathbb{R}^{nr}$. This settles in full a problem left open in [Kubo, J. Pure Appl. Algebra 223 (2019) 72-85], where separation was known only for $r=2$ and special cases of $r \geq 3$, and yields a family far smaller and of lower degree than the general separating sets from Derksen's recent theory of tropical invariants for permutation actions ($nr + (nr)!/n!$ invariants of degree $O(n^2 r^2)$). The proof is elementary and constructive: the basic values are identified with a transportation problem, and the multiset is recovered from the dual by an explicit algorithm. We further show the coordinate map is a bi-Lipschitz embedding for all $n$ and $r$, being an injective max filter bank (via the bi-Lipschitz theory of max filtering), with an explicit Lipschitz constant for the forward bound and a fully explicit, dimension-free distortion when $r=1$. Finally we determine when the pairwise values suffice (exactly $n \leq 3$) and show that invariants on at least three columns and of degree less than $n$ are necessary in general, the obstruction being a standard non-uniqueness configuration from discrete tomography.
Small complete 3-term progression free sets in cyclic groups and vector spaces
A classical extremal problem on progression free sets is to determine the maximum size of a $3$-term arithmetic progression free set in algebraic structures, for instance in intervals of integers or in finite vector spaces. To determine the minimum size of a complete $3$-term arithmetic progression free set is a lower-end analogue of this problem. It is also closely related to complete caps and saturating sets in finite geometry.
A simple counting argument shows that the order of magnitude of the minimum size is at least the square root of the cardinality of the structure. Addressing two open problems, we show that this lower bound is essentially tight. First, for every cyclic group $\mathbb{Z}_m$, we give explicit constructions of complete $3$-AP-free sets whose size is less than $2\sqrt m$. For $m\ge81$ the constructed sets satisfy the stronger, so-called complete $(2,-1)$-avoiding property; the remaining cases $m<81$ are covered by a finite verification. Second, we resolve the vector space variant in a weaker sense by showing that for every fixed odd prime $p$ and $\varepsilon>0$, there is a constant $C_{p, \varepsilon}$ such that \[
a(3\text{-}\mathrm{AP},\mathbb{F}_p^n)\le C_{p, \varepsilon}\,n^{1+\varepsilon}\,p^{n/2}
=p^{n/2+o(n)} \] holds for the minimum size $a(3\text{-}\mathrm{AP},\mathbb{F}_p^n)$ of a complete 3-AP-free subset of $\mathbb{F}_p^n$, for all $n\ge1$.
On a two-color partition series and its companions
We study the two-color distinct-part series \(S_1(q)\), equivalently Andrews' generating function \(v_d(q)\) for strictly concave compositions, and its odd and even companions \(T_o(q)\) and \(T_e(q)\). We determine the coefficients of \(S_1(q)\) modulo \(4\) and obtain a complete criterion for the resulting Ramanujan-type progressions. For the even companion, we give a direct overpartition interpretation of its coefficients and show that two natural partition families are each counted by half of those coefficients. For the eta-normalized odd companion \(C(q)=(q;q)_\infty T_o(q)\), we prove a quintic self-similarity, derive exact vanishing relations and infinite sign changes for its coefficients, and show that \(c(n)\) can be nonzero only when \(24n+28\) is represented by \(x^2+3y^2\).
Structured Solutions of Prime-Base Binomial Congruences
In this paper, we study the congruence $\binom{qn}{n} \equiv q^n \pmod n$ for a prime base $q$. Motivated by the OEIS sequence \seqnum{A080469} and the conjectural existence of infinitely many ternary solutions of the form $n=3^t p$, we analyze the more general family $n=q^t p$, where $p\neq q$ is prime. Our main result shows that, in this family, the congruence is equivalent to two independent conditions: a congruence modulo $p$ and an inequality in the sum of the digits. This reduces the search for such solutions to factoring an explicit integer and applying a base-$q$ digit-sum filter. We use this criterion to produce new large solutions for $q\in\{2,3,5,7,11\}$. We also prove that square solutions $n=p^2$ are exactly governed by Wieferich primes in base $q$.
The signless Laplacian spectral radius of graphs without disjoint cliques
A graph $G$ is $(t+1)K_{r+1}$-free if it contains no $t+1$ pairwise vertex-disjoint copies of $K_{r+1}$. Moon [Canad. J. Math. 20 (1968) 95-102] and Simonovits [Theory of Graphs (Proc. Colloq., Tihany, 1966)] independently determined that, for sufficiently large $n$, $K_{t}\vee T_{r}(n-t)$ is the unique $n$-vertex $(t+1)K_{r+1}$-free graph with the maximum number of edges. In 2023, Ni, Wang and Kang [Electron. J. Combin. 30 (2023) \#P1.20] showed that the graph $K_{t}\vee T_{r}(n-t)$ is also the unique adjacency spectral extremal graph over all $n$-vertex $(t+1)K_{r+1}$-free graphs for sufficiently large $n$. In this paper, for $r\geq 3$ and $t\geq 0$, we prove that $K_{t}\vee T_r(n-t)$ is the unique graph attaining the maximum signless Laplacian spectral radius among all $(t+1)K_{r+1}$-free graphs of sufficiently large order $n$.
List $3$-coloring $C_4$-free graphs of diameter-$2$ in polynomial-time
We show that list $3$-coloring a~$C_4$-free graph of diameter-$2$ can be done in polynomial-time. Our algorithm is based on a structural characterization showing that many such graphs are not~$3$-colorable. In particular, we show that~$C_4$-free graphs of diameter-$2$ without universal vertices, where the maximum degree is at least~$17$, are not~$3$-colorable.
On the Probability a Weighted Bernoulli Sum Exceeds Its Mean
Let $w_1, \dots, w_m$ be positive real weights whose sum is $1$, and let $v_1, \dots, v_m$ be i.i.d. Bernoulli$(p)$ random variables. If we let $X=\sum_{i=1}^m w_i v_i$, then we conjecture that for all $0\leq p\leq 1/3$ we have \[\mathbb{P}\big[X\geq \mathbb{E}[X]\big]\geq p.\] In this short note, we observe a connection of this conjecture with a version of the Manickam-Miklós-Singhi conjecture, which allows one to prove it for sufficiently small values of $p$.
A Generalisation of the Concentration-of-Measure Phenomenon with Applications to Intersection Problems
In this paper we prove a generalisation of the concentration-of-measure phenomenon in the discrete cube. In this setting, the concentration-of-measure phenomenon states that for every subset $\mathcal{A}$ of the discrete cube, its sum with a Hamming ball of suitably large radius $r$ -- or equivalently, its $r$-expansion -- results in a substantial increase in measure. We define a notion of `$(γ,C)$-well-spread' for subsets of the discrete cube $\{0,1\}^n$ for which the following holds: for all $ε$, there exist constants $γ$ and $C$ such that for every $\mathcal{A}$ with $|\mathcal{A}| \geq \epsilon2^n$ and every $(γ,C)$-well-spread $S$, $|\mathcal{A} + S|$ is at least $(1-ε)2^n$.
We use this result to prove new non-trivial upper bounds to two intersection problems: how many subsets (or subgraphs) can one take from $[n]$ or $[\binom{n}{2}]$ such that every pair's intersection contains some given substructure? We prove non-trivial upper bounds for the $C_4$-intersection problem and the $4$-AP-intersection problem. We also give upper bounds that tend to $0$ for the $H$-intersection problem and $k$-AP-intersection problem as the number of edges and $k$ tend to infinity. Previously, non-trivial upper bounds were only known for non-bipartite $H$ and nothing was known for the $k$-AP-intersection problem.
Berge tight cycles of all lengths in hypergraphs
Given a set $R$ of positive integers, an $R$-graph $H = (V, E)$ is a hypergraph where the cardinality of each hyperedge belongs to $R$. If $R = \{r\}$, we sometimes refer to the hypergraph as an $r$-graph rather than an $R$-graph. For a set $S \subseteq V$, let $d_H(S)$ denote the number of hyperedges of $H$ containing $S$. Given a nonnegative integer $s$, the minimum $s$-degree $δ_s(H)$ is the minimum of $d_H(S)$ over all $s$-vertex subsets $S$ of $V$. Let $r$ and $t$ be positive integers with $r < t$. We denote by $C_t^r$ the $t$-vertex $r$-uniform tight cycle, which is an $r$-graph with at least three hyperedges whose vertices admit a cyclic ordering such that every $r$ consecutive vertices form a hyperedge. In particular, $C_t^2$ is the classical cycle $C_t$ in $2$-graphs. For hypergraphs $F$ and $H$, we say that $H$ is a Berge-$F$ if there exist an injection $f \colon V(F) \to V(H)$ and a bijection $g \colon E(F) \to E(H)$ such that $\{f(v): v \in e\} \subseteq g(e)$ for all $e \in E(F)$.
Lu and Wang [Discrete Math. 344 (2021), 112462] proved that every $[3]$-graph $H$ on $n \geq 6$ vertices with $δ_2(H) \geq 1$ contains a Berge-$C_t$ for all $3 \leq t \leq n$. In this paper, we prove that for any positive integer $r$ and any set $R \subseteq [k]$ with $k \geq 2$, there exists an integer $n_0 = n_0(k,r)$ such that every $R$-graph $H$ on $n \geq n_0$ vertices with $δ_r(H) \geq 1$ contains a Berge-$C_t^r$ for all $r+1 \leq t \leq n$. In particular, when $k = 4$ and $r = 3$, we show that every $[4]$-graph $H$ on $n \geq 9$ vertices with $δ_3(H) \geq 1$ contains a Berge-$C_t^3$ for all $4 \leq t \leq n$. We also characterize all the counterexamples when $4 \leq n \leq 8$.