English
Related papers

Related papers: An Exponential Separation Between Quantum Query Co…

200 papers

Relational quantum queries are sometimes capable to effectively decide between collections of mutually exclusive elementary cases without completely resolving and determining those individual instances. Thereby the set of mutually exclusive…

Quantum Physics · Physics 2019-11-05 Karl Svozil

We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We compare several different possible definitions. Our main…

Quantum Physics · Physics 2007-05-23 Harry Buhrman , Ilan Newman , Hein Roehrig , Ronald de Wolf

We calculate the zeros of an exponential polynomial of some variables by a classical algorithm and quantum algorithms which are based on the method of van Dam and Shparlinski, they treated the case of two variables, and compare with the…

Quantum Physics · Physics 2009-08-13 Yoshitaka Sasaki

Although quantum algorithms realizing an exponential time speed-up over the best known classical algorithms exist, no quantum algorithm is known performing computation using less space resources than classical algorithms. In this paper, we…

Quantum Physics · Physics 2009-06-18 Francois Le Gall

This paper studies the important problem of quantum classification of Boolean functions from a entirely novel perspective. Typically, quantum classification algorithms allow us to classify functions with a probability of $1.0$, if we are…

We study the relation between quantum computational complexity and general relativity. The quantum computational complexity is proposed to be quantified by the shortest length of geodesic quantum curves. We examine the complexity/volume…

High Energy Physics - Theory · Physics 2018-03-14 Xian-Hui Ge , Bin Wang

Density modelling is the task of learning an unknown probability density function from samples, and is one of the central problems of unsupervised machine learning. In this work, we show that there exists a density modelling problem for…

Quantum Physics · Physics 2023-04-17 Niklas Pirnay , Ryan Sweke , Jens Eisert , Jean-Pierre Seifert

Quantum channel capacities are fundamental to quantum information theory. Their definition, however, does not limit the computational resources of sender and receiver. In this work, we initiate the study of computational quantum capacities.…

Quantum Physics · Physics 2026-01-23 Johannes Jakob Meyer , Jacopo Rizzo , Asad Raza , Lorenzo Leone , Sofiene Jerbi , Jens Eisert

We study the query complexity on slices of Boolean functions. Among other results we show that there exists a Boolean function for which we need to query all but 7 input bits to compute its value, even if we know beforehand that the number…

We present a logical separability analysis for a functional quantum computation language. This logic is inspired by previous works on logical analysis of aliasing for imperative functional programs. Both analyses share similarities notably…

Logic in Computer Science · Computer Science 2015-05-13 F. Prost , C. Zerrari

In this article we make a comparison between the behavior of entanglement and quantum degree of polarization for a special class of states of the radiation field, namely the Bell-type diagonal mixed states. For the three-photon mixed states…

Quantum Physics · Physics 2018-04-16 Iulia Ghiu

Let A be a finite dimensional algebra over a field of characteristic zero graded by a finite abelian group G. Here we study a growth function related to the graded polynomial identities satisfied by A by computing the exponential rate of…

Rings and Algebras · Mathematics 2009-03-12 Eli Aljadeff , Antonio Giambruno , Daniela La Mattina

This paper proves the polynomial equivalence of a broad class of definitions of quantum computational complexity. We study right-invariant metrics on the unitary group -- often called `complexity geometries' following the definition of…

Quantum Physics · Physics 2024-07-03 Adam R. Brown

We study the computational power of polynomial threshold functions, that is, threshold functions of real polynomials over the boolean cube. We provide two new results bounding the computational power of this model. Our first result shows…

Computational Complexity · Computer Science 2009-11-29 Ido Ben-Eliezer , Shachar Lovett , Ariel Yadin

We study completeness in partial differential varieties. We generalize many results from ordinary differential fields to the partial differential setting. In particular, we establish a valuative criterion for differential completeness and…

Logic · Mathematics 2012-02-06 James Freitag

We show that classical and quantum Kolmogorov complexity of binary strings agree up to an additive constant. Both complexities are defined as the minimal length of any (classical resp. quantum) computer program that outputs the…

Quantum Physics · Physics 2009-06-09 Markus Mueller

In this theoretical study, we analyze quantum walks on complex networks, which model network-based processes ranging from quantum computing to biology and even sociology. Specifically, we analytically relate the average long time…

Quantum Physics · Physics 2014-02-26 Mauro Faccin , Tomi Johnson , Jacob Biamonte , Sabre Kais , Piotr Migdał

Quantum computers can produce a quantum encoding of the solution of a system of differential equations exponentially faster than a classical algorithm can produce an explicit description. However, while high-precision quantum algorithms for…

Quantum Physics · Physics 2021-11-10 Andrew M. Childs , Jin-Peng Liu , Aaron Ostrander

We study quantum-classical separations between classical and quantum supervised learning models based on constant depth (i.e., shallow) circuits, in scenarios with and without noises. We construct a classification problem defined by a…

Quantum Physics · Physics 2024-05-03 Zhihan Zhang , Weiyuan Gong , Weikang Li , Dong-Ling Deng

We show nearly quadratic separations between two pairs of complexity measures: 1. We show that there is a Boolean function $f$ with $D(f)=\Omega((D^{sc}(f))^{2-o(1)})$ where $D(f)$ is the deterministic query complexity of $f$ and $D^{sc}$…

Computational Complexity · Computer Science 2015-12-03 Andris Ambainis , Martins Kokainis