Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers

Trapped ions are a promising technology for building scalable quantum computers. Not only can they provide a high qubit quality, but they also enable modular architectures, referred to as Quantum Charge Coupled Device (QCCD) architecture. Within these devices, ions can be shuttled (moved) throughout...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the ASP-DAC ... Asia and South Pacific Design Automation Conference S. 127 - 133
Hauptverfasser: Schoenberger, Daniel, Hillmich, Stefan, Brandl, Matthias, Wille, Robert
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 22.01.2024
Schlagworte:
Architecture
Computers
Costs
Design automation
Quantum algorithm
quantum computing
Qubit
shuttling
Trapped ions
ISSN:2153-697X
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Trapped ions are a promising technology for building scalable quantum computers. Not only can they provide a high qubit quality, but they also enable modular architectures, referred to as Quantum Charge Coupled Device (QCCD) architecture. Within these devices, ions can be shuttled (moved) throughout the trap and through different dedicated zones, e.g., a memory zone for storage and a processing zone for the actual computation. However, this movement incurs a cost in terms of required time steps, which increases the probability of decoherence, and, thus, should be minimized. In this paper, we propose a formalization of the possible movements in ion traps via Boolean satisfiability. This formalization allows for determining the minimal number of time steps needed for a given quantum algorithm and device architecture, hence reducing the decoherence probability. An empirical evaluation confirms that-using the proposed approach-minimal results (i.e., the lower bound) can be determined for the first time. An open-source implementation of the proposed approach is publicly available at https://github.com/cda-tum/mqt-ion-shuttler.
AbstractList Trapped ions are a promising technology for building scalable quantum computers. Not only can they provide a high qubit quality, but they also enable modular architectures, referred to as Quantum Charge Coupled Device (QCCD) architecture. Within these devices, ions can be shuttled (moved) throughout the trap and through different dedicated zones, e.g., a memory zone for storage and a processing zone for the actual computation. However, this movement incurs a cost in terms of required time steps, which increases the probability of decoherence, and, thus, should be minimized. In this paper, we propose a formalization of the possible movements in ion traps via Boolean satisfiability. This formalization allows for determining the minimal number of time steps needed for a given quantum algorithm and device architecture, hence reducing the decoherence probability. An empirical evaluation confirms that-using the proposed approach-minimal results (i.e., the lower bound) can be determined for the first time. An open-source implementation of the proposed approach is publicly available at https://github.com/cda-tum/mqt-ion-shuttler.
Author Brandl, Matthias
Wille, Robert
Hillmich, Stefan
Schoenberger, Daniel
Author_xml – sequence: 1
  givenname: Daniel
  surname: Schoenberger
  fullname: Schoenberger, Daniel
  email: daniel.schoenberger@tum.de
  organization: Technical University of Munich,Chair for Design Automation,Germany
– sequence: 2
  givenname: Stefan
  surname: Hillmich
  fullname: Hillmich, Stefan
  email: stefan.hillmich@scch.at
  organization: Software Competence Center Hagenberg GmbH,Austria
– sequence: 3
  givenname: Matthias
  surname: Brandl
  fullname: Brandl, Matthias
  email: matthias.brandl@infineon.com
  organization: Infineon Technologies AG,Germany
– sequence: 4
  givenname: Robert
  surname: Wille
  fullname: Wille, Robert
  email: robert.wille@tum.de
  organization: Technical University of Munich,Chair for Design Automation,Germany
BookMark eNo1kMFLwzAYxaMoOGf_Aw_Be-fXJF_aHGedOhjo6AbeRtKmGmjT0qbg_nsn6uHx3uH33uFdkwvfeUvIXQKLJAF1vyze4sdljlmawYIBE4sERMoVsDMSqVRlHIErjgLPyYwlyGOp0vcrEo2jM4DIQQrEGdnuR-c_6EPXNVZ7Wujgxtpp4xoXjrTuBrr60mWgxecUQvODOk93g-57W8XrztPtpH2YWpp3bT8FO4w35LLWzWijP5-T_dNql7_Em9fndb7cxJqpLMSmZqgzadVJ1lZwClXFhEVkUtdGISu1tNoyBDBSCllWmQBjSoREloLzObn93XWn_qEfXKuH4-H_Bf4NsDVVOQ
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ASP-DAC58780.2024.10473902
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Architecture
Engineering
Computer Science
EISBN 9798350393545
EISSN 2153-697X
EndPage 133
ExternalDocumentID 10473902
Genre orig-research
GroupedDBID 6IE
6IF
6IL
6IN
AAWTH
ABLEC
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
M43
OCL
RIE
RIL
ID FETCH-LOGICAL-a298t-bf25a86e986eeed0e98dd24e5526afb952ca6eae2500b6646cd840bbc5016c433
IEDL.DBID RIE
ISICitedReferencesCount 8
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001196002900021&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Aug 27 02:09:02 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a298t-bf25a86e986eeed0e98dd24e5526afb952ca6eae2500b6646cd840bbc5016c433
PageCount 7
ParticipantIDs ieee_primary_10473902
PublicationCentury 2000
PublicationDate 2024-Jan.-22
PublicationDateYYYYMMDD 2024-01-22
PublicationDate_xml – month: 01
  year: 2024
  text: 2024-Jan.-22
  day: 22
