Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

NATO science for peace and security series. D, Information and communication security

Quantum algorithms for formula evaluation

Andris Ambainis

Published Jan 1, 2010• 2 citations
Publisher

Abstract

We survey the recent sequence of algorithms for evaluating Boolean formulas consisting of NAND gates.
DOI
10.3233/978-1-60750-547-1-115

Related papers

Quantum algorithms for formula evaluation

Andris Ambainis

We survey the recent sequence of algorithms for evaluating Boolean formulas consisting of NAND gates.

arXiv:1006.3651•Jun 18, 2010•8 citations

Quantum Algorithms for Cryptographically Significant Boolean Functions

Tharrmashastha Sapv, Debajyoti Bera, Arpita Maitra +1 more

SpringerBriefs in computer science•Jan 1, 2021•1 citation

How to Compile Some NAND Formula Evaluators

Robert R. Tucci

We say a unitary operator acting on a set of qubits has been compiled if it has been expressed as a SEO (sequence of elementary operations, like CNOTs and single-qubit operations). SEO's are often represented as quantum circuits. arXiv:quant-ph/0702144 by Farhi-Goldstone-Gutmann has inspired a recent flurry of papers, that propose quantum algorithms for evaluating NAND formulas via quantum walks over tree graphs. These algorithms use two types of unitary evolution: oracle and non-oracle. Non-oracle evolutions are independent of the NAND formula input, whereas oracle evolutions depend on this input. In this paper we compile (i.e., give explicit SEOs and their associated quantum circuits for) the oracle and non-oracle evolution operators used in some of these NAND formula evaluators. We consider here only the case of balanced binary NAND trees. Our compilation methods are based on the CSD (Cosine Sine Decomposition), a matrix decomposition from Linear Algebra. The CS decomposition has been used very successfully in the past to compile unstructured unitary matrices exactly.

arXiv:0706.0479•Jun 4, 2007•5 citations

Span-program-based quantum algorithm for evaluating formulas

Ben W. Reichardt, Robert Špalek

We give a quantum algorithm for evaluating formulas over an extended gate set, including all two- and three-bit binary gates (e.g., NAND, 3-majority). The algorithm is optimal on read-once formulas for which each gate's inputs are balanced in a certain sense.

ACM Symposium on Theory of Computing (STOC)•May 17, 2008•95 citations

Quantum logic gate construction and quantum algorithms

Xinlan Zhou

•Jan 1, 2002•0 citations

Super-polynomial quantum speed-ups for boolean evaluation trees with hidden structure

Bohua Zhan, Shelby Kimmel, Avinatan Hassidim

We give a quantum algorithm for evaluating a class of boolean formulas (such as NAND trees and 3-majority trees) on a restricted set of inputs. Due to the structure of the allowed inputs, our algorithm can evaluate a depth n tree using O(n2+logω) queries, where ω is independent of n and depends only on the type of subformulas within the tree. We also prove a classical lower bound of nΩ(log log n) queries, thus showing a (small) super-polynomial speed-up.

arXiv:1101.0796•Conference on Innovations in Theoretical Computer Science•Jan 8, 2012•22 citations
We say a unitary operator acting on a set of qubits has been compiled if it has been expressed as a SEO (sequence of elementary operations, like CNOTs and single-qubit operations). SEO's are often represented as quantum circuits. arXiv:quant-ph/0702144 by Farhi-Goldstone-Gutmann has inspired a recent flurry of papers, that propose quantum algorithms for evaluating NAND formulas via quantum walks over tree graphs. These algorithms use two types of unitary evolution: oracle and non-oracle. Non-oracle evolutions are independent of the NAND formula input, whereas oracle evolutions depend on this input. In this paper we compile (i.e., give explicit SEOs and their associated quantum circuits for) the oracle and non-oracle evolution operators used in some of these NAND formula evaluators. We consider here only the case of balanced binary NAND trees. Our compilation methods are based on the CSD (Cosine Sine Decomposition), a matrix decomposition from Linear Algebra. The CS decomposition has been used very successfully in the past to compile unstructured unitary matrices exactly.