Annales Henri Poincaré最新文献

We study the stochastic six-vertex model in half-space with generic integrable boundary weights, and define two families of multivariate rational symmetric functions. Using commutation relations between double-row operators, we prove a skew Cauchy identity of these functions. In a certain degeneration of the right-hand side of the Cauchy identity we obtain the partition function of the six-vertex model in a half-quadrant, and give a Pfaffian formula for this quantity. The Pfaffian is a direct generalization of a formula obtained by Kuperberg in his work on symmetry classes of alternating-sign matrices. One of our families of symmetric functions admits an integral (sum over residues) formula, and we use this to conjecture an orthogonality property of the dual family. We conclude by studying the reduction of our integral formula to transition probabilities of the (initially empty) asymmetric simple exclusion process on the half-line.

We are concerned with the semi-classical limit for ground states of the relativistic Hartree–Fock energies (HF) under a mass constraint, which are considered as the quantum mean-field model of white dwarfs (Lenzmann and Lewin in Duke Math J 152:257–315, 2010). In Jang and Seok (Kinet Relat Models 15:605–620, 2022), fermionic ground states of the relativistic Vlasov–Poisson energy (VP) are constructed as a classical mean-field model of white dwarfs, and are shown to be equivalent to the classical Chandrasekhar model. In this paper, we prove that as the reduced Planck constant (hbar ) goes to the zero, the (hbar )-parameter family of the ground energies and states of (HF) converges to the fermionic ground energy and state of (VP) with the same mass constraint.

The time separation function (or Lorentzian distance function) is a fundamental tool used in Lorentzian geometry. For smooth spacetimes it is known to be lower semicontinuous, and, in fact, continuous for globally hyperbolic spacetimes. Moreover, an axiom for Lorentzian length spaces—a synthetic approach to Lorentzian geometry—is the existence of a lower semicontinuous time separation function. Nevertheless, the usual time separation function is not necessarily lower semicontinuous for (C^0) spacetimes due to bubbling phenomena. In this paper, we introduce a class of curves called “nearly timelike” and show that the time separation function for (C^0) spacetimes is lower semicontinuous when defined with respect to nearly timelike curves. Moreover, this time separation function agrees with the usual one when the metric is smooth. Lastly, sufficient conditions are found guaranteeing the existence of nearly timelike maximizers between two points in a (C^0) spacetime.

We study the dynamics of many-body Fermi systems, for a class of initial data which are close to quasi-free states exhibiting a nonvanishing pairing matrix. We focus on the mean-field scaling, which for fermionic systems is naturally coupled with a semiclassical scaling. Under the assumption that the initial datum enjoys a suitable semiclassical structure, we give a rigorous derivation of the time-dependent Hartree-Fock-Bogoliubov equation, a nonlinear effective evolution equation for the generalized one-particle density matrix of the system, as the number of particles goes to infinity. Our result holds for all macroscopic times, and provides bounds for the rate of convergence.

We propose a new geometric framework to address the stability of the Kerr solution to gravitational perturbations in the full sub-extremal range (|a|<M). Central to our framework is a new formulation of nonlinear gravitational perturbations of Kerr, whose two novel ingredients are the choice of a geometric gauge and non-integrable null frames both tailored to the outgoing principal null geodesics of Kerr. The vacuum Einstein equations for the perturbations are formulated in our gauge as a system of equations for the connection coefficients and curvature components relative to the chosen frames. When renormalised with respect to Kerr, the null structure equations with the form of outgoing transport equations do not possess any derivatives of renormalised connection coefficients on the right hand side. In this work, we derive the linearised vacuum Einstein equations around Kerr in the new framework. The system of linearised gravity exhibits two key structural properties. The first is well-known and consists of the exact decoupling of two gauge invariant linearised quantities in the system, satisfying two decoupled spin (pm , 2) Teukolsky equations. The second is a new, gauge dependent structure in the outgoing transport equations for the linearised connection coefficients inherited from the nonlinear system: Unlike previous works, these equations do not contain any derivatives of linearised connection coefficients on the right hand side and induce a new hierarchy of only outgoing transport equations including all gauge dependent linearised quantities. Our new framework is designed to effectively capture the stabilising properties of the red-shifted transport equations, thereby isolating one of the crucial structures of the problem. Such a feature is suggestive of future simplifications in the analysis. As an illustration, our companion work (Benomio in A new gauge for gravitational perturbations of Kerr spacetimes II: The linear stability of Schwarzschild revisited, 2022) employs the system of linearised gravity and its enhanced red-shifted transport equations, specialised to the (|a|=0) case, to produce a new simplified proof of linear stability of the Schwarzschild solution. The full linear stability analysis in the full sub-extremal range (|a|<M) is deferred to future work. As already apparent from (Benomio 2022), our framework will allow to combine the new structure in the transport equations with the elliptic part of the system to establish a linear orbital stability result without loss of derivatives, indicating that the framework may be well suited to address nonlinear stability in the full sub-extremal range (|a|<M).

