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

On the Role of Hadamard Gates in Quantum Circuits

Shepherd Daniel

Published Jan 1, 2006• 0 citations
OpenAlex

Abstract

We study a reduced quantum circuit computation paradigm in which the only allowable gates either permute the computational basis states or else apply a ``global Hadamard operation'', \emph{i.e.} apply a Hadamard operation to every qubit simultaneously. In this model, we discuss complexity bounds (lower-bounding the number of global Hadamard operations) for common quantum algorithms~: we illustrate upper bounds for Shor's Algorithm, and prove lower bounds for Grover's Algorithm. We also use our formalism to display a gate that is neither quantum-universal nor classically simulable, on the assumption that Integer Factoring is not in \textbf{BPP}.

Related papers

Practical Guide to Quantum Computing: Hadamard Gate (H Operator)

Mikhail Pavlov

Abstract The Hadamard gate (H gate) is a fundamental single-qubit quantum gate that transforms a qubit from a basis state ∣0⟩|0\rangle∣0⟩ or ∣1⟩|1\rangle∣1⟩ into an equal superposition of ∣0⟩|0\rangle∣0⟩ and ∣1⟩|1\rangle∣1⟩. By enabling a qubit to simultaneously occupy multiple states, the Hadamard gate is essential for exploiting quantum parallelism, which underlies the computational advantage of quantum computers. The H gate is widely used in quantum algorithms, including quantum Fourier transform, Grover’s search algorithm, and quantum teleportation, as it provides a mechanism for creating superposition and preparing initial states for interference. Mastery of the Hadamard gate is critical for designing quantum circuits that leverage the unique properties of qubits and achieve complex quantum computation.

•Mar 3, 2026•0 citations

The Hadamard gate cannot be replaced by a resource state in universal quantum computation

Benjamin D. M. Jones, Noah Linden, Paul Skrzypczyk

We consider models of quantum computation that involve operations performed on some fixed resourceful quantum state. Examples that fit this paradigm include magic state injection and measurement-based approaches. We introduce a framework that incorporates both of these cases and focus on the role of coherence (or superposition) in this context, as exemplified through the Hadamard gate. We prove that given access to incoherent unitaries (those that are unable to generate superposition from computational basis states, e.g. CNOT, diagonal gates), classical control, computational basis measurements, and any resourceful ancillary state (of arbitrary dimension), it is not possible to implement any coherent unitary (e.g. Hadamard) exactly with non-zero probability. We also consider the approximate case by providing lower bounds for the induced trace distance between the above operations and n Hadamard gates. To demonstrate the stability of this result, this is then extended to a similar no-go result for the case of using k Hadamard gates to exactly implement n>k Hadamard gates.

arXiv:2312.03515•Quantum•Sep 11, 2024•5 citations

Both Toffoli and Controlled-NOT need little help to do universal quantum computation

Yaoyun Shi

What additional gates are needed for a set of classical universal gates to do universal quantum computation? We answer this question by proving that any single-qubit real gate suffices, except those that preserve the computational basis. The result of Gottesman and Knill[quant-ph/9807006] implies that any quantum circuit involving only the Controlled-NOT and Hadamard gates can be efficiently simulated by a classical circuit. In contrast, we prove that Controlled-NOT plus any single-qubit real gate that does not preserve the computational basis and is not Hadamard (or its alike) are universal for quantum computing. Previously only a ``generic'' gate, namely a rotation by an angle incommensurate with pi, is known to be sufficient in both problems, if only one single-qubit gate is added.

arXiv:quant-ph/0205115•May 18, 2002•91 citations

Toffoli or Control-NOT needs little help to do universal quantum computation

Yaoyun Shi

What additional gates are needed for a set of classical universal gates to do universal quantum computation? We answer this question by proving that any single-qubit real gate suffices, except those that preserve the computational basis. The result of Gottesman and Knill[quant-ph/9807006] implies that any quantum circuit involving only the Control-NOT and Hadamard gates can be efficiently simulated by a classical circuit. In contrast, we prove that Control-NOT plus any single-qubit real gate that does not preserve the computational basis and is not Hadamard (or its alike) are universal for quantum computing. Previously only a ``generic'' gate, namely a rotation by an angle incommensurate with pi, is known to be sufficient in both problems, if only one single-qubit gate is added.

•May 18, 2002•0 citations

Both Toffoli and Controlled-NOT need little help to universal quantum computing

Y-Y Shi

What additional gates are needed for a set of classical universal gates to do universal quantum computation? We prove that any single-qubit real gate suffices, except those that preserve the computational basis. The Gottesman-Knill Theorem implies that any quantum circuit involving only the Controlled-NOT and Hadamard gates can be efficiently simulated by a classical circuit. In contrast, we prove that Controlled-NOT plus any single-qubit real gate that does not preserve the computational basis and is not Hadamard (or its like) are universal for quantum computing. Previously only a generic gate, namely a rotation by an angle incommensurate with \pi, is known to be sufficient in both problems, if only one single-qubit gate is added.

Quantum Information and Computation•Jan 1, 2003•193 citations

Quantum Computing

William J. Mullin

