On the Constant Depth Implementation of Pauli Exponentials

Moflic, Ioana; Paler, Alexandru

On the Constant Depth Implementation of Pauli Exponentials

Ioana Moflic
(
- Aalto U.
)
,
Alexandru Paler
(
- Aalto U.
)

Aug 15, 2024

e-Print:

2408.08265 [quant-ph]

View in:

ADS Abstract Service

pdf

reference search3 citations

Citations per year

Abstract: (arXiv)

We decompose for the first time, under the very restrictive linear nearest-neighbour connectivity,

Z\otimes Z \ldots \otimes Z

exponentials of arbitrary length into circuits of constant depth using

\mathcal{O}(n)

ancillae and two-body XX and ZZ interactions. Consequently, a similar method works for arbitrary Pauli exponentials. We prove the correctness of our approach, after introducing novel rewrite rules for circuits which benefit from qubit recycling. The decomposition has a wide variety of applications ranging from the efficient implementation of fault-tolerant lattice surgery computations, to expressing arbitrary stabilizer circuits via two-body interactions only, parallel decoding of quantum error-correcting computations and to reducing the depth of NISQ computations, such as VQE.

Note:

expanded on applications and discussed nearest-neighbour constructions

References(39)

Figures(10)

[1]

Protecting quantum memories using coherent parity check codes

- Quantum Sci.Technol. 3 (2018) 3, 035010
•
DOI:
- 10.1088/2058-9565/aac64e

[2]

Improved Pairwise Measurement-Based Surface Code

Linnea Grans-Samuelsson
(
- Station Q, UCSB
)
,
Ryan V. Mishmash
(
- Station Q, UCSB
)
,
David Aasen
(
- Station Q, UCSB
)
,
Christina Knapp
(
- Station Q, UCSB
)
,
Bela Bauer
(
- Station Q, UCSB
)

et al.

- Quantum 8 (2024) 1429,
- Quantum 8 (2024) 1429
•
e-Print:
- 2310.12981
•
DOI:
- 10.22331/q-2024-08-02-1429

[3]

A Pair Measurement Surface Code on Pentagons

Craig Gidney
(
- Geodynamics, Santa Barbara
)

- Quantum 7 (2023) 1156,
- Quantum 7 (2023) 1156
•
e-Print:
- 2206.12780
•
DOI:
- 10.22331/q-2023-10-25-1156

[4]

A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery

Daniel Litinski
(
- Freie U., Berlin (main)
)

- Quantum 3 (2019) 128
•
e-Print:
- 1808.02892
•
DOI:
- 10.22331/q-2019-03-05-128

[5]

A High Performance Compiler for Very Large Scale Surface Code Computations

George Watkins
(
- Aalto U. and
- Simon Fraser U.
)
,
Hoang Minh Nguyen
(
- Simon Fraser U.
)
,
Keelan Watkins
(
- Simon Fraser U.
)
,
Steven Pearce
(
- Simon Fraser U.
)
,
Hoi-Kwan Lau
(
- Simon Fraser U.
)

et al.

- Quantum 8 (2024) 1354,
- Quantum 8 (2024) 1354
•
e-Print:
- 2302.02459
•
DOI:
- 10.22331/q-2024-05-22-1354

[6]

SSIP: automated surgery with quantum LDPC codes

Alexander Cowtan
(
- Oxford U. and
- Unlisted, UK
)

e-Print:
- 2407.09423

[7]

An adaptive variational algorithm for exact molecular simulations on a quantum computer

Harper R. Grimsley
(
- Virginia Tech.
)
,
Sophia E. Economou
(
- Virginia Tech.
)
,
Edwin Barnes
(
- Virginia Tech.
)
,
Nicholas J. Mayhall
(
- Virginia Tech.
)

- Nature Commun. 10 (2019) 3007,
- Nature Commun. 10 (2019) 3007
•
e-Print:
- 1812.11173
•
DOI:
- 10.1038/s41467-019-10988-2

[8]

Quantum algorithms for electronic structure calculations: Particle-hole Hamiltonian and optimized wave-function expansions

