本論文では、フェルミオン系をより効率的に量子コンピューターで実行するための最適なフェルミオン-量子ビット符号化手法を提案している。
まず、フェルミオン系とクービット系の違いを説明し、フェルミオン-量子ビット符号化の重要性を示す。次に、符号化の制約条件と最適化目的を整理し、これらを論理式で表現することで、Boolean Satisfiability (SAT) 問題として定式化する。
さらに、SAT問題の解決に際して、指数的に増大する節の数を削減する2つの新しい手法を提案する。これにより、より大規模なフェルミオン系に対しても、近似的な最適解を効率的に見つけることができる。
評価実験では、提案手法が既存の手法に比べて、実装コスト、ゲート数、回路深さなどの大幅な削減を実現し、実デバイスでの高精度なシミュレーションを可能にすることを示している。
לשפה אחרת
מתוכן המקור
arxiv.org
תובנות מפתח מזוקקות מ:
by Yuhao Liu,Sh... ב- arxiv.org 03-27-2024
https://arxiv.org/pdf/2403.17794.pdfשאלות מעמיקות