論文の概要: Hidden parabolic subgroups of $\mathrm{GL}_n$ over finite chain rings
- arxiv url: http://arxiv.org/abs/2610.28368v2
- Date: Wed, 21 Oct 2026 02:19:13 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-23 00:40:06.094773
- Title: Hidden parabolic subgroups of $\mathrm{GL}_n$ over finite chain rings
- Title(参考訳): 有限鎖環上の$\mathrm{GL}_n$の隠れ放物的部分群
- Abstract要約: 有効に提示された任意の有限鎖環 $R$ 上で、$mathrmGL_n(R)$ の隠された放物的部分群を見つけるための有界誤り量子時間アルゴリズムを与える。
例えば$mathrmGL_n(mathbbZ/NmathbbZ)$ for every $Nge2$, and with a explicit maximal-order presentation, $mathrmGL_n(mathcalO_K/NmathcalO_K)$ for field number $K$である。
- 参考スコア(独自算出の注目度): 1.7277199466514768
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We give a bounded-error quantum polynomial-time algorithm for finding hidden parabolic subgroups of $\mathrm{GL}_n(R)$ over any effectively presented finite chain ring $R$. We call auxiliary group elements or subgroups used to extract information through oracle queries \emph{probes}. For chain length at least two, elementary abelian socle probes first recover the complete flag modulo the maximal ideal. When the residue field has size $q\ge3$, we reconstruct the flag recursively, lifting rank-one terminal members one digit at a time. The intermediate digits reduce to abelian hidden subgroup problems, while the final digit is a finite-field multiple-shift problem solved using learning from subset and Fourier sampling. For $q=2$, where distinct flags can have the same stabilizer, we instead lift the conjugate parabolic subgroup through the congruence filtration. A final linear system determines it modulo normalizer directions. The algorithm outputs generators with probability at least $1-ε$ in time $\mathrm{poly}(n,\log|R|,\log(1/ε))$. Consequences include $\mathrm{GL}_n(\mathbb{Z}/N\mathbb{Z})$ for every $N\ge2$ and, with an explicit maximal-order presentation, $\mathrm{GL}_n(\mathcal{O}_K/N\mathcal{O}_K)$ for number fields $K$.
- Abstract(参考訳): 有効に提示された任意の有限鎖環 $R$ 上で、$\mathrm{GL}_n(R)$ の隠された放物的部分群を見つけるための有界誤り量子多項式時間アルゴリズムを与える。
私たちは、オラクルクエリー \emph{probes} を通じて情報を抽出するために使用される補助グループ要素またはサブグループを呼び出します。
少なくとも2つの鎖長に対して、初等アーベルソクルプローブは、まず極大イデアルを変調して完備フラグを復元する。
剰余体が$q\ge3$のとき、フラグを再帰的に再構築し、ランク1の端末部材を1桁ずつ持ち上げる。
中間桁はアーベル隠れ部分群問題に還元され、最終桁は有限フィールド多重シフト問題である。
異なるフラグが同じ安定化器を持つことができる$q=2$の場合、共役パラボラ部分群を共役濾過により持ち上げる。
最終線形系はモジュロ正規化器方向を決定する。
このアルゴリズムは、少なくとも1-ε$の確率で$\mathrm{poly}(n,\log|R|,\log(1/ε))$を出力する。
結果として、すべての$N\ge2$に対して$\mathrm{GL}_n(\mathbb{Z}/N\mathbb{Z})$、明示的な極大順序のプレゼンテーションにより$K$に対して$\mathrm{GL}_n(\mathcal{O}_K/N\mathcal{O}_K)$となる。
関連論文リスト
- SVP Is NP-Hard for Some Rank-2 Cyclotomic Modules [17.893655677334575]
我々は、$ell binary$-normにおける最短ベクトル問題(mathrmSVP$)の決定バージョンが、フルランクのフリーサブカウントで$mathrmNP$-completeであることを証明する。
この構成はまた、行列時間チューリング還元の下で、$mathrmNP$-hardness of search-$mathrmSVP$を与える。
論文 参考訳(メタデータ) (2026-09-01T16:04:35Z) - Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist [0.9505505917924889]
正確な式 $C(L/K)=[L:K]-d_max(L/K)$ を証明する。
有限体に対しては、正規基底構成を用いてすべての次数の直接証明を与える。
論文 参考訳(メタデータ) (2026-07-25T01:46:56Z) - Hardness Amplification for (Sparse) LPN [5.1105538244022135]
雑音を学習するパリティ(mathsfLPN$)とそのスパース変種に対する新しい硬度増幅結果を示す。
で$mathsfLPN$を解くアルゴリズムは、"ほとんどすべてのインスタンス"で$mathsfLPN$を解くアルゴリズムに変換することができる。
同じ増幅アプローチを$mathsfLPN$ over $mathbbF_q$とSparse-$mathsfLPN$に拡張します。
論文 参考訳(メタデータ) (2026-05-11T06:34:37Z) - Rényi exponent landscape of multipartite entanglement in free-fermion systems [51.56484100374058]
我々は、Rényi tripartite information $I_3() が小フェルミ運動量での質的に $exclusion-dependent scaling を示すことを示した。
I_m(n)/I_m(1) sim zm-1 to 0$ for all integer $n geq 2$, so the leading von Neumann signal can builded from integer Rényi data。
論文 参考訳(メタデータ) (2026-03-09T22:27:00Z) - The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
この問題は通信複雑性のランダム化を$Omega(frac1kcdot n2log|mathbbF|)$とする。
アプリケーションとして、$k$パスを持つ任意のストリーミングアルゴリズムに対して、$Omega(frac1kcdot n2log|mathbbF|)$スペースローバウンドを得る。
論文 参考訳(メタデータ) (2024-10-26T06:21:42Z) - Learning a Single Neuron with Adversarial Label Noise via Gradient
Descent [50.659479930171585]
モノトン活性化に対する $mathbfxmapstosigma(mathbfwcdotmathbfx)$ の関数について検討する。
学習者の目標は仮説ベクトル $mathbfw$ that $F(mathbbw)=C, epsilon$ を高い確率で出力することである。
論文 参考訳(メタデータ) (2022-06-17T17:55:43Z) - Low-degree learning and the metric entropy of polynomials [44.99833362998488]
少なくとも$Omega(sqrtvarepsilon)2dlog n leq log mathsfM(mathscrF_n,d,|cdot|_L,varepsilon)は2辺の推定値$c(1-varepsilon)2dlogを満たす。
論文 参考訳(メタデータ) (2022-03-17T23:52:08Z) - Threshold Phenomena in Learning Halfspaces with Massart Noise [56.01192577666607]
ガウス境界の下でのマスアートノイズ付きmathbbRd$におけるPAC学習ハーフスペースの問題について検討する。
この結果は,Massartモデルにおける学習ハーフスペースの複雑さを定性的に特徴づけるものである。
論文 参考訳(メタデータ) (2021-08-19T16:16:48Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。