On the Extended Hilbert Space in the theory of the multielectron atom

Alexey M. Nadolinsky; Alexey N. Hopersky; Rustam V. Koneev

REVIEW 3 major objections 4 minor 19 references

On the Extended Hilbert Space in the theory of the multielectron atom

T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper constructs the Extended Hilbert Space as a direct sum of finite-norm discrete states and infinite-norm continuum states, and applies it to the neon 1s–3p photoexcitation amplitude, finding the probability changes by about 7…

desk verdict The paper repackages a standard direct-sum Hilbert-space construction and its only quantitative example is undermined by the paper's own Comment 3; the 7% Ne correction is not supported. read the letter →

arxiv 2504.13329 v1 pith:RSWGZ7MK submitted 2025-04-17 physics.atom-ph

Alexey N. Hopersky , Alexey M. Nadolinsky , Rustam V. Koneev This is my paper · ORCID

classification physics.atom-ph

keywords extendedHilbertspacemultielectronatomcontinuousspectrumHartree-FockequationsphotoexcitationamplitudeneonGram-SchmidtorthogonalizationDiracdeltanormalization

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper tries to establish that the quantum mechanics of a multielectron atom needs a space larger than the ordinary Hilbert space, called the Extended Hilbert Space (EHS), built as a direct sum of discrete finite-norm states and continuum infinite-norm states. In this space the discrete and continuum wave functions together form a complete orthonormal basis, so atomic transitions can be computed without leaving continuum states out. As a demonstration, the paper computes the neon 1s to 3p photoexcitation amplitude in this basis and obtains a probability about 7 percent different from the standard Hartree-Fock result. A sympathetic reader would take the claim to be that this EHS construction is the natural mathematical setting for atomic quantum mechanics and that continuum-state admixtures measurably change transition amplitudes.

What carries the argument

