Fugu-MT 論文翻訳(概要): Reachability in 3-VAS

論文の概要: Reachability in 3-VAS

arxiv url: http://arxiv.org/abs/2608.04786v1
Date: Wed, 05 Aug 2026 12:51:02 GMT
ステータス: 翻訳完了
システム内更新日: 2026-08-06 14:48:43.928523
Title: Reachability in 3-VAS
Title（参考訳）: 3-VASの到達性
Authors: Łukasz Kamiński, Sławomir Lasota,
Abstract要約: 3次元3-VASにおける対称ベクトル加算系の到達可能性問題のPSPACE-hardnessを証明する。その結果, 3-VAS と 4-VAS では PSPACE 完全となる問題や, 対称なフラグメントが複雑であることがわかった。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We settle the exact complexity of the reachability problem in (stateless) vector addition systems (VAS) in fixed low dimension. In dimensions 2-4 it has only been known to be sandwiched between NP and PSPACE. We prove PSPACE-hardness of the reachability problem for symmetric vector addition systems in dimension 3 (3-VAS), a restricted fragment of general 3-VAS. Combined with previously established PSPACE upper bounds, our result settles the complexity of the problem to be PSPACE-complete in 3-VAS and 4-VAS, as well as in their symmetric fragments.
Abstract（参考訳）: 固定低次元ベクトル加算システム(VAS)における到達可能性問題の正確な複雑性を解明する。次元 2-4 では、NP と PSPACE の間に挟まれることしか知られていない。一般3VASの制限断片である次元3(3-VAS)における対称ベクトル加算系の到達可能性問題のPSPACE-hardnessを証明した。従来確立されていたPSPACE上界と組み合わせて,3-VASおよび4-VASにおけるPSPACE完全問題と,その対称フラグメントの複雑さを解決した。

関連論文リスト

Remote state preparation of single-partite high-dimensional states in complex Hilbert spaces [4.088920666681552]
高次元量子システムは、量子情報アプリケーションのための新しい遊び場を提供する。複素ヒルベルト空間における4レベルおよび8レベルの赤道状態を作成するための潜在的に実用的なスキームを提案する。評価の結果,現在の技術で高次元RSPが実現可能である可能性が示唆された。
論文参考訳（メタデータ） (2026-03-01T23:49:32Z)
Improving Ground State Accuracy of Variational Quantum Eigensolvers with Soft-coded Orthogonal Subspace Representations [0.0]
本稿では,変分量子固有解法(VQE)アルゴリズムにおける基底状態推定の精度を,ソフトコード直交制約付き部分空間表現を用いて改善する手法を提案する。この表現は、シングルステート(標準VQE)およびマルチステート(SSVQEまたはMCVQE)表現と比較して高い忠実性を維持しながら、より浅い量子回路を実現する。
論文参考訳（メタデータ） (2026-02-05T18:28:40Z)
Improving the Generation of VAEs with High Dimensional Latent Spaces by the use of Hyperspherical Coordinates [59.4526726541389]
変分オートエンコーダ(VAE)は、これらのベクトルをデータに復号する前に、データを低次元の潜在ベクトルに符号化する。本稿では,計算オーバーヘッドが制限された潜在空間のパラメータ化を提案する。
論文参考訳（メタデータ） (2025-07-21T05:10:43Z)
Reachability in symmetric VASS [0.0]
状態を持つ対称ベクトル加算系の到達可能性問題について検討する。極端の場合、自明な群は一般のVASSをもたらす。別の極端の場合、対称群では、到達性問題はPSPACEで解決できることが示される。
論文参考訳（メタデータ） (2025-06-30T07:33:50Z)
Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT [55.78588835407174]
振幅増幅アルゴリズムは、可変代入を満たすために非構造化探索に適用することができる。 Quantum Approximate Optimization Algorithm (QAOA)は、ノイズのある中間量子デバイスのための3SATを解くための有望な候補である。振幅増幅によるQAOAの変種を導入し、3SATの成功確率を改善する。
論文参考訳（メタデータ） (2023-03-02T11:52:39Z)
Approximation of optimization problems with constraints through kernel Sum-Of-Squares [77.27820145069515]
我々は、点的不等式が非負の kSoS 関数のクラス内で等式となることを示す。また, 等式制約に焦点をあてることで, 散乱不等式を用いることで, 制約のサンプリングにおける次元性の呪いを軽減することができることを示す。
論文参考訳（メタデータ） (2023-01-16T10:30:04Z)
Relative Pose from SIFT Features [50.81749304115036]
基本行列の未知元と向きとスケールに関する新しい線形制約を導出する。提案した制約は、合成環境における多くの問題と、80000以上の画像ペア上で公開されている実世界のデータセットでテストされる。
論文参考訳（メタデータ） (2022-03-15T14:16:39Z)
Single-shot quantum error correction with the three-dimensional subsystem toric code [77.34726150561087]
我々は新しいトポロジカル量子コード、三次元サブシステムトーリックコード(3D STC)を導入する。 3次元STCは、開境界条件の立方体格子上での重量の幾何的に局所的なパリティチェックを測定することで実現できる。
論文参考訳（メタデータ） (2021-06-04T17:35:00Z)
PlueckerNet: Learn to Register 3D Line Reconstructions [57.20244406275875]
本稿では,ユークリッド空間における2つの部分重畳された3次元線再構成の問題をニューラルネットワークで解く手法を提案する。室内および屋外の両方のデータセットを用いた実験により,本手法の登録精度(回転と翻訳)は,ベースラインを著しく上回ることがわかった。
論文参考訳（メタデータ） (2020-12-02T11:31:56Z)
Generalizing Complex/Hyper-complex Convolutions to Vector Map Convolutions [1.370633147306388]
複雑で高複雑性なニューラルネットワークは、実価値の高いニューラルネットワークよりも改善されていることを示す。これらの特性を捕捉する新しいベクトル写像畳み込みを導入する。これらの新しいベクトルマップの畳み込みは、複雑なネットワークと超複雑ネットワークの利点をすべて捉えているように見えることを示すために、3つの実験を行った。
論文参考訳（メタデータ） (2020-09-09T03:00:03Z)
Entanglement marginal problems [0.0]
絡み合いの限界問題は、多くの還元密度行列が全体分離可能な量子状態と互換性があるかどうかを決定することである。完全分離可能な拡張を許容する量子状態境界の集合の半定値プログラミング緩和の階層性を提案する。我々の結果は、1次元の翻訳不変系や余剰対称性を持つ高次元など無限のシステムにまで拡張される。
論文参考訳（メタデータ） (2020-06-16T10:48:56Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。