PublicationDecade 2020
PublicationTitle Proceedings of the ASP-DAC ... Asia and South Pacific Design Automation Conference
PublicationTitleAbbrev ASP-DAC
PublicationYear 2024
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssib055306455
ssj0000502710
Score 1.9880416
Snippet Trapped ions are a promising technology for building scalable quantum computers. Not only can they provide a high qubit quality, but they also enable modular...
SourceID ieee
SourceType Publisher
StartPage 127
SubjectTerms Architecture
Computers
Costs
Design automation
Quantum algorithm
quantum computing
Qubit
shuttling
Trapped ions
Title Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers
URI https://ieeexplore.ieee.org/document/10473902
WOSCitedRecordID wos001196002900021&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwELWgYgCGQiniWx5Y0yZu4thjKVSwVK0KUrfKdq6iEiRVSRD8e85OAmVgYIhkZUisu8R35_N7j5BrppkRmAl7EhdgL4zi2NMxTzwdgG0zxYkJlRObiEcjMZvJcQVWd1gYAHCHz6Bjh66Xn2SmsFtlXUsrgDU6rrjbccxLsFb98Vj5Gx5WIMuS2BsrrqAmGg182e1Px95tfxCJWPhYGbKwUz_wl7SKiyzD5j_ndEDaPxg9Ov6OPodkC9IW2e9v9AVapFlrNtDqF26RvQ0CwiMycScG6E2WvYBK6dRBHZYldfcnxXyW3n0ok9Ppc5HnFrhOlynF8LZaockfspROCvRM8UrrF721ydPw7nFw71UiC55iUuSeXrBICQ4SL5yxj4MkYSFEEeNqoWXEjOKgAFMlX3MecpNgTai1iTBZNGGvd0waaZbCCaEy0RoTKACZRCEDJVSgjeY94NIo0QtOSdvab74qeTTmtenO_rh_Tnatl-yGB2MXpJGvC7gkO-YdbbG-ct7_Au13r3Y
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PT8IwFG4MmvjjgCLG3_bgdcC6rVuPiBCISCBgwo203SOS6EZwM_rf-zo2xYMHD0uaHbrmtet7r6_f9xFyyxTTAUbClsAN2HI937eUz0NL2WDKTH6oXZmJTfiDQTCdimEOVs-wMACQXT6Dmmlmtfww1qk5KqsbWgHM0XHH3TbSWTlcq1g-RgCHuznMck3tjTmXXVCN2g1Rb46H1n2z5QV-0MDckLm1ostf4iqZb-mU_zmqQ1L9QenR4bf_OSJbEFXIQXOjMlAh5UK1geY_cYXsb1AQHpNRdmeA3sXxC8iIjjOww2JN3v1JMaKl7Q-pEzp-TpPEQNfpIqLo4JZLNHovjugoxblJX2nxobcqeeq0J62ulcssWJKJILHUnHky4CDwwRE3sBGGzAXPY1zOlfCYlhwkYLDUUJy7XIeYFSqlPQwXtes4J6QUxRGcEipCpTCEAhCh5zKQgbSVVtwBLrQMHPuMVI39Zss1k8asMN35H-9vyG538tif9XuDhwuyZ2bMHH8wdklKySqFK7Kj39Euq-tsJXwBP7ayvw
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+ASP-DAC+...+Asia+and+South+Pacific+Design+Automation+Conference&rft.atitle=Using+Boolean+Satisfiability+for+Exact+Shuttling+in+Trapped-Ion+Quantum+Computers&rft.au=Schoenberger%2C+Daniel&rft.au=Hillmich%2C+Stefan&rft.au=Brandl%2C+Matthias&rft.au=Wille%2C+Robert&rft.date=2024-01-22&rft.pub=IEEE&rft.eissn=2153-697X&rft.spage=127&rft.epage=133&rft_id=info:doi/10.1109%2FASP-DAC58780.2024.10473902&rft.externalDocID=10473902