{"id":"73b49831-6ae2-4ad5-b6e3-90810554e9fb","arxiv_id":"2607.27560","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For bi-rotational Euler flows without swirl in R^d, the authors prove global wellposedness for d≤6 and bound the vorticity maximum by t^4 for d=4, t^12 for d=5, and exponential growth for d=6.","lead":"This paper proves local and global wellposedness for a class of high-dimensional Euler flows with two rotational symmetries, and derives upper bounds on vorticity growth in dimensions 4 through 6. The growth rates match the known upper-bound rate for axisymmetric swirl-free flows, suggesting a common vortex-stretching mechanism across these symmetric settings.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Energy conservation in Lemma 4.6 is asserted with no proof and is not automatic for d≥4; without an L2 energy bound the radial-moment inequalities and Theorem 1.2 collapse.","rationale":"The reader's weakest assumption names exactly the same point: Lemma 4.6 invokes conservation of kinetic energy without proof or citation. My reading of the manuscript confirms that this equality appears in the final line of the proof of Lemma 4.6 and is not derived from the previously established regularity. It is a genuine gap because energy conservation is not automatic for weak/Yudovich-type solutions in dimensions d≥4; however, the concern is conditional rather than fatal. If the solution is obtained by a smoothing limit, weak lower semicontinuity gives the needed one-sided bound, so the argument can likely be repaired without changing the result. Other possible concerns — the omitted smoothing argument in Theorem 1.1, the interpolation step in Proposition 4.4, and the use of the BKM criterion — are either standard repairable omissions or, in the case of Proposition 4.4, justifiable by r≤1 on the unit circle. Thus the verdict should remain CONDITIONAL as the reader stated, with the energy-conservation justification being the primary condition to supply.","tokens_in":21300,"tokens_out":31891,"duration_ms":295928,"concrete_test":"Prove for the local solution of Theorem 1.1 the kinetic-energy bound ||v(t)||_{L2(R^d)} ≤ ||v0||_{L2(R^d)} (or the weighted analogue ||r^{n/2}s^{m/2}v(t)||_{L2(Π)} ≤ C||v0||_{L2(R^d)}) for all t < T*_d, by explicitly constructing the regularized smooth solutions in the omitted existence argument, showing uniform L2 bounds, and passing to the weak L2 limit. Then replace the equality in Lemma 4.6 with this inequality and re-check Lemmas 4.6–4.7. If this energy bound cannot be established, Lemma 4.6 lacks a required input and Theorem 1.2 is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The global growth estimate of Theorem 1.2 rests on Lemma 4.6, whose proof uses the equality ||r^{n/2}s^{m/2}v(t)||_{L2(Π)}^2 ≃ ||v(t)||_{L2(R^d)}^2 = ||v0||_{L2(R^d)}^2, justified only by 'conservation of the kinetic energy' in the last line. For the Yudovich-type solutions of Theorem 1.1 — w ∈ L∞_loc(L^{d,1}∩L∞), v ∈ L∞_{t,x} — kinetic-energy conservation is not automatic in d≥4. At best, the deferred smoothing/vanishing-viscosity construction gives weak L2 convergence and the inequality ||v(t)||_{L2} ≤ ||v0||_{L2} by weak lower semicontinuity; equality requires proof. The manuscript contains no argument that the local solution satisfies even this inequality. This is load-bearing because Lemma 4.6 bounds d/dt P^r_{d-2} using ∫ r^n s^m |u_r|^2, identified with the conserved L2 energy; if energy control fails, the Hölder step in Lemma 4.6, the differential inequalities in Lemma 4.7, and the final vorticity bound (1.9) all collapse. The issue is repairable — replacing equality by the ≤ inequality would suffice, and log-Lipschitz regularity of v may make Onsager conservation applicable — but the proof as written omits the necessary justification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the incompressible Euler equations in R^d (d≥4) in the class of bi-rotationally symmetric, swirl-free flows. The first main result (Theorem 1.1) asserts local well-posedness for Yudovich-type solutions with vorticity in L^{d,1}∩L∞ and suitable weighted integrability of w_0/(r^n s^m). The second main result (Theorem 1.2) asserts global well-posedness for d≤6 under additional finite-energy and decay assumptions, together with upper bounds on the growth of the vorticity maximum: polynomial rates (1+t)^{4(d-2)/(6-d)} for d=4,5 and an exponential rate for d=6. The proof strategy is to use conservation of w/(r^n s^m) along particle trajectories, a Feng–Sverák-type bound on the velocity in terms of the relative vorticity and two radial moments, and differential inequalities for those radial moments. The paper is clearly structured and the overall strategy is coherent, but a load-bearing step in the radial-moment estimate relies on an unproved conservation of kinetic energy for the Yudovich-type solution.","tokens_in":21669,"tokens_out":22467,"duration_ms":216376,"significance":"If the proof is completed, the paper would be a substantial contribution: it extends quantitative vorticity-growth upper bounds from the axisymmetric setting to a genuinely higher-dimensional symmetry class (bi-rotational), and it simplifies the bi-rotational Biot–Savart kernel to obtain the needed decay estimates. The use of Lorentz spaces, the radial-moment method, and the Feng–Sverák-type estimate are natural and promising. The paper also provides a useful comparison with known rates for axisymmetric flows. However, the current manuscript has a serious gap in the proof of Lemma 4.6 (kinetic-energy conservation is asserted without justification), and the local well-posedness argument is only sketched. These issues are repairable, but they are central to the claimed global growth estimates.","major_comments":[{"comment":"The last line of the proof identifies ||r^{n/2}s^{m/2}v(t)||_{L^2(Π)} with ||v_0||_{L^2(R^d)} by 'conservation of the kinetic energy'. For the Yudovich-type solution produced by Theorem 1.1, no energy class, energy equality, or even energy inequality is established. In d≥4, weak solutions with only bounded vorticity and L^2 velocity do not automatically conserve energy. The deferred smoothing argument could, at best, yield the inequality ||v(t)||_{L^2} ≤ ||v_0||_{L^2} by weak lower semicontinuity, provided the approximating sequence is uniformly L^2-bounded, but this is not written. This step is load-bearing: it feeds into the Hölder inequality in Lemma 4.6, the differential inequality in Lemma 4.7, and hence the final bound (1.9). The argument can likely be repaired by replacing equality with the inequality and proving that inequality for the constructed solution, but as written the pro","section":"§4.2, Lemma 4.6"},{"comment":"The proof of Theorem 1.1 says 'It suffices to derive a priori estimates, as the existence of solutions follows by a standard smoothing argument, while uniqueness in the stated class can be proved as in [8].' This is not a routine detail: the solution class involves the Lorentz space L^{d,1} and the weighted estimates are only obtained at the formal level. The smoothing argument must be shown to produce a solution in the stated class, to satisfy the same a priori bounds, and—crucially for Theorem 1.2—to satisfy the energy inequality needed in Lemma 4.6. Without this, the local well-posedness claim and the later global continuation are not fully supported.","section":"Theorem 1.1, §3"},{"comment":"The continuation to T*_d =∞ is made 'by the BKM criterion'. The BKM criterion is normally stated for smooth solutions; the present solution has only Yudovich-type regularity. A continuation criterion for this class (or a direct re-start of the Theorem 1.1 estimates using the global ||w||∞ bound and the moment bounds from Lemma 4.7) is needed. As written, the step from 'the estimates hold on [0,T*_d)' to 'the solution is global' is not fully justified.","section":"End of §4, proof of Theorem 1.2"}],"minor_comments":[{"comment":"There is a typo in the title: 'VOR TICITY' should be 'VORTICITY'. Also, the abstract says the rate 'coincides with' the axisymmetric rate; since only an upper bound is proved, 'matches the upper bound' would be more precise.","section":"Title and abstract"},{"comment":"The equivalence P^r_k(t) ≃ ||w/(r^{n-k}s^m)||_{L^1(R^d)} is stated without explaining that the L^1(R^d) norm carries the weight r^n s^m dr ds. This is correct, but it would help the reader to see the identity explicitly, especially since later Lemma 4.6 switches between unweighted and weighted norms.","section":"§4.2"},{"comment":"The notation B_{1/4}(r,s) is used both for the ball centered at (r,s) and for the point (r,s) on the unit quarter-circle. Please clarify the distinction, e.g., by writing B_{1/4}(r,s) for the center and (r,s) for the evaluation point.","section":"Proposition 4.4"},{"comment":"In the proof of (4.3), the expansion g(z)=C_{β,γ} z^{γ+α}+O(z^{γ+α+1}) as z→0+ should specify the dependence of the implicit constants on α,β,γ and justify why the first subleading term is indeed of the stated order for all allowed parameter ranges.","section":"Lemma 4.1"},{"comment":"Some references are given in the form 'preprint' or 'to appear'. Please update them if possible, and ensure the bibliography styles are consistent (e.g., author initials, journal abbreviations).","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The central idea is sound and the paper is likely to be accepted after the energy-conservation gap in Lemma 4.6 is fixed and the local well-posedness argument is made complete. The authors should be asked to provide the missing smoothing construction, or at least a precise reference covering the exact system, and to prove (or cite) the energy inequality used in the radial-moment estimate. The continuation argument via BKM also needs to be made precise for the Yudovich class. These are load-bearing but local; they do not undermine the overall strategy."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Ying, here's the short version. Egamberganov and Lim extend the global regularity result for bi-rotational Euler flows without swirl from the known R^4, n=m=1 case to arbitrary n,m and dimensions d=4,5,6, and they prove the same polynomial (d=4,5) and exponential (d=6) upper bounds on the vorticity maximum as in the axisymmetric case. The main technical work is a cleaner Biot-Savart kernel analysis using one-variable elliptic integrals, which yields a Feng-Sverak type velocity bound, and then radial-moment differential inequalities close the argument. The paper is genuinely new, well-written, and the overall strategy is coherent.\n\nWhat's good: the kernel decay lemmas (4.1-4.3) are carefully proved, the radial moment estimates (Lemma 4.5) are rigorous, and the growth law is derived both from a physical dipole model and analytically. The citation to the axisymmetric rate is for comparison, not as an input, so there's no circularity.\n\nSoft spots: Theorem 1.1 just says existence follows by a standard smoothing argument—for a paper whose main result is wellposedness, that's thin, though the a priori estimates are the nontrivial part and the gap is likely fillable. Lemma 4.6 uses an equality for the L^2 norm of the weighted velocity and calls it conservation of kinetic energy. For Yudovich-type solutions in d≥4, energy conservation is not automatic; the expected fix is to use an upper bound from weak lower semicontinuity of a vanishing-viscosity approximation, which would suffice for the differential inequality. The proof as written omits that justification. Also, in Proposition 4.4, the step bounding the exterior integral via r^{n+m}|w| and then transferring to the moments r^m|w|/s^m and s^n|w|/r^n is not fully justified—it seems to require a pointwise inequality that doesn't hold for large r,s. It may be repairable by using the property that on the exterior, r^2+s^2 ≲ D^2 and then splitting further, but as written it's a gap. I'd rate these as minor-to-moderate, not fatal.\n\nWho it's for: researchers working on high-dimensional Euler, vortex stretching, and symmetric flow models. It's a meaningful subfield result, not a blockbuster. I'd send it to peer review; with careful revisions on the three points above it could be a solid paper. My own verdict: conditional accept, leaning positive.","headline":"Solid extension of bi-rotational Euler global regularity to d=4-6 with the axisymmetric growth rate; the proof is mostly careful but needs to close a few gaps (local existence details, energy conservation, one kernel estimate step).","tokens_in":22181,"tokens_out":14571,"would_cite":true,"duration_ms":129173,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76B47","35Q35"],"pacs":[],"model":"deepseek-v4-flash","headline":"For bi-rotational, swirl-free Euler flows in dimensions 4, 5, and 6, the vorticity maximum cannot grow faster than (1+t)^4, (1+t)^12, and e^{Ct}, respectively — the same upper bounds known for axisymmetric no-swirl flows.","keywords":["vortex stretching","bi-rotational symmetry","Euler equations","vorticity growth","Biot–Savart law","Yudovich solutions","global well-posedness","high-dimensional fluid dynamics"],"falsifier":"Compute the time derivative of the L^2 energy for the regularized (smoothed) approximations used to build the local solution, and check whether it tends to zero in the limit. If, for some initial datum satisfying (1.8) and d=4, the limiting Yudovich solution has d/dt ∥v(t)∥_{L^2}^2 ≠ 0 on a set of positive measure, the identity used in Lemma 4.6 is false and the proof of Theorem 1.2 would not carry through.","tokens_in":21184,"feed_emoji":"🌀","tokens_out":8909,"duration_ms":74479,"temperature":0.7,"pith_summary":"This paper proves that incompressible Euler flows with bi-rotational symmetry and no swirl — a two-axis analogue of axisymmetric flows — admit unique global-in-time solutions in dimensions 4, 5, and 6, within a Yudovich-type class of bounded vorticity. The central quantitative result is an upper bound on the growth of the maximum vorticity: it grows at most like (1+t)^4 in four dimensions, (1+t)^12 in five dimensions, and exponentially in six dimensions. These rates coincide with the known upper bounds for axisymmetric no-swirl flows in high dimensions, suggesting a universal stretching law for symmetric Euler flows. The local well-posedness result covers all dimensions d ≥ 4 under suitable decay assumptions.","feed_headline":"4D and 5D bi-rotational Euler vorticity bounded by t^4 and t^12","feed_subtitle":"Same vorticity growth rates as axisymmetric no-swirl flows, now in two-axis symmetry; 6D at most exponential.","key_machinery":"The central object is the conserved relative vorticity w/(r^n s^m): because this quantity is transported by the flow, the vorticity maximum can be estimated by the time integral of the velocity maximum. The Biot–Savart kernel, written via two angular integrals, admits pointwise decay bounds (Lemmas 4.2 and 4.3) that yield the Feng–Šverák-type estimate ∥v∥_{L∞} ≲ (∥r^m w/s^m∥_{L1}+∥s^n w/r^n∥_{L1})^{1/2} ∥w/(r^n s^m)∥_{L∞}^{1/2}. Radial moment inequalities then control the two L1 moments; the whole argument closes with a BKM-type continuation criterion.","core_discovery":"The authors establish that the scalar vorticity w(r,s) of a bi-rotational no-swirl Euler flow satisfies a 2D transport equation in which the ratio w/(r^n s^m) is conserved along particle trajectories. Using a Biot–Savart kernel expressed through a double angular integral, they derive a Feng–Šverák-type estimate bounding the velocity in terms of the square root of two radial moments of the vorticity times the conserved relative vorticity. Combining this with differential inequalities for the radial moments — which rely on conservation of kinetic energy — yields a closed differential inequality for the sum of moments. Solving it gives the claimed growth bounds for d=4,5,6, and the BKM criterio","pith_inferences":["If the kinetic-energy conservation used in Lemma 4.6 fails for the weak solutions constructed, the radial-moment differential inequalities would need an extra term; the growth bounds might degrade, so the sharpness of the t^4 and t^12 exponents is contingent on energy conservation.","The matching of rates with the axisymmetric case suggests that the optimal growth rate for bi-rotational flows might also be attained by a Childress-type dipole construction; verifying a matching lower bound would require building such dipoles in the bi-rotational geometry.","For d≥7 the closing differential inequality fails to be integrable with these exponents, so the method does not yield global existence; whether bi-rotational flows blow up in d≥7 remains open, and this paper's framework isolates the dimension threshold."],"forward_implications":["For d=4 and d=5, any bi-rotational no-swirl solution with initial data satisfying (1.8) has vorticity maximum growing at most polynomially, so no finite-time singularity can form in this class.","In d=6, the same class allows at most exponential vorticity growth, still precluding finite-time blowup.","The growth rates match the axisymmetric no-swirl case, indicating that the vortex-stretching mechanism in these symmetric flows is dimensionally universal across symmetry classes.","The local well-posedness theorem provides a Yudovich-type (bounded vorticity) well-posedness framework for bi-rotational flows in all d≥4, useful for future stability or singularity studies.","The Biot–Savart kernel estimates may be transferable to related problems such as the lake equation with depth function r^n s^m."],"fun_headline_variants":["Bi-rotational Euler vorticity grows like axisymmetric no-swirl in 4D and 5D","Vorticity bounds for bi-rotational Euler flows match no-swirl rates","4D and 5D bi-rotational Euler vorticity: same growth as axisymmetric","Vorticity bound: t^4 in 4D, t^12 in 5D for bi-rotational Euler","6D bi-rotational Euler vorticity growth at most exponential"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"Lemma 4.6 uses, without proof or citation, the conservation of kinetic energy for the Yudovich-type weak solution in dimensions d≥4: ∥r^{n/2}s^{m/2}v(t)∥_{L^2(Π)} = ∥v_0∥_{L^2(R^d)}; for weak Euler solutions with only bounded vorticity and L^2 velocity, energy conservation is not automatic in high dimensions, so if the constructed solution loses energy the radial-moment differential inequalities fail and the global growth bound of Theorem 1.2 collapses.","fun_headline_variants_meta":{"raw":{"variants":["Bi-rotational Euler vorticity grows like axisymmetric no-swirl in 4D and 5D","Vorticity bounds for bi-rotational Euler flows match no-swirl rates","4D and 5D bi-rotational Euler vorticity: same growth as axisymmetric","Vorticity bound: t^4 in 4D, t^12 in 5D for bi-rotational Euler","6D bi-rotational Euler vorticity growth at most exponential"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000962,"raw_usage":{"total_tokens":3900,"prompt_tokens":681,"completion_tokens":3219,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":425,"completion_tokens_details":{"reasoning_tokens":3097}},"tokens_in":425,"tokens_out":3219,"duration_ms":20611,"temperature":1.0,"reasoning_tokens":3097,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T05:41:43.684522+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the time derivative of the L^2 energy for the regularized (smoothed) approximations used to build the local solution, and check whether it tends to zero in the limit. If, for some initial datum satisfying (1.8) and d=4, the limiting Yudovich solution has d/dt ∥v(t)∥_{L^2}^2 ≠ 0 on a set of positive measure, the identity used in Lemma 4.6 is false and the proof of Theorem 1.2 would not carry through.","supporting_citations":[],"review_version":1}