論文の概要: A Catalytic Algorithm for Transposing Unknown Qutrit Unitaries with Tight Query Bounds
- arxiv url: http://arxiv.org/abs/2610.12664v1
- Date: Thu, 08 Oct 2026 19:42:10 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-13 04:06:29.259541
- Title: A Catalytic Algorithm for Transposing Unknown Qutrit Unitaries with Tight Query Bounds
- Title(参考訳): タイトなクエリ境界を持つ未知のクエトリユニタリの変換アルゴリズム
- Abstract要約: 未知のクォート単位である$UinmathrmSU(3)$を前方クエリのみを用いて変換・反転するための正確な決定論的回路を構築する。
未知の$UinmathrmSU(d)$, $dge2$の正確な変換とインバージョンには,少なくとも$d+1$と$d2-1$の処理クエリが必要です。
- 参考スコア(独自算出の注目度): 1.0152838128195467
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We construct exact deterministic circuits for transposing and inverting an unknown qutrit unitary $U\in\mathrm{SU}(3)$ using only forward queries. Three queries prepare a catalyst independently of the input state. Four further queries implement transposition while returning the catalyst unchanged and uncorrelated with the output. Two uses within an antisymmetric encoding implement inversion with eight processing queries and return the same catalyst. Reusing the catalyst implements $m$ transpositions or inversions with $3+4m$ or $3+8m$ total queries, respectively. More generally, we prove that exact transposition and inversion of an unknown $U\in\mathrm{SU}(d)$, $d\ge2$, require at least $d+1$ and $d^2-1$ processing queries, respectively, in fixed causal order. These processing bounds hold for any program state prepared independently of the input state using finitely many forward queries, even if that state is consumed during processing. Both our catalytic qutrit algorithms attain their respective bounds. Moreover, exact qutrit transposition with four processing queries requires at least three preparation queries, and our construction attains this bound.
- Abstract(参考訳): 未知のクォート単位である$U\in\mathrm{SU}(3)$を前方クエリのみを用いて変換・反転するための正確な決定論的回路を構築する。
3つのクエリは、入力状態とは独立して触媒を作成する。
さらに4つのクエリが変換を実装し、触媒は変化せず、出力とは無関係である。
反対称符号化の2つの用途は、8つの処理クエリを持つ逆変換を実装し、同じ触媒を返す。
触媒の再利用は、それぞれ$m$トランスポジションまたはインバージョンを3+4m$または3+8m$の総クエリで実装する。
より一般に、未知の$U\in\mathrm{SU}(d)$, $d\ge2$の正確な変換と反転は、それぞれ固定因数順序で、少なくとも$d+1$と$d^2-1$の処理クエリを必要とすることを証明している。
これらの処理境界は、処理中にその状態が消費されたとしても、有限個のフォワードクエリを使用して入力状態から独立して作成されたプログラム状態を保持する。
触媒クエトリットアルゴリズムはどちらもそれぞれのバウンダリを達成している。
さらに、4つの処理クエリで正確なクォート変換を行うには、少なくとも3つの準備クエリが必要です。
関連論文リスト
- Random Garbage Separates XOR from Forward-Only Queries [0.3415532231770058]
我々は、標準XORインタフェースと2つのフォワードオンリーインタフェースとの間に指数関数的な量子クエリ分離を与える。
結果として得られる問題は、最大$n+2$の標準XORクエリで解決可能であるが、クエリの複雑さを前方から評価する$(sqrt N)$がある。
論文 参考訳(メタデータ) (2026-09-03T10:18:04Z) - Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair [44.80087038178069]
本稿では,デコーダのみのトランスフォーマーをネイティブに組み込んだトレーニングフレームワークであるTeleological Reasoning Infilling (TRI)を紹介する。
推測では、TRIは二重システムループ内の外科的修復モジュールとして動作する。
3つのベンチマークの実験では、TRIは全てのタスクで最先端のパフォーマンスを達成し、プロブレム当たりのトークン支出を31.2%削減した。
論文 参考訳(メタデータ) (2026-06-03T15:58:48Z) - Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables [55.952069550106906]
複雑クエリアンサーリング(CQA)は、不完全知識グラフ(KG)上の基本的な知識表現と推論タスクである
ここで$mathcalEk$はKGのエンティティセットを表す。
既存のベンチマークとメソッドは、個々の変数よりも限界ランクに依存している。
我々は、$mathcalEk$を列挙することなく、共同ランキングを近似するフレームワークであるNeural Scalable Symbolic Search (NS3)を提案する。
論文 参考訳(メタデータ) (2026-05-25T16:04:57Z) - Conjugate queries can help [8.81180616144733]
入力量子オラクル$U$に対して、指数関数的に多くのブラックボックスクエリで解決できない自然な問題を、$U$と$Udagger$に対して与える。
また、$U$と$Udagger$のみを問う敵に対してセキュアな量子コミットメントスキームを実証するが、その敵が$U*$を問うことができれば安全ではない。
論文 参考訳(メタデータ) (2025-10-08T23:44:30Z) - Ehrenfeucht-Haussler Rank and Chain of Thought [51.33559894954108]
本稿では、よく知られたトランスフォーマーアーキテクチャを基盤とした、ランクの新たな特徴付けについて述べる。
関数 $f$ のランクは、単一層変換器が要求する思考ステップの EmphChain の最小値に対応していることを示す。
また、マルチヘッド単一層トランスをキャプチャするマルチヘッドランクの概念を導入し、有界なマルチヘッドランクを持つ関数クラスのPAC学習性の解析を行う。
論文 参考訳(メタデータ) (2025-01-22T16:30:58Z) - Can Transformers Reason Logically? A Study in SAT Solving [17.15701291424892]
本研究では,デコーダのみのトランスフォーマーの論理的推論能力について,SAT問題の観点から検討する。
我々は,デコーダのみのトランスフォーマーが,Chain-of-Thought (CoT) によるバックトラックとデダクションを用いて,一様でない計算モデルで 3-SAT を決定できることを示す。
論文 参考訳(メタデータ) (2024-10-09T21:01:52Z) - Analytical Lower Bound on Query Complexity for Transformations of Unknown Unitary Operations [0.0]
単元反転, 転置, 複素共役の問合せ複雑性に対する解析的下界を確立する。
単位反転に対する$d2$の低い境界は、決定論的正確な反転プロトコルの最適性を示している。
入力ユニタリ演算は$mathrmSU(d)$と確率的部分群設定の範囲内で約束される。
論文 参考訳(メタデータ) (2024-05-13T10:35:50Z) - Optimal Query Complexities for Dynamic Trace Estimation [59.032228008383484]
我々は,行列がゆっくりと変化している動的環境において,正確なトレース推定に必要な行列ベクトルクエリ数を最小化する問題を考える。
我々は、$delta$失敗確率で$epsilon$エラーまで、すべての$m$トレースを同時に推定する新しいバイナリツリー要約手順を提供する。
我々の下界(1)は、静的な設定においてもフロベニウスノルム誤差を持つ行列ベクトル積モデルにおけるハッチンソン推定子の第一の厳密な境界を与え、(2)動的トレース推定のための最初の無条件下界を与える。
論文 参考訳(メタデータ) (2022-09-30T04:15:44Z) - How to Query An Oracle? Efficient Strategies to Label Data [59.89900843097016]
機械学習におけるデータセットのラベル付けに専門家の託宣を照会する際の基本的な問題について考察する。
本稿では,サンプルをラベル付けするために,ラウンド・バイ・ラウンドでランダム化されたバッチアルゴリズムを提案し,クエリレートが$O(fracNk2)$であることを示す。
さらに,適応型グリージークエリ方式を提案し,三重項クエリを用いたサンプルあたり平均$approx 0.2N$クエリを実現する。
論文 参考訳(メタデータ) (2021-10-05T20:15:35Z) - The Sparse Vector Technique, Revisited [67.57692396665915]
我々は、微分プライバシーの文献において最も基礎的で広く適用可能なテクニックの1つを再考する。
この単純なアルゴリズムは、データベース上のあるクエリの値が、私たちが期待している値に近いかどうかをプライベートにテストします。
一つの個人が過剰なクエリの回答に寄与しない限り、クエリのテストを継続できる代替の、等しくシンプルなアルゴリズムを提案する。
論文 参考訳(メタデータ) (2020-10-02T10:50:52Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。