The load-bearing mechanism is the direct-sum decomposition $EHS = D \oplus C$ combined with a modified Gram-Schmidt orthogonalization. Finite-norm vectors $x_n$ are redefined as $x_n \to a_n(1 - \hat{L})x_n$, where $\hat{L} = \int_0^\infty d\varepsilon\,|\varepsilon\rangle\langle\varepsilon|$ projects out the continuum part, and then orthogonalized to obtain $z_n$. The continuum vectors are Dirac-delta normalized, $\langle\varepsilon|\varepsilon'\rangle = \delta(\varepsilon - \varepsilon')$, and the completeness relation $\hat{P} + \hat{L} = \delta(\mathbf{r}-\mathbf{r}')$ is the final consistency condition. This machinery turns the discrete-continuum mixture into a single orthonormal basis in which transition amplitudes can be written as in Eq. (8).

What would settle it

Compute the overlap integral of Eq. (10) for the neon continuum states used in the $1s \to 3p$ amplitude within the same Hartree-Fock approximation; if $f(\varepsilon,\varepsilon') \neq 0$, then the Hartree-Fock continuum functions are not the pure-delta-normalized basis states of Eq. (5), and the amplitude $M$ in Eq. (8) is not the Hartree-Fock amplitude. The paper's construction would then need the analytic modification called for in Comment 3 before the 7 percent result can be regarded as a Hartree-Fock prediction.

Watch

Extended reading notes

Core claim

The central claim is that the Extended Hilbert Space, defined as the direct sum $EHS = D \oplus C$, is the main space for the quantum mechanics of a multielectron atom, where $D$ is the Hilbert space of finite-norm discrete-spectrum vectors and $C$ is the space of infinite-norm continuous-spectrum vectors. The discrete vectors are first stripped of their continuum components by the projection-like operator $\hat{L}$ and then Gram-Schmidt orthogonalized, producing an orthonormal set $\{z_n\}$ that is orthogonal to the continuum set $\{\varepsilon\}$; together they satisfy the closure relation $\hat{P} + \hat{L} = \delta(\mathbf{r} - \mathbf{r}')$. The paper applies this basis to the neon transition $1s \to 3p$, obtaining an amplitude $M$ such that $(M_0/M)^2 = 1.07$, meaning the EHS correction alters the photoexcitation probability by about 7 percent relative to the ordinary Hartree-Fock amplitude $M_0$.

Load-bearing premise

The numerical demonstration assumes that Hartree-Fock continuum radial functions satisfy the pure Dirac-delta normalization of Eq. (5), even though the paper's own Comment 3 states that the nonlocal exchange potential in Hartree-Fock produces a principal-value overlap term that violates that normalization.

Editorial extensions

If this is right

If the EHS construction is correct, atomic wave-function expansions can include continuum states on an equal footing with discrete states, giving a complete basis for multielectron quantum dynamics.
Transition amplitudes such as the neon $1s \to 3p$ amplitude acquire explicit continuum corrections, and the computed 7 percent change in probability is a quantitative example of the effect.
For hydrogen-like atoms, where the Schrödinger equation is solved analytically, the EHS takes the simpler direct-sum form of Eq. (9) without any continuum reflection, so the construction reduces naturally to the familiar discrete-plus-continuum hydrogen basis.
Because the paper's Comment 3 shows that Hartree-Fock continuum functions are not pure-delta normalizable, the EHS basis as stated applies to the Hartree-Fock demonstration only after an analytic modification of the Hartree-Fock approximation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the 7 percent shift is robust, analogous continuum corrections should appear in other discrete excitations of multielectron atoms, and the size of the effect may grow with the strength of nonlocal exchange; this is a testable prediction for other noble-gas atoms.
One could make the EHS basis strictly applicable to Hartree-Fock problems by replacing Hartree-Fock continuum orbitals with pure-delta-normalizable states from a local potential, but then the numerical amplitude would depend on the choice of that potential, an ambiguity the paper does not resolve.
The Gram-Schmidt step that 'reflects' the continuum into the discrete space is an explicit way to orthogonalize a discrete basis against a continuum, and it might be used variationally to optimize discrete orbitals in the presence of continuum states, not only for fixed Hartree-Fock orbitals.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

This paper is basically an English re-statement of the authors' own 2024 Russian article, and the math is a dressed-up direct sum of a Hilbert space with a space of delta-normalized continuum vectors. The formal part is standard—Szőkefalvi-Nagy and rigged-Hilbert-space treatments already cover it. What would be new is the numerical claim: a ~7% change in the Ne 1s–3p photoexcitation probability when you Gram-Schmidt the discrete states against the continuum. That number could be interesting, but it is not supported.

The proof of the Statement is a sketch: the closure relation in Eq. (7) is assumed, no topology is given for the direct sum, and convergence is just asserted. For a physics letter that might be acceptable if the application were clean. It is not. The application uses Hartree-Fock continuum functions p_epsilon^+ that are assumed to satisfy pure delta orthonormalization, as in Eq. (5). But the paper's own Comment 3 (Eq. (10)), citing ref. [18], says the HF overlap contains a Cauchy principal-value term in addition to the delta function. That directly contradicts the normalization used in Eq. (8). The authors brush this off by saying Eq. (10) 'has nothing to do with the Statement.' That is wrong where it matters: the whole point of the example is to apply the EHS construct to the HF problem, and the HF functions do not satisfy the premise. Until you either modify the HF procedure or show that the principal-value contamination is negligible, the 7% number is not a consequence of the EHS construction.

There is also no computational detail: no radial grid, no cutoff, no check on the integral in Eq. (8). The paper says data are available on request, which for a numerical claim is a red flag. So the central quantitative result is unverified and, on the paper's own admission, built on an inconsistent application.

What the paper does well: it is honest about provenance, it cites Szőkefalvi-Nagy, and the Gram-Schmidt construction in Eqs. (2)–(4) is clear. For a reader already familiar with rigged Hilbert spaces, there is a nice, compact way of thinking about discrete–continuum orthogonalization. But as a research claim, it does not hold together.

Recommendation: I would desk-reject this. It does not meet the bar for a serious referee—the main numerical result is unsupported and the paper's own caveat undermines the application. The formal construction, if the authors want to push it, needs a real proof of completeness and a corrected HF treatment. Not urgent.

Best, [Your name]

Referee Report

3 major / 4 minor

Summary. This paper constructs an Extended Hilbert Space (EHS) as a direct sum of a D-space of finite-norm discrete vectors and a C-space of infinite-norm continuum vectors, claims completeness of the combined basis through the closure relation (7), and applies the construction to the Ne 1s–3p photoexcitation amplitude within the Hartree–Fock approximation, reporting a 7% increase in probability.

Significance. If the construction were rigorous and the numerical result reproducible, the paper would provide a useful framework for including continuum states in atomic structure calculations and a concrete quantitative prediction. The paper is self-contained, does not fit parameters, and extends the authors' earlier work. However, the proof is only a sketch, and the application is undermined by the paper's own Comment 3, so the central claim is not currently supported.

major comments (3)

[Proof, Eq. (7)] The closure relation Lhat + Phat = delta(r - r') is simply asserted rather than derived from the Gram-Schmidt construction. No topology is specified for the direct sum, the meaning of direct sum for spaces with infinite-norm vectors is left undefined, and the convergence of the improper integral and series in the expansion of an arbitrary vector is assumed. This leaves the Statement unproven in a rigorous functional-analytic sense.
[Comment 3 vs. Results, Eq. (8)] The numerical example presupposes that Hartree-Fock continuum radial functions satisfy the pure-delta normalization (p_epsilon^+, p_epsilon'^+) = delta(epsilon - epsilon'), as required by Eq. (5). Comment 3 states in Eq. (10) that the overlap of Hartree-Fock continuum functions contains a Cauchy principal-value term f(epsilon, epsilon')/(epsilon - epsilon') in addition to the delta function. The assertion that Eq. (10) 'has nothing to do with the Statement' is beside the point, because the Gram-Schmidt coefficients eta and the amplitude M in Eq. (8) depend on these overlaps. The paper must either exhibit a modified Hartree-Fock procedure that restores delta normalization or use a model potential with local exchange for which Eq. (5) holds.
[Results, Eq. (8), numerical claim] The reported ratio P0/P = 1.07 is presented without any computational details: no description of radial grids, the Hartree-Fock solver, the numerical evaluation of the continuum integral, or the estimated numerical uncertainty. This result cannot be independently verified as written, and it is the only quantitative evidence for the central claim.

minor comments (4)

[Throughout] The text contains numerous OCR artifacts (for example, in the abstract and in Eqs. (1)-(9)) that make formulas unreadable; the manuscript needs clean typesetting of all equations.
[Statement, Eq. (5)] The term 'Kronecker-Weierstrass symbol' is nonstandard; the standard term is 'Kronecker delta'.
[Introduction, Ref. [13]] The quotation about von Neumann's theory being a passing face is decorative and does not contribute to the technical argument; it should be removed or replaced with a substantive comparison.
[Comment 2] The hydrogen-atom case is presented as an example of Eq. (9), but it is not explained whether the EHS construction offers any practical advantage over the standard rigged-Hilbert-space treatment of the hydrogen continuum.

Circularity Check

1 steps flagged · score 6.0 of 10

Completeness of the EHS basis is asserted through a closure condition justified by the very completeness being proved; the central theorem is circular at Eq. (7).

self definitional [Proof of the Statement, after Eq. (6), around Eq. (7)]
"Due to the completeness of the set z_n- and φ_ε- of vectors the closure condition is met: P̂ + L̂ = δ(r − r′)."

The closure relation (7) is mathematically equivalent to completeness of the combined set {z_n} ∪ {φ_ε}. The proof invokes completeness to justify this closure relation, thereby assuming the Statement's conclusion. Gram-Schmidt orthogonalization of an arbitrary linearly independent sequence {x_n} does not produce a complete orthonormal basis unless {x_n} already spans the discrete subspace; the paper provides no spanning or density argument. Thus the claimed construction of a complete EHS basis reduces to the completeness assumption it is meant to establish.

full rationale

The paper is self-contained in the sense that no fitted parameter is renamed as a prediction: the Ne 1s–3p ratio P0/P = 1.07 is stated as a numerical consequence of solving Hartree–Fock equations, not as a fit. The self-citations [14,15] are not treated as load-bearing for scoring because the construction is reproduced in the text. However, the central mathematical claim—that the EHS system is a complete orthonormal basis—is proven circularly: Eq. (7), the closure relation equivalent to completeness, is asserted to hold "due to the completeness" of the set being constructed. This is a genuine reduction of the derivation to its own input. A separate issue, not counted as circularity, is that Comment 3 (Eq. (10)) admits Hartree–Fock continuum functions are not pure-δ normalizable, which undermines the delta-normalization used in the Ne example; this is a correctness/consistency gap rather than a circular reduction. Because the completeness theorem itself is circular but the numerical application has independent (if unverified) content, a score of 6 reflects partial, not total, circularity.

Assumptions & free parameters 1 free parameters · 5 assumptions · 1 invented entities

The paper rests on delta-normalized continuum states, an assumed completeness relation, Gram-Schmidt on an infinite set, Hartree-Fock orbitals as input, and pure-delta normalization of HF continuum functions. No explicit numeric free parameters are given, but the 7 percent result depends on unstated numerical implementation choices. The EHS itself is a postulated mathematical space with no independent falsifiable handle.

free parameters (1)

Numerical implementation choices for HF solutions and continuum integration
The claimed 1.07 ratio in probabilities depends on the choice of radial grids, basis sets, and the representation of the continuum integral (Eq. (8)); none of these are specified, so the result is conditional on unstated hand-set numerical parameters.

assumptions (5)

domain assumption Continuum states can be represented as vectors of infinite norm with Dirac-delta inner product, <ε|ε'> = δ(ε-ε').
Used in Eq. (5) of the Statement as the basis of C-space; this is a generalized-eigenfunction idealization, not a Hilbert-space vector property.
ad hoc to paper The closure relation Lhat + Phat = δ(r-r') holds for the EHS basis.
Eq. (7) is asserted as the completeness condition; it is exactly the property the construction needs to establish, so it is assumed rather than derived.
standard math Gram-Schmidt orthogonalization applied to the infinite countable system {x_n} yields a complete orthonormal set {z_n}.
Invoked in the Statement proof; standard in separable Hilbert spaces, but completeness in the EHS is not automatically inherited.
domain assumption Hartree-Fock radial functions for the ground and excited configurations of Ne provide reliable input to the matrix element.
Used in Eq. (8); no convergence tests or comparisons to experiment are given.
ad hoc to paper HF continuum orbitals are pure-delta normalizable as required by Eq. (5).
Comment 3 (Eq. (10)) states that HF exchange leads to an extra principal-value term in continuum overlaps, so this assumption is questionable and is contradicted by the paper's own cited result.

invented entities (1)

Extended Hilbert Space (EHS) as direct sum D ⊕ C of finite-norm and infinite-norm vector spaces
purpose: To host bound and continuum atomic states in one complete orthonormal basis
It is a postulated mathematical space; the only support is the construction itself and the illustrative Ne calculation, with no independent observable predicted outside the paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the Extended Hilbert Space in the theory of the multielectron atom." pith.science (2026). https://pith.science/paper/RSWGZ7MK

@misc{pith2026250413329,
  author       = {Pith},
  title        = {Pith review of: On the Extended Hilbert Space in the theory of the multielectron atom},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RSWGZ7MK}},
  note         = {Machine review of arXiv:2504.13329}
}

read the original abstract

The construction of the Extended Hilbert Space (EHS) is presented in the form of a direct sum of the spaces of vectors of finite and infinite norms as the main space in the mathematical formalism of quantum mechanics of a multielectron atom. On the example of constructing the analytical structure of the probability amplitude 1s - 3p of photoexcitation of a neon atom, the implementation of the EHS - construct for solving the equations of the self-consistent Hartree-Fock field is given.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[18]

and Hopersky A.N

Novikov S.A. and Hopersky A.N. Free-free matrix elements for a many-electron atom. J. Phys. B: At. Mol. Opt. Phys. 44, 235001 (2011)

work page 2011
[1]

Functional Analysis (Berlin-Göttingen-Heidelberg: Springer-Verlag, 1965)

Yosida K. Functional Analysis (Berlin-Göttingen-Heidelberg: Springer-Verlag, 1965)

work page 1965
[2]

and Simon B

Reed M. and Simon B. Methods of Modern Mathematical Physics. V.1. Functional Analysis (New York, London: Academic Press Inc., 1972)

work page 1972
[3]

and Szőkefalvi-Nagy B

Riesz F. and Szőkefalvi-Nagy B. Functional Analysis (Dover Books on Mathematics, Courier Corporation, 2012)

work page 2012
[4]

and Schwartz J.T

Dunford N. and Schwartz J.T. Linear operators. V.2. Spectral Theory. Selfadjoint operators in Hilbert space (New York, London: Interscience Publishers, 1963)

work page 1963
[5]

and Glazman I.M

Akhiezer N.I. and Glazman I.M. Theory of linear operators in Hilbert space (New York: Dover Publications Inc., 1993)

work page 1993
[6]

Theory of operators (Monographs in Contemporary Mathematics Ser

Sadovnichii V.A. Theory of operators (Monographs in Contemporary Mathematics Ser. , New York: Consultans Bureou, 1991)

work page 1991
[7]

Théorie des distributions

Schwartz L. Théorie des distributions. V.1,2 (Paris: Hermann, 1959)

work page 1959

Show all 19 references

[8]

Mathematics for the Physical Sciences (Dover Books on Mathematics, Dover Publications, 2008)

Schwartz L. Mathematics for the Physical Sciences (Dover Books on Mathematics, Dover Publications, 2008)

2008
[9]

and Shilov G.E

Gelfand I.M. and Shilov G.E. Generalized functions: Properties and Operation. V.1 (American Mathematical Society: Chelsea Publishing, 2016)

2016
[10]

Distributions, Complex Variables, and Fourier Transforms (Addison-Wesley Publ

Bremermann H. Distributions, Complex Variables, and Fourier Transforms (Addison-Wesley Publ. Company, Massachusetts, 1965)

1965
[11]

The Principles of Quantum Mechanics (Oxford: Clarendon Press, 1958)

Dirac P.A.M. The Principles of Quantum Mechanics (Oxford: Clarendon Press, 1958). 4

1958
[12]

Mathematical Foundations of Quantum Mechanics (Princeton University Press, N.J., 1955)

Von Neumann J. Mathematical Foundations of Quantum Mechanics (Princeton University Press, N.J., 1955)

1955
[13]

Kaluza-Klein Theories: Overview

Chodos A. Kaluza-Klein Theories: Overview. Nucl. Part. Phys. (Comm. Mod. Phys. Pt. A) 13, 171 (1984)

1984
[14]

and Nadolinsky A.M

Hopersky A.N. and Nadolinsky A.M. On the completeness of one -particle states of a many -electron atom in an Extended Hilbert Space. J. Phys. B: At. Mol. Opt. Phys. 44, 075001 (2011)

2011
[15]

and Nadolinsky A.M

Hopersky A.N., Koneev R.V. and Nadolinsky A.M. On the Extended Hilbert Space. Bulletin of Higher Educational Institutions. North Caucasus Region. Natural Science. 1, 38 (2024) [in Russian]

2024
[16]

and Žvirblis P.S

Jucys A.P., Našlĕnas E.P. and Žvirblis P.S. The general theory of the extended method of calculation of atomic structures. Int. J. Quantum Chemistry. 6, 465 (1972)

1972
[17]

and Jőnsson P

Froese Fischer Ch., Brage T. and Jőnsson P. Computational Atomic Structure: An MCHF Approach (Bristol and Philadelphia: Institute of Physics Publishing, 1997)

1997
[19]

The Science of Logic (Cambridge-New York: Cambridge University Press, 2015)

Hegel G.W.F. The Science of Logic (Cambridge-New York: Cambridge University Press, 2015)

2015

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.

[1] [18]

and Hopersky A.N

Novikov S.A. and Hopersky A.N. Free-free matrix elements for a many-electron atom. J. Phys. B: At. Mol. Opt. Phys. 44, 235001 (2011)

work page 2011

[2] [1]

Functional Analysis (Berlin-Göttingen-Heidelberg: Springer-Verlag, 1965)

Yosida K. Functional Analysis (Berlin-Göttingen-Heidelberg: Springer-Verlag, 1965)

work page 1965

[3] [2]

and Simon B

Reed M. and Simon B. Methods of Modern Mathematical Physics. V.1. Functional Analysis (New York, London: Academic Press Inc., 1972)

work page 1972

[4] [3]

and Szőkefalvi-Nagy B

Riesz F. and Szőkefalvi-Nagy B. Functional Analysis (Dover Books on Mathematics, Courier Corporation, 2012)

work page 2012

[5] [4]

and Schwartz J.T

Dunford N. and Schwartz J.T. Linear operators. V.2. Spectral Theory. Selfadjoint operators in Hilbert space (New York, London: Interscience Publishers, 1963)

work page 1963

[6] [5]

and Glazman I.M

Akhiezer N.I. and Glazman I.M. Theory of linear operators in Hilbert space (New York: Dover Publications Inc., 1993)

work page 1993

[7] [6]

Theory of operators (Monographs in Contemporary Mathematics Ser

Sadovnichii V.A. Theory of operators (Monographs in Contemporary Mathematics Ser. , New York: Consultans Bureou, 1991)

work page 1991

[8] [7]

Théorie des distributions

Schwartz L. Théorie des distributions. V.1,2 (Paris: Hermann, 1959)

work page 1959