Abstract:We study integer programming instances over polytopes P(A,b)={x:Ax<=b} where the constraint matrix A is random, i.e., its entries are i.i.d. Gaussian or, more generally, its rows are i.i.d. from a spherically symmetric distribution. The radius of the largest inscribed ball is closely related to the existence of integer points in the polytope. We show that for m=2^O(sqrt{n}), there exist constants c_0 < c_1 such that with high probability, random polytopes are integer feasible if the radius of the largest ball contained in the polytope is at least c_1sqrt{log(m/n)}; and integer infeasible if the largest ball contained in the polytope is centered at (1/2,...,1/2) and has radius at most c_0sqrt{log(m/n)}. Thus, random polytopes transition from having no integer points to being integer feasible within a constant factor increase in the radius of the largest inscribed ball. We show integer feasibility via a randomized polynomial-time algorithm for finding an integer point in the polytope. Our main tool is a simple new connection between integer feasibility and linear discrepancy. We extend a recent algorithm for finding low-discrepancy solutions (Lovett-Meka, FOCS '12) to give a constructive upper bound on the linear discrepancy of random matrices. By our connection between discrepancy and integer feasibility, this upper bound on linear discrepancy translates to the radius lower bound that guarantees integer feasibility of random polytopes.

Random inscribed polytopes in projective geometries

Asymptotic normality for random polytopes in non-Euclidean geometries

Random polytopes in convex bodies: Bridging the gap between extremal containers

Mixed random beta-polytopes

Limit Theorems for the Volume of Random Projections and Sections of $\ell_p^N$-balls

On the variance of the mean width of random polytopes circumscribed around a convex body

Asymptotic expected $T$-functionals of random polytopes with applications to $L_p$ surface areas

The volume of random simplices from elliptical distributions in high dimension

Random Shadows of Fixed Polytopes

A Central Limit Theorem for Random Disc-Polygons in Smooth Convex Discs

Counting faces of randomly-projected polytopes when the projection radically lowers dimension

Integer Feasibility of Random Polytopes

Schwarzian derivatives, projective structures, and the Weil–Petersson gradient flow for renormalized volume

Polytopal balls arising in optimization

Borell's inequality and mean width of random polytopes via discrete inequalities

Almost sure central limit theorems in stochastic geometry

Random approximation of convex bodies in Hausdorff metric

Random triangulations of the d-sphere with minimum volume

A Rényi entropy interpretation of anti-concentration and noncentral sections of convex bodies

Volume growth of Funk geometry and the flags of polytopes

Polyhedral volume ratios, Izmestiev's Colin de Verdiere matrices and Spectral Gaps