Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
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.

An invariant Gibbs target can still give reducible dynamics

Statement

Let the target on {0,1}2 be π=12δ(0,0)+12δ(1,1), with the exact single-coordinate full conditionals. The random-scan Gibbs kernel leaves π invariant but is reducible.

Facts & Assumptions

Given: The finite product state space, target and exact block-update kernels in the Statement.

[F1]

Proper full conditional kernel: a full conditional is a pointwise probability kernel satisfying the target's conditional event identity.

[F2]

Exact Gibbs block update: a block update retains the other coordinate and samples the selected coordinate from its full conditional.

[F3]

Random and systematic Gibbs scan schemes: random scan chooses one of the two coordinate updates with fixed probability 1/2 each.

[F4]

Random-scan Gibbs is reversible and invariant: a finite mixture of exact Gibbs coordinate kernels is invariant for the common target.

[F5]

Reducibility of a finite Markov chain: a finite chain is reducible when it has a nonempty proper closed subset.

Verification

Given: The target and conditional updates in the Statement and facts [F1]–[F5].

1.1F1given

Each coordinate marginal under π is uniform on {0,1}. Given Y=y, the conditional law of X is the point mass δy; given X=x, the conditional law of Y is δx. These are valid full conditionals because the target assigns mass only to the two diagonal points.

2.1F2F3F4F5step 1.1

From (0,0) either coordinate update leaves the state at (0,0); from (1,1) either update leaves it at (1,1). The random-scan mixture in [F3] therefore makes each singleton a closed class. The target is invariant by [F4], but {(0,0)} is nonempty and proper, so reducibility follows from [F5].

3.1F4step 2.1algebra∎

Starting from (0,0), the time-n law is δ(0,0), whose total-variation distance from π is 1/2. Thus target invariance alone does not imply convergence from every start, uniqueness of the invariant law, or irreducibility.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

21 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources