{"id":"ffa2b1d5-c298-4682-b9a2-dd50767f63b1","arxiv_id":"1908.04445","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Chapman-Enskog relativistic heat-flux law is generically unstable and ill-posed in any evolution frame not aligned with the fluid four-velocity, so rotating fluids cannot avoid the instability.","lead":"The authors show that the relativistic Chapman-Enskog heat-flux equation, which is stable when time is measured in the fluid's rest frame, becomes unstable and ill-posed for generic time directions, as is needed for rotating fluids. This matters because a widely used transport closure would then not be safe for numerical simulations of relativistic flows such as heavy-ion collisions and neutron star mergers.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The ill-posedness claim rests on an unproven high-frequency asymptotic: existence of a root S ~ ε K with Re ε > 0 is asserted, not demonstrated.","rationale":"The reader's verdict is CONDITIONAL, and my concern reinforces that conditionality rather than overturning it. The reader's weakest_assumption focused on the extrapolation from constant boosts to rotating backgrounds; my stress-test finds a more fundamental gap in the derivation of the high-frequency asymptotic behavior used for the ill-posedness conclusion. The reader did mention in the rationale that the positivity of the high-frequency root is asserted rather than proved, so there is partial agreement. My proposed test directly checks whether the unproven asymptotic root exists, which would settle whether the central claim of the abstract holds. If the test fails, the paper's strongest claim collapses; if it passes, the paper is correct but underproved. Either way, the appropriate verdict remains CONDITIONAL: the central conclusion should not be accepted as established until the high-frequency root is verified. I do not see grounds for REJECT because the K = 0 instability and the co-moving stability analysis are credible, and the high-frequency behavior may well be correct though insufficiently supported. The paper's DTT side result is not load-bearing for the main claim and is appropriately hedged by the authors.","tokens_in":11835,"tokens_out":6837,"duration_ms":73948,"concrete_test":"Solve Eq. (III.24) numerically for the parameter values used in Figures 1 and 2 (ζ = 0.1, v = 0.1, z = 0.1 and ζ = 0.5, v = 0.5, z = 0.7), with K ζ held fixed at several values (e.g., 0.01, 0.1, 1), and compute all four roots ε. Check whether any root has Re ε > 0. Additionally, apply the Routh-Hurwitz criterion to P(x) = sum_j α_j x^j, where x = i ε, to determine whether P has a root in the upper half-plane (equivalent to Re ε > 0) for representative z and v. If no such root exists, the ill-posedness claim in Section III.B.1 is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section III.B.1, the paper claims that for large wave number K, solutions behave as S = ε K with ε satisfying Eq. (III.24), and concludes that the system is ill-posed because modes grow arbitrarily fast. However, no proof is given that Eq. (III.24), or its leading high-K limit sum_j α_j (i ε)^j = 0, has any root with Re ε > 0. The preceding K = 0 analysis establishes only a positive real root at zero wave number; it says nothing about the limit K → ∞. The numerical figures stop at small K (0.15 and 0.008) and do not extract an asymptotic slope. If all roots ε have Re ε ≤ 0, high-frequency modes would not grow without bound and the ill-posedness conclusion would fail, even if the K = 0 instability persists. This is the central claim of the abstract: 'their real part grows without bound as the wave-number increases.' Because this step is asserted via 'straightforward to see' rather than proved, the strongest conclusion is not established. The rotation extrapolation is a separate gap, but even granting it, the high-frequency behavior is the load-bearing point for ill-posedness.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes the well-posedness of the relativistic fluid equations closed with the Chapman-Enskog (CE) heat-flux relation q^mu = -h^mu nu (kappa nabla_nu T/T - lambda nabla_nu n/n). It first argues that this closure cannot be obtained from a first-order divergence-type theory without using the equilibrium (Euler-order) expression for the four-acceleration, and it notes the open status of that substitution. It then studies linear perturbations: in the comoving frame, a cubic dispersion relation is derived and shown to be stable for a classical relativistic ideal gas using the Routh-Hurwitz criterion and kinetic identities. For an arbitrary time direction, obtained by a constant Lorentz boost, a quartic complex dispersion relation is derived; a positive real root is exhibited at zero wave number, and numerical roots with positive real part are shown for two sets of parameters. The paper concludes that the system is unstable and ill-posed because high-frequency modes grow linearly in wave number with positive real part, and it claims that the instability can be avoided only when the fluid velocity is surface-forming, i.e., when there is no rotation.","tokens_in":11953,"tokens_out":8329,"duration_ms":95432,"significance":"If established, this is a substantial negative result: the relativistic CE heat-conduction law would join Eckart-type theories as linearly unstable and, more strongly, ill-posed, removing a candidate first-order relativistic fluid theory from the class of well-posed initial-value problems. The paper is largely self-contained, uses no fitted parameters, and its comoving-frame analysis is explicit and checkable: the dispersion relation, the positivity conditions, and the Routh-Hurwitz argument are all given in closed form. The DTT discussion is appropriately caveated in the text. The main weakness is that the load-bearing high-frequency claim is asserted rather than proved, and the step from a constant boost to rotating backgrounds is not justified.","major_comments":[{"comment":"The ill-posedness conclusion is not established. The text asserts that for high frequency the roots behave as hat S ~ epsilon hat K with epsilon satisfying Eq. (III.24), and that this implies modes grow arbitrarily fast, but it does not prove that Eq. (III.24), or its leading high-K form sum_j alpha_j (i epsilon)^j = 0, has any root with Re epsilon > 0. The preceding K = 0 analysis gives a positive real root only at zero wave number, and the numerical figures stop at small K without extracting an asymptotic slope. If all roots epsilon have Re epsilon <= 0, the high-frequency growth would not be unbounded and the abstract's claim that the real part grows without bound would fail. A root-locus or asymptotic argument covering the physical parameter ranges is needed; alternatively, the numerical evidence must be extended to large K and compared with the predicted asymptotic slope.","section":"Section III.B.1, Eq. (III.24)"},{"comment":"The rotation claim is an extrapolation. The arbitrary-frame calculation linearizes around a homogeneous equilibrium and then applies a constant Lorentz boost; the resulting background four-velocity is constant and has zero vorticity, so it is surface-forming. The paper does not linearize around any background with nonzero vorticity or with non-surface-forming u^mu. Therefore the statement that the instability 'can only be avoided in the particular case where no rotation is present' is not supported by the analysis. The authors should either model a rotating background explicitly or identify a precise argument by which local constant-boost behavior controls the general non-surface-forming case.","section":"Section III.B and Section IV"},{"comment":"The high-frequency limit is not defined unambiguously. Equation (III.21) contains the product hat K zeta, and the text first requires that this product remain bounded as hat K grows, which forces zeta -> 0; it then treats Eq. (III.24) as the high-frequency limit. This is a distinguished limit rather than the fixed-zeta limit hat K -> infinity, which is the standard one for a linearized Cauchy problem. The paper should state the intended scaling and explain why growth in this distinguished limit implies ill-posedness of the fixed system; otherwise the growth rate may be an artifact of letting the Knudsen parameter depend on wave number.","section":"Section III.B.1"}],"minor_comments":[{"comment":"The text refers to 'Eq. (30)' after deriving Eq. (III.20); this equation number should be updated to Eq. (III.20) or the numbering should be made consistent.","section":"Section III.B, around Eq. (III.20)"},{"comment":"The figures use the symbol xi in their labels while the text uses zeta for the Knudsen parameter; these should be unified.","section":"Figures 1 and 2"},{"comment":"The K = 0 polynomial contains a factor S^3, so there is also a triple zero root; the text only discusses the nonzero root and should state explicitly that the zero root is present and does not affect the instability conclusion.","section":"Section III.B, Eq. (III.22)"},{"comment":"The symbol epsilon is introduced without specifying which root of the algebraic equation is selected, and the dependence on the parameters zeta, v, z, and mu(z) is not discussed; a brief statement about root selection and parameter range would improve readability.","section":"Section III.B.1, Eq. (III.24)"},{"comment":"The phrase 'per-se' appears in the Discussion and should be corrected to 'per se'.","section":"Section IV"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe take-home is that this paper has a real result, but the abstract oversells it. The real result: the Chapman-Enskog heat-flux law, which is stable for linear perturbations in the co-moving frame, develops a positive-real-part mode when you look at the same system from a boosted time direction. That is new and worthwhile—the earlier papers [11,12] only had the co-moving stability. The paper also shows that the CE law cannot be recovered from a general first-order divergence-type theory unless you use the Euler equations to trade acceleration for gradients, which is inconsistent in the DTT framework. That DTT calculation is careful and seems right.\n\nWhere it goes soft is the ill-posedness claim. Section III.B.1 argues that as the wave number grows, the dispersion relation has roots of the form S ~ εK, with ε satisfying Eq. (III.24). But the paper never shows that this equation has any root with Re ε > 0. The K=0 analysis proves a positive root at zero wave number, but that says nothing about the limit K→∞. The numerical plots stop at small K (0.15 and 0.008) and don't extract a slope, so they don't support the asymptotic claim either. The abstract's statement that the real part grows without bound is therefore not established. What is established is a long-wavelength instability in a boosted frame, which is still a genuine negative result. But the ill-posedness conclusion should be withdrawn or properly proved.\n\nTwo lesser concerns: First, the jump from 'unstable in a uniformly boosted frame' to 'unstable whenever the four-velocity is not surface-forming' is an extrapolation. Rotating backgrounds have gradients and vorticity that are absent in the constant-boost analysis. It's a plausible extrapolation, but it's not derived. Second, the perturbation analysis only treats the longitudinal mode and boosts collinear with the wave vector. A fully generic frame would involve transverse modes and oblique boosts, so the claim about 'any generic time direction' is a little broader than what was actually computed.\n\nIf the high-frequency issue is fixed—say, by proving that Eq. (III.24) has a positive-real-part root for some admissible parameters, or by removing the ill-posedness language—this is a decent paper for the relativistic-fluid community. The co-moving analysis is explicit and correct, the DTT section is a useful side result, and the boosted-frame instability is enough to matter for simulations that use the CE closure. I'd send it to peer review, but the referee should push hard on the high-frequency asymptotics. I would cite it for the long-wavelength instability, not for ill-posedness.\n\nYes, the authors are thinking clearly; the flaw is an overclaim, not a confusion.","headline":"A genuine boosted-frame instability result, but the ill-posedness claim rests on an unproven high-frequency asymptotic.","tokens_in":12550,"tokens_out":5215,"would_cite":true,"duration_ms":54777,"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 relativistic Chapman-Enskog heat law is generically unstable and ill-posed: in frames with rotation, short-wavelength modes grow without bound.","keywords":["relativistic hydrodynamics","Chapman-Enskog","heat conduction","stability","well-posedness","hyperbolicity","dissipative relativistic fluids","dispersion relation"],"falsifier":"Linearize the Chapman-Enskog-closed fluid equations around an exact stationary rotating solution, for example rigid rotation with $u^\\mu$ not surface-forming, and compute the high-frequency dispersion relation; if all modes satisfy $\\operatorname{Re} S\\le 0$ or $\\operatorname{Re} S$ stays bounded as $K\\to\\infty$, the paper's generic ill-posedness claim is false.","tokens_in":11571,"feed_emoji":"🌀","tokens_out":11186,"duration_ms":97178,"temperature":0.7,"pith_summary":"The paper aims to establish that the relativistic fluid equations, when closed with the Chapman-Enskog heat-conduction law, do not give a well-posed initial-value problem. Linear perturbations around equilibrium are stable only when the time direction of the evolution is aligned with the fluid's four-velocity; for any other time direction, including any frame locally boosted relative to a rotating fluid, there are modes whose real growth rate is positive and unbounded as the wave number grows. If this is right, the first-order Chapman-Enskog closure cannot serve as a generically stable relativistic fluid theory, and that matters because this heat law is used in numerical simulations of relativistic gases, especially ultrarelativistic electron gases. The authors conclude that the system is not only unstable but ill-posed, since in the high-frequency limit there are solutions that grow arbitrarily fast, and that the instability is avoidable only in the irrotational, surface-forming case.","feed_headline":"Heat law of relativistic fluids becomes ill-posed when fluid rotates","feed_subtitle":"Stable only in the co-moving frame; any rotation lets short-wavelength perturbations grow without bound.","key_machinery":"The load-bearing object is the dispersion relation, Eq. (III.21): a quartic complex polynomial in the boosted frequency $\\hat S$ and wave number $\\hat K$, with coefficients $\\alpha_j$ and $\\beta_j$ that depend on the boost velocity $v$, the temperature parameter $z$, and the microscopic-to-macroscopic scale ratio $\\zeta$. In the co-moving frame the same analysis reduces to a cubic polynomial whose coefficients pass the Routh-Hurwitz test, an algebraic criterion for all roots having negative real part; the Lorentz transformation (III.19) is the step that converts damping into growth. The high-frequency regime is probed with the ansatz $\\hat S=S_0+S_1\\hat K+S_2\\hat K^2$, and because $\\alpha_4\\neq 0$ the quadratic term vanishes, leaving branches that grow linearly with $\\hat K$. A separate check on first-order divergence-type theories, whose symmetric-hyperbolic structure would guarantee well-posedness, shows that the Chapman-Enskog heat law does not fit into that class unless the acceleration is eliminated using lower-order Euler equations.","core_discovery":"On the paper's own terms, the central discovery is that the system of relativistic fluid equations coupled to the Chapman-Enskog heat flux $q^\\mu=-h^{\\mu\\nu}(\\kappa\\nabla_\\nu T/T-\\lambda\\nabla_\\nu n/n)$ is non-hyperbolic for a generic time direction. In the fluid's co-moving frame the dispersion relation has only roots with negative real parts, so rest-frame perturbations decay; this stability is shown with the Routh-Hurwitz criterion using standard thermodynamic inequalities for a relativistic ideal gas. After a Lorentz transformation to a boosted frame, however, the same dispersion relation becomes a quartic complex polynomial with positive-real-part roots, and in the high-frequency limit $\\hat K\\to\\infty$ the growth rate behaves as $\\hat S\\sim\\epsilon\\hat K$, so modes grow arbitrarily fast. Since a rotating fluid's four-velocity is not surface-forming, no global time direction can be aligned with it, making the instability generic and the Cauchy problem ill-posed for rotating configurations. Unlike Eckart's theory, the instability is absent when the time direction is aligned with the fluid's direction, but that special alignment fails exactly when rotation is present.","pith_inferences":["A direct linearization around an exact rotating equilibrium, rather than a uniformly boosted homogeneous state, would test whether background gradients suppress the predicted growth; the paper's constant-boost argument leaves that open.","The same analysis suggests a general diagnostic for any first-order closure: compute the boosted-frame dispersion relation and check whether $\\lim_{\\hat K\\to\\infty}\\operatorname{Re}\\hat S/\\hat K>0$ for some boost; if so, the theory is ill-posed for rotating fluids.","The absence of instability in the co-moving frame may explain why Chapman-Enskog closures appear to work in symmetric, effectively one-dimensional simulations even though the generic Cauchy problem is ill-posed.","If the ill-posedness persists in direct rotating tests, first-order Chapman-Enskog closures should be regarded as effective low-Knudsen theories, with any short-wavelength control coming from the numerical scheme rather than from the physical equations."],"forward_implications":["Numerical relativistic-fluid simulations that close with the first-order Chapman-Enskog heat flux will be subject to short-wavelength noise that grows faster as resolution increases, unless the evolution is effectively locked to the local fluid rest frame.","The relativistic Navier-Stokes-Fourier system built on this heat law does not have a well-posed Cauchy problem in rotating flows, so initial data do not determine a stable future evolution.","Stability in the rest frame is not sufficient for a first-order relativistic heat law once rotation is allowed, since any nonzero boost already produces unbounded growth.","Adding higher-order dissipative terms that restore hyperbolicity becomes a necessary step for using Chapman-Enskog-type closures in generic flows, as the paper itself notes."],"supporting_citations":[{"why":"Supplies the baseline result that first-order dissipative relativistic fluid theories with Eckart-type heat flux are generically unstable, the comparison case for this paper.","marker":"[7]"},{"why":"Establishes stability of the Chapman-Enskog heat flux for perturbations in the fluid's co-moving frame, the starting point that this paper generalizes.","marker":"[11]"},{"why":"Provides the earlier analysis of longitudinal co-moving modes that motivated the conjecture that Chapman-Enskog theory might be stable.","marker":"[12]"},{"why":"Supplies the relativistic equilibrium distribution, Bessel-function identities, and thermodynamic inequalities used in the stability proof.","marker":"[2]"},{"why":"Gives the derivation of the Chapman-Enskog heat-flux constitutive relation in terms of temperature and density gradients.","marker":"[21]"},{"why":"States the Routh-Hurwitz criterion used to prove that all co-moving dispersion-relation roots have negative real parts.","marker":"[22]"},{"why":"Defines the divergence-type fluid theory framework whose well-posedness properties the paper checks the Chapman-Enskog system against.","marker":"[13]"},{"why":"Companion analysis of the relativistic heat equation cited for the underlying mathematical mechanism behind the ill-posedness.","marker":"[23]"}],"fun_headline_variants":["Rotating fluids destabilize relativistic heat law","Chapman-Enskog heat flux unstable under rotation","Relativistic heat conduction ill-posed with rotation","Generic instability from rotating fluid heat flux"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper does not linearize around a real rotating background; it assumes a uniformly boosted homogeneous equilibrium stands in for a rotating fluid, so instability for every boost is taken to mean instability whenever rotation is present.","fun_headline_variants_meta":{"raw":{"variants":["Rotating fluids destabilize relativistic heat law","Chapman-Enskog heat flux unstable under rotation","Relativistic heat conduction ill-posed with rotation","Generic instability from rotating fluid heat flux"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000257,"raw_usage":{"total_tokens":1554,"prompt_tokens":893,"completion_tokens":661,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":509,"completion_tokens_details":{"reasoning_tokens":602}},"tokens_in":509,"tokens_out":661,"duration_ms":6762,"temperature":1.0,"reasoning_tokens":602,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:43:53.261606+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Linearize the Chapman-Enskog-closed fluid equations around an exact stationary rotating solution, for example rigid rotation with $u^\\mu$ not surface-forming, and compute the high-frequency dispersion relation; if all modes satisfy $\\operatorname{Re} S\\le 0$ or $\\operatorname{Re} S$ stays bounded as $K\\to\\infty$, the paper's generic ill-posedness claim is false.","supporting_citations":[{"cited_title":"Gabbana, M","cited_arxiv_id":null,"evidence_quote":"Supplies the baseline result that first-order dissipative relativistic fluid theories with Eckart-type heat flux are generically unstable, the comparison case for this paper."},{"cited_title":"Landau and E.M","cited_arxiv_id":null,"evidence_quote":"Establishes stability of the Chapman-Enskog heat flux for perturbations in the fluid's co-moving frame, the starting point that this paper generalizes."},{"cited_title":"Stabil- ity and causality in relativistic dissipative hydrodynam- ics","cited_arxiv_id":null,"evidence_quote":"Provides the earlier analysis of longitudinal co-moving modes that motivated the conjecture that Chapman-Enskog theory might be stable."},{"cited_title":"Any fluid theory which is governed by a set of conservation laws (particle num- ber density, energy and momentum densities, etc) con- stitutes, indeed, a divergence-type theory","cited_arxiv_id":null,"evidence_quote":"Supplies the relativistic equilibrium distribution, Bessel-function identities, and thermodynamic inequalities used in the stability proof."},{"cited_title":"Das maxwellsche gesetz der geschwindigkeitsverteilung in der relativtheorie","cited_arxiv_id":null,"evidence_quote":"Gives the derivation of the Chapman-Enskog heat-flux constitutive relation in terms of temperature and density gradients."},{"cited_title":"Morales-T´ ecotl","cited_arxiv_id":null,"evidence_quote":"States the Routh-Hurwitz criterion used to prove that all co-moving dispersion-relation roots have negative real parts."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the divergence-type fluid theory framework whose well-posedness properties the paper checks the Chapman-Enskog system against."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Companion analysis of the relativistic heat equation cited for the underlying mathematical mechanism behind the ill-posedness."}],"review_version":1}