In this work, we identify stable perturbations of k-self-similar naked singularities, in the full parameter range (k^2 in (0, frac{1}{3}).) As a consequence, we provide a dynamical construction of naked singularity interior and exterior regions outside of exact self-similarity, extending the work of Chrisotodoulou (Ann Math 140:607–653, 1994). More generally, we consider a wide range of singular spacetimes satisfying self-similar bounds, and parameterize perturbations in terms of fine-tuned data for the scalar field along the past lightcone of the singularity. This data is required to satisfy conditions consistent with the absence of a blue-shift instability and is therefore non-generic. The argument combines a backwards stability argument in the interior region with a global existence problem in the exterior region, adapting techniques developed by Rodnianski and Shlapentokh-Rothman (Naked singularities for the Einstein vacuum equations: the exterior solution. arXiv:1912.08478. 2019) to the spherically symmetric setting.

The open Milne cosmological spacetime has a 3-dimensional Cauchy surface isometric to the (non-compact) hyperbolic space. We prove the globally nonlinear stability of the open Milne spacetime for both massive and massless Einstein-scalar field equations and show that as time goes to infinity, the spatial metric tends to the hyperbolic metric. The proof is based on the Gaussian normal coordinates, in which the decay rates of gravity are determined by the expanding geometry of Milne spacetime.

In this article a description of the reduced phase space of the standard model coupled to gravity is given. For space or time-like boundaries this is achieved as the reduction of a symplectic space with respect to a coisotropic submanifold and with the BFV formalism. For light-like boundaries the reduced phase space is described as the reduction of a symplectic manifold with respect to a set of constraints. Some results about the Poisson brackets of sums of functionals are also proved.

Hawking’s local rigidity theorem, proven in the smooth setting by Alexakis-Ionescu-Klainerman, says that the event horizon of any stationary non-extremal black hole is a non-degenerate Killing horizon. In this paper, we prove that the full asymptotic expansion of any smooth vacuum metric at a non-degenerate Killing horizon is determined by the geometry of the horizon. This gives a new perspective on the black hole uniqueness conjecture. In spacetime dimension 4, we also prove an existence theorem: Given any non-degenerate horizon geometry, Einstein’s vacuum equations can be solved to infinite order at the horizon in a unique way (up to isometry). The latter is a gauge invariant version of Moncrief’s classical existence result, without any restriction on the topology of the horizon. In the real analytic setting, the asymptotic expansion is shown to converge and we get well-posedness of this characteristic Cauchy problem.

The asymptotic restriction problem for tensors can be reduced to finding all parameters that are normalized, monotone under restrictions, additive under direct sums and multiplicative under tensor products, the simplest of which are the flattening ranks. Over the complex numbers, a refinement of this problem, originating in the theory of quantum entanglement, is to find the optimal rate of entanglement transformations as a function of the error exponent. This trade-off can also be characterized in terms of the set of normalized, additive, multiplicative functionals that are monotone in a suitable sense, which includes the restriction-monotones as well. For example, the flattening ranks generalize to the (exponentiated) Rényi entanglement entropies of order (alpha in [0,1]). More complicated parameters of this type are known, which interpolate between the flattening ranks or Rényi entropies for special bipartitions, with one of the parts being a single tensor factor. We introduce a new construction of subadditive and submultiplicative monotones in terms of a regularized Rényi divergence between many copies of the pure state represented by the tensor and a suitable sequence of positive operators. We give explicit families of operators that correspond to the flattening-based functionals, and show that they can be combined in a nontrivial way using weighted operator geometric means. This leads to a new characterization of the previously known additive and multiplicative monotones, and gives new submultiplicative and subadditive monotones that interpolate between the Rényi entropies for all bipartitions. We show that for each such monotone there exist pointwise smaller multiplicative and additive ones as well. In addition, we find lower bounds on the new functionals that are superadditive and supermultiplicative.