Emergence of vorticity and viscous stress in finite-scale quantum hydrodynamics
Pith reviewed 2026-05-18 20:55 UTC · model grok-4.3
The pith
Coarse-graining the Madelung equations at finite scales produces quantum fluid equations that permit vorticity at every point along with an effective viscous stress.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Starting from the irrotational Madelung formulation of a quantum fluid, a coarse-graining procedure is applied to arrive at a macroscopic description in terms of a hierarchy of moments in which the role of velocity is played by a Favre average of the microscopic velocity field. This hierarchy is truncated using an explicit closure derived from an expansion in a finite length scale. The resulting coarse-grained fields allow for finite vorticity at any point in the fluid. This vorticity obeys a similar equation to the vorticity equation in classical hydrodynamics and includes a vortex-stretching term. The particular closure also gives rise to a novel stress term in the fluid equations, which,
What carries the argument
The explicit closure derived from a finite-length-scale expansion applied to the moment hierarchy of Favre-averaged fields, which simultaneously generates continuous vorticity and an effective stress term.
If this is right
- Vorticity can exist at every location in the coarse-grained description rather than only at isolated points.
- The vorticity transport equation contains a vortex-stretching term identical in form to its classical counterpart.
- A novel stress term appears that reduces to an artificial viscous stress in the appropriate limit.
- The macroscopic equations remain consistent with the underlying conservation laws of the microscopic quantum system.
Where Pith is reading between the lines
- The approach may allow continuous numerical treatment of quantum vortices without explicit singularity tracking.
- It provides a route to embed rotational effects into quantum hydrodynamics while retaining a hydrodynamic structure.
- Higher-order terms in the length-scale expansion could be retained to control the magnitude of the effective viscosity.
Load-bearing premise
The explicit closure obtained from a finite-length-scale expansion is sufficient to truncate the moment hierarchy while preserving the emergence of vorticity and the viscous-like stress without introducing uncontrolled errors or violating conservation laws.
What would settle it
Numerical integration of the derived coarse-grained equations for a simple initial condition with known phase singularity, followed by direct comparison of the computed vorticity magnitude and stress field against the corresponding quantities extracted from the original Madelung equations at the same coarse-graining scale.
read the original abstract
The Madelung equations offer a hydrodynamic description of quantum systems, from single particles to quantum fluids. In this formulation, the probability density is mapped onto the fluid density and the phase is treated as a scalar potential generating the velocity field. As examples of potential flows, quantum fluids described in this way are inherently irrotational, but quantum vortices may arise at discrete points where the phase is undefined. In this paper, starting from this irrotational description of a quantum fluid, a coarse-graining procedure is applied to arrive at a macroscopic description of the quantum fluid in terms of a hierarchy of moments in which the role of velocity is played by a Favre average of the microscopic velocity field. This hierarchy is truncated using an explicit closure derived from an expansion in a finite length scale. The resulting coarse-grained fields are shown to allow for finite vorticity at any point in the fluid. Furthermore, it is shown that this vorticity obeys a similar equation to the vorticity equation in classical hydrodynamics and includes a vortex-stretching term. The particular closure employed here also gives rise to a novel stress term in the fluid equations, which in the appropriate limit appears analogous to an artificial viscous stress from computational fluid dynamics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper starts from the irrotational Madelung equations for quantum fluids and applies a coarse-graining procedure that replaces the microscopic velocity with a Favre-averaged field. A hierarchy of moments is truncated via an explicit closure obtained from an expansion in a finite length scale. The resulting macroscopic equations are shown to support finite vorticity at arbitrary points that obeys a transport equation containing a vortex-stretching term, together with a novel stress that reduces to an artificial-viscosity form in an appropriate limit.
Significance. If the truncation is rigorously justified, the work supplies a systematic route from irrotational quantum hydrodynamics to a macroscopic description that naturally accommodates distributed vorticity and an effective viscous stress. The explicit, finite-scale closure and the recovery of a classical-like vorticity equation with stretching are concrete strengths that could be useful for modeling quantum fluids at scales where discrete vortices are unresolved.
major comments (2)
- [truncation procedure / abstract] The truncation procedure (abstract and the paragraph describing the closure): because the expansion parameter is a finite length scale rather than an asymptotically small quantity, it is not immediate that omitted higher-order terms remain negligible in the curl of the coarse-grained momentum equation. The skeptic note correctly flags that these terms could modify the stretching coefficient or the divergence of the stress at the same order as the retained contributions; a concrete estimate or bound on the remainder is needed to support the claim that the derived vorticity equation and stress are leading-order accurate.
- [moment hierarchy truncation] Conservation properties: the manuscript must demonstrate that the chosen closure preserves mass, momentum, and energy conservation (or at least the appropriate integral invariants) at the coarse-grained level. If the finite-scale expansion introduces non-conservative artifacts, the analogy to classical hydrodynamics would be weakened.
minor comments (2)
- Notation for the Favre average and the finite length scale should be introduced with a single, unambiguous symbol and kept consistent throughout the equations.
- The abstract states that the stress 'appears analogous to an artificial viscous stress'; a brief comparison table or explicit coefficient matching with standard artificial-viscosity forms would clarify the analogy.
Simulated Author's Rebuttal
We thank the referee for the thoughtful and constructive report. The two major comments identify legitimate points where additional justification and explicit verification would strengthen the manuscript. We respond to each below and indicate the revisions we will make.
read point-by-point responses
-
Referee: The truncation procedure (abstract and the paragraph describing the closure): because the expansion parameter is a finite length scale rather than an asymptotically small quantity, it is not immediate that omitted higher-order terms remain negligible in the curl of the coarse-grained momentum equation. The skeptic note correctly flags that these terms could modify the stretching coefficient or the divergence of the stress at the same order as the retained contributions; a concrete estimate or bound on the remainder is needed to support the claim that the derived vorticity equation and stress are leading-order accurate.
Authors: We agree that the expansion is performed at a finite coarse-graining length rather than in the limit of an asymptotically small parameter, so a rigorous a-priori bound on the truncation error is not automatic. The vorticity equation is obtained exactly by taking the curl of the closed momentum equation; therefore any discrepancy with a more complete description originates only from the omitted higher-order contributions to the stress and related terms. In the revised manuscript we will add a new paragraph that supplies a scaling estimate for the size of the neglected terms. We will show that the relative error scales as (ℓ/L)^2, where ℓ is the coarse-graining length and L a macroscopic flow scale, and we will delineate the regime of scale separation in which the retained vorticity stretching term and stress divergence remain leading-order accurate. This addition will make the domain of validity of the derived equations explicit. revision: yes
-
Referee: Conservation properties: the manuscript must demonstrate that the chosen closure preserves mass, momentum, and energy conservation (or at least the appropriate integral invariants) at the coarse-grained level. If the finite-scale expansion introduces non-conservative artifacts, the analogy to classical hydrodynamics would be weakened.
Authors: The coarse-graining procedure begins from the exact Madelung equations and employs a Favre-averaged velocity. Consequently, the integral statements of mass and momentum conservation are preserved exactly upon spatial integration of the closed equations (subject to appropriate boundary conditions at infinity). The emergent stress that appears in the momentum equation is symmetric by construction, so its divergence integrates to a pure boundary term and does not violate global momentum balance. For the energy, the closure introduces an additional work term whose integral form we will verify explicitly. In the revised manuscript we will insert a concise section (or short appendix) that performs these direct integrations and confirms that no non-conservative artifacts are generated by the truncation at the level of the integral invariants. Any higher-order dissipative-like effects introduced by the stress will be identified as such and discussed in the context of the artificial-viscosity analogy already present in the paper. revision: yes
Circularity Check
Derivation proceeds forward from explicit closure without reduction to inputs by construction
full rationale
The paper begins with the irrotational Madelung equations, performs coarse-graining to produce a moment hierarchy using a Favre-averaged velocity, and then substitutes an explicit closure obtained from a finite-length-scale expansion to truncate the hierarchy. The resulting vorticity equation (with stretching term) and the novel stress term are obtained by direct substitution of that closure into the coarse-grained momentum and continuity equations. No step renames a fitted parameter as a prediction, defines the target result into the inputs, or relies on a self-citation chain whose content is unverified. The finite length scale is an explicit modeling parameter whose value controls the retained terms, but the algebraic emergence of finite vorticity and the stress form is a calculable consequence rather than a tautology. The derivation is therefore self-contained once the closure and truncation are accepted.
Axiom & Free-Parameter Ledger
free parameters (1)
- finite length scale
axioms (2)
- domain assumption Madelung equations furnish a valid irrotational hydrodynamic description of the quantum system
- domain assumption Favre averaging is the appropriate macroscopic velocity definition for the moment hierarchy
invented entities (1)
-
coarse-grained vorticity field
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean, Cost/FunctionalEquation.leanreality_from_one_distinction, washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The particular closure also gives rise to a novel stress term analogous to an artificial viscous stress... ω ≡ ∇×⟨⟨u⟩⟩... ∂tω + ⟨⟨u⟩⟩·∇ω = ω·∇⟨⟨u⟩⟩ − ω∇·⟨⟨u⟩⟩ + ... (Eqs. 24-26)
-
IndisputableMonolith/Foundation/AlphaCoordinateFixation.leanJ_uniquely_calibrated_via_higher_derivative unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
ℓ/L ≡ η << 1... truncate... ⟨AB⟩ = ⟨A⟩⟨B⟩ + ℓ²∇⟨A⟩·∇⟨B⟩ + O(η⁴) (Eq. 9)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Schr\"odinger-Navier-Stokes equation for capillary fluids
The Schrödinger-Navier-Stokes equation is formally equivalent to Navier-Stokes-Korteweg for capillary fluids at the action functional level, with dispersive and dissipative parameters controlling stiffness and damping...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.