A New Framework for Matrix Discrepancy: Partial Coloring Bounds via Mirror Descent

11/04/2021
by   Daniel Dadush, et al.
0

Motivated by the Matrix Spencer conjecture, we study the problem of finding signed sums of matrices with a small matrix norm. A well-known strategy to obtain these signs is to prove, given matrices A_1, …, A_n ∈ℝ^m × m, a Gaussian measure lower bound of 2^-O(n) for a scaling of the discrepancy body {x ∈ℝ^n: ∑_i=1^n x_i A_i≤ 1}. We show this is equivalent to covering its polar with 2^O(n) translates of the cube 1/n B^n_∞, and construct such a cover via mirror descent. As applications of our framework, we show: ∙ Matrix Spencer for Low-Rank Matrices. If the matrices satisfy A_i_op≤ 1 and rank(A_i) ≤ r, we can efficiently find a coloring x ∈{± 1}^n with discrepancy ∑_i=1^n x_i A_i _op≲√(n log (min(rm/n, r))). This improves upon the naive O(√(n log r)) bound for random coloring and proves the matrix Spencer conjecture when r m ≤ n. ∙ Matrix Spencer for Block Diagonal Matrices. For block diagonal matrices with A_i_op≤ 1 and block size h, we can efficiently find a coloring x ∈{± 1}^n with ∑_i=1^n x_i A_i _op≲√(n log (hm/n)). Using our proof, we reduce the matrix Spencer conjecture to the existence of a O(log(m/n)) quantum relative entropy net on the spectraplex. ∙ Matrix Discrepancy for Schatten Norms. We generalize our discrepancy bound for matrix Spencer to Schatten norms 2 ≤ p ≤ q. Given A_i_S_p≤ 1 and rank(A_i) ≤ r, we can efficiently find a partial coloring x ∈ [-1,1]^n with |{i : |x_i| = 1}| ≥ n/2 and ∑_i=1^n x_i A_i_S_q≲√(n min(p, log(rk)))· k^1/p-1/q, where k := min(1,m/n).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/17/2022

A remark on Kashin's discrepancy argument and partial coloring in the Komlós conjecture

In this expository note, we discuss an early partial coloring result of ...
research
08/24/2022

Resolving Matrix Spencer Conjecture Up to Poly-logarithmic Rank

We give a simple proof of the matrix Spencer conjecture up to poly-logar...
research
10/19/2021

Matrix Discrepancy from Quantum Communication

We develop a novel connection between discrepancy minimization and (quan...
research
11/04/2021

The discrepancy of unsatisfiable matrices and a lower bound for the Komlós conjecture constant

We construct simple, explicit matrices with columns having unit ℓ^2 norm...
research
12/26/2021

Proof of a conjecture on a special class of matrices over commutative rings of characteristic 2

In this note, we prove the conjecture posed by Keller and Rosemarin at E...
research
10/08/2018

On the discrepancy of random low degree set systems

Motivated by the celebrated Beck-Fiala conjecture, we consider the rando...
research
07/10/2020

Vector Balancing in Lebesgue Spaces

A tantalizing conjecture in discrete mathematics is the one of Komlós, s...

Please sign up or login with your details

Forgot password? Click here to reset