English
Related papers

Related papers: Classical-Quantum Separations in Certain Classes o…

200 papers

The pointer function of G{\"{o}}{\"{o}}s, Pitassi and Watson \cite{DBLP:journals/eccc/GoosP015a} and its variants have recently been used to prove separation results among various measures of complexity such as deterministic, randomized and…

Computational Complexity · Computer Science 2016-07-07 Jaikumar Radhakrishnan , Swagato Sanyal

Classification of Non-linear Boolean functions is a long-standing problem in the area of theoretical computer science. In this paper, effort has been made to achieve a systematic classification of all n-variable Boolean functions, where…

Logic in Computer Science · Computer Science 2013-03-15 Ranjeet Kumar Rout , Pabitra Pal Choudhury , Sudhakar Sahoo

The swift progression of machine learning (ML) has not gone unnoticed in the realm of statistical mechanics. ML techniques have attracted attention by the classical density-functional theory (DFT) community, as they enable discovery of…

Statistical Mechanics · Physics 2023-09-15 Antonio Malpica-Morales , Peter Yatsyshin , Miguel A. Duran-Olivencia , Serafim Kalliadasis

Let $f:\{0,1\}^n \rightarrow \{0,1\}$ be a Boolean function. The certificate complexity $C(f)$ is a complexity measure that is quadratically tight for the zero-error randomized query complexity $R_0(f)$: $C(f) \leq R_0(f) \leq C(f)^2$. In…

Computational Complexity · Computer Science 2017-08-03 Dmitry Gavinsky , Rahul Jain , Hartmut Klauck , Srijita Kundu , Troy Lee , Miklos Santha , Swagato Sanyal , Jevgenijs Vihrovs

Decision trees are one of the most fundamental computational models for computing Boolean functions $f : \{0, 1\}^n \mapsto \{0, 1\}$. It is well-known that the depth and size of decision trees are closely related to time and number of…

Computational Complexity · Computer Science 2025-01-03 Deepu Benson , Balagopal Komarath , Jayalal Sarma , Nalli Sai Soumya

We study the query complexity of computing a function f:{0,1}^n-->R_+ in expectation. This requires the algorithm on input x to output a nonnegative random variable whose expectation equals f(x), using as few queries to the input x as…

Quantum Physics · Physics 2014-11-27 Jedrzej Kaniewski , Troy Lee , Ronald de Wolf

We initiate the study of a new model of query complexity of Boolean functions where, in addition to 0 and 1, the oracle can answer queries with ``unknown''. The query algorithm is expected to output the function value if it can be…

Computational Complexity · Computer Science 2024-12-10 Nikhil S. Mande , Karteek Sreenivasaiah

As quantum machine-learning architectures mature, a central challenge is no longer their construction, but identifying the regimes in which they offer practical advantages over classical approaches. In this work, we introduce a framework…

Machine Learning · Computer Science 2026-01-21 Brandon B. Le , D. Keller

Simon's problem is an essential example demonstrating the faster speed of quantum computers than classical computers for solving some problems. The optimal separation between exact quantum and classical query complexities for Simon's…

Quantum Physics · Physics 2021-09-17 Zhenggang Wu , Daowen Qiu , Jiawei Tan , Hao Li , Guangya Cai

We establish novel connections between magic in quantum circuits and communication complexity. In particular, we show that functions computable with low magic have low communication cost. Our first result shows that the $\mathsf{D}\|$…

Quantum Physics · Physics 2025-10-09 Uma Girish , Alex May , Natalie Parham , Henry Yuen

Ascertaining whether a classical model can efficiently replace a given quantum model -- dequantization -- is crucial in assessing the true potential of quantum algorithms. In this work, we introduced the dequantizability of the function…

Quantum Physics · Physics 2024-06-27 Seongwook Shin , Yong Siah Teo , Hyunseok Jeong

This paper enriches preexisting satisfiability tests for unquantified languages, which in turn augment a fragment of Tarski's elementary algebra with unary real functions possessing a continuous first derivative. Two sorts of individual…

Logic in Computer Science · Computer Science 2025-07-04 G. Buriola , D. Cantone , G. Cincotti , E. G. Omodeo , G. T. Spartà

We initiate a systematic study of pseudo-deterministic quantum algorithms. These are quantum algorithms that, for any input, output a canonical solution with high probability. Focusing on the query complexity model, our main contributions…

Quantum Physics · Physics 2026-02-20 Hugo Aaronson , Tom Gur , Jiawei Li

Machine learning is increasingly becoming a powerful tool to make decisions in a wide variety of applications, such as medical diagnosis and autonomous driving. Privacy concerns related to the training data and unfair behaviors of some…

Cryptography and Security · Computer Science 2020-03-16 Jiahao Ding , Xinyue Zhang , Xiaohuan Li , Junyi Wang , Rong Yu , Miao Pan

QMA is the class of languages that can be decided by an efficient quantum verifier given a quantum witness, whereas QCMA is the class of such languages where the efficient quantum verifier only is given a classical witness. A challenging…

Quantum Physics · Physics 2024-11-05 Mark Zhandry

In this paper, we consider the characterization of the bentness of quadratic Boolean functions of the form $f(x)=\sum_{i=1}^{\frac{m}{2}-1} Tr^n_1(c_ix^{1+2^{ei}})+ Tr_1^{n/2}(c_{m/2}x^{1+2^{n/2}}) ,$ where $n=me$, $m$ is even and $c_i\in…

Information Theory · Computer Science 2013-08-14 Chunming Tang , Yanfeng Qi

We establish a lower bound of $\Omega{(\sqrt{n})}$ on the bounded-error quantum query complexity of read-once Boolean functions, providing evidence for the conjecture that $\Omega(\sqrt{D(f)})$ is a lower bound for all Boolean functions.…

Quantum Physics · Physics 2007-05-23 Howard Barnum , Michael Saks

The increasing complexity and volume of financial transactions pose significant challenges to traditional fraud detection systems. This technical report investigates and compares the efficacy of classical, quantum, and quantum-hybrid…

Although the foundations of quantum and classical physics are much different, it is often difficult to pinpoint which features of a particular system are intrinsically "quantum". Perhapse, the most clear-cut distinction between "classical"…

Quantum Physics · Physics 2015-02-05 Piotr Szańkowski

Quantum entanglement cannot be used to achieve direct communication between remote parties, but it can reduce the communication needed for some problems. Let each of k parties hold some partial input data to some fixed k-variable function…

Quantum Physics · Physics 2007-05-23 Harry Buhrman , Wim van Dam , Peter Hoyer , Alain Tapp