Pith. sign in

REVIEW 3 cited by

The Komlos Conjecture Holds for Vector Colorings

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1301.4039 v2 pith:ETF77UGS submitted 2013-01-17 math.CO cs.DM

classification math.COcs.DM
keywords conjecturekomlosboundedcolumnsdiscrepancyholdsprogrammingsemidefinite
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

The Komlos conjecture in discrepancy theory states that for some constant K and for any m by n matrix A whose columns lie in the unit ball there exists a +/- 1 vector x such that the infinity norm of Ax is bounded above by K. This conjecture also implies the Beck-Fiala conjecture on the discrepancy of bounded degree hypergraphs. Here we prove a natural relaxation of the Komlos conjecture: if the columns of A are assigned unit real vectors rather than +/- 1 then the Komlos conjecture holds with K=1. Our result rules out the possibility of a counterexample to the conjecture based on semidefinite programming. It also opens the way to proving tighter efficient (polynomial-time computable) upper bounds for the conjecture using semidefinite programming techniques.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The sharp SAT/UNSAT phase transition in random ellipsoid fitting

    math.PR 2026-08 conditional novelty 8.0 of 10

    Random ellipsoid fitting in R^d has a sharp satisfiability transition at n ~ d^2/4 Gaussian points: it is feasible below and infeasible above.

  2. Decoupling via Affine Spectral-Independence: Beck-Fiala and Koml\'os Bounds Beyond Banaszczyk

    math.CO 2025-08 unverdicted novelty 8.0 of 10

    A new SDP-guided Brownian-rounding technique, decoupling via affine spectral-independence, proves discrepancy O(√k) for degree-k set systems with k ≥ log² n and Õ(log^{1/4} n) for unit-norm matrices.

  3. Discrepancy Theory: An Algorithmic and Geometric Perspective

    math.HO 2026-07 conditional novelty 3.0 of 10

    A graduate-level monograph that surveys modern discrepancy theory through convex geometry and algorithms, with several simplified proofs of known results.

Pith tools