dorsal/arxiv
View SchemaOn the Proof by Reductio ad Absurdum of the Hohenberg-Kohn Theorem for Ensembles of Fractionally Occupied States of Coulomb Systems
| Authors | E. S. Kryachko |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0602066 |
| URL | https://arxiv.org/abs/quant-ph/0602066 |
| DOI | 10.1002/qua.20970 |
Abstract
It is demonstrated that the original reductio ad absurdum proof of the generalization of the Hohenberg-Kohn theorem for ensembles of fractionally occupied states for isolated many-electron Coulomb systems with Coulomb-type external potentials by Gross et al. [Phys. Rev. A 37, 2809 (1988)] is self-contradictory since the to-be-refuted assumption (negation) regarding the ensemble one-electron densities and the assumption about the external potentials are logically incompatible to each other due to the Kato electron-nuclear cusp theorem. It is however proved that the Kato theorem itself provides a satisfactory proof of this theorem.
{
"annotation_id": "6dce7266-e488-4901-b5ad-6a79e49e3e17",
"date_created": "2026-03-02T18:02:23.622000Z",
"date_modified": "2026-03-02T18:02:23.622000Z",
"file_hash": "fccc6861c1aaf38f234f9af56a494d33782ea3a9fb7465a1353ae510af563cbb",
"private": false,
"record": {
"abstract": "It is demonstrated that the original reductio ad absurdum proof of the\ngeneralization of the Hohenberg-Kohn theorem for ensembles of fractionally\noccupied states for isolated many-electron Coulomb systems with Coulomb-type\nexternal potentials by Gross et al. [Phys. Rev. A 37, 2809 (1988)] is\nself-contradictory since the to-be-refuted assumption (negation) regarding the\nensemble one-electron densities and the assumption about the external\npotentials are logically incompatible to each other due to the Kato\nelectron-nuclear cusp theorem. It is however proved that the Kato theorem\nitself provides a satisfactory proof of this theorem.",
"arxiv_id": "quant-ph/0602066",
"authors": [
"E. S. Kryachko"
],
"categories": [
"quant-ph",
"cond-mat.other",
"nucl-th",
"physics.chem-ph"
],
"doi": "10.1002/qua.20970",
"title": "On the Proof by Reductio ad Absurdum of the Hohenberg-Kohn Theorem for Ensembles of Fractionally Occupied States of Coulomb Systems",
"url": "https://arxiv.org/abs/quant-ph/0602066"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "328b1ccc-3653-434a-a01d-ce5406a2166c",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}