A five-qubit gate breaks a tidy hierarchy rule
- What it is
- The paper claims a five-qubit quantum gate counterexample to a structural conjecture about the Clifford hierarchy.
- Who did it
- Nadish de Silva and Oscar Lautsch
- What it could mean
- A map of which quantum operations have a simple form has a newly claimed exception, changing how mathematicians organize the hierarchy.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
The generalised semi-Clifford conjecture is false ↗See the proposed checks
Extract the proposed five-qubit gate; independently verify its fifth-level Clifford-hierarchy membership, exhaust the claimed generalised-semi-Clifford normal form obstruction, and test the inverse-closure consequence using the paper's definitions.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The abstract claims a five-qubit gate in the fifth Clifford-hierarchy level that is not generalised semi-Clifford, refuting the Zeng-Chen-Chuang conjecture and showing the hierarchy is not closed under inverses. It is a newly posted concrete counterexample to a named structural conjecture.
- Why this could matter
- A five-qubit gate breaks a tidy hierarchy rule Quantum gates can be sorted into layers of increasing complexity. This paper claims one five-qubit gate in the fifth layer cannot be reshaped into the simple form a long-standing conjecture predicted.
- If it holds up
- It would refute the generalized semi-Clifford conjecture and show the Clifford hierarchy is not closed under taking inverses.
- If it does not
- The gate's layer membership or the claimed normal-form obstruction would need correction; the conjecture would remain unsettled.
- Impact horizon
- Foundational · Quantum information · Algebra · Mathematical physics
- Version
- submitted 2026-09-10 17:55:10 UTC
- Why we tracked it
- a fresh, source-backed counterexample to a 2007 quantum-information conjecture; the abstract supplies the claimed object but no independently replayable artifact, so the result remains unexamined intake.
- Highest-risk dependency
- The counterexample turns on exact conventions for the hierarchy and the normal form; a gate representation, phase convention or membership proof that differs from the paper's definitions could invalidate the claimed refutation.
- Available artifacts
- arXiv provides PDF, experimental HTML and TeX source; the page labels it a preliminary draft. No linked formalization, circuit repository, executable verification package, data or certificate artifact was identified. No artifact was downloaded, executed or replayed.
- Current boundary
- Intake record only; examination not started.