Hoppers existence for large Euler genus

AX_surface_excluded_minors_hoppers_exist

Source: arXiv:2002.00258 — Excluded minors for the Klein Bottle I. Low connectivity case

Informal Conjecture on Existence of Hoppers for Large Euler Genus · arXiv:2002.00258

arXiv Informal medium confidence— first stated 2020-02-01

Authors: Bojan Mohar, Petr Škoda

Diagnostic tag ill-posed high confidence

The quoted belief has no fixed quantifiers or specified hopper variant, although the natural strong-hopper reading forces a rigid two-unit genus-jump configuration.

Caveat. The conditional reductions below do not decide existence under the source paper's intended conventions.

Attack verdicts are unrefereed model self-reports. An ill-posed label is a diagnostic of the catalog statement supplied to the model, not a literature-review status or a peer-reviewed result.

Assessed 2026-09-01 with gpt-5.6-sol · view the full attack artifact.

Status open high confidence

Hoppers are a special class of 3-connected building blocks for obstructions of connectivity two for surface embeddings of arbitrary Euler genus. Mohar and Škoda prove in arXiv:2002.00258 that hoppers do not exist for Euler genus 2 (the Klein bottle case), while the companion Part II (arXiv:2002.00261) handles cascades. The authors believe hoppers will appear for sufficiently large Euler genus but provide no construction, and no subsequent paper constructing or ruling out hoppers for any larger genus has been identified in the indexed literature.

Reviewer notes. The companion paper arXiv:2002.00261 (posted the same date) classifies cascades for Euler genus 2 but does not address hoppers for larger genus. The source paper was published in J. Combinatorial Theory, Series B, Vol. 164, pp. 299–320, 2024, but this is merely the journal version of the 2020 preprint. No follow-up constructing or disproving hoppers for any Euler genus > 2 was found after four targeted web searches.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Informal. Hoppers may show up when the Euler genus is large enough.

Context

Hoppers are a mysterious special class of graphs that arise as building blocks for obstructions of connectivity two for arbitrary Euler genus. The paper proves that hoppers do not exist when the genus is small and the authors are unable to construct any example for larger genus, yet they believe hoppers will eventually appear for sufficiently large genus.

Notes. Expressed as a belief in running prose: 'we believe that they may show up when the genus is large enough.'

Source paper

Excluded minors for the Klein Bottle I. Low connectivity case
Bojan Mohar, Petr Škoda · 2020-02-01
https://arxiv.org/abs/2002.00258 PDF source