Quantum computing makes use of wave-function superposition to provide a computational system with remarkable possibilities. A computing bit is a 0 or 1, but a quantum bit, a qubit, is a superposition of two quantum states, of, say, an atom. A number n of qubits will then be in a superposition of 2n distinct states. An operation on such a state then does 2n simultaneous operations, demonstrating quantum parallelism. The possibilities of quantum computing are demonstrated via discussion of Deutch’s problem, Shor’s period-finding algorithm, and Grover’s search algorithm. Shor’s algorithm might allow the factoring of large numbers, which might enable the decoding of many encryption schemes. Details are given for the solution of Deutch’s problem. The analysis introduces certain operators, the NOT and Hadamard, that are used in computer logic.

Oxford University Press eBooks•Mar 16, 2017•0 citations
We study a reduced quantum circuit computation paradigm in which the only allowable gates either permute the computational basis states or else apply a ``global Hadamard operation'', \emph{i.e.} apply a Hadamard operation to every qubit simultaneously. In this model, we discuss complexity bounds (lower-bounding the number of global Hadamard operations) for common quantum algorithms~: we illustrate upper bounds for Shor's Algorithm, and prove lower bounds for Grover's Algorithm. We also use our formalism to display a gate that is neither quantum-universal nor classically simulable, on the assumption that Integer Factoring is not in \textbf{BPP}.
Abstract The Hadamard gate (H gate) is a fundamental single-qubit quantum gate that transforms a qubit from a basis state ∣0⟩|0\rangle∣0⟩ or ∣1⟩|1\rangle∣1⟩ into an equal superposition of ∣0⟩|0\rangle∣0⟩ and ∣1⟩|1\rangle∣1⟩. By enabling a qubit to simultaneously occupy multiple states, the Hadamard gate is essential for exploiting quantum parallelism, which underlies the computational advantage of quantum computers. The H gate is widely used in quantum algorithms, including quantum Fourier transform, Grover’s search algorithm, and quantum teleportation, as it provides a mechanism for creating superposition and preparing initial states for interference. Mastery of the Hadamard gate is critical for designing quantum circuits that leverage the unique properties of qubits and achieve complex quantum computation.
We consider models of quantum computation that involve operations performed on some fixed resourceful quantum state. Examples that fit this paradigm include magic state injection and measurement-based approaches. We introduce a framework that incorporates both of these cases and focus on the role of coherence (or superposition) in this context, as exemplified through the Hadamard gate. We prove that given access to incoherent unitaries (those that are unable to generate superposition from computational basis states, e.g. CNOT, diagonal gates), classical control, computational basis measurements, and any resourceful ancillary state (of arbitrary dimension), it is not possible to implement any coherent unitary (e.g. Hadamard) exactly with non-zero probability. We also consider the approximate case by providing lower bounds for the induced trace distance between the above operations and n Hadamard gates. To demonstrate the stability of this result, this is then extended to a similar no-go result for the case of using k Hadamard gates to exactly implement n>k Hadamard gates.
What additional gates are needed for a set of classical universal gates to do universal quantum computation? We answer this question by proving that any single-qubit real gate suffices, except those that preserve the computational basis. The result of Gottesman and Knill[quant-ph/9807006] implies that any quantum circuit involving only the Controlled-NOT and Hadamard gates can be efficiently simulated by a classical circuit. In contrast, we prove that Controlled-NOT plus any single-qubit real gate that does not preserve the computational basis and is not Hadamard (or its alike) are universal for quantum computing. Previously only a ``generic'' gate, namely a rotation by an angle incommensurate with pi, is known to be sufficient in both problems, if only one single-qubit gate is added.
What additional gates are needed for a set of classical universal gates to do universal quantum computation? We answer this question by proving that any single-qubit real gate suffices, except those that preserve the computational basis. The result of Gottesman and Knill[quant-ph/9807006] implies that any quantum circuit involving only the Control-NOT and Hadamard gates can be efficiently simulated by a classical circuit. In contrast, we prove that Control-NOT plus any single-qubit real gate that does not preserve the computational basis and is not Hadamard (or its alike) are universal for quantum computing. Previously only a ``generic'' gate, namely a rotation by an angle incommensurate with pi, is known to be sufficient in both problems, if only one single-qubit gate is added.
What additional gates are needed for a set of classical universal gates to do universal quantum computation? We prove that any single-qubit real gate suffices, except those that preserve the computational basis. The Gottesman-Knill Theorem implies that any quantum circuit involving only the Controlled-NOT and Hadamard gates can be efficiently simulated by a classical circuit. In contrast, we prove that Controlled-NOT plus any single-qubit real gate that does not preserve the computational basis and is not Hadamard (or its like) are universal for quantum computing. Previously only a generic gate, namely a rotation by an angle incommensurate with \pi, is known to be sufficient in both problems, if only one single-qubit gate is added.
Quantum computing makes use of wave-function superposition to provide a computational system with remarkable possibilities. A computing bit is a 0 or 1, but a quantum bit, a qubit, is a superposition of two quantum states, of, say, an atom. A number n of qubits will then be in a superposition of 2n distinct states. An operation on such a state then does 2n simultaneous operations, demonstrating quantum parallelism. The possibilities of quantum computing are demonstrated via discussion of Deutch’s problem, Shor’s period-finding algorithm, and Grover’s search algorithm. Shor’s algorithm might allow the factoring of large numbers, which might enable the decoding of many encryption schemes. Details are given for the solution of Deutch’s problem. The analysis introduces certain operators, the NOT and Hadamard, that are used in computer logic.