WOMANIUM QUANTUM + AI 2024: DAY 15 ❯ Quantum Primitives - II (Eden Schirman - Classiq)

WOMANIUM QUANTUM + AI 2024: DAY 15 ❯ Quantum Primitives - II (Eden Schirman - Classiq)

🎙 Eden Schirman (Classiq) — hosted by WOMANIUM 👥 3K 📅 July 5, 2024 ⏱ 85 min 👁 1K 📄 tutorial 🧭 2026-10-09
Available in: English (current) Français

Keywords

phase kickbackoracleHadamard testlinear combination of unitariesquantum algorithm design

Summary

This session is the second part of a bootcamp module on quantum primitives, delivered by Eden Schirman of Classiq within the WOMANIUM Quantum + AI 2024 programme. It opens with a recap of the previous session’s homework on the Hadamard test, using student results to illustrate how the expectation value of a quantum circuit converges toward its theoretical value as the number of shots increases, and how the standard deviation scales as one over the square root of the number of shots. The instructor frames the expectation value as a classical random variable, separating quantum randomness from classical sampling noise. The core of the lecture then introduces the phase kickback primitive: its definition, its graphical interpretation as a reflection of the state vector about the component corresponding to the marked value, and its implementation via an oracle acting on a target qubit prepared in the minus state. A concrete two-qubit example is worked through, with Qmod code showing how to prepare the oracle and the minus state, apply the oracle within an apply block, and uncompute. The session closes by connecting phase kickback to Grover’s algorithm and to more recent applications, and announces hands-on exercises on the Classiq platform.

199 words

Critical Evaluation

Value of the Information & Strength of the Argument

The informational value of this session lies in its pedagogical decomposition of a non-trivial quantum primitive into intuitive, implementable steps. The instructor does not merely state the definition of phase kickback; he builds it from the oracle model, shows the graphical reflection picture, and then translates it into Qmod code, making the abstract operation concrete. The treatment of the Hadamard test homework is particularly valuable: rather than simply giving the answer, the instructor uses student submissions to demonstrate the statistical behaviour of expectation values, introducing the idea that the expectation value is a classical random variable with a mean and a standard deviation. This framing is a genuine conceptual tool for algorithm design, as it clarifies the separation between quantum and classical randomness. The argumentation is coherent and cumulative: each concept (oracle, minus state, uncompute, within-apply) is introduced where it is needed, and the example is carried through from graphical intuition to code. The main weakness is that the mathematical derivation of the phase kickback is deferred to an offline tutorial, so the session relies on the learner accepting the result rather than deriving it. The connection to Grover’s algorithm and to the paper on utility of quantum computing before fault tolerance is made but not developed in depth, leaving the audience with pointers rather than a full analysis.

Scientific Rigor, Source Quality, Title Accuracy

The scientific rigour is solid for a bootcamp lecture: the definitions are standard, the example is correct, and the code is presented as a functional design that the Classiq synthesis engine compiles. The instructor explicitly distinguishes between the functional level and the implementation level, which is an honest and useful distinction. However, the session does not cite primary sources inline; the only explicit reference is to Grover’s original paper, shown as a slide, and to a paper on evidence for the utility of quantum computing before fault tolerance, which is mentioned as one of the project papers but not fully referenced in the transcript. The description provides only the WOMANIUM website and schedule links, which are programme-level rather than scientific sources. The title is fully adequate: it announces a second part on quantum primitives, and the content delivers exactly that, with no overpromising. No comments were provided for analysis, so no public-trend assessment is included.

389 words

Title / Content Match

The title accurately reflects the content: it is the second part of a session on quantum primitives, delivered by Eden Schirman of Classiq, covering phase kickback and linear combinations of unitaries. No misleading framing.

Quality & Reliability

8/10

The session is delivered by an industry practitioner (Classiq) within a structured bootcamp, with content grounded in established quantum computing theory (oracles, phase kickback, Hadamard test, Grover). Claims are technically accurate and consistent with standard literature. The main limitation is the absence of explicit citations to primary literature within the talk itself, and the reliance on the Classiq platform as the implementation vehicle.

Key Moments

Cited Sources

Concurring Sources

Contribution & Novelties

The session’s original contribution is pedagogical rather than scientific: it provides a structured, implementation-oriented walkthrough of phase kickback as a reusable primitive, using the Classiq Qmod language to separate functional design from circuit synthesis. It also offers a practical treatment of shot-noise convergence, framing the expectation value as a classical random variable and showing how repeated executions at fixed shot counts reveal the 1/sqrt(N) scaling. This combination of statistical intuition and functional quantum programming is a distinctive feature of the Classiq teaching approach.

Pour aller plus loin :

  • Phase kickback — Wikipedia article explaining the mechanism and its use in quantum algorithms.
  • Grover’s algorithm — The canonical example where phase kickback is used, referenced in the lecture.
  • Hadamard test — The primitive covered in the previous session and used to estimate expectation values.
  • Quantum oracle — The oracle model that underpins phase kickback and many quantum algorithms.
  • Linear combination of unitaries — The second primitive announced for this session, based on the LCU framework.

164 words

Radar Profile

The profile is that of a technically dense but pedagogically oriented lecture: high on technical level and reliability, moderate on information quantity due to the tutorial format, and strong on quality because the content is accurate and well structured. The absence of explicit primary citations in the talk itself slightly lowers the reliability score, but the material is consistent with standard quantum computing literature.

Reliability 8/10