English
Related papers

Related papers: Subexponential Size Hitting Sets for Bounded Depth…

200 papers

We design the first subexponential-time (parameterized) algorithms for several cut and cycle-hitting problems on $H$-minor free graphs. In particular, we obtain the following results (where $k$ is the solution-size parameter). 1.…

Data Structures and Algorithms · Computer Science 2022-07-05 Sayan Bandyapadhyay , William Lochet , Daniel Lokshtanov , Saket Saurabh , Jie Xue

We present algorithms for the online minimum hitting set problem in geometric range spaces: given a set $P$ of $n$ points in the plane and a sequence of geometric objects that arrive one-by-one, we need to maintain a hitting set at all…

Computational Geometry · Computer Science 2025-10-28 Minati De , Satyam Singh , Csaba D. Tóth

We prove lower bounds for proofs of the bit pigeonhole principle (BPHP) and its generalizations in bounded-depth resolution over parities (Res$(\oplus)$). For weak BPHP$_n^m$ with $m = cn$ pigeons (for any constant $c>1$) and $n$ holes, for…

Computational Complexity · Computer Science 2025-11-26 Farzan Byramji , Russell Impagliazzo

An oblivious subspace embedding (OSE) for some eps, delta in (0,1/3) and d <= m <= n is a distribution D over R^{m x n} such that for any linear subspace W of R^n of dimension d, Pr_{Pi ~ D}(for all x in W, (1-eps) |x|_2 <= |Pi x|_2 <=…

Discrete Mathematics · Computer Science 2013-08-19 Jelani Nelson , Huy L. Nguyen

We study the time complexity of the discrete $k$-center problem and related (exact) geometric set cover problems when $k$ or the size of the cover is small. We obtain a plethora of new results: - We give the first subquadratic algorithm for…

Computational Geometry · Computer Science 2023-05-04 Timothy M. Chan , Qizheng He , Yuancheng Yu

Itsykson and Sokolov [IS14] identified resolution over parities, denoted by $\text{Res}(\oplus)$, as a natural and simple fragment of $\text{AC}^0[2]$-Frege for which no super-polynomial lower bounds on size of proofs are known. Building on…

Computational Complexity · Computer Science 2025-12-09 Sreejata Kishor Bhattacharya , Arkadev Chattopadhyay

There are distributed graph algorithms for finding maximal matchings and maximal independent sets in $O(\Delta + \log^* n)$ communication rounds; here $n$ is the number of nodes and $\Delta$ is the maximum degree. The lower bound by Linial…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-13 Alkida Balliu , Sebastian Brandt , Juho Hirvonen , Dennis Olivetti , Mikaël Rabie , Jukka Suomela

Let $ACC \circ THR$ be the class of constant-depth circuits comprised of AND, OR, and MOD$m$ gates (for some constant $m > 1$), with a bottom layer of gates computing arbitrary linear threshold functions. This class of circuits can be seen…

Computational Complexity · Computer Science 2014-01-13 Ryan Williams

We develop a new technique for constructing sparse graphs that allow us to prove near-linear lower bounds on the round complexity of computing distances in the CONGEST model. Specifically, we show an $\widetilde{\Omega}(n)$ lower bound for…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-05-18 Amir Abboud , Keren Censor-Hillel , Seri Khoury

In this paper we derive novel families of inclusion sets for the spectrum and pseudospectrum of large classes of bounded linear operators, and establish convergence of particular sequences of these inclusion sets to the spectrum or…

Spectral Theory · Mathematics 2024-06-11 Simon N. Chandler-Wilde , Ratchanikorn Chonchaiya , Marko Lindner

We prove super-polynomial lower bounds on the size of propositional proof systems operating with constant-depth algebraic circuits over fields of zero characteristic. Specifically, we show that the subset-sum variant…

Computational Complexity · Computer Science 2022-05-17 Nashlen Govindasamy , Tuomas Hakoniemi , Iddo Tzameret

Recently, a lower bound was established on the size of linear sets in projective spaces, that intersect a hyperplane in a canonical subgeometry. There are several constructions showing that this bound is tight. In this paper, we generalize…

Combinatorics · Mathematics 2026-01-28 Sam Adriaensen , Paolo Santonastaso

Proving super-polynomial size lower bounds for syntactic multilinear Algebraic Branching Programs(smABPs) computing an explicit polynomial is a challenging problem in Algebraic Complexity Theory. The order in which variables in…

Computational Complexity · Computer Science 2019-01-15 C. Ramya , B. V. Raghavendra Rao

Bennett, Carbery and Tao considered the $k$-linear restriction estimate in $\mathbb{R}^{n+1}$ and established the near optimal $L^\frac2{k-1}$ estimate under transversality assumptions only. We have shown that the trilinear restriction…

Classical Analysis and ODEs · Mathematics 2018-10-31 Ioan Bejenaru

We establish new exponential in dimension lower bounds for the Maximum Halfspace Discrepancy problem, which models linear classification. Both are fundamental problems in computational geometry and machine learning in their exact and…

Computational Geometry · Computer Science 2026-03-20 Alexander Munteanu , Simon Omlor , Jeff M. Phillips

We provide a variety of lower bounds for the well-known shortcut set problem: how much can one decrease the diameter of a directed graph on $n$ vertices and $m$ edges by adding $O(n)$ or $O(m)$ of shortcuts from the transitive closure of…

Data Structures and Algorithms · Computer Science 2023-10-19 Virginia Vassilevska Williams , Yinzhan Xu , Zixuan Xu

We assume the direct sum <A> o <B> for the signal subspace. As a result of post- measurement, a number of operational contexts presuppose the a priori knowledge of the LB -dimensional "interfering" subspace <B> and the goal is to estimate…

Applications · Statistics 2017-04-17 Guillaume Bouleux , Rémy Boyer

Koiran showed that if a $n$-variate polynomial of degree $d$ (with $d=n^{O(1)}$) is computed by a circuit of size $s$, then it is also computed by a homogeneous circuit of depth four and of size $2^{O(\sqrt{d}\log(d)\log(s))}$. Using this…

Computational Complexity · Computer Science 2014-05-19 Sébastien Tavenas

We show that any nonzero polynomial in the ideal generated by the $r \times r$ minors of an $n \times n$ matrix $X$ can be used to efficiently approximate the determinant. For any nonzero polynomial $f$ in this ideal, we construct a small…

Computational Complexity · Computer Science 2022-10-28 Robert Andrews , Michael A. Forbes

We consider the problem of finding a small hitting set in an {\it infinite} range space $\cF=(Q,\cR)$ of bounded VC-dimension. We show that, under reasonably general assumptions, the infinite dimensional convex relaxation can be solved…

Computational Geometry · Computer Science 2017-02-14 Khaled Elbassioni