論文の概要: Explicit Matrices over $\mathbb Z_2$ with CNOT and Row Complexity $4n-\mathrm{o}(n)$ and Local Logic Gates
- arxiv url: http://arxiv.org/abs/2607.28598v1
- Date: Thu, 30 Jul 2026 17:48:15 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-31 21:37:00.707167
- Title: Explicit Matrices over $\mathbb Z_2$ with CNOT and Row Complexity $4n-\mathrm{o}(n)$ and Local Logic Gates
- Title(参考訳): CNOTおよびRow Complexity 4n-\mathrm{o}(n)$および局所論理ゲートを持つ$\mathbb Z_2$上の明示行列
- Abstract要約: 我々は、CNOT および行の複雑さが少なくとも 4n-texto(n)$ であるような、$mathbb Zn$ 上の可逆な$ntimes n$行列の明示的な族を提示する。
同じ複雑さの下位境界は、CNOTゲートを任意の局所線形論理ゲートに置き換える強い計算モデルである。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In this article, we present an explicit family of invertible $n\times n$ matrices over $\mathbb Z_2$ whose CNOT and row complexity is at least $4n-\text{o}(n)$; equivalently, reducing these matrices to the identity requires at least $4n-\text{o}(n)$ elementary row operations. Moreover, the same complexity lower bound holds in the stronger computational model where the CNOT gates are replaced by arbitrary local linear logic gates, namely arbitrary invertible linear transformations acting on pairs of coordinates. Let $G_n$ denote the permutation group generated by local logic gates acting on the set of binary strings of length $n$. We prove that $G_n$ is naturally isomorphic to the group of all invertible affine transformations of the vector space $\mathbb Z_2^n$, thus reducing the problem of estimating the quantum complexity of permutations in $G_n$ to the row reduction complexity of invertible matrices over $\mathbb Z_2$. As an application, we show that the permutations associated with our explicit matrices have quantum complexity at least $4n-\text{o}(n)$.
- Abstract(参考訳): 本稿では、CNOTと行の複雑性が少なくとも4n-\text{o}(n)$であるような、可逆な$n\times n$行列を$\mathbb Z_2$上に明示する。
さらに、CNOTゲートを任意の局所線形論理ゲート、すなわち座標対に作用する任意の可逆線型変換に置き換える強い計算モデルにおいて、下界の複雑さは成り立つ。
G_n$は、長さ$n$のバイナリ文字列のセットに作用するローカル論理ゲートによって生成される置換群を表す。
我々は、$G_n$ がベクトル空間 $\mathbb Z_2^n$ のすべての可逆アフィン変換の群に自然同型であることを証明する。
応用として、明示行列に関連する置換は、少なくとも 4n-\text{o}(n)$ の量子複雑性を持つことを示す。
関連論文リスト
- Lower bounds for the CNOT-complexity of linear reversible operators [0.0]
$mathbbF$ 上の可逆行列の CNOT-複素性は、対応する線形可逆作用素を合成するのに必要となる CNOT ゲートの最小数である。
必要でない可逆線型作用素の加法的複雑性に対する下限は、小さな損失のみを伴って可逆集合へ持ち上げることができることを示す。
論文 参考訳(メタデータ) (2026-07-24T12:31:18Z) - Two-Tower Quantum Matrix Chain Multiplication: Trading Qubits for Depth [73.08853228981701]
行列連鎖乗法は、科学計算、機械学習、グラフ解析における問題である。
我々は、$K$行列の$mathcalW$を回路深さの量子状態にエンコードする量子サブルーチンであるemphTwo-Tower Matrixを提案する。
論文 参考訳(メタデータ) (2026-07-14T18:42:40Z) - Minimal Permutation-Invariant Qudit Codes from Edge-Colorings of Complete Graphs [4.297070083645049]
対称部分空間 $mathrmSymn(mathbbCq) $ of $n$ qudits of local dimension $q$ で置換不変量子符号を研究する。
4つの物理キューディットは、すべての局所次元の対称セクターにおいて距離2の1つの論理キューディットを符号化するのに十分である。
論文 参考訳(メタデータ) (2026-05-21T13:08:38Z) - Time evolution of quantum gates and the necessity of complex numbers [0.0]
量子ゲートの効果を、ある特性時間に作用する実効ハミルトニアンの作用によって記述する単純なスキームを記述する。
2つの量子ビットの絡み合いをもたらす複雑な位相の役割も強調される。
次元$N = 2n$, ここで、mathbbZ+$の$nは、$n-1$ qubitsのモデリングに適している。
論文 参考訳(メタデータ) (2026-04-18T17:47:56Z) - Group Representational Position Encoding [66.33026480082025]
グループ行動に基づく位置符号化のための統一的なフレームワークであるGRAPEを提案する。
i)乗法回転 (Multiplicative GRAPE) in $mathrmSO(d)$ と (ii)加法ロジットバイアス (Additive GRAPE) は一般線型群 $mathrmGL$ における一等作用から生じる。
論文 参考訳(メタデータ) (2025-12-08T18:39:13Z) - An Efficient Computational Framework for Discrete Fuzzy Numbers Based on Total Orders [41.99844472131922]
我々は、$textitpos$関数を計算するために、合計(許容可能な)順序の構造を利用するアルゴリズムを導入する。
提案手法は、下層の鎖の大きさの2乗である$mathcalO(n2 m log n)$の複雑さを実現する。
その結果、この定式化は計算コストを大幅に削減することを示した。
論文 参考訳(メタデータ) (2025-11-21T09:35:07Z) - High-Rank Irreducible Cartesian Tensor Decomposition and Bases of Equivariant Spaces [48.465738895704455]
カルトテンソルの分解のための経路行列を、小さくて手頃な複雑さを持つランク$n=9$まで構築する。
提案手法はRREFアルゴリズムを回避し,各ICT分解行列の完全な解析的導出を維持する。
結果は任意のテンソル積と直和空間に拡張され、対称性を維持しながら異なる空間間の自由な設計が可能となる。
論文 参考訳(メタデータ) (2024-12-24T08:25:38Z) - The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
この問題は通信複雑性のランダム化を$Omega(frac1kcdot n2log|mathbbF|)$とする。
アプリケーションとして、$k$パスを持つ任意のストリーミングアルゴリズムに対して、$Omega(frac1kcdot n2log|mathbbF|)$スペースローバウンドを得る。
論文 参考訳(メタデータ) (2024-10-26T06:21:42Z) - Scaling of symmetry-restricted quantum circuits [42.803917477133346]
本研究では、特殊ユニタリリー群 $SU(2N)$ の $mathcalMSU(2N)$, $mathcalM$-不変部分空間の性質について検討する。
論文 参考訳(メタデータ) (2024-06-14T12:12:15Z) - Polyadic sigma matrices [0.0]
著者らの提案したポリアダナイズ法を用いて、より高次アリーズに$sigma$-matricesを一般化する。
フル$Sigma$-matricesという用語で$n$-ary $SUleft(2right)$のプレゼンテーションは、Hadamard製品を使って行われる。
論文 参考訳(メタデータ) (2024-03-28T12:19:46Z) - Quantum algorithms for calculating determinant and inverse of matrix and solving linear algebraic systems [43.53835128052666]
我々は,N-1(N-1)時間行列の行列式と逆行列を計算するために,純粋に量子的な量子アルゴリズムを提案する。
基本的な考え方は、行列の各行を量子系の純粋な状態にエンコードすることである。
論文 参考訳(メタデータ) (2024-01-29T23:23:27Z) - Quantum Complexity of Permutations [0.0]
論理ゲートとして$sigma, tau, tau-1$を用いて, 置換の量子複雑性について検討した。
我々は、$S_n$ のほとんどすべての置換が、$nrightarrow infty$ のときの2次量子複雑性を下限とすることを示した。
論文 参考訳(メタデータ) (2022-07-21T23:18:54Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。