Decision Diagrams for Symbolic Verification of Quantum Circuits

Hong, X; Huang, W-J; Chien, W-C; Feng, Y; Hsieh, M-H; Li, S; Yeh, C-S; Ying, M

Decision Diagrams for Symbolic Verification of Quantum Circuits

Hong, X Huang, W-J Chien, W-C Feng, Y

Hsieh, M-H Li, S

Yeh, C-S Ying, M

Permalink

Publisher:: IEEE
Publication Type:: Conference Proceeding
Citation:: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2023, 1, pp. 970-977
Issue Date:: 2023-11-30

Embargoed

	Filename	Description	Size
	Decision Diagrams for Symbolic Verification of Quantum Circuits.pdf	Accepted version	555.09 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Embargoed
Open Access

This item is currently unavailable due to the publisher's embargo.

The embargo period expires on 30 Nov 2025

Full metadata record

Field	Value	Language
dc.contributor.author	Hong, X
dc.contributor.author	Huang, W-J
dc.contributor.author	Chien, W-C
dc.contributor.author	Feng, Y https://orcid.org/0000-0002-3097-3896
dc.contributor.author	Hsieh, M-H
dc.contributor.author	Li, S https://orcid.org/0000-0002-3332-2546
dc.contributor.author	Yeh, C-S
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X
dc.contributor.editor	Cour, BL
dc.contributor.editor	Yeh, L
dc.contributor.editor	Osinski, M
dc.date	2023-09-17
dc.date.accessioned	2024-01-31T21:30:54Z
dc.date.available	2024-01-31T21:30:54Z
dc.date.issued	2023-11-30
dc.identifier.citation	2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2023, 1, pp. 970-977
dc.identifier.isbn	9798350343236
dc.identifier.uri	http://hdl.handle.net/10453/175154
dc.description.abstract	With the rapid development of quantum computing automatic verification of quantum circuits becomes more and more important While several decision diagrams DDs have been introduced in quantum circuit simulation and verification none of them supports symbolic computation Algorithmic manipulations of symbolic objects however have been identified as crucial if not indispensable for several verification tasks This paper proposes the first decision diagram approach for operating symbolic objects and verifying quantum circuits with symbolic terms As a notable example our symbolic tensor decision diagrams symbolic TDD could verify the functionality of the 160 qubit quantum Fourier transform circuit within three minutes Moreover as demonstrated on Bernstein Vazirani algorithm Grover s algorithm and the bit flip error correction code the symbolic TDD enables efficient verification of quantum circuits with user supplied oracles and or classical controls
dc.language	en
dc.publisher	IEEE
dc.relation	http://purl.org/au-research/grants/arc/DP220102059
dc.relation.ispartof	2023 IEEE International Conference on Quantum Computing and Engineering (QCE)
dc.relation.ispartof	2023 IEEE International Conference on Quantum Computing and Engineering
dc.relation.isbasedon	10.1109/qce57702.2023.00111
dc.rights	info:eu-repo/semantics/embargoedAccess
dc.title	Decision Diagrams for Symbolic Verification of Quantum Circuits
dc.type	Conference Proceeding
utslib.citation.volume	1
utslib.location.activity	Bellevue, WA, USA
pubs.organisational-group	University of Technology Sydney
pubs.organisational-group	University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	embargoed	*
utslib.copyright.embargo	2025-11-30T00:00:00+1000Z
dc.date.updated	2024-01-31T21:30:53Z
pubs.finish-date	2023-09-22
pubs.publication-status	Published
pubs.start-date	2023-09-17
pubs.volume	1

Abstract:

With the rapid development of quantum computing automatic verification of quantum circuits becomes more and more important While several decision diagrams DDs have been introduced in quantum circuit simulation and verification none of them supports symbolic computation Algorithmic manipulations of symbolic objects however have been identified as crucial if not indispensable for several verification tasks This paper proposes the first decision diagram approach for operating symbolic objects and verifying quantum circuits with symbolic terms As a notable example our symbolic tensor decision diagrams symbolic TDD could verify the functionality of the 160 qubit quantum Fourier transform circuit within three minutes Moreover as demonstrated on Bernstein Vazirani algorithm Grover s algorithm and the bit flip error correction code the symbolic TDD enables efficient verification of quantum circuits with user supplied oracles and or classical controls

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/175154