tomasz

Solved 50

• Constructible images of regular maps between embedded varietiesProved

  Oct 2026

• Polynomial and rational coordinates on locally closed affine neighborhoodsProved

  Oct 2026

• Affine embedding charts inside prescribed open neighborhoodsProved

  Oct 2026

• Affine charts with local rational formulas for regular mapsProved

  Oct 2026

• Polynomial affine charts for embedded regular mapsProved

  Oct 2026

• The image of prime multiplication is Zariski constructibleProved

  Oct 2026

• Compatible affine closed-point charts for regular mapsProved

  Oct 2026

• An irreducible regular-map image contains a relative open subsetProved

  Oct 2026

• Zudilin: one of $\zeta(5), \zeta(7), \zeta(9), \zeta(11)$ is irrationalProved

  Oct 2026

• Contour representation of Zudilin's concrete linear formsProved

  Oct 2026

• A nonzero saddle asymptotic for Zudilin's concrete Gamma kernelProved

  Oct 2026

• A uniform complex Stirling estimate in the right half-planeProved

  Oct 2026

• A certified sufficient upper bound for Zudilin’s arithmetic constantProved

  Oct 2026

• Certified enclosure of the analytic constant C₀ for Zudilin’s parametersProved

  Oct 2026

• Existence of the saddle point $\tau_0$ for $r=3$, $q=13$ with the analytic hypotheses of Lemma 2Proved

  Oct 2026

• Lemma 1: $F_n$ is a $\mathbb{Q}$-linear form in $1, \zeta(r+2), \dots, \zeta(q-2)$, with denominators (3)Proved

  Oct 2026

• Denominator estimates for the explicit partial-fraction coefficientsProved

  Oct 2026

• Small nonzero values of the forms (3) force an irrational among (4)Proved

  Oct 2026

• Selected-prime valuation bound for Zudilin’s coefficientsProved

  Oct 2026

• Prime-improved denominator bound for each partial-fraction coefficientProved

  Oct 2026

• Rough lcm bound for Zudilin’s partial-fraction coefficientsProved

  Oct 2026

• Shift the finite harmonic constant to the first numerator zeroProved

  Oct 2026

• Sharp support for partial-fraction coefficients of each orderProved

  Oct 2026

• Partial fractions, reflection symmetry, and residue cancellation for $R_n$Proved

  Oct 2026

• Evaluate Zudilin’s series from finite partial-fraction dataProved

  Oct 2026

• Corrected Chudnovsky–Rukhadze–Hata growth rate of the denominator factor ΦₙProved

  Oct 2026

• Coordinate projections: analytic contact and subgroup obstructionsProved

  Oct 2026

• Coordinate projection: tangent kernels of subgroup preimagesProved

  Oct 2026

• Corollary 2.3: the zero-degree boundary branchProved

  Oct 2026

• Corollary 2.3 — disjoint group factorsProved

  Oct 2026

• Periodic tail integral in the constant $C_1$Proved

  Oct 2026

• $\log D_{m_j n} / n \to m_j$ (prime number theorem)Proved

  Oct 2026

• A box minimum has a nonzero principal-minor denominator certificateProved

  Oct 2026

• Lemma 2 — the optimum of $\min x^{\mathsf T}Dx$ over $[0,1]^m$ is $0$ or at most $-2^{-L}$Proved

  Oct 2026

• Every principal minor satisfies $|\det D[S,S]|\le 2^L$Proved

  Oct 2026

• Masser–Wüstholz — geometric grid-coset estimate with bounded equationsProved

  Oct 2026

• Projective closure — degree bound from bounded equationsProved

  Oct 2026

• Masser–Wüstholz — pointed prime with bounded translation orbitProved

  Oct 2026

• Masser–Wüstholz — local prime estimate over finitely generated subgroupsProved

  Oct 2026

• Section 2 — recovery of Masser–Wüstholz Theorem IProved

  Oct 2026

• Masser–Wüstholz — terminal retained hypersurface cutProved

  Oct 2026

• Masser–Wüstholz — stationary component of a retained equidimensional idealProved

  Oct 2026

• Masser–Wüstholz — unpointed prime selection before recenteringProved

  Oct 2026

• Proof of Theorem 1, p. 125 — Problems 8 and 9 are equivalentProved

  Oct 2026

• Theorems 1–3 and §4 (reduction): subset sum is solvable iff $0$ is not a local min of $x^{\mathsf T}Mx$ on $x\ge0$, iff $M$ is not copositive, iff …Proved

  Oct 2026

• Source corrections — dimension-zero and zero-degree obstructionsProved

  Sep 2026

• Section 3 counterexample: initial Hilbert polynomial and component sumProved

  Sep 2026

