doctosil

Solved 50

• The Komlos-Sulyok-Szemeredi bound: a Sidon subset of size $c\sqrt{|X|}$Proved

  Sep 2026

• Bailleul-Riblet Lemma 2.3: compression by a real rotation parameterProved

  Sep 2026

• A normalized rough-head candidate lower boundProved

  Sep 2026

• Canonical candidate floors absorb all clean-list lossesProved

  Sep 2026

• Endpoint collision budget from effective list densityProved

  Sep 2026

• Assembly of four endpoint-equation chargesProved

  Sep 2026

• Fourth-power logarithmic weighting of selector ledgersProved

  Sep 2026

• Arbitrary-interval theta-weight variation at inverse-log-square scaleProved

  Sep 2026

• Collision-free distributed tangent realization from residual ledgersProved

  Sep 2026

• Eventual unified quota error bound on all active rough rowsProved

  Sep 2026

• Preselected callbacks give synchronized post-Hfit inputProved

  Sep 2026

• Inverse-log-square bound for lower natural Buchstab cellsProved

  Sep 2026

• Summed real-hyperbola oscillation ledgersProved

  Sep 2026

• Balanced raw smooth-row discrepancy has the required scaleProved

  Sep 2026

• Kernel variation along a hyperbola with one cutoffProved

  Sep 2026

• The Proposition 8.7 endpoint preserves every rough-row massProved

  Sep 2026

• Fourth-power weighted variation of the natural theta weightProved

  Sep 2026

• Upper-selector theta variation at inverse-log-square scaleProved

  Sep 2026

• Total variation of the fractional correction along a natural hyperbolaProved

  Sep 2026

• Fixed-divisor interval shift from a Saias endpoint approximationProved

  Sep 2026

• Inverse-log-square endpoint approximation from the normal-form defectProved

  Sep 2026

• Endpoint variation bound for the Saias–Dickman correctionProved

  Sep 2026

• Pointwise variation of the natural theta weightProved

  Sep 2026

• Explicit inverse-log-square majorant for the interval shift budgetProved

  Sep 2026

• Within-cell displacement of the fully-real fractional correctionProved

  Sep 2026

• Fixed-divisor shift of the Dickman main termProved

  Sep 2026

• Balanced Dickman sums with an explicit imbalance errorProved

  Sep 2026

• Common-range formula for a quotient drop and base incrementProved

  Sep 2026

• Uniform fixed-head divisor shift for friable countsProved

  Sep 2026

• Interval cancellation for the continuous fixed-divisor Dickman defectProved

  Sep 2026

• One combined-charge capacity depth works for every admissible exceptional exponentProved

  Sep 2026

• Eventual bank precharge with a retained one-twelfth reserveProved

  Sep 2026

• Linear lower bound for the raw smooth correction poolProved

  Sep 2026

• Linear raw broad-pool supply for every active rough labelProved

  Sep 2026

• Ordered compact bounded-variation translation estimateProved

  Sep 2026

• Ordinary inverse for the canonical endpoint arithmetic operatorProved

  Sep 2026

• Head-free smooth interval lower bound from divisor shiftsProved

  Sep 2026

• Sharp fixed-head shift budget at the canonical row scaleProved

  Sep 2026

• Lower growth of the Dickman endpoint main termProved

  Sep 2026

• Eventual existence of central-anchor certificatesProved

  Sep 2026

• Balanced Saias transition budget at the canonical row scaleProved

  Sep 2026

• Balanced Dickman transition ledger at the canonical row scaleProved

  Sep 2026

• Eventual raw broad-pool surplus with three guard coordinatesProved

  Sep 2026

• Ordinary inverse for the canonical endpoint arithmetic operatorProved

  Sep 2026

• Uniform-order Proposition 8.7 with varying active massProved

  Sep 2026

• Coherent source and bridge families can be chosen after fixed pre-mesh dataProved

  Sep 2026

• Coherent paper targets give the frozen-top residual inputsProved

  Sep 2026

• Absorbed clean-list bounds for every distributed requestProved

  Sep 2026

• Rich source geometry preserves fixed numerical choices across meshesProved

  Sep 2026

• The ledger gives uniform eventual source-input and primitive-gap assemblyProved

  Sep 2026

Posted 50

