INQA Conference 2025: Andrew Jackson - University of Edinburgh

Value of the Information & Strength of the Argument

The talk provides a clear and detailed exposition of a novel verification method for analog quantum simulations. The argumentation is logically structured, starting from the limitations of existing approaches and building up to the new technique. The speaker explains the mathematical foundations, such as the lemma for moving gates into exponentials and the use of anticommutation to invert Hamiltonians. The value lies in addressing a critical problem in quantum computing: verifying results in the regime where quantum advantage is expected. The method is practical, requiring only single-qubit gates and minimal assumptions, making it applicable to current hardware. The speaker also acknowledges limitations and assumptions, such as the approximate nature of the inversion and the need for gate-independent errors, but justifies them reasonably.

Scientific Rigor, Source Quality, Title Accuracy

The talk references two key papers: one published in PNAS (2024) and an arXiv preprint (2502.06463). These are appropriate and credible sources for the presented methods. The speaker also mentions related work by others during the Q&A, but does not provide specific citations. The title accurately reflects the content, focusing on verification of analog simulations. The talk is a conference presentation, so it is not peer-reviewed itself, but the underlying research is. The speaker is an academic, adding to credibility. Overall, the scientific rigor is high, with clear assumptions and technical details.

The title accurately reflects the content: a talk on verification of analog quantum simulations.

8/10

Presentation of peer-reviewed methods (PNAS 2024, arXiv 2025) with clear assumptions and technical details. The speaker is an academic researcher. The talk is a conference presentation, not a formal publication, but the methods are published and the reasoning is rigorous.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 00:00Introduction: speaker introduces himself and the topic of verification of analog simulations.
• 01:00Motivation for analog simulation: larger simulations with lower errors compared to digital.
• 03:00Explanation of verification protocols and trap computations.
• 05:00Original analog accreditation protocol: requires universal Hamiltonian and two-qubit gates.
• 08:00Time inversion technique: using single-qubit gates to invert time evolution.
• 10:00Example of inverting XY interaction with Z gates on a two-coloring.
• 12:00Assumptions of the original protocol: CPTP maps, identical errors, gate-independent single-qubit errors.
• 14:00Upgraded protocol: no universal Hamiltonian, no two-qubit gates, approximate inversion.
• 16:00Details of the new inversion method: G-dash sets and random Pauli strings.
• 18:00Assumptions of the new protocol: relaxed error models, gate-dependent errors allowed.
• 20:00Q&A session: discussion of related work and potential extensions.

• A. Jackson et al. Proc. Natl. Acad. Sci. U.S.A 121 (6). 2024 — Original analog accreditation protocol
• A. Jackson et al. arXiv:2502.06463 — Improved protocol with approximate Hamiltonian inversion

• Quantum simulation — General background on quantum simulation, relevant to the talk's topic.