English
Related papers

Related papers: A Duality Between Depth-Three Formulas and Approxi…

200 papers

We study the problem of releasing the weights of all-pair shortest paths in a weighted undirected graph with differential privacy (DP). In this setting, the underlying graph is fixed and two graphs are neighbors if their edge weights differ…

Data Structures and Algorithms · Computer Science 2022-03-31 Badih Ghazi , Ravi Kumar , Pasin Manurangsi , Jelani Nelson

For any real numbers $B \ge 1$ and $\delta \in (0, 1)$ and function $f: [0, B] \rightarrow \mathbb{R}$, let $d_{B; \delta} (f) \in \mathbb{Z}_{> 0}$ denote the minimum degree of a polynomial $p(x)$ satisfying $\sup_{x \in [0, B]} \big| p(x)…

Computational Complexity · Computer Science 2022-05-13 Amol Aggarwal , Josh Alman

We prove an average-case depth hierarchy theorem for Boolean circuits over the standard basis of $\mathsf{AND}$, $\mathsf{OR}$, and $\mathsf{NOT}$ gates. Our hierarchy theorem says that for every $d \geq 2$, there is an explicit…

Computational Complexity · Computer Science 2015-04-15 Benjamin Rossman , Rocco A. Servedio , Li-Yang Tan

We introduce a new structural graph parameter called \emph{partial matching width}. For each (sufficiently large) integer $k \geq 1$, we introduce a class $\mathcal{G}_k$ of graphs of treewidth at most $k$ and max-degree $7$ such that for…

Computational Complexity · Computer Science 2017-09-28 Igor Razgon

We show that sparsity constrained optimization problems over low dimensional spaces tend to have a small duality gap. We use the Shapley-Folkman theorem to derive both data-driven bounds on the duality gap, and an efficient primalization…

Optimization and Control · Mathematics 2021-02-16 Armin Askari , Alexandre d'Aspremont , Laurent El Ghaoui

The form factor of the unitary group U(N) endowed with the Haar measure characterizes the correlations within the spectrum of a typical unitary matrix. It can be decomposed into a sum over pairs of ``periodic orbits'', where by periodic…

Chaotic Dynamics · Physics 2007-05-23 G. Berkolaiko

This paper establishes the (nearly) optimal approximation error characterization of deep rectified linear unit (ReLU) networks for smooth functions in terms of both width and depth simultaneously. To that end, we first prove that…

Machine Learning · Computer Science 2021-11-03 Jianfeng Lu , Zuowei Shen , Haizhao Yang , Shijun Zhang

Newton iteration (NI) is an almost 350 years old recursive formula that approximates a simple root of a polynomial quite rapidly. We generalize it to a matrix recurrence (allRootsNI) that approximates all the roots simultaneously. In this…

Computational Complexity · Computer Science 2017-10-10 Pranjal Dutta , Nitin Saxena , Amit Sinhababu

Thermal spectra of correlation functions in holographic 3d large-N conformal field theories (CFTs) correspond to quasinormal modes of classical gravity and other fields in asymptotically anti-de Sitter black hole spacetimes. Using general…

High Energy Physics - Theory · Physics 2024-12-09 Sašo Grozdanov , Mile Vrbica

We present a top-down lower-bound method for depth-$4$ boolean circuits. In particular, we give a new proof of the well-known result that the parity function requires depth-$4$ circuits of size exponential in $n^{1/3}$. Our proof is an…

Computational Complexity · Computer Science 2024-05-03 Mika Göös , Artur Riazanov , Anastasia Sofronova , Dmitry Sokolov

We show that over the field of complex numbers, \emph{every} homogeneous polynomial of degree $d$ can be approximated (in the border complexity sense) by a depth-$3$ arithmetic circuit of top fan-in at most $d+1$. This is quite surprising…

Computational Complexity · Computer Science 2018-04-11 Mrinal Kumar

We present approximation algorithms for the following NP-hard optimization problems related to bottleneck spanning trees in metric spaces. 1. The disjoint bottleneck spanning tree problem: Given $n$ pairs of points in a metric space, find…

Computational Geometry · Computer Science 2021-11-11 Ahmad Biniaz , Anil Maheshwari , Michiel Smid

In the certification problem, the algorithm is given a function $f$ with certificate complexity $k$ and an input $x^\star$, and the goal is to find a certificate of size $\le \text{poly}(k)$ for $f$'s value at $x^\star$. This problem is in…

Computational Complexity · Computer Science 2022-11-07 Guy Blanc , Caleb Koch , Jane Lange , Carmen Strassle , Li-Yang Tan

Based on the classical limit of relativistic scattering amplitudes, we compute the coupling between a general super-renormalizable gravity and massive scalar particles. This allows us to derive the $D$-dimensional metric corrections at both…

High Energy Physics - Theory · Physics 2026-02-11 Haiyuan Feng , Rong-Jia Yang , Jinjun Zhang

Proximal distance algorithms combine the classical penalty method of constrained minimization with distance majorization. If $f(\boldsymbol{x})$ is the loss function, and $C$ is the constraint set in a constrained minimization problem, then…

Optimization and Control · Mathematics 2019-05-21 Kevin L. Keys , Hua Zhou , Kenneth Lange

Rossman [In $\textit{Proc. $34$th Comput. Complexity Conf.}$, 2019] introduced the notion of $\textit{criticality}$. The criticality of a Boolean function $f : \{0,1\}^n \to \{0,1\}$ is the minimum $\lambda \geq 1$ such that for all…

Computational Complexity · Computer Science 2023-01-06 Prahladh Harsha , Tulasi mohan Molli , Ashutosh Shankar

We study the approximation capabilities of two families of univariate polynomials that arise in applications of quantum signal processing. Although approximation only in the domain $[0,1]$ is physically desired, these polynomial families…

Classical Analysis and ODEs · Mathematics 2022-04-11 Rahul Sarkar , Theodore J. Yoder

We consider the problem of testing whether an unknown Boolean function $f$ is monotone versus $\epsilon$-far from every monotone function. The two main results of this paper are a new lower bound and a new algorithm for this well-studied…

Computational Complexity · Computer Science 2014-12-19 Xi Chen , Rocco A. Servedio , Li-Yang Tan

In studying the expressiveness of neural networks, an important question is whether there are functions which can only be approximated by sufficiently deep networks, assuming their size is bounded. However, for constant depths, existing…

Machine Learning · Computer Science 2020-12-29 Gal Vardi , Ohad Shamir

Recent improvements in adder optimization could be achieved by optimizing the AND-trees occurring within the constructed circuits. The overlap of such trees and its potential for pure size optimization has not been taken into account…

Data Structures and Algorithms · Computer Science 2024-01-09 Susanne Armbruster
‹ Prev 1 4 5 6 7 8 10 Next ›