Weak Minimal Area in Entanglement Entropy

We revisit the minimal area condition of Ryu-Takayanagi in the holographic calculation of the entanglement entropy, in particular, the Legendre test and the Jacobi test. The necessary condition for the weak minimality is checked via Legendre test and its sufficient nature via Jacobi test. We show for AdS black hole with a strip type entangling region that it is this minimality condition that makes the hypersurface unable to cross the horizon, which is in agreement with that studied earlier by Engelhardt et al. and Hubeny using a different approach. Moreover, demanding the weak minimality condition on the entanglement entropy functional with the higher derivative term puts a constraint on the Gauss-Bonnet coupling; that is, there should be an upper bound on the value of the coupling,λa<(d-3)/4(d-1).

A monotonicity theorem for dp-minimal densely ordered groups

Dp-minimality is a common generalization of weak minimality and weak o-minimality. If T is a weakly o-minimal theory then it is dp-minimal (Fact 2.2), but there are dp-minimal densely ordered groups that are not weakly o-minimal. We introduce the even more general notion of inp-minimality and prove that in an inp-minimal densely ordered group, every definable unary function is a union of finitely many continuous locally monotonic functions (Theorem 3.2).