{"id":"e755171b-52e3-49cf-92e1-1ad15b62c78e","arxiv_id":"2606.11159","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Existence, uniqueness, and stability are established for unidirectional entropic solutions of the pressureless Euler alignment system via transverse-then-longitudinal discretization of sticky particle Cucker-Smale dynamics, plus long-time flocking results even when communication vanishes near the fl","lead":"The paper proves existence, uniqueness, and stability for unidirectional solutions of the pressureless Euler alignment system by rewriting it as coupled scalar balance laws and taking limits of discretized sticky particle dynamics. A smart generalist might read it to understand how nonlocal interactions enable flocking in higher-dimensional collective motion models without direct communication along the flow direction.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly flags the protocol regularity as the key hypothesis needed for the limit passage and estimates. Since the abstract supplies a logically coherent high-level strategy with no evident gaps, and the full text was not available for equation-by-equation inspection, no load-bearing concern is identified.","tokens_in":1829,"tokens_out":282,"duration_ms":16219,"concrete_test":"Re-derive the L1-L^infty stability estimate (the one used for transverse discretization) directly from the coupled balance-law form, confirming that the optimal-coupling formulation on projections controls the nonlocal flux difference without requiring Lipschitz convergence of the discretized fluxes.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract describes a standard construction via transverse-then-longitudinal sticky-particle discretization, recast as coupled scalar balance laws, with existence/uniqueness/stability obtained from two complementary estimates (one low-regularity L1-L^infty adapted from Bouchut-Perthame to the nonlocal inter-slice coupling). The bounded-Lipschitz assumption on the protocol is explicitly used to control the nonlocal terms and is a standard hypothesis in the field; no circularity, missing limit justification, or internal inconsistency is visible in the given outline. The flocking observation under cylindrical vanishing of the protocol is presented as a direct consequence of the unidirectional geometry.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves existence, uniqueness, and stability of unidirectional entropic solutions to the pressureless Euler alignment system in higher dimensions. The system is recast as a family of coupled scalar balance laws, one per horizontal slice of R^d. Solutions are constructed as limits of sticky-particle Cucker-Smale approximations, first discretizing transversely to the flow and then longitudinally. Two complementary stability estimates are derived (one low-regularity L^1-L^infty estimate adapted from Bouchut-Perthame to the nonlocal inter-slice coupling), and long-time behavior is analyzed, including flocking with rate independent of agent number even under cylindrical vanishing of the communication protocol near the flow axis.","tokens_in":1963,"tokens_out":587,"duration_ms":21153,"significance":"If the results hold, the work extends one-dimensional pressureless Euler alignment theory to a nontrivial higher-dimensional unidirectional class, where the nonlocal coupling between slices supplies additional structure. The low-regularity stability estimate, which relies only on L^1-L^infty flux control, is essential for the limit passage and is a technical strength. The flocking observation under weakened communication assumptions illustrates a geometric advantage of the unidirectional setting. The formulation via optimal couplings between projected densities is a useful device for comparing slices.","major_comments":[{"comment":"The transverse discretization and subsequent limit passage (construction preceding the main existence theorem) rely on the low-regularity L^1-L^infty stability estimate to control the nonlocal terms. It is not immediate that this estimate alone yields convergence of the discretized fluxes without an additional compactness or continuity argument for the coupling; the gap between the estimate and the actual limit of the nonlocal interaction should be made explicit.","section":"construction and limit passage (around the statement of the main existence result)"},{"comment":"The second stability estimate (the one formulated with optimal couplings between projections onto R^{d-1}) is invoked to compare dynamics across slices, but the precise manner in which the bounded-Lipschitz assumption on the protocol closes the estimate when the slices are coupled nonlocally is only sketched; a self-contained verification that the Lipschitz constant enters linearly would clarify the dependence.","section":"stability estimates (the complementary pair used for uniqueness and stability)"}],"minor_comments":[{"comment":"The abstract states that the transverse discretization 'depends crucially' on the low-regularity estimate; a brief forward reference to the relevant lemma number would help readers locate the dependence.","section":"Abstract"},{"comment":"Notation for the optimal coupling between projected measures is introduced without an explicit definition of the cost functional; adding one sentence in the preliminaries would remove ambiguity.","section":"preliminaries on optimal couplings"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading, positive assessment of the significance, and constructive suggestions. We address the two major comments below and will incorporate clarifications in a revised version.","responses":[{"response":"We agree that the passage from the L^1-L^infty stability estimate to convergence of the nonlocal interaction terms in the transverse limit requires an explicit compactness argument. The estimate controls the difference of the fluxes in a manner that, combined with the uniform L^1 bound on the densities and the Lipschitz assumption on the protocol, permits application of a dominated-convergence argument to the integrated coupling terms (see the adaptation of Bouchut-Perthame in Section 3). We will add a dedicated paragraph immediately preceding the statement of the main existence theorem that spells out this step, including the precise weak-convergence mode used for the fluxes.","revision_made":"yes","referee_comment":"[construction and limit passage (around the statement of the main existence result)] The transverse discretization and subsequent limit passage (construction preceding the main existence theorem) rely on the low-regularity L^1-L^infty stability estimate to control the nonlocal terms. It is not immediate that this estimate alone yields convergence of the discretized fluxes without an additional compactness or continuity argument for the coupling; the gap between the estimate and the actual limit of the nonlocal interaction should be made explicit."},{"response":"We acknowledge that the dependence on the Lipschitz constant of the protocol in the second (optimal-coupling) stability estimate is only sketched in the current text. The linear appearance follows from the standard Kantorovich-Rubinstein representation of the bounded-Lipschitz distance together with the uniform bound on the protocol; the nonlocal coupling between slices is handled by integrating the difference against the optimal plan and using the Lipschitz bound to pull out a factor independent of the slice index. We will expand this into a fully self-contained lemma (new Lemma X) that isolates the linear dependence on Lip(φ) and verifies the estimate under the cylindrical geometry.","revision_made":"yes","referee_comment":"[stability estimates (the complementary pair used for uniqueness and stability)] The second stability estimate (the one formulated with optimal couplings between projections onto R^{d-1}) is invoked to compare dynamics across slices, but the precise manner in which the bounded-Lipschitz assumption on the protocol closes the estimate when the slices are coupled nonlocally is only sketched; a self-contained verification that the Lipschitz constant enters linearly would clarify the dependence."}],"tokens_in":1584,"tokens_out":537,"duration_ms":10421,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper shows how to get existence, uniqueness, and stability for unidirectional solutions of the pressureless Euler alignment system when velocity points only along one axis. They rewrite the system as coupled scalar balance laws, one per horizontal slice, and pass to the limit from a transverse-then-longitudinal discretization of Cucker-Smale particles.\n\nThe new technical piece is the transverse discretization step, which needs the weaker of their two stability estimates. That estimate works with only L1-L^infty control on the flux difference and is adapted from Bouchut-Perthame to handle the nonlocal coupling between slices via optimal couplings of the projected densities. The stronger estimate then closes the longitudinal step. The bounded Lipschitz assumption on the protocol is used in the usual way to control the nonlocal terms; it is standard but keeps the result from being fully general. The flocking observation when the protocol vanishes in a cylinder around the flow axis follows directly from the geometry and does not require communication along the motion direction.\n\nThe abstract sketch is logically connected and avoids circularity. Without the full proofs it is hard to check the precise constants or the passage to the limit for the fluxes, but nothing in the outline suggests a gap. The low-regularity estimate is the right tool for the job because the discretized fluxes are not expected to converge in stronger norms.\n\nThis is for readers already working on nonlocal alignment systems or pressureless Euler equations. It cleanly extends the 1D theory while keeping the higher-dimensional coupling visible. The work is careful enough to deserve a serious referee.","headline":"The paper builds unidirectional entropic solutions for the pressureless Euler alignment system in higher dimensions by a two-stage sticky-particle discretization and an adapted low-regularity stability estimate.","tokens_in":2469,"tokens_out":388,"would_cite":false,"duration_ms":10668,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Unidirectional solutions of the pressureless Euler alignment system exist, are unique, and stable under bounded Lipschitz communication protocols.","keywords":["pressureless Euler alignment","unidirectional flows","entropic solutions","Cucker-Smale dynamics","flocking behavior","nonlocal interactions","scalar balance laws"],"falsifier":"Finding initial data and a bounded Lipschitz protocol for which no unidirectional solution exists or for which two different solutions arise from the same data would falsify the result.","tokens_in":2731,"feed_emoji":"","tokens_out":629,"duration_ms":19654,"temperature":0.7,"pith_summary":"The paper proves existence, uniqueness, and stability for unidirectional velocity solutions to the pressureless Euler alignment system in higher dimensions. The system is recast as coupled scalar balance laws for horizontal slices, and solutions are built as limits of sticky particle dynamics after transverse discretization. This structure allows flocking even when the communication protocol vanishes near the flow axis. Readers would care because it provides a way to handle the nonlocal interactions that make the multi-dimensional case richer than the one-dimensional one.","feed_headline":"Unidirectional solutions exist and flock for pressureless Euler alignment","feed_subtitle":"Existence, uniqueness and stability hold for flows with velocity in one direction, even without communication along that direction.","key_machinery":"Coupled scalar balance laws for each horizontal slice of R^d, with stability estimates using optimal couplings of projections onto the transverse R^{d-1}, allowing control of nonlocal terms during the limit from discretization.","core_discovery":"Under a bounded Lipschitz communication protocol, the pressureless Euler alignment system admits unique stable unidirectional solutions. These are obtained as limits of sticky particle Cucker-Smale dynamics by first discretizing transversely to the flow and then along it. Two complementary stability estimates are derived, one relying only on L1-L^infty flux control to handle the nonlocality. The unidirectional geometry also permits flocking with rate independent of the number of agents even if communication vanishes in a cylindrical neighborhood of the axis parallel to the flow.","pith_inferences":["The transverse coupling might allow flocking in systems where direct alignment along velocity is impossible, suggesting simulations with anisotropic communication kernels.","If the Lipschitz assumption is relaxed to Holder continuity, the method might still work with adjusted estimates, opening a path to weaker protocols.","This approach could extend to other pressureless systems with nonlocal alignment in higher dimensions."],"forward_implications":["Solutions satisfy the system in the entropic sense as limits of the particle dynamics.","Flocking occurs in the standard heavy-tailed regime and additionally when communication is absent near the flow axis.","Stability is measured in terms of optimal transport couplings between transverse projections of the densities.","The low-regularity stability estimate enables convergence despite the discretized fluxes lacking higher regularity."],"fun_headline_variants":["Unidirectional solutions stable for pressureless Euler alignment","Unique unidirectional solutions exist in pressureless Euler system","Stability and flocking for unidirectional pressureless Euler flows","Unidirectional geometry enables flocking sans axial communication"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The communication protocol is bounded and Lipschitz.","fun_headline_variants_meta":{"raw":{"variants":["Unidirectional solutions stable for pressureless Euler alignment","Unique unidirectional solutions exist in pressureless Euler system","Stability and flocking for unidirectional pressureless Euler flows","Unidirectional geometry enables flocking sans axial communication"]},"model":"grok-4.3","cost_usd":0.010204,"raw_usage":{"total_tokens":4503,"prompt_tokens":789,"num_sources_used":0,"completion_tokens":58,"cost_in_usd_ticks":102040500,"prompt_tokens_details":{"text_tokens":789,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3656,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":789,"tokens_out":58,"duration_ms":22849,"temperature":1.0,"reasoning_tokens":3656,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T12:16:44.724771+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Finding initial data and a bounded Lipschitz protocol for which no unidirectional solution exists or for which two different solutions arise from the same data would falsify the result.","supporting_citations":[],"review_version":1}