arXiv subjects

Alessio Ranallo

Publications and source records attributed to Alessio Ranallo.

8 recordsLinked to original sources

arXiv2026

The Euclidean $\phi^4_2$ theory as a limit of an inhomogeneous Bose gas

We prove that the grand canonical Gibbs state of an interacting two-dimensional quantum Bose gas confined by a trapping potential converges to the complex Euclidean field theory with local quartic self-interaction, when the density of the gas becomes large and the range of the interaction becomes small. We obtain convergence of the relative partition function and convergence in $L^1 \cap L^\infty$ of the renormalised reduced density matrices. The field theory is supported on distributions of negative regularity, which requires a renormalisation by divergent mass and energy counterterms. Unlike previous results in the homogeneous setting of the torus without a trapping potential, the counterterms are not given by a finite collection of scalars but by diverging counterterm functions. This leads to significant new mathematical challenges. For our proof, we also derive quantitative bounds on the Green function of Schr\"odinger operators and of its gradient, which might be of independent interest.

math-ph↗

arXiv2025

The modular Hamiltonian in asymptotically flat spacetime conformal to Minkowski

We consider a four-dimensional globally hyperbolic spacetime $(M,g)$ conformal to Minkowski spacetime, together with a massless, conformally coupled scalar field. Using a bulk-to-boundary correspondence, one can establish the existence of an injective $*$-homomorphism $\Upsilon_M$ between $\mathcal{W}(M)$, the Weyl algebra of observables on $M$ and a counterpart which is defined intrinsically on future null infinity $\Im^+\simeq\mathbb{R}\times\mathbb{S}^2$, a component of the conformal boundary of $(M,g)$. Using invariance under the asymptotic symmetry group of $\Im^+$, we can individuate thereon a distinguished two-point correlation function whose pull-back to $M$ via $\Upsilon_M$ identifies a quasi-free Hadamard state for the bulk algebra of observables. In this setting, if we consider $\mathsf{V}^+_x$, a future light cone stemming from $x\in M$ as well as $\mathcal{W}(\mathsf{V}^+_x)=\mathcal{W}(M)|_{\mathsf{V}^+_x}$, its counterpart at the boundary is the Weyl subalgebra generated by suitable functions localized in $\mathsf{K}_x$, a positive half strip on $\Im^+$. To each such cone, we associate a standard subspace of the boundary one-particle Hilbert space, which coincides with the one associated naturally to $\mathsf{K}_x$. We extend such correspondence replacing $\mathsf{K}_x$ and $\mathsf{V}^+_x$ with deformed counterparts, denoted by $\mathsf{S}_C$ and $\mathsf{V}_C$. In addition, since the one particle Hilbert space at the boundary decomposes as a direct integral on the sphere of $U(1)$-currents defined on the real line, we prove that also the generator of the modular group associated to the standard subspace of $\mathsf{V}_C$ decomposes as a suitable direct integral. This result allows us to study the relative entropy between coherent states of the algebras associated to the deformed cones $\mathsf{V}_C$ establishing the quantum null energy condition.

math-ph↗

arXiv2025

Low energy spectrum of the XXZ model coupled to a magnetic field

For a class of Hamiltonians of $XXZ$ spin chains in a uniform external magnetic field that are small quantum perturbations of an Ising Hamiltonian, it is shown that the spectral gap above the ground-state energy remains strictly positive when the perturbation is turned on, uniformly in the length of the chain. This result is proven for perturbations of both the ferromagnetic and the antiferromagnetic Ising Hamiltonian. In the antiferromagnetic case, the external magnetic field is required to be small. For a chain of an even number of sites, the two-fold degenerate ground-state energy of the unperturbed antiferromagnetic Hamiltonian may split into two energy levels separated by a very small gap. These results are proven by using a new, quite subtle refinement of a method developed in earlier work and used to iteratively block-diagonalize Hamiltonians of systems confined to ever larger subsets of a lattice by using strictly local unitary conjugations. The new method developed in this paper provides complete control of boundary effects on the low-energy spectrum of perturbed Ising chains uniformly in their length.

math-ph↗

arXiv2024

Boundary effects and the stability of the low energy spectrum of the AKLT model

In this paper we study the low-lying spectrum of the AKLT model perturbed by small, finite-range potentials and with open boundary conditions imposed at the edges of the chain. Our analysis is based on the \emph{local, iterative Lie Schwinger block-diagonalization method} which allows us to control small interaction terms localized near the boundary of the chain that are responsible for the possible splitting of the ground-state energy of the AKLT Hamiltonian into energy levels separated by small gaps. This improves earlier results concerning the persistence of the so called \emph{bulk} gap in these models, besides illustrating the power of our general methods in a non-trivial application.

math-ph↗

arXiv2024

Relative entropy and curved spacetimes

Given any half-sided modular inclusion of standard subspaces, we show that the entropy function associated with the decreasing one-parameter family of translated standard subspaces is convex for any given (not necessarily smooth) vector in the underlying Hilbert space. In second quantisation, this infers the convexity of the vacuum relative entropy with respect to the translation parameter of the modular tunnel of von Neumann algebras. This result allows us to study the QNEC inequality for coherent states in a free Quantum Field Theory on a stationary curved spacetime, given a KMS state. To this end, we define wedge regions and appropriate (deformed) subregions. Examples are given by the Schwarzschild spacetime and null translated subregions with respect to the time translation Killing flow. More generally, we define wedge and stripe regions on a globally hyperbolic spacetime, so to have non trivial modular inclusions of von Neumann algebras, and make our analysis in this context.

math-ph↗

arXiv2023

Two Results in the Quantum Theory of Measurements

Two theorems with applications to the quantum theory of measurements are stated and proven. The first one clarifies and amends von Neumann's Measurement Postulate used in the Copenhagen interpretation of quantum mechanics. The second one clarifies the relationship between ``events'' and ``measurements'' and the meaning of measurements in the $ETH$-Approach to quantum mechanics.

quant-ph↗

arXiv2023

Complexity in algebraic QFT

We consider a notion of complexity of quantum channels in relativistic continuum quantum field theory (QFT) defined by the distance to the trivial (identity) channel. Our distance measure is based on a specific divergence between quantum channels derived from the Belavkin-Staszewski (BS) divergence. We prove in the prerequisite generality necessary for the algebras in QFT that the corresponding complexity has several reasonable properties: (i) the complexity of a composite channel is not larger than the sum of its parts, (ii) it is additive for channels localized in spacelike separated regions, (iii) it is convex, (iv) for an $N$-ary measurement channel it is $\log N$, (v) for a conditional expectation associated with an inclusion of QFTs with finite Jones index it is given by $\log (\text{Jones Index})$. The main technical tool in our work is a new variational principle for the BS divergence.

quant-ph↗

arXiv2023

Bayesian inversion and the Tomita-Takesaki modular group

We show that conditional expectations, optimal hypotheses, disintegrations, and adjoints of unital completely positive maps, are all instances of Bayesian inverses. We study the existence of the latter by means of the Tomita-Takesaki modular group and we provide extensions of a theorem of Takesaki as well as a theorem of Accardi and Cecchini to the setting of not necessarily faithful states on finite-dimensional $C^*$-algebras.

math.OA↗