English
Related papers

Related papers: Explicit SoS lower bounds from high-dimensional ex…

200 papers

A multidimensional version of the results of Koml\'os, Major and Tusn\'ady for sums of independent random vectors with finite exponential moments is obtained in the particular case where the summands have smooth distributions which are…

Probability · Mathematics 2014-02-07 F. Götze , A. Yu. Zaitsev

High dimensional expanders (HDXs) are a hypergraph generalization of expander graphs. They are extensively studied in the math and TCS communities due to their many applications. Like expander graphs, HDXs are especially interesting for…

Discrete Mathematics · Computer Science 2024-07-16 Inbar Ben Yaacov , Yotam Dikstein , Gal Maor

In this work we describe an explicit, simple, construction of large subsets of F^n, where F is a finite field, that have small intersection with every k-dimensional affine subspace. Interest in the explicit construction of such sets, termed…

Computational Complexity · Computer Science 2011-10-27 Zeev Dvir , Shachar Lovett

We study sum of squares (SOS) relaxations to optimize polynomial functions over a set $V\cap R^n$, where $V$ is a complex algebraic variety. We propose a new methodology that, rather than relying on some algebraic description, represents…

Optimization and Control · Mathematics 2017-11-21 Diego Cifuentes , Pablo A. Parrilo

In recent years, one of the most interesting developments in quantum mechanics has been the construction of new exactly solvable potentials connected with the appearance of families of exceptional orthogonal polynomials (EOP) in…

Mathematical Physics · Physics 2015-06-03 C. Quesne

As one of the three main pillars of fine-grained complexity theory, the 3SUM problem explains the hardness of many diverse polynomial-time problems via fine-grained reductions. Many of these reductions are either directly based on or…

Computational Complexity · Computer Science 2023-11-30 Nick Fischer , Piotr Kaliciak , Adam Polak

High-dimensional expanders generalize the notion of expander graphs to higher-dimensional simplicial complexes. In contrast to expander graphs, only a handful of high-dimensional expander constructions have been proposed, and no elementary…

Discrete Mathematics · Computer Science 2021-07-06 Louis Golowich

We settle the complexity of dynamic least-squares regression (LSR), where rows and labels $(\mathbf{A}^{(t)}, \mathbf{b}^{(t)})$ can be adaptively inserted and/or deleted, and the goal is to efficiently maintain an $\epsilon$-approximate…

Data Structures and Algorithms · Computer Science 2023-04-07 Shunhua Jiang , Binghui Peng , Omri Weinstein

In this paper, we introduce a general framework for fine-grained reductions of approximate counting problems to their decision versions. (Thus we use an oracle that decides whether any witness exists to multiplicatively approximate the…

Data Structures and Algorithms · Computer Science 2020-11-25 Holger Dell , John Lapinskas

Our work explores the hardness of $3$SUM instances without certain additive structures, and its applications. As our main technical result, we show that solving $3$SUM on a size-$n$ integer set that avoids solutions to $a+b=c+d$ for $\{a,…

Data Structures and Algorithms · Computer Science 2023-03-20 Ce Jin , Yinzhan Xu

In this paper, we propose new lower and upper bounds on the linear extension complexity of regular $n$-gons. Our bounds are based on the equivalence between the computation of (i) an extended formulation of size $r$ of a polytope $P$, and…

Optimization and Control · Mathematics 2017-05-01 Arnaud Vandaele , Nicolas Gillis , François Glineur

We give a new complexity bound for calculating the complex dimension of an algebraic set. Our algorithm is completely deterministic and approaches the best recent randomized complexity bounds. We also present some new, significantly sharper…

Algebraic Geometry · Mathematics 2025-10-20 J. Maurice Rojas

This paper is concerned with restricted families of projections in $\mathbb{R}^{3}$. Let $K \subset \mathbb{R}^{3}$ be a Borel set with Hausdorff dimension $\dim K = s > 1$. If $\mathcal{G}$ is a smooth and sufficiently well-curved…

Classical Analysis and ODEs · Mathematics 2016-02-03 Tuomas Orponen

We study the family of intersection graphs of low density objects in low dimensional Euclidean space. This family is quite general, and includes planar graphs. We prove that such graphs have small separators. Next, we present efficient…

Computational Geometry · Computer Science 2016-06-01 Sariel Har-Peled , Kent Quanrud

We give explicit polynomial-sized (in $n$ and $k$) semidefinite representations of the hyperbolicity cones associated with the elementary symmetric polynomials of degree $k$ in $n$ variables. These convex cones form a family of…

Optimization and Control · Mathematics 2016-11-17 James Saunderson , Pablo A. Parrilo

We obtain asymptotic expansions for local probabilities of partial sums for uniformly bounded independent but not necessarily identically distributed integer-valued random variables. The expansions involve products of polynomials and…

Probability · Mathematics 2020-12-02 Dmitry Dolgopyat , Yeor Hafouta

In this article, we construct novel explicit solutions for nonlinear Schr\"odinger systems with spatially inhomogeneous nonlinearity by means of the Lie symmetry method. We focus the attention to solutions with non-trivial phase, which have…

Mathematical Physics · Physics 2020-01-08 J. Belmonte-Beitia , F. Güngör , P. J. Torres

In this paper we show lower bounds for a certain large class of algorithms solving the Graph Isomorphism problem, even on expander graph instances. Spielman [25] shows an algorithm for isomorphism of strongly regular expander graphs that…

Computational Complexity · Computer Science 2016-10-31 Aaron Snook , Grant Schoenebeck , Paolo Codenotti

This article is concerned with an extension of univariate Chebyshev polynomials of the first kind to the multivariate setting, where one chases best approximants to specific monomials by polynomials of lower degree relative to the uniform…

Optimization and Control · Mathematics 2024-10-29 Mareike Dressler , Simon Foucart , Mioara Joldes , Etienne de Klerk , Jean Bernard Lasserre , Yuan Xu

Random constraint satisfaction problems (CSPs) are known to exhibit threshold phenomena: given a uniformly random instance of a CSP with $n$ variables and $m$ clauses, there is a value of $m = \Omega(n)$ beyond which the CSP will be…

Data Structures and Algorithms · Computer Science 2016-11-07 Prasad Raghavendra , Satish Rao , Tselil Schramm