We study the space of Killing fields on the four dimensional AdS spacetime AdS 3,1 . Two subsets S and O are identified: S (the spinor Killing fields) is constructed from imaginary Killing spinors, and O (the observer Killing fields) consists of all hypersurface orthogonal, future timelike unit Killing fields. When the cosmology constant vanishes, or in the Minkowski spacetime case, these two subsets have the same convex hull in the space of Killing fields. In presence of the cosmology constant, the convex hull of O is properly contained in that of S . This leads to two different notions of energy for an asymptotically AdS spacetime, the spinor energy and the observer energy. In [10], Chru\'sciel, Maerten and Tod proved the positivity of the spinor energy and derived important consequences among the related conserved quantities. We show that the positivity of the observer energy follows from the positivity of the spinor energy. A new notion called the "rest mass" of an asymptotically AdS spacetime is then defined by minimizing the observer energy, and is shown to be evaluated in terms of the adjoint representation of the Lie algebra of Killing fields. It is proved that the rest mass has the desirable rigidity property that characterizes the AdS spacetime.

No abstract uploaded!

We explore the fine structure of the holographic entanglement entropy proposal (the Ryu-Takayanagi formula) in AdS$_3$/CFT$_{2}$. With the guidance from the boundary and bulk modular flows we find a natural slicing of the entanglement wedge with the modular planes, which are co-dimension one bulk surfaces tangent to the modular flow everywhere. This gives an one-to-one correspondence between the points on the boundary interval $\mathcal{A}$ and the points on the Ryu-Takayanagi (RT) surface $\mathcal{E}_{\mathcal{A}}$. In the same sense an arbitrary subinterval $\mathcal{A}_2$ of $\mathcal{A}$ will correspond to a subinterval $\mathcal{E}_2$ of $\mathcal{E}_{\mathcal{A}}$. This fine correspondence indicates that the length of $\mathcal{E}_2$ captures the contribution $s_{\mathcal{A}}(\mathcal{A}_2)$ from $\mathcal{A}_2$ to the entanglement entropy $S_{\mathcal{A}}$, hence gives the contour function for entanglement entropy. Furthermore we propose that $s_{\mathcal{A}}(\mathcal{A}_2)$ in general can be written as a simple linear combination of entanglement entropies of single intervals inside $\mathcal{A}$. This proposal passes several non-trivial tests.

Nonconvex reformulations via low-rank factorization for stochastic convex semidefinite optimization problem have attracted arising attention due to their empirical efficiency and scalability. Compared with the original convex formulations, the nonconvex ones typically involve much fewer variables, allowing them to scale to scenarios with millions of variables. However, it opens a new challenge that under what conditions the nonconvex stochastic algorithms may find the population minimizer within the optimal statistical precision despite their empirical success in applications. In this paper, we provide an answer that the stochastic gradient descent (SGD) method can be adapted to solve the nonconvex reformulation of the original convex problem, with a global linear convergence when using a fixed step size, i.e., converging exponentially fast to the population minimizer within an optimal statistical precision in the restricted strongly convex case. If a diminishing step size is adopted, the bad effect caused by the variance of gradients on the optimization error can be eliminated but the rate is dropped to be sublinear. The core of our treatment relies on a novel second-order descent lemma, which is more general than the existing best result in the literature and improves the analysis on both online and batch algorithms. The developed theoretical results and effectiveness of the suggested SGD are also verified by a series of experiments.

No abstract uploaded!