On the randomised query complexity of composition

01/07/2018
by   Dmitry Gavinsky, et al.
0

Let f⊆{0,1}^n×Ξ be a relation and g:{0,1}^m→{0,1,*} be a promise function. This work investigates the randomised query complexity of the relation f∘ g^n⊆{0,1}^m· n×Ξ, which can be viewed as one of the most general cases of composition in the query model (letting g be a relation seems to result in a rather unnatural definition of f∘ g^n). We show that for every such f and g, R(f∘ g^n) ∈Ω( R(f)·√( R(g))), where R denotes the randomised query complexity. On the other hand, we demonstrate a relation f_0 and a promise function g_0, such that R(f_0)∈Θ(√(n)), R(g_0)∈Θ(n) and R(f_0∘ g_0^n)∈Θ(n) - that is, our composition statement is tight. To the best of our knowledge, there was no known composition theorem for the randomised query complexity of relations or promise functions (and for the special case of total functions our lower bound gives multiplicative improvement of √( n)).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/27/2018

A composition theorem for randomized query complexity via max conflict complexity

Let R_ϵ(·) stand for the bounded-error randomized query complexity with ...
research
09/04/2018

A note on the tight example in On the randomised query complexity of composition

We make two observations regarding a recent tight example for a composit...
research
04/14/2020

The quantum query complexity of composition with a relation

The negative weight adversary method, ADV^±(g), is known to characterize...
research
01/10/2018

A Composition Theorem via Conflict Complexity

Let (·) stand for the bounded-error randomized query complexity. We show...
research
02/25/2020

A Tight Composition Theorem for the Randomized Query Complexity of Partial Functions

We prove two new results about the randomized query complexity of compos...
research
02/17/2022

Query Answering with Transitive and Linear-Ordered Data

We consider entailment problems involving powerful constraint languages ...
research
07/08/2023

A Strong Composition Theorem for Junta Complexity and the Boosting of Property Testers

We prove a strong composition theorem for junta complexity and show how ...

Please sign up or login with your details

Forgot password? Click here to reset