#15/100: Hadamard is unitary... || Quantum Computer Programming in 100 Easy Lessons

#15/100: Hadamard is unitary... || Quantum Computer Programming in 100 Easy Lessons

🎙 Ryan O'Donnell 👥 14K 📅 June 3, 2024 ⏱ 14 min 👁 665 📄 tutorial 🧭 2026-08-17
Available in: English (current) Français

Keywords

Hadamardunitaryquantumamplitudelinear algebra

Summary

In this lesson, Ryan O’Donnell explains why the Hadamard operation is unitary, a fundamental property for quantum computing. He begins by recalling the unitary property: a valid quantum state (sum of squared amplitudes = 1) must remain valid after any quantum operation. He then focuses on the Hadamard gate, showing its matrix and path diagram. Using an amplitude tree, he computes the output amplitudes for a general input state with amplitudes x and y. He derives that the new amplitudes are (x+y)/√2 and (x-y)/√2. He then verifies that the sum of squares of these new amplitudes equals x²+y², which is 1 for a valid input state, thus proving unitarity. He also mentions that this property holds for all quantum operations, and that unitary operations have an inverse (the Hadamard is its own inverse). He briefly touches on the clockwise operation as an exercise. The lesson concludes with a note on how to check unitarity for larger matrices and hints at a conceptual shortcut to come.

165 words

Critical Evaluation

Value of the Information & Strength of the Argument

The video provides a clear, step-by-step mathematical proof of the unitary property of the Hadamard gate. The argumentation is solid: it starts from the definition of a valid quantum state, applies the Hadamard transformation, and verifies the preservation of the sum of squared amplitudes. The use of amplitude trees and the derived shortcut (zero gets sum, one gets difference) are valuable for understanding and computation. The explanation is accessible yet rigorous, making it a valuable resource for learners.

Scientific Rigor, Source Quality, Title Accuracy

The scientific rigor is high: the presenter is a professor at Carnegie Mellon, and the mathematical reasoning is correct and well-explained. The video is part of a structured series, indicating careful preparation. The title accurately reflects the content. No external sources are cited beyond the instructor’s personal page, which is appropriate for a tutorial. The video does not contain any apparent advertising or sponsored content.

158 words

Title / Content Match

The title accurately describes the content: proving the Hadamard operation is unitary.

Quality & Reliability

8/10

The video is a clear, mathematically rigorous tutorial by a recognized expert (CMU professor) on a fundamental quantum computing concept. The reasoning is step-by-step and verifiable, with no unsupported claims. The presentation is informal but precise.

Key Moments

Cited Sources

Concurring Sources

Contribution & Novelties

This video offers a clear, pedagogical proof of the unitary property of the Hadamard gate, emphasizing a computational shortcut (zero gets sum, one gets difference) that aids in manual calculations. It also connects the concept to the broader principle that all valid quantum operations are unitary and have inverses. The presentation is part of a structured series, making it a valuable resource for learners.

Pour aller plus loin :

  • Hadamard transform — Wikipedia article on the Hadamard transform, relevant to the gate’s mathematical properties.
  • Unitary matrix — Wikipedia article on unitary matrices, fundamental to quantum mechanics.
  • Quantum logic gate — Wikipedia article on quantum gates, including the Hadamard gate.

109 words

Radar Profile

The radar profile shows high scores in quality and reliability, with moderate scores in quantity and technical depth. This indicates a focused, accurate tutorial that may not cover a broad range of topics but excels in explaining a specific concept thoroughly.

Reliability 9/10