Panagiotis Kl. Barkoutsos
(
- IBM, Zurich and
- Zurich, ETH
)
,
Jerome F. Gonthier
(
- UC, Berkeley, Chem. Dept.
)
,
Igor Sokolov
(
- IBM, Zurich and
- Zurich, ETH
)
,
Nikolaj Moll
(
- IBM, Zurich
)
,
Gian Salis
(
- IBM, Zurich
)

et al.

- Phys.Rev.A 98 (2018) 2, 022322
•
DOI:
- 10.1103/PhysRevA.98.022322

[9]

Phase gadget synthesis for shallow circuits, in 16th International Conference on Quantum Physics and Logic(Open Publishing Association,) pp. 213-228

A. Cowtan
,
S. Dilkes
,
R. Duncan
,
W. Simmons
,
S. Sivarajah

[10]

Demonstration of a small programmable quantum computer with atomic qubits

et al.

- Nature 536 (2016) 63-66
•
DOI:
- 10.1038/nature18648

[11]

Single-step parity check gate set for quantum error correction

Gözde Üstün
(
- New South Wales U.
)
,
Andrea Morello
(
- New South Wales U.
)
,
Simon Devitt
(
- Sydney, U. Technol.
)

- Quantum Sci.Technol. 9 (2024) 3, 035037
•
e-Print:
- 2306.08849
•
DOI:
- 10.1088/2058-9565/ad473c

[12]

Pauli decomposition via the fast Walsh-Hadamard transform

Timothy N. Georges
(
- Unlisted, UK and
- Oxford U.
)
,
Bjorn K. Berntson
(
- Unlisted, UK
)
,
Christoph Sünderhauf
(
- Unlisted, UK
)
,
Aleksei V. Ivanov
(
- Unlisted, UK
)

- New J.Phys. 27 (2025) 3, 033004
•
e-Print:
- 2408.06206
•
DOI:
- 10.1088/1367-2630/adb44d

[13]

Optimally generating $\mathfrak{su}(2^N)$ using Pauli strings

Isaac D. Smith
(
- Innsbruck U.
)
,
Maxime Cautrès
(
- Innsbruck U. and
- Lyon, Ecole Normale Superieure
)
,
David T. Stephen
(
- Colorado U. and
- Caltech, IQI
)
,
Hendrik Poulsen Nautrup
(
- Innsbruck U.
)

e-Print:
- 2408.03294

[14]

A quantum annealing architecture with all-to-all connectivity from local interactions

W. Lechner
,
P. Hauke
,
P. Zoller

- Sci.Adv. 1 (2015) e1500838

[15]

Fault-tolerant resource estimation using graph-state compilation on a modular superconducting architecture

S.N. Saadatmand
(
- Rigetti Computing
)
,
Tyler L. Wilson
(
- Rigetti Computing
)
,
Mark Field
(
- Rigetti Computing and
- Sydney, U. Technol.
)
,
Madhav Krishnan Vijayan
(
- Sydney, U. Technol.
)
,
Thinh P. Le
(
- Sydney, U. Technol.
)

et al.

e-Print:
- 2406.06015

[16]

Surface Code Compilation via Edge-Disjoint Paths

Michael Beverland
(
- Microsoft, Redmond
)
,
Vadym Kliuchnikov
(
- Microsoft, Redmond
)
,
Eddie Schoute
(
- Joint Quantum Inst., College Park and
- Maryland U.
)

- PRX Quantum 3 (2022) 2, 020342
•
e-Print:
- 2110.11493
•
DOI:
- 10.1103/PRXQuantum.3.020342

[17]

Correlated Decoding of Logical Algorithms with Transversal Gates

Madelyn Cain
(
- Harvard U.
)
,
Chen Zhao
(
- Harvard U. and
- Unlisted, US
)
,
Hengyun Zhou
(
- Harvard U. and
- Unlisted, US
)
,
Nadine Meister
(
- Harvard U.
)
,
J. Pablo Bonilla Ataides
(
- Harvard U.
)

et al.

- Phys.Rev.Lett. 133 (2024) 24, 240602
•
e-Print:
- 2403.03272
•
DOI:
- 10.1103/PhysRevLett.133.240602

[18]

and J. van de Wetering, Circuit extraction for zx-diagrams can be# phard, in 49th International Colloquium on Automata, Languages, and Programming (ICALP) (SchlossDagstuhl-Leibniz Zentrum für Informatik,)