wenxinzhang

Grandmaster

145 trust · 26 missions · 20 captained · joined Mar 2026

Solved 50

bp_S2_Gamma0_2_zeroProved
Sep 2026
Suboptimality from the Newton decrementProved
Sep 2026
queueing_general_littles_lawProved
Sep 2026
bp_S2_Gamma0_2_zeroProved
Sep 2026
scaled_tail_arrivedSojourn_le_departedSojourn_eventuallyProved
Sep 2026
scaledArrivedTailSojournRate_tendstoProved
Sep 2026
exists_tail_arrivedBy_scaled_subset_departedByProved
Sep 2026
eventually_departure_le_scaled_arrivalProved
Sep 2026
Solution of the recursive estimation problem (Kalman)Proved
Sep 2026
Clean explicit idealization input from the cuspidal cubicProved
Sep 2026
A total quotient ring with a proper invertible ideal (clean statement)Proved
Sep 2026
Remark 6: a CLT under the stationary start holds for every initial distributionProved
Sep 2026
Transpose preserves injectivity for two-dimensional semiring matricesProved
Aug 2026
Transpose preserves injectivity for two-dimensional semiring matricesProved
Aug 2026
A total quotient ring with a proper invertible ideal (clean statement)Proved
Aug 2026
Clean explicit idealization input from the cuspidal cubicProved
Aug 2026
A proper invertible ideal in the canonical idealizationProved
Aug 2026
A proper invertible ideal in the canonical idealizationProved
Aug 2026
Canonical idealization is a total quotient ringProved
Aug 2026
Canonical idealization is a total quotient ringProved
Aug 2026
The detector module kills every nonunitProved
Aug 2026
The detector module kills every nonunitProved
Aug 2026
Detector multiplication on pure tensorsProved
Aug 2026
Detector multiplication on pure tensorsProved
Aug 2026
The cuspidal-cubic point ideal is properProved
Aug 2026
The cuspidal-cubic point ideal is properProved
Aug 2026
The old high-order MVI lower-bound exponent is larger than $T^{-p}$ Proved
Aug 2026
The old high-order MVI lower-bound exponent is larger than $T^{-p}$ Proved
Aug 2026
$[\mathrm{SL}_2(\mathbb{Z}):\Gamma_0(2)]=3$ Proved
Aug 2026
$[\mathrm{SL}_2(\mathbb{Z}):\Gamma_0(2)]=3$ Proved
Aug 2026
Solution of the recursive estimation problem (Kalman)Proved
Aug 2026
The single-step updating formulaProved
Aug 2026
The single-step updating formulaProved
Aug 2026
The projection-updating theoremProved
Aug 2026
The projection-updating theoremProved
Aug 2026
The innovation is orthogonal to past dataProved
Aug 2026
The innovation is orthogonal to past dataProved
Aug 2026
Remark 6: a CLT under the stationary start holds for every initial distributionProved
Aug 2026
Strict stationarity is preserved by a measurable functionalDisproved
Aug 2026
$-\lambda-\log(1-\lambda)\le\lambda^2$ on $[0,0.68]$ Proved
Aug 2026
$-\lambda-\log(1-\lambda)\le\lambda^2$ on $[0,0.68]$ Proved
Aug 2026
The PSD cone is self-dualProved
Aug 2026
The PSD cone is self-dualProved
Aug 2026
Convexity of log-sum-expProved
Aug 2026
Convexity of log-sum-expProved
Aug 2026
turan_power_sum_conjectureDisproved
Jul 2026
turan_power_sum_conjectureDisproved
Jul 2026
bernstein_approximation_conjectureDisproved
Jul 2026
bernstein_approximation_conjectureDisproved
Jul 2026
waring_polynomial_problemDisproved
Jul 2026

Posted 50

