New Math Reveals Hidden Forces in Quantum Materials

A new mathematical framework has uncovered a universal repulsive force that governs the behavior of quantum systems, from electrons in materials to ultracold atoms. This force, which pushes quantum states away from certain boundaries in their mathematical description, could lead to more accurate simulations of strongly correlated materials, such as high-temperature superconductors and magnetic insulators, where traditional s often fail. By generalizing density functional theory (DFT), a cornerstone of quantum chemistry and condensed matter physics, researchers have derived an exact formula that captures this force, providing a crucial step toward refining approximate functionals used in practical calculations.

The key finding is that in a broad class of quantum systems, the derivative of a universal functional—a mathematical object that encodes ground state properties—diverges as the inverse square root of the distance to the boundary of its domain. This diverging repulsive force, termed the boundary force, was previously observed in isolated cases but only qualitatively understood. The new work shows it is a general geometric phenomenon, independent of specific system details, and provides a formula to compute its strength precisely. For example, in translation-invariant bosonic lattice systems, the force prevents the momentum occupation numbers from reaching certain limits, akin to how a wall repels a particle.

Ology builds on reduced density matrix functional theory (RDMFT), a variant of DFT better suited for strongly correlated systems. The researchers constructed a mathematical framework that generalizes all ground state functional theories, applicable to fermionic, bosonic, and spin systems. They focused on a special class where the space of external potentials forms the Lie algebra of a compact Lie group, allowing them to apply techniques from symplectic geometry, such as momentum maps, to solve representability problems. In the simpler abelian case, where potentials commute, they gave a rigorous proof of the boundary force formula using the Levy-Lieb constrained search, demonstrating it in translation-invariant bosonic lattice systems as a concrete example.

Show that the boundary force prefactor, denoted G, can be calculated exactly from the geometry of the functional's domain and the interaction between quantum states. For instance, in abelian functional theories, the formula involves a sum over weights not on the facet, with each term weighted by the distance of the weight to the facet. The data indicates that this force is always repulsive and takes the form dF/dε ≈ -G/√ε near the boundary, as shown in Figure 3.2 for various bosonic systems. The derivation confirms that the force exists universally, with the prefactor depending on matrix elements of the interaction and geometric factors like distances to facets.

Are significant for improving functional approximations in quantum simulations. Current approximate functionals in RDMFT, such as Piris natural orbital functionals (NOFs), often lack accuracy near boundaries, limiting their predictive power for materials with strong correlations. By incorporating the exact boundary behavior, researchers can develop more reliable functionals, potentially enhancing the design of new quantum materials. This work also connects to broader questions in quantum information theory, such as the quantum marginal problem, by leveraging momentum map techniques to characterize representable densities.

However, the study has limitations. The rigorous proof of the boundary force formula is currently limited to abelian functional theories, where external potentials commute. For nonabelian cases, such as standard RDMFT, the formula is conjectured based on perturbative arguments, and a full proof remains an open problem. Additionally, the framework assumes finite-dimensional Hilbert spaces, though extensions to infinite dimensions are intuitively clear but not formally addressed. Future work will need to validate the conjecture in more complex systems and explore applications to real-world materials where strong correlations dominate.