{"id":"25e61a39-1f42-419f-a4e6-9067fd84f466","arxiv_id":"2501.00151","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Derives a macroscopic-motion effective Lagrangian for Weyl fermions in 3He-A and uses it to compute equilibrium thermodynamics around integer mass vortices.","lead":"This paper builds an effective Lagrangian for the normal, fermionic component of superfluid helium-3 A in the presence of macroscopic rotation and flow, using the Zubarev statistical operator method. The result lets one compute thermodynamic quantities of the fermions around vortices and sharpens 3He-A as a laboratory analogue of rotating relativistic matter.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Stationarity condition presumes linear independence of currents on the physical Hilbert space; the paper shows some vanish after the Majorana constraint, so the GTE constraints may be over-restrictive.","rationale":"The reader's weakest_assumption identifies exactly the load-bearing gap: the stationarity condition is imposed coefficient-wise without establishing linear independence of the operator set after the Majorana constraint. This gap is concrete, located in Section IV.B.3, and directly feeds into the constraints that determine Ω_ab and hence the vortex thermodynamics. The paper's own statement that certain currents vanish on the constrained variable space (Section V) is strong evidence that the unconstrained basis is not a basis on the physical Hilbert space. Because this is a missing proof rather than a demonstrated contradiction, the appropriate verdict remains CONDITIONAL, so no verdict change is needed. The self-acknowledged shortcoming about misaligned rotation axes in Section VII is a limitation of the no-backreaction approximation, but it does not invalidate the aligned-case response functions that constitute the central numerical claim; the operator-independence assumption is more fundamental.","tokens_in":1150,"tokens_out":804,"duration_ms":156614,"concrete_test":"Using the explicit second-quantized expressions for the constrained operators (cf. Eqs. (203)-(206)), compute the Gram matrix of the operators {T^μ_a, G^a, j^μ_A, P^ab, j^μ_i} on the physical Fock space for the n1 = 1 pure mass vortex background. Evaluate its rank on the subspace of states satisfying the Majorana constraint. If a linear relation Σ_a c_a T^μ_a + c_A j^μ_A + Σ_{ab} c_{ab} P^{ab} + ... = 0 holds identically, then the stationarity condition must be projected onto the quotient; recompute Ω_ij from the projected equations, re-derive the spectrum (226), and compare the resulting response functions with Eqs. (231)-(237).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The key step from Eq. (136) to Eqs. (142)-(162) is the claim that global thermodynamic equilibrium requires the coefficient of each operator (T^μ_a, G^a, j^μ_A, P^ab, j^μ_i) to vanish separately. This is valid only if those operators are linearly independent on the physical Hilbert space, i.e. after the Majorana constraint Ψ = Ψ^T Û d^* of Eq. (A5) is imposed. The paper asserts this basis property in Section IV.B.3 ('Our original set of currents ... forms a basis') but does not prove it. In fact, Section V states that after the constraint the currents j^{0μ}_V, j^{1μ}_V, j^{2μ}_V and j^{3μ}_A vanish identically, which already shows that the unconstrained operator set is not independent on the physical state space. If any linear combination of the remaining operators also vanishes (for example relating some component of T^μ_a to j^μ_A), then the stationarity condition should be imposed only on the quotient space. This could change the vierbein constraints (142)-(148), the determination of Ω_ab in Eq. (145), and consequently the Hamiltonian H_ω in Eq. (216), the spectrum (226), and the thermodynamic response functions (231)-(237). The central claim therefore rests on an unverified operator-independence assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs an effective Lagrangian for the normal component of superfluid 3He-A in global thermodynamic equilibrium with a moving superfluid background, using the Zubarev statistical operator and a path-integral representation. The authors reformulate the emergent low-energy theory in terms of a universal real vierbein plus a non-Abelian spin-connection gauge field, derive the stationarity constraints on the superfluid background from global thermodynamic equilibrium, and then specialize to a rotating normal component around pure mass vortices. The final Lagrangian is Eq. (202), and the vortex analysis yields the thermodynamic response functions of Eqs. (231)-(237), including pressure, energy density, entropy density, particle number density, and angular momentum density, with numerical checks against Stefan-Boltzmann limits.","tokens_in":54075,"tokens_out":7538,"duration_ms":84393,"significance":"If the central derivation is correct, the paper provides a parameter-free first-principles effective theory for the normal component of 3He-A in a moving superfluid background, connecting Zubarev statistical mechanics with emergent relativistic fermions and topological defects. The explicit reformulation of the matrix-valued vierbein in terms of a real vierbein and a spin-connection gauge field is a useful technical contribution, and the vortex thermodynamics gives concrete, in-principle testable predictions. The main strength is that the construction is explicit and anchored in the known 3He-A action, with the high-temperature Stefan-Boltzmann limit serving as an external check. However, the central stationarity step relies on an operator-independence assumption that is neither proved nor made precise, and the path-integral conversion is largely delegated to a previous paper.","major_comments":[{"comment":"The passage from the stationarity condition to the global thermodynamic equilibrium constraints assumes that the operators whose coefficients appear in Eq. (140) are linearly independent on the physical Hilbert space, i.e. after the Majorana constraint of Eq. (A5) is imposed. The text asserts this basis property in Section IV.B.3 ('Our original set of currents ... forms a basis') but does not prove it. The later statement in Section V that j^{0μ}_V, j^{1μ}_V, j^{2μ}_V and j^{3μ}_A vanish identically on the constrained space shows that the unconstrained operator set is not independent on the physical state space. Nothing in the manuscript rules out nontrivial relations among the remaining T^μ_a, G^a, j^μ_A, P^{ab} and j^μ_i. If such a relation exists, the constraints (142)-(162), in particular the expression for Ω_ab in Eq. (145), need not follow from stationarity. Since H_ω in Eq. (216) and the thermodynamic response functions (231)-(237) depend on Ω_ab, the vortex application is directly affected. The authors should either prove the required independence on the constrained Hilbert space or reformulate the stationarity condition on the quotient space of physical operators and verify that the resulting constraints and thermodynamic results are unchanged.","section":"Section IV.B.3, Eq. (140)"},{"comment":"The operator-to-Lagrangian conversion is a load-bearing step, but the derivation is summarized from reference [24] rather than presented in a self-contained way. In particular, the treatment of normal ordering, the role of the coefficient c=1/2 introduced before Eq. (B4), and the elimination of one chiral component through the Majorana constraint are invoked without a complete demonstration. Since the final Lagrangian (202) is one of the paper's central outputs, an error in these steps would propagate directly into the thermodynamic results of Section VI. Please either supply the missing steps in sufficient detail or state precisely, with enough information to be checked, the hypotheses under which the construction of [24] applies to the present setting.","section":"Section V, Eqs. (187)-(202)"},{"comment":"The thermodynamic calculation at Eq. (231) combines the left-handed fermion spectrum with a four-species counting and a factor of two restored by the MIT bag boundary conditions stated in Eq. (230). The degree-of-freedom counting is essential for the absolute values of the thermodynamic quantities, even though the ratios shown in the plots may be less sensitive. This counting should be checked directly against the coherent-state path integral with the Majorana constraint, rather than inferred from chiral-mixing arguments. The authors should show that the counting is consistent with the original Nambu-Gorkov degrees of freedom and with the constraint of Eq. (62).","section":"Section VI, Eq. (231)"}],"minor_comments":[{"comment":"The displayed expression '4·7/8·1/90π²' is inconsistent with the stated result 7π²/180; if the intended Stefan-Boltzmann factor is π²/90, the display should read 4·7/8·π²/90.","section":"Eq. (238)"},{"comment":"The sentence 'This is observed neither for the pressure nor the entropy densities' appears to contain a typo, since the comparison is between the entropy density and the other thermodynamic densities; please revise for clarity.","section":"Section VI, after Fig. 5"},{"comment":"There are several typographical slips, such as 'the the normal component motion' in the abstract and 'symmmetry group' in Section II.A; a careful proofreading pass is recommended.","section":"Abstract and Section I"},{"comment":"References [25] and [47] appear to be the same paper by Alonso and Popov, and references [1] and [48] are by the same author with overlapping content; the duplicates should be reconciled.","section":"References"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Maik — this one is worth your time. It is a long, self-contained derivation, and it does real work. The authors reformulate the emergent relativistic action of 3He-A (matrix-valued vierbein, two Weyl fermions) into a Dirac doublet coupled to a single scalar vierbein plus a non-Abelian spin-connection gauge field B_μ that collects the Berry phases. That reformulation is not standard, and it is useful: it puts all spin dynamics in one place. They then use the Zubarev operator to derive an effective Lagrangian for the normal component in global equilibrium (Eq. 202), and they apply it to pure mass vortices, disclinations, and fractional vortices. The thermodynamic calculation for rotating fermions around a mass vortex is explicit and is checked against the high-temperature Stefan-Boltzmann limit, which is a proper external benchmark.\n\nThe soft spot is real, and I think the stress-test note is on target. The stationarity condition (Eq. 136) is turned into coefficient-by-coefficient constraints (Eqs. 140-162) by claiming the current set is a basis. That is never proved. Worse, the paper itself later states that after the Majorana constraint several currents — j^{0μ}_V, j^{1μ}_V, j^{2μ}_V, j^{3μ}_A — vanish identically on the physical space. So the unconstrained set is certainly not independent on the physical Hilbert space. If any linear relation among the remaining operators exists, the constraints could be over-restrictive. The paper needs to either prove independence on the constrained space or redo the GTE conditions on the quotient. The specific vortex results may survive, since the chosen configurations satisfy the constraints anyway, but the generality claim is not secured.\n\nThe authors themselves flag that the misalignment between the rotation axis and the vortex axis is likely an artifact of the no-backreaction approximation. That is honest, and it tells you how to read the physics. The algebra is dense but the presentation is careful. I do not see fitting parameters or invented entities. The citation to [24] for the path-integral conversion is appropriate.\n\nBottom line: this paper deserves a serious referee. The new formalism and the explicit application are enough for that. But the referee must push on the operator-independence issue; without it, the GTE constraints are an assumption, not a derivation. I would accept it for review, conditional on that being addressed.","headline":"A serious, dense derivation with a genuinely new formalism, but the global-equilibrium constraints rest on an unproved operator-independence assumption that the authors themselves partially undercut.","tokens_in":54541,"tokens_out":5860,"would_cite":true,"duration_ms":58838,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper derives a single effective Lagrangian that describes macroscopic motion of the normal component of superfluid 3He-A in global thermodynamic equilibrium, with the superfluid itself treated as an external flowing and possibly…","keywords":["superfluid 3He-A","Weyl fermions","Zubarev statistical operator","emergent relativistic invariance","vortices","Nieh-Yan anomaly","effective Lagrangian","macroscopic motion"],"falsifier":"Compute the Gram matrix of the operators $\\hat{T}^\\mu_a$, $\\hat{G}^a$, $\\hat{j}^\\mu_A$, $\\hat{P}^{ab}$, and $\\hat{j}^\\mu_i$ on the constrained Majorana variable space for a pure mass vortex texture; if any linear dependence appears, the constraints of Eqs. (142)-(148) are over-restrictive. Experimentally, resolve the angular momentum density of the normal component at temperatures well below $v_\\perp/R$ around a single pure mass vortex and compare its temperature dependence with Eqs. (234)-(237).","tokens_in":53573,"feed_emoji":"🌀","tokens_out":4562,"duration_ms":49261,"temperature":0.7,"pith_summary":"This paper derives a single effective Lagrangian that describes the macroscopic motion of the normal, fermionic component of superfluid 3He-A when the superfluid background itself is also flowing and, possibly, rotating. The derivation starts from the Zubarev statistical operator, converts global thermodynamic equilibrium into a path integral, and identifies which background configurations are thermodynamically allowed. The central result is Eq. (202): a Lagrangian for emergent Dirac fermions coupled to a universal vierbein, an axial gauge field, and a spin-connection gauge field, with macroscopic motion encoded through a four-velocity field and chemical potentials. As an application, the paper computes pressure, energy density, entropy density, particle number density, and angular momentum density of the normal component rotating around a pure integer mass vortex. The result matters because it turns a longstanding two-fluid problem into a field-theoretic calculation with concrete, numerically evaluable predictions.","feed_headline":"Rotating 3He-A normal component reduced to one effective Lagrangian","feed_subtitle":"Derivation from the Zubarev statistical operator fixes allowed superfluid backgrounds and predicts response around mass vortices.","key_machinery":"The load-bearing machinery is the Zubarev statistical operator converted into a functional integral: global thermodynamic equilibrium is imposed by demanding that the coefficient of every operator in the divergence of the logarithm of the statistical operator vanish separately. The paper reformulates the two emergent Weyl fermions at the Fermi points as a Dirac fermion doublet coupled to a scalar-valued vierbein and a non-Abelian spin-connection gauge field $B_\\mu$, which combines two Berry connections and a spin connection mixing Dirac and internal spin spaces. A Majorana-type constraint, Eq. (A5), halves the degrees of freedom and must be imposed on the path integral. The resulting effective Lagrangian, Eq. (202), contains the macroscopic-motion data in a four-vector $U_\\mu$ plus chemical potentials, while equilibrium constraints on the vierbein, torsion, and spin vorticity follow from the stationarity condition.","core_discovery":"On its own terms, the paper's claim is that in global thermodynamic equilibrium the normal component of 3He-A is described by the Lagrangian of Eq. (202) together with the constraints of Eqs. (142)-(162). Those constraints select the allowed superfluid backgrounds: the frigidity vector field must satisfy a Killing-type equation, the torsion tensor must have the appropriate Lie-derivative behavior, and spin vorticity must vanish wherever the corresponding spin-current operator is nonconserved. Under these conditions the derivation gives thermodynamic response functions for rotation around a pure mass vortex, Eqs. (231)-(237), which the paper evaluates numerically and compares with the high-temperature limit. The paper also reorganizes the usual matrix-valued vierbein description into a formulation with one scalar-valued vierbein plus a non-Abelian gauge field $B_\\mu$ that collects Berry connections and spin connection, arguing this is the more natural language for the combined motion. The superfluid component is treated as an external background throughout, so backreaction of the normal component on the superfluid is not included.","pith_inferences":["One implicit consequence the paper does not spell out is that the same Lagrangian can be used to build a local quasi-equilibrium hydrodynamic description of 3He-A grain by grain, since the Zubarev machinery applies locally as well as globally.","A testable extension would be measuring the angular momentum per particle around a single mass vortex at low temperature: the predicted monotonic increase with angular velocity and chemical potential is specific enough to discriminate this framework from simpler Landau-level models.","The derivation relies on the form of the vierbein and the anomaly structure, so the formalism could plausibly be carried over to rotating Weyl semimetals or other torsional condensed-matter systems with emergent relativistic fermions."],"forward_implications":["If Eq. (202) is correct, the thermodynamic response of the rotating normal component around a pure mass vortex is fully determined by the quantized mode sums in Eqs. (231)-(237), with no free parameters beyond temperature, chemical potential, angular velocity, and vortex winding number.","The global-equilibrium constraints imply that a pure mass vortex can coexist with a rotation axis misaligned from the vortex axis, because only the antisymmetrized Lie derivative of the torsion tensor must vanish; the paper states this freedom disappears for dipole-unlocked textures with nonzero corresponding spin-current terms.","The formulas cover both the $n_1=0$ and $n_1=1$ vortex sectors, so the topological index enters the thermodynamics only through the angular-momentum cutoff and the shifted energy levels, meaning the two sectors differ mainly at low temperature.","Because the derivation neglects superfluid dynamics, the computed response functions serve as a building block for vortex dynamics rather than a complete coupled two-fluid theory."],"supporting_citations":[{"why":"Provides the 3He-A order parameter, vortex classes, and the emergent relativistic fermion picture that the paper builds on.","marker":"[1]"},{"why":"Supplies the standard two-fluid description and the London-limit form of the superfluid order parameter used as the background.","marker":"[2]"},{"why":"Supplies the Zubarev statistical operator method and the global thermodynamic equilibrium condition used throughout the derivation.","marker":"[23]"},{"why":"Supplies the path-integral procedure for converting a macroscopic-motion Hamiltonian into an effective Lagrangian, which the paper follows closely.","marker":"[24]"},{"why":"Defines the Nieh-Yan anomaly that motivates the torsional constraints on the emergent vierbein.","marker":"[16]"},{"why":"Provides the treatment of the Nieh-Yan anomaly in Weyl superfluids used to identify which currents are conserved.","marker":"[19]"},{"why":"Provides the general equilibrium solutions for the vierbein and chemical potential in the absence of anomalies, used in solving the constraint equations.","marker":"[32]"},{"why":"Provides the original effective action of 3He without spin-orbit coupling that is the starting point of the field-theoretic description.","marker":"[47]"}],"fun_headline_variants":["Effective Lagrangian for 3He-A normal component flow","Zubarev method pins down 3He-A fermionic background","Rotating 3He-A: one action for its emergent fermions","Constraints on 3He-A superflow from normal component motion"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the operator terms appearing in the stationarity condition of the Zubarev statistical operator remain linearly independent after the Majorana constraint, so the coefficient of each one must vanish separately; the paper does not prove this independence.","fun_headline_variants_meta":{"raw":{"variants":["Effective Lagrangian for 3He-A normal component flow","Zubarev method pins down 3He-A fermionic background","Rotating 3He-A: one action for its emergent fermions","Constraints on 3He-A superflow from normal component motion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000224,"raw_usage":{"total_tokens":1520,"prompt_tokens":1063,"completion_tokens":457,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":679,"completion_tokens_details":{"reasoning_tokens":384}},"tokens_in":679,"tokens_out":457,"duration_ms":5703,"temperature":1.0,"reasoning_tokens":384,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:58:37.635069+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Gram matrix of the operators $\\hat{T}^\\mu_a$, $\\hat{G}^a$, $\\hat{j}^\\mu_A$, $\\hat{P}^{ab}$, and $\\hat{j}^\\mu_i$ on the constrained Majorana variable space for a pure mass vortex texture; if any linear dependence appears, the constraints of Eqs. (142)-(148) are over-restrictive. Experimentally, resolve the angular momentum density of the normal component at temperatures well below $v_\\perp/R$ around a single pure mass vortex and compare its temperature dependence with Eqs. (234)-(237).","supporting_citations":[{"cited_title":"This case is equivalent to a vanishing Lie derivative of the vierbein along the Killing vector fieldβµ","cited_arxiv_id":null,"evidence_quote":"Provides the 3He-A order parameter, vortex classes, and the emergent relativistic fermion picture that the paper builds on."},{"cited_title":"It is convenient to introduce cylindrical coordinates expressed through Cartesian coordinates by x =ρcos(ϕ), y =ρsin(ϕ), z =z","cited_arxiv_id":null,"evidence_quote":"Supplies the standard two-fluid description and the London-limit form of the superfluid order parameter used as the background."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Zubarev statistical operator method and the global thermodynamic equilibrium condition used throughout the derivation."},{"cited_title":"Volovik and M","cited_arxiv_id":null,"evidence_quote":"Defines the Nieh-Yan anomaly that motivates the torsional constraints on the emergent vierbein."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the treatment of the Nieh-Yan anomaly in Weyl superfluids used to identify which currents are conserved."},{"cited_title":"Nissinen and G","cited_arxiv_id":null,"evidence_quote":"Provides the general equilibrium solutions for the vierbein and chemical potential in the absence of anomalies, used in solving the constraint equations."}],"review_version":1}