Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,657 papers · 148 categories

Trend · papers per month

23466992 · Jun 202619922001200920172026
48 results for sum-of-squares proofs

Estimation is the computational task of recovering a hidden parameter xx associated with a distribution DxD_x, given a measurement yy sampled from the distribution. High dimensional estimation problems arise naturally in statistics, machine learning, and complexity theory. Many high dimensional estimation problems ca…

2018-07-30abs ↗pdf ↗

New framework reduces sum-of-squares proof degree, speeding up clustering and robust moment estimation.

problem Sum-of-squares proof optimization and faster algorithms for clustering and robust moment estimation.
method Introducing new variables to reduce the degree of sum-of-squares proofs.
result Significantly faster algorithms for clustering and robust moment estimation with the same statistical guarantees.

Polynomial-time algorithm estimates mean with bounded covariance using differential privacy.

problem Estimating mean of a d-variate distribution with differential privacy constraints.
method Sum of Squares (SoS) exponential mechanism for polynomial-time differentially private estimation.
result First polynomial-time algorithm with O(d)O(d) samples for mean estimation under pure differential privacy.

We obtain the first polynomial-time algorithm for exact tensor completion that improves over the bound implied by reduction to matrix completion. The algorithm recovers an unknown 3-tensor with rr incoherent, orthogonal components in Rn\mathbb R^n from rO~(n1.5)r\cdot \tilde O(n^{1.5}) randomly observed entries of the tensor…

2017-02-21abs ↗pdf ↗

