Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2501.17222

Nesting is not Contracting

Bartlomiej Czech·Sirui Shuai
View original source ↗Read source document ↗Export metadata ↓

Abstract

The default way of proving holographic entropy inequalities is the contraction method. It divides Ryu-Takayanagi (RT) surfaces on the `greater than' side of the inequality into segments, then glues the segments into candidate RT surfaces for terms on the `less than' side. Here we discuss how proofs by contraction are constrained and informed by entanglement wedge nesting (EWN) -- the property that enlarging a boundary region can only enlarge its entanglement wedge. We propose that: (i) all proofs by contraction necessarily involve candidate RT surfaces, which violate EWN; (ii) violations of EWN in contraction proofs of maximally tight inequalities occur commonly and -- where this can be quantified -- with maximal density near boundary conditions; (iii) the non-uniqueness of proofs by contraction reflects inequivalent ways of violating EWN. As evidence and illustration, we study the recently discovered infinite families of holographic entropy inequalities, which are associated with tessellations of the torus and the projective plane. We explain the logic, which underlies their proofs by contraction. We find that all salient aspects of the requisite contraction maps are dictated by EWN while all their variable aspects set the scheme for how to violate EWN. We comment on whether the tension between EWN and contraction maps might help in characterizing maximally tight holographic entropy inequalities.

Explore related subjects

hep-thquant-ph

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bartlomiej Czech, Sirui Shuai. 2025-01-28. Nesting is not Contracting. https://arxiv.org/abs/2501.17222

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Off-shell recursion for all-loop planar integrands in Yang-Mills theory

In this paper, we develop in detail the off-shell recursion for planar loop integrands in Yang-Mills theory. Starting from the classical equations of motion solved with the perturbiner method, we derive an exact transfer-matrix representation of the pure-gluon sector. We then include the ghost contributions to the loop kernels based on \cite{Tao:2025fch}. Finally, as an example, we work out the two-loop recursion in detail and conclude a general recursion strategy for two-loop planar integrands whose external legs are gluons.

hep-th↗
arXiv2026

Criticality of ISCOs and AdS/CFT

We study the trajectories of massive particles in spherically symmetric black holes in arbitrary dimensions, and find certain universal features based on the topological classification of the fixed points. If the system admits a center, we find two possible outcomes: regardless of the value of the angular momentum, the center always survives, which is realized in global AdS spacetimes or, the center disappears below a critical value of angular momentum, which happens for various spherically symmetric black holes. For the latter case, we find that irrespective of the details of the black hole, there must always be a saddle point. Topological arguments show that there exists a certain critical value of energy, angular momentum and the angular velocity, where the center and the saddle coalesce. This happens at a special point in the parameter space where the trajectories are the limiting innermost stable circular orbits (ISCOs). At the critical point, conserved quantities show universal, van der Waals-like mean-field scaling typical of a second-order phase transition. The anomalous dimensions $γ$ of the double-twist operators in the CFT are found, both using AdS/CFT and through the the heavy-heavy-light-light four point correlators, giving negative and positive values for the center and saddle, respectively, including the emergence of certain non-analytic behaviour at the ISCO. For the center, we also find subleading corrections in $\frac{1}{Δ_H}$ to $γ$ in the dual CFT, and dsicuss the implications of our results.

hep-th↗
arXiv2026

Constraining F-theory Model Building with QCD Axions

In this paper, we investigate axion physics in 4D F-theory MSSM models. We derive the axion coupling term with QCD gauge fields and the axion potential from a top-down perspective, from both IIB superstring and the dual M-theory picture. For the explicit geometric model, we employ the "quadrillion" landscape of 4D F-theory models with the exact Standard Model chiral spectrum, and study simple base threefolds such as $\mathbb{P}^3$, $\mathbb{P}^1\times\mathbb{P}^2$, the generalized Hirzebruch threefold $\tilde{\mathbb{F}}_3$ and $\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$. We derive exclusion constraints on the Kähler moduli space of the base threefold from the CP violation angle, the Standard Model gauge coupling constants and the stretched Kähler cone condition. We find stringent constraints on the set of base divisors that should be rigid or rigidified by the inclusion of flux. For the allowed regions of the parameter space, we estimate the typical mass of detectable QCD axions to be around $10^{-9}$eV, and the axion decay constant to be around $f_a\sim 10^{15}$GeV.

hep-th↗