No Arabic abstract
We prove several geometric theorems using tools from the theory of convex optimization. In the Riemannian setting, we prove the max flow-min cut theorem for boundary regions, applied recently to develop a bit-thread interpretation of holographic entanglement entropies. We also prove various properties of the max flow and min cut, including respective nesting properties. In the Lorentzian setting, we prove the analogous min flow-max cut theorem, which states that the volume of a maximal slice equals the flux of a minimal flow, where a flow is defined as a divergenceless timelike vector field with norm at least 1. This theorem includes as a special case a continuum version of Dilworths theorem from the theory of partially ordered sets. We include a brief review of the necessary tools from the theory of convex optimization, in particular Lagrangian duality and convex relaxation.
The continuous min flow-max cut principle is used to reformulate the complexity=volume conjecture using Lorentzian flows -- divergenceless norm-bounded timelike vector fields whose minimum flux through a boundary subregion is equal to the volume of the homologous maximal bulk Cauchy slice. The nesting property is used to show the rate of complexity is bounded below by conditional complexity, describing a multi-step optimization with intermediate and final target states. Conceptually, discretized Lorentzian flows are interpreted in terms of threads or gatelines such that complexity is equal to the minimum number of gatelines used to prepare a CFT state by an optimal tensor network (TN) discretizing the state. We propose a refined measure of complexity, capturing the role of suboptimal TNs, as an ensemble average. The bulk symplectic potential provides a canonical thread configuration characterizing perturbations around arbitrary CFT states. Its consistency requires the bulk to obey linearized Einsteins equations, which are shown to be equivalent to the holographic first law of complexity, thereby advocating a notion of spacetime complexity.
We consider the consequences of the dual gravitational charges for the phase space of radiating modes, and find that they imply a new soft NUT theorem. In particular, we argue that the existence of these new charges removes the need for imposing boundary conditions at spacelike infinity that would otherwise preclude the existence of NUT charges.
We show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate wea
We analyze the single subleading soft graviton theorem in $(d+1)$ dimensions under compactification on $S^1$. This produces the single soft theorems for the graviton, vector and scalar fields in $d$ dimension. For the compactification of $11$-dimensional supergravity theory, this gives the soft factorization properties of the single graviton, dilaton and RR 1-form fields in type IIA string theory in ten dimensions. For the case of the soft vector field, we also explicitly check the result obtained from compactification by computing the amplitudes with external massive spin two and massless finite energy states interacting with soft vector field. The former are the Kaluza-Klein excitations of the $d+1$ dimensional metric. Describing the interaction of the KK-modes with the vector field at each level by the minimally coupled Fierz-Pauli Lagrangian, we find agreement with the results obtained from the compactification if the gyromagnetic ratio in the minimally coupled Fierz-Pauli Lagrangian is taken to be $g=1$.
We show that the first law for the rotating Taub-NUT is straightforwardly established with the surface charge method. The entropy is explicitly found as a charge, and its value is not proportional to the horizon area. We conclude that there are unavoidable contributions from the Misner strings to the charges, still, the mass and angular momentum gets standard values. However, there are no independent charges associated with the Misner strings.