論文の概要: Cryptographic tests of the python's lunch conjecture
- arxiv url: http://arxiv.org/abs/2411.10527v2
- Date: Fri, 20 Dec 2024 19:12:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-12-24 15:51:11.730526
- Title: Cryptographic tests of the python's lunch conjecture
- Title(参考訳): ピソンのランチ予想の暗号的検証
- Authors: Alex May, Sabrina Pasterski, Chris Waddell, Michelle Xu,
- Abstract要約: 本研究では,プロジェクティブテンソルネットワークモデルの結果を明らかにするために,シークレットの条件開示と呼ばれるプリミティブに関連する暗号ツールを起動する。
そこで本研究では,適切なCFTサブリージョン間の相互情報は,ランチの形状に関連付けられた領域差によって線形に低くなることを示す。
- 参考スコア(独自算出の注目度): 0.0
- License:
- Abstract: In the AdS/CFT correspondence, a subregion of the CFT allows for the recovery of a corresponding subregion of the bulk known as its entanglement wedge. In some cases, an entanglement wedge contains a locally but not globally minimal surface homologous to the CFT subregion, in which case it is said to contain a python's lunch. It has been proposed that python's lunch geometries should be modelled by tensor networks that feature projective operations where the wedge narrows. This model leads to the python's lunch (PL) conjecture, which asserts that reconstructing information from past the locally minimal surface is computationally difficult. In this work, we invoke cryptographic tools pertaining to a primitive known as the Conditional Disclosure of Secrets (CDS) to develop consequences of the projective tensor network model that can be checked directly in AdS/CFT. We argue from the tensor network picture that the mutual information between appropriate CFT subregions is lower bounded linearly by an area difference associated with the geometry of the lunch. Recalling that the mutual information is also computed by bulk extremal surfaces, this gives a checkable geometrical consequence of the tensor network model. We prove weakened versions of this geometrical statement in asymptotically AdS$_{2+1}$ spacetimes satisfying the null energy condition, and confirm it in some example geometries, supporting the tensor network model and by proxy the PL conjecture. On the other hand, we point out a tension between the PL conjecture and a plausible cryptographically inspired lower bound on the mutual information involving the complexity of reconstructing operators inside the lunch; this suggests the existence of protocols for computationally secure CDS requiring unexpectedly small entanglement.
- Abstract(参考訳): AdS/CFT対応では、CFTのサブリージョンは、その絡み合いウェッジとして知られるバルクの対応するサブリージョンの回復を可能にする。
絡み合いのくさびは、局所的には存在するが、CFT亜領域に準同する世界最小ではない表面を含み、この場合、ピソンの昼食を含んでいると言われている。
ピソンのランチジオメトリは、くさびが狭くなるような射影操作を特徴とするテンソルネットワークによってモデル化されるべきであると提案されている。
このモデルはピソンのランチ(PL)予想を導いており、この予想は、局所的な最小表面の過去の情報を再構成することは計算的に困難であると主張している。
本研究では,AdS/CFTで直接チェック可能なプロジェクティブテンソルネットワークモデルの結果を得るために,CDS(Conditional Disclosure of Secrets)と呼ばれるプリミティブに関連する暗号ツールを起動する。
テンソルネットワーク図から、適切なCFTサブリージョン間の相互情報は、ランチの幾何学に関連した領域差によって線形に下降していると論じる。
相互情報はバルク超曲面によっても計算されていることを思い出すと、テンソルネットワークモデルによるチェック可能な幾何学的結果が得られる。
この幾何学的ステートメントの弱化バージョンを漸近的にAdS$_{2+1}$時空で証明し、テンソルネットワークモデルをサポートしPL予想をプロキシすることで、いくつかの例で確認する。
一方、PL予想と暗号学的にインスパイアされた情報量との緊張関係は、昼食中の演算子の再構成が複雑であるような相互情報に基づくものであり、予期せぬ小さな絡み合いを必要とするCDSを計算的にセキュアにするためのプロトコルの存在を示唆している。
関連論文リスト
- Efficient Sampling on Riemannian Manifolds via Langevin MCMC [51.825900634131486]
本稿では,Gibs 分布 $d pi* = eh d vol_g$ over aian manifold $M$ via (geometric) Langevin MCMC。
この結果は、$pi*$ が非指数的であり、$Mh$ が負のリッチ曲率を持つような一般的な設定に適用できる。
論文 参考訳(メタデータ) (2024-02-15T22:59:14Z) - Sharp Rates in Dependent Learning Theory: Avoiding Sample Size Deflation for the Square Loss [33.18537822803389]
L2$ と $Psi_p$ の位相が我々の仮説クラス $mathscrF$, $mathscrF$ に同値であるときにいつでも、$mathscrF$ は弱準ガウス類であることを示す。
以上の結果から, 混合への直接的な依存は高次項に還元されるため, この問題は実現可能か否かを判断できる。
論文 参考訳(メタデータ) (2024-02-08T18:57:42Z) - Effective Minkowski Dimension of Deep Nonparametric Regression: Function
Approximation and Statistical Theories [70.90012822736988]
ディープ非パラメトリック回帰に関する既存の理論は、入力データが低次元多様体上にある場合、ディープニューラルネットワークは本質的なデータ構造に適応できることを示した。
本稿では,$mathcalS$で表される$mathbbRd$のサブセットに入力データが集中するという緩和された仮定を導入する。
論文 参考訳(メタデータ) (2023-06-26T17:13:31Z) - Planted Bipartite Graph Detection [13.95780443241133]
ランダムグラフに隠れた二部グラフを検出するタスクについて検討する。
ヌル仮説の下では、このグラフは、エッジ密度$q$の$n$上のアードホスラーイランダムグラフの実現である。
k_mathsfR times k_mathsfL$ bipartite subgraph with edge density $p>q$。
論文 参考訳(メタデータ) (2023-02-07T18:18:17Z) - The connected wedge theorem and its consequences [0.0]
我々は、aally AdS$_2+1$ 時空の境界における$n$入力と$n$出力位置を考える$n$-to-$n$連結ウェッジ定理を証明した。
この証明は、ヌル曲率条件を満たす3つのバルク次元と、標準予想を満たす半古典的時空で成り立つ。
量子情報理論は、特定の種類の因果ネットワークにおける情報処理に十分な1つの絡み合いのパターンを明らかにする。
論文 参考訳(メタデータ) (2022-09-30T18:00:04Z) - Entanglement Renormalization of a $T\bar{T}$-deformed CFT [0.0]
直線上の$TbarT$-deformed scalar CFTの基底状態に対するガウス近似を求める。
短距離スケールでの$TbarT$-deformationによって引き起こされる非局所性について論じる。
論文 参考訳(メタデータ) (2022-03-01T09:50:31Z) - A Law of Robustness beyond Isoperimetry [84.33752026418045]
我々は、任意の分布上でニューラルネットワークパラメータを補間する頑健性の低い$Omega(sqrtn/p)$を証明した。
次に、$n=mathrmpoly(d)$のとき、スムーズなデータに対する過度なパラメータ化の利点を示す。
我々は、$n=exp(omega(d))$ のとき、$O(1)$-Lipschitz の頑健な補間関数の存在を否定する。
論文 参考訳(メタデータ) (2022-02-23T16:10:23Z) - Quantum double aspects of surface code models [77.34726150561087]
基礎となる量子double $D(G)$対称性を持つ正方格子上でのフォールトトレラント量子コンピューティングの北エフモデルを再検討する。
有限次元ホップ代数$H$に基づいて、我々の構成がどのように$D(H)$モデルに一般化するかを示す。
論文 参考訳(メタデータ) (2021-06-25T17:03:38Z) - Average-case Complexity of Teaching Convex Polytopes via Halfspace
Queries [55.28642461328172]
平均的なケースの教えの複雑さは$Theta(d)$であり、最悪のケースの教えの複雑さは$Theta(n)$とは対照的である。
我々の洞察は、$phi$-separable dichotomiesの平均ケースの複雑さに厳密な拘束力を確立することを可能にする。
論文 参考訳(メタデータ) (2020-06-25T19:59:24Z) - Stochastic Bandits with Linear Constraints [69.757694218456]
制約付き文脈線形帯域設定について検討し、エージェントの目標は一連のポリシーを作成することである。
楽観的悲観的線形帯域(OPLB)と呼ばれる,この問題に対する高信頼束縛アルゴリズムを提案する。
論文 参考訳(メタデータ) (2020-06-17T22:32:19Z) - Controlled Mather-Thurston theorems [0.0]
その動機は、物理プログラムに数学的基礎を置くことである。
目的は、マクスウェルの$Fwedge Fast$やヒルベルトの$int R dvol$のような曲率項が「歪み」を測る作用に置き換えられる双対性を見つけることである。
論文 参考訳(メタデータ) (2020-05-30T21:53:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。