39 research outputs found
Quantum lower bound for inverting a permutation with advice
Given a random permutation as a black box and ,
we want to output . Supplementary to our input, we are given
classical advice in the form of a pre-computed data structure; this advice can
depend on the permutation but \emph{not} on the input . Classically, there
is a data structure of size and an algorithm that with the help
of the data structure, given , can invert in time , for
every choice of parameters , , such that . We prove a
quantum lower bound of for quantum
algorithms that invert a random permutation on an fraction of
inputs, where is the number of queries to and is the amount of
advice. This answers an open question of De et al.
We also give a quantum lower bound for the simpler but
related Yao's box problem, which is the problem of recovering a bit ,
given the ability to query an -bit string at any index except the
-th, and also given bits of advice that depend on but not on .Comment: To appear in Quantum Information & Computation. Revised version based
on referee comment
Provably Efficient Adaptive Scheduling for Parallel Jobs
Scheduling competing jobs on multiprocessors has always been an important issue for parallel and distributed systems. The challenge is to ensure global, system-wide efficiency while offering a level of fairness to user jobs. Various degrees of successes have been achieved over the years. However, few existing schemes address both efficiency and fairness over a wide range of work loads. Moreover, in order to obtain analytical results, most of them require prior information about jobs, which may be difficult to obtain in real applications.
This paper presents two novel adaptive scheduling algorithms -- GRAD for centralized scheduling, and WRAD for distributed scheduling. Both GRAD and WRAD ensure fair allocation under all levels of workload, and they offer provable efficiency without requiring prior information of job's parallelism. Moreover, they provide effective control over the scheduling overhead and ensure efficient utilization of processors. To the best of our knowledge, they are the first non-clairvoyant scheduling algorithms that offer such guarantees. We also believe that our new approach of resource request-allotment protocol deserves further exploration.
Specifically, both GRAD and WRAD are O(1)-competitive with respect to mean response time for batched jobs, and O(1)-competitive with respect to makespan for non-batched jobs with arbitrary release times. The simulation results show that, for non-batched jobs, the makespan produced by GRAD is no more than 1.39 times of the optimal on average and it never exceeds 4.5 times. For batched jobs, the mean response time produced by GRAD is no more than 2.37 times of the optimal on average, and it never exceeds 5.5 times.Singapore-MIT Alliance (SMA
Quantum Query Algorithms are Completely Bounded Forms
We prove a characterization of -query quantum algorithms in terms of the
unit ball of a space of degree- polynomials. Based on this, we obtain a
refined notion of approximate polynomial degree that equals the quantum query
complexity, answering a question of Aaronson et al. (CCC'16). Our proof is
based on a fundamental result of Christensen and Sinclair (J. Funct. Anal.,
1987) that generalizes the well-known Stinespring representation for quantum
channels to multilinear forms. Using our characterization, we show that many
polynomials of degree four are far from those coming from two-query quantum
algorithms. We also give a simple and short proof of one of the results of
Aaronson et al. showing an equivalence between one-query quantum algorithms and
bounded quadratic polynomials.Comment: 24 pages, 3 figures. v2: 27 pages, minor changes in response to
referee comment
Quantum Algorithms for Learning Symmetric Juntas via the Adversary Bound
In this paper, we study the following variant of the junta learning problem. We are given oracle access to a Boolean function f on n variables that only depends on k variables, and, when restricted to them, equals some predefined function h. The task is to identify the variables the function depends on.When h is the XOR or the OR function, this gives a restricted variant of the Bernstein–Vazirani or the combinatorial group testing problem, respectively.
We analyze the general case using the adversary bound and give an alternative formulation for the quantum query complexity of this problem. We construct optimal quantum query algorithms for the cases when h is the OR function (complexity is Θ(√k) ) or the exact-half function (complexity is O(k[supercript 1/4])). The first algorithm resolves an open problem from Ambainis & Montanaro (Quantum Inf Comput 14(5&6): 439–453, 2014). For the case when h is the majority function, we prove an upper bound of O(k[supercript 1/4]). All these algorithms can be made exact. We obtain a quartic improvement when compared to the randomized complexity (if h is the exact-half or the majority function), and a quadratic one when compared to the non-adaptive quantum complexity (for all functions considered in the paper).National Science Foundation (U.S.) (Scott Aaronson’s Alan T. Waterman Award
Improved differential privacy for SGD via optimal private linear operators on adaptive streams
CCF-1763786 - National Science Foundation; Apple, Inchttps://arxiv.org/abs/2202.0831