In the noisy tensor completion problem we observe mm entries (whose location is chosen uniformly at random) from an unknown n1×n2×n3n_1 \times n_2 \times n_3 tensor TT. We assume that TT is entry-wise close to being rank rr. Our goal is to fill in its missing entries using as few observations as possible. Let $n = \max(n…

2015-01-26abs ↗pdf ↗

We study a statistical model for the tensor principal component analysis problem introduced by Montanari and Richard: Given a order-33 tensor TT of the form T=τv03+AT = τ\cdot v_0^{\otimes 3} + A, where τ0τ\geq 0 is a signal-to-noise ratio, v0v_0 is a unit vector, and AA is a random noise tensor, the goal is to recover th…

2015-07-12abs ↗pdf ↗

Tensor rank and low-rank tensor decompositions have many applications in learning and complexity theory. Most known algorithms use unfoldings of tensors and can only handle rank up to np/2n^{\lfloor p/2 \rfloor} for a pp-th order tensor in Rnp\mathbb{R}^{n^p}. Previously no efficient algorithm can decompose 3rd order ten…

2015-04-21abs ↗pdf ↗

Hilbert's 17th problem asks that whether every nonnegative polynomial can be a sum of squares of rational functions. It has been answered affirmatively by Artin. However, the question as to whether a given nonnegative polynomial is a sum of squares of polynomials is still a central question in real algebraic geometry. …

2018-11-14abs ↗pdf ↗

We study the problem of high-dimensional sparse mean estimation in the presence of an εε-fraction of adversarial outliers. Prior work obtained sample and computationally efficient algorithms for this task for identity-covariance subgaussian distributions. In this work, we develop the first efficient algorithms for rob…

2022-06-07abs ↗pdf ↗

Proves subgaussian distributions are SoS-certifiably subgaussian, enabling efficient algorithms for various statistical tasks.

problem Efficiently learning from subgaussian distributions in high dimensions.
method Universal constant CC and polynomial sum of squares (SoS) approach.
result Proves subgaussian distributions are SoS-certifiably subgaussian.

Given a large data matrix ARn×nA\in\mathbb{R}^{n\times n}, we consider the problem of determining whether its entries are i.i.d. with some known marginal distribution AijP0A_{ij}\sim P_0, or instead AA contains a principal submatrix AQ,QA_{{\sf Q},{\sf Q}} whose entries have marginal distribution AijP1P0A_{ij}\sim P_1\neq P_0. As …

2015-02-23abs ↗pdf ↗

Polynomial-time algorithm estimates edge density of random graphs with privacy and robustness.

problem Estimating edge density of random graphs while maintaining privacy and robustness.
method Sum-of-squares algorithm for robust edge density estimation and reduction from privacy to robustness.
result Optimal error rate up to logarithmic factors, matching theoretical lower bounds.

Robustly clusters mixtures of Gaussians even with outliers.

problem Clustering mixtures of statistically separated Gaussians robustly to outliers.
method Uses certifiable hypercontractivity, bounded variance, and anti-concentration of linear projections.
result First efficient algorithm for robust clustering of statistically separated Gaussians mixtures.

Paper introduces a new kernel model for PSD-valued functions with theoretical guarantees and applications.

problem Enforcing positive semi-definiteness (PSD) in function models with good performance and theoretical guarantees.
method Kernel sum-of-squares model for PSD-valued functions, extending previous models for non-negative scalar functions.
result The model constitutes a universal approximator of PSD functions and can represent any smooth and strongly convex function.

In order to model entanglements of polymers in a confined region, we consider the linking numbers and writhes of cycles in random linear embeddings of complete graphs in a cube. Our main results are that for a random linear embedding of KnK_n in a cube, the mean sum of squared linking numbers and the mean sum of square…

2015-08-05abs ↗pdf ↗

This paper bridges outlier-robust estimation in robotics and computer vision with robust statistics.

problem Outlier-robust estimation for geometric perception in robotics and computer vision.
method Adapting and extending robust linear regression and list-decodable regression to non-convex domains and vector-valued measurements.
result Performance guarantees for modern estimation algorithms in the presence of outliers.

Explicitly constructed 3XOR instances hard for Sum-of-Squares hierarchy.

problem Hard instances for Sum-of-Squares hierarchy.
method Based on high-dimensional expanders (LSV complexes), using cosystolic expansion and local isoperimetric inequality.
result Constructs explicit 3XOR instances hard for O(logn)O(\sqrt{\log n}) levels of Sum-of-Squares hierarchy.

For the tensor PCA (principal component analysis) problem, we propose a new hierarchy of increasingly powerful algorithms with increasing runtime. Our hierarchy is analogous to the sum-of-squares (SOS) hierarchy but is instead inspired by statistical physics and related algorithms such as belief propagation and AMP (ap…

2019-04-08abs ↗pdf ↗

Efficiently estimates prediction error in regression with Gaussian covariates under privacy constraints.

problem Private regression with Gaussian covariates under differential privacy constraints.
method Sum-of-Squares framework combined with robust estimators.
result Sample-optimal private regression algorithm with optimal error rates.

This work improves graph inference using the degree-4 sum-of-squares hierarchy.

problem Recovering ground-truth binary labelings from corrupted edge observations.
method Apply the degree-4 sum-of-squares hierarchy to a quadratic combinatorial optimization problem.
result The solution of the dual problem is related to edge weights of Johnson and Kneser graphs.

Nearly all Gaussian points in high dimensions lie on a common ellipsoid.

problem Finding an ellipsoid that fits a large set of Gaussian points in high dimensions.
method Analyzing a random set of Gaussian points and proving a bound on their concentration.
result The bound nearly confirms a conjecture about fitting Gaussian points to ellipsoids.

KSOS improves kernel learning for dynamical systems via global optimization.

problem Challenges in selecting optimal kernels and tuning parameters in traditional kernel-based methods.
method Global optimization framework with kernel-based surrogate functions.
result KSOS consistently outperforms gradient descent in predicting dynamical systems.

This note optimizes distributions using kernel mean embeddings with a new parameterization.

problem Optimizing distributions using kernel mean embeddings is challenging due to the difficulty of characterizing probability distribution vectors.
method Proposes a new parameterization of positive functions using kernel sums-of-squares to fit distributions in the MMD geometry.
result Distributions with kernel sum-of-squares densities are dense in the MMD geometry, allowing optimization in the finite-sample setting.

In this paper we prove local analytic hypoellipticity for a degenerate sum of squares of complex vector fields generalizing those of Kohn in "Hypoellipticity and Loss of Derivatives". Kohn's article is to appear in the Annals of Mathematics with an appendix by Derridj and Tartakoff proving local analyticity in that cas…

2005-05-30abs ↗pdf ↗

SOS programming verifies MTW tensor non-negativity for optimal transport maps.

problem Verifying MTW tensor non-negativity for general cost functions is difficult.
method Sum-of-Squares (SOS) programming for verifying and approximating MTW non-negativity.
result SOS programming provides certificates and approximations of MTW non-negativity.

New tools in nonlinear random matrices improve understanding of the Sum of Squares hierarchy.

problem Improving the Sum of Squares (SoS) hierarchy's performance on average-case problems.
method Developed new tools in nonlinear random matrices and applied them to analyze the SoS hierarchy.
result Subexponential-time SoS lower bounds for various problems, offering evidence for the low-degree likelihood ratio hypothesis.

New method clusters non-spherical Gaussian mixtures with fewer samples and time.

problem Clustering non-spherical Gaussian mixtures with arbitrary component covariances.
method Sum-of-Squares method for finding low-dimensional projections.
result Improved clustering algorithms with fewer samples and time complexity.

Triangular map is a recent construct in probability theory that allows one to transform any source probability density function to any target density function. Based on triangular maps, we propose a general framework for high-dimensional density estimation, by specifying one-dimensional transformations (equivalently co…

2019-05-07abs ↗pdf ↗

Algorithm estimates mixtures of arbitrary Gaussians robustly in presence of corruptions.

problem Estimating mixtures of arbitrary Gaussians in the presence of a constant fraction of arbitrary corruptions.
method Polynomial-time algorithm using partial clustering and tensor decomposition.
result Resolves the main open problem in several previous works on algorithmic robust statistics.

We develop efficient algorithms for estimating low-degree moments of unknown distributions in the presence of adversarial outliers. The guarantees of our algorithms improve in many cases significantly over the best previous ones, obtained in recent works of Diakonikolas et al, Lai et al, and Charikar et al. We also sho…

2017-11-30abs ↗pdf ↗

New algorithm learns mixtures of any constant number of Gaussians robustly.

problem Learning mixtures of Gaussians with robustness guarantees.
method New method using differential operations on generating functions to prove polynomial identifiability.
result First provably robust algorithm for mixtures of any constant number of Gaussians.