論文の概要: Quantum Gates from Wolfram Model Multiway Rewriting Systems
- arxiv url: http://arxiv.org/abs/2512.20587v1
- Date: Tue, 23 Dec 2025 18:34:42 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-24 19:17:49.972208
- Title: Quantum Gates from Wolfram Model Multiway Rewriting Systems
- Title(参考訳): ウルフラムモデルマルチウェイ書き換えシステムからの量子ゲート
- Authors: Furkan Semih Dündar, Xerxes D. Arsiwalla, Hatem Elshatlawy,
- Abstract要約: 非決定論的書き換えシステムを用いて有限次元量子作用素の表現をどのように構築するかを示す。
特に,置換文字列に基づくWolframモデルマルチウェイ書き換えシステムについて検討する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We show how representations of finite-dimensional quantum operators can be constructed using nondeterministic rewriting systems. In particular, we investigate Wolfram model multiway rewriting systems based on string substitutions. Multiway systems were proposed by S. Wolfram as generic model systems for multicomputational processes, emphasizing their significance as a foundation for modeling complexity, nondeterminism, and branching structures of measurement outcomes. Here, we investigate a specific class of multiway systems based on cyclic character strings with a neighborhood constraint - the latter called Leibnizian strings. We show that such strings exhibit a Fermi-Dirac distribution for expectation values of occupation numbers of character neighborhoods. A Leibnizian string serves as an abstraction of a $N$-fermion system. A multiway system of these strings encodes causal relations between rewriting events in a nondeterministic manner. The collection of character strings realizes a $\mathbb{Z}$-module with a symmetric $\mathbb{Z}$-bilinear form. For discrete spaces, this generalizes the notion of an inner product over a vector field. This admits a discrete analogue of the path integral and a $S$-matrix for multiway systems of Leibnizian strings. The elements of this $S$-matrix yield transition amplitudes between states of the multiway system based on an action defined over a sequence of Leibnizian strings. We then show that these $S$-matrices give explicit representations of quantum gates for qubits and qudits, and also circuits composed of such gates. We find that, as formal models of nondeterministic computation, rewriting systems of Leibnizian strings with causal structure encode representations of the CNOT, $π/8$, and Hadamard gates. Hence, using multiway systems one can represent quantum circuits for qubits.
- Abstract(参考訳): 非決定論的書き換えシステムを用いて有限次元量子作用素の表現をどのように構築するかを示す。
特に,文字列置換に基づくWolframモデルマルチウェイ書き換えシステムについて検討する。
マルチウェイシステムは多計算プロセスの汎用モデルシステムとしてS. Wolframによって提案され、複雑性、非決定論、測定結果の分岐構造をモデル化するための基盤としてその重要性を強調した。
本稿では,近傍制約付き巡回文字列に基づく特定のマルチウェイシステムについて検討する。
これらの文字列は, キャラクタ近傍の職業数の期待値に対してフェルミ・ディラック分布を示すことを示す。
ライプニッツ弦は$N$-フェルミオンシステムの抽象化として機能する。
これらの文字列のマルチウェイシステムは、非決定論的方法で書き換えイベント間の因果関係を符号化する。
文字列の集合は対称な$\mathbb{Z}$-双線型形式を持つ$\mathbb{Z}$-加群を実現する。
離散空間に対して、これはベクトル場上の内積の概念を一般化する。
これは経路積分の離散的な類似とライプニッツ弦のマルチウェイ系に対する$S$-行列を認める。
この$S$-行列の要素は、ライプニッツ弦の列上で定義された作用に基づいて、マルチウェイ系の状態間の遷移振幅を出力する。
次に、これらの$S$-行列は、量子ビットと量子ビットの量子ゲートの明示的な表現と、そのようなゲートからなる回路を与えることを示す。
非決定論的計算の形式モデルとして、因果構造を持つライプニッツ弦の書き換え系がCNOT,$π/8$,およびHadamardゲートの表現を符号化していることが分かる。
したがって、マルチウェイシステムを用いて量子ビットの量子回路を表現できる。
関連論文リスト
- Quantum Advantage via Solving Multivariate Polynomials [21.099298465042583]
3次関数はランダムなオラクルをインスタンス化して非相対化量子優位を得るのに十分であることを示す。
p_i(x_ldots,x_n)=y_i_iin [m]$ for $mn$ over $mathbbF$。
論文 参考訳(メタデータ) (2025-09-08T23:19:20Z) - Entanglement-Assisted Coding for Arbitrary Linear Computations Over a Quantum MAC [34.32444379837011]
量子多重アクセスチャネル(LC-QMAC)上の線形計算問題について検討する。
本稿では、安定化器形式と絡み合い支援量子誤り訂正符号(EAQECC)のアイデアに基づくLC-QMACの達成可能なスキームを提案する。
論文 参考訳(メタデータ) (2025-01-27T18:35:33Z) - Quantum encoder for fixed Hamming-weight subspaces [0.0]
固定ハミング重み$k$の部分空間に$d=binomnk$valuedの実データベクトルまたは複素データベクトルの正確な$n$-qubit計算基底振幅エンコーダを提示する。
本稿では,粒子弦対称性を含む問題に対する変分量子アルゴリズムの性能向上について述べる。
本研究は,量子化学,量子機械学習,制約付き$k$最適化などの分野に応用可能な量子データ圧縮のための汎用的なフレームワークを構成する。
論文 参考訳(メタデータ) (2024-05-30T18:26:41Z) - Dictionary-based Block Encoding of Sparse Matrices with Low Subnormalization and Circuit Depth [2.4487770108795393]
本稿では,新しいデータ構造に基づくスパース行列の効率的なブロック符号化プロトコルを提案する。
同じ値のゼロでない要素は、ブロックエンコーディングプロトコルの辞書で同じ分類に属する。
我々のプロトコルは、ユニタリ(LCU)とスパースアクセス入力モデル(SAIM)の線形結合に接続する。
論文 参考訳(メタデータ) (2024-05-28T09:49:58Z) - Efficient Unitary T-designs from Random Sums [0.6640968473398456]
Unitary $T$-Designsは、量子アルゴリズム、ベンチマーク、トモグラフィ、通信における様々な応用において、量子情報において重要な役割を果たす。
我々は、$tildeO(T2 n2)$量子ゲートを用いたランダム行列理論による$T$-designsの新たな構成を提供する。
論文 参考訳(メタデータ) (2024-02-14T17:32:30Z) - Correspondence between open bosonic systems and stochastic differential
equations [77.34726150561087]
ボゾン系が環境との相互作用を含むように一般化されたとき、有限$n$で正確な対応も可能であることを示す。
離散非線形シュル「オーディンガー方程式」の形をした特定の系をより詳細に分析する。
論文 参考訳(メタデータ) (2023-02-03T19:17:37Z) - NFNet: Non-interacting Fermion Network for Efficient Simulation of
Large-scale Quantum Systems [0.0]
NFNetは大規模かつ連続的に制御される量子システムのシミュレーションのためのフレームワークである。
並列行列計算とネットワークパラメータの自動微分をサポートする。
NFNetは、効率的な大規模量子シミュレータであり、量子にインスパイアされた古典的コンピューティングネットワーク構造である。
論文 参考訳(メタデータ) (2022-12-12T09:02:21Z) - Speeding up Learning Quantum States through Group Equivariant
Convolutional Quantum Ans\"atze [13.651587339535961]
我々はSU$(d)$対称性を持つ畳み込み量子回路の枠組みを開発する。
我々は、$nameSU(d)$と$S_n$ irrepbasesの同値性に関するHarrowの主張を証明する。
論文 参考訳(メタデータ) (2021-12-14T18:03:43Z) - Straddling-gates problem in multipartite quantum systems [20.428960719376164]
量子回路の複雑性,結合複雑性の変種について検討する。
任意の$m$partite Schmidt decomposable状態が$m$のバインディング複雑性を持つことを示す。
論文 参考訳(メタデータ) (2021-10-13T16:28:12Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。