English

Tighter Bounds for the Randomized Polynomial-Time Simplex Algorithm for Linear Programming

Computational Complexity 2026-05-01 v3 Computational Geometry

Abstract

We present a randomized polynomial-time simplex algorithm with higher probability and tighter bounds for linear programming by applying improved quasi-convex properties, a logarithmic rounding on a given polytope and its logarithmic perturbation. We base our work on the first randomized polynomial-time simplex method by Jonathan A. Kelner and Daniel A. Spielman [KS06]. We obtain stronger bounds for the expected number of edges in the projection of a perturbed polytope onto a two-dimensional shadow plane. In the kk-round case, we obtain a bound of 162πk(1+λHn)dn/3λ16 \sqrt{2} \pi k (1 + \lambda H_n) \sqrt{d} n / 3 \lambda. In the non-kk-round case, we obtain a bound of 26πt(1+λHn)dn/λρ26 \pi t (1 + \lambda H_n) \sqrt{d} n / \lambda \rho. To achieve this, we provide a slightly lower bound of 32λ/(16nd)3 \sqrt{2} \lambda / (16 n \sqrt{d}) on the expected edge length that appears in the shadow. Another tool we employ is a tighter bound for 11-quasi-concave minimization and 11-quasi-convex maximization. In the kk-round case, we obtain a quasi-convex bound of (d2)ϵ2/2(d - 2) \epsilon^2 / 2. In the non-kk-round case, we obtain a quasi-convex bound of 3.4ϵ2/ρ23.4 \epsilon^2 / \rho^2. We propose a modification of the Kelner and Spielman randomized simplex algorithm (STOC'06) [KS06] that achieves a higher success probability. To accomplish this, we apply our tighter bounds with a new expected value of λ=clogn\lambda = c \log n for independent exponentially distributed random variables and with log(k)\log(k)-rounding. The desired properties resulting from the construction of an artificial vertex during initialization hold with a higher probability of at least 1(d+2),elogn1 - (d + 2), e^{-\log n}. The pivot rule of the randomized simplex modification holds with a probability of at least 3/43/4.

Keywords

Cite

@article{arxiv.2511.14244,
  title  = {Tighter Bounds for the Randomized Polynomial-Time Simplex Algorithm for Linear Programming},
  author = {Daniel Gibor},
  journal= {arXiv preprint arXiv:2511.14244},
  year   = {2026}
}

Comments

substantial structural reorganization

R2 v1 2026-07-01T07:42:48.331Z