量子コンピュータは電力潮流計算を高速化できない――形式検証付きで示された「量子優位性の限界」
要約
本論文は、現実の電力網が持つ構造的性質が「サセプタンス行列」の条件数を多項式的・二次的に増大させることを証明し、DC潮流計算をはじめとする電力潮流問題で量子コンピュータの優位性が成立しないことを示しました。すべての証明はLean 4による形式検証が付されており、量子優位性の限界を厳密に確立した反証的成果です。
