論文の概要: Reproducible Builds for Quantum Computing

• arxiv url: http://arxiv.org/abs/2510.02251v1
• Date: Thu, 02 Oct 2025 17:38:40 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-03 16:59:21.258556
• Title: Reproducible Builds for Quantum Computing
• Title（参考訳）: 量子コンピューティングのための再現可能なビルド
• Authors: Iyán Méndez Veiga, Esther Hänggi,
• Abstract要約: 本稿では,量子コンピューティングと再現可能なビルドコミュニティのギャップを埋めることを目的としている。 本稿では、量子環境における再現可能なビルドの定義の一般化を提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Reproducible builds are a set of software development practices that establish an independently verifiable path from source code to binary artifacts, helping to detect and mitigate certain classes of supply chain attacks. Although quantum computing is a rapidly evolving field of research, it can already benefit from adopting reproducible builds. This paper aims to bridge the gap between the quantum computing and reproducible builds communities. We propose a generalization of the definition of reproducible builds in the quantum setting, motivated by two threat models: one targeting the confidentiality of end users' data during circuit preparation and submission to a quantum computer, and another compromising the integrity of quantum computation results. This work presents three examples that show how classical information can be hidden in transpiled quantum circuits, and two cases illustrating how even minimal modifications to these circuits can lead to incorrect quantum computation results. Our work provides initial steps towards a framework for reproducibility in quantum software toolchains.
• Abstract（参考訳）: 再現可能なビルドは、ソースコードからバイナリアーティファクトへの独立して検証可能なパスを確立する一連のソフトウェア開発プラクティスであり、特定のサプライチェーン攻撃の検出と緩和に役立つ。 量子コンピューティングは急速に進歩する研究分野であるが、再現可能なビルドを採用することで既に利益を得ることができる。 本稿では,量子コンピューティングと再現可能なビルドコミュニティのギャップを埋めることを目的としている。 本稿では、回路準備中のエンドユーザーのデータの機密性を目標とし、量子コンピュータに送信する2つの脅威モデルと、量子計算結果の完全性を補完する2つの脅威モデルにより、再現可能なビルドの定義を一般化することを提案する。 この研究は、古典的な情報が量子回路にどのように隠されるかを示す3つの例と、これらの回路への最小限の変更がいかに誤った量子計算結果をもたらすかを示す2つの事例を示す。 私たちの研究は、量子ソフトウェアツールチェーンの再現性のためのフレームワークに向けた最初のステップを提供します。

関連論文リスト

• The curse of random quantum data [62.24825255497622]
  量子データのランドスケープにおける量子機械学習の性能を定量化する。 量子機械学習におけるトレーニング効率と一般化能力は、量子ビットの増加に伴い指数関数的に抑制される。 この結果は量子カーネル法と量子ニューラルネットワークの広帯域限界の両方に適用できる。
  論文  参考訳（メタデータ） (2024-08-19T12:18:07Z)
• Optimizing quantum circuits with evolutionary algorithms for stable Boolean gates, elementary cellular automata, and highly entangled quantum states [0.5219568203653523]
  量子回路設計におけるバイオインスパイアされた進化的アルゴリズムの可能性について検討する。 我々は、異なる数の量子ゲートに対するセルオートマトンによる量子実装のロバスト性をテストする。 進化的アルゴリズムを用いて、マイヤー・ワラッハの絡み合い尺度で定義された適合関数に対して回路を最適化する。
  論文  参考訳（メタデータ） (2024-08-01T10:36:38Z)
• QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum Circuits [82.50620782471485]
  QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。 1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。 提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
  論文  参考訳（メタデータ） (2024-01-10T22:33:00Z)
• Demonstration of a Hardware-Independent Toolkit for Automated Quantum Subcircuit Synthesis [2.828466685313335]
  本稿では、合成、コンパイル、最適化のための自動量子ソフトウェアツールキットについて述べる。 古典的に特定され、不可逆な関数を、技術に依存しない量子回路と技術に依存した量子回路に変換する。 我々は、量子読み取り専用メモリ、量子乱数生成器、量子オラクルの3つの状況におけるツールキットの応用について記述し、分析する。
  論文  参考訳（メタデータ） (2023-09-02T21:46:38Z)
• The QUATRO Application Suite: Quantum Computing for Models of Human Cognition [49.038807589598285]
  量子コンピューティング研究のための新しい種類のアプリケーション -- 計算認知モデリング -- をアンロックします。 我々は、認知モデルから量子コンピューティングアプリケーションのコレクションであるQUATROをリリースする。
  論文  参考訳（メタデータ） (2023-09-01T17:34:53Z)
• Quantivine: A Visualization Approach for Large-scale Quantum Circuit Representation and Analysis [31.203764035373677]
  我々は量子回路の探索と理解のための対話型システムQuantivineを開発した。 一連の新しい回路視覚化は、キュービットの証明、並列性、絡み合いなどのコンテキストの詳細を明らかにするように設計されている。 Quantivineの有効性は、最大100キュービットの量子回路の2つの利用シナリオを通して示される。
  論文  参考訳（メタデータ） (2023-07-18T04:51:28Z)
• Long-Time Error-Mitigating Simulation of Open Quantum Systems on Near Term Quantum Computers [38.860468003121404]
  本研究では,最大2千個のエンタングゲートを含むディープ回路においても,ハードウェアエラーに対する堅牢性を示す量子ハードウェア上でのオープン量子システムシミュレーションについて検討する。 我々は, 無限の熱浴に結合した2つの電子系をシミュレートする: 1) 駆動電界における放散自由電子系, 2) 磁場中の単一軌道における2つの相互作用電子の熱化 - ハバード原子。 この結果から, 開放量子系シミュレーションアルゴリズムは, ノイズの多いハードウェア上で, 同様に複雑な非散逸性アルゴリズムをはるかに上回ることができることを示した。
  論文  参考訳（メタデータ） (2021-08-02T21:36:37Z)
• Depth-efficient proofs of quantumness [77.34726150561087]
  量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。 本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
  論文  参考訳（メタデータ） (2021-07-05T17:45:41Z)
• Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow [7.619626059034881]
  本稿では,量子回路等価性チェックのための効率的な手法を提案する。 提案方式では,数万の操作を数秒以下で行う大規模回路インスタンスの検証が可能となる。
  論文  参考訳（メタデータ） (2020-09-04T19:58:53Z)
• 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)

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

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