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.
Entropy rates, inverse branches and shifted root contracts
Statement
For , put . Then , , , as , and as . Its lower inverse branch and upper inverse branch are smooth with . In , require and choose a branch, giving . Under and , define and . Then . For fixed the shifted roots tend to the unshifted roots as . In particular . Different parameters or branches cannot be ordered without the corresponding right-hand sides and shifts.
Facts & Assumptions
Given: The variables and hypotheses of the Statement.
Logarithmic tangent bound and a quadratic entropy envelope proves the elementary logarithmic and entropy inequalities.
Entropy endpoint limits and the two monotone branches proves the derivatives, endpoint limits, monotone ranges and unique branch roots.
Differentiable entropy inverse branches and shifted contracts proves smooth inverse branches, their derivatives, and every shifted solution formula.
Parameter bounds giving the signs of shifted entropy roots proves the parameter-specific admissibility, signs and displayed scalar bound.
Inward comparison and small-shift limits of entropy roots proves the inward comparisons and the fixed-parameter small-shift limits.
Proof
Goal: Establish the full Statement.
The endpoint and derivative assertions are F2. F3 supplies the inverse-branch definitions, their smoothness, and the expression for all shifted roots, with the positive logarithm domain explicitly required. F1 supplies the inequalities underlying the parameter-specific estimates.
For the stated , F4 proves , both shifted signs and the scalar bound. Substitute on the lower branch and on the upper branch in F3. F5 then supplies the full strict ordering and both limits. No ordering for an unchosen branch or unrelated right-hand side has been assumed.
Depends on
- The natural logarithm as the inverse of the exponential function
- Logarithmic tangent bound and a quadratic entropy envelope
- Entropy endpoint limits and the two monotone branches
- Differentiable entropy inverse branches and shifted contracts
- Parameter bounds giving the signs of shifted entropy roots
- Inward comparison and small-shift limits of entropy roots
Used by · 8
- Extremal degrees at a fixed logarithmic mean
- Degree large-deviation rate function and roots
- Shifted rate roots for quantitative expansion
- Shifted-root comparison — Remark 6.10
- Quantitative Erdős–Rényi synchrony and the false exact-expansion rate — Theorem 6.2
- A rational entropy test above the critical degree ratio two
- The deterministic critical degree root stays above nine quarters
- Slack entropy thresholds preserve the quantitative synchronization bound
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.