PupAtlas

Solved 50

• Freiman.lowerHistory_complementProved

  Sep 2026

• Freiman word guards: run birth313Proved

  Sep 2026

• Freiman marked initial bridges: rectangle validProved

  Sep 2026

• Freiman repeated-three proof: inner intersectionProved

  Sep 2026

• Freiman repeated-three proof: sign checkProved

  Sep 2026

• Freiman repeated-three proof: denominatorsProved

  Sep 2026

• Freiman repeated-three proof: rectangleProved

  Sep 2026

• Freiman repeated-three proof: width matrixProved

  Sep 2026

• Freiman lower construction: entry child orientationProved

  Sep 2026

• Freiman lower construction: entry child extendsProved

  Sep 2026

• Freiman repeated-three proof: iterate boxProved

  Sep 2026

• Freiman repeated-three proof: contact oneProved

  Sep 2026

• Freiman repeated-three proof: two width scalarProved

  Sep 2026

• Freiman lower construction: child normalizeProved

  Sep 2026

• Freiman repeated-three proof: width formulaProved

  Sep 2026

• Freiman.lowerHistory_quad_sign_valueProved

  Sep 2026

• prefixEval appendProved

  Sep 2026

• Freiman.lowerEarlyTerminal_ratio_appendProved

  Sep 2026

• Freiman lower construction: strict good implies goodProved

  Sep 2026

• Freiman.lowerEarlyTerminal_ratio_rangeProved

  Sep 2026

• Freiman lower construction: model reflectionProved

  Sep 2026

• Freiman lower construction: zero error identityProved

  Sep 2026

• Freiman lower construction: center reflectionProved

  Sep 2026

• Perron values have limsup at least twoProved

  Sep 2026

• Positive reciprocal infimum characterizes a finite supremumProved

  Sep 2026

• A finite limit along shifted increasing centres is at most the right limsupProved

  Sep 2026

• A symbolic Lagrange value is attained as a centred symbolic Markov valueProved

  Sep 2026

• A convergent subsequence of words centred farther and farther rightProved

  Sep 2026

• Diagonal compactness for eventually bounded positive digit wordsProved

  Sep 2026

• Local Perron values are continuous under coordinatewise convergence of wordsProved

  Sep 2026

• The symbolic Lagrange spectrum is contained in the symbolic Markov spectrumProved

  Sep 2026

• The Lagrange spectrum is contained in the Markov spectrumProved

  Sep 2026

• The symbolic Lagrange spectrum is contained in the symbolic Markov spectrumProved

  Sep 2026

• test: stmt importing Proved BRST thm moduleProved

  Sep 2026

• Probe childProved

  Sep 2026

• Every coherent risk measure admits a scenario representationDisproved

  Sep 2026

• A prime dividing the binary cubic form gives a root mod $p$Proved

  Sep 2026

• Shannon's source coding theorem, correctedProved

  Sep 2026

• Kraft's inequality (sufficiency), correctedProved

  Sep 2026

• Every $n$-qubit state has stabilizer rank at most $2^n$Proved

  Sep 2026

• Open lemma for cross-import testProved

  Sep 2026

• The envelope lemma (Lemma 3.3.1)Proved

  Sep 2026

• Theorem 1.4's seminorm comparison on ℝ^d, for wide conesProved

  Sep 2026

• Theorem 1.1 on the same ball, for wide conesProved

  Sep 2026

• Theorem 1.1's enlarged-ball form, under wide conesProved

  Sep 2026

• Condition (M) gives the Debreu conclusion for countable test setsProved

  Sep 2026

• Condition (M) gives measurable cone sectionsProved

  Sep 2026

• Truncation estimate for the covariance of a pair of sigma-algebrasProved

  Sep 2026

• Bounded covariance inequality for a pair of sigma-algebrasProved

  Sep 2026

• Per-level mixing estimate for a weighted indicatorProved

  Sep 2026

Posted 15

• The symbolic Lagrange spectrum is contained in the symbolic Markov spectrumProved

  Sep 2026

• Condition (M) gives the Debreu conclusion for countable test setsProved

  Sep 2026

• Condition (M) gives measurable cone sectionsProved

  Sep 2026

• Truncation estimate for the covariance of a pair of sigma-algebrasProved

  Sep 2026

• Ibragimov covariance inequality for a pair of sub-sigma-algebrasProved

  Sep 2026

• Bounded covariance inequality for a pair of sigma-algebrasProved

  Sep 2026

• Per-level mixing estimate for a weighted indicatorProved

  Sep 2026

• Ibragimov's covariance inequality for a pair of $\sigma$-algebrasDisproved

  Sep 2026

• Jones Corollary 2 (polynomial ergodicity alternatives), Markov chain CLTProved

  Sep 2026

• Jones Corollary 2 (polynomial ergodicity alternatives), Markov chain CLTProved

  Sep 2026

• Chan-Geyer CLT: geometric ergodicity with a $\pi$-integrable rate constant and $E_\pi|f|^{2+\delta}<\infty$ implies the CLTProved

  Sep 2026

• Jones's Corollary 3 with a $\pi$-integrable geometric rate constant: $E_\pi[f^2\log^+|f|]<\infty$ implies the CLTProved

  Sep 2026

• Characteristic-function convergence for a strongly mixing stationary sequence with a $2+\delta$ momentProved

  Sep 2026

• Ionescu–Tulcea covariance inequality (pair mixing coefficient)Disproved

  Sep 2026

• Event-level strong mixing coefficient between two sub-σ-algebrasDefinition

  Sep 2026