contain ↗ reference
7694 papers tagged with this keyword
Graphs with minimum fractional domatic number
Published
• View Publication
• BIB
The domatic number of a graph is the maximum number of vertex disjoint dominating sets that partition the vertex set of the graph. In this paper we consider the fractional variant of this notion. Graphs with fractional domatic number 1 are exactly the graphs that contain an isolated vertex. Furthermore, it is known that all other graphs have fractional domatic number at least 2. In this note we characterize graphs with fractional domatic number 2. More specifically, we show that a graph without isolated vertices has fractional domatic number 2 if and only if it has a vertex of degree 1 or a connected component isomorphic to a 4-cycle. We conjecture that if the fractional domatic number is more than 2, then it is at least 7/3.
Weak Heffter Arrays and biembedding graphs on non-orientable surfaces
Published
• View Publication
• BIB
In 2015, Archdeacon proposed the notion of Heffter arrays in view of its connection to several other combinatorial objects. In the same paper he also presented the following variant. A weak Heffter array $\mathrm{W}\mathrm{H}(m,n;h,k)$ is an $m \times n$ matrix $A$ such that: each row contains $h$ filled cells and each column contains $k$ filled cells; for every $x \in \mathbb{Z}_{2nk+1} \setminus \{0\}$, there is exactly one cell of $A$ whose element is one of the following: $x,-x,\pm x,\mp x$, where the upper sign on $\pm$ or $\mp$ is the row sign and the lower sign is the column sign; the elements in every row and column (with the corresponding sign) sum to $0$ in $\mathbb{Z}_{2nk+1}$. Also the ``weak concept'', as the classical one, is related to several other topics, such as difference families, cycle systems and biembeddings.
Many papers on Heffter arrays have been published, while no one on weak Heffter arrays has been written. This is the first one and here we explore necessary conditions, existence and non-existence results, and connections to biembeddings into non-orientable surfaces.
Snakes and Ladders: a Treewidth Story
Published
• View Publication
• BIB
Let $G$ be an undirected graph. We say that $G$ contains a ladder of length $k$ if the $2 \times (k+1)$ grid graph is an induced subgraph of $G$ that is only connected to the rest of $G$ via its four cornerpoints. We prove that if all the ladders contained in $G$ are reduced to length 4, the treewidth remains unchanged (and that this bound is tight). Our result indicates that, when computing the treewidth of a graph, long ladders can simply be reduced, and that minimal forbidden minors for bounded treewidth graphs cannot contain long ladders. Our result also settles an open problem from algorithmic phylogenetics: the common chain reduction rule, used to simplify the comparison of two evolutionary trees, is treewidth-preserving in the display graph of the two trees.
Gallai-Ramsey Multiplicity
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, the \emph{general $k$-colored Gallai-Ramsey number} $\operatorname{gr}_k(G:H)$ is defined to be the minimum integer $m$ such that every $k$-coloring of the complete graph on $m$ vertices contains either a rainbow copy of $G$ or a monochromatic copy of $H$. Interesting problems arise when one asks how many such rainbow copy of $G$ and monochromatic copy of $H$ must occur. The \emph{Gallai-Ramsey multiplicity} $\operatorname{GM}_{k}(G,H)$ is defined as the minimum total number of rainbow copy of $G$ and monochromatic copy of $H$ in any exact $k$-coloring of $K_{\operatorname{gr}_{k}(G,H)}$. In this paper, we give upper and lower bounds for Gallai-Ramsey multiplicity involving some small rainbow subgraphs.
A step towards a general density Corrádi--Hajnal Theorem
Published
• View Publication
• BIB
For a nondegenerate $r$-graph $F$, large $n$, and $t$ in the regime $[0, c_{F} n]$, where $c_F>0$ is a constant depending only on $F$, we present a general approach for determining the maximum number of edges in an $n$-vertex $r$-graph that does not contain $t+1$ vertex-disjoint copies of $F$. In fact, our method results in a rainbow version of the above result and includes a characterization of the extremal constructions.
Our approach applies to many well-studied hypergraphs (including graphs) such as the edge-critical graphs, the Fano plane, the generalized triangles, hypergraph expansions, the expanded triangles, and hypergraph books. Our results extend old results of Simonovits~\cite{SI68} and Moon~\cite{Moon68} on complete graphs and can be viewed as a step towards a general density version of the classical Corrádi--Hajnal Theorem~\cite{CH63}.
Realizability of Some Combinatorial Sequences
Published in J. Integer Sequences 27 (2024), Article 24.3.3
• Search Publication
A sequence $a=(a_n)_{n=1}^\infty$ of non-negative integers is called realizable if there is a self-map $T:X\to X$ on a set $X$ such that $a_n$ is equal to the number of periodic points of $T$ in $X$ of (not necessarily exact) period $n$, for all $n\geq1$. The sequence $a$ is called almost realizable if there exists a positive integer $m$ such that $(ma_n)_{n=1}^\infty$ is realizable. In this article, we show that certain wide classes of integer sequences are realizable, which contain many famous combinatorial sequences, such as the sequences of Apéry numbers of both kinds, central Delannoy numbers, Franel numbers, Domb numbers, Zagier numbers, and central trinomial coefficients. We also show that the sequences of Catalan numbers, Motzkin numbers, and large and small Schröder numbers are not almost realizable.
On perfect subdivision tilings
Published in Combinator. Probab. Comp. 34 (2025) 421-444
• View Publication
• BIB
For a given graph $H$, we say that a graph $G$ has a perfect $H$-subdivision tiling if $G$ contains a collection of vertex-disjoint subdivisions of $H$ covering all vertices of $G.$ Let $δ_{\mathrm{sub}}(n, H)$ be the smallest integer $k$ such that any $n$-vertex graph $G$ with minimum degree at least $k$ has a perfect $H$-subdivision tiling. For every graph $H$, we asymptotically determined the value of $δ_{\mathrm{sub}}(n, H)$. More precisely, for every graph $H$ with at least one edge, there is an integer $\mathrm{hcf}_ξ(H)$ and a constant $1 < ξ^*(H)\leq 2$ that can be explicitly determined by structural properties of $H$ such that $δ_{\mathrm{sub}}(n, H) = \left(1 - \frac{1}{ξ^*(H)} + o(1) \right)n$ holds for all $n$ and $H$ unless $\mathrm{hcf}_ξ(H) = 2$ and $n$ is odd. When $\mathrm{hcf}_ξ(H) = 2$ and $n$ is odd, then we show that $δ_{\mathrm{sub}}(n, H) = \left(\frac{1}{2} + o(1) \right)n$.
Doubly transitive equiangular tight frames that contain regular simplices
Published
• View Publication
• BIB
An equiangular tight frame (ETF) is a finite sequence of equal norm vectors in a Hilbert space that achieves equality in the Welch bound, and so has minimal coherence. The binder of an ETF is the set of all subsets of its indices whose corresponding vectors form a regular simplex. An ETF achieves equality in Donoho and Elad's spark bound if and only if its binder is nonempty. When this occurs, its binder is the set of all linearly dependent subsets of it of minimal size. Moreover, if members of the binder form a balanced incomplete block design (BIBD) then its incidence matrix can be phased to produce a sparse representation of its dual (Naimark complement). A few infinite families of ETFs are known to have this remarkable property. In this paper, we relate this property to the recently introduced concept of a doubly transitive equiangular tight frame (DTETF), namely an ETF for which the natural action of its symmetry group is doubly transitive. In particular, we show that the binder of any DTETF is either empty or forms a BIBD, and moreover that when the latter occurs, any member of the binder of its dual is an oval of this BIBD. We then apply this general theory to certain known infinite families of DTETFs. Specifically, any symplectic form on a finite vector space yields a DTETF, and we compute the binder of it and its dual, showing that the former is empty except in a single notable case, and that the latter consists of affine Lagrangian subspaces. This unifies and generalizes several results from the existing literature. We then consider the binders of four infinite families of DTETFs that arise from quadratic forms over the field of two elements, showing that two of these are empty except in a finite number of cases, whereas the other two form BIBDs that relate to each other, and to Lagrangian subspaces, in nonobvious ways.
A note on the Gyárfás-Sumner conjecture
Published
• View Publication
• BIB
The Gyárfás-Sumner conjecture says that for every tree $T$ and every integer $t\ge 1$, if $G$ is a graph with no clique of size $t$ and with sufficiently large chromatic number, then $G$ contains an induced subgraph isomorphic to $T$. This remains open, but we prove that under the same hypotheses, $G$ contains a subgraph $H$ isomorphic to $T$ that is ``path-induced''; that is, for some distinguished vertex~$r$, every path of $H$ with one end $r$ is an induced path of $G$.
The hitting time of clique factors
Published
• View Publication
• BIB
In a recent paper, Kahn gave the strongest possible, affirmative, answer to Shamir's problem, which had been open since the late 1970s: Let $r \ge 3 $ and let $n$ be divisible by $r$. Then, in the random $r$-uniform hypergraph process on $n$ vertices, as soon as the last isolated vertex disappears, a perfect matching emerges. In the present work, we transfer this hitting time result to the setting of clique factors in the random graph process: At the time that the last vertex joins a copy of the complete graph $K_r$, the random graph process contains a $K_r$-factor. Our proof draws on a novel sequence of couplings, extending techniques of Riordan and the first author. An analogous result is proved for clique factors in the $s$-uniform hypergraph process ($s \ge 3$).
Sharp Ramsey thresholds for large books
Published
• View Publication
• BIB
For graphs $G$ and $H$, let $G\to H$ signify that any red/blue edge coloring of $G$ contains a monochromatic $H$. Let $G(N,p)$ be the random graph of order $N$ and edge probability $p$. The Ramsey thresholds for fixed graphs have received most attention. In this paper, we consider the Ramsey thresholds in another angle. In particular, we will consider the sharp Ramsey threshold for the large book graph $B_n^{(k)}$, which consists of $n$ copies of $K_{k+1}$ all sharing a common $K_k$. In particular, for every fixed integer $k\ge 2$ and for any real $c>1$, let $N=c2^k n$. Then for any real $γ>0$, \[ \lim_{n\to \infty} \Pr(G(N,p)\to B_n^{(k)})= \left\{ \begin{array}{cl} 0 & \mbox{if $p\le\frac{1}{c^{1/k}}(1-γ)$,} \\ 1 & \mbox{if $p\ge\frac{1}{c^{1/k}}(1+γ)$}. \end{array} \right. \] This implies that $r(B_n^{(k)},B_n^{(k)})=2^kn+o(n)$, and hence especially extends the work of Conlon (2019) and the follow-up work of Conlon, Fox and Wigderson (2022) on book Ramsey numbers.
Hitting all maximum stable sets in $P_5$-free graphs
Published in Journal of Combinatorial Theory, Series B, Volume 165, March 2024, Pages 142-163
• View Publication
• BIB
We prove that every $P_5$-free graph of bounded clique number contains a small hitting set of all its maximum stable sets.
More generally, let us say a class $\mathcal{C}$ of graphs is $η$-bounded if there exists a function $h:\mathbb{N}\rightarrow \mathbb{N}$ such that $η(G)\leq h(ω(G))$ for every graph $G\in \mathcal{C}$, where $η(G)$ denotes smallest cardinality of a hitting set of all maximum stable sets in $G$, and $ω(G)$ is the clique number of $G$. Also, $\mathcal{C}$ is said to be polynomially $η$-bounded if in addition $h$ can be chosen to be a polynomial.
We introduce $η$-boundedness inspired by a question of Alon and motivated by a number of meaningful similarities to $χ$-boundedness. In particular, we propose an analogue of the Gyárfás-Sumner conjecture, that the class of all $H$-free graphs is $η$-bounded if (and only if) $H$ is a forest. Like $χ$-boundedness, the case where $H$ is a star is easy to verify, and we prove two non-trivial extensions of this: $H$-free graphs are $η$-bounded if (1) $H$ has a vertex incident with all edges of $H$, or (2) $H$ can be obtained from a star by subdividing at most one edge, exactly once.
Unlike $χ$-boundedness, the case where $H$ is a path is surprisingly hard. Our main result mentioned at the beginning shows that $P_5$-free graphs are $η$-bounded. The proof is rather involved compared to the classical ``Gyárfás path'' argument which establishes, for all $t$, the $χ$-boundedness of $P_t$-free graphs. It remains open whether $P_t$-free graphs are $η$-bounded for $t\geq 6$. It also remains open whether $P_5$-free graphs are polynomially $η$-bounded, which, if true, would imply the Erdős-Hajnal conjecture for $P_5$-free graphs. But we prove that $H$-free graphs are polynomially $η$-bounded if $H$ is a proper induced subgraph of $P_5$.
Strong Bounds for 3-Progressions
Published
• View Publication
• BIB
We show that for some constant $β> 0$, any subset $A$ of integers $\{1,\ldots,N\}$ of size at least $2^{-O((\log N)^β)} \cdot N$ contains a non-trivial three-term arithmetic progression. Previously, three-term arithmetic progressions were known to exist only for sets of size at least $N/(\log N)^{1 + c}$ for a constant $c > 0$.
Our approach is first to develop new analytic techniques for addressing some related questions in the finite-field setting and then to apply some analogous variants of these same techniques, suitably adapted for the more complicated setting of integers.
Prefixes of the Fibonacci word
Published
• View Publication
• BIB
Mignosi, Restivo, and Salemi (1998) proved that for all $ε> 0$ there exists an integer $N$ such that all prefixes of the Fibonacci word of length $\geq N$ contain a suffix of exponent $α^2-ε$, where $α= (1+\sqrt{5})/2$ is the golden ratio. In this note we show how to prove an explicit version of this theorem with tools from automata theory and logic. Along the way we gain a better understanding of the repetitive structure of the Fibonacci word.
$t$-sails and sparse hereditary classes of unbounded tree-width
Published
• View Publication
• BIB
It has long been known that the following basic objects are obstructions to bounded tree-width: for arbitrarily large $t$, $(1)$ the complete graph $K_t$, $(2)$ the complete bipartite graph $K_{t,t}$, $(3)$ a subdivision of the $(t \times t)$-wall and $(4)$ the line graph of a subdivision of the $(t \times t)$-wall. We now add a further \emph{boundary object} to this list, a \emph{$t$-sail}.
These results have been obtained by studying sparse hereditary \emph{path-star} graph classes, each of which consists of the finite induced subgraphs of a single infinite graph whose edges can be partitioned into a path (or forest of paths) with a forest of stars, characterised by an infinite word over a possibly infinite alphabet. We show that a path-star class whose infinite graph has an unbounded number of stars, each of which connects an unbounded number of times to the path, has unbounded tree-width. In addition, we show that such a class is not a subclass of the hereditary class of circle graphs.
We identify a collection of \emph{nested} words with a recursive structure that exhibit interesting characteristics when used to define a path-star graph class. These graph classes do not contain any of the four basic obstructions but instead contain graphs that have large tree-width if and only if they contain arbitrarily large $t$-sails. We show that these classes are infinitely defined and, like classes of bounded degree or classes excluding a fixed minor, do not contain a minimal class of unbounded tree-width.
Spanning trees in graphs without large bipartite holes
Published
• View Publication
• BIB
We show that for any $\varepsilon>0$ and $Δ\in\mathbb{N}$, there exists $α>0$ such that for sufficiently large $n$, every $n$-vertex graph $G$ satisfying that $δ(G)\geq\varepsilon n$ and $e(X, Y)>0$ for every pair of disjoint vertex sets $X, Y\subseteq V(G)$ of size $αn$ contains all spanning trees with maximum degree at most $Δ$. This strengthens a result of Böttcher et al.
The second largest eigenvalue of normal Cayley graphs on symmetric groups generated by cycles
Published in Journal of Combinatorial Theory, Series A, 2024, 206: 105885
• View Publication
• BIB
We study the normal Cayley graphs $\mathrm{Cay}(S_n, C(n,I))$ on the symmetric group $S_n$, where $I\subseteq \{2,3,\ldots,n\}$ and $C(n,I)$ is the set of all cycles in $S_n$ with length in $I$. We prove that the strictly second largest eigenvalue of $\mathrm{Cay}(S_n,C(n,I))$ can only be achieved by at most four irreducible representations of $S_n$, and we determine further the multiplicity of this eigenvalue in several special cases. As a corollary, in the case when $I$ contains neither $n-1$ nor $n$ we know exactly when $\mathrm{Cay}(S_n, C(n,I))$ has the Aldous property, namely the strictly second largest eigenvalue is attained by the standard representation of $S_n$, and we obtain that $\mathrm{Cay}(S_n, C(n,I))$ does not have the Aldous property whenever $n \in I$. As another corollary of our main results, we prove a recent conjecture on the second largest eigenvalue of $\mathrm{Cay}(S_n, C(n,\{k\}))$ where $2 \le k \le n-2$.
Longer cycles in vertex transitive graphs
In 1979 Babai found a clever argument to prove that every connected vertex transitive graph on $n \ge 3$ vertices contains a cycle of length at least $\sqrt{3n}$. Here we modify his approach to show that such graphs must contain a cycle of length at least $(1 - o(1))n^{3/5}$.
Extremal graphs for the odd prism
Published in Discrete Mathematics 348 (2025), No. 114249
• View Publication
• BIB
The Turán number $\mathrm{ex}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex graph which does not contain $H$ as a subgraph. The Turán number of regular polyhedrons was widely studied in a series of works due to Simonovits. In this paper, we shall present the exact Turán number of the prism $C_{2k+1}^{\square} $, which is defined as the Cartesian product of an odd cycle $C_{2k+1}$ and an edge $ K_2 $. Applying a deep theorem of Simonovits and a stability result of Yuan [European J. Combin. 104 (2022)], we shall determine the exact value of $\mathrm{ex}(n,C_{2k+1}^{\square})$ for every $k\ge 1$ and sufficiently large $n$, and we also characterize the extremal graphs. Moreover, in the case of $k=1$, motivated by a recent result of Xiao, Katona, Xiao and Zamora [Discrete Appl. Math. 307 (2022)], we will determine the exact value of $\mathrm{ex}(n,C_{3}^{\square} )$ for every $n$ instead of for sufficiently large $n$.
Spectral conditions for forbidden subgraphs in bipartite graphs
A graph $G$ is $H$-free, if it contains no $H$ as a subgraph. A graph is said to be \emph{$H$-minor free}, if it does not contain $H$ as a minor. In recent years, Nikiforov asked that what is the maximum spectral radius of an $H$-free graph of order $n$? In this paper, we consider about some Brualdi-Solheid-Turán type problems on bipartite graphs. In 2015, Zhai, Lin and Gong proved that if $G$ is a bipartite graph with order $n \geq 2k+2$ and $ρ(G)\geq ρ(K_{k,n-k})$, then $G$ contains a $C_{2k+2}$ unless $G \cong K_{k,n-k}$ [Linear Algebra Appl. 471 (2015)]. Firstly, we give a new and more simple proof for the above theorem. Secondly, we prove that if $G$ is a bipartite graph with order $n \geq 2k+2$ and $ρ(G)\geq ρ(K_{k,n-k})$, then $G$ contains all $T_{2k+3}$ unless $G \cong K_{k,n-k}$. Finally, we prove that among all outerplanar bipartite graphs on $n>344569$ vertices, $K_{1,n-1}$ attains the maximum spectral radius.