論文の概要: Resolving the Edge of a Quantum Pyramid
- arxiv url: http://arxiv.org/abs/2606.14698v1
- Date: Fri, 12 Jun 2026 17:59:33 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-15 16:00:43.03012
- Title: Resolving the Edge of a Quantum Pyramid
- Title(参考訳): 量子ピラミッドの端を解く
- Authors: Alvan Arulandu,
- Abstract要約: 我々は,ホレヴォとウトキンのエントロピー不等式を証明し,オボースと平らなピラミッドの最適性を証明した。
オブユースピラミッドにとって、我々の重要な貢献は、対応するエントロピー不等式の局所最小化器が3つの異なる座標値を持つことができないという厳密な証明である。
平坦なピラミッドに対しては、最近予想されたゼロサムベクトルに対して、厳密な$ellp$不等式を証明する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Standing on the shoulders of giants, we resolve the quantum pyramids conjecture, confirming the globally information-optimal measurement for an ensemble of equiangular equiprobable pure states, as conjectured by Englert and Řeháček (arXiv:0905.0510). We do so by proving the remaining entropy inequalities of Holevo and Utkin (arXiv:2506.06700), which certify optimality for obtuse and flat pyramids. For obtuse pyramids, our key contribution is a rigorous proof that local minimizers of the corresponding entropy inequality cannot have three distinct coordinate values. We show that eliminating this family can be reduced to a neat algebraic reciprocal inequality relating branches of the Lambert $W$ function, which may be of independent interest. For flat pyramids, we prove a tight $\ell^p$ inequality for zero-sum vectors that was recently conjectured, proved analytically in dimension $d=3$, and computationally verified for $d\leq 200$ by Holevo and Utkin (arXiv:2603.24017). We prove this bound for all $d\geq 2$ via a technique in symmetric inequalities known as the equal variables method.
- Abstract(参考訳): 巨人の肩の上に立つことで、量子ピラミッド予想を解決し、エングルトとシェハーチェク(arXiv:0905.0510)が予想したように、等角同値な純粋状態のアンサンブルの世界的な情報-最適測定を確認する。
我々はホレヴォとウトキンの残りのエントロピー不等式(arXiv:2506.06700)を証明し、オブスと平坦なピラミッドの最適性を証明した。
オブタスピラミッドにとって、我々の重要な貢献は、対応するエントロピー不等式の局所最小化器が3つの異なる座標値を持つことができないという厳密な証明である。
我々は、この族を排除することは、ランベルト$W$函数の分枝に関連する巧妙な代数的相互不等式に還元できることを示した。
平坦なピラミッドに対しては、最近予想され、次元$d=3$で解析的に証明され、Holevo と Utkin (arXiv:2603.24017) によって$d\leq 200$で計算的に検証されたゼロサムベクトルに対して、厳密な$\ell^p$不等式を証明する。
等式変数法として知られる対称不等式におけるテクニックを通して、すべての$d\geq 2$に対してこの有界性を証明する。
関連論文リスト
- A conjecture on a tight norm inequality in the finite-dimensional l_p [0.0]
単純な定式化を持つが証明が難しい$d$次元空間 $l_p $ のノルムに対する厳密な不等式を提案する。
我々は$d=3$の証明を与え、予想を確認する$dleq 200$の詳細な数値チェックを与える。
論文 参考訳(メタデータ) (2026-03-25T07:24:55Z) - Hardness of High-Dimensional Linear Classification [58.29089693778071]
我々は、最大半空間離散性問題に対する次元下界の新たな指数関数を確立する。
どちらも計算幾何学と機械学習の基本的問題であり、その正確で近似的な形式である。
論文 参考訳(メタデータ) (2026-03-19T15:53:41Z) - The Wehrl-type entropy conjecture for symmetric $SU(N)$ coherent states: cases of equality and stability [0.0]
対称$SU(N)$表現に対して、対応するWehrl型エントロピーはコヒーレント状態によって最小化されることを示す。
リーブとソロヴェイによる境界の鋭い定量的形式も証明されている。
論文 参考訳(メタデータ) (2024-12-14T19:33:08Z) - Dimension-free discretizations of the uniform norm by small product sets [45.85600902330814]
ベルンシュタインの古典的不等式は、単位円上の最高ノルムの$f$と、その最高ノルムの$K$-階根のサンプリング集合上の最高ノルムと比較する。
次元自由離散化は、濃度が$deg(f)$とは独立なサンプリング集合で可能であり、代わりに$f$の最大個人次数によって支配されることを示す。
論文 参考訳(メタデータ) (2023-10-11T22:46:09Z) - Rigorous derivation of the Efimov effect in a simple model [68.8204255655161]
我々は、2体ゼロレンジ相互作用と、与えられた半径$a>0$の3体ハードコア反発を持つ$mathbbR3$の3つの同一ボソンの系を考える。
論文 参考訳(メタデータ) (2023-06-21T10:11:28Z) - Tip of the Quantum Entropy Cone [1.1606619391009658]
N$-partite量子系の異なる部分のフォン・ノイマンエントロピー間の関係は、様々な状況の理解に直接的な影響を与える。
任意の整数倍数へのエントロピーベクトルのアップスケールは常に可能であるが、任意のサイズのエントロピーベクトルをダウンスケールすることは必ずしも不可能である。
論文 参考訳(メタデータ) (2023-05-31T21:37:24Z) - Constructions of $k$-uniform states in heterogeneous systems [65.63939256159891]
一般の$k$に対して、異種系において$k$-一様状態を構成するための2つの一般的な方法を提案する。
我々は、各サブシステムの局所次元が素数となるような多くの新しい$k$一様状態を生成することができる。
論文 参考訳(メタデータ) (2023-05-22T06:58:16Z) - Near-optimal fitting of ellipsoids to random points [68.12685213894112]
楕円体をランダムな点に合わせるという基本的な問題は、低ランク行列分解、独立成分分析、主成分分析に関係している。
我々はこの予想を、ある$n = Omega(, d2/mathrmpolylog(d))$ に対する適合楕円体を構成することで対数的因子まで解決する。
我々の証明は、ある非標準確率行列の便利な分解を用いて、サンダーソン等最小二乗構成の実現可能性を示す。
論文 参考訳(メタデータ) (2022-08-19T18:00:34Z) - Leveraged Matrix Completion with Noise [84.20092979053119]
未知の$ntimes n$ matrix of rank $r$ from just $mathcalO(nrlog2 (n))$ entry.
我々の証明は、ゴルフスキームに基づく十分な最適条件を記述する新しいアプローチによって支持されている。
論文 参考訳(メタデータ) (2020-11-11T16:25:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。