論文の概要: Linear Programming Bounds on $k$-Uniform States
- arxiv url: http://arxiv.org/abs/2503.02222v1
- Date: Tue, 04 Mar 2025 02:53:55 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-03-05 19:17:18.180490
- Title: Linear Programming Bounds on $k$-Uniform States
- Title(参考訳): $k$-uniform States上の線形プログラミング境界
- Authors: Yu Ning, Fei Shi, Tao Luo, Xiande Zhang,
- Abstract要約: k$一様状態の存在は、いくつかの量子情報タスクに応用されているため、広く研究されている問題である。
我々は、いくつかの改良された非存在結果と$k$-一様状態のバウンダリを確立する。
- 参考スコア(独自算出の注目度): 13.489334588619041
- License:
- Abstract: The existence of $k$-uniform states has been a widely studied problem due to their applications in several quantum information tasks and their close relation to combinatorial objects like Latin squares and orthogonal arrays. With the machinery of quantum enumerators and linear programming, we establish several improved non-existence results and bounds on $k$-uniform states. 1. First, for any fixed $l\geq 1$ and $q\geq 2$, we show that there exists a constant $c$ such that $(\left\lfloor{n/2}\right\rfloor-l)$-uniform states in $(\mathbb{C}^q)^{\otimes n}$ do not exist when $n\geq cq^2+o(q^2)$. The constant $c$ equals $4$ when $l=1$ and $6$ when $l=2$, which generalizes Scott's bound (2004) for $l=0$. 2. Second, when $n$ is sufficiently large, we show that there exists a constant $\theta<1/2$ for each $q \le 9$, such that $k$-uniform states in $(\mathbb{C}^q)^{\otimes n}$ exist only when $k\leq \theta n$. In particular, this provides the first bound (to the best of our knowledge) of $k$ for $4\leq q\leq 9$ and confirms a conjecture posed by Shi et al. (2023) when $q=5$ in a stronger form. 3. Finally, we improve the shadow bounds given by Shi et al. (2023) by a constant for $q = 3,4,5$ and small $n$. When $q=4$, our results can update some bounds listed in the code tables maintained by Grassl (2007--2024).
- Abstract(参考訳): k$一様状態の存在は、いくつかの量子情報タスクにおけるそれらの応用とラテン四角形や直交配列のような組合せ対象との密接な関係から、広く研究されている問題である。
量子列挙子と線形プログラミングの機械を用いて、いくつかの改良された非存在結果と$k$一様状態のバウンドを確立する。
1. まず、固定された$l\geq 1$と$q\geq 2$に対して、$(\left\lfloor{n/2}\right\rfloor-l)$-uniform state in $(\mathbb{C}^q)^{\otimes n}$が存在しないのは、$n\geq cq^2+o(q^2)$のときである。
定数$c$は$l=1$のとき4ドル、$l=2$のとき6ドルであり、スコットの境界(2004年)を$l=0$で一般化する。
2. 第二に、$n$が十分大きいとき、各$q \le 9$に対して定数$\theta<1/2$が存在し、$k$-uniform state in $(\mathbb{C}^q)^{\otimes n}$は$k\leq \theta n$のときのみ存在することを示す。
特に、これは4\leq q\leq 9$に対して$k$の最初の(私たちの知る限りの)境界を提供し、より強い形式で$q=5$であるときに Shi et al (2023) によって予想される予想を確認する。
最後に、Shi et al (2023) によって与えられるシャドウ境界を、$q = 3,4,5$ と small $n$ の定数で改善する。
q=4$の場合には、Grassl (2007-2024) が保持するコードテーブルにリストされているいくつかのバウンダリを更新できます。
関連論文リスト
- Towards a universal gateset for $\mathsf{QMA}_1$ [0.0]
我々は、シクロトミック場 $mathbbQ(zeta_2k),zeta_2k=e2pi i/2k$, $G_2k$ のすべてのゲートセットに対して、$mathbbQ(zeta_2k),zeta_2k=e2pi i/2k$ のすべてのゲートセットが普遍であることを証明する。
また、キングによって定義されたガッペド・クリッドホモロジー問題も証明する。
論文 参考訳(メタデータ) (2024-11-04T23:39:27Z) - The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
この問題は通信複雑性のランダム化を$Omega(frac1kcdot n2log|mathbbF|)$とする。
アプリケーションとして、$k$パスを持つ任意のストリーミングアルゴリズムに対して、$Omega(frac1kcdot n2log|mathbbF|)$スペースローバウンドを得る。
論文 参考訳(メタデータ) (2024-10-26T06:21:42Z) - LevAttention: Time, Space, and Streaming Efficient Algorithm for Heavy Attentions [54.54897832889028]
任意の$K$に対して、$n$とは独立に「普遍集合」$Uサブセット[n]$が存在し、任意の$Q$と任意の行$i$に対して、大きな注目スコアが$A_i,j$ in row $i$ of $A$は全て$jin U$を持つことを示す。
我々は、視覚変換器のスキームの利点を実証的に示し、トレーニング中に我々の普遍的なセットを使用する新しいモデルのトレーニング方法を示した。
論文 参考訳(メタデータ) (2024-10-07T19:47:13Z) - 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) - $\ell_p$-Regression in the Arbitrary Partition Model of Communication [59.89387020011663]
コーディネータモデルにおける分散$ell_p$-regression問題のランダム化通信複雑性について考察する。
p = 2$、すなわち最小二乗回帰の場合、$tildeTheta(sd2 + sd/epsilon)$ bitsの最初の最適境界を与える。
p in (1,2)$ に対して、$tildeO(sd2/epsilon + sd/mathrmpoly(epsilon)$ upper bound を得る。
論文 参考訳(メタデータ) (2023-07-11T08:51:53Z) - Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
状態の量子多様体のすべての性質がゲージ不変のバーグマンによって完全に記述されることを示す。
偏光理論への我々の結果の即時適用について述べる。
論文 参考訳(メタデータ) (2022-05-30T18:01:34Z) - Optimal SQ Lower Bounds for Learning Halfspaces with Massart Noise [9.378684220920562]
マスアートノイズの存在下でハーフスペースを学習するための、最も厳密な統計クエリ(SQ)の下界。
任意の $eta in [0,1/2]$ に対して、$eta$ よりも誤り分類誤差の少ない全ての SQ アルゴリズムは、スーパーポリノミカルな精度のクエリを必要とすることを示す。
論文 参考訳(メタデータ) (2022-01-24T17:33:19Z) - An Optimal Separation of Randomized and Quantum Query Complexity [67.19751155411075]
すべての決定木に対して、与えられた順序 $ellsqrtbinomdell (1+log n)ell-1,$ sum to at least $cellsqrtbinomdell (1+log n)ell-1,$ where $n$ is the number of variables, $d$ is the tree depth, $c>0$ is a absolute constant。
論文 参考訳(メタデータ) (2020-08-24T06:50:57Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。