contain ↗ reference
7694 papers tagged with this keyword
Plane Hamiltonian Cycles in Convex Drawings
Published
• View Publication
• BIB
A conjecture by Rafla from 1988 asserts that every simple drawing of the complete graph $K_n$ admits a plane Hamiltonian cycle. It turned out that already the existence of much simpler non-crossing substructures in such drawings is hard to prove. Recent progress was made by Aichholzer et al. and by Suk and Zeng who proved the existence of a plane path of length $Ω(\log n / \log \log n)$ and of a plane matching of size $Ω(n^{1/2})$ in every simple drawing of $K_{n}$.
Instead of studying simpler substructures, we prove Rafla's conjecture for the subclass of convex drawings, the most general class in the convexity hierarchy introduced by Arroyo et al. Moreover, we show that every convex drawing of $K_n$ contains a plane Hamiltonian path between each pair of vertices (Hamiltonian connectivity) and a plane $k$-cycle for each $3 \leq k \leq n$ (pancyclicity), and present further results on maximal plane subdrawings.
Degree asymptotics of the numerical semigroup tree
Published in Semigroup Forum 87 (2013) 601-616,
• View Publication
• BIB
A \emph{numerical semigroup} is a subset $Λ$ of the nonnegative integers that is closed under addition, contains $0$, and omits only finitely many nonnegative integers (called the \emph{gaps} of $Λ$). The collection of all numerical semigroups may be visually represented by a tree of element removals, in which the children of a semigroup $Λ$ are formed by removing one element of $Λ$ that exceeds all existing gaps of $Λ$. In general, a semigroup may have many children or none at all, making it difficult to understand the number of semigroups at a given depth on the tree. We investigate the problem of estimating the number of semigroups at depth $g$ (i.e.\ of genus $g$) with $h$ children, showing that as $g$ becomes large, it tends to a proportion $φ^{-h-2}$ of all numerical semigroups, where $φ$ is the golden ratio.
Obligatory hypergraphs
Published
• View Publication
• BIB
Erdős and Hajnal proved that every graph of uncountable chromatic number contains arbitrarily large finite, complete, bipartite graphs. We extend this result to hypergraphs.
Extremal spectral results of planar graphs without $C_{l, l}$ or $\mathrm{Theta}$ graph
Published
• View Publication
• BIB
Let $\mathcal {F}$ be a given family of graphs. A graph $G$ is $\mathcal {F}$-free if it does not contain any member of $\mathcal {F}$ as a subgraph. Let $C_{l, l}$ be a graph obtained from $2C_l$ such that the two cycles share a common vertex, where $l\geqslant3 $. A $\mathrm{Theta}$ graph is obtained from a cycle $C_k$ by adding an additional edge between two non-consecutive vertices on $C_k$, where $k\geqslant 4$. Let $Θ_k$ be the set of $\mathrm{Theta}$ graphs on $k$ vertices, where $k \geqslant 4$. For sufficiently large $n $, the unique extremal planar graph with the maximum spectral radius among $C_{l, l}$-free planar graphs on $n$ vertices and among $Θ_k$-free planar graphs on $n$ vertices are characterized respectively, where $l \geqslant 3$ and $k \geqslant 4$.
Consecutive primes and IP sets
For an infinite set M of natural numbers, let FS(M) be the set of all nonzero finite sums of distinct numbers in M. An IP set is any set of the form FS(M). Let p_n denote the n-th prime number for each $n \ge 1$. A de Polignac number is any number m such that $p_{n+1}-p_n=m$ for infinitely many n. In this note, we show that every IP set of even natural numbers contains infinitely many de Polignac numbers.
The absence of monochromatic triangle implies various properly colored spanning trees
An edge-colored graph $G$ is called properly colored if every two adjacent edges are assigned different colors. A monochromatic triangle is a cycle of length 3 with all the edges having the same color. Given a tree $T_0$, let $\mathcal{T}(n,T_0)$ be the collection of $n$-vertex trees that are subdivisions of $T_0$. It is conjectured that for each fixed tree $T_0$, there is a function $f(T_0)$ such that for each integer $n\geq f(T_0)$ and each $T\in \mathcal{T}(n,T_0)$, every edge-colored complete graph $K_n$ without containing monochromatic triangle must contain a properly colored copy of $T$. We confirm the conjecture in the case that $T_0$ is a star. A weaker version of the above conjecture is also obtained. Moreover, to get a nice quantitative estimation of $f(T_0)$ when $T_0$ is a star requires determining the constraint Ramsey number of a monochromatic triangle and a rainbow star, which is of independent interest.
Binary Stretch Embedding of Weighted Graphs
Published
• View Publication
• BIB
In this paper, we introduce and study the problem of \textit{binary stretch embedding} of edge-weighted graph. This problem is closely related to the well-known \textit{addressing problem} of Graham and Pollak. Addressing problem is the problem of assigning the shortest possible length strings (called ``addresses") over the alphabet $\{0,1,*\}$ to the vertices of an input graph $G$ with the following property. For every pair $u,v$ of vertices, the number of positions in which one of their addresses is $1$, and the other is $0$ is exactly equal to the distance of $u,v$ in graph $G$. When the addresses do not contain the symbol $*$, the problem is called \textit{isometric hypercube embedding}. As far as we know, the isometric hypercube embedding was introduced by Firsov in 1965. It is known that such addresses do not exist for general graphs.
Inspired by the addressing problem, in this paper, we introduce the \textit{binary stretch embedding problem}, or BSEP for short, for the edge-weighted undirected graphs. We also argue how this problem is related to other graph embedding problems in the literature.
Using tools and techniques such as Hadamard codes and the theory of linear programming, several upper and lower bounds as well as exact solutions for certain classes of graphs will be discovered.
As an application of the results in this paper, we derive improved upper bounds or exact values for the maximum size of Lee metric codes of certain parameters.
Combinatorics of Essential Sets for Positroids
Published in Journal of Algebra 2024
• View Publication
• BIB
Positroids are a family of matroids introduced by Postnikov in the study of non-negative Grassmannians. Postnikov identified several combinatorial objects in bijections with positroids, among which are bounded affine permutations. On the other hand, the notion of essential sets, introduced for permutations by Fulton, was used by Knutson in the study of the special family of interval rank positroids. We generalize Fulton's essential sets to bounded affine permutations. The bijection of the latter with positroids, allows study of the relationship between them. From the point of view of positroids, essential sets are maximally dependent cyclic interval. We define connected essential sets and prove that they give a facet description of the positroid polytope, as well as equations defining the positroid variety. We define a subset of essential sets, called core, which contains minimal rank conditions to uniquely recover a positroid. We provide an algorithm to retrieve the positroid satisfying the rank conditions in the core or any compatible rank condition on cyclic intervals.
A combinatorial approach to exponential patterns in multiplicative $IP^{\star}$ sets in $\mathbb{N}$
In [On $IP^{\star}$sets and central sets, Combinatorica, 14 (1994) 269-277], N. Hindman and V.Bergelson proved additive $IP^{\star}$-sets contain finite sums and finite products of a single sequence. An analogous study was made by A. Sisto in [Exponential triples, Electronics Journal of Combinatorics, 18 (2011), no. 147], where he proved that multiplicative $IP^{\star}$-sets contain exponential $IP$ of type $I$ and finite sums of a single sequence as well as exponential $IP$ of type $II$ and finite products of another single sequence,
using the algebra in the Stone-Čech Compactification of discrete semigroups. In this article, we will provide a combinatorial proof of the result of A. Sisto.
Stability of transversal Hamilton cycles and paths
Published
• View Publication
• BIB
Given graphs $G_1,\ldots,G_s$ all on a common vertex set and a graph $H$ with $e(H) = s$, a copy of $H$ is \emph{transversal} or \emph{rainbow} if it contains one edge from each $G_i$. We establish a stability result for transversal Hamilton cycles: the minimum degree required to guarantee a transversal Hamilton cycle can be lowered as long as the graph collection $G_1,\ldots,G_n$ is far in edit distance from several extremal cases. We obtain an analogous result for Hamilton paths. The proof is a combination of our newly developed regularity-blow-up method for transversals, along with the absorption method.
Point-variety incidences, unit distances and Zarankiewicz's problem for algebraic graphs
In this paper we study the number of incidences between $m$ points and $n$ varieties in $\mathbb{F}^d$, where $\mathbb{F}$ is an arbitrary field, assuming the incidence graph contains no copy of $K_{s,s}$. We also consider the analogous problem for algebraically defined graphs and unit distance graphs.
First, we prove that if $\mathcal{P}$ is a set of $m$ points and $\mathcal{V}$ is a set of $n$ varieties in $\mathbb{F}^{D}$, each of dimension $d$ and degree at most $Δ$, and in addition the incidence graph is $K_{s,s}$-free, then the number of incidences satisfies $I(\mathcal{P}, \mathcal{V})\leq O_{d,Δ, s}(m^{\frac{d}{d+1}} n+m)$. This bound is tight when $s,Δ$ are sufficiently large with respect to $d$, with an appropriate choice of $\mathbb{F}=\mathbb{F}(m,n)$. We give two proofs of this upper bound, one based on the framework of the induced Turán problems and the other based on VC-dimension theory. In the second proof, we extend the celebrated result of Rónyai, Babai and Ganapathy on the number of zero-patterns of polynomials to the context of varieties, which might be of independent interest.
We also resolve the problem of finding the maximum number of unit distances which can be spanned by a set of $n$ points $\mathcal{P}$ in $\mathbb{F^d}$ whose unit-distance graph is $K_{s, s}$-free, showing that it is $Θ_{d,s}(n^{2-\frac{1}{\lceil d/2\rceil +1}})$.
Finally, we obtain tight bounds on the maximum number of edges of a $K_{s, s}$-free algebraic graph defined over a finite field, thus resolving the Zarankiewicz problem for this class of graphs.
Free submonoids of hyperbolic monoids
In this paper, we prove that infinite cancellative finitely generated hyperbolic monoids never contain $\mathbb N\times\mathbb N$ as a submonoid but that they contain an element of infinite order and, if they are elementary, then they also contain a free monoid of rank at least 2. As a corollary we obtain that the latter have exponential growth. We prove these results by analysing the monoid of self-embeddings of hyperbolic digraphs and proving fixed-point theorems for them.
On the number of 8-cycles for two particular regular tournaments of order N with diametrically opposite local properties
For a regular tournament $T$ of order $n,$ denote by $c_{8}(T)$ the number of cycles of length $8$ in $T.$ Let $DR_{n}$ be a doubly-regular tournament of order $n\equiv 3\mod4$ (so, the out-sets and in-sets of its vertices are also regular and hence, contain the maximum possible number of cyclic triples) and $RLT_{n}$ be the unique regular locally transitive tournament of (odd) order $n$ (so, the out-sets and in-sets of its vertices are transitive and hence, contain no cyclic triples, at all). Some arguments based on the spectral properties of tournaments allow us to suggest that $c_{8}(T) \le c_{8}(RLT_{n}),$ where $n$ is sufficiently large. This restriction on $n$ is essential because our computer processing of B. McKay's file of tournaments implies that for $n=9,11,13,$ the maximum of $c_{8}(T)$ is attained at tournaments with regular structure of the out and in-sets of their vertices. In the present paper, we show that $c_{8}(DR_{n})$ does not depend on a particular choice of $DR_{n}$ and determine expressions for $c_{8}(DR_{n})$ and $c_{8}(RLT_{n}).$ They are both polynomials of degree $8$ in $n.$ Comparing $c_{8}(DR_{n})$ with $c_{8}(RLT_{n})$ yields the inequality $c_{8}(DR_{n})>c_{8}(RLT_{n})$ for $11\le n\le 35,$ while $c_{8}(RLT_{n}) > c_{8}(DR_{n})$ for $n\ge 39.$ This allows us to treat the value $n=39$ as the point of phase transition in the local properties of maximizers and minimizers of $c_{8}(T)$ in the class of regular tournaments of order $n.$
Tight bound for the Erdős-Pósa property of tree minors
Published in Combinatorics, Probability and Computing, 34:321--325, 2025
• View Publication
• BIB
Let $T$ be a tree on $t$ vertices. We prove that for every positive integer $k$ and every graph $G$, either $G$ contains $k$ pairwise vertex-disjoint subgraphs each having a $T$ minor, or there exists a set $X$ of at most $t(k-1)$ vertices of $G$ such that $G-X$ has no $T$ minor. The bound on the size of $X$ is best possible and improves on an earlier $f(t)k$ bound proved by Fiorini, Joret, and Wood (2013) with some fast growing function $f(t)$. Moreover, our proof is short and simple.
The maximum spectral radius of planner graphs without the joint of K2 and a linear forest
Given a graph $F$, let $SPEX_P(n,F)$ be the set of graphs with the maximum spectral radius among all $F$-free $n$-vertex planner graph. In 2017, Tait and Tobin proved that for sufficiently $n$, $K_2+P_{n-2}$ is the unique graph with the maximum spectral radius over all $n$-vertex planner graphs. In this paper, focusing on $SPEX_P(n,K_2+H)$ in which $H$ is a linear forest, we prove that $SPEX_P(n,K_2+H)=\{2K_1+C_{n-2}\}$ when $H\in \{pK_2,P_3,I_q\}$ $(p\geq1, q\geq 3)$, where $K_n$, $P_n$, $I_n$ are complete graph, path and empty graph of order $n$, respectively. When $H$ contains a $P_4$, we prove that $2K_1+C_{n-2}\notin SPEX_P(n,K_2+H)$ and also provide a structural characterization of graphs in $SPEX_P(n,K_2+H)$.
Generators for the Algebra of Symmetric Functions
The algebra of symmetric functions contains several interesting families of symmetric functions indexed by integer partitions or skew partitions. Given a sequence $\{u_n\}$ of symmetric functions taken from one of these families such that $u_n$ is homogeneous of degree $n$, we provide necessary and sufficient conditions for the sequence to form a system of algebraically independent generators for the algebra of symmetric functions.
Turán problems for star-path forests in hypergraphs
Published
• View Publication
• BIB
An $r$-uniform hypergraph ($r$-graph for short) is linear if any two edges intersect at most one vertex. Let $\mathcal{F}$ be a given family of $r$-graphs. An $r$-graph $H$ is called $\mathcal{F}$-free if $H$ does not contain any member of $\mathcal{F}$ as a subgraph. The Turán number of $\mathcal{F}$ is the maximum number of edges in any $\mathcal{F}$-free $r$-graph on $n$ vertices, and the linear Turán number of $\mathcal{F}$ is defined as the Turán number of $\mathcal{F}$ in linear host hypergraphs. An $r$-uniform linear path $P^r_\ell$ of length $\ell$ is an $r$-graph with edges $e_1,\dots,e_\ell$ such that $|V(e_i)\cap V(e_j)|=1$ if $|i-j|=1$, and $V(e_i)\cap V(e_j)=\emptyset$ for $i\neq j$ otherwise. Gyárfás et al. [\textit{European J. Combin.} (2022) 103435] obtained an upper bound for the linear Turán number of $P_\ell^3$. In this paper, an upper bound for the linear Turán number of $P_\ell^r$ is obtained, which generalizes the known result of $P_\ell^3$ to any $P_\ell^r$. Furthermore, some results for the linear Turán number and Turán number of several linear star-path forests are obtained.
Optimal Bounds for Distinct Quartics
A fundamental concept related to strings is that of repetitions. It has been extensively studied in many versions, from both purely combinatorial and algorithmic angles. One of the most basic questions is how many distinct squares, i.e., distinct strings of the form $UU$, a string of length $n$ can contain as fragments. It turns out that this is always $\mathcal{O}(n)$, and the bound cannot be improved to sublinear in $n$ [Fraenkel and Simpson, JCTA 1998].
Several similar questions about repetitions in strings have been considered, and by now we seem to have a good understanding of their repetitive structure. For higher-dimensional strings, the basic concept of periodicity has been successfully extended and applied to design efficient algorithms -- it is inherently more complex than for regular strings. Extending the notion of repetitions and understanding the repetitive structure of higher-dimensional strings is however far from complete.
Quartics were introduced by Apostolico and Brimkov [TCS 2000] as analogues of squares in two dimensions. Charalampopoulos, Radoszewski, Rytter, Waleń, and Zuba [ESA 2020] proved that the number of distinct quartics in an $n\times n$ 2D string is $\mathcal{O}(n^2 \log^2 n)$ and that they can be computed in $\mathcal{O}(n^2 \log^2 n)$ time. Gawrychowski, Ghazawi, and Landau [SPIRE 2021] constructed an infinite family of $n \times n$ 2D strings with $Ω(n^2 \log n)$ distinct quartics. This brings the challenge of determining asymptotically tight bounds. Here, we settle both the combinatorial and the algorithmic aspects of this question: the number of distinct quartics in an $n\times n$ 2D string is $\mathcal{O}(n^2 \log n)$ and they can be computed in the worst-case optimal $\mathcal{O}(n^2 \log n)$ time.
Ternary and quaternary positroids
A positroid is an ordered matroid realizable by a real matrix with all nonnegative maximal minors. Postnikov gave a map from ordered matroids to Grassmann necklaces, for which there is a unique positroid in each fiber of the map. Here, we give forbidden minor characterizations of ternary and quaternary positroids. We show that a positroid is ternary if and only if it is near-regular, and that all ternary positroids are formed by direct sums and $2$-sums of binary positroids and positroid ordered whirls. We prove that a positroid is quaternary if and only if it is $U^2_6, U^4_6,$ and $P_6$-free. Under the map from ordered matroids to Grassmann necklaces, we fully characterize the fibers of ternary positroids, referred to as their positroid envelope classes; in particular, the envelope class of a positroid ordered whirl of rank-$r$ contains exactly four matroids.
Ehrhart polynomials of partial permutohedra
For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is a certain integral polytope in $\mathbb{R}^m$, which can be defined as the convex hull of the vectors from $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. For $n=m-1$, $\mathcal{P}(m,m-1)$ is (after translation by $(1,\ldots,1)$) the polytope $P_m$ of parking functions of length $m$, and for $n\ge m$, $\mathcal{P}(m,n)$ is combinatorially equivalent to an $m$-stellohedron. The main result of this paper is an explicit expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ for any $m$ and $n$ with $n\ge m-1$. The result confirms the validity of a conjecture for this Ehrhart polynomial in arXiv:2207.14253, and the $n=m-1$ case also answers a question of Stanley regarding the number of integer points in $P_m$. The proof of the result involves transforming $\mathcal{P}(m,n)$ to a unimodularly equivalent polytope in $\mathbb{R}^{m+1}$, obtaining a decomposition of this lifted version of $\mathcal{P}(m,n)$ with $n\ge m-1$ as a Minkowski sum of dilated coordinate simplices, applying a result of Postnikov for the number of integer points in generalized permutohedra of this form, observing that this gives an expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with $n\ge m-1$ as an edge-weighted sum over graphs (with loops and multiple edges permitted) on $m$ labelled vertices in which each connected component contains at most one cycle, and then applying standard techniques for the enumeration of such graphs.