A quantitative Hohenberg-Kohn theorem and the unexpected regularity of density functional theory in one spatial dimension

• URL: http://arxiv.org/abs/2512.04726v1
• Date: Thu, 04 Dec 2025 12:08:20 GMT
• Title: A quantitative Hohenberg-Kohn theorem and the unexpected regularity of density functional theory in one spatial dimension
• Authors: Thiago Carvalho Corso, Andre Laestadius,
• Abstract summary: We investigate the (Kohn-Sham) density-to-potential map in the case of spinless fermions in one spatial dimension.<n>We show that this map is Lipschitz continuous with respect to the natural Sobolev norms in the space of densities and potentials.<n>We also establish the existence of an exchange-only part of the exchange-correlation potential.
• Score: 0.0
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: In this paper we investigate the (Kohn-Sham) density-to-potential map in the case of spinless fermions in one spatial dimension, whose existence has been rigorously established by the first author in [arXiv:2504.05501 (2025)]. Here, we focus on the regularity of this map as a function of the density and the coupling constant in front of the interaction term. More precisely, we first prove a quantitative version of the Hohenberg-Kohn theorem, thereby showing that this map is Lipschitz continuous with respect to the natural Sobolev norms in the space of densities and potentials. In particular, this implies that the inverse (Kohn-Sham) problem is not only well-posed but also Lipschitz stable. Using this result, we then show that the density-to-potential map is in fact real analytic with respect to both the density and the interaction strength. As a consequence, we obtain a holomorphic extension of the universal constrained-search functional to a suitable subset of complex-valued densities. This partially extends the DFT framework to non-self-adjoint Schrödinger operators. As further applications of these results, we also establish the existence of an exchange-only part of the exchange-correlation potential, and justify the Görling-Levy perturbation expansion for the correlation energy.

Related papers

• Operationalizing Quantized Disentanglement [26.410344820790694]
  We develop a criterion for unsupervised disentanglement by encouraging axis-aligned discontinuities.<n>Discontinuities manifest as sharp changes in the estimated density of factors and form what we call cliffs.<n>We show that our method, Cliff, outperforms the baselines on all disentanglement benchmarks.
  arXiv  Detail & Related papers  (2025-11-25T23:41:26Z)
• The Converse Madelung Question [0.0]
  We work with minimal, physically motivated axioms on density and phase.<n>Within the resulting class of first order local Hamiltonian field theories, these axioms single out the canonical Poisson bracket on density and phase.<n> quantum mechanics emerges as a reversible fixed point of Fisher regularised information hydrodynamics.
  arXiv  Detail & Related papers  (2025-11-05T15:33:46Z)
• Symmetries, Conservation Laws and Entanglement in Non-Hermitian Fermionic Lattices [37.69303106863453]
  Non-Hermitian quantum many-body systems feature steady-state entanglement transitions driven by unitary dynamics and dissipation.<n>We show that the steady state is obtained by filling single-particle right eigenstates with the largest imaginary part of the eigenvalue.<n>We illustrate these principles in the Hatano-Nelson model with periodic boundary conditions and the non-Hermitian Su-Schrieffer-Heeger model.
  arXiv  Detail & Related papers  (2025-04-11T14:06:05Z)
• A rigorous formulation of Density Functional Theory for spinless fermions in one dimension [0.0]
  We consider Schr"odinger operators of the form $H_N(v,w) = -Delta + sum_ineq jN w(x_i,x_j) + sum_j=1N v(x_i)$ acting on $wedgeN mathrmL2, where the external and interaction potentials $v$ and $w$ belong to a suitable class of distributions.<n>We prove a Hohenberg-Kohn theorem that applies to the class of distributional potentials studied here
  arXiv  Detail & Related papers  (2025-04-07T20:54:47Z)
• v-representability and Hohenberg-Kohn theorem for non-interacting Schrödinger operators with distributional potentials in the one-dimensional torus [0.0]
  We show that the ground-state density of any non-interacting Schr"odinger operator on the one-dimensional torus with potentials in a certain class of distributions is strictly positive.<n>In particular, the density-to-potential Kohn-Sham map is single-valued, and the non-interacting functional is differentiable at every point in this space of $v$-representable densities.
  arXiv  Detail & Related papers  (2025-01-23T09:57:42Z)
• Quantum Geometry of Expectation Values [1.261852738790008]
  We show that the boundary of expectation value space corresponds to the ground state, which presents a natural bound that generalizes Heisenberg's uncertainty principle. Our approach provides an alternative time-independent quantum formulation that transforms the linear problem in a high-dimensional Hilbert space into a nonlinear algebro-geometric problem in a low dimension.
  arXiv  Detail & Related papers  (2023-01-14T14:01:41Z)
• From locality to irregularity: Introducing local quenches in massive scalar field theory [68.8204255655161]
  We consider the dynamics of excited local states in massive scalar field theory in an arbitrary spacetime dimension. We identify different regimes of their evolution depending on the values of the field mass and the quench regularization parameter. We also investigate the local quenches in massive scalar field theory on a cylinder and show that they cause an erratic and chaotic-like evolution of observables.
  arXiv  Detail & Related papers  (2022-05-24T18:00:07Z)
• Non-perturbative Quantum Propagators in Bounded Spaces [0.0]
  A generalised hit function is defined as a many-point propagator. We show how it can be used to calculate the Feynman propagator. We conjecture a general analytical formula for the propagator when Dirichlet boundary conditions are present in a given geometry.
  arXiv  Detail & Related papers  (2021-10-11T02:47:26Z)
• Entanglement dynamics of spins using a few complex trajectories [77.34726150561087]
  We consider two spins initially prepared in a product of coherent states and study their entanglement dynamics. We adopt an approach that allowed the derivation of a semiclassical formula for the linear entropy of the reduced density operator.
  arXiv  Detail & Related papers  (2021-08-13T01:44:24Z)
• Aspects of quantum information in finite density field theory [0.0]
  We study different aspects of quantum field theory at finite density using methods from quantum information theory. For simplicity we focus on massive Dirac fermions with nonzero chemical potential, and work in $1+1$ space-time dimensions.
  arXiv  Detail & Related papers  (2020-11-02T19:00:26Z)
• Entanglement and Complexity of Purification in (1+1)-dimensional free Conformal Field Theories [55.53519491066413]
  We find pure states in an enlarged Hilbert space that encode the mixed state of a quantum field theory as a partial trace. We analyze these quantities for two intervals in the vacuum of free bosonic and Ising conformal field theories.
  arXiv  Detail & Related papers  (2020-09-24T18:00:13Z)
• On the complex behaviour of the density in composite quantum systems [62.997667081978825]
  We study how the probability of presence of a particle is distributed between the two parts of a composite fermionic system. We prove that it is a non-perturbative property and we find out a large/small coupling constant duality. Inspired by the proof of KAM theorem, we are able to deal with this problem by introducing a cut-off in energies that eliminates these small denominators.
  arXiv  Detail & Related papers  (2020-04-14T21:41:15Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.