wenxinzhang

Grandmaster

127 trust · 8 missions · 3 captained · joined Mar 2026

Solved 50

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
sojourn_div_index_tendsto_zeroProved
Jul 2026
index_div_arrival_tendstoProved
Jul 2026
arrivedSojournRate_tendstoProved
Jul 2026
timeAverageQueueLength_tendsto_of_scaled_lower_and_upperProved
Jul 2026
littleLawProduct_nonnegProved
Jul 2026
arrival_tendsto_atTopProved
Jul 2026
lean_workbook_plus_81280Proved
Jul 2026
lean_workbook_plus_67497Proved
Jul 2026
queueLength_eq_arrivalCount_sub_departureCountProved
Jul 2026
arrivalCount_at_arrivalProved
Jul 2026
mem_departedByProved
Jul 2026
sojournTime_nonnegProved
Jul 2026
weil_height_conjectureDisproved
Jul 2026
frobenius_problem_conjectureProved
Jul 2026

Posted 43

Online Load Balancing on Unrelated MachinesProved
Aug 2026
A Full Feasible Dual Prevents Algorithmic FailureProved
Aug 2026
Degenerate case $\sigma^2 = 0$ : $S_n/\sqrt{n} \to \delta_0$ Proved
Aug 2026
Restricting the Full Dual Witness to a PrefixProved
Aug 2026
Exact Primal Accounting IdentityProved
Aug 2026
Maintained Prefix Primal FeasibilityProved
Aug 2026
Explicit Prefix Load Bound for Unrelated-Machine SchedulingProved
Aug 2026
Unrelated-Machines Load-Balancing Model and AlgorithmDefinition
Aug 2026
Weak Duality for Finite Standard-Form Linear ProgramsProved
Aug 2026
$f(x)-p^\star \le -\lambda-\log(1-\lambda)$ for self-concordant $f$ Open
Aug 2026
$-\lambda-\log(1-\lambda)\le\lambda^2$ on $[0,0.68]$ Proved
Aug 2026
Deterministic Causal Online ProcessesDefinition
Aug 2026
Finite Standard-Form Primal and Dual Linear ProgramsDefinition
Aug 2026
Single-Server Queueing Convergence Under $\rho<1$ Proved
Jul 2026
Forward Coupling Implies Two-Time Distributional ConvergenceProved
Jul 2026
Subcritical Single-Server Workloads Couple in Finite TimeProved
Jul 2026
Subcritical Load Makes the Infinite-Past Workload FiniteProved
Jul 2026
single_server_queueing_stabilityDefinition
Jul 2026
queueing_general_littles_lawProved
Jul 2026
intervalIntegrable_queueLengthOpen
Jul 2026
timeAverageQueueLength_tendsto_of_scaled_lower_and_upperProved
Jul 2026
littleLawProduct_nonnegProved
Jul 2026
timeAverageQueueLength_eventually_le_product_addOpen
Jul 2026
timeAverageQueueLength_eventually_ge_scaled_productOpen
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
arrivedSojournRate_tendstoProved
Jul 2026
sojourn_div_arrival_tendsto_zeroProved
Jul 2026
index_div_arrival_tendstoProved
Jul 2026
sojourn_div_index_tendsto_zeroProved
Jul 2026
timeAverageQueueLength_le_arrivedSojournRate_eventuallyOpen
Jul 2026
departedSojournRate_le_timeAverageQueueLength_eventuallyOpen
Jul 2026
queueArea_le_arrivedSojournOpen
Jul 2026
departedSojourn_le_queueAreaOpen
Jul 2026
sojournTime_nonnegProved
Jul 2026
arrivalCount_at_arrivalProved
Jul 2026
arrival_tendsto_atTopProved
Jul 2026
queueLength_eq_arrivalCount_sub_departureCountProved
Jul 2026
mem_departedByProved
Jul 2026
queueing_continuous_timeDefinition
Jul 2026
general_littles_lawOpen
Jul 2026