Moreau-Yosida-based Kohn-Sham Inversion for Periodic Systems
Pith reviewed 2026-06-26 19:55 UTC · model grok-4.3
The pith
Moreau-Yosida regularization recovers the Kohn-Sham exchange-correlation potential for periodic systems via a limiting procedure.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The framework recovers the exchange-correlation potential of Kohn-Sham theory through a limiting procedure after developing the inversion in a periodic homogeneous Sobolev space, with the proximal mapping playing a central role.
What carries the argument
The proximal mapping of the Moreau-Yosida regularization applied to the non-interacting kinetic-energy functional inside the periodic homogeneous Sobolev space.
If this is right
- The inversion recovers the exchange-correlation potential for periodic Kohn-Sham systems.
- The same scheme applies to the Gross-Pitaevskii equation.
- Algorithmic evaluation of the proximal mapping yields a practical numerical method.
- The lower-semicontinuity result supplies the analytical justification for the limit.
Where Pith is reading between the lines
- The periodic Sobolev setting could be relaxed to other function spaces if analogous semicontinuity can be shown.
- The proximal-mapping iteration might be combined with existing plane-wave DFT codes to reconstruct potentials from output densities.
- The same regularization pattern may extend to time-dependent or finite-temperature periodic problems.
Load-bearing premise
The non-interacting kinetic-energy functional is lower semicontinuous in the chosen periodic homogeneous Sobolev topology.
What would settle it
A sequence of densities that converges in the periodic homogeneous Sobolev norm but violates the lower-semicontinuity inequality for the kinetic-energy functional would invalidate the limiting recovery step.
Figures
read the original abstract
Density-potential inversion for periodic systems within Moreau-Yosida-regularised density-functional theory is investigated, both theoretically and numerically. We develop the framework in a periodic homogeneous Sobolev space and use it to recover the exchange-correlation potential of Kohn-Sham theory through a limiting procedure. A key analytical ingredient is the proof of lower semicontinuity of the non-interacting kinetic-energy functional in the chosen topology. The proximal mapping, together with its algorithmic evaluation, plays a central role in the resulting inversion scheme. Numerical experiments illustrate the performance and properties of the method for both the Kohn-Sham and Gross-Pitaevskii equations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a density-potential inversion framework for periodic systems using Moreau-Yosida regularization of density-functional theory, formulated in a periodic homogeneous Sobolev space. It proves lower semicontinuity of the non-interacting kinetic-energy functional in this topology as the key analytical step, employs the proximal mapping (with algorithmic evaluation) to construct the inversion scheme, and recovers the exchange-correlation potential of Kohn-Sham theory via a limiting procedure. Numerical experiments demonstrate the method on both Kohn-Sham and Gross-Pitaevskii equations.
Significance. If the lower semicontinuity result and limiting recovery hold, the work supplies a mathematically rigorous route to stable density inversion for periodic systems, with the proximal-mapping construction offering a concrete algorithmic tool. The combination of functional-analytic proof and numerical illustration strengthens the case for applicability in computational materials modeling.
major comments (1)
- [Section on limiting procedure] The manuscript states that the limiting procedure recovers the XC potential, but the precise conditions under which the limit coincides with the exact XC potential (without additional regularity assumptions on the density) are not fully spelled out; a short remark clarifying this would strengthen the central claim.
minor comments (2)
- [Introduction] Notation for the periodic homogeneous Sobolev space could be introduced earlier with an explicit definition of the norm to aid readability.
- [Numerical experiments] The numerical section would benefit from a brief statement of the discretization parameters and convergence tolerance used in the proximal-mapping iterations.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation and the recommendation for minor revision. We address the single major comment below.
read point-by-point responses
-
Referee: [Section on limiting procedure] The manuscript states that the limiting procedure recovers the XC potential, but the precise conditions under which the limit coincides with the exact XC potential (without additional regularity assumptions on the density) are not fully spelled out; a short remark clarifying this would strengthen the central claim.
Authors: We agree that a clarifying remark would strengthen the presentation. In the revised manuscript we will insert a short paragraph immediately following the statement of the limiting procedure. The remark will explicitly state that, within the periodic homogeneous Sobolev-space setting already adopted, the limit of the regularized potentials recovers the exact Kohn-Sham exchange-correlation potential for any density in the admissible set, without invoking further regularity assumptions on the density beyond those required for the lower-semicontinuity result and the proximal-mapping construction. revision: yes
Circularity Check
No significant circularity
full rationale
The paper develops an inversion framework in periodic homogeneous Sobolev space, proves lower semicontinuity of the non-interacting kinetic-energy functional as an original analytical step, and recovers the exchange-correlation potential via a limiting procedure using the proximal mapping as an algorithmic construct. No load-bearing step reduces by construction to fitted inputs, self-definitions, or self-citation chains; the central proof and limiting argument are self-contained against the stated topology and functional properties, with numerical illustrations following directly from the derived scheme.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Lower semicontinuity of the non-interacting kinetic-energy functional holds in the periodic homogeneous Sobolev topology.
Reference graph
Works this paper leans on
-
[1]
Inhomogeneous Electron Gas , author =. Phys. Rev. , volume =. 1964 , doi =
1964
-
[2]
Self-Consistent Equations Including Exchange and Correlation Effects , author =. Phys. Rev. , volume =. 1965 , doi =
1965
-
[3]
E. H. Lieb , journal =. Density Functionals for. 1983 , doi =
1983
-
[4]
Perspective on density functional theory , author=. J. Chem. Phys. , volume=. 2012 , publisher=
2012
-
[5]
Status and Challenges of Density Functional Theory , journal =. 2020 , note =. doi:https://doi.org/10.1016/j.trechm.2020.02.005 , url =
-
[6]
and Helgaker, Trygve and Savin, Andreas and Adamo, Carlo and Aradi, Bálint and Arbuznikov, Alexei V
Teale, Andrew M. and Helgaker, Trygve and Savin, Andreas and Adamo, Carlo and Aradi, Bálint and Arbuznikov, Alexei V. and Ayers, Paul W. and Baerends, Evert Jan and Barone, Vincenzo and Calaminici, Patrizia and Cancès, Eric and Carter, Emily A. and Chattaraj, Pratim Kumar and Chermette, Henry and Ciofini, Ilaria and others. doi:10.1039/d2cp02827a , journal =
-
[7]
Schuch, Norbert and Verstraete, Frank , year =. Computational complexity of interacting electrons and fundamental limitations of density functional theory , volume =. Nature Physics , publisher =. doi:10.1038/nphys1370 , number =
-
[8]
Review of Approximations for the Exchange-Correlation Energy in Density-Functional Theory
Toulouse, Julien. Review of Approximations for the Exchange-Correlation Energy in Density-Functional Theory. Density Functional Theory: Modeling, Mathematical Analysis, Computational Methods, and Applications. 2023. doi:10.1007/978-3-031-22340-2_1
-
[9]
and Mart
Tempel, David G. and Mart. Revisiting Molecular Dissociation in Density Functional Theory: A Simple Model , type =. J. Chem. Theory Comput. , month =. 2009 , year1 =
2009
-
[10]
and Tokatly, I
Helbig, N. and Tokatly, I. V. and Rubio, A. , issn =. Exact. J. Chem. Phys. , month =. 2009 , bdsk-url-1 =
2009
-
[11]
Cohen and Paula Mori-Sánchez and Weitao Yang , title =
Aron J. Cohen and Paula Mori-Sánchez and Weitao Yang , title =. Science , volume =. 2008 , url =
2008
-
[12]
Perdew, John P. and Levy, Mel , journal =. Physical Content of the Exact. 1983 , month =. doi:10.1103/PhysRevLett.51.1884 , url =
-
[13]
Ashish Kumar and Rabeet Singh and Manoj K Harbola , title =. 2019 , month =. doi:10.1088/1361-6455/ab04e8 , url =
-
[14]
Wetherell, J. and Hodgson, M. J. P. and Talirz, L. and Godby, R. W. , journal =. Advantageous nearsightedness of many-body perturbation theory contrasted with. 2019 , month =. doi:10.1103/PhysRevB.99.045129 , url =
-
[15]
2019 , month =
Ashish Kumar and Rabeet Singh and Manoj K Harbola , title =. 2019 , month =
2019
-
[16]
Kanungo, Bikash and Zimmerman, Paul M. and Gavini, Vikram , date =. Exact exchange-correlation potentials from ground-state electron densities , url =. Nat. Commun. , number =. 2019 , bdsk-url-1 =. doi:10.1038/s41467-019-12467-0 , id =
-
[17]
, title =
Kumar, Ashish and Harbola, Manoj K. , title =. Int. J. Quantum Chem.. , volume =
-
[18]
Garrick, Rachel and Natan, Amir and Gould, Tim and Kronik, Leeor , journal =. Exact Generalized. 2020 , month =. doi:10.1103/PhysRevX.10.021040 , url =
-
[19]
and Park, Hansol and Sim, Eunji , doi =
Nam, Seungsoo and McCarty, Ryan J. and Park, Hansol and Sim, Eunji , doi =. J. Chem. Phys. , month =. 2021 , bdsk-url-1 =
2021
-
[20]
Gould, Tim , doi =. J. Chem. Phys. , month =. 2023 , bdsk-url-1 =
2023
-
[21]
Shi, Yuming and Chávez, Victor H. and Wasserman, Adam , title =. WIREs Comput Mol Sci. , volume =. doi:https://doi.org/10.1002/wcms.1617 , url =
-
[22]
and Burke, Kieron and Ernzerhof, Matthias , doi =
Perdew, John P. and Burke, Kieron and Ernzerhof, Matthias , doi =. Generalized Gradient Approximation Made Simple , url =. Phys. Rev. Lett. , month =
-
[23]
Bridging density-functional and many-body perturbation theory: Orbital-density dependence in electronic-structure functionals , url =
Ferretti, Andrea and Dabo, Ismaila and Cococcioni, Matteo and Marzari, Nicola , issue =. Bridging density-functional and many-body perturbation theory: Orbital-density dependence in electronic-structure functionals , url =. Phys. Rev. B , month =
-
[24]
Density-Functional Theory of the Energy Gap , author =. Phys. Rev. Lett. , volume =. 1983 , month =. doi:10.1103/PhysRevLett.51.1888 , url =
-
[25]
Lannoo, M. and Schl\"uter, M. and Sham, L. J. , journal =. Calculation of the. 1985 , month =. doi:10.1103/PhysRevB.32.3890 , url =
-
[26]
Density-functional theory of the band gap , author =. Phys. Rev. B , volume =. 1985 , month =. doi:10.1103/PhysRevB.32.3883 , url =
-
[27]
Density-Functional Theory for Fractional Particle Number: Derivative Discontinuities of the Energy , author =. Phys. Rev. Lett. , volume =. 1982 , month =. doi:10.1103/PhysRevLett.49.1691 , url =
-
[28]
Gr. J. Chem. Phys. , month =. doi:10.1063/1.2189226 , issn =
-
[29]
Thirty years of density functional theory in computational chemistry: an overview and extensive assessment of 200 density functionals , type =
Mardirossian, Narbe and Head-Gordon, Martin , doi =. Thirty years of density functional theory in computational chemistry: an overview and extensive assessment of 200 density functionals , type =. Mol. Phys. , month =
-
[30]
Shi, Yuming and Wasserman, Adam , doi =. Inverse. J. Phys. Chem. Lett. , month =
-
[31]
Effective potentials in density-functional theory , author =. Phys. Rev. B , volume =. 1988 , month =. doi:10.1103/PhysRevB.38.2974 , url =
-
[32]
Wang, Yue and Parr, Robert G. , journal =. Construction of exact. 1993 , month =. doi:10.1103/PhysRevA.47.R1591 , url =
-
[33]
Erhard, Jannis and Trushin, Egor and G. J. Chem. Phys. , month =. 2022 , bdsk-url-1 =. doi:10.1063/5.0087356 , issn =
-
[34]
G\"orling, Andreas , journal =. 1992 , month =. doi:10.1103/PhysRevA.46.3753 , url =
-
[35]
Algorithm to derive exact exchange-correlation potentials from correlated densities in atoms , author =. Phys. Rev. A , volume =. 2003 , month =. doi:10.1103/PhysRevA.67.012505 , url =
-
[36]
Kadantsev, Eugene S. and Stott, M. J. , journal =. Variational method for inverting the. 2004 , month =. doi:10.1103/PhysRevA.69.012502 , url =
-
[37]
and Heaton-Burgess, Tim and Cohen, Aron J
Bulat, Felipe A. and Heaton-Burgess, Tim and Cohen, Aron J. and Yang, Weitao , doi =. J. Chem. Phys. , month =. 2007 , bdsk-url-1 =
2007
-
[38]
Density-functional exchange-correlation potentials and orbital eigenvalues for light atoms , author =. Phys. Rev. A , volume =. 1984 , month =. doi:10.1103/PhysRevA.29.2322 , url =
-
[39]
Jacob, Christoph R. , doi =. J. Chem. Phys. , month =. 2011 , bdsk-url-1 =
2011
-
[40]
and Ryabinkin, Ilya G
Gaiduk, Alex P. and Ryabinkin, Ilya G. and Staroverov, Viktor N. , title =. J. Chem. Theory Comput. , volume =. 2013 , doi =
2013
-
[41]
Wagner, Lucas O. and Baker, Thomas E. and Stoudenmire, E. M. and Burke, Kieron and White, Steven R. , journal =. 2014 , month =. doi:10.1103/PhysRevB.90.045109 , url =
-
[42]
Zhang, Xing and Carter, Emily A. , doi =. J. Chem. Phys. , month =
-
[43]
Ou, Qi and Carter, Emily A. , date =. Potential Functional Embedding Theory with an Improved. J. Chem. Theory Comput. , month =. 2018 , year1 =. doi:10.1021/acs.jctc.8b00717 , isbn =
-
[44]
and Lathiotakis, Nektarios N
Callow, Timothy J. and Lathiotakis, Nektarios N. and Gidopoulos, Nikitas I. , doi =. J. Chem. Phys. , month =. 2020 , bdsk-url-1 =
2020
-
[45]
Jin, Ye and Su, Neil Qiang and Chen, Zehua and Yang, Weitao , year =. Introductory lecture: when the density of the noninteracting reference system is not the density of the physical system in density functional theory , volume =. doi:10.1039/d0fd00102c , journal =
-
[46]
Wu, Qin and Yang, Weitao , title = ". J. Chem. Phys. , volume =. 2003 , month =. doi:10.1063/1.1535422 , url =
-
[47]
Investigating exact density-functional theory of a model semiconductor , author =. Phys. Rev. Lett. , volume =. 1992 , month =. doi:10.1103/PhysRevLett.68.639 , url =
-
[48]
Markus Penz and Mihály A Csirik and Andre Laestadius , title =. Electron. Struct. , abstract =. 2023 , month =. doi:10.1088/2516-1075/acc626 , url =
-
[49]
Constrained-search method to determine electronic wave functions from electronic densities , author=. J. Chem. Phys. , volume=. 1993 , publisher=
1993
-
[50]
From electron densities to
Zhao, Qingsheng and Morrison, Robert C and Parr, Robert G , journal=. From electron densities to. 1994 , publisher=
1994
-
[51]
Exchange-correlation potential with correct asymptotic behavior , author=. Phys. Rev. A , volume=. 1994 , publisher=
1994
-
[52]
Universal nature of different methods of obtaining the exact
Kumar, Ashish and Singh, Rabeet and Harbola, Manoj K , journal=. Universal nature of different methods of obtaining the exact. 2019 , publisher=
2019
-
[53]
Knorr, W. and Godby, R. W. , date-added =. Quantum Monte Carlo study of density-functional theory for a semiconducting wire , url =. 1994 , bdsk-url-1 =. doi:10.1103/PhysRevB.50.1779 , journal =
-
[54]
Direct Method for Optimized Effective Potentials in Density-Functional Theory , author =. Phys. Rev. Lett. , volume =. 2002 , month =. doi:10.1103/PhysRevLett.89.143002 , url =
-
[55]
A rigorous formulation of density functional theory for spinless fermions in one dimension , url =
Corso, Thiago Carvalho , day =. A rigorous formulation of density functional theory for spinless fermions in one dimension , url =. Letters in Mathematical Physics , month =. 2026 , bdsk-url-1 =. doi:10.1007/s11005-026-02051-1 , issn =
-
[56]
Zhang,Yingkai and Yang,Weitao , title =. J. Chem. Phys. , volume =. 1998 , doi =
1998
-
[57]
Laestadius, André , title =. J. Math. Chem. , volume =. 2014 , doi =
2014
-
[58]
and Wasserman, Adam , title =
Jensen, Daniel S. and Wasserman, Adam , title =. Int. J. Quantum Chem. , volume =
-
[59]
and Ruggenthaler,Michael and Kvaal,Simen and Helgaker,Trygve , title =
Laestadius,Andre and Penz,Markus and Tellgren,Erik I. and Ruggenthaler,Michael and Kvaal,Simen and Helgaker,Trygve , title =. J. Chem. Phys. , volume =. 2018 , doi =
2018
-
[60]
Convexity and Optimization in Banach Spaces , url =
Barbu, Viorel and Precupanu, Teodor , doi =. Convexity and Optimization in Banach Spaces , url =. Springer Monographs in Mathematics , publisher =. 2012 , bdsk-url-1 =
2012
-
[61]
Nonlinear Differential Equations of Monotone Types in Banach Spaces , url =
Barbu, Viorel , date-added =. Nonlinear Differential Equations of Monotone Types in Banach Spaces , url =. 2010 , bdsk-url-1 =. doi:10.1007/978-1-4419-5542-5 , edition =
-
[62]
Foundations and Trends in Optimization , title =. 2014 , volume =. doi:10.1561/2400000003 , issn =
-
[63]
Coulomb potentials in two and three dimensions under periodic boundary conditions , url =
Tyagi, Sandeep , doi =. Coulomb potentials in two and three dimensions under periodic boundary conditions , url =. J. Chem. Phys. , month =. 2004 , bdsk-url-1 =. https://pubs.aip.org/aip/jcp/article-pdf/doi/10.1063/1.1824031/10864099/014101\_1\_online.pdf , issn =
-
[64]
A generalization of the. J. Math. Anal. Appl. , volume =. 2023 , issn =. doi:https://doi.org/10.1016/j.jmaa.2023.127139 , url =
-
[65]
Herbst, Michael F. and Bakkestuen, Vebj. Phys. Rev. B , volume =. 2025 , month =. doi:10.1103/PhysRevB.111.205143 , url =
-
[66]
Bosko, Ivan P. and Staroverov, Viktor N. , date-modified =. Derivation and reinterpretation of the Fermi--Amaldi functional , url =. J. Chem. Phys. , month =. 2023 , bdsk-url-1 =. doi:10.1063/5.0166358 , eprint =
-
[67]
Differentiability of
Paul E Lammert , journal =. Differentiability of. 2007 , doi=
2007
-
[68]
Adaptation of. J. Math. Anal. Appl. , volume =. 2026 , issn =. doi:https://doi.org/10.1016/j.jmaa.2025.129956 , url =
-
[69]
Bauschke, Heinz H. and Combettes, Patrick L. , date-added =. Convex Analysis and Monotone Operator Theory in Hilbert Spaces , url =. CMS Books in Mathematics , publisher =. 2017 , bdsk-url-1 =. doi:10.1007/978-3-319-48311-5 , edition =
-
[70]
Sutter, Sarina M and Penz, Markus and Ruggenthaler, Michael and Leeuwen, Robert van and Giesbertz, Klaas J H , title =. 2024 , month =. doi:10.1088/1751-8121/ad8a2a , url =
-
[71]
Physica A: Stat. Mech. Appl. , volume =. 1983 , issn =. doi:https://doi.org/10.1016/0378-4371(83)90254-6 , url =
-
[72]
2001 , publisher =
Infinite-dimensional dynamical systems: An introduction to dissipative parabolic pdes and the theory of global attractors , author =. 2001 , publisher =
2001
-
[73]
2001 , publisher=
Fourier analysis and partial differential equations , author=. 2001 , publisher=
2001
-
[74]
Local exchange-correlation potentials by density inversion in solids , author =. Phys. Rev. B , volume =. 2025 , month =. doi:10.1103/vsdq-1l48 , url =
-
[75]
Aouina, Ayoub and Gatti, Matteo and Chen, Siyuan and Zhang, Shiwei and Reining, Lucia , date-added =. Accurate. Phys. Rev. B , month =. 2023 , bdsk-url-1 =. doi:10.1103/PhysRevB.107.195123 , issue =
-
[76]
and Datchev, Kiril and Wasserman, Adam and Song, Suhwan and Burke, Kieron , issue =
Crisostomo, Steven and Pederson, Ryan and Kozlowski, John and Kalita, Bhupalee and Cancio, Antonio C. and Datchev, Kiril and Wasserman, Adam and Song, Suhwan and Burke, Kieron , issue =. Seven useful questions in density functional theory , url =. Lett. Math. Phys. , month =
-
[77]
Some problems in density functional theory , url =
Wrighton, Jeffrey and Albavera-Mata, Angel and Rodr\'. Some problems in density functional theory , url =. Lett. Math. Phys. , month =
-
[78]
Simen Kvaal and Ulf Ekstr. J. Chem. Phys. , volume =. 2014 , doi =
2014
-
[79]
and Penz, Markus and Ruggenthaler, Michael and Kvaal, Simen and Helgaker, Trygve , date =
Laestadius, Andre and Tellgren, Erik I. and Penz, Markus and Ruggenthaler, Michael and Kvaal, Simen and Helgaker, Trygve , date =. J. Chem. Theory Comput. , month =. 2019 , year1 =. doi:10.1021/acs.jctc.9b00141 , isbn =
-
[80]
Guaranteed convergence of a regularized
Penz, Markus and Laestadius, Andre and Tellgren, Erik I and Ruggenthaler, Michael , journal=. Guaranteed convergence of a regularized. 2019 , publisher=
2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.