After ETH: the kxk Clique Hypothesis

Two preprints from October 2026, by OpenAI and by Anthropic, claim to refute the Exponential Time Hypothesis (ETH). Weak ETH, the proposed fallback, is too weak for the known proofs of the slightly superexponential lower bounds 2^o(k log k) and of the lower bound f(k)·n^o(k) for Clique. This note proposes the k×k Clique Hypothesis: k×k Clique has no algorithm with running time 2^o(k log k). ETH implies it, so assuming it is no stronger than assuming ETH. Together with Weak ETH and two hypotheses that the preprints do not refute, it yields 20 of the 29 lower bounds in the ETH chapter of the textbook by Cygan et al. verbatim and the other 9 in weaker form. As far as we can see, the theorems of the preprints do not give time 2^o(k log k) for k×k Clique unless few pairs of rows are constrained, that is, have a non-edge between them. On such sparse instances, OpenAI's Theorem D.1 gives this time if it is correct.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-30
DOI
https://doi.org/10.5281/zenodo.23797196
Primary Topic
Advanced Graph Theory Research
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

After ETH: the kxk Clique Hypothesis

Stefan Szeider
2 links
Zenodo (CERN European Organization for Nuclear Research)
Advanced Graph Theory Research
article

After ETH: the kxk Clique Hypothesis

Stefan Szeider
article en

Abstract

Two preprints from October 2026, by OpenAI and by Anthropic, claim to refute the Exponential Time Hypothesis (ETH). Weak ETH, the proposed fallback, is too weak for the known proofs of the slightly superexponential lower bounds 2^o(k log k) and of the lower bound f(k)·n^o(k) for Clique. This note proposes the k×k Clique Hypothesis: k×k Clique has no algorithm with running time 2^o(k log k). ETH implies it, so assuming it is no stronger than assuming ETH. Together with Weak ETH and two hypotheses that the preprints do not refute, it yields 20 of the 29 lower bounds in the ETH chapter of the textbook by Cygan et al. verbatim and the other 9 in weaker form. As far as we can see, the theorems of the preprints do not give time 2^o(k log k) for k×k Clique unless few pairs of rows are constrained, that is, have a non-edge between them. On such sparse instances, OpenAI's Theorem D.1 gives this time if it is correct.

Zenodo (CERN European Organization for Nuclear Research)
TU Wien (AT)
Openalex Percentile: Top 14%
Advanced Graph Theory Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon