7,661 research outputs found
Charting the circuit QED design landscape using optimal control theory
With recent improvements in coherence times, superconducting transmon qubits
have become a promising platform for quantum computing. They can be flexibly
engineered over a wide range of parameters, but also require us to identify an
efficient operating regime. Using state-of-the-art quantum optimal control
techniques, we exhaustively explore the landscape for creation and removal of
entanglement over a wide range of design parameters. We identify an optimal
operating region outside of the usually considered strongly dispersive regime,
where multiple sources of entanglement interfere simultaneously, which we name
the quasi-dispersive straddling qutrits (QuaDiSQ) regime. At a chosen point in
this region, a universal gate set is realized by applying microwave fields for
gate durations of 50 ns, with errors approaching the limit of intrinsic
transmon coherence. Our systematic quantum optimal control approach is easily
adapted to explore the parameter landscape of other quantum technology
platforms.Comment: 13 pages, 5 figures, 2 pages supplementary, 1 supplementary figur
Oracles Are Subtle But Not Malicious
Theoretical computer scientists have been debating the role of oracles since
the 1970's. This paper illustrates both that oracles can give us nontrivial
insights about the barrier problems in circuit complexity, and that they need
not prevent us from trying to solve those problems.
First, we give an oracle relative to which PP has linear-sized circuits, by
proving a new lower bound for perceptrons and low- degree threshold
polynomials. This oracle settles a longstanding open question, and generalizes
earlier results due to Beigel and to Buhrman, Fortnow, and Thierauf. More
importantly, it implies the first nonrelativizing separation of "traditional"
complexity classes, as opposed to interactive proof classes such as MIP and
MA-EXP. For Vinodchandran showed, by a nonrelativizing argument, that PP does
not have circuits of size n^k for any fixed k. We present an alternative proof
of this fact, which shows that PP does not even have quantum circuits of size
n^k with quantum advice. To our knowledge, this is the first nontrivial lower
bound on quantum circuit size.
Second, we study a beautiful algorithm of Bshouty et al. for learning Boolean
circuits in ZPP^NP. We show that the NP queries in this algorithm cannot be
parallelized by any relativizing technique, by giving an oracle relative to
which ZPP^||NP and even BPP^||NP have linear-size circuits. On the other hand,
we also show that the NP queries could be parallelized if P=NP. Thus, classes
such as ZPP^||NP inhabit a "twilight zone," where we need to distinguish
between relativizing and black-box techniques. Our results on this subject have
implications for computational learning theory as well as for the circuit
minimization problem.Comment: 20 pages, 1 figur
Multistart Methods for Quantum Approximate Optimization
Hybrid quantum-classical algorithms such as the quantum approximate
optimization algorithm (QAOA) are considered one of the most promising
approaches for leveraging near-term quantum computers for practical
applications. Such algorithms are often implemented in a variational form,
combining classical optimization methods with a quantum machine to find
parameters to maximize performance. The quality of the QAOA solution depends
heavily on quality of the parameters produced by the classical optimizer.
Moreover, the presence of multiple local optima in the space of parameters
makes it harder for the classical optimizer. In this paper we study the use of
a multistart optimization approach within a QAOA framework to improve the
performance of quantum machines on important graph clustering problems. We also
demonstrate that reusing the optimal parameters from similar problems can
improve the performance of classical optimization methods, expanding on similar
results for MAXCUT
- …