Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicable
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 H and G be finite simple graphs with at least one vertex, and let k be a positive integer. A k-edge-colouring of G is any function c:E(G)→{1,…,k}; it need not use every colour. An ordinary copy of H in G is a subgraph of G isomorphic to H, so extra edges of G between its vertices are allowed. Such a copy is edge-monochromatic when c(e)=c(f) for every two of its edges e,f; a copy with no edges is therefore edge-monochromatic.

The k-colour edge-Ramsey class of H consists of those graphs G for which every k-edge-colouring of G has an edge-monochromatic ordinary copy of H. Here class membership is a predicate on graphs, with no choice of a universal set of labelled graphs implied.

Justification

The graph conventions specify the finite vertex and edge sets and the ordinary-copy terminology. The colouring definition applies to the finite set E(G), 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 H to remain nonedges in G. Consequently the displayed universal condition gives an unambiguous membership predicate, including for an edgeless H.

Extraction notes

The article mentions edge Ramsey classes but does not specify a colour count in the cited question. The parameter k makes the edge-colouring analogue explicit without asserting which parameter the cited question intends.

Depends on

Used by · 1

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