論文の概要: Finding Photonics Circuits via $δ$-weakening SMT
- arxiv url: http://arxiv.org/abs/2509.11678v1
- Date: Mon, 15 Sep 2025 08:27:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-16 17:26:23.196321
- Title: Finding Photonics Circuits via $δ$-weakening SMT
- Title（参考訳）: δ$-weakening SMTによるフォトニクス回路の探索
- Authors: Marco Lewis, Benoît Valiron,
- Abstract要約: フォトニックスに基づく量子コンピュータの場合、主な問題は量子コンピューティングゲートをエミュレートするフォトニック回路の合成である。
本稿では、デルタウェイキングSMTソルバであるdRealを用いて、そのようなフォトニック回路を発見し、発生確率を最適化し、結果が最適であることを保証するツールを提案する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: For quantum computers based on photonics, one main problem is the synthesis of a photonic circuit that emulates quantum computing gates. The problem requires using photonic components to build a circuit that act like a quantum computing gate with some probability of success. This involves not only finding a circuit that can correctly act like a quantum gate, but also optimizing the probability of success. Whilst many approaches have been given in the past and applied to specific gates, they often lack ease of reusability. We present a tool that uses dReal, a {\delta}-weakening SMT solver, to find such photonic circuits, optimize the likelihood of occurring, and provide some guarantee that the result is optimal. We demonstrate the usage of our tool by recreating known results in the literature, extending upon them, and presenting new results for Givens rotation gates.
- Abstract（参考訳）: フォトニックスに基づく量子コンピュータの場合、主な問題は量子コンピューティングゲートをエミュレートするフォトニック回路の合成である。
問題は、量子コンピューティングゲートのように機能する回路を構築するためにフォトニックコンポーネントを使用する必要がある。
これは、量子ゲートのように正しく動作できる回路を見つけるだけでなく、成功の確率を最適化する。
過去に多くのアプローチが与えられ、特定のゲートに適用されてきたが、再利用性に欠けることが多い。
本稿では,差分式SMTソルバであるdRealを用いて,そのようなフォトニック回路を発見し,発生確率を最適化し,その結果が最適であることを示すツールを提案する。
本稿では,文献中の既知の結果を再現し,その上に拡張し,ギフト回転ゲートに新たな結果を提示することにより,ツールの利用を実証する。
関連論文リスト
- Optimization and Synthesis of Quantum Circuits with Global Gates [44.99833362998488]
我々は、イオントラップハードウェアに存在するGlobal Molmer-Sorensenゲートのようなグローバルな相互作用を用いて量子回路を最適化し、合成する。
このアルゴリズムはZX計算に基づいており、係留ゲートをGlobal MolmerSorensenゲートにグループ化する特別な回路抽出ルーチンを使用する。
我々は,このアルゴリズムを様々な回路でベンチマークし,最新ハードウェアによる性能向上の方法を示す。
論文 参考訳（メタデータ） (2025-07-28T10:25:31Z) - Implementing multi-controlled X gates using the quantum Fourier transform [0.0]
本稿では,多くの複雑な量子ゲートの実装において,量子演算に基づくアプローチを効果的に利用する方法を示す。
回路の深さがわずか数個のアシラ量子ビットで大幅に低減されることを示す。
論文 参考訳（メタデータ） (2024-07-25T13:22:00Z) - Quantum Compiling with Reinforcement Learning on a Superconducting Processor [55.135709564322624]
超伝導プロセッサのための強化学習型量子コンパイラを開発した。
短絡の新規・ハードウェア対応回路の発見能力を示す。
本研究は,効率的な量子コンパイルのためのハードウェアによるソフトウェア設計を実証する。
論文 参考訳（メタデータ） (2024-06-18T01:49:48Z) - FragQC: An Efficient Quantum Error Reduction Technique using Quantum
Circuit Fragmentation [4.2754140179767415]
誤差確率が一定の閾値を超えると、量子回路をサブ回路に切断するソフトウェアツールであるFragQCを提示する。
回路を切断せずに直接実行した場合の忠実度は14.83%増加し、8.45%が最先端のICP法である。
論文 参考訳（メタデータ） (2023-09-30T17:38:31Z) - Efficient estimation of trainability for variational quantum circuits [43.028111013960206]
変動量子回路のコスト関数とその分散を効率よく計算する方法を見出した。
この方法は、変分量子回路のトレーニング容易性を証明し、バレンプラトー問題を克服できる設計戦略を探索するために用いられる。
論文 参考訳（メタデータ） (2023-02-09T14:05:18Z) - Quantum circuit debugging and sensitivity analysis via local inversions [62.997667081978825]
本稿では,回路に最も影響を及ぼす量子回路の断面をピンポイントする手法を提案する。
我々は,IBM量子マシン上に実装されたアルゴリズム回路の例に応用して,提案手法の実用性と有効性を示す。
論文 参考訳（メタデータ） (2022-04-12T19:39:31Z) - Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。
量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。
提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
論文 参考訳（メタデータ） (2021-06-06T13:15:25Z) - Quantum Gate Pattern Recognition and Circuit Optimization for Scientific
Applications [1.6329956884407544]
回路最適化のための2つのアイデアを導入し、AQCELと呼ばれる多層量子回路最適化プロトコルに組み合わせる。
AQCELは、高エネルギー物理学における最終状態の放射をモデル化するために設計された反復的で効率的な量子アルゴリズム上に展開される。
我々の手法は汎用的であり、様々な量子アルゴリズムに有用である。
論文 参考訳（メタデータ） (2021-02-19T16:20:31Z) - On the realistic worst case analysis of quantum arithmetic circuits [69.43216268165402]
量子回路の設計における直観は誤解を招く可能性があることを示す。
また,T数を減らすことで,全深度を増大させることができることを示した。
リップルキャリーを用いた加算回路と乗算回路について述べる。
論文 参考訳（メタデータ） (2021-01-12T21:36:16Z) - 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) - Fast optimization of parametrized quantum optical circuits [0.0]
パラメタライズド量子光学回路は、量子情報のキャリアが光子であり、ゲートが光変換される量子回路の一種である。
ガウス作用素の正確な行列要素とその勾配を計算するアルゴリズムを提案する。
量子光学ハードウェアの研究、量子機械学習、光学データ処理、デバイス発見、デバイス設計に応用する。
論文 参考訳（メタデータ） (2020-04-23T07:02:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。