• A normalized rough-head candidate lower boundProved

  Sep 2026

• Endpoint collision budget from effective list densityProved

  Sep 2026

• Assembly of four endpoint-equation chargesProved

  Sep 2026

• Fourth-power logarithmic weighting of selector ledgersProved

  Sep 2026

• Fourth-power weighted variation of the natural theta weightProved

  Sep 2026

• Arbitrary-interval theta-weight variation at inverse-log-square scaleProved

  Sep 2026

• Summed real-hyperbola oscillation ledgersProved

  Sep 2026

• The Proposition 8.7 endpoint preserves every rough-row massProved

  Sep 2026

• Kernel variation along a hyperbola with one cutoffProved

  Sep 2026

• Upper-selector theta variation at inverse-log-square scaleProved

  Sep 2026

• Pointwise variation of the natural theta weightProved

  Sep 2026

• Endpoint variation bound for the Saias–Dickman correctionProved

  Sep 2026

• Inverse-log-square endpoint approximation from the normal-form defectProved

  Sep 2026

• Explicit inverse-log-square majorant for the interval shift budgetProved

  Sep 2026

• Within-cell displacement of the fully-real fractional correctionProved

  Sep 2026

• Balanced Dickman sums with an explicit imbalance errorProved

  Sep 2026

• Common-range formula for a quotient drop and base incrementProved

  Sep 2026

• Fixed-divisor shift of the Dickman main termProved

  Sep 2026

• Total variation of the fractional correction along a natural hyperbolaProved

  Sep 2026

• Uniform fixed-head divisor shift for friable countsProved

  Sep 2026

• Interval cancellation for the continuous fixed-divisor Dickman defectProved

  Sep 2026

• Fixed-divisor interval shift from a Saias endpoint approximationProved

  Sep 2026

• Eventual bank precharge with a retained one-twelfth reserveProved

  Sep 2026

• Linear raw broad-pool supply for every active rough labelProved

  Sep 2026

• Canonical candidate floors absorb all clean-list lossesProved

  Sep 2026

• One combined-charge capacity depth works for every admissible exceptional exponentProved

  Sep 2026

• Uniform-order Proposition 8.7 with varying active massProved

  Sep 2026

• Eventual unified quota error bound on all active rough rowsProved

  Sep 2026

• Eventual raw broad-pool surplus with three guard coordinatesProved

  Sep 2026

• Linear lower bound for the raw smooth correction poolProved

  Sep 2026

• Eventual closure of the section-nine clean-list and budget estimatesProved

  Sep 2026

• Inverse-log-square bound for lower natural Buchstab cellsProved

  Sep 2026

• The rounded smooth source-to-guarded defect has the paper rateProved

  Sep 2026

• Post-height seed replacement has the sharp medium-prime valuation rateProved

  Sep 2026

• The raw smooth base pool inherits the moving-prefix valuation profileProved

  Sep 2026

• The guarded smooth broad pool retains the sharp valuation profileProved

  Sep 2026

• Canonical guarded zero-head cells have uniform reciprocal valuation meansProved

  Sep 2026

• Distributed tangent correction on a guarded candidate setProved

  Sep 2026

• Rich source geometry preserves fixed numerical choices across meshesProved

  Sep 2026

• The ledger gives uniform eventual source-input and primitive-gap assemblyProved

  Sep 2026

• The placed selector has a uniform reciprocal logarithmic valuation deficitProved

  Sep 2026

• Coherent source and bridge families can be chosen after fixed pre-mesh dataProved

  Sep 2026

• Genuine source bridges produce synchronized scalar ledger familiesProved

  Sep 2026

• Uniform Proposition 8.7 data can be selected before the final meshProved

  Sep 2026

• The Section 8 ledger provides a pre-mesh placed-selector deficit constantProved

  Sep 2026

• Uniform quadratic-logarithmic bound for guarded correction densityProved

  Sep 2026

• Balanced raw correction densities have the uniform squared-logarithmic rateProved

  Sep 2026

• Cutoff-aware analytic completion at every selected capacity depthProved

  Sep 2026

• A common depth and tangent exponent support capacity and the distributed Section 9 terminalProved

  Sep 2026

• Eventual two-sided slack for the balanced nonsmooth correctionProved

  Sep 2026