Pith. sign in

REVIEW

Graph tilings in incompatibility systems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2207.05386 v2 pith:6NK43TLQ submitted 2022-07-12 math.CO

classification math.CO
keywords compatibleemphincompatibilitymathcalsystemdeltagraphthere
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

An \emph{incompatibility system} $(G,\mathcal{F})$ consists of a graph $G$ and a family $\mathcal{F}=\{F_v\}_{v\in V(G)}$ over $G$ with $F_v\subseteq \{\{e,e'\}\in {E(G)\choose 2}: e\cap e'=\{v\}\}$. We say that two edges $e,e'\in E(G)$ are \emph{incompatible} if $\{e,e'\}\in F_v$ for some $v\in V(G)$, and otherwise \emph{compatible}. A subgraph $H$ of $G$ is \emph{compatible} if every pair of edges in $H$ are compatible. An incompatibility system $(G,\mathcal{F})$ is \emph{$\Delta$-bounded} if for any vertex $v$ and any edge $e$ incident with $v$, there are at most $\Delta$ members of $F_v$ containing $e$. This notion was partly motivated by a concept of transition system introduced by Kotzig in 1968, and first formulated by Krivelevich, Lee and Sudakov to study the robustness of Hamiltonicity of Dirac graphs. We prove that for any $\alpha>0$ and any graph $H$ with $h$ vertices, there exists a constant $\mu>0$ such that for any sufficiently large $n$ with $n\in h\mathbb{N}$, if $G$ is an $n$-vertex graph with $\delta(G)\ge(1-\frac{1}{\chi^*(H)}+\alpha)n$ and $(G,\mathcal{F})$ is a $\mu n$-bounded incompatibility system, then there exists a compatible $H$-factor in $G$, where the value $\chi^*(H)$ is either the chromatic number $\chi(H)$ or the critical chromatic number $\chi_{cr}(H)$ and we provide a dichotomy as in the K\"{u}hn--Osthus result. Moreover, we give examples $H$ for which there exists an $\mu n$-bounded incompatibility system $(G, \mathcal{F})$ with $n\in h\mathbb{N}$ and $\delta(G)\ge(1-\frac{1}{\chi^*(H)}+\frac{\mu}{2})n$ such that $G$ contains no compatible $H$-factor. Unlike in the previous work of K\"{u}hn and Osthus on embedding $H$-factors, our proof uses the lattice-based absorption method.

Discussion (0). Sign in to comment.

Pith tools