{"id":"5c2fe369-7819-43d6-b32f-f7bf990372ba","arxiv_id":"2411.16937","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Automated-vehicle traffic wave speed is shown to be time- and position-dependent, determined by the AV control transfer function's gain and phase under oscillatory disturbances.","lead":"This paper derives formulas for how disturbances ripple through strings of automated vehicles, showing that the traffic wave speed changes over time and between vehicle pairs instead of staying constant. It gives AV control engineers a direct way to see how tuning the car's control gains changes wave propagation during oscillations.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (10) defines W as h/tau - v_e, but the wave segment it describes has speed -h/tau; in the Newell limit this gives s0/tau - v_e instead of the standard -s0/tau, so W is not yet established as the physical wave speed.","rationale":"The paper's substantive contribution is Eq. (10) and the resulting Propositions 1-5: that the wave speed between AVs is time- and vehicle-dependent. Every downstream result is a property of the quantity W defined in Eq. (10), so the identification of W with the physical traffic wave speed is the load-bearing step. The reader's weakest-assumption analysis flagged exactly this identification, and my stress-test sharpens it into a concrete algebraic check. From Eq. (8), h_{0-1}(t) equals the leader position at emission time t minus the follower position at arrival time t+tau, where tau = -angle G/omega_m. The wave segment connecting those two events has speed -h/tau. Eq. (10) instead defines W = h/tau - v_e. These differ, and the Newell limit makes the discrepancy visible: the standard Newell congestion wave speed is -s0/tau, while Eq. (10) gives s0/tau - v_e. Unless a moving-frame or sign convention is explicitly introduced, W is a constructed ratio rather than the physical wave speed. This is a definitional gap, not an internal contradiction of the algebra: the derivations of h and W are self-consistent, and the numerical experiments reproduce the same model. It is also potentially fixable by clarifying the coordinate frame and correcting the sign or offset, which is why the verdict should remain conditional rather than moving to reject outright. The proposed concrete test is a one-line check in the Newell limit that any referee can run, together with a direct comparison of Eq. (10) against the segment speed -h/tau for generic amplitude changes.","tokens_in":22313,"tokens_out":13919,"duration_ms":127857,"concrete_test":"Compute the Newell limit of the framework: set G(jomega)=e^{-jomega tau}, so |G|=1 and angle G = -omega tau, and set s_e = s0 + v_e tau. (i) Plug these into Eq. (10): the result is W = s0/tau - v_e. (ii) Derive the wave speed directly from Newell's model p1(t)=p0(t-tau)-s0 by tracking a constant phase: the segment connecting (t,p0(t)) to (t+tau,p1(t+tau)) has slope -s0/tau. (iii) Also compute the segment speed [p1(t+tau)-p0(t)]/tau from Eq. (8) for a generic |G| not equal to 1 and compare with Eq. (10); they differ by v_e - 2h/tau. If the two speeds do not match, or if no explicit moving-frame or sign convention is introduced to justify the difference, then Eq. (10) is not the physical traffic wave speed and Propositions 1-5 do not establish the paper's headline claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that Eq. (10) gives the traffic wave speed between an AV and its leader, and Propositions 1-5 describe properties of that speed. The load-bearing step is the identification of W with a physical wave speed. From Eq. (8), with tau = -angle G(jomega_m)/omega_m, one can verify that h_{0-1}(t) = s_e + v_e angle G/omega_m + (1-|G|)A_m sin(omega_m t) equals p_0(t) - p_1(t+tau): the leader position at emission time t minus the follower position at arrival time t+tau. The speed of that wave segment is therefore [p_1(t+tau)-p_0(t)]/tau = -h_{0-1}(t)/tau. Eq. (10), however, defines W_{0-1}(t) = h_{0-1}(t)/tau - v_e. These two expressions differ by more than a sign convention: W = h/tau - v_e is not equal to -h/tau except when h = v_e tau/2. In the Newell limit (|G|=1, angle G = -omega tau, s_e = s0 + v_e tau), h = s0 and Eq. (10) yields W = s0/tau - v_e, whereas Newell's simplified car-following model gives the physical congestion wave speed -s0/tau. The paper never states a coordinate frame or sign convention under which this offset is correct. Remark 1 discusses when to sample the wave but does not reconcile the sign or the subtracted v_e. If W is not the physical wave speed, the intra- and inter-heterogeneity propositions describe a constructed ratio rather than a property of traffic waves.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an analytical approximation framework for traffic wave speed in platoons of automated vehicles under oscillatory disturbances. It models AV car-following with a linear controller, derives a transfer function G(jω), and, using a generalized Newell-type geometric construction, defines a wave speed W_{0-1}(t) in Eq. (10) that depends on control gains, oscillation frequency, amplitude, and time. It then states propositions on intra- and inter-heterogeneity, commutativity, associativity, and predominant-frequency shift, and it presents numerical simulations using the same linear controller as validation.","tokens_in":128,"tokens_out":14110,"duration_ms":183016,"significance":"If the identification of Eq. (10) with the physical traffic wave speed were correct, the paper would offer a useful bridge between AV control design and macroscopic wave properties, replacing the constant Newell wave speed with a control-dependent, time-varying speed for AV traffic. The algebraic part is mostly transparent and trackable, with no fitted free parameters in the main derivation; the propositions are explicitly stated with proofs, which is a strength. However, the central identification is not yet established and is in fact in error as written, which currently undermines the physical interpretation of all derived wave-speed results. The framework can likely be repaired by redefining the wave speed as -h/τ, after which the qualitative heterogeneity claims may still hold; the present manuscript requires this correction before its conclusions can be accepted.","major_comments":[{"comment":"The quantity W_{0-1}(t) defined in Eq. (10) is not the physical speed of the wave segment constructed in Eq. (9). With τ' = -∡G(jω_m)/ω_m, Eq. (9) gives h_{0-1}(t)=p_0(t)-p_1(t+τ'), i.e., h is the spatial separation between the leader at emission time and the follower at arrival time. The segment connecting these two points in the time-space diagram has speed [p_1(t+τ')-p_0(t)]/τ' = -h_{0-1}(t)/τ'. Equation (10) instead computes h/τ'-v_e. In the Newell limit (|G|=1, ∡G=-ω_m τ, s_e=s0+v_e τ), h=s0 and Eq. (10) gives s0/τ-v_e, whereas Newell's simplified car-following model gives the backward congestion wave speed -s0/τ. The manuscript never states a coordinate frame or sign convention that reconciles this discrepancy; Remark 1 addresses sampling times only. Consequently, Propositions 1 and 2 and the numerical figures describe a constructed ratio, not the physical wave speed, unless Eq. (10) is replaced by W=-h/τ (and Eqs. (16), (36), and (44) adjusted accordingly). This is the central load-bearing step of the paper.","section":"Section 2, Eqs. (9)–(10)"},{"comment":"The transfer function is written as G(s)=p̃_0(s)/p̃_1(s)=ṽ_0(s)/ṽ_1(s) in Eq. (4) and as G(s)=p̃_{i-1}(s)/p̃_i(s) in Eq. (12), but every subsequent use of G treats it as the follower-to-leader transfer function p̃_i/p̃_{i-1}. For example, Eq. (7) sets p̃_1(t)=A_m|G(jω_m)|sin(ω_m t+∡G(jω_m)), and the string-stability conditions in Section 4.3 identify |G|<1 with disturbance dampening, which is consistent only with G=p_i/p_{i-1}. The Laplace transform of Eq. (2) indeed yields the follower-to-leader ratio; the ratios in Eqs. (4) and (12) should be inverted. As printed, the derivation from Eq. (2) to Eq. (10) is internally inconsistent, though the intended relation is recoverable.","section":"Section 2, Eq. (4) and Section 3, Eq. (12)"},{"comment":"The expression for h_{N2}(t) is algebraically wrong. The proof states h_{N2}(t)=Σ_{i=k+1}^N s_{e,i}+v_e t_w(N2)+A_m(∏_{h=k+1}^N |G_h(jω_m)| - ∏_{h=1}^k |G_h(jω_m)|) sin(ω_m t), but the oscillation amplitude entering vehicle k+1 is A_m∏_{h=1}^k |G_h(jω_m)|, so the correct term is A_m∏_{h=1}^k |G_h(jω_m)|(∏_{h=k+1}^N |G_h(jω_m)| - 1) sin(ω_m t). With the printed formula, h_{N1}+h_{N2}=Σ s_e+v_e t_w(N)+A_m(∏_{h=k+1}^N |G_h|-1) sin(ω_m t), which is not equal to h_N(t). The stated associativity property can be recovered with the corrected factor, but the proof as written does not establish it.","section":"Section 3, Proposition 4 proof"},{"comment":"The numerical experiments validate only the internal algebra of the framework, not the identification of W with a physical wave speed. The simulations use the same linear controller and the same transfer function G(jω) that appears in Eq. (10), and the reported 'wave speed' is computed as the analytic W(t), not measured from trajectories as the slope of a wave front. Therefore, matching curves between simulation and Eq. (10) is a self-consistency check; it cannot supply evidence for the key assumption that W is the traffic wave speed. Independent validation would require, for example, tracking a speed-change front or a contour of constant oscillation phase through the simulated time-space diagram and comparing its slope with the proposed formula.","section":"Section 4"}],"minor_comments":[{"comment":"The text contains many typographical and typesetting artifacts: 'Laplacian' should be 'Laplace', 'ω = 2π/f' should be 'ω = 2πf', and several equations contain fragmented symbols such as 'j_m' and 's s s'; a careful editing pass over the notation is needed.","section":"Throughout"},{"comment":"The citations 'Li and Ouyang, 2013' (Section 2), 'Thieman et al., 2005' and 'Zhou et al., 2020' (Section 3) do not appear in the reference list; please add them or adjust the citations.","section":"References"},{"comment":"The phrase 'by the wave propagation routine practice as Fig. (3)' should refer to Fig. 1; the figure number is incorrect.","section":"Section 2, Fig. 1 discussion"},{"comment":"The subfigure labels are garbled: the caption gives '(a) k_s=0.2; (b) k_s=0.6; (c) k_S=1; k_s=1.4', which mixes the label for subfigure (c) with the parameter value for (d); the enumeration should be completed and corrected.","section":"Figure 5 caption"},{"comment":"The describing-function cases contain undefined or inconsistently used symbols (e.g., θ, G as a scalar, B) and some conditions are stated with mismatched variables, such as Case 2 using |G_sn(jω_m)|B without defining B; the sentences introducing β1 and β2 are also incomplete and should be rewritten for clarity.","section":"Section 2, Eqs. (24)–(32)"}],"recommendation":"major_revision","confidential_remarks":"This manuscript fits the scope of the journal and the analytical framework is potentially salvageable. The main issue is the wave-speed definition in Eq. (10), which is a load-bearing error; a simple redefinition to -h/τ would likely preserve the qualitative propositions and make the Newell limit consistent with the standard backward congestion wave speed. The paper also appears to be an early draft with extensive typesetting corruption, missing references, and some algebraic slips in the proofs; the editor should require a careful revision and a re-review of the corrected equations and figures."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper is worth a look if you work on AV car-following and traffic wave models. It does something genuinely new: it takes a linear AV controller's transfer function and reads off a closed-form, time-varying 'wave speed' between leader and follower from the gain and phase of G(jω). From that it proves intra- and inter-platoon heterogeneity, and extends to heterogeneous controllers and weak nonlinearities via describing functions. The algebra is straightforward once you accept the definition, and the propositions follow from it. The describing function extension for speed-boundary saturation is a sensible way to go beyond linear.\n\nThe soft spot is the definition itself. Setting τ = −∠G/ω, the paper's h_{0–1}(t) equals p0(t) − p1(t+τ), so the line connecting these two trajectory points has slope −h/τ. The paper instead defines W = h/τ (with the −ve term already inside h). That is the negative of the geometric wave speed, not just a minor sign convention. In the Newell limit, this gives W = s0/τ, whereas the standard kinematic wave speed is −s0/τ. The paper never states the coordinate frame or sign convention; Remark 1 only discusses sampling times. If W is not the physical wave speed, then Propositions 1–5 describe properties of a constructed ratio, not traffic waves. That's the load-bearing flaw.\n\nTwo smaller issues: the numerical simulations use the same linear controller as the derivation, so they are a self-consistency check rather than validation; and several describing-function formulas appear without derivation, though the rendering errors in the text make it hard to check them. Neither of these is fatal if the sign issue is fixed.\n\nI think this deserves a serious referee. The problem is specific and addressable: either correct the sign and reconcile with Newell, or rename W as a 'propagation parameter' and avoid claiming it is the kinematic wave speed. The framework itself is a useful bridge between control design and wave properties.\n\nRecommendation: send to peer review, with the sign issue as the primary mandatory revision.","headline":"A useful analytical bridge from AV control to a wave-speed-like quantity, but the central identification with physical wave speed has a sign error that needs fixing before the propositions can be taken at face value.","tokens_in":23190,"tokens_out":10554,"would_cite":false,"duration_ms":89239,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["90B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper derives an analytical formula showing that the traffic wave speed between an automated vehicle and its leader becomes time-dependent and vehicle-dependent under oscillations, tied to the AV's control transfer function.","keywords":["Automated vehicles","traffic oscillations","traffic wave propagation","car-following","frequency-domain analysis","describing function analysis","heterogeneous traffic","wave speed heterogeneity"],"falsifier":"Simulate a homogeneous AV platoon with leader speed $v_e+A_m\\cos(\\omega_m t)$, track the time-space slope of a constant-speed or constant-deceleration feature between each leader-follower pair over a full cycle, and compare with Eq. (10); the formula predicts a slope that oscillates with period $2\\pi/\\omega_m$ and varies with vehicle index, whereas the constant-wave-speed view predicts a fixed slope.","tokens_in":22085,"feed_emoji":"🚗","tokens_out":9127,"duration_ms":83061,"temperature":0.7,"pith_summary":"This paper tries to establish that when automated vehicles follow a leader through oscillatory stop-and-go traffic, the traffic wave between them does not travel at the constant congestion speed assumed in classical kinematic wave theory. Instead, the wave speed is a time-varying, vehicle-dependent quantity determined by the AV's control transfer function, the oscillation frequency, the oscillation amplitude, and the equilibrium spacing and speed. The authors derive a closed-form approximation for this wave speed, extend it to heterogeneous platoons and weak nonlinearities, and verify it in numerical simulations. If correct, AV control parameters become direct levers on how congestion waves propagate in mixed traffic, with consequences for string stability and wave damping.","feed_headline":"AV control tuning changes the speed of traffic waves","feed_subtitle":"A closed-form wave-speed formula shows oscillations make AV traffic waves vary by time and vehicle index.","key_machinery":"The central object is the car-following transfer function $G(j\\omega)=\\hat p_{i-1}(s)/\\hat p_i(s)=\\hat v_{i-1}(s)/\\hat v_i(s)$, evaluated at the oscillation frequency $\\omega_m$; its magnitude $|G(j\\omega_m)|$ is the disturbance amplification ratio and its phase $\\angle G(j\\omega_m)$ is the response lag. Combined with Newell's shift view of car-following, this yields the wave-speed formula $W_{0-1}(t)=\\frac{\\omega_m(s_e+(1-|G(j\\omega_m)|)A_m\\sin(\\omega_m t))}{-\\angle G(j\\omega_m)}-v_e$, which is the load-bearing identity of the paper. The same formula with powers $|G|^i$ and accumulated phases gives each link of a platoon, and a describing-function replacement $G^{nl}$ handles speed-limit saturation.","core_discovery":"The paper claims that in oscillatory traffic, the wave speed between an automated vehicle and its leader is not the constant congestion speed of Newell's simplified theory but a function of time and vehicle index, given explicitly by $W_{0-1}(t)=\\frac{\\omega_m(s_e+(1-|G(j\\omega_m)|)A_m\\sin(\\omega_m t))}{-\\angle G(j\\omega_m)}-v_e$, where $G(j\\omega_m)$ is the AV's car-following transfer function at the oscillation frequency. It further claims that the same structure, with $|G|^i$ and accumulated phase angles, governs each link of a homogeneous or heterogeneous platoon, yielding intra-vehicle time variation, inter-vehicle variation, sequence-independence of the average wave, associative decomposition by sub-platoons, and a possible shift of the dominant frequency as the wave travels downstream. The paper validates these predictions in simulations of a third-order linear ACC-type controller and extends the linear result to speed-boundary saturation using describing-function analysis.","pith_inferences":["A direct empirical test would be to run a platoon of production ACC vehicles behind a leader whose speed oscillates at one frequency and extract the time-space slope of a fixed speed contour; the formula predicts periodic modulation at the oscillation frequency visible in trajectory data.","Because the formula reduces to Newell's constant speed in the low-frequency limit where $|G|=1$ and $\\angle G=-\\omega\\tau$, the framework could be used to derive correction terms for macroscopic wave speed as a function of AV market penetration and controller gains.","The same describing-function machinery can treat acceleration and deceleration limits, which the paper leaves to future work; a natural extension is a controller-design problem that targets a desired wave-speed profile rather than only string stability."],"forward_implications":["In a homogeneous AV platoon excited by a single-frequency oscillation, the wave speed between each leader-follower pair oscillates with time, so wave speed is not a single number even within one congested platoon.","Wave speed also changes from link to link along the platoon, growing or shrinking with $|G(j\\omega_m)|^{i-1}$; string-stable controllers therefore produce smaller wave-speed oscillation downstream, while string-unstable controllers amplify it.","For heterogeneous controllers without active nonlinear boundaries, the total wave travel time and cumulative shift distance are independent of the order in which controllers appear, and the whole platoon wave equals the sum of sub-platoon waves.","When speed limits saturate, the linear transfer function no longer holds; the describing-function approximation shows saturation can reduce oscillation amplification and thereby shrink wave-speed oscillation, even when the linear controller is string-unstable.","If several oscillation frequencies are present, the dominant frequency can change as the wave travels down the platoon, so the apparent wave speed can switch character along the vehicle string."],"supporting_citations":[{"why":"Supplies the simplified car-following law whose trajectory shift in time and space is the basis for defining wave speed in Eqs. (9) and (10).","marker":"[16]"},{"why":"Gives the simplified kinematic wave theory with constant congestion wave speed that the paper's time-varying AV wave formula extends and contrasts.","marker":"[2]"},{"why":"Provides the third-order linear AV car-following controller parameterization used to instantiate the transfer function in the numerical validation.","marker":"[30]"},{"why":"Empirical verification of Newell's simplified car-following model that underpins the constant-speed baseline and the shift-based wave interpretation.","marker":"[17]"},{"why":"Experimental evidence that AV car-following behavior differs from human drivers, motivating a dedicated AV wave analysis.","marker":"[27]"},{"why":"Data-driven analysis of disturbance amplification in AV car-following, supporting the claim that AV response is control-dependent.","marker":"[28]"},{"why":"Shows dynamic fundamental diagrams and higher-order oscillatory features for AVs that can violate constant wave speed, motivating the framework.","marker":"[29]"}],"fun_headline_variants":["Wave speed in oscillatory traffic varies with time and AV index","AV control makes traffic wave speed time-dependent","Analytical model shows traffic waves slow and speed within platoon","Oscillatory traffic: AV wave speed not constant, depends on control","Traffic waves under AVs: speed changes with time and position"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the quantity $h_{0-1}(t)/(-\\angle G(j\\omega_m)/\\omega_m)-v_e$ defined in Eqs. (9) and (10) is the physical traffic wave speed, a definition introduced in this paper whose sign convention is not reconciled with the ordinary backward-moving congestion wave.","fun_headline_variants_meta":{"raw":{"variants":["Wave speed in oscillatory traffic varies with time and AV index","AV control makes traffic wave speed time-dependent","Analytical model shows traffic waves slow and speed within platoon","Oscillatory traffic: AV wave speed not constant, depends on control","Traffic waves under AVs: speed changes with time and position"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00061,"raw_usage":{"total_tokens":2818,"prompt_tokens":902,"completion_tokens":1916,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":518,"completion_tokens_details":{"reasoning_tokens":1830}},"tokens_in":518,"tokens_out":1916,"duration_ms":13244,"temperature":1.0,"reasoning_tokens":1830,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:43:52.566934+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Simulate a homogeneous AV platoon with leader speed $v_e+A_m\\cos(\\omega_m t)$, track the time-space slope of a constant-speed or constant-deceleration feature between each leader-follower pair over a full cycle, and compare with Eq. (10); the formula predicts a slope that oscillates with period $2\\pi/\\omega_m$ and varies with vehicle index, whereas the constant-wave-speed view predicts a fixed slope.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the simplified car-following law whose trajectory shift in time and space is the basis for defining wave speed in Eqs. (9) and (10)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Empirical verification of Newell's simplified car-following model that underpins the constant-speed baseline and the shift-based wave interpretation."},{"cited_title":"Significance of Low-level Controller for String Stability under Adaptive Cruise Control","cited_arxiv_id":"2104.07726","evidence_quote":"Data-driven analysis of disturbance amplification in AV car-following, supporting the claim that AV response is control-dependent."},{"cited_title":"Zhong, Q","cited_arxiv_id":null,"evidence_quote":"Shows dynamic fundamental diagrams and higher-order oscillatory features for AVs that can violate constant wave speed, motivating the framework."}],"review_version":1}