Electron–nuclear neural states
In brief. Quantum nuclei require a wavefunction of both electronic and nuclear coordinates, with kinetic-energy derivatives for both species. Neural architectures can couple the species through message passing and orbitals that follow the nuclei. A nuclear factor multiplied by a nuclear-coordinate-dependent electronic state can describe electron–nuclear entanglement; this product form alone does not impose the Born–Oppenheimer approximation.
Notation follows the conventions page. Write the configuration of N electrons as R=(r1,…,rN) and that of Nn nuclei as Q=(R1,…,RNn), distinguishing individual nuclear positions RA from the electronic configuration.
The joint variational state
In Hartree atomic units, the coupled Hamiltonian is
H=−21i∑∇ri2−A∑2MA1∇RA2+V(R,Q),where MA is a nuclear mass in electron masses and V contains electron–electron, electron–nucleus and nucleus–nucleus interactions. Periodic Coulomb systems require the corresponding Ewald sum.
A useful parameterization is
Ψθ(R,Q)=Φθ(Q)Dθ(R;Q)eJθ(R,Q).Here Dθ is antisymmetric under the required electron exchanges, Φθ controls nuclear amplitudes, and Jθ is a symmetric correlator. The dependence of Dθ and Jθ on both configurations lets this form represent nonseparable electron–nuclear states. Clamping Q instead makes it an external parameter and removes the nuclear kinetic term.
Atomic hydrogen: coupled particle graphs
Linteau, Moroni, Carleo and Holzmann couple electron–electron and electron–proton graph updates. Periodic relative features feed the network; electron vertex outputs give complex backflow coordinates, while electron edge outputs add a symmetric correlation term (arXiv:2504.07062v3, Method and Appendix A).
The electronic orbitals sum Gaussians centred on instantaneous protons and their images:
ϕk(ri;Q)=n∈Z3∑A∑eik⋅(RA+nL)χ(ri−RA−nL).Here L is the cubic cell length and χ a Gaussian with a variational width. Neural backflow replaces ri only in the orbital part (Eqs. 3–5).
The BCC quantum-proton benchmark uses Gaussian site localization (Table II). In the unrestricted construction, a separate proton-only graph network models nuclear correlations, allowing liquid and crystalline states without prescribing a lattice (Method; Results). These are distinct nuclear ansätze within the same framework.
Orbitals that follow moving nuclei
The orbital formula makes the boundary condition explicit. Replace ri by ri+Lea and reindex the image sum using n′=n−ea. Then
ϕk(ri+Lea;Q)=eikaLϕk(ri;Q).Choosing k=G+ks, with G a cell reciprocal vector, makes the phase independent of the orbital label. The electronic determinant therefore has the required twist. A periodic backflow displacement preserves this argument.
Moving a proton changes the Gaussian centres and their phases, so the electronic orbitals respond directly to its instantaneous position. A common displacement a of all electrons and protons multiplies each orbital by eik⋅a, leaving its relative-coordinate Gaussian unchanged. The determinant can carry a total-momentum phase while its probability density remains translation invariant, provided the other factors depend only on relative coordinates. This connects the construction to periodic neural states and message-passing backflow.
A DeepSolid-based electron–nuclear construction
Chai et al. combine a DeepSolid-based electronic network with a nuclear network acting on periodic proton–proton features. Their nuclear log-amplitude is parameterized through learned distances,
logΦθ(Q)=−AB∑σAB2[dθ,ABenv(Q)−bAB]2,where dθ,ABenv is a neural correction to a periodic distance and bAB,σAB are variational parameters. The nonlinear distance map allows non-Gaussian nuclear behavior. Their electronic network uses simulation-cell features, and the full state is optimized together with the cell for an enthalpy objective. Nuclear exchange is neglected in the phases studied (arXiv:2512.17703v3, Sec. II.1–II.2 and Supplemental Material I).
This illustrates a different way to represent nuclear correlations alongside an antisymmetric electronic state. The choice of nuclear statistics remains a physical assumption; electron determinants do not impose proton exchange symmetry.
Nuclear derivatives act on the whole wavefunction
Let Fθ=DθeJθ, so Ψθ=ΦθFθ, and write ∇A=∇RA. Away from zeros, the product rule gives
Ψθ∇A2Ψθ=Φθ∇A2Φθ+Fθ∇A2Fθ+2Φθ∇AΦθ⋅Fθ∇AFθ.The nuclear kinetic energy therefore includes derivatives of the electronic orbitals and cross terms between the factors. Applying it only to Φθ would evaluate a different energy functional. Joint optimization with these derivatives is what permits a treatment beyond a clamped-nucleus electronic problem; conditioning orbitals on nuclear coordinates alone does not establish that treatment.
Sampling must likewise use the complete ∣Ψθ(R,Q)∣2. A proposed nuclear move generally changes every factor, so its acceptance ratio cannot be computed from ∣Φθ∣2 alone. Electron and nuclear proposals may use different step sizes while targeting the same joint distribution.
The solids benchmark page separates clamped and quantum-proton instances and reports their energies. Comparisons must match the nuclear mass, exchange assumptions, localization constraints, cell and twist, as well as the electronic Hamiltonian.
References
- D. Linteau, S. Moroni, G. Carleo, M. Holzmann, Neural Wave Functions for High-Pressure Atomic Hydrogen, arXiv:2504.07062v3 (2025). Coupled graphs, proton-centred orbitals and nuclear ansätze.
- S. Chai, C. Lin, X. Dong, Y. Li, W. Ouyang, L. Wang, X. C. Xie, Revisiting the broken symmetry phase of solid hydrogen: A neural network variational Monte Carlo study, arXiv:2512.17703v3 (2025). Electronic and nuclear networks with cell optimization.