English
Related papers

Related papers: Cell-Probe Lower Bounds via Semi-Random CSP Refuta…

200 papers

Recovery of the sparsity pattern (or support) of an unknown sparse vector from a small number of noisy linear measurements is an important problem in compressed sensing. In this paper, the high-dimensional setting is considered. It is shown…

Information Theory · Computer Science 2013-02-06 Galen Reeves , Michael Gastpar

In this paper we present a new error bound on sampling algorithms for frequent itemsets mining. We show that the new bound is asymptotically tighter than the state-of-art bounds, i.e., given the chosen samples, for small enough error…

Data Structures and Algorithms · Computer Science 2017-03-27 Shiyu Ji , Kun Wan

The conditional randomization test (CRT) was recently proposed to test whether two random variables X and Y are conditionally independent given random variables Z. The CRT assumes that the conditional distribution of X given Z is known…

Machine Learning · Computer Science 2023-04-11 Shuai Li , Ziqi Chen , Hongtu Zhu , Christina Dan Wang , Wang Wen

We study an extension of contextual stochastic linear optimization (CSLO) that, in contrast to most of the existing literature, involves inequality constraints that depend on uncertain parameters predicted by a machine learning model. To…

Machine Learning · Computer Science 2025-05-30 Hyungki Im , Wyame Benslimane , Paul Grigas

The analyses of cellular network performance based on stochastic geometry generally ignore the traffic dynamics in the network. This restricts the proper evaluation and dimensioning of the network from the perspective of a mobile operator.…

Information Theory · Computer Science 2018-10-12 Gourab Ghatak , Antonio De Domenico , Marceau Coupechoux

We consider continuum random Schr\"odinger operators of the type $H_{\omega} = -\Delta + V_0 + V_{\omega}$ with a deterministic background potential $V_0$. We establish criteria for the absence of continuous and absolutely continuous…

Mathematical Physics · Physics 2009-11-10 A. Boutet de Monvel , P. Stollmann , G. Stolz

We give a public key encryption scheme with plausible quasi-exponential security based on the conjectured intractability of two constraint satisfaction problems (CSPs), both of which are instantiated with a corruption rate of $1 - o(1)$.…

Cryptography and Security · Computer Science 2026-04-14 Isaac M Hair , Amit Sahai

Quantum low-density parity-check codes reduce quantum error correction overhead but require dense, long-range connectivity that challenges hardware implementation, particularly for superconducting processors. We address this problem by…

Quantum Physics · Physics 2025-09-03 Guangqi Zhao , Fei Yan , Xiaotong Ni

Proving complexity lower bounds remains a challenging task: we only know how to prove conditional uniform lower bounds and nonuniform lower bounds in restricted circuit models. Williams (STOC 2010) showed how to derive nonuniform lower…

Computational Complexity · Computer Science 2026-03-10 Nikolai Chukhin , Alexander S. Kulikov , Ivan Mihajlin , Arina Smirnova

The laws of quantum mechanics place fundamental limits on the accuracy of measurements and therefore on the estimation of unknown parameters of a quantum system. In this work, we prove lower bounds on the size of confidence regions reported…

Quantum Physics · Physics 2014-12-23 Michael Walter , Joseph M. Renes

The generation of certifiable randomness is the most fundamental information-theoretic task that meaningfully separates quantum devices from their classical counterparts. We propose a protocol for exponential certified randomness expansion…

Quantum Physics · Physics 2019-01-14 Matthew Coudron , Jalex Stark , Thomas Vidick

In this paper we prove a space lower bound of $n^{\Omega(k)}$ for non-deterministic (syntactic) read-once branching programs ({\sc nrobp}s) on functions expressible as {\sc cnf}s with treewidth at most $k$ of their primal graphs. This lower…

Computational Complexity · Computer Science 2015-07-28 Igor Razgon

We develop an analytical framework to derive the meta distribution and moments of the conditional success probability (CSP), which is defined as {success probability for a given realization of the transmitters}, in large-scale co-channel…

Information Theory · Computer Science 2018-04-10 Mohammad Salehi , Hina Tabassum , Ekram Hossain

We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form "What is the predecessor of x in S?" can be answered efficiently. We…

Computational Complexity · Computer Science 2007-05-23 Pranab Sen , S. Venkatesh

While standard cell layouts are drawn with minimum design rules to maximize the benefit of design area shrinkage, the complicated design rules have caused difficulties with signal routes accessing the pins in standard cell layouts. As a…

Other Computer Science · Computer Science 2018-05-30 Yongfu Li , Wan Chia Ang , Chin Hui Lee , Kok Peng Chua , Yoong Seang Jonathan Ong , Chiu Wing Colin Hui

This work explores the trade-off between the number of samples required to accurately build models of dynamical systems and the degradation of performance in various control objectives due to a coarse approximation. In particular, we show…

Optimization and Control · Mathematics 2017-12-01 Stephen Tu , Ross Boczar , Andrew Packard , Benjamin Recht

The Promise Constraint Satisfaction Problem (PCSP for short) is a generalization of the well-studied Constraint Satisfaction Problem (CSP). The PCSP has its roots in such classic problems as the Approximate Graph Coloring and the…

Computational Complexity · Computer Science 2025-12-08 Arash Beikmohammadi , Andrei A. Bulatov

The problem of constructing pseudorandom generators that fool halfspaces has been studied intensively in recent times. For fooling halfspaces over the hypercube with polynomially small error, the best construction known requires seed-length…

Computational Complexity · Computer Science 2014-11-18 Parikshit Gopalan , Daniel Kane , Raghu Meka

This paper proposes block-level precoder (BLP) designs for a multi-input single-output (MISO) system that performs joint sensing and communication across multiple cells and users. The Cramer-Rao-Bound for estimating a target's azimuth angle…

Information Theory · Computer Science 2024-02-29 Nithin Babu , Christos Masouros

To date, the only way to argue polynomial lower bounds for dynamic algorithms is via fine-grained complexity arguments. These arguments rely on strong assumptions about specific problems such as the Strong Exponential Time Hypothesis (SETH)…

Computational Complexity · Computer Science 2023-07-27 Sayan Bhattacharya , Danupon Nanongkai , Thatchaphol Saranurak