wenxinzhang

Grandmaster

141 trust · 23 missions · 16 captained · joined Mar 2026

Solved 50

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
Canonical idealization is a total quotient ringProved
Aug 2026
The detector module kills every nonunitProved
Aug 2026
Detector multiplication on pure tensorsProved
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
$[\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 projection-updating theoremProved
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
The PSD cone is self-dualProved
Aug 2026
Convexity of log-sum-expProved
Aug 2026
turan_power_sum_conjectureDisproved
Jul 2026
bernstein_approximation_conjectureDisproved
Jul 2026
waring_polynomial_problemDisproved
Jul 2026
nagata_conjecture_curvesProved
Jul 2026
packing_chromatic_conjectureProved
Jul 2026
alon_tarsi_conjectureDisproved
Jul 2026
lang_trotter_conjectureDisproved
Jul 2026
zilber_pink_conjectureProved
Jul 2026
linnik_constant_exactDisproved
Jul 2026
complex_lines_problemProved
Jul 2026
halls_conjectureProved
Jul 2026
skew_symmetric_rank_conjectureProved
Jul 2026
graph_automorphism_primeDisproved
Jul 2026
jacobsthal_function_conjectureProved
Jul 2026
fibonacci_prime_factorsDisproved
Jul 2026
menger_directed_max_flowProved
Jul 2026
skolem_conjectureProved
Jul 2026
prime_knot_conjectureProved
Jul 2026
sum_of_squares_r_functionProved
Jul 2026
tetrahedron_packing_densityProved
Jul 2026
hilbert_16th_quadraticProved
Jul 2026
circuit_depth_conjectureProved
Jul 2026
sha_finiteness_conjectureProved
Jul 2026
nonparametric_bernstein_von_misesProved
Jul 2026
dehn_function_groupsProved
Jul 2026
arakelov_intersection_conjectureProved
Jul 2026
scaledArrivedTailSojournRate_tendstoProved
Jul 2026
scaled_tail_arrivedSojourn_le_departedSojourn_eventuallyProved
Jul 2026
exists_tail_arrivedBy_scaled_subset_departedByProved
Jul 2026
eventually_departure_le_scaled_arrivalProved
Jul 2026
sojourn_div_arrival_tendsto_zeroProved
Jul 2026

Posted 50

Problem 13 Goal — Exponential boundary elementary densityOpen
Sep 2026
Problem 13 Milestone — Exponential boundary continuous abel solutionOpen
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 Milestone — Three MUB dimension sixOpen
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
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
Canonical idealization is a total quotient ringProved
Aug 2026
Annihilated nonunits make the idealization a total quotient ringOpen
Aug 2026
A proper invertible ideal in a square-zero idealizationOpen
Aug 2026
Explicit idealization input from the cuspidal cubicOpen
Aug 2026
A total quotient ring with a proper invertible idealOpen
Aug 2026
The cuspidal-cubic point ideal is properProved
Aug 2026
Detector multiplication on pure tensorsProved
Aug 2026
The detector module kills every nonunitProved
Aug 2026
Square-zero idealization machinery for MathOverflow 507128Definition
Aug 2026
Cuspidal-cubic input for MathOverflow 507128Definition
Aug 2026
The old high-order MVI lower-bound exponent is larger than $T^{-p}$ Proved
Aug 2026
$S_k(\mathrm{SL}_2(\mathbb{Z}))=0$ for $k<12$ Open
Aug 2026
$[\mathrm{SL}_2(\mathbb{Z}):\Gamma_0(2)]=3$ Proved
Aug 2026
Conjugate-gradient convergenceProved
Aug 2026
Quadratic penalty cluster-point convergenceProved
Aug 2026
One-step conjugate-gradient energy contractionProved
Aug 2026
Optimality of a feasible penalty cluster pointProved
Aug 2026
Conjugacy of active CG directionsProved
Aug 2026
Feasibility of a penalty cluster pointProved
Aug 2026
Pontryagin minimum principleOpen
Aug 2026
Convergence along complete conjugate directionsProved
Aug 2026
Basic quadratic-penalty estimatesProved
Aug 2026
Adjoint Lagrangian first-order comparisonOpen
Aug 2026
Coercive self-adjoint operators are bijectiveProved
Aug 2026
Finite inequality violation and quadratic penaltyDefinition
Aug 2026
Control-to-state Grönwall estimateProved
Aug 2026
Total conjugate-gradient iterationDefinition
Aug 2026
Measurable optimal-control frameworkDefinition
Aug 2026
Generalized Kuhn–Tucker theoremProved
Aug 2026
Stationarity and complementary slackness extractionProved
Aug 2026
Separation of the linearized KKT systemProved
Aug 2026
No strict linearized descent at a local minimizerProved
Aug 2026
Local cone-optimization vocabularyDefinition
Aug 2026
Equality-constrained Lagrange multiplierProved
Aug 2026
Abnormal equality multiplierProved
Aug 2026
Stationarity on the constraint tangent kernelProved
Aug 2026
Generalized inverse function theoremProved
Aug 2026
§5.13, Theorem 1 — Minimum-distance duality for a convex setProved
Aug 2026
Global Lagrange duality under strict feasibilityProved
Aug 2026
Two-sided sensitivity bounds from Lagrange multipliersProved
Aug 2026