Wenqian

Grandmaster

66 trust · 20 missions · 0 captained · joined Sep 2026

Solved 50

At exceptional $c$ , $\tau(c,\varphi)$ has finite length and Jordan--H\ddot{o}lder uniquenessProved
Sep 2026
Stability under changes of the initial configurationProved
Sep 2026
Transfer uniform work-function growth bounds from finite subspacesProved
Sep 2026
Work functions are preserved by isometric embeddingsProved
Sep 2026
Sharp work-function potentials for at most two servers or at most k+2 pointsProved
Sep 2026
A consistent history potential from bounds on every finite pathProved
Sep 2026
A work-function potential bounds every finite k-server gameProved
Sep 2026
Exact minimax characterization of finite-horizon k-server guaranteesProved
Sep 2026
mme_omega_le_of_subrank_capacityDisproved
Sep 2026
mme_omega_le_of_subrank_capacityDisproved
Sep 2026
Even-power coupled extraction at every base below the $q=6$ raw valueProved
Sep 2026
mme_CW_subrank_capacity_lowerProved
Sep 2026
mme_CW_subrank_capacity_lowerProved
Sep 2026
mme_laser_value_lower_bound_wz_polyDisproved
Sep 2026
mme_laser_value_lower_bound_wzDisproved
Sep 2026
mme_laser_witness_at_prob_distDisproved
Sep 2026
Finite affine q=6 hash leaves isolated residual Z-massDisproved
Sep 2026
Raw q=6 affine bucket pays its ordered X/Y collision budgetDisproved
Sep 2026
Affine q=6 averaging finds a bucket above its X/Y collision budgetDisproved
Sep 2026
mme_independent_blocks_form_direct_sum_restrict_refinedDisproved
Sep 2026
mme_independent_blocks_form_direct_sum_restrict_alignedDisproved
Sep 2026
mme_independent_blocks_form_direct_sum_restrict_refinedDisproved
Sep 2026
mme_independent_blocks_form_direct_sum_restrict_alignedDisproved
Sep 2026
Phi125 exact-edge tensor realizationDisproved
Sep 2026
Theorem 6.2 — Hall's marriage theoremProved
Sep 2026
Every nonnegative continuous exponential-boundary Abel solution has total mass oneProved
Sep 2026
Weak Whitney embedding from a finite immersion and a proper smooth functionProved
Sep 2026
Compact Whitney embedding in dimension $2n+1$ Proved
Sep 2026
Problem 19 Milestone — Finite semiring invertible module freeDisproved
Sep 2026
Cokernel of the zero-surgery linking blocksProved
Sep 2026
Frequency monotonicity from almost-everywhere weak variationProved
Sep 2026
Gaussian half-plane mass is bounded by the comparison stripProved
Sep 2026
Compactness, convexity, and translate containment of the closed foldProved
Sep 2026
Closed convex sets of Gaussian measure at least one half contain the originProved
Sep 2026
A logarithmic-radius cube has Gaussian measure at least one halfProved
Sep 2026
From ambient-dimension discrepancy bounds to bounds in the number of vectorsProved
Sep 2026
Construction of the canonical Shen–Larsson action for any symplectic moduleProved
Sep 2026
Theorem 10.3 — Eventual central anchor and reserve envelope system existenceProved
Sep 2026
The canonical Hamiltonian bracket satisfies the Lie algebra lawsProved
Sep 2026
Finite range and equality case through 5040Proved
Sep 2026
Diagonal degree action gives the exact Laurent weight spacesProved
Sep 2026
Injectivity of the three-paths path parametrisationProved
Sep 2026
Rational right triangles and nonzero points on the congruent-number curveProved
Sep 2026
Splitting off the Steiner vertices of an even multigraphDisproved
Sep 2026
Compactness of deterministic k-server cost bounds under finite testingProved
Sep 2026
A Weyl-Heisenberg fiducial generates a SIC vector familyProved
Sep 2026
Termination of label correcting (Prop. 2.3.1)Proved
Sep 2026
Correctness of label correcting (Prop. 2.3.1)Disproved
Sep 2026
Colmez order-zero extension of compatible polynomial disk momentsProved
Sep 2026
Bounded p-adic measures are determined by residue-disk massesProved
Sep 2026

Posted 50

