53 research outputs found
Approximating Hereditary Discrepancy via Small Width Ellipsoids
The Discrepancy of a hypergraph is the minimum attainable value, over
two-colorings of its vertices, of the maximum absolute imbalance of any
hyperedge. The Hereditary Discrepancy of a hypergraph, defined as the maximum
discrepancy of a restriction of the hypergraph to a subset of its vertices, is
a measure of its complexity. Lovasz, Spencer and Vesztergombi (1986) related
the natural extension of this quantity to matrices to rounding algorithms for
linear programs, and gave a determinant based lower bound on the hereditary
discrepancy. Matousek (2011) showed that this bound is tight up to a
polylogarithmic factor, leaving open the question of actually computing this
bound. Recent work by Nikolov, Talwar and Zhang (2013) showed a polynomial time
-approximation to hereditary discrepancy, as a by-product
of their work in differential privacy. In this paper, we give a direct simple
-approximation algorithm for this problem. We show that up to
this approximation factor, the hereditary discrepancy of a matrix is
characterized by the optimal value of simple geometric convex program that
seeks to minimize the largest norm of any point in a ellipsoid
containing the columns of . This characterization promises to be a useful
tool in discrepancy theory
On largest volume simplices and sub-determinants
We show that the problem of finding the simplex of largest volume in the
convex hull of points in can be approximated with a factor
of in polynomial time. This improves upon the previously best
known approximation guarantee of by Khachiyan. On the other hand,
we show that there exists a constant such that this problem cannot be
approximated with a factor of , unless . % This improves over the
inapproximability that was previously known. Our hardness result holds
even if , in which case there exists a \bar c\,^{d}-approximation
algorithm that relies on recent sampling techniques, where is again a
constant. We show that similar results hold for the problem of finding the
largest absolute value of a subdeterminant of a matrix
Randomized Rounding for the Largest Simplex Problem
The maximum volume -simplex problem asks to compute the -dimensional
simplex of maximum volume inside the convex hull of a given set of points
in . We give a deterministic approximation algorithm for this
problem which achieves an approximation ratio of . The problem
is known to be -hard to approximate within a factor of for
some constant . Our algorithm also gives a factor
approximation for the problem of finding the principal submatrix of
a rank positive semidefinite matrix with the largest determinant. We
achieve our approximation by rounding solutions to a generalization of the
-optimal design problem, or, equivalently, the dual of an appropriate
smallest enclosing ellipsoid problem. Our arguments give a short and simple
proof of a restricted invertibility principle for determinants
An Algorithm for Koml\'os Conjecture Matching Banaszczyk's bound
We consider the problem of finding a low discrepancy coloring for sparse set
systems where each element lies in at most t sets. We give an efficient
algorithm that finds a coloring with discrepancy O((t log n)^{1/2}), matching
the best known non-constructive bound for the problem due to Banaszczyk. The
previous algorithms only achieved an O(t^{1/2} log n) bound. The result also
extends to the more general Koml\'{o}s setting and gives an algorithmic
O(log^{1/2} n) bound
Towards a Constructive Version of Banaszczyk's Vector Balancing Theorem
An important theorem of Banaszczyk (Random Structures & Algorithms `98)
states that for any sequence of vectors of norm at most and any
convex body of Gaussian measure in , there exists a
signed combination of these vectors which lands inside . A major open
problem is to devise a constructive version of Banaszczyk's vector balancing
theorem, i.e. to find an efficient algorithm which constructs the signed
combination.
We make progress towards this goal along several fronts. As our first
contribution, we show an equivalence between Banaszczyk's theorem and the
existence of -subgaussian distributions over signed combinations. For the
case of symmetric convex bodies, our equivalence implies the existence of a
universal signing algorithm (i.e. independent of the body), which simply
samples from the subgaussian sign distribution and checks to see if the
associated combination lands inside the body. For asymmetric convex bodies, we
provide a novel recentering procedure, which allows us to reduce to the case
where the body is symmetric.
As our second main contribution, we show that the above framework can be
efficiently implemented when the vectors have length ,
recovering Banaszczyk's results under this stronger assumption. More precisely,
we use random walk techniques to produce the required -subgaussian
signing distributions when the vectors have length , and
use a stochastic gradient ascent method to implement the recentering procedure
for asymmetric bodies
An Improved Private Mechanism for Small Databases
We study the problem of answering a workload of linear queries ,
on a database of size at most drawn from a universe
under the constraint of (approximate) differential privacy.
Nikolov, Talwar, and Zhang~\cite{NTZ} proposed an efficient mechanism that, for
any given and , answers the queries with average error that is
at most a factor polynomial in and
worse than the best possible. Here we improve on this guarantee and give a
mechanism whose competitiveness ratio is at most polynomial in and
, and has no dependence on . Our mechanism
is based on the projection mechanism of Nikolov, Talwar, and Zhang, but in
place of an ad-hoc noise distribution, we use a distribution which is in a
sense optimal for the projection mechanism, and analyze it using convex duality
and the restricted invertibility principle.Comment: To appear in ICALP 2015, Track
Improved Algorithmic Bounds for Discrepancy of Sparse Set Systems
We consider the problem of finding a low discrepancy coloring for sparse set
systems where each element lies in at most sets. We give an algorithm that
finds a coloring with discrepancy where is the
maximum cardinality of a set. This improves upon the previous constructive
bound of based on algorithmic variants of the partial
coloring method, and for small (e.g.) comes close to
the non-constructive bound due to Banaszczyk. Previously,
no algorithmic results better than were known even for . Our method is quite robust and we give several refinements and
extensions. For example, the coloring we obtain satisfies the stronger
size-sensitive property that each set in the set system incurs an discrepancy. Another variant can be used to
essentially match Banaszczyk's bound for a wide class of instances even where
is arbitrarily large. Finally, these results also extend directly to the
more general Koml\'{o}s setting
- …