Pith. sign in

REVIEW 2 cited by

Optimizing T gates in Clifford+T circuit as $\pi/4$ rotations around Paulis

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1903.12456 v1 pith:TYRX5M3D submitted 2019-03-29 quant-ph

classification quant-ph
keywords gatescliffordcircuitnumberaroundrotationsalgorithmaverage
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

In this work, we introduce a new circuit optimization technique to reduce the number of T gates in Clifford+T circuits by treating T gates conjugated by Clifford gates as $\frac{\pi}{4}$-rotations around Pauli operators. The tested benchmarks shows up to $71.43\%$ and an average $42.67\%$ reduction in T-count, both surpass the best performance reported. The worst case complexity of our algorithm is $O(nk^2)$ where $n$ is the number of qubits and $k$ is the number of T gates in the original Clifford+T circuit.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. SymFT: Universal Fault-Tolerant Quantum Circuit Simulation via Symbolic Clifford--Pauli Frames and Stabilizer Coordinates

    quant-ph 2026-07 conditional novelty 6.5 of 10

    SymFT reaches state-of-the-art exact sampling of Clifford-dominated FT circuits by combining symbolic Clifford–Pauli frames with planned dense stabilizer-coordinate updates.

  2. Nontrivial multi-product commutation relation toward reducing T-count in sequential Pauli-based computation

    quant-ph 2025-09 conditional novelty 6.0 of 10

    A group of four non-commuting pi/4 Pauli rotations can be reordered as blocks whenever their axes satisfy a simple algebraic condition, and this rule defeats current T-count optimizers on specially built circuits.

Pith tools