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.
Edge-Ramsey class terminology in the motivation
PDF p. 1: Introduction, paragraph following Theorem 1.1
Definition
Let and be finite simple graphs with at least one vertex, and let be a positive integer. A -edge-colouring of is any function ; it need not use every colour. An ordinary copy of in is a subgraph of isomorphic to , so extra edges of between its vertices are allowed. Such a copy is edge-monochromatic when for every two of its edges ; a copy with no edges is therefore edge-monochromatic.
The -colour edge-Ramsey class of consists of those graphs for which every -edge-colouring of has an edge-monochromatic ordinary copy of . Here class membership is a predicate on graphs, with no choice of a universal set of labelled graphs implied.
Definition references
Justification
The graph conventions specify the finite vertex and edge sets and the ordinary-copy terminology. The colouring definition applies to the finite set , including when it is empty, and gives a definite equality predicate on each copy's edges. The ordinary-embedding definition identifies a copy with the image of an injective edge-preserving map; it does not require nonedges of to remain nonedges in . Consequently the displayed universal condition gives an unambiguous membership predicate, including for an edgeless .
Extraction notes
The article mentions edge Ramsey classes but does not specify a colour count in the cited question. The parameter makes the edge-colouring analogue explicit without asserting which parameter the cited question intends.
Depends on
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.
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