How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Connected non-isomorphic graphs and edge-Ramsey classes
PDF p. 1: Introduction, question attributed to Fox et al. [5]; PDF p. 4: References [5]
Open problem
For a finite simple graph with at least one vertex, let its two-colour edge-Ramsey class consist of the finite simple graphs with at least one vertex such that every function has an edge-monochromatic ordinary copy of . An ordinary copy is a subgraph isomorphic to ; it need not include every host edge between its vertices. A copy is edge-monochromatic if all its edges have the same colour, with the condition vacuous when it has no edges.
A graph is connected if every two of its vertices are joined by a path. Two graphs are isomorphic if a bijection of their vertex sets preserves and reflects adjacency; they are non-isomorphic if no such bijection exists. Does there exist a pair of connected non-isomorphic graphs whose two-colour edge-Ramsey classes are equal? A negative answer is equivalent to the assertion that every two connected non-isomorphic graphs have distinct two-colour edge-Ramsey classes.
Status
Fox and coauthors posed this existence question in Question 4.3 using two-colour Ramsey equivalence. Their abstract reports the partial result that a clique has no other connected graph in its Ramsey-equivalence class. The article under study, dated October 5, 2026, reports the general question as open. No solution is asserted here; later literature has not been systematically reviewed, so this is a dated report rather than a certification of current worldwide status.
Source notes
The article's introduction does not specify an edge-colour count in its question. The two-colour formulation above follows the definition in the cited Fox et al. paper and makes that question precise. Distinct classes means that some host belongs to one class and not the other.
Depends on
- A finite simple graph is a finite vertex set together with a set of two-element vertex subsets
- Edge-Ramsey class terminology in the motivation
- Connected graphs and connected components defined by the existence of vertex paths
- Graph isomorphisms, automorphisms and graph complements
- Jacob Fox, Andrey Grinshpun, Anita Liebenau, Yury Person, and Tibor Szabó, What is Ramsey-equivalent to a clique? · PDF p. 1, Abstract; p. 2, Introduction (definitions); p. 3, Conventions and Notation; p. 12, Section 4, Question 4.3
Dependency tree · 2 levels
Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.
External dependencies
The paper defines Ramsey equivalence using every two-colouring of host edges and asks whether a pair of non-isomorphic connected Ramsey-equivalent graphs exists. Its abstract states that the only connected graph Ramsey-equivalent to a clique is that clique.
Hypotheses: The equivalence concerns ordinary monochromatic graph copies under two edge colours; the question restricts both graphs to be connected and non-isomorphic.
Reading limits: The abstract, introductory definitions, colour convention and Question 4.3 were inspected. The proofs and later literature were not systematically reviewed; this citation supplies formulation and reported partial-result context, not a solution of the question.
Sources
- Maria Axenovich and Patrick Schmitteckert, Non-isomorphic graphs have distinct vertex-Ramsey classes, arXiv:2610.03704v1 · PDF p. 1, Introduction, paragraph following Theorem 1.1; PDF p. 4, reference [5]
- Jacob Fox, Andrey Grinshpun, Anita Liebenau, Yury Person, and Tibor Szabó, What is Ramsey-equivalent to a clique? · PDF p. 1, Abstract; p. 2, Introduction (definitions); p. 3, Conventions and Notation; p. 12, Section 4, Question 4.3