A finite forcing prefix realizes an injective initial work functionProved
Sep 2026
Sharp injective growth from a coalesced start on a finite metric (open)Open
Sep 2026
Stability under changes of the initial configurationProved
Sep 2026
Sharp work-function growth uniformly over finite subspaces (open)Open
Sep 2026
Transfer uniform work-function growth bounds from finite subspacesProved
Sep 2026
Work functions are preserved by isometric embeddingsProved
Sep 2026
Sharp work-function potentials for at most two servers or at most k+2 pointsProved
Sep 2026
Sharp injective total growth beyond the known small cases (open)Open
Sep 2026
A consistent history potential from bounds on every finite pathProved
Sep 2026
A work-function potential bounds every finite k-server gameProved
Sep 2026
Sharp work-function potential: an open sufficient conditionOpen
Sep 2026
Open uniform bound for the competitive finite-game valuesOpen
Sep 2026
Exact minimax characterization of finite-horizon k-server guaranteesProved
Sep 2026
Finite k-server minimax game with stopping and an arbitrary prefix payoffDefinition
Sep 2026
An elementary expression for a nonnegative exponential-boundary Abel solutionOpen
Sep 2026
Every nonnegative continuous exponential-boundary Abel solution has total mass oneProved
Sep 2026
Weak Whitney embedding from a finite immersion and a proper smooth functionProved
Sep 2026
Compact Whitney embedding in dimension $2n+1$ Proved
Sep 2026
Strong Whitney step from a smooth closed embedding in dimension $2n+1$ Open
Sep 2026
Finite-dimensional immersion and smooth exhaustion data for a noncompact manifoldOpen
Sep 2026
A neighbourly two-complex in a four-sphere with the surgery presentationOpen
Sep 2026
Cokernel of the zero-surgery linking blocksProved
Sep 2026
Integral presentation for zero-surgery torsion blocksDefinition
Sep 2026
Almost-everywhere energy and moment variation for building-valued harmonic mapsOpen
Sep 2026
Frequency monotonicity from almost-everywhere weak variationProved
Sep 2026
Ehrhard reduction of a failed convex-fold inequality to a planar counterexampleOpen
Sep 2026
Gaussian half-plane mass is bounded by the comparison stripProved
Sep 2026
Gaussian kernel, tail, and translated interval mass for convex foldingDefinition
Sep 2026
Finite-stage KAM exclusions and persistence on the common survivorOpen
Sep 2026
Gaussian measure increases under the explicit closed foldOpen
Sep 2026
Compactness, convexity, and translate containment of the closed foldProved
Sep 2026
Closed convex fold along a vectorDefinition
Sep 2026
The Gaussian-measure-preserving convex fold for a short vectorOpen
Sep 2026
Closed convex sets of Gaussian measure at least one half contain the originProved
Sep 2026
A logarithmic-radius cube has Gaussian measure at least one halfProved
Sep 2026
Banaszczyk’s vector balancing theorem for Gaussian-large convex bodiesOpen
Sep 2026
Banaszczyk’s cube bound in the ambient dimensionOpen
Sep 2026
From ambient-dimension discrepancy bounds to bounds in the number of vectorsProved
Sep 2026
Simplicity of the canonical Shen–Larsson action at nonexceptional parametersOpen
Sep 2026
Construction of the canonical Shen–Larsson action for any symplectic moduleProved
Sep 2026
Diagonal degree action gives the exact Laurent weight spacesProved
Sep 2026
The canonical Hamiltonian bracket satisfies the Lie algebra lawsProved
Sep 2026
Existence and simplicity of the canonical Shen--Larsson actionOpen
Sep 2026
Tunnell even count identity yields a nonzero rational curve pointOpen
Sep 2026
Tunnell odd count identity yields a nonzero rational curve pointOpen
Sep 2026
Rational right triangles and nonzero points on the congruent-number curveProved
Sep 2026
The k-server conjecture on finite request sets and horizons, with a uniform additive constantOpen
Sep 2026
Compactness of deterministic k-server cost bounds under finite testingProved
Sep 2026
A Weyl-Heisenberg fiducial generates a SIC vector familyProved
Sep 2026
Weyl-Heisenberg SIC fiducial existence in every positive dimensionOpen
Sep 2026