Pith. sign in

REVIEW 2 cited by

Induced subgraph density. VI. Bounded VC-dimension

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 2312.15572 v3 pith:FUMKL5F4 submitted 2023-12-25 math.CO

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

We confirm a conjecture of Fox, Pach, and Suk, that for every $d>0$, there exists $c>0$ such that every $n$-vertex graph of VC-dimension at most $d$ has a clique or stable set of size at least $n^c$. This implies that, in the language of model theory, every graph definable in NIP structures has a clique or anti-clique of polynomial size, settling a conjecture of Chernikov, Starchenko, and Thomas. Our result also implies that every two-colourable tournament satisfies the tournament version of the Erd\H{o}s-Hajnal conjecture, which completes the verification of the conjecture for six-vertex tournaments. The result extends to uniform hypergraphs of bounded VC-dimension as well. The proof method uses the ultra-strong regularity lemma for graphs of bounded VC-dimension proved by Lov\'asz and Szegedy and the method of iterative sparsification introduced by the authors in an earlier paper.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. An Alon-Boppana--type bound for very dense graphs, with applications to max-cut

    math.CO 2025-07 conditional novelty 8.0 of 10

    A new spectral argument shows that very dense graphs far from unions of cliques have least eigenvalue at most -n^{1/4-epsilon}, and this yields max-cut surpluses of order n^{1.01} and m^{0.5001} for H-free graphs.

  2. Interpolating chromatic and homomorphism thresholds

    math.CO 2025-02 conditional novelty 8.0 of 10

    The authors determine the exact VC-dimension-interpolated homomorphism thresholds for cliques and prove the blowup threshold of odd cycles C_{2k-1} is 1/(2k-1).

Pith tools