本論文は、量子回路設計の効率化に関する新しい最適化モデルを提案している。
まず、量子コンピューティングの基礎概念と、可逆ブール関数の実装に用いられる多重制御トフォリ(MCT)ゲートについて説明している。MCT回路の量子コストを最小化することが本問題の目的である。
次に、新しい最適化モデルを提案する。このモデルは、状態遷移をネットワークフローで表現し、回路設計変数と接続する。さらに、対称性除去制約を導入することで、解探索を効率化している。
実験では、最大7量子ビットまでの問題に対して、従来手法と比べて大幅な高速化を実現している。特に、制約プログラミングソルバーを用いた場合に顕著な性能向上が見られる。また、一部の大規模問題では、既知の最良回路を改善する新しい回路を見出すことができた。
最後に、他の手法との比較を行い、最適化モデルは時間がかかる一方で、最適性保証付きの優れた回路を提供できることを示している。
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Jihye Jung,K... at arxiv.org 04-23-2024
https://arxiv.org/pdf/2404.14384.pdfDeeper Inquiries