๐ฎ
๐ฎ
The Ethereal
Rounding via Low Dimensional Embeddings
November 17, 2022 ยท The Ethereal ยท ๐ Information Technology Convergence and Services
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Mark Braverman, Dor Minzer
arXiv ID
2211.09729
Category
cs.CC: Computational Complexity
Cross-listed
cs.DS
Citations
1
Venue
Information Technology Convergence and Services
Last Checked
6 months ago
Abstract
A regular graph $G = (V,E)$ is an $(\varepsilon,ฮณ)$ small-set expander if for any set of vertices of fractional size at most $\varepsilon$, at least $ฮณ$ of the edges that are adjacent to it go outside. In this paper, we give a unified approach to several known complexity-theoretic results on small-set expanders. In particular, we show: 1. Max-Cut: we show that if a regular graph $G = (V,E)$ is an $(\varepsilon,ฮณ)$ small-set expander that contains a cut of fractional size at least $1-ฮด$, then one can find in $G$ a cut of fractional size at least $1-O\left(\fracฮด{\varepsilonฮณ^6}\right)$ in polynomial time. 2. Improved spectral partitioning, Cheeger's inequality and the parallel repetition theorem over small-set expanders. The general form of each one of these results involves square-root loss that comes from certain rounding procedure, and we show how this can be avoided over small set expanders. Our main idea is to project a high dimensional vector solution into a low-dimensional space while roughly maintaining $\ell_2^2$ distances, and then perform a pre-processing step using low-dimensional geometry and the properties of $\ell_2^2$ distances over it. This pre-processing leverages the small-set expansion property of the graph to transform a vector valued solution to a different vector valued solution with additional structural properties, which give rise to more efficient integral-solution rounding schemes.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Computational Complexity
๐ฎ
๐ฎ
The Ethereal
An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model
๐ฎ
๐ฎ
The Ethereal
The Parallelism Tradeoff: Limitations of Log-Precision Transformers
๐ฎ
๐ฎ
The Ethereal
The Hardness of Approximation of Euclidean k-means
๐ฎ
๐ฎ
The Ethereal
Slightly Superexponential Parameterized Problems
๐ฎ
๐ฎ
The Ethereal