Pipeline-generated

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.

Conditional entropy chain and disjoint-block bounds — Examples

1 · Prerequisites

2 · Summary

These finite Bernoulli countermodels separate energy-density or relative-entropy density agreement from convergence at a selected coordinate. They compute the first-coordinate total-variation discrepancy and the conditional relative entropy exactly, then verify concentration and entropy-density limits directly. They are mathematical counterexamples, not experimental observations or claims about a physical ensemble.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

CounterexampleConstruction: AI-adaptedVerification: AI-adaptedjudge pass (gpt-6-luna)Open item page →

Energy concentration without local equivalence

Statement refuted

Fix $0 < θ < 1$ and $ϵ > 0$ . For every integer $N \geq 1$ , let $P_{N} = Bernoulli (θ)^{\otimes N}$ be the product probability on ${0, 1}^{N}$ , where each coordinate equals $1$ with probability $θ$ , and define $H_{N} (x) = ϵ \sum_{i = 1}^{N} x_{i}$ . The refuted claim is: every sequence of probability laws $A_{N}$ on ${0, 1}^{N}$ for which there are deterministic numbers $e_{N} \to ϵ θ$ with $A_{N} (H_{N} / N = e_{N}) = 1$ has first-coordinate marginals converging in event-supremum total variation to $P_{N}^{(1)} = Bernoulli (θ)$ . Use $∥ P - Q ∥_{T V} = \sup_{A} ∣ P (A) - Q (A) ∣$ . This is a finite-model claim, not an experimental assertion.

Facts & Assumptions

Given: 0<θ<1, ε>0, the Bernoulli product reference, and the configurations above.

Counterexample

Given: $0 < θ < 1$ , $ϵ > 0$ , the independent Bernoulli- $θ$ reference $P_{N}$ , and $H_{N} (x) = ϵ \sum_{i} x_{i}$ .

1.1givenconstructalgebra

Let $x^{(N)}$ have its first $⌊ θ N ⌋$ coordinates equal to one and the rest zero, and set $A_{N} = δ_{x^{(N)}}$ . Then $H_{N} (x^{(N)}) / N = ϵ ⌊ θ N ⌋ / N \to ϵ θ$ , since $0 \leq θ N - ⌊ θ N ⌋ < 1$ . For all sufficiently large $N$ , the first coordinate of $A_{N}$ is one.

2.1step 1.1algebra∎

The event ${1}$ in the first-coordinate space has probability difference $1 - θ$ , so $∥ A_{N}^{(1)} - P_{N}^{(1)} ∥_{T V} \geq 1 - θ > 0$ for every sufficiently large $N$ . In fact equality holds because on a two-point space the event-supremum difference between $δ_{1}$ and Bernoulli- $θ$ is $1 - θ$ . Together with the deterministic energy limit in step 1.1, this refutes the stated implication.

CounterexampleConstruction: AI-adaptedVerification: AI-adaptedOpen item page →

Small entropy density without homogeneous local convergence

Statement refuted

Assume AC. Fix $0 < θ < 1$ and $ϵ > 0$ , and let $P_{N}, H_{N}$ be the reference and energy of Energy concentration without local equivalence. The refuted implication is: for every sequence of laws $Q_{N} ≪ P_{N}$ , if $N^{- 1} D (Q_{N} ∥ P_{N}) \to 0$ , $H_{N} / N \to ϵ θ$ in $Q_{N}$ -probability, and $N^{- 1} H_{S h} (Q_{N}) \to h (θ)$ , then the first-coordinate marginal of $Q_{N}$ converges in event-supremum total variation to Bernoulli $(θ)$ . Here $H_{S h} (Q_{N}) = - \sum_{x} Q_{N} (x) \log Q_{N} (x)$ and $h (θ) = - θ \log θ - (1 - θ) \log (1 - θ)$ use natural logarithms.

Facts & Assumptions

Given: AC, the Bernoulli model and parameters above.

[A1]

AC is the choice hypothesis of the conditional entropy chain supplier (The Axiom of Choice).

[F1]

Conditional entropy chain and disjoint-block bounds: the finite product KL chain rule separates the first coordinate from its conditional remainder.

Counterexample

Given: The finite product laws and energy.

1.1A1F1givenalgebra

Set $A_{N} : = δ_{1} \otimes Bernoulli (θ)^{\otimes (N - 1)}$ , using the empty product for $N = 1$ . Under $A_{N}$ , $X_{1} = 1$ surely and the remaining coordinates retain their independent Bernoulli- $θ$ law. The likelihood $d A_{N} / d P_{N}$ is $1 / θ$ on ${X_{1} = 1}$ and zero elsewhere, so integration gives $D (A_{N} ∥ P_{N}) = \log (1 / θ)$ . Equivalently, [F1] decomposes the divergence into $D (δ_{1} ∥ B e r n o u l l i (θ)) = \log (1 / θ)$ and a zero conditional remainder. Dividing by $N$ gives vanishing entropy density.

2.1step 1.1algebra∎

Under $A_{N}$ , $H_{N} = ϵ (1 + Y_{N})$ with $Y_{N}$ binomial $(N - 1, θ)$ . Since $Y_{N}$ is the sum of $N - 1$ independent Bernoulli coordinates, $E Y_{N} = (N - 1) θ$ and $Var (Y_{N}) = (N - 1) θ (1 - θ)$ , by expanding the mean and variance and using zero cross-covariances. Thus $E (H_{N} / N) = ϵ [1 + (N - 1) θ] / N \to ϵ θ$ and $Var (H_{N} / N) = ϵ^{2} (N - 1) θ (1 - θ) / N^{2} \to 0$ . For any $η > 0$ , $1_{{∣ H_{N} / N - E (H_{N} / N) ∣ \geq η}} \leq (H_{N} / N - E (H_{N} / N))^{2} / η^{2}$ ; integrating gives the Chebyshev bound and convergence in probability. Its Shannon entropy is $H_{S h} (A_{N}) = (N - 1) h (θ)$ by adding the logarithms of the independent-coordinate probabilities, so $H_{S h} (A_{N}) / N = (N - 1) h (θ) / N \to h (θ)$ , where $h (θ) = - θ \log θ - (1 - θ) \log (1 - θ)$ . Yet the first coordinate remains one and is at total-variation distance $1 - θ$ from Bernoulli $(θ)$ . This proves all claims and refutes the statement.

Conditional entropy chain and disjoint-block bounds — Examples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

5 · Examples, experiments and counterexamples

Energy concentration without local equivalence

Statement refuted

Facts & Assumptions

Counterexample

Small entropy density without homogeneous local convergence

Statement refuted

Facts & Assumptions

Counterexample

Sources