論文の概要: Quokka#: Quantum Computing with #SAT

• arxiv url: http://arxiv.org/abs/2605.16509v1
• Date: Fri, 15 May 2026 18:05:47 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-19 17:57:46.592362
• Title: Quokka#: Quantum Computing with #SAT
• Title（参考訳）: Quokka#: #SATによる量子コンピューティング
• Authors: Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman,
• Abstract要約: Quokka#は、量子回路分析のための汎用的でオープンソースのPythonライブラリである。 各種シミュレーション,検証,合成タスクを重み付きモデルカウント(#SAT)に削減する
• 参考スコア（独自算出の注目度）: 0.07249400282852114
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present Quokka#, a versatile, open-source Python library for quantum circuit analysis. Quokka# reduces various simulation, verification, and synthesis tasks to weighted model counting (#SAT). It supports universal quantum circuits and a wide variety of gates. Quokka# provides multiple encodings based on different algebraic bases and equivalence-checking methods, enabling key performance trade-offs. Moreover, the new version of Quokka# adds approximate equivalence checking, which is crucial in its synthesis algorithms, since it enables translation between arbitrary gate sets. Its synthesis engine is depth-optimal, making it well-suited to real-world quantum computing. This paper demonstrates the design, extensibility, and use of Quokka#.
• Abstract（参考訳）: 我々はQuokka#を紹介した。Quokka#は、量子回路解析のための汎用的でオープンソースのPythonライブラリである。 Quokka#は、様々なシミュレーション、検証、合成タスクを重み付けされたモデルカウント(#SAT)に還元する。 普遍量子回路と多種多様なゲートをサポートしている。 Quokka#は、異なる代数ベースと等価チェックメソッドに基づいて複数のエンコーディングを提供し、主要なパフォーマンストレードオフを可能にする。 さらに、Quokka#の新バージョンでは、任意のゲートセット間の変換を可能にするため、その合成アルゴリズムにおいて重要な、近似同値チェックが追加されている。 その合成エンジンは深さ最適であり、現実世界の量子コンピューティングに適している。 本稿では、Quokka#の設計、拡張性、使用方法を示す。

関連論文リスト

• All you need is controlled-V: universality of a standard two-qubit gate by catalytic embedding [0.0]
  不均等に強力な命令を含むゲート集合は、量子計算力の源を隠蔽する。 制御されたV$ゲートは単純な2量子ビットの相互作用であり、普遍的な量子普遍性を実現するのに十分である。 触媒の埋め込みと、必要な資源状態を生成する手順に基づいて、我々は標準の普遍ゲートセットを一定のオーバーヘッドでシミュレートする。
  論文  参考訳（メタデータ） (2025-09-09T10:42:02Z)
• An Efficient Quantum Classifier Based on Hamiltonian Representations [50.467930253994155]
  量子機械学習(QML)は、量子コンピューティングの利点をデータ駆動タスクに移行しようとする分野である。 入力をパウリ弦の有限集合にマッピングすることで、データ符号化に伴うコストを回避できる効率的な手法を提案する。 我々は、古典的および量子モデルに対して、テキストおよび画像分類タスクに対する我々のアプローチを評価する。
  論文  参考訳（メタデータ） (2025-04-13T11:49:53Z)
• AriaQuanta: A Quantum Software for Quantum Computing [0.0]
  AriaQuantaは量子回路の設計、シミュレーション、実装のための強力なツールである。 最初のバージョンには、様々な量子回路とアルゴリズムを実装するコンパイラが含まれている。 量子アルゴリズムや雑音回路など,AriaQuantaの数値シミュレーションを行った。
  論文  参考訳（メタデータ） (2025-04-08T13:27:58Z)
• Tangelo: An Open-source Python Package for End-to-end Chemistry Workflows on Quantum Computers [85.21205677945196]
  Tangelo(タンジェロ)は、量子コンピュータ上でエンドツーエンド化学を開発するためのオープンソースのPythonソフトウェアパッケージである。 量子ハードウェアで成功した実験の設計を支援し、量子アルゴリズムの発展を促進することを目的としている。
  論文  参考訳（メタデータ） (2022-06-24T17:44:00Z)
• Universal Parity Quantum Computing [0.0]
  論理制御位相ゲートと$R_z$ローテーションは、単一キュービット演算のパリティ符号化で実装可能であることを示す。 本稿では,部分的オンザフライ符号化と復号化により,異なる符号化変種を切り替える手法を提案する。
  論文  参考訳（メタデータ） (2022-05-19T12:21:23Z)
• Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus [55.2480439325792]
  量子計算のコヒーレント制御は、いくつかの量子プロトコルやアルゴリズムを改善するために使用できる。 我々は、量子光学にインスパイアされたコヒーレント制御のためのグラフィカル言語PBS計算を洗練する。
  論文  参考訳（メタデータ） (2022-02-10T18:59:52Z)
• TensorLy-Quantum: Quantum Machine Learning with Tensor Methods [67.29221827422164]
  PyTorch APIを採用した量子回路シミュレーションのためのPythonライブラリを作成します。 Ly-Quantumは、単一のGPU上で数百のキュービット、複数のGPU上で数千のキュービットにスケールすることができる。
  論文  参考訳（メタデータ） (2021-12-19T19:26:17Z)
• QuantumCircuitOpt: An Open-source Framework for Provably Optimal Quantum Circuit Design [0.0]
  我々は,任意のユニタリゲートをハードウェアネイティブゲート列に分解する数学的最適化とアルゴリズムを実装した,新しいオープンソースフレームワークQuantumCircuitOptを提案する。 QCOptは、最大4キュービットの回路上で必要ゲート数を最大57%削減し、コモディティコンピューティングハードウェア上では数分未満で実行可能であることを示す。 また、IBMやRigetti、Googleなど、さまざまなハードウェアプラットフォームに基づいて、QCOptパッケージをさまざまな組み込みネイティブゲートセットに適合させる方法も示しています。
  論文  参考訳（メタデータ） (2021-11-23T06:45:40Z)
• Extending Python for Quantum-Classical Computing via Quantum Just-in-Time Compilation [78.8942067357231]
  Pythonは、その柔軟性、ユーザビリティ、可読性、開発者の生産性を重視することで有名な人気のあるプログラミング言語です。 量子ジャスト・イン・タイム・コンパイルのための堅牢なC++インフラストラクチャを通じて、異種量子古典計算を可能にするPythonの言語拡張を提案する。
  論文  参考訳（メタデータ） (2021-05-10T21:11:21Z)
• QUANTIFY: A framework for resource analysis and design verification of quantum circuits [69.43216268165402]
  QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。 Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。 ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
  論文  参考訳（メタデータ） (2020-07-21T15:36:25Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。