contain ↗ reference
7694 papers tagged with this keyword
Closures and heavy pairs for hamiltonicity
Published
• View Publication
• BIB
We say that a graph $G$ on $n$ vertices is $\{H,F\}$-$o$-heavy if every induced subgraph of $G$ isomorphic to $H$ or $F$ contains two nonadjacent vertices with degree sum at least $n$. Generalizing earlier sufficient forbidden subgraph conditions for hamiltonicity, in 2012, Li, Ryjáček, Wang and Zhang determined all connected graphs $R$ and $S$ of order at least 3 other than $P_3$ such that every 2-connected $\{R,S\}$-$o$-heavy graph is hamiltonian. In particular, they showed that, up to symmetry, $R$ must be a claw and $S\in\{P_4,P_5,C_3,Z_1,Z_2,B,N,W\}$. In 2008, Čada extended Ryjáček's closure concept for claw-free graphs by introducing what we call the $c$-closure for claw-$o$-heavy graphs. We apply it here to characterize the structure of the $c$-closure of 2-connected $\{R,S\}$-$o$-heavy graphs, where $R$ and $S$ are as above. Our main results extend or generalize several earlier results on hamiltonicity involving forbidden or $o$-heavy subgraphs.
Polynomials Counting Group Colorings in Graphs
Published
• View Publication
• BIB
Jaeger et al. in 1992 introduced group coloring as the dual concept to group connectivity in graphs. Let $A$ be an additive Abelian group, $ f: E(G)\to A$ and $D$ an orientation of a graph $G$. A vertex coloring $c:V(G)\to A$ is an $(A, f)$-coloring if $c(v)-c(u)\ne f(e)$ for each oriented edge $e=uv$ from $u$ to $v$ under $D$. Kochol recently introduced the assigning polynomial to count nowhere-zero chains in graphs--nonhomogeneous analogues of nowhere-zero flows in \cite{Kochol2022}, and later extended the approach to regular matroids in \cite{Kochol2024}. Motivated by Kochol's work, we define the $α$-compatible graph and the cycle-assigning polynomial $P(G, α; k)$ at $k$ in terms of $α$-compatible spanning subgraphs, where $α$ is an assigning of $G$ from its cycles to $\{0,1\}$. We prove that $P(G,α;k)$ evaluates the number of $(A,f)$-colorings of $G$ for any Abelian group $A$ of order $k$ and $f:E(G)\to A$ such that the assigning $α_{D,f}$ given by $f$ equals $α$. Such an assigning is admissible. Based on Kochol's work, we derive that $k^{-c(G)}P(G,α;k)$ is a polynomial enumerating $(A,f)$-tensions and counting specific nowhere-zero chains.
Furthermore, by extending Whitney's broken cycle concept to broken compatible cycles, we show that the absolute value of the coefficient of $k^{|V(G)|-i}$ in $P(G,α;k)$ associated with admissible assignings $α$ equals the number of $α$-compatible spanning subgraphs that have $i$ edges and contain no broken $α$-compatible cycles. According to the combinatorial explanation, we establish a unified order-preserving relation from admissible assignings to cycle-assigning polynomials, and further show that for any admissible assigning $α$ of $G$ with $α(e)=1$ for every loop $e$, the coefficients of $P(G,α;k)$ are nonzero and alternate in sign.
A topological proof of the Hell-Nešetřil dichotomy
Published in Proc. ACM-SIAM Symp. on Discr. Alg. (SODA 2025), pp. 4507--4519, SIAM
• View Publication
• BIB
We provide a new proof of a theorem of Hell and Nešetřil [J. Comb. Theory B, 48(1):92-110, 1990] using tools from topological combinatorics based on ideas of Lovász [J. Comb. Theory, Ser. A, 25(3):319-324, 1978]. The Hell-Nešetřil Theorem provides a dichotomy of the graph homomorphism problem. It states that deciding whether there is a graph homomorphism from a given graph to a fixed graph $H$ is in P if $H$ is bipartite (or contains a self-loop), and is NP-complete otherwise. In our proof we combine topological combinatorics with the algebraic approach to constraint satisfaction problem.
The repetition threshold for ternary rich words
Published
• View Publication
• BIB
In 2017, Vesti proposed the problem of determining the repetition threshold for infinite rich words, i.e., for infinite words in which all factors of length $n$ contain $n$ distinct nonempty palindromic factors. In 2020, Currie, Mol, and Rampersad proved a conjecture of Baranwal and Shallit that the repetition threshold for binary rich words is $2 + \sqrt{2}/2$. In this paper, we prove a structure theorem for $16/7$-power-free ternary rich words. Using the structure theorem, we deduce that the repetition threshold for ternary rich words is $1 + 1/(3 - μ) \approx 2.25876324$, where $μ$ is the unique real root of the polynomial $x^3 - 2x^2 - 1$.
Almost regular subgraphs under spectral radius constrains
A graph is called $K$-almost regular if its maximum degree is at most $K$ times the minimum degree. Erdős and Simonovits showed that for a constant $0< \varepsilon< 1$ and a sufficiently large integer $n$, any $n$-vertex graph with more than $n^{1+\varepsilon}$ edges has a $K$-almost regular subgraph with $n'\geq n^{\varepsilon\frac{1-\varepsilon}{1+\varepsilon}}$ vertices and at least $\frac{2}{5}n'^{1+\varepsilon}$ edges. An interesting and natural problem is whether there exits the spectral counterpart to Erdős and Simonovits's result. In this paper, we will completely settle this issue. More precisely, we verify that for constants $\frac{1}{2}<\varepsilon\leq 1$ and $c>0$, if the spectral radius of an $n$-vertex graph $G$ is at least $cn^{\varepsilon}$, then $G$ has a $K$-almost regular subgraph of order $n'\geq n^{\frac{2\varepsilon^2-\varepsilon}{24}}$ with at least $ c'n'^{1+\varepsilon}$ edges, where $c'$ and $K$ are constants depending on $c$ and $\varepsilon$. Moreover, for $0<\varepsilon\leq\frac{1}{2}$, there exist $n$-vertex graphs with spectral radius at least $cn^{\varepsilon}$ that do not contain such an almost regular subgraph. Our result has a wide range of applications in spectral Turán-type problems. Specifically, let $ex(n,\mathcal{H})$ and $spex(n,\mathcal{H})$ denote, respectively, the maximum number of edges and the maximum spectral radius among all $n$-vertex $\mathcal{H}$-free graphs. We show that for $1\geqξ> \frac{1}{2}$, $ex(n,\mathcal{H}) = O(n^{1+ξ})$ if and only if $spex(n,\mathcal{H}) = O(n^ξ)$.
On the off-diagonal unordered Erdős-Rado numbers
Published
• View Publication
• BIB
Erdős and Rado [P. Erdős, R. Rado, A combinatorial theorem, Journal of the London Mathematical Society 25 (4) (1950) 249-255] introduced the Canonical Ramsey numbers $\text{er}(t)$ as the minimum number $n$ such that every edge-coloring of the ordered complete graph $K_n$ contains either a monochromatic, rainbow, upper lexical, or lower lexical clique of order $t$. Richer [D. Richer, Unordered canonical Ramsey numbers, Journal of Combinatorial Theory Series B 80 (2000) 172-177] introduced the unordered asymmetric version of the Canonical Ramsey numbers $\text{CR}(s,r)$ as the minimum $n$ such that every edge-coloring of the (unorderd) complete graph $K_n$ contains either a rainbow clique of order $r$, or an orderable clique of order $s$.
We show that $\text{CR}(s,r) = O(r^3/\log r)^{s-2}$, which, up to the multiplicative constant, matches the known lower bound and improves the previously best known bound $\text{CR}(s,r) = O(r^3/\log r)^{s-1}$ by Jiang [T. Jiang, Canonical Ramsey numbers and proporly colored cycles, Discrete Mathematics 309 (2009) 4247-4252]. We also obtain bounds on the further variant $\text{ER}(m,\ell,r)$, defined as the minimum $n$ such that every edge-coloring of the (unorderd) complete graph $K_n$ contains either a monochromatic $K_m$, lexical $K_\ell$, or rainbow $K_r$.
The minimum size of a chordal graph with given order and minimum degree
A graph is chordal if it does not contain an induced cycle of length greater than three. We determine the minimum size of a chordal graph with given order and minimum degree. In doing so, we have discovered interesting properties of chordal graphs.
Counting Flows of $b$-compatible Graphs
Published
• View Publication
• BIB
Kochol introduced the assigning polynomial $F(G,α;k)$ to count nowhere-zero $(A,b)$-flows of a graph $G$, where $A$ is a finite Abelian group and $α$ is a $\{0,1\}$-assigning from a family $Λ(G)$ of certain nonempty vertex subsets of $G$ to $\{0,1\}$. We introduce the concepts of $b$-compatible graph and $b$-compatible broken bond to give an explicit formula for the assigning polynomials and to examine their coefficients. More specifically, for a function $b:V(G)\to A$, let $α_{G,b}$ be a $\{0,1\}$-assigning of $G$ such that for each $X\inΛ(G)$, $α_{G,b}(X)=0$ if and only if $\sum_{v\in X}b(v)=0$. We show that for any $\{0,1\}$-assigning $α$ of $G$, if there exists a function $b:V(G)\to A$ such that $G$ is $b$-compatible and $α=α_{G,b}$, then the assigning polynomial $F(G,α;k)$ has the $b$-compatible spanning subgraph expansion \[ F(G,α;k)=\sum_{\substack{S\subseteq E(G),\\G-S\mbox{ is $b$-compatible}}}(-1)^{|S|}k^{m(G-S)}, \] and is the following form $F(G,α;k)=\sum_{i=0}^{m(G)}(-1)^ia_i(G,α)k^{m(G)-i}$, where each $a_i(G,α)$ is the number of subsets $S$ of $E(G)$ having $i$ edges such that $G-S$ is $b$-compatible and $S$ contains no $b$-compatible broken bonds with respect to a total order on $E(G)$. Applying the counting interpretation, we also obtain unified comparison relations for the signless coefficients of assigning polynomials. Namely, for any $\{0,1\}$-assignings $α,α'$ of $G$, if there exist functions $b:V(G)\to A$ and $b':V(G)\to A'$ such that $G$ is both $b$-compatible and $b'$-compatible, $α=α_{G,b}$, $α'=α_{G,b'}$ and $α(X)\leα'(X)$ for all $X\inΛ(G)$, then \[ a_i(G,α)\le a_i(G,α') \quad \mbox{ for }\quad i=0,1,\ldots, m(G). \]
Subsquares in random Latin rectangles
Published
• View Publication
• BIB
Suppose that $k$ is a function of $n$ and $n\to\infty$. We show that with probability $1-O(1/n)$, a uniformly random $k\times n$ Latin rectangle contains no proper Latin subsquare of order $4$ or more, proving a conjecture of Divoux, Kelly, Kennedy and Sidhu. We also show that the expected number of subsquares of order 3 is bounded and find that the expected number of subsquares of order 2 is $\binom{k}{2}(1/2+o(1))$ for all $k\le n$.
On a generalization of a result of Kleitman
Published
• View Publication
• BIB
A classical result of Kleitman determines the maximum number $f(n,s)$ of subsets in a family $\mathcal{F}\subseteq 2^{[n]}$ of sets that do not contain distinct sets $F_1,F_2,\dots,F_s$ that are pairwise disjoint in the case $n\equiv 0,-1$ (mod $s$). Katona and Nagy determined the maximum size of a family of subsets of an $n$-element set that does not contain $A_1,A_2,\dots,A_t,B_1,B_2,\dots,B_t$ with $\bigcup_{i=1}^t A_i$ and $\bigcup_{i=1}^t B_i$ being disjoint. In this paper, we consider the problem of finding the maximum number $vex(n,K_{s\times t})$ in a family $\mathcal{F}\subseteq 2^{[n]}$ without sets $F^1_1,\dots,F^1_t,\dots,F^s_1,\dots,F^s_t$ such that $G_j=\bigcup_{i=1}^tF^j_i$ $j=1,2,\dots,s$ are pairwise disjoint. We determine the asymptotics of $2^n-vex(n,K_{s\times t})$ if $n\equiv -1$ (mod $s$) for all $t$, and if $n\equiv 0$ (mod $s$), $t\ge 3$ and show that in this latter case the asymptotics of the $t=2$ subcase is different from both the $t=1$ and $t\ge 3$ subcases.
Ramsey numbers for partially ordered sets
Published
• View Publication
• BIB
In this thesis, we present quantitative Ramsey-type results in the setting of finite sets that are equipped with a partial order, so-called posets. A prominent example of a poset is the Boolean lattice $Q_n$, which consists of all subsets of $\{1,\dots,n\}$, ordered by inclusion. For posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the smallest $N$ such that no matter how the elements of $Q_N$ are colored in blue and red, there is either an induced subposet isomorphic to $P$ in which every element is colored blue, or an induced subposet isomorphic to $Q$ in which every element is colored red.
The central focus of this thesis is to investigate $R(P,Q_n)$, where $P$ is fixed and $n$ grows large. Our results contribute to an active area of discrete mathematics, which studies the existence of large homogeneous substructures in host structures with local constraints, introduced for graphs by Erdős and Hajnal. We provide an asymptotically tight bound on $R(P,Q_n)$ for $P$ from several classes of posets, and show a dichotomy in the asymptotic behavior of $R(P,Q_n)$, depending on whether $P$ contains a subposet isomorphic to one of two specific posets.
A fundamental question in the study of poset Ramsey numbers is to determine the asymptotic behavior of $R(Q_n,Q_n)$ for large $n$. In this dissertation, we present improvements on the known lower and upper bound on $R(Q_n,Q_n)$. Moreover, we explore variations of the poset Ramsey setting, including Erdős-Hajnal-type questions when the small forbidden poset has a non-monochromatic color pattern, and so-called weak poset Ramsey numbers, which are concerned with non-induced subposets.
Vertex identification to a forest
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a graph class and $k\in\mathbb{N}$. We say a graph $G$ admits a \emph{$k$-identification to $\mathcal{H}$} if there is a partition $\mathcal{P}$ of some set $X\subseteq V(G)$ of size at most $k$ such that after identifying each part in $\mathcal{P}$ to a single vertex, the resulting graph belongs to $\mathcal{H}$. The graph parameter ${\sf id}_{\mathcal{H}}$ is defined so that ${\sf id}_{\mathcal{H}}(G)$ is the minimum $k$ such that $G$ admits a $k$-identification to $\mathcal{H}$, and the problem of \textsc{Identification to $\mathcal{H}$} asks, given a graph $G$ and $k\in\mathbb{N}$, whether ${\sf id}_{\mathcal{H}}(G)\le k$. If we set $\mathcal{H}$ to be the class $\mathcal{F}$ of acyclic graphs, we generate the problem \textsc{Identification to Forest}, which we show to be {\sf NP}-complete. We prove that, when parameterized by the size $k$ of the identification set, it admits a kernel of size $2k+1$. For our kernel we reveal a close relation of \textsc{Identification to Forest} with the \textsc{Vertex Cover} problem. We also study the combinatorics of the \textsf{yes}-instances of \textsc{Identification to $\mathcal{H}$}, i.e., the class $\mathcal{H}^{(k)}:=\{G\mid {\sf id}_{\mathcal{H}}(G)\le k\}$, {which we show to be minor-closed for every $k$} when $\mathcal{H}$ is minor-closed. We prove that the minor-obstructions of $\mathcal{F}^{(k)}$ are of size at most $2k+4$. We also prove that every graph $G$ such that ${\sf id}_{\mathcal{F}}(G)$ is sufficiently big contains as a minor either a cycle on $k$ vertices, or $k$ disjoint triangles, or the \emph{$k$-marguerite} graph, that is the graph obtained by $k$ disjoint triangles by identifying one vertex of each of them into the same vertex.
Limit Profile for the Bernoulli--Laplace Urn
Published
• View Publication
• BIB
We analyse the convergence to equilibrium of the Bernoulli--Laplace urn model: initially, one urn contains $k$ red balls and a second $n-k$ blue balls; in each step, a pair of balls is chosen uniform and their locations are switched. Cutoff is known to occur at $\tfrac12 n \log \min\{k, \sqrt n\}$ with window order $n$ whenever $1 \ll k \le \tfrac12 n$. We refine this by determining the limit profile: a function $Φ$ such that \[
d_\mathsf{TV}\bigl( \tfrac12 n \log \min\{k, \sqrt n\} + θn \bigr) \to
Φ(θ) \quad\text{as}\quad
n \to \infty \quad\text{for all}\quad
θ\in \mathbb R. \] Our main technical contribution, of independent interest, approximates a rescaled chain by a diffusion on $\mathbb R$ when $k \gg \sqrt n$, and uses its explicit law as a Gaussian process.
Interaction graphs of isomorphic automata networks II: universal dynamics
Published
• View Publication
• BIB
An automata network with $n$ components over a finite alphabet $Q$ of size $q$ is a discrete dynamical system described by the successive iterations of a function $f:Q^n\to Q^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $[n]$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathbb{G}(f)$ of the interaction graphs of the automata networks isomorphic to $f$? It seems that this simple question has never been studied. In a previous paper, we prove that the complete digraph $K_n$, with $n^2$ arcs, is universal in that $K_n\in \mathbb{G}(f)$ whenever $f$ is not constant nor the identity (and $n\geq 5$). In this paper, taking the opposite direction, we prove that there exist universal automata networks $f$, in that $\mathbb{G}(f)$ contains all the digraphs on $[n]$, excepted the empty one. Actually, we prove that the presence of only three specific digraphs in $\mathbb{G}(f)$ implies the universality of $f$, and we prove that this forces the alphabet size $q$ to have at least $n$ prime factors (with multiplicity). However, we prove that for any fixed $q\geq 3$, there exists almost universal functions, that is, functions $f:Q^n\to Q^n$ such that the probability that a random digraph belongs to $\mathbb{G}(f)$ tends to $1$ as $n\to\infty$. We do not know if this holds in the binary case $q=2$, providing only partial results.
Upper tails for arithmetic progressions revisited
Let $X$ be the number of $k$-term arithmetic progressions contained in the $p$-biased random subset of the first $N$ positive integers. We give asymptotically sharp estimates on the logarithmic upper-tail probability $\log \Pr(X \ge E[X] + t)$ for all $Ω(N^{-2/k}) \le p \ll 1$ and all $t \gg \sqrt{Var(X)}$, excluding only a few boundary cases. In particular, we show that the space of parameters $(p,t)$ is partitioned into three phenomenologically distinct regions, where the upper-tail probabilities either resemble those of Gaussian or Poisson random variables, or are naturally described by the probability of appearance of a small set that contains nearly all of the excess $t$ progressions. We employ a variety of tools from probability theory, including classical tilting arguments and martingale concentration inequalities. However, the main technical innovation is a combinatorial result that establishes a stronger version of `entropic stability' for sets with rich arithmetic structure.
Rational exponents for cliques
Published
• View Publication
• BIB
Let $\mathrm{ex}(n,H,\mathcal{F})$ be the maximum number of copies of $H$ in an $n$-vertex graph which contains no copy of a graph from $\mathcal{F}$. Thinking of $H$ and $\mathcal{F}$ as fixed, we study the asymptotics of $\mathrm{ex}(n,H,\mathcal{F})$ in $n$. We say that a rational number $r$ is \emph{realizable for $H$} if there exists a finite family $\mathcal{F}$ such that $\mathrm{ex}(n,H,\mathcal{F}) = Θ(n^r)$. Using randomized algebraic constructions, Bukh and Conlon showed that every rational between $1$ and $2$ is realizable for $K_2$. We generalize their result to show that every rational between $1$ and $t$ is realizable for $K_t$, for all $t \geq 2$. We also determine the realizable rationals for stars and note the connection to a related Sidorenko-type supersaturation problem.
Subdivisions of Oriented Cycles in Digraphs with Hamiltonian directed path
Cohen et al. conjectured that for every oriented cycle $C$ there exist an integer $f(C)$ such that every strong $f(C)$-chromatic digraph contains a subdivision of $C$. El Joubbeh confirmed this conjecture for Hamiltonian digraphs. Indeed, he showed that every $3n$-chromatic Hamiltonian digraph contains a subdivision of every oriented cycle of order $n$. In this article, we improve this bound to $2n$. Furthermore, we show that, if $D$ is a digraph containing a Hamiltonian directed path with chromatic number at least $12n-5$, then $D$ contains a subdivision of every oriented cycle of order $n$. Note that a digraph containing a Hamiltonian directed path need not be strongly connected. Thus, our current result provides a deeper understanding of the condition that may be needed to fully solve the conjecture.
Improved Helly numbers of product sets
A finite family $\mathcal F$ of convex sets is $k$-intersecting in $S \subseteq \mathbb{R}^d$ if the intersection of every subset of $k$ convex sets in $\mathcal F$ contains a point in $S$. The Helly number of $S$ is the minimum $k$, if it exists, such that every $k$-intersecting family contains a point of $S$ in its intersection. In this paper, we improve bounds on the Helly number of product sets of the form $A^d$ for various sets $A \subseteq \mathbb{R}$, including the ``exponential grid'' $A = \{α^n : n \in \mathbb{N}\}$ and sets $A\subseteq \mathbb{Z}$ defined by congruence relations.
Lower bounds for incidences
Published
• View Publication
• BIB
Let $p_1,\ldots,p_n$ be a set of points in the unit square and let $T_1,\ldots,T_n$ be a set of $δ$-tubes such that $T_j$ passes through $p_j$. We prove a lower bound for the number of incidences between the points and tubes under a natural regularity condition (similar to Frostman regularity). As a consequence, we show that in any configuration of points $p_1,\ldots, p_n \in [0,1]^2$ along with a line $\ell_j$ through each point $p_j$, there exist $j\neq k$ for which $d(p_j, \ell_k) \lesssim n^{-2/3+o(1)}$.
It follows from the latter result that any set of $n$ points in the unit square contains three points forming a triangle of area at most $n^{-7/6+o(1)}$. This new upper bound for Heilbronn's triangle problem attains the high-low limit established in our previous work arXiv:2305.18253.
On the joint embedding property for cographs and trees
A family of graphs $\mathcal{F}$ is said to have the joint embedding property (JEP) if for every $G_1, G_2\in \mathcal{F}$, there is an $H\in \mathcal{F}$ that contains both $G_1$ and $G_2$ as induced subgraphs. If $\mathcal{F}$ is given by a finite set $S$ of forbidden induced subgraphs, it is known that determining if $\mathcal{F}$ has JEP is undecidable. We prove that this problem is decidable if $P_4\in S$ and generalize this result to families of rooted labeled trees under topological containment, bounded treewidth families under the graph minor relation, and bounded cliquewidth families under the induced subgraph relation.