๐ฎ
๐ฎ
The Ethereal
A stronger connection between the asymptotic rank conjecture and the set cover conjecture
November 05, 2023 ยท The Ethereal ยท ๐ Symposium on the Theory of Computing
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Kevin Pratt
arXiv ID
2311.02774
Category
cs.CC: Computational Complexity
Cross-listed
cs.DS
Citations
14
Venue
Symposium on the Theory of Computing
Last Checked
1 month ago
Abstract
We give a short proof that Strassen's asymptotic rank conjecture implies that for every $\varepsilon > 0$ there exists a $(3/2^{2/3} + \varepsilon)^n$-time algorithm for set cover on a universe of size $n$ with sets of bounded size. This strengthens and simplifies a recent result of Bjรถrklund and Kaski that Strassen's asymptotic rank conjecture implies that the set cover conjecture is false. From another perspective, we show that the set cover conjecture implies that a particular family of tensors $T_n \in \mathbb{C}^N \otimes \mathbb{C}^N \otimes \mathbb{C}^N$ has asymptotic rank greater than $N^{1.08}$. Furthermore, if one could improve a known upper bound of $\frac{1}{2}8^n$ on the tensor rank of $T_n$ to $\frac{2}{9 \cdot n}8^n$ for any $n$, then the set cover conjecture is false.
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