English
Related papers

Related papers: Bounds for Hardness Condensation in the Query Mode…

200 papers

The approximate degree of a Boolean function f is the least degree of a real polynomial that approximates f pointwise to error at most 1/3. Approximate degree is known to be a lower bound on quantum query complexity. We resolve or nearly…

Quantum Physics · Physics 2019-08-20 Mark Bun , Robin Kothari , Justin Thaler

We extend the definitions of complexity measures of functions to domains such as the symmetric group. The complexity measures we consider include degree, approximate degree, decision tree complexity, sensitivity, block sensitivity, and a…

Computational Complexity · Computer Science 2020-10-16 Neta Dafni , Yuval Filmus , Noam Lifshitz , Nathan Lindzey , Marc Vinyals

We show examples of total Boolean functions that depend on $n$ variables and have spectral sensitivity $\Theta(\sqrt{\log n})$, which is asymptotically minimal. Our main new function combines the Hamming code with the Boolean address…

Computational Complexity · Computer Science 2025-02-21 Krišjānis Prūsis , Jevgēnijs Vihrovs

The tetrad constraint is a condition of which the satisfaction signals a rank reduction of a covariance submatrix and is used to design causal discovery algorithms that detects the existence of latent (unmeasured) variables, such as FOFC.…

Machine Learning · Statistics 2020-09-30 Shuyan Wang

Coding agents accumulate extensive context during long-running tasks, yet fixed context windows force practitioners to choose between truncation and task failure. While numerous memory condensation strategies have been proposed, from simple…

Machine Learning · Computer Science 2026-05-20 Renuka Chintalapati , Sid Raskar , Anurag Acharya , Jared Willard , Patrick Emami , Sameera Horawalavithana

We consider a variant of the Boolean satisfiability problem where a subset E of the propositional variables appearing in formula Fsat encode a symmetric, transitive, binary relation over N elements. Each of these relational variables,…

Logic in Computer Science · Computer Science 2007-05-23 Randal E. Bryant , Miroslav N. Velev

We establish two results regarding the query complexity of bounded-error randomized algorithms. * Bounded-error separation theorem. There exists a total function $f : \{0,1\}^n \to \{0,1\}$ whose $\epsilon$-error randomized query complexity…

Computational Complexity · Computer Science 2019-08-06 Eric Blais , Joshua Brody

Over a finite field $\F_q$ the $(n,d,q)$-Reed-Muller code is the code given by evaluations of $n$-variate polynomials of total degree at most $d$ on all points (of $\F_q^n$). The task of testing if a function $f:\F_q^n \to \F_q$ is close to…

Information Theory · Computer Science 2015-03-20 Noga Ron-Zewi , Madhu Sudan

The standard model of quantum circuits assumes operations are applied in a fixed sequential "causal" order. In recent years, the possibility of relaxing this constraint to obtain causally indefinite computations has received significant…

Quantum Physics · Physics 2024-08-20 Alastair A. Abbott , Mehdi Mhalla , Pierre Pocreau

Let $R_\epsilon(\cdot)$ stand for the bounded-error randomized query complexity with error $\epsilon > 0$. For any relation $f \subseteq \{0,1\}^n \times S$ and partial Boolean function $g \subseteq \{0,1\}^m \times \{0,1\}$, we show that…

Computational Complexity · Computer Science 2018-11-28 Dmitry Gavinsky , Troy Lee , Miklos Santha , Swagato Sanyal

Lin and Lin have recently shown how starting with a classical query algorithm (decision tree) for a function, we may find upper bounds on its quantum query complexity. More precisely, they have shown that given a decision tree for a…

Quantum Physics · Physics 2020-03-04 Salman Beigi , Leila Taghavi

Computational models typically assume that operations are applied in a fixed sequential order. In recent years several works have looked at relaxing this assumption, considering computations without any fixed causal structure and showing…

Quantum Physics · Physics 2025-08-21 Alastair A. Abbott , Mehdi Mhalla , Pierre Pocreau

Properties of Boolean functions can often be tested much faster than the functions can be learned. However, this advantage usually disappears when testers are limited to random samples of a function $f$--a natural setting for data…

Quantum Physics · Physics 2026-01-28 Matthias C. Caro , Preksha Naik , Joseph Slote

We examine the number T of queries that a quantum network requires to compute several Boolean functions on {0,1}^N in the black-box model. We show that, in the black-box model, the exponential quantum speed-up obtained for partial functions…

Quantum Physics · Physics 2007-05-23 Robert Beals , Harry Buhrman , Richard Cleve , Michele Mosca , Ronald de Wolf

In the decision tree computation model for Boolean functions, the depth corresponds to query complexity, and size corresponds to storage space. The depth measure is the most well-studied one, and is known to be polynomially related to…

Computational Complexity · Computer Science 2022-09-27 Yogesh Dahiya , Meena Mahajan

In this work, we study the limits of compressed data structures, i.e., structures that support various queries on an input text $T\in\Sigma^n$ using space proportional to the size of $T$ in compressed form. Nearly all fundamental queries…

Data Structures and Algorithms · Computer Science 2025-10-23 Dominik Kempa , Tomasz Kociumaka

We establish new constraints on $f(T)$ gravity models by using cosmological data. In particular, we investigate the restrictions given by the gas mass fraction measurements of galaxy clusters and transversal BAO data. Both data sets are…

Cosmology and Nongalactic Astrophysics · Physics 2022-09-28 F. B. M. dos Santos , J. E. Gonzalez , R. Silva

In this paper we construct a cyclically invariant Boolean function whose sensitivity is $\Theta(n^{1/3})$. This result answers two previously published questions. Tur\'an (1984) asked if any Boolean function, invariant under some transitive…

Computational Complexity · Computer Science 2007-05-23 Sourav Chakraborty

We prove a lower bound $\Omega\left(\frac{k+l}{k^2l^2}N^{2-\frac{k+l+2}{kl}}\right)$ on the maximal possible weight of a $(k,l)$-free (that is, free of all-ones $k\times l$ submatrices) Boolean circulant $N \times N$ matrix. The bound is…

Computational Complexity · Computer Science 2017-01-31 M. I. Grinchuk , I. S. Sergeev

Query evaluation on probabilistic databases is generally intractable (#P-hard). Existing dichotomy results have identified which queries are tractable (or safe), and connected them to tractable lineages. In our previous work, using…

Databases · Computer Science 2023-04-14 Antoine Amarilli , Pierre Bourhis , Pierre Senellart