REVIEW 4 minor 7 references
Local Complex Dependence and Separability in Madelung Hydrodynamics
T0 review · 0 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The complex cross-Hessian of log ψ decides local separability, and interactions first create phase coupling.
desk verdict Clean, honest short note: the complex cross-log-derivative repackages a known separability test, and Prop. 3's short-time growth equation sourced by the potential's mixed Hessian is a genuinely new and useful result. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the complex off-diagonal Hessian of the logarithm of the wave function, $K_{ij} = \partial^2 \log\psi/\partial x_i \partial x_j$, defined wherever $\psi\neq 0$. Its real part is half the Holland–Wang local dependence function of the configuration density, and its imaginary part is the cross-Jacobian of the Madelung velocity field. The argument runs on the fact that a nowhere-zero wave function on a simply connected product region admits a consistent logarithmic branch, so additive separability of $\log\psi$ and multiplicative separability of $\psi$ coincide; a finite cross-ratio $R_\psi$ provides the finite version of the same condition. The dynamical statement comes from dividing the Schrödinger equation by $\psi$ and taking mixed derivatives, which isolates the mixed Hessian of the potential as the source term.
What would settle it
A concrete check is to prepare two particles in a separable state, apply a short pulse with $V=gxy$, and measure the cross-response $\partial v_x/\partial y$: the paper predicts it equals $-gt/m_x$ to leading order. Any observation of a first-order real part of $K_{xy}$ (density cross-dependence) under these conditions, or any case where $K_{ij}=0$ throughout a node-free product region but the state is not multiplicatively separable, would contradict the central claims.
Extended reading notes
Core claim
The paper's central claim is that on any open, simply connected, node-free product region, the condition $K_{ij} = \partial^2 \log\psi/\partial x_i \partial x_j = 0$ throughout the region is equivalent to local multiplicative separability, $\psi(X_A,X_B) = \psi_A(X_A)\psi_B(X_B)$ across any cut; this is made precise in Propositions 1 and 2. The real part of each cross block is one half of the Holland–Wang local dependence function of the configuration density, and the imaginary part is the cross-Jacobian of the Madelung velocity field, so the field unifies statistical dependence and hydrodynamic coupling. For dynamics, Proposition 3 shows that if the state is separable at time $t_0$, then $\partial_t K_{ij}|_{t_0} = -i\hbar^{-1}\partial^2 V/\partial x_i \partial x_j$, so for a real scalar potential the leading departure from separability is purely imaginary: the density sector responds only at second order, while phase (velocity) coupling grows at first order. The paper is explicit that $K$ is a local, representation-dependent diagnostic and not a basis-independent entanglement monotone.
Load-bearing premise
The wave function must be nowhere zero and smooth enough on a simply connected product region for a consistent logarithm and commuting mixed derivatives; nodes or caustics make the field undefined, so the diagnostic applies only on node-free patches.
Editorial extensions
If this is right
- If all cross blocks $K_{ij}$ vanish identically on a node-free product region, the state factorizes exactly into a product of cluster wave functions on that region (Prop. 2); complete one-particle separability is the edge-free case of the coupling graph.
- A separable state under a Hamiltonian with a nonvanishing mixed Hessian across a cut cannot remain separable: the first-order departure is purely imaginary, so entanglement begins as phase/velocity coupling while the position density factorizes to first order.
- The ideal interaction pulse $V=gxy$ starting from a product state produces the exact state $\phi(x)\chi(y)e^{-igtxy/\hbar}$, with factorized density but entangled reduced state, showing that density factorizability does not imply physical independence.
- The diagnostic is representation-specific: local filtering $a(x)b(y)\psi(x,y)$ leaves $K_{ij}$ unchanged but can alter Schmidt coefficients, so the same local field is compatible with different global entanglement levels.
Reading between the lines
- A testable extension: because $\mathrm{Im}\,K_{ij}$ is the cross-Jacobian of the velocity field, short-time phase coupling could be probed experimentally through momentum or current cross-correlations before density correlations show any departure from a product state.
- The cross-ratio $R_\psi$ suggests a finite-size estimator of local dependence that could be computed from sampled configuration-space amplitudes; if validated on Gaussian states with known $\kappa+i\lambda$, it would provide a local separability diagnostic for numerical wave-function data.
- The coupling graph picture may suggest adaptive simulation strategies that drop weak cross blocks, but the paper explicitly disclaims a controlled approximation; a natural next step would be to test whether the evolution error is bounded by the size of the neglected blocks.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the complex cross-particle Hessian K_ij = ∂² log ψ / ∂x_i ∂x_j for a many-particle pure state in a fixed position representation. It shows that on a simply connected, node-free product region, the vanishing of all cross blocks K_ij throughout the region is equivalent to local multiplicative separability (Props. 1 and 2). The real and imaginary parts of K_ij are identified, respectively, with the Holland–Wang local dependence function of the configuration density and with the cross-response of the Madelung velocity field. Under Schrödinger evolution with a real scalar potential, the paper proves (Prop. 3) that from an initially separable state the leading growth of a cross block is ∂_t K_ij|t0 = -i/ℏ (∂²V/∂x_i ∂x_j), so the leading departure from separability is purely imaginary. A finite cross-ratio version, explicit Gaussian examples, a cluster-separability graph, and a clear statement of scope limitations are also included.
Significance. The paper provides a clean, self-contained local separability diagnostic that unifies previously separate statistical and hydrodynamic structures. The proofs of Props. 1 and 2 are direct and correct; Prop. 3 is a useful short-time formula with a transparent proof. The manuscript is honest about its limitations: the construction requires C², node-free regions, and sufficient temporal smoothness, and the paper explicitly disclaims any basis-independent entanglement interpretation. No fitting parameters or hidden inputs appear; the dynamics follow entirely from the Schrödinger equation. The paper's scope is narrow but the result is well-packaged and likely to be useful as a reference for local dependence analysis in Madelung hydrodynamics.
minor comments (4)
- [Sec. 3, Eqs. (14)–(15)] The branch convention for log R_ψ is described parenthetically; for precision, please state explicitly that a fixed branch of log ψ is chosen on the rectangle so that Eq. (15) holds as an ordinary limit rather than modulo 2πi.
- [Sec. 4, Eq. (20)] The formula Tr(ρ̂_x²) = 1/√(1 + 4λ²σ_x²σ_y²) is stated without derivation; a short computation or a reference would help the reader verify this claim.
- [Sec. 6, Prop. 2] The notation K_ij is used both for a 3×3 matrix and, in the condition K_ij = 0, for all its entries; adding 'for all a, b' in the statement of Proposition 2 would remove this ambiguity.
- [Sec. 8] The caveat that small nonzero blocks do not by themselves provide a controlled approximation error is useful; a brief example illustrating this point (for instance, the phase-coupled Gaussian with small λ but large widths) would motivate the caution more concretely.
Circularity Check
No circularity: the separability criterion and short-time generation formula are forward-derived from definitions and the Schrödinger equation.
full rationale
The paper's central derivation chain is self-contained. Proposition 1 (Section 2) defines Kxy = ∂² log ψ / ∂x ∂y and proves that Kxy = 0 throughout a simply connected node-free product region forces a consistent logarithm to be additive, hence ψ = a(x)b(y), with the converse following by differentiation. This is a direct proof, not an imported uniqueness theorem or a fitted equality. Proposition 2 (Section 6) repeats the identical argument for cluster partitions, with the graph consequence following from connected components. Proposition 3 (Section 7) derives Eq. (35) by dividing the Schrödinger equation by ψ and taking mixed derivatives; at t0 the separability assumption makes each cluster's kinetic term independent of the other cluster, so its cross mixed derivative vanishes and only −i/ℏ ∂²V/∂x_i^a ∂x_j^b remains, giving Eq. (37). No parameter is fitted to data, no prediction is a renamed input, and no load-bearing claim rests on a self-citation. Cited external results (Holland–Wang, Jones, Zander–Plastino) are used for context and naming, not as premises of the proofs. The limitations concerning nodes, temporal smoothness, and representation dependence are explicitly disclosed in Section 8 and do not conceal a circular step. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption The wave function is C² and nowhere zero on the region of interest.
- domain assumption The domain is a simply connected product region (intervals or product of intervals).
- domain assumption The state is a pure state of N distinguishable spinless particles in a fixed position representation.
- domain assumption Schrödinger evolution with a real scalar potential governs the time dependence.
- standard math Madelung polar decomposition ψ = √ρ e^{iS/ℏ} holds wherever ψ≠0.
Cite this review
Pith. "Pith review of Local Complex Dependence and Separability in Madelung Hydrodynamics." pith.science (2026). https://pith.science/paper/FLSNDYSI
@misc{pith2026260810019,
author = {Pith},
title = {Pith review of: Local Complex Dependence and Separability in Madelung Hydrodynamics},
year = {2026},
howpublished = {\url{https://pith.science/paper/FLSNDYSI}},
note = {Machine review of arXiv:2608.10019}
}
read the original abstract
For a many-particle pure state in a fixed position representation, we consider the mixed cross-particle derivatives of the logarithm of the wave function. Their real part is one half of the Holland-Wang local dependence function of the configuration density, while their imaginary part is the cross-Jacobian of the Madelung velocity field. On a node-free product region, vanishing of all cross blocks throughout the region is equivalent to local multiplicative separability. Under Schrodinger evolution with a real scalar potential, the initial growth of a cross block from a separable state is sourced by the corresponding mixed Hessian of the potential and is purely imaginary to first order in time. The construction is a local separability and dependence diagnostic, rather than a basis-independent entanglement measure.
Figures
Reference graph
Works this paper leans on
-
[1]
Quantentheorie in hydrodynamischer Form,
E. Madelung, “Quantentheorie in hydrodynamischer Form,”Zeitschrift f¨ ur Physik40, 322–326 (1927), doi:10.1007/BF01400372
-
[2]
Dependence function for continuous bivariate den- sities,
P. W. Holland and Y. J. Wang, “Dependence function for continuous bivariate den- sities,”Communications in Statistics – Theory and Methods16, 863–876 (1987), doi:10.1080/03610928708829408
-
[3]
The local dependence function,
M. C. Jones, “The local dependence function,”Biometrika83, 899–904 (1996), doi:10.1093/biomet/83.4.899
-
[4]
Revisiting Entanglement within the Bohmian Approach to Quantum Mechanics,
C. Zander and A. R. Plastino, “Revisiting Entanglement within the Bohmian Approach to Quantum Mechanics,”Entropy20, 473 (2018), doi:10.3390/e20060473
-
[5]
Quantum hydrodynamics with complex quantities,
M. Bonilla-Licea and D. Schuch, “Quantum hydrodynamics with complex quantities,”Physics Letters A392, 127171 (2021), doi:10.1016/j.physleta.2021.127171
-
[6]
The Theory of (Exclusively) Local Beables,
T. Norsen, “The Theory of (Exclusively) Local Beables,”Foundations of Physics40, 1858– 1884 (2010), doi:10.1007/s10701-010-9495-2
-
[7]
T. Norsen, D. Marian, and X. Oriols, “Can the wave function in configuration space be replaced by single-particle wave functions in physical space?,”Synthese192, 3125–3151 (2015), doi:10.1007/s11229-014-0577-0. 7
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.