English
Related papers

Related papers: Randomized query complexity of sabotaged and compo…

200 papers

The classical coding theorem in Kolmogorov complexity states that if an $n$-bit string $x$ is sampled with probability $\delta$ by an algorithm with prefix-free domain then K$(x) \leq \log(1/\delta) + O(1)$. In a recent work, Lu and…

Computational Complexity · Computer Science 2022-04-19 Zhenjian Lu , Igor C. Oliveira , Marius Zimand

We study the extremal Forrelation problem, where, provided with oracle access to Boolean functions $f$ and $g$ promised to satisfy either $\textrm{forr}(f,g)=1$ or $\textrm{forr}(f,g)=-1$, one must determine (with high probability) which of…

Computational Complexity · Computer Science 2026-02-10 Clément L. Canonne , Kenny Chen , Julián Mestre

In this note, we develop a bounded-error quantum algorithm that makes $\tilde O(n^{1/4}\varepsilon^{-1/2})$ queries to a Boolean function $f$, accepts a monotone function, and rejects a function that is $\varepsilon$-far from being…

Quantum Physics · Physics 2015-03-11 Aleksandrs Belovs , Eric Blais

We introduce \textit{basic inequalities} for first-order iterative optimization algorithms, forming a simple and versatile framework that connects implicit and explicit regularization. While related inequalities appear in the literature, we…

Statistics Theory · Mathematics 2026-01-01 Seunghoon Paik , Kangjie Zhou , Matus Telgarsky , Ryan J. Tibshirani

We consider an optimization problem of an expensive-to-evaluate black-box function, in which we can obtain noisy function values in parallel. For this problem, parallel Bayesian optimization (PBO) is a promising approach, which aims to…

Machine Learning · Computer Science 2026-03-13 Shuhei Sugiura , Ichiro Takeuchi , Shion Takeno

We resolve the long-standing open problem of Boolean dynamic data structure hardness, proving an unconditional lower bound of $\Omega((\log n / \log\log n)^2)$ for the Multiphase Problem of Patrascu [STOC 2010] (instantiated with Inner…

Computational Complexity · Computer Science 2026-03-30 Young Kun Ko

We present a tight RMR complexity lower bound for the recoverable mutual exclusion (RME) problem, defined by Golab and Ramaraju \cite{GR2019a}. In particular, we show that any $n$-process RME algorithm using only atomic read, write,…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-06-08 David Yu Cheng Chan , Philipp Woelfel

Monotone Boolean functions, and the monotone Boolean circuits that compute them, have been intensively studied in complexity theory. In this paper we study the structure of Boolean functions in terms of the minimum number of negations in…

Computational Complexity · Computer Science 2014-10-31 Eric Blais , Clément L. Canonne , Igor C. Oliveira , Rocco A. Servedio , Li-Yang Tan

Query complexity is a model of computation in which we have to compute a function $f(x_1, \ldots, x_N)$ of variables $x_i$ which can be accessed via queries. The complexity of an algorithm is measured by the number of queries that it makes.…

Quantum Physics · Physics 2017-12-19 Andris Ambainis

Randomized smoothing (RS) is one of the prominent techniques to ensure the correctness of machine learning models, where point-wise robustness certificates can be derived analytically. While RS is well understood for classification, its…

Machine Learning · Computer Science 2025-09-22 Emmanouil Seferis , Changshun Wu , Stefanos Kollias , Saddek Bensalem , Chih-Hong Cheng

A fruitful way of obtaining meaningful, possibly concrete, algorithmically random numbers is to consider a potential behaviour of a Turing machine and its probability with respect to a measure (or semi-measure) on the input space of binary…

Computational Complexity · Computer Science 2017-06-13 George Barmpalias , Douglas Cenzer , Christopher P. Porter

We investigate the power of the most important lower bound technique in randomized communication complexity, which is based on an evaluation of the maximal size of approximately monochromatic rectangles, minimized over all distributions on…

Computational Complexity · Computer Science 2007-05-23 Hartmut Klauck

In this paper, we study the following variant of the junta learning problem. We are given oracle access to a Boolean function $f$ on $n$ variables that only depends on $k$ variables, and, when restricted to them, equals some predefined…

Quantum Physics · Physics 2014-10-29 Aleksandrs Belovs

There has been a long history for studying randomized greedy matching algorithms since the work by Dyer and Frieze~(RSA 1991). We follow this trend and consider the problem formulated in the oblivious setting, in which the algorithm makes…

Data Structures and Algorithms · Computer Science 2020-03-10 Zhihao Gavin Tang , Xiaowei Wu , Yuhao Zhang

We study the query complexity of testing for properties defined by read once formulas, as instances of {\em massively parametrized properties}, and prove several testability and non-testability results. First we prove the testability of any…

Data Structures and Algorithms · Computer Science 2014-03-28 Eldar Fischer , Yonatan Goldhirsh , Oded Lachish

Stochastic compositional optimization arises in many important machine learning tasks such as value function evaluation in reinforcement learning and portfolio management. The objective function is the composition of two expectations of…

Machine Learning · Statistics 2020-01-28 Huizhuo Yuan , Xiangru Lian , Ji Liu

One of the major open problems in complexity theory is proving super-logarithmic lower bounds on the depth of circuits (i.e., $\mathbf{P}\not\subseteq\mathbf{NC}^{1}$). Karchmer, Raz, and Wigderson (Computational Complexity 5(3/4), 1995)…

Computational Complexity · Computer Science 2025-02-13 Or Meir

This paper addresses the computational challenges in reliability-based topology optimization (RBTO) of structures associated with the estimation of statistics of the objective and constraints using standard sampling methods, and overcomes…

Optimization and Control · Mathematics 2021-07-27 Subhayan De , Kurt Maute , Alireza Doostan

In this work, we study the parity complexity measures ${\mathsf{C}^{\oplus}_{\min}}[f]$ and ${\mathsf{DT^{\oplus}}}[f]$. ${\mathsf{C}^{\oplus}_{\min}}[f]$ is the \emph{parity kill number} of $f$, the fewest number of parities on the input…

Computational Complexity · Computer Science 2013-12-10 Ryan O'Donnell , Xiaorui Sun , Li-Yang Tan , John Wright , Yu Zhao

The Ku\v{c}era-G\'acs theorem is a landmark result in algorithmic randomness asserting that every real is computable from a Martin-L\"of random real. If the computation of the first $n$ bits of a sequence requires $n+h(n)$ bits of the…

Computational Complexity · Computer Science 2017-06-13 George Barmpalias , Andrew Lewis-Pye , Jason Teutsch