この論文は、非相互作用の量子系に対してホーエンベルク–コーン定理が成り立つ条件を示します。ホーエンベルク–コーン定理とは、基底状態の粒子密度が与えられれば外部ポテンシャルが一意に決まる、という密度汎関数理論の基本的な主張です。著者らは、この一意性が「フォーム有界（form-bounded）」という最も広いクラスのポテンシャルの下でも成り立つことを示します。ただしそれは単一粒子密度が「ほとんど至る所で正である（quasi-everywhere）」場合に限ります。

研究で行われたことは二段階です。まず弱く相関した正則状態（weakly correlated regular states）という概念を古典的なポテンシャル論を使って特徴づけました。次に、その条件が基底エネルギーが離散的な非相互作用シュレーディンガー作用素の基底に当てはまることを示しました。結果として、ラプラシアン（Laplace）に対してフォーム有界なポテンシャルの最大クラス内で、ホーエンベルク–コーン定理と対応するコーン–シャム（Kohn–Sham）ポテンシャルの一意性が成立します。

仕組みの核心は密度の「準一意的継続（quasi-unique continuation）」にあります。多体系の波動関数そのものの一意的継続ではなく、単粒子密度の継続性が定理を支えていると著者らは示します。古典的なポテンシャル論の道具を用いて、密度がある性質（ほとんど至る所で正であること）を満たすときに外部ポテンシャルが固定されることを導きます。

この結果が重要な理由は二つあります。第一に、密度汎関数理論（DFT）の数学的基盤を非相互作用系の広いクラスで明確にする点です。第二に、コーン–シャム方程式で使う有効ポテンシャルの一意性がより一般的な条件下で保証される点です。ただしこれは理論的な保証であり、直接的に計算手法の改善を約束するものではありません。

重要な注意点もあります。証明は非相互作用系に対して行われています。相互作用を持つ一般の多体系への適用はこの結果からは直接得られません。また基底が離散エネルギーを持つことや、単粒子密度が「ほとんど至る所で正である」ことといった技術的な仮定が必要です。結論は連続体の設定に基づく数学的定理であり、実際の物質系への適用には慎重な検討が必要です。