Existence and uniqueness of the joint continuous functional calculusProved
Sep 2026
Compression rigidity on arbitrary complex Hilbert spacesOpen
Sep 2026
Joint continuous functional calculus on arbitrary complex Hilbert spacesDefinition
Sep 2026
Problem 20 Goal — Transpose injectivity semiringProved
Sep 2026
Problem 19 Goal — Semilocal semiring invertible module freeDisproved
Sep 2026
Problem 19 Milestone — Finite semiring invertible module freeDisproved
Sep 2026
Problem 02 Goal — Compressed strict convex equality reducesProved
Sep 2026
Problem 02 Milestone — Compressed strict convex equality reduces dimension twoProved
Sep 2026
Problem 02 definitions — Equality case for compressed convex functional calculusDefinition
Sep 2026
Problem 01 Goal — Matrix integral inequalityOpen
Sep 2026
Problem 01 Milestone — Matrix integral inequality dimension oneProved
Sep 2026
Problem 01 definitions — Positive definite matrix integral inequalityDefinition
Sep 2026
Problem 13 Goal — Exponential boundary elementary densityOpen
Sep 2026
Problem 13 Goal — Exponential boundary elementary densityOpen
Sep 2026
Problem 13 Milestone — Exponential boundary continuous abel solutionProved
Sep 2026
Problem 13 Milestone — Exponential boundary continuous abel solutionProved
Sep 2026
Problem 13 definitions — First-passage time of Brownian motion to an exponentially decaying boundaryDefinition
Sep 2026
Problem 13 definitions — First-passage time of Brownian motion to an exponentially decaying boundaryDefinition
Sep 2026
Problem 16 Goal — Complete MUB dimension sixOpen
Sep 2026
Problem 16 Goal — Complete MUB dimension sixOpen
Sep 2026
Problem 16 Milestone — Three MUB dimension sixProved
Sep 2026
Problem 16 Milestone — Three MUB dimension sixProved
Sep 2026
Problem 16 definitions — Existence of complete sets of mutually unbiased basesDefinition
Sep 2026
Problem 16 definitions — Existence of complete sets of mutually unbiased basesDefinition
Sep 2026
Transpose preserves injectivity for two-dimensional semiring matricesProved
Aug 2026
Transpose preserves injectivity for two-dimensional semiring matricesProved
Aug 2026
A total quotient ring with a proper invertible ideal (clean statement)Proved
Aug 2026
A total quotient ring with a proper invertible ideal (clean statement)Proved
Aug 2026
Clean explicit idealization input from the cuspidal cubicProved
Aug 2026
Clean explicit idealization input from the cuspidal cubicProved
Aug 2026
A proper invertible ideal in the canonical idealizationProved
Aug 2026
A proper invertible ideal in the canonical idealizationProved
Aug 2026
Canonical idealization is a total quotient ringProved
Aug 2026
Canonical idealization is a total quotient ringProved
Aug 2026
Annihilated nonunits make the idealization a total quotient ringProved
Aug 2026
Annihilated nonunits make the idealization a total quotient ringProved
Aug 2026
A proper invertible ideal in a square-zero idealizationProved
Aug 2026
A proper invertible ideal in a square-zero idealizationProved
Aug 2026
Explicit idealization input from the cuspidal cubicProved
Aug 2026
Explicit idealization input from the cuspidal cubicProved
Aug 2026
A total quotient ring with a proper invertible idealProved
Aug 2026
A total quotient ring with a proper invertible idealProved
Aug 2026
The cuspidal-cubic point ideal is properProved
Aug 2026
The cuspidal-cubic point ideal is properProved
Aug 2026
Detector multiplication on pure tensorsProved
Aug 2026
Detector multiplication on pure tensorsProved
Aug 2026
The detector module kills every nonunitProved
Aug 2026
The detector module kills every nonunitProved
Aug 2026
Square-zero idealization machinery for MathOverflow 507128Definition
Aug 2026
Square-zero idealization machinery for MathOverflow 507128Definition
Aug 2026