{"id":"41365380-5a25-4b00-9dd5-2880bf1f1068","arxiv_id":"2502.08237","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Frozen and energy-exchanging polyatomic collisions combined in one Boltzmann equation generate all moments above order 2, at the energy-exchange rate, and propagate finite moments.","lead":"This paper derives bounds showing that high-velocity moments grow and stay controlled for a polyatomic Boltzmann equation that mixes frozen collisions with energy-exchanging collisions. The bounds are the kind of a priori estimates that future existence, equilibrium, and hydrodynamic-limit theorems for this model would use.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"For 2<k<k*, Theorem 2 invokes Aω_k although Proposition 4 defines this constant only for k≥k*; the intermediate-range estimates (38) and (40) are therefore unsupported as written, and the natural interpolation from k*+1 would use Aω_{k*+1} instead.","rationale":"The reader accepted the paper with moderate confidence and identified the frozen-collision lower bound (12) as the weakest assumption. That bound is certainly relevant for the frozen-only Theorem 1, but it is not the bottleneck for the mixed Theorem 2: the generation estimate there is driven by the pure polyatomic coercivity (31) plus the frozen upper bound (16). The actual soft spot in the central claim is the 2<k<k* range of Theorem 2. Proposition 4(a) establishes the coercive differential inequality only for k≥k*; for smaller k the only available bound is the linear growth estimate (35). Yet Theorem 2 states generation and propagation estimates whose constants Aω_k and \\tilde Eω_k are defined through that coercive inequality. The proof is deferred to [4] rather than adapted in the manuscript, and the natural interpolation argument from the k*+1 generation bound produces a different constant. This is a missing-support problem, not necessarily a false statement, but it is load-bearing because the theorem explicitly covers every k>2. If the authors supply the missing derivation and correct the constant, the main idea is plausible; hence a conditional accept is appropriate rather than a rejection. This is why the concern overlaps only partially with the reader's weakest assumption: the reader did note the deferred proof, but highlighted (12) as the main risk, whereas the more consequential risk is the ill-defined Aω_k in the intermediate moment range.","tokens_in":11223,"tokens_out":32520,"duration_ms":316319,"concrete_test":"Re-derive the 2<k<k* case of Theorem 2 from Proposition 4 and the generation bound (37) at k=k*+1. In particular, replace Aω_k in (38) by the constant obtained from interpolation of m_{k*+1}; if the resulting small-time coefficient is ((k*−1)/(ζ Aω_{k*+1}))^{(k−2)/ζ} rather than ((k*−1)/(ζ Aω_k))^{(k−2)/ζ}, and if (40) cannot be obtained from (35) without additional finite high-order initial moments, then Theorem 2 overclaims for 2<k<k* and must be corrected or restricted.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central theorem promises moment generation and propagation for every k>2. For k≥k* this follows from Proposition 4(a) and the standard ODE comparison, so that part is not in question. The load-bearing gap is the intermediate range 2<k<k*. In that range Proposition 4 supplies only inequality (35), namely m'_k ≤ Dω_k m_k; the coercive inequality (34), which is what makes the constants Aω_k and Bω_k meaningful, is explicitly proved only for k≥k*. Nevertheless Theorem 2 uses Aω_k in (38) and in the definition of the constants in (36) for 2<k<k*. The proof is deferred with the sentence 'The proof follows the same steps as for the pure polyatomic case and is derived in detail in [4], Theorem 6.2', but no derivation is given for how the frozen part is incorporated in this range. If one instead tries to prove (38) by interpolating the generation bound at k*+1, using m_k ≤ m2^{(k*+1−k)/(k*−1)} m_{k*+1}^{(k−2)/(k*−1)}, the small-time coefficient would be ((k*−1)/(ζ Aω_{k*+1}))^{(k−2)/ζ}, not ((k*−1)/(ζ Aω_k))^{(k−2)/ζ}. Thus either (38) and (40) contain a typo, or the 2<k<k* case requires a genuinely different argument that is not present in this manuscript. As stated, the central claim is not fully established for all k>2.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the space-homogeneous polyatomic Boltzmann equation with continuous internal energy, where the collision operator is a convex combination of a pure polyatomic operator of rate ζ and a frozen-collision operator of rate ζ_f. For the frozen-only case, it proves conservation of internal-energy moments and generation/propagation of velocity moments using a Povzner-type averaging lemma, a hard-potential lower bound on the kernel, interpolation, and Young's inequality. For the convex combination, it combines the frozen estimates with existing pure-polyatomic estimates from [4,14] and claims moment generation for every k>2 at the rate ζ of the pure operator, together with moment propagation.","tokens_in":11567,"tokens_out":8030,"duration_ms":81007,"significance":"If the stated results hold, the paper supplies a useful, physically motivated extension of moment estimates to a two-time-scale polyatomic model, with explicit constants and a self-contained proof of the frozen-collision estimate (Proposition 2). The main algebraic steps of Proposition 2 are written out and appear internally consistent, including the lower bound on the frozen kernel, the Povzner averaging, and the absorption argument. The stated dependence of the generation rate on the pure-polyatomic rate ζ is also attractive. However, the proof of the central theorem for the intermediate range 2<k<k* is missing, and the constants used there are not defined by the preceding propositions. This is a load-bearing gap that must be fixed before the main claim is established.","major_comments":[{"comment":"For 2<k<k*, the constant A^ω_k used in Eqs. (38) and (40) is not defined by the preceding results. Proposition 4(a), which is the only statement supplying the coercive differential inequality (34), is proved only for k≥k*; Proposition 4(b) gives only the non-coercive bound (35), D^ω_k m_k. Therefore the negative power t^{-(k-2)/ζ} in (38) has no supporting estimate in this range. The sentence 'The proof follows the same steps as for the pure polyatomic case and is derived in detail in [4], Theorem 6.2' does not fill the gap, since that theorem concerns the pure-polyatomic operator and does not incorporate the frozen term. An interpolation from k*+1 would instead produce a coefficient involving A^ω_{k*+1}, not A^ω_k, as stated in (38). Please either restrict Theorem 2 to k≥k* or provide the missing argument for 2<k<k* with the correct constants.","section":"§4, Theorem 2 and Proposition 4"},{"comment":"The symbol E^ω_k is defined twice in Eq. (36): first as (B^ω_k/A^ω_k)^{(k-2)/(k-2+ζ)} and then, on the next line, as m2[f]^{(k*-k+1)/(k*-1)} (E^ω_{k*+1})^{(k-2)/(k*-1)}. This makes the intermediate-range constants in (38) and (40) ambiguous, and the second definition cannot share the same symbol. Please rename the intermediate-range constants and state explicitly which constants are used in each part of Theorem 2.","section":"§4, Eq. (36)"}],"minor_comments":[{"comment":"The line '⟨v′,I⟩k + ⟨v′∗,I∗⟩k j ≤' contains a stray 'j' that should be removed.","section":"§3, Proof of Proposition 2(b)"},{"comment":"Proposition 2(b) states ζ∈[0,2], while the kernel assumption (12) and Proposition 2(a) assume ζ∈(0,2]. Since Theorem 2 allows ζ_f=0, the case ζ=0 should be explicitly covered or excluded.","section":"§2.1 and §3, Proposition 2(b)"},{"comment":"The proof begins 'for k > k*' while the statement says 'for k ≥ k*'; the equality case should be addressed.","section":"§4, Proof of Proposition 4"},{"comment":"The proof of Theorem 2 is deferred in one sentence. Even for k≥k*, a brief sketch of the ODE comparison and of the interpolation step for 2<k<k* would be needed, especially because the constants in (36) are nonstandard.","section":"§4, Theorem 2"}],"recommendation":"major_revision","confidential_remarks":"The main technical content, especially the frozen-collision estimate in Proposition 2, appears sound and non-circular: the paper derives the frozen estimates directly and uses [4,14] only as external input for the pure-polyatomic part. The concern is the unsupported intermediate range 2<k<k* in Theorem 2, which is central to the advertised 'all k>2' statement. This should be fixable either by restricting the theorem or by supplying the missing interpolation argument. The paper also leans heavily on the authors' own prior work, but that reliance is on published theorems and is not, by itself, a problem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new content is the frozen-collision operator analysis in Section 3: the Povzner-based estimate (15) with the explicit coercive constant A_k, the mixed-moment bound (16), and the generation/propagation theorem for the ω=0 case. That part is worked out in detail and hangs together. The convex combination argument in Proposition 4 is also new and short, and it correctly shows that the pure polyatomic rate ζ drives moment generation whenever ω>0.\n\nWhere I'd push back is Theorem 2 for the intermediate range 2<k<k*. Proposition 4(a) defines Aω_k and proves the coercive inequality (34) only for k≥k*; for 2<k<k* the paper gives only the linear bound (35). Yet Theorem 2 uses Aω_k in (38) and in the second definition of Eω_k in (36), with the proof deferred to [4]. As written, those estimates are unsupported. The interpolation route from k*+1 would give a different constant, Aω_{k*+1}, not Aω_k. So there is either a typo or a missing argument. This is not fatal to the overall program—the pure polyatomic case in [4] presumably handles this range, and the frozen term only adds a benign linear contribution—but the manuscript should not state the theorem for all k>2 without showing the intermediate step or correcting the constants.\n\nMinor issues: Eω_k is used for two different constants in (36); Proposition 2(a) states ζ∈(0,2] while Theorem 2 allows ζ_f∈[0,2], which is probably fine but should be stated consistently; and the proof of part (b) of Proposition 2 compresses a few Young-inequality steps with “conveniently used,” which will slow down any reader trying to verify the algebra.\n\nThe citation pattern is fair: the heavy self-citation is to the authors' own published Theorem 6.2 in [4], which is a legitimate black box, and the frozen-collision kernel goes back to [10,11].\n\nWho gets value: anyone working on moment theory for polyatomic Boltzmann equations or on kinetic models with multiple relaxation time scales. It deserves a serious referee, but the referee should press hard on the intermediate-range proof. I'd recommend asking for a revision that either proves the 2<k<k* case or restricts the statement and adds an interpolation remark.","headline":"Solid moment estimates for frozen and mixed polyatomic Boltzmann, but the intermediate-moment claim in Theorem 2 rests on constants that are never defined for that range.","tokens_in":12086,"tokens_out":1672,"would_cite":true,"duration_ms":18029,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q20","82C40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that adding frozen collisions to the polyatomic Boltzmann equation preserves generation and propagation of all moments of order k>2.","keywords":["polyatomic gas","frozen collisions","Boltzmann equation","generation and propagation of moments","continuous internal energy","hard potentials","angular averaging"],"falsifier":"Take a frozen collision kernel satisfying the paper's factorization and angular-integrability assumptions but with the hard-potentials lower bound replaced by a vanishing lower bound (for example, set $\\tilde B^f=0$ whenever the internal energy $I$ or $I_*$ exceeds a threshold, so $c_\\zeta=0$ in (12)), and solve the frozen-only equation numerically: if high-velocity moments still obey the paper's generation bound, the mechanism is more general than the proof suggests; if they do not, the assumption in (12) is the load-bearing point. A related direct check is to compute the constant $C_k$ in the angular-averaging lemma for the chosen angular kernel $b$; if $C_3\\ge\\|b\\|_{L^1(S^2)}$, the negative term in (22) does not form at $k=3$ and generation must be checked at higher orders.","tokens_in":11013,"feed_emoji":"⚛️","tokens_out":13972,"duration_ms":127772,"temperature":0.7,"pith_summary":"This paper proves that adding frozen collisions—collisions in which each molecule keeps its own internal energy—to the polyatomic Boltzmann equation does not destroy the moment structure of solutions. For the space-homogeneous equation with collision operator $Q^\\omega=\\omega Q_\\zeta+(1-\\omega)Q^f_{\\zeta_f}$, the authors show that every moment of order $k>2$ is generated with the same power-law rate $t^{-(k-2)/\\zeta}$ fixed by the pure polyatomic rate $\\zeta$, and that finite moments propagate. The frozen-only case is treated first: velocity moments obey a differential inequality with a negative power-law term, while internal-energy moments are conserved exactly. Combining this with known estimates for pure polyatomic collisions yields explicit bounds whose constants are computed in terms of the second moment and the collision kernels. These are a priori estimates of the type used to control high-energy tails, so the result gives quantitative control on model collision operators that split polyatomic collisions into a translational part and an internal-energy relaxation part.","feed_headline":"Frozen collisions still allow moment growth in a polyatomic gas","feed_subtitle":"New estimates show high-velocity moments appear at the same rate as in pure energy-exchanging collisions.","key_machinery":"The load-bearing machinery is the frozen collision operator $Q^f$ of Eq. (7), whose collisions conserve momentum and the kinetic energy of the pair while leaving each particle's internal energy unchanged, together with the convex combination $Q^\\omega=\\omega Q_\\zeta+(1-\\omega)Q^f_{\\zeta_f}$. The hard-potential lower bound $\\tilde B^f(v,v_*,I,I_*)\\ge c_\\zeta(E/m)^{\\zeta/2}$ from (12) supplies the negative term in the moment identity, and the angular-averaging lemma (Lemma 1) bounds the angular average of post-collision velocity weights by powers of pre-collision velocities. These feed into the differential inequality (22) through the moment interpolation formula $m_v^k\\le (m_v^2)^{\\zeta/(k-2+\\zeta)}(m_v^{k+\\zeta})^{(k-2)/(k-2+\\zeta)}$ and an absorption step, which turns the positive remainder into constants $B_k$ or $B_k^\\omega$. For the convex combination, Proposition 4 repeats the absorption with the pure polyatomic negative term as the dominant contribution, producing the explicit constants $A_k^\\omega$, $B_k^\\omega$, $D_k^\\omega$ and the generation and propagation bounds of Theorem 2.","core_discovery":"The central claim is Theorem 2: for any $k>2$, potential rates $\\zeta\\in(0,2]$ and $\\zeta_f\\in[0,2]$, a solution of $\\partial_t f=Q^\\omega(f,f)$ with finite second moment satisfies, for $t>0$, $m_k[f](t)\\le E_k^\\omega+\\left(\\frac{k-2}{\\zeta A_k^\\omega}\\right)^{(k-2)/\\zeta}t^{-(k-2)/\\zeta}$ for $k\\ge k^*$, with an analogous bound for $2<k<k^*$; and if $m_k[f_0]<\\infty$, then $m_k[f](t)\\le\\max\\{E_k^\\omega,m_k[f_0]\\}$, again with a modified constant in the low-order window. The proof reduces the moment evolution to the differential inequality $d/dt\\,m_k[f]\\le -A_k^\\omega m_k[f]^{1+\\zeta/(k-2)}+B_k^\\omega$, obtained by combining estimate (16) on the frozen operator with the known pure-polyatomic estimate (31), then applying moment interpolation and an absorption argument to remove the positive terms.","pith_inferences":["If the convex weight $\\omega$ is very small but positive, the constants suggest a two-scale picture: high-velocity moments are generated on the fast translational scale, while internal-energy relaxation is slowed by the factor $\\omega$; the paper does not spell this out, but it follows from the form of $A_k^\\omega$ and $B_k^\\omega$.","The argument should extend to mixed models where the frozen operator acts on only part of the phase space or where the convex weight varies with the internal energy, as long as the effective pure-polyatomic weight stays bounded below; this is an extension, not a claim of the paper.","A natural next test is to let $\\omega$ depend on time with a positive lower bound; the same differential inequality would then yield generation, with the rate still controlled by the pure polyatomic rate, although the paper treats only constant $\\omega$."],"forward_implications":["For the frozen-only equation, velocity moments of order $k>2$ are generated and then bounded, while internal-energy moments are exact invariants: no internal-energy moment can be created from an initial state where it is infinite.","In the combined model, the generation rate is governed by the pure polyatomic rate $\\zeta$, not by the frozen rate $\\zeta_f$; even a large frozen fraction does not slow the power-law appearance of high moments.","Finite high moments propagate: if $m_k[f_0]<\\infty$, then $m_k[f](t)\\le \\max\\{E_k^\\omega,m_k[f_0]\\}$ for all $t>0$, so the $k$-th moment never grows beyond its initial value or the explicit energy level $E_k^\\omega$.","All constants are explicit in terms of $m_2[f]$, the angular and internal-energy averages of the kernels, and the convex weight $\\omega$, making the tail bounds quantitative."],"supporting_citations":[{"why":"Defines the pure polyatomic collision operator and supplies the $\\sigma,r,R$-averaging lemma used for the negative moment term.","marker":"[14]"},{"why":"Provides the moment interpolation inequalities and the pure-polyatomic estimates (31)-(32) that the convex-combination proof combines with the frozen estimates.","marker":"[4]"},{"why":"Introduces the frozen collision operator that preserves each particle's internal energy, the model analyzed in Section 3.","marker":"[11]"},{"why":"Source of the classical angular-averaging bound for velocity moments, used in Lemma 1 for the frozen operator.","marker":"[7]"},{"why":"Together with [18], supplies the differential-inequality method converting moment estimates into generation and propagation bounds.","marker":"[1]"},{"why":"Provides the moment-production step that turns the differential inequality into the explicit $t^{-(k-2)/\\zeta}$ generation estimate.","marker":"[18]"}],"fun_headline_variants":["Even frozen collisions can't freeze moment growth in polyatomic gas","Frozen collisions still fuel high-velocity moments in polyatomic gas","Frozen collisions don't halt moment growth in polyatomic gas","Polyatomic gas moments rise even with frozen collisions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's generation conclusion rests on the assumption that the frozen collision kernel is bounded below by a fixed positive multiple of a power of the total energy (the hard-potentials condition); if the kernel were allowed to vanish on open sets or to decay faster in velocity, the negative term in the moment inequality would disappear and the claimed generation would not follow from this argument, although propagation might survive.","fun_headline_variants_meta":{"raw":{"variants":["Even frozen collisions can't freeze moment growth in polyatomic gas","Frozen collisions still fuel high-velocity moments in polyatomic gas","Frozen collisions don't halt moment growth in polyatomic gas","Polyatomic gas moments rise even with frozen collisions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000948,"raw_usage":{"total_tokens":4044,"prompt_tokens":937,"completion_tokens":3107,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":553,"completion_tokens_details":{"reasoning_tokens":3038}},"tokens_in":553,"tokens_out":3107,"duration_ms":24886,"temperature":1.0,"reasoning_tokens":3038,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T05:54:21.923847+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a frozen collision kernel satisfying the paper's factorization and angular-integrability assumptions but with the hard-potentials lower bound replaced by a vanishing lower bound (for example, set $\\tilde B^f=0$ whenever the internal energy $I$ or $I_*$ exceeds a threshold, so $c_\\zeta=0$ in (12)), and solve the frozen-only equation numerically: if high-velocity moments still obey the paper's generation bound, the mechanism is more general than the proof suggests; if they do not, the assumption in (12) is the load-bearing point. A related direct check is to compute the constant $C_k$ in the angular-averaging lemma for the chosen angular kernel $b$; if $C_3\\ge\\|b\\|_{L^1(S^2)}$, the negative term in (22) does not form at $k=3$ and generation must be checked at higher orders.","supporting_citations":[{"cited_title":"M., Pavi´ c- ˇColi´ c, M.: On the Cauchy problem for Boltzmann equation modeling a polyatomic gas, J","cited_arxiv_id":null,"evidence_quote":"Defines the pure polyatomic collision operator and supplies the $\\sigma,r,R$-averaging lemma used for the negative moment term."},{"cited_title":"M.: The Cauchy Problem for Boltzmann Bi-linear Systems: The Mixing of Monatomic and Polyatomic Gases, J","cited_arxiv_id":null,"evidence_quote":"Provides the moment interpolation inequalities and the pure-polyatomic estimates (31)-(32) that the convex-combination proof combines with the frozen estimates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the frozen collision operator that preserves each particle's internal energy, the model analyzed in Section 3."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source of the classical angular-averaging bound for velocity moments, used in Lemma 1 for the frozen operator."},{"cited_title":"The Boltzmann equation for hard potentials with integrable angular transition: Coerciveness, exponential tails rates, and Lebesgue integrability","cited_arxiv_id":"2211.09188","evidence_quote":"Together with [18], supplies the differential-inequality method converting moment estimates into generation and propagation bounds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the moment-production step that turns the differential inequality into the explicit $t^{-(k-2)/\\zeta}$ generation estimate."}],"review_version":1}