English
Related papers

Related papers: Where is Randomness Needed to Break the Square-Roo…

200 papers

Quadratically-constrained basis pursuit has become a popular device in sparse regularization; in particular, in the context of compressed sensing. However, the majority of theoretical error estimates for this regularizer assume an a priori…

Information Theory · Computer Science 2017-11-23 Simone Brugiapaglia , Ben Adcock

We investigate structure for pairs of randomizations that do not follow each other in a chain. These are unrandomized-inclusive, independent, coincident or double randomizations. This involves taking several structures that satisfy…

Statistics Theory · Mathematics 2010-11-12 C. J. Brien , R. A. Bailey

Highly coherent sensing matrices arise in discretization of continuum problems such as radar and medical imaging when the grid spacing is below the Rayleigh threshold as well as in using highly coherent, redundant dictionaries as…

Information Theory · Computer Science 2015-05-30 Albert Fannjiang , Wenjing Liao

In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show that constraint consistency, a notion that has been developed to…

Artificial Intelligence · Computer Science 2011-10-12 J. Culberson , Y. Gao

Under what condition is a random constraint satisfaction problem hard to refute by the sum-of-squares (SoS) algorithm? A sufficient condition is t-wise uniformity, that is, each constraint has a t-wise uniform distribution of satisfying…

Computational Complexity · Computer Science 2026-05-01 Siu On Chan , Tommaso d'Orsi , Jeff Xu

Given a set of $n$ red and $n$ blue points in the plane, we are interested in matching red points with blue points by straight line segments so that the segments do not cross. We develop a range of tools for dealing with the non-crossing…

Computational Geometry · Computer Science 2021-11-19 Marko Savić , Miloš Stojaković

This paper continues the study of orthonormal bases (ONB) of $L^2[0,1]$ introduced in \cite{DPS14} by means of Cuntz algebra $\mathcal{O}_N$ representations on $L^2[0,1]$. For $N=2$, one obtains the classic Walsh system. We show that the…

Functional Analysis · Mathematics 2018-03-02 Dorin Ervin Dutkay , Gabriel Picioroaga , Sergei Silvestrov

The fields of quantum non-locality in physics, and causal discovery in machine learning, both face the problem of deciding whether observed data is compatible with a presumed causal relationship between the variables (for example a local…

Quantum Physics · Physics 2014-06-02 Rafael Chaves , Lukas Luft , David Gross

Finding an approximate second-order stationary point (SOSP) is a well-studied and fundamental problem in stochastic nonconvex optimization with many applications in machine learning. However, this problem is poorly understood in the…

Optimization and Control · Mathematics 2024-03-19 Shuyao Li , Yu Cheng , Ilias Diakonikolas , Jelena Diakonikolas , Rong Ge , Stephen J. Wright

This article presents a novel approach to solving the sparsity-constrained Orthogonal Nonnegative Matrix Factorization (SCONMF) problem, which requires decomposing a non-negative data matrix into the product of two lower-rank non-negative…

Data Structures and Algorithms · Computer Science 2025-04-07 Salar Basiri , Alisina Bayati , Srinivasa Salapaka

Let n denote the number of variables and m the number of equations in a sparse polynomial system over the binary field. We study the inconsistency probability of randomly generated sparse polynomial systems over the binary field, where each…

Probability · Mathematics 2026-03-27 P. Horak , I. Semaev

We show that sharp thresholds for Boolean functions directly imply average-case circuit lower bounds. More formally we show that any Boolean function exhibiting a sharp enough threshold at \emph{arbitrary} critical density cannot be…

Computational Complexity · Computer Science 2024-07-17 David Gamarnik , Elchanan Mossel , Ilias Zadik

The purpose of this paper is twofold. First, we provide an optimal $\Omega(\sqrt{n})$ bits lower bound for any two-way protocol for the Vector in Subspace Communication Problem which is of bounded total rank. This result complements Raz's…

Probability · Mathematics 2017-02-01 Uri Grupel

We construct an algorithm that generates large, band-diagonal transition matrices for a totally asymmetric exclusion process (TASEP) with local hopping rate inhomogeneities. The matrices are diagonalized numerically to find steady-state…

Statistical Mechanics · Physics 2009-11-10 Tom Chou , Greg Lakatos

The Strong Lottery Ticket Hypothesis (SLTH) states that randomly-initialised neural networks likely contain subnetworks that perform well without any training. Although unstructured pruning has been extensively studied in this context, its…

Machine Learning · Computer Science 2026-03-11 Arthur da Cunha , Francesco d'Amore , Emanuele Natale

Independent sampling of orthogonal polynomial bases via Monte Carlo is of interest for uncertainty quantification of models, using Polynomial Chaos (PC) expansions. It is known that bounding the spectral radius of a random matrix consisting…

Statistics Theory · Mathematics 2015-06-23 Jerrad Hampton , Alireza Doostan

The field of compressed sensing has shown that a sparse but otherwise arbitrary vector can be recovered exactly from a small number of randomly constructed linear projections (or samples). The question addressed in this paper is whether an…

Information Theory · Computer Science 2010-01-26 Galen Reeves , Michael Gastpar

We prove that with high probability, a uniform sample of $n$ points in a convex domain in $\mathbb{R}^d$ can be rounded to points on a grid of step size proportional to $1/n^{d+1+\epsilon}$ without changing the underlying chirotope…

Computational Geometry · Computer Science 2020-01-23 Jean Cardinal , Ruy Fabila-Monroy , Carlos Hidalgo-Toscano

Accurate contraction of tensor networks beyond one dimension is essential in various fields including quantum many-body physics. Existing approaches typically rely on approximate contraction schemes and do not provide certified error bars.…

Strongly Correlated Electrons · Physics 2026-03-19 Seishiro Ono , Yanbai Zhang , Hoi Chun Po

We consider a sequence H_N of Hilbert spaces of dimensions d_N tending to infinity. The motivating examples are eigenspaces or quasi-mode spaces of a Laplace or Schrodinger operator. We define a random ONB of H_N by fixing one ONB and…

Spectral Theory · Mathematics 2014-03-05 Steve Zelditch