English

On graphs embeddable in a layer of a hypercube and their extremal numbers

Combinatorics 2024-05-21 v3

Abstract

A graph is cubical if it is a subgraph of a hypercube. For a cubical graph HH and a hypercube QnQ_n, ex(Qn,H)ex(Q_n, H) is the largest number of edges in an HH-free subgraph of QnQ_n. If ex(Qn,H)ex(Q_n, H) is equal to a positive proportion of the number of edges in QnQ_n, HH is said to have positive Tur\'an density in a hypercube; otherwise it has zero Tur\'an density. Determining ex(Qn,H)ex(Q_n, H) and even identifying whether HH has positive or zero Tur\'an density remains a widely open question for general HH. In this paper we focus on layered graphs, i.e., graphs that are contained in an edge-layer of some hypercube. Graphs HH that are not layered have positive Tur\'an density because one can form an HH-free subgraph of QnQ_n consisting of edges of every other layer. For example, a 44-cycle is not layered and has positive Tur\'an density. However, in general it is not obvious what properties layered graphs have. We give a characterisation of layered graphs in terms of edge-colorings. We show that most non-trivial subdivisions have zero Tur\'an density, extending known results on zero Tur\'an density of even cycles of length at least 1212 and of length 88. However, we prove that there are cubical graphs of girth 88 that are not layered and thus having positive Tur\'an density. The cycle of length 1010 remains the only cycle for which it is not known whether its Tur\'an density is positive or not. We prove that ex(Qn,C10)=Ω(n2n/logan)ex(Q_n, C_{10})= \Omega(n2^n/ \log^a n), for a constant aa, showing that the extremal number for a 1010-cycle behaves differently from any other cycle of zero Tur\'an density.

Keywords

Cite

@article{arxiv.2303.15529,
  title  = {On graphs embeddable in a layer of a hypercube and their extremal numbers},
  author = {Maria Axenovich and Ryan R. Martin and Christian Winter},
  journal= {arXiv preprint arXiv:2303.15529},
  year   = {2024}
}

Comments

New references added, including ones on the recent result about 10-cycles and high girth non-layered graphs. Replaced Theorem 2 that had a gap in the previous version with Section 6 containing associated results

R2 v1 2026-06-28T09:36:37.079Z