Improved Approximate Degree Bounds For k-distinctness

02/19/2020
by   Nikhil S. Mande, et al.
0

An open problem that is widely regarded as one of the most important in quantum query complexity is to resolve the quantum query complexity of the k-distinctness function on inputs of size N. While the case of k=2 (also called Element Distinctness) is well-understood, there is a polynomial gap between the known upper and lower bounds for all constants k>2. Specifically, the best known upper bound is O(N^(3/4)-1/(2^k+2-4)) (Belovs, FOCS 2012), while the best known lower bound for k >= 2 is Omega(N^2/3 + N^(3/4)-1/(2k)) (Aaronson and Shi, J. ACM 2004; Bun, Kothari, and Thaler, STOC 2018). For any constant k >= 4, we improve the lower bound to Omega(N^(3/4)-1/(4k)). This yields, for example, the first proof that 4-distinctness is strictly harder than Element Distinctness. Our lower bound applies more generally to approximate degree. As a secondary result, we give a simple construction of an approximating polynomial of degree O(N^3/4) that applies whenever k <= polylog(N).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/25/2017

The Polynomial Method Strikes Back: Tight Quantum Query Bounds via Dual Polynomials

The approximate degree of a Boolean function f is the least degree of a ...
research
09/16/2019

Vanishing-Error Approximate Degree and QMA Complexity

The ϵ-approximate degree of a function f X →{0, 1} is the least degree o...
research
08/04/2023

Randomized and quantum query complexities of finding a king in a tournament

A tournament is a complete directed graph. It is well known that every t...
research
11/22/2022

On Optimal Coreset Construction for Euclidean (k,z)-Clustering

Constructing small-sized coresets for various clustering problems in Euc...
research
07/09/2019

New Competitiveness Bounds for the Shared Memory Switch

We consider one of the simplest and best known buffer management archite...
research
11/07/2017

Revisionist Simulations: A New Approach to Proving Space Lower Bounds

Determining the space complexity of x-obstruction-free k-set agreement f...
research
04/13/2023

Improved lower bounds for Queen's Domination via an exactly-solvable relaxation

The Queen's Domination problem, studied for over 160 years, poses the fo...

Please sign up or login with your details

Forgot password? Click here to reset