math.CO ↗ arXiv
5220 papers in this category
Kneser- and Jin-type inverse theorems in discrete abelian groups
We characterize the pairs of sets $A, B$ in an arbitrary (countable or uncountable) discrete abelian group $Γ$ satisfying $\tilde{m}(A+B)<\tilde{m}(A)+\tilde{m}(B)$, where $\tilde{m}$ is an arbitrary finitely additive translation-invariant probability measure on $Γ$, extending M.~Kneser's theorem on Haar measure in compact abelian groups.
We then characterize, for an arbitrary Følner sequence or Følner net $\mathbf F=(F_{i})_{i\in I}$ on $Γ$, those $A$, $B$ satisfying $\underline{d}_{\mathbf F}(A+B)<\underline{d}_{\mathbf F}(A)+\underline{d}_{\mathbf F}(B)$, where $\underline{d}_{\mathbf F}(C):=\liminf_{i\in I} |C\cap F_{i}|/|F_{i}|$. This extends Kneser's theorem on lower asymptotic density in $\mathbb N$.
We also generalize theorems of Prerna Bihani and Renling Jin by characterizing pairs $A$, $B$ satisfying $d^{*}(A+B)<d^{*}(A)+d^{*}(B)$, where $d^{*}$ is upper Banach density on $Γ$.
$2$-limited broadcast domination in cubic graphs
For a graph $G$, a function $f:V(G) \to \{0,1,2\}$ is called a $2$-limited dominating broadcast on $G$ if for every vertex $u$, there exists a vertex $v$ such that $f(v)>0$ and the distance between $u$ and $v$ in $G$ is at most $f(v)$. The {\it cost} of $f$ means the value $\sum_{v\in V(G)}f(v)$, and the {\it $2$-limited broadcast domination number} of $G$, denoted by $γ_{b,2}(G)$, is the cost of a $2$-limited dominating broadcast on $G$ with minimum cost. Henning, MacGillivray, and Yang (2020) conjectured that $γ_{b,2}(G)\leq \frac{|V(G)|}{3}$ for every cubic graph $G$. In this paper, we confirm the conjecture.
Structural similarity between polyhedral embeddings and their duals and its application to self-duality of pathwidth
Let $G$ be a graph embedded on a closed surface. We call $G$ a \emph{polyhedral embedding} if all facial walks are cycles, and any two of them are either disjoint or intersect in a single vertex or a single edge. In this paper, we present a new bound on the relation between the pathwidth of a polyhedral embedding and its dual. More precisely, we prove that for a polyhedral embedding $G$ on a closed surface with Euler characteristic $χ$, $\mathsf{pw}(G^*) \leq 3\ \mathsf{pw}(G)+c$, where $c$ is a constant depending only on $χ$. This result improves the coefficient of $\mathsf{pw}(G)$ in the previously known bound by Fomin and Thilikos (2007) and extends that of Amini, Huc, and Pérennes (2009) for plane graphs. Furthermore, we obtain analogous bounds on the treewidth and pathwidth of the face subdivision of a polyhedral embedding. Our approach is based on a new quantitative estimate which demonstrates the structural similarity between a polyhedral embedding and its dual.
Some Families of Greedy Numerical Semigroups
The change-making problem was recently extended to sets of positive integers not containing the element $1$, and from there to numerical semigroups. A greedy numerical semigroup is defined as a numerical semigroup where the greedy representation of an element is optimal with respect to the number of summands. In this paper we identify some new families of greedy numerical semigroups.
Structure of sets with small product sets in torsion-free groups, cyclic groups of prime orders and abelian groups
Let $\ell$ and $m$ be positive integers with $\ell \leq m$, and let $\mathcal{A} = (A_1, \ldots, A_m)$ be a finite sequence of finite subsets of a group $G$ (not necessarily abelian), written multiplicatively. The {\it generalized product set} $Π^{\ell}(\mathcal{A})$ is the set of all elements of $G$ which can be represented as a product of exactly $\ell$ elements from $\ell$ distinct sets from $\mathcal{A}$ taken in any order. DeVos, Goddyn and Mohar obtained the nontrivial lower bound for the size of this product set when $G$ is abelian. The DeVos-Goddyn-Mohar Theorem is a fundamental result in additive combinatorics which unifies various results from zero-sum combinatorics and has connections with subsequence sums and sumsets. In this paper, we obtain an optimal lower bound for the size of generalized product set $Π^{\ell}(\mathcal{A})$ in torsion-free groups (not necessarily abelian), and characterize the structure of underlying sets in the sequence $\mathcal{A} = (A_1, \ldots, A_m)$ for which $Π^{\ell}(\mathcal{A})$ achieves the optimal lower bound. By slightly modifying the arguments of the proofs in the case of torsion-free groups, we derive such inverse theorems in cyclic groups of prime orders also. Our proof of these result also yields a new proof of DeVos-Goddyn-Mohar Theorem in $\mathbb{Z}_p$. Moreover, we extend these inverse results to arbitrary abelian groups. Furthermore, as an application, we generalize a theorem for subsequence sums due to Hamidoune in torsion-free groups, and obtain several other results for subsequence sums in arbitrary groups.
An efficient recursive decomposition algorithm for undirected graphs
The decomposition of undirected graphs simplifies complex problems by breaking them into solvable subgraphs, following the philosophy of divide and conquer. This paper investigates the relationship between atom decomposition and the maximum cardinality search (MCS) ordering in general undirected graphs. Specifically, we prove that applying a convex extension to the node numbered $1$ and its neighborhood in an MCS ordering yields an atom in the graph. Furthermore, based on the MCS ordering, we introduce a recursive algorithm for decomposing an undirected graph into its atoms. This approach closely aligns with the results of chordal graph decomposition. As a result, minimal triangulation of the graph is no longer required, and the identification of clique minimal separators is avoided. In the experimental section, we combine the proposed decomposition algorithm with two existing convex expansion methods. The results show that both combinations significantly outperform the existing algorithms in terms of efficiency.
Towards the Erdős matching conjecture for 4-uniform hypergraphs: stability and applications
A famous conjecture of Erdős asserts that for $k\ge 3$, the maximum number of edges in an $n$-vertex $k$-uniform hypergraph without $s+1$ pairwise disjoint edges is $\max\{\binom{n}{k}-\binom{n-s}{k},\binom{sk+k-1}{k}\}$. This problem has been central in extremal combinatorics, with substantial progress in the literature, including a complete solution for $k=3$ due to the first author. In this paper, we make progress towards the $4$-uniform case, proving the conjecture for $n\ge 5s$ and sufficiently large $n$, thereby taking a first step analogous to the $3$-uniform case. The main technical contribution is a stability result of independent interest. We further apply this stability to resolve two new instances of conjectures on the minimum $d$-degree threshold for matchings in $5$- and $6$-uniform hypergraphs, in a strengthened form.
Statistical Analysis of Hairpins and BasePairs in RNA Secondary Structures
We derive precise asymptotic expressions for the expectations, variances, covariance, and quite a few further mixed moments for the number of hairpins and the number of basepairs in RNA secondary structures, and give convincing evidence that the central-scaled distribution of the pair of random variables (hairpins, basepairs) tends in distribution to the bi-variate normal distribution with correlation $\sqrt{5 \sqrt{5} -11}/2= 0.2123322205\dots$
Discrete homotopy hypothesis for n-types
We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical set to a graph, we are also able to give explicit computations of several previously unknown discrete homotopy groups of boundaries of cubes and suspensions of cycles.
Skeletal Snub Polyhedra in Ordinary Space, I
Skeletal polyhedra are discrete connected structures consisting of finite (planar or skew) or infinite (linear, planar, or spatial) polygons as faces, with two faces on each edge and a circular vertex figure at each vertex. The present paper describes the blueprint for the snub construction and shows that it can be applied to both regular and chiral skeletal polyhedra in ordinary space. The resulting skeletal snub polyhedra are vertex-transitive and highly locally symmetric. Their properties - from a combinatorial, topological, and geometric perspective - are described and illustrated on some particularly interesting examples. We examine when the construction yields uniform skeletal polyhedra and discuss the completeness of our list of generated structures.
Locating-dominating coalitions in graphs
A set $D$ of vertices in a graph $G = (V, E)$ is a locating-dominating set (LD-set) if it is dominating and every two vertices $u$, $v$ of $V\setminus D$ satisfy $N(u) \cap D \neq N(v) \cap D$. Two disjoint sets $A,B\subset V(G)$ form a locating-dominating coalition (for short, an LD-coalition) in $G$ if none of them is an LD-set in $G$ but their union $A\cup B$ is an LD-set. A locating-dominating coalition partition (for short, an LDC-partition) is a vertex partition $Π$ such that every set of $Π$ is not an LD-set in $G,$ but forms an LD-coalition with another set of $Π$. The locating-domination coalition number of $G$, denoted by $C_{L}(G),$ equals the maximum cardinality of an LDC-partition of $G$. Our purpose in this paper is to initiate the study of locating-dominating coalitions in graphs. We first investigate the existence of LDC-partitions. We also obtain lower and upper bounds on $C_{L}(G)$. We characterize connected graphs $G$ of order $n\ge 3$ satisfying $C_L(G) = n,$ as well as those trees $T$ such that $C_L(T)=n-1$. In addition, we determine the exact values of $C_L(G)$ for some classes of graphs. Moreover, we investigate the computational complexity of the decision problem associated with locating-dominating coalition partitions. To the best of our knowledge, this is the first work that addresses the algorithmic complexity of a decision problem related to coalition partitions, not only for this locating-dominating model but for coalition partitions in general.
A $B$-Restricted Clique Polynomial and Connections to Tanner's Inequality
Let $G$ be a finite simple graph and $B \subseteq V(G)$.
We study the \emph{$B$-restricted clique polynomial} $C_B(G;x)$, including its weighted version allowing vertex multiplicities, as a versatile tool to capture structural properties of vertex subsets.
First, we develop a complete deletion theory for $C_B(G;x)$, including vertex and edge recurrences that generalize classical clique polynomial results.
These recurrences yield monotonicity principles for the largest negative root $ζ_G(B)$: it is monotone under induced subgraphs and reverse-monotone under spanning subgraphs.
Consequently, we derive explicit bounds on $B$-independence numbers, chromatic numbers, $B$-girth, and Hamiltonicity constraints, showing that $ζ_G(B)$ serves as a unifying local invariant.
Next, we connect $B$-clique polynomials to spectral graph theory.
For $(n,d,λ)$-graphs, spectral techniques, including the Expander Mixing Lemma and Tanner's inequality, provide uniform bounds on $B$-restricted clique coefficients, demonstrating that clique growth within $B$ is naturally controlled by the spectral gap.
Finally, we show that weighted $B$-clique polynomials encode \emph{homomorphism constraints}.
Specifically, if $f: G \to H$ is a surjective homomorphism mapping $B_G$ onto $B_H$, then $ζ_G(B_G) \ge ζ_H(B_H)$, yielding a local \emph{no-homomorphism criterion} based on $B$-roots.
Overall, $C_B(G;x)$ provides a unified framework capturing combinatorial, spectral, and homomorphic information in vertex-restricted analysis, highlighting its power for both global and local structural insights.
Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem
In this paper we present a simple approach to big Ramsey combinatorics of the Cantor set $2^ω$. Using Infinite Dual Ramsey Theorem of Carlson and Simpson, we show that $2^ω$, viewed as a topological space, has finite big Ramsey degrees. We then examine several natural topological first-order structures arising from the Cantor set and prove that each of them inherits finite big Ramsey degrees. As a consequence, we obtain a simple proof of Blass' perfect set theorem, although our method does not recover the sharp bound $(n-1)!$ for the number of colors. We also show that the complete Boolean algebra on countably many atoms has finite big Ramsey degrees, in contrast with the recent result showing that the countable atomless Boolean algebra does not have big Ramsey degrees.
Constructions of two-dimensional optical orthogonal codes of weight three
The study of optical orthogonal codes has been motivated by an application in an optical code-division multiple access system. This paper focuses on optimal two-dimensional optical orthogonal codes with autocorrelation and cross-correlation both equal to $1$. By examining the structures of $n$-cyclic group divisible packings and semi-cyclic incomplete holey group divisible designs, we present new combinatorial constructions for two-dimensional $(m\times n,k,1)$-optical orthogonal codes. As a consequence, the exact number of codewords of an optimal two-dimensional $(m\times n,3,1)$-optical orthogonal code is determined for any positive integers $m$ and $n$.
Hypersphere-Based Restricting Conditions for Colorings of the Euclidean Space
We investigate colorings of the Euclidean space \(\mathbb{R}^n\) in which the color of a point \(p\) is determined by monochromatic configurations of points lying on hyperspheres centered at \(p\). We consider two types of conditions: those based on the cardinality of the forcing sets and admissible radii, and those based on certain geometric properties of simplices, such as shape, edge lengths, or volumes, for colorings using countably (finite or infinite) many colors. Our main objective is to determine whether a given condition forces the coloring to be monochromatic or not. Examples constructed using existing results show that, for conditions based on shapes, additional regularity assumptions on color classes are necessary. Accordingly, we study colorings that are somewhere comeager.
The Turán number of Berge paths
A Berge path of length $k$ in an $r$-uniform hypergraph is a collection of $k$ hyperedges $h_1,\dots,h_k$ and $k+1$ vertices $v_1,\dots,v_{k+1}$ such that $v_i, v_{i+1}\in h_i$ for each $1\le i\le k$. Győri, Katona and Lemons [\textit{European J. Combin. 58 (2016) 238--246}] generalized the Erdős-Gallai theorem to Berge paths and established bounds for the Turán number of Berge paths. However, these bounds are sharp only when some divisibility conditions hold. Gy\H ori, Lemons, Salia and Zamora [\textit{J. Combin. Theory Ser. B 148 (2021) 239--250}] determined the exact value of the Turán number of Berge paths in the case $k\le r$. In this paper, we settle the final open case $k>r$, thereby completing the determination of the Turán number of Berge paths.
Recursive Patterns in the Chocolate Game
We study the recursive structure of P-positions in the chocolate game $C_{m,m}$, an impartial game played on an $m \times m$ chocolate bar. We show that the set of P-positions exhibits self-similar patterns that can be described and enumerated recursively. We further establish a correspondence between these patterns and the cross-sections of a three-dimensional Sierpiński octahedron. Finally, we show that the P-positions can be generated by a second-order cellular automaton, analogous to the onedimensional Rule-60 automaton. Our results reveal deep connections between combinatorial games, fractal geometry, and discrete dynamical systems.
On Large Induced Outerplanar Subgraphs in $2$-Outerplanar Graphs
Borradaile, Le and Sherman-Bennett [Graphs and Combinatorics, 2017] proved that every $n$-vertex $2$-outerplane graph has a set of at least $2n/3$ vertices that induces an outerplane graph. We identify a major flaw in their proof and recover their result with a different, and unfortunately much more complex, proof.
Coloring Questions on Axis-Parallel Rectangles and Arithmetic Progressions
We present an explicit family of hypergraphs with arbitrarily large uniformity and chromatic number that admit realizations in both geometric and number-theoretic settings. As an application, we give a new proof of a theorem of Chen, Pach, Szegedy, and Tardos. They showed that for any constants $c,k\ge1$, there exists a finite point set $P$ in the plane with the following property: for every coloring of $P$ with $c$ colors, there is an axis-parallel rectangle containing at least $k$ points, all of the same color. Their original proof is probabilistic; we present an explicit construction. Moreover, in the case $k=2$, we show that one can even realize a graph that has arbitrarily large girth and chromatic number simultaneously. We also answer a question of Pálvölgyi on coloring sets of integers with respect to certain finite arithmetic progressions. Finally, we give an application to coloring partially ordered sets.
Chromatic Index of Signed Generalized Book Graphs and Signed Complete Graphs
A signed graph $(G,σ)$ consists of a graph $G$ and the signature $σ: E(G) \rightarrow \{+1,-1\}$. An incidence of $G$ is a pair $(v,e)$, where $v$ is one of the end vertices of an edge $e \in E(G)$. A proper $q$-edge coloring $γ$ of signed graph $(G,σ)$ is an assignment of colors to incidences satisfying that $γ(v,e) = - σ(e) γ(w,e)$ for every edge $e=vw$ and for any two incidences $(v,e)$ and $(v,f)$, involving the same vertex, $γ(v,e) \neq γ(v,f)$. The chromatic index of a signed graph $(G,σ)$, denoted by $χ'(G,σ)$, is the minimum number $q$ for which $(G,σ)$ has a proper $q$-edge coloring. In this paper, we determine the chromatic index of signed generalized book graphs. We also determine the chromatic index of signed complete graphs of order up to six.