• Section 3 — printed counterexample and nonradical correctionProved

  Sep 2026

• Positive coordinate-power ideals over a field are primaryProved

  Sep 2026

• Section 3 counterexample: section primary components and Hilbert polynomialsProved

  Sep 2026

Posted 50

• Local analytic addition coordinates with Zariski-thick neighborhoodsOpen

  Oct 2026

• Polynomial and rational coordinates on locally closed affine neighborhoodsProved

  Oct 2026

• Affine embedding charts inside prescribed open neighborhoodsProved

  Oct 2026

• Affine charts with local rational formulas for regular mapsProved

  Oct 2026

• Polynomial affine charts for embedded regular mapsProved

  Oct 2026

• Compatible affine closed-point charts for regular mapsProved

  Oct 2026

• An irreducible regular-map image contains a relative open subsetProved

  Oct 2026

• Constructible images of regular maps between embedded varietiesProved

  Oct 2026

• The closure of a prime multiplication image has nonempty interiorOpen

  Oct 2026

• The image of prime multiplication is Zariski constructibleProved

  Oct 2026

• Mixed cut flags with injective cuts and reduced final quotients after completionOpen

  Oct 2026

• A nonzero saddle asymptotic for Zudilin's concrete Gamma kernelProved

  Oct 2026

• A finitely generated divisor-class action controls degree modulo torsionOpen

  Oct 2026

• Contour representation of Zudilin's concrete linear formsProved

  Oct 2026

• The reflected Gamma kernel for Zudilin's concrete parametersDefinition

  Oct 2026

• Prime multiplication has a Zariski-open set of divisible pointsOpen

  Oct 2026

• Closure automorphisms act on a lattice controlling degreeOpen

  Oct 2026

• Divisibility of connected commutative group pointsOpen

  Oct 2026

• A uniform complex Stirling estimate in the right half-planeProved

  Oct 2026

• Lange reembedding with quadratic rational parameter formulasOpen

  Oct 2026

• Point-local regular sections preserving isolated point countsOpen

  Oct 2026

• Mixed cut flags with regular cuts and reducedness at geometric pointsOpen

  Oct 2026

• Lange reembedding with local affine quadratic addition formulasOpen

  Oct 2026

• A certified sufficient upper bound for Zudilin’s arithmetic constantProved

  Oct 2026

• Coordinate-local mixed sections preserving isolated point countsOpen

  Oct 2026

• Certified enclosure of the arithmetic constant C₁ for Zudilin’s parametersOpen

  Oct 2026

• Certified enclosure of the analytic constant C₀ for Zudilin’s parametersProved

  Oct 2026

• Mixed cut flags with injective coordinate-local cuts and reduced final quotientOpen

  Oct 2026

• Mixed cut flags reduced on the relevant locusOpen

  Oct 2026

• Lange geometric construction of a local quadratic addition coverOpen

  Oct 2026

• Lange reembedding with local quadratic addition formulasOpen

  Oct 2026

• Reduced filter-regular sections preserving isolated point countsOpen

  Oct 2026

• Reduced mixed sections with primary-prime avoidanceOpen

  Oct 2026

• Selected-prime valuation bound for Zudilin’s coefficientsProved

  Oct 2026

• Rough lcm bound for Zudilin’s partial-fraction coefficientsProved

  Oct 2026

• Filter-regular mixed linear sections with reduced final idealOpen

  Oct 2026

• Shift the finite harmonic constant to the first numerator zeroProved

  Oct 2026

• Prime-improved denominator bound for each partial-fraction coefficientProved

  Oct 2026

• Sharp support for partial-fraction coefficients of each orderProved

  Oct 2026

• Pole support, harmonic shifts, and coefficient denominator factorsDefinition

  Oct 2026

• General mixed linear section avoiding a proper closed boundaryOpen

  Oct 2026

• Mixed-degree bound for isolated points of a linear sectionOpen

  Oct 2026

• Strict contact Hilbert-function gap for the converse addendumOpen

  Oct 2026

• Denominator estimates for the explicit partial-fraction coefficientsProved

  Oct 2026

• Partial fractions, reflection symmetry, and residue cancellation for $R_n$Proved

  Oct 2026

• Evaluate Zudilin’s series from finite partial-fraction dataProved

  Oct 2026

• Finite partial-fraction data and rational coefficients for Zudilin’s formsDefinition

  Oct 2026

• Pointed Section 5 selection with isolated sampled cosetsOpen

  Oct 2026

• Small positive integer-polynomial values at ζ(5)Open

  Oct 2026

• Integral normalization with the repository’s effective growth boundOpen

  Oct 2026