論文の概要: Minimum Cardinalities of Multipartite Unextendible Product Bases
- arxiv url: http://arxiv.org/abs/2609.05657v1
- Date: Fri, 04 Sep 2026 18:39:49 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-12 12:57:03.000827
- Title: Minimum Cardinalities of Multipartite Unextendible Product Bases
- Title(参考訳): マルチパート非拡張型製品ベースにおける最小心電図
- Abstract要約: 量子情報理論において、多部量子系の状態空間はテンソル積によってモデル化される。
我々は、$pge3$の全ての非全量子系に対する安定化定理を証明する。
- 参考スコア(独自算出の注目度): 5.783726205321144
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In quantum information theory, the state space of a multipartite quantum system is modeled by a tensor product. In the tensor-product space $\mathbb C^{d_1}\otimes\cdots\otimes\mathbb C^{d_p}$, a nonzero vector is a \emph{product state} if it can be written as $\lvert \varphi_1\rangle\otimes\cdots\otimes\lvert \varphi_p\rangle$ with $\lvert \varphi_j\rangle\in\mathbb C^{d_j}\setminus\{0\}$. An \emph{unextendible product basis} (UPB) is a finite family of pairwise orthogonal product states such that no nonzero product state is orthogonal to all of them. UPBs play a key role in investigating quantum entanglement and nonlocal phenomena. Finding a smallest UPB is a natural extremal problem: it asks how few pairwise orthogonal product states suffice to prevent any further product state from being added. The general minimum-size problem for UPBs has been studied for over two decades since the seminal work of Alon and Lovász. For local dimensions $d_1,\ldots,d_p\ge2$, let $f_m(d_1,\ldots,d_p)$ be the minimum cardinality of a UPB and let $f_{LB}(d_1,\ldots,d_p)=1+\sum_{j=1}^{p}(d_j-1)$ be the natural lower bound. Alon and Lovász determined exactly when $f_m$ attains the lower bound $f_{LB}$, but the obstructed multipartite cases remained open in general. We prove a stabilization theorem: for every non-all-qubit system with $p\ge3$, whenever parity prevents the natural lower bound $f_{LB}$ from being attained, the true minimum is exactly $f_{LB}+1$. Equivalently, if the number of even local dimensions is positive and even, and at least one local dimension is greater than two, then $f_m(d_1,\ldots,d_p)=f_{LB}(d_1,\ldots,d_p)+1$. The proof is built on a unified graph-theoretic framework. Our result, together with earlier work, settles the minimum-cardinality problem for UPBs in all finite quantum systems.
- Abstract(参考訳): 量子情報理論において、多部量子系の状態空間はテンソル積によってモデル化される。
テンソル積空間 $\mathbb C^{d_1}\otimes\cdots\otimes\mathbb C^{d_p}$ において、非零ベクトルが \emph{product state} であるとは、$\lvert \varphi_1\rangle\otimes\cdots\otimes\lvert \varphi_p\rangle$ with $\lvert \varphi_j\rangle\in\mathbb C^{d_j}\setminus\{0\}$ と書くことができる。
\emph{unextendible product basis} (UPB) は双対直交積状態の有限族であり、非零積状態がそれらすべてに直交しない。
UPBは量子絡み合いや非局所現象の研究において重要な役割を果たしている。
最小の UPB を見つけることは自然の極端問題であり、任意の積状態が追加されるのを防ぐために、ペアの直交積状態が十分でないかどうかを問うものである。
UPBの一般的な最小サイズ問題は、アロンとロヴァースの研究以来20年以上にわたって研究されてきた。
局所次元 $d_1,\ldots,d_p\ge2$ に対して、$f_m(d_1,\ldots,d_p)$ を UPB の最小濃度とし、$f_{LB}(d_1,\ldots,d_p)=1+\sum_{j=1}^{p}(d_j-1)$ を自然下界とする。
Alon と Lovász は、$f_m$ が下界の $f_{LB}$ に達するのを正確に決定した。
安定化定理(英語版)を証明する:$p\ge3$ を持つ全ての非全量子系に対して、パリティが自然下界 $f_{LB}$ を達成できないとき、真極小は正確に$f_{LB}+1$ となる。
等しく、任意の局所次元の数が正かつ偶数であれば、少なくとも1つの局所次元が2より大きいなら、$f_m(d_1,\ldots,d_p)=f_{LB}(d_1,\ldots,d_p)+1$である。
この証明は、統一グラフ理論フレームワーク上に構築されている。
我々の結果は、以前の研究と合わせて、全ての有限量子系における UPB の最小心電図問題に着目する。
関連論文リスト
- The Condition-Number Barrier in Sparse Least Squares [77.64108812086542]
AxiotisとSviridenkoは[AS21]において、凸最適化における制限条件数への線形依存はスパース時間アルゴリズムでは改善できないと推測した。
我々は、最小二乗目的に対する予想下界を確立し、ランダム化された完全体積小セット展開仮説に基づく条件付けを行う。
論文 参考訳(メタデータ) (2026-08-03T17:57:01Z) - No finite level of the NPA hierarchy is exact for the doubly-tilted CHSH functional near the critical tilt [0.0]
すべての NPA レベル $kge 2$ に対して、$g_k>0$ と $s*_k>0$ が存在し、$c_k(s)ge 4-s+g_k s2$ on $(0,s*_k)$ であることを示す。
$kge 3$ の量子状態はなく、量子モデルの滑らかな曲線も利得方向を実現することができないので、オーバーシュートは NPA コーンの非量子部分に厳密に存在する。
論文 参考訳(メタデータ) (2026-07-15T12:22:23Z) - Nonasymptotic bounds for quantum purity amplification [0.9969485010222057]
量子純度増幅では、ノイズの多い量子状態 $in mathbbCd times d$ の $n$ コピーが与えられ、主固有状態 $|v_drangle$ の $k$ コピーを作成するように要求される。
いくつかの先行研究は、この問題に対して情報理論的に最適なアルゴリズムを導出したが、それらの証明は、標本数$n$が無限大になる傾向にあるため、体制の中でのみ示される。
論文 参考訳(メタデータ) (2026-05-26T16:39:24Z) - Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
複素ヒルベルト空間上で作用するエルミート作用素 $A$ を 2n$ とする。
A$ がパウリ拡大において小さな次数を持つとき、あるいは言い換えれば、$A$ は局所 $n$-量子ハミルトニアンである。
A$ が $d$-local, textiti.e., $deg(A)le d$ であるときは常に、次の離散化型不等式を持つことを示す。
論文 参考訳(メタデータ) (2025-09-15T14:26:11Z) - Symmetry reduction for testing $k$-block-positivity via extendibility [8.247261926186477]
最大交絡状態のユニタリ対称性を利用して、対応する半定値プログラムのサイズを小さくする。
例えば$k=2$の場合、SDPは2N+1 dN+1$から$lfloor fracN+12 rfloor$ブロックに縮小される。
論文 参考訳(メタデータ) (2025-05-28T08:26:34Z) - Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
両部非絡み込み入力から次元独立なk-パーティイトディジアンタングル(類似)チャネルを構築する。
NEXP を捉えるためには、$| psi rangle = sqrta | sqrt1-a | psi_+ rangle という形の非負の振幅を持つのに十分であることを示す。
論文 参考訳(メタデータ) (2024-02-23T12:22:03Z) - Bounds on $k$-Uniform Quantum States [22.266687858571363]
我々は、$(mathbbCd)otimes N$における$k$-uniform状態の存在に対するパラメータ$k$の新しい上限を提供する。
a $k$-uniform state in $(mathbbCd)otimes N$ は純 $(N,1,k+1)_d$ 量子誤り訂正符号に対応するため、最小距離 $k+1$ of pure $(N,1,k+1))_d$ 量子誤り訂正符号にも新たな上限を与える。
論文 参考訳(メタデータ) (2023-10-10T07:38:13Z) - A universal framework for entanglement detection under group symmetry [1.384055225262046]
すべての$(overlinepi_Aotimes pi_B)$-不変量子状態が分離可能であること、およびすべての極端ユニタリ正の$(pi_A,pi_B)$-共変写像が分解可能であることを証明する。
Phi(rho)=arho+brhoT+fracctextTr(rho)dtextId_d+(1-a-b-c)textdiag(rho)
論文 参考訳(メタデータ) (2023-01-10T08:43:41Z) - Quantum and classical low-degree learning via a dimension-free Remez
inequality [52.12931955662553]
ハイパーグリッド上の関数をポリトーラス上の高調波拡張に関連付ける新しい方法を示す。
巡回群 $exp(2pi i k/K)_k=1K$ の積に対して函数の上限が$f$であることを示す。
我々は最近、超キューブやキュービット上の観測可能な観測値の低次学習を、同様に効率的に行う方法として、EI22, CHP, VZ22を引用して、新しい空間に拡張した。
論文 参考訳(メタデータ) (2023-01-04T04:15:40Z) - The Approximate Degree of DNF and CNF Formulas [95.94432031144716]
すべての$delta>0に対して、$はCNFと近似次数$Omega(n1-delta)の式を構築し、基本的には$nの自明な上限に一致する。
すべての$delta>0$に対して、これらのモデルは$Omega(n1-delta)$、$Omega(n/4kk2)1-delta$、$Omega(n/4kk2)1-delta$が必要です。
論文 参考訳(メタデータ) (2022-09-04T10:01:39Z) - Monogamy of entanglement between cones [43.57338639836868]
モノガミーは量子論の特徴であるだけでなく、凸錐の一般対の極小テンソル積を特徴づけることを示した。
我々の証明は、アフィン同値まで単純化された生成物の新たな特徴を生かしている。
論文 参考訳(メタデータ) (2022-06-23T16:23:59Z) - Tight Quantum Lower Bound for Approximate Counting with Quantum States [49.6558487240078]
Aaronson, Kothari, Kretschmer, Thaler (2020) が考える数え上げ問題の次の変種に対する厳密な下界を証明する。
このタスクは、入力セット$xsubseteq [n]$が$k$か$k'=(1+varepsilon)k$であるかどうかを識別する。
論文 参考訳(メタデータ) (2020-02-17T10:53:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。