論文の概要: Optimal transducers using symmetries
- arxiv url: http://arxiv.org/abs/2610.02133v1
- Date: Thu, 01 Oct 2026 17:43:02 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-03 01:19:24.349194
- Title: Optimal transducers using symmetries
- Title(参考訳): 対称性を用いた最適トランスデューサ
- Abstract要約: トランスデューサ(Transducer)は、量子アルゴリズムを入力状態をターゲット状態に変換するユニタリとして記述する量子コンピューティングフレームワークである。
状態変換問題の対称性群を用いることで、両方のステップが単純化されることを示す。
我々は、様々な広く使われている量子アルゴリズムプリミティブに対して最適な定数を持つ最適なトランスデューサを導出する。
- 参考スコア(独自算出の注目度): 0.03499870393443267
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Transducers (Belovs, Jeffery and Yolcu, 2024) are a quantum computing framework describing a quantum algorithm as a unitary converting an input state into a target state using a catalyst, an auxiliary vector that is left unchanged. They are a powerful tool in quantum algorithm design, especially in the context of quantum query complexity: feasible points of the (dual) adversary semidefinite program directly translate into transducers and the optimal transduction complexity is equal to the adversary bound, i.e. the Las Vegas complexity, which is known to characterize bounded-error quantum query complexity. Moreover, contrary to bounded-error algorithms, transducers compose exactly, which limits overheads due to controlling errors in algorithms constructed by composition. Constructing efficient, let alone optimal, transducers in terms of quantum query complexity nevertheless remains a hard task since it still requires solving the adversary SDP and constructing the unitary to obtain an explicit algorithm. In this paper, we show how using the symmetry group of state-conversion problems simplifies both steps. First, using a symmetrization argument, we prove an optimal catalyst can always be chosen covariant under a representation of the symmetry group. Second, we prove that the transducer intertwines two different representations of the group and can thus be chosen block diagonal in the isotypic decomposition of the Hilbert space. Using those methods, we then derive optimal transducers, with optimal constants, for different widely used quantum algorithmic primitives, such as unstructured search, amplitude amplification and amplitude estimation. Our approach extends previous work on the use of representation theory to compute adversary lower bounds (Høyer, Lee, and {\v S}palek, 2007; Ambainis, Magnin, Roetteler and Roland, 2011) to the systematic construction of optimal algorithms.
- Abstract(参考訳): Transducers (Belovs, Jeffery and Yolcu, 2024) は、量子アルゴリズムを記述する量子コンピューティングフレームワークである。
これらは量子アルゴリズム設計において強力なツールであり、特に量子クエリの複雑性の文脈において、(二重)逆半定プログラムの実現可能な点は直接トランスデューサに変換され、最適なトランスダクションの複雑さは逆境界、すなわち、境界付きエラー量子量子クエリの複雑さを特徴づけることで知られるラスベガス複雑性に等しい。
さらに、有界エラーアルゴリズムとは対照的に、トランスデューサは正確に構成され、合成によって構築されたアルゴリズムのエラー制御によるオーバーヘッドを制限する。
量子クエリの複雑性の観点から効率的なトランスデューサを構築することは、しかしながら、敵のSDPを解決し、明示的なアルゴリズムを得るためにユニタリを構築する必要があるため、依然として難しい作業である。
本稿では,状態変換問題の対称性群を用いることで,両方のステップを単純化する方法について述べる。
まず、対称性論を用いて、最適触媒は常に対称性群の表現の下で共変を選択可能であることを証明する。
第二に、トランスデューサが群の2つの異なる表現と交わり、したがってヒルベルト空間の同型分解においてブロック対角線を選択することができることを証明する。
これらの手法を用いて、非構造化探索、振幅増幅、振幅推定など、広く使われている様々な量子アルゴリズムプリミティブに対して最適な定数を持つ最適トランスデューサを導出する。
我々のアプローチは、最適アルゴリズムの体系的構築に、逆下界(Høyer, Lee, and {\v S}palek, 2007; Ambainis, Magnin, Roetteler and Roland, 2011)を計算するための表現理論の使用に関する以前の研究を拡張した。
関連論文リスト
- Encoding Matters: Benchmarking Binary and D-ary Representations for Quantum Combinatorial Optimization [1.3824488054100907]
本研究では,D-ary Optimization (QUDO) を,高次元ヒルベルト空間において決定変数を直接符号化する代替の定式化として検討する。
本研究では,QUDOがトラベリングセールスマン問題,グラフカラー化,ジョブスケジューリング,Max-K-Cutなど,広範なペナルティ構築を必要とせずに,様々な問題クラスにおいて構造的制約を自然に捉えていることを示す。
本研究は、量子最適化のためのスケーラブルで表現力のある表現としてQUDOを強調し、近似比を一貫して改善し、等価回路深さでの計算オーバーヘッドを大幅に削減することを示した。
論文 参考訳(メタデータ) (2026-02-07T04:37:32Z) - Algebraic Reduction to Improve an Optimally Bounded Quantum State Preparation Algorithm [0.6875312133832078]
n$-qubit量子状態の合成は、多くの量子アルゴリズムのための横断的なサブルーチンである。
より単純な代数的分解は、所望状態の実際の部分の準備を複素状態から分離するために提案される。
複雑性の低減は、元の分解で3つではなく、各一様に制御されたゲートに対して1つの演算子$$を使用するためである。
論文 参考訳(メタデータ) (2026-02-06T09:40:09Z) - Measurement-driven Quantum Approximate Optimization [2.5514179157254877]
最近提案された手法では、アンシラ量子ビットと制御されたユニタリ演算子を用いて、想像時間進化に関する弱い測定を実装している。
まず、古典的な問題に特有のいくつかの特性を生かして、アルゴリズムを正確から近似的な最適化に一般化する。
本稿では,制約付き最適化の設定にパラダイムを適応させる方法について述べる。
論文 参考訳(メタデータ) (2025-12-24T08:27:32Z) - Entanglement-induced exponential advantage in amplitude estimation via state matrixization [11.282486674587236]
量子振幅の推定(または2つの量子状態間の重なり合い)は、量子コンピューティングの基本的な課題である。
本稿では,純粋状態から行列形式への変換による量子振幅推定のための新しいアルゴリズムフレームワークを提案する。
我々は,チャネルブロック符号化と呼ばれる手法を用いて,新しい行列化フレームワーク内で振幅推定アルゴリズムを再構成する。
論文 参考訳(メタデータ) (2024-08-25T04:35:53Z) - Taming Quantum Time Complexity [45.867051459785976]
時間複雑性の設定において、正確さと遠心性の両方を達成する方法を示します。
我々は、トランスデューサと呼ばれるものに基づく量子アルゴリズムの設計に新しいアプローチを採用する。
論文 参考訳(メタデータ) (2023-11-27T14:45:19Z) - Sample Complexity for Quadratic Bandits: Hessian Dependent Bounds and
Optimal Algorithms [64.10576998630981]
最適なヘッセン依存型サンプルの複雑さを, 初めて厳密に評価した。
ヘシアン非依存のアルゴリズムは、すべてのヘシアンインスタンスに対して最適なサンプル複雑さを普遍的に達成する。
本アルゴリズムにより得られたサンプルの最適複雑さは,重み付き雑音分布においても有効である。
論文 参考訳(メタデータ) (2023-06-21T17:03:22Z) - Automatic and effective discovery of quantum kernels [41.61572387137452]
量子コンピューティングは、カーネルマシンが量子カーネルを利用してデータ間の類似度を表現できるようにすることで、機械学習モデルを強化することができる。
本稿では,ニューラルアーキテクチャ検索やAutoMLと同じような最適化手法を用いて,この問題に対するアプローチを提案する。
その結果、高エネルギー物理問題に対する我々のアプローチを検証した結果、最良のシナリオでは、手動設計のアプローチに関して、テストの精度を一致または改善できることが示された。
論文 参考訳(メタデータ) (2022-09-22T16:42:14Z) - Quantum State Preparation and Non-Unitary Evolution with Diagonal
Operators [0.0]
単元量子デバイス上での非単元演算をシミュレートするダイレーションに基づくアルゴリズムを提案する。
このアルゴリズムを用いて、高忠実度量子デバイス上でランダムな準正規化された2レベル状態を作成する。
また,2レベル開放量子系の正確な非単位的ダイナミクスを,量子デバイス上で計算されたデファーシングチャネルと振幅減衰チャネルに提示する。
論文 参考訳(メタデータ) (2022-05-05T17:56:41Z) - Adaptive pruning-based optimization of parameterized quantum circuits [62.997667081978825]
Variisyハイブリッド量子古典アルゴリズムは、ノイズ中間量子デバイスの使用を最大化する強力なツールである。
我々は、変分量子アルゴリズムで使用されるそのようなアンサーゼを「効率的な回路訓練」(PECT)と呼ぶ戦略を提案する。
すべてのアンサッツパラメータを一度に最適化する代わりに、PECTは一連の変分アルゴリズムを起動する。
論文 参考訳(メタデータ) (2020-10-01T18:14:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。