{"id":"88dbfcb4-49d0-4d8a-99c7-62d6957c70d4","arxiv_id":"2506.11843","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"A multi-asset order book model with a latent efficient price is shown to produce diffusive observed prices at the macroscopic scale, and a numerical maximum likelihood estimator is developed.","lead":"This paper builds a market model where a hidden Brownian efficient price drives the jumps of observed limit order book prices, and proves that at the macroscopic scale observed prices converge to that efficient price. It also proposes a likelihood-based estimation procedure and tests it on simulated and real order book data.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Prop. 3.2.1 invokes an unstated strengthening of Assumption 3.2.5 (restricting the lower-bound sum to price-moving events), so the Lyapunov argument for Cor. 3.2.2 may not follow as written.","rationale":"The reader's weakest-assumption analysis correctly identifies the mean-reversion conditions (Assumptions 3.1.2 and 3.2.5) as the load-bearing premise for the diffusion limit. I agree these assumptions are the delicate point, but the more pressing issue is internal, not empirical: the proof of Proposition 3.2.1 uses a stronger restricted version of Assumption 3.2.5 than what is stated, and Assumption 3.1.2 is internally inconsistent as printed. Both are likely fixable, and the numerical/empirical weakness the reader cites remains valid; hence the verdict stays CONDITIONAL rather than moving to ACCEPT or REJECT. The concrete tests above would settle whether the proof gap is merely a presentation issue or a substantive flaw.","tokens_in":32877,"tokens_out":13950,"duration_ms":129469,"concrete_test":"Check the intended form of Assumption 3.2.5 in the source files: if the lower-bound sum is meant to be restricted to δp_e(q)>0, restate it explicitly; if not, re-derive the proof of Prop. 3.2.1 retaining the negative δp_e(q)=0 ask-consumption terms in A1 and verify that the stated unrestricted lower bound gives the required -yξ(y) term. Separately, inspect Assumption 3.1.2 to confirm whether the fourth limit is y→−∞; if it is y→∞, no intensity satisfies the assumption and Corollary 3.1.2 is vacuous as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Corollary 3.2.2 rests on Proposition 3.2.1, whose proof needs a negative drift term of order -y·ξ(y) coming from ask-side consumption when the efficient price is far above the reference price. In the proof, this term is obtained from the sum over events e=(−,(s,l),n) with s=a and δp_e(q)>0, i.e., only events that move the reference price. However, Assumption 3.2.5 as stated lower-bounds the sum over all ask-consuming events, with no δp_e(q)>0 restriction. A large intensity of ask market/cancel orders that do NOT wipe the best queue (δp_e(q)=0) would satisfy the assumption but would not contribute to the restricted sum used in the proof. The negative contribution of such δp=0 events is present in the exact expression for A1, but the displayed upper bound for A1 drops all negative terms, so the -yξ(y) term is not recovered from them. Thus the proof as written uses a stronger assumption than the one stated; if the assumption is genuinely meant to include all ask-consuming events, the argument needs to be repaired (e.g., by keeping the negative δp=0 terms) to justify LV ⩽ C. A separate, clearer inconsistency appears in Assumption 3.1.2: the third and fourth displayed conditions both concern y→∞ for Λ^{i,-}, requiring the same quantity to be both bounded above and divergent; as printed, Assumption 3.1.2 can be satisfied by no intensity functions, making Corollary 3.1.2 vacuous unless the fourth limit is y→−∞.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a Markovian limit-order-book framework driven by a hidden Brownian efficient price, unifying a signal-driven price model and a multi-dimensional queue-reactive model. The main theoretical results are stability of the reference price around the efficient price and a macroscopic diffusion limit under a square-root scaling: Propositions 3.1.2 and 3.2.2 establish uniform closeness of the rescaled processes, and Corollaries 3.1.2 and 3.2.2 give convergence to a Brownian motion with the efficient-price covariance. The paper also develops a maximum likelihood estimator with a PDE-based approximation of the likelihood, validates it on simulated and real data, and illustrates a liquidation application.","tokens_in":33282,"tokens_out":11435,"duration_ms":122791,"significance":"If correct, the framework is a useful unification: it makes the efficient price the driver of order-flow intensities and of the queue-reactive dynamics, and it derives diffusion limits from explicit stability assumptions. The paper's strengths are the detailed Lyapunov-function arguments, the explicit PDE representation of the likelihood, and the numerical illustrations on both simulated and real data. However, the central stability theorems currently contain a vacuous assumption in the signal-driven model and a proof gap in the queue-reactive case; these need to be repaired before the macroscopic claims can be accepted. The numerical validation intentionally uses models that violate the stability assumptions, and the MLE consistency is not proved, both of which are acknowledged limitations rather than hidden flaws.","major_comments":[{"comment":"The third and fourth displayed conditions are inconsistent as printed: the third requires limsup_{y→∞} sup_{x∈C} Λ^{i,-}(x,y) < ∞, while the fourth requires lim_{y→∞} inf_{x∈C} Λ^{i,-}(x,y) = ∞. No intensity function can satisfy both. Since Propositions 3.1.1 and 3.1.2 and Corollaries 3.1.1 and 3.1.2 all rest on this assumption, the results are vacuous as stated. The fourth condition should presumably be the limit y→−∞, corresponding to mean reversion when the efficient price is below the reference price; this must be corrected and the proofs checked against the corrected statement.","section":"Section 3.1, Assumption 3.1.2"},{"comment":"The proof uses an unstated strengthening of Assumption 3.2.5. After defining A1 through A4, the bound on A1 drops all negative contributions from ask-side consuming events with δp_e(q)=0, and later the proof uses the inequality Σ_{e=(−,(s,l),n)∈T−, s=a, δp_e(q)>0} n Λ^{i,e}(q,y) ≥ y ξ(y). However, Assumption 3.2.5 lower-bounds the sum over all ask-side consuming events, with no δp_e(q)>0 restriction. Events that consume the ask queue without moving the reference price contribute −n Λ^{i,e} to A1; these negative terms are discarded in the displayed upper bound, so the −y ξ(y) drift is not recovered from the stated assumption. The proof must either strengthen Assumption 3.2.5 to the restricted sum or retain the δp_e(q)=0 negative contributions in the Lyapunov bound.","section":"Section 7.3.2, proof of Proposition 3.2.1"},{"comment":"The claim that 'the first term in the definition of LiV is uniformly bounded from above' is not justified. The Brownian/Hessian contribution to LiV is (1/2)(ΣΣ^T)_{ii} ∂²_{yy}(y²ψ(y)), which contains the term (ΣΣ^T)_{ii} ψ(y) plus lower-order terms; since Corollary 7.3.1 gives ψ(y)→∞ as y→∞, this term is unbounded. Even if the printed coefficient '1' is taken literally, the displayed formula is missing the positive ψ(y) term that arises from differentiating y²ψ(y). Thus the subsequent bound on MiV alone does not imply LiV ≤ C. The proof needs to include the unbounded Hessian term and show that it is dominated by the negative −y ξ(y) drift for large y, which is plausible because ξ/ψ→∞, but it is not shown as written.","section":"Section 7.3.2, proof of Proposition 3.2.1"}],"minor_comments":[{"comment":"The numerical validation in Section 4.3 is carried out on Models 1 and 2 that, as Remark 4.3.1 concedes, do not satisfy the stability assumptions of Sections 3.1 and 3.2. The numerical results can therefore illustrate the estimation algorithm on finite horizons, but they do not provide evidence for the stability assumptions; the statement that the models 'graphically seem stable, hinting that these assumptions may not be optimal' should be presented only as a heuristic observation.","section":"Section 4.3 and Remark 4.3.1"},{"comment":"In the real-data section, the displayed symmetry condition appears to contain a typo: 'α^{i,-}_{efficient} = −α^{i,+}_{intercept}' should presumably read 'α^{i,-}_{efficient} = −α^{i,+}_{efficient}', by analogy with the simulation models and with the preceding line.","section":"Section 5, symmetry conditions"},{"comment":"The abstract contains the typo 'Our model is them used to backest trading strategies', which should read 'Our model is then used to backtest trading strategies'.","section":"Abstract and Section 6"},{"comment":"The explanatory paragraph contains the phrase 'the efficient price of an asset is very higher than the efficient price', which should refer to the reference price in the second occurrence; the sentence currently compares the efficient price with itself.","section":"Section 3.2.2, text after Assumption 3.2.5"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this paper is a real contribution to market microstructure, not a breakthrough. It extends the queue-reactive limit order book framework to multiple assets with a latent Brownian efficient price driving the order flow intensities, and it derives macroscopic diffusion limits. The multivariate setup and the PDE-based likelihood approximation are genuinely new relative to the cited literature, and the proofs are mostly detailed and coherent. Credit where due: the paper is honest about what it does not prove—MLE consistency is explicitly left open, and Remark 4.3.1 concedes that the simulation models do not satisfy the stability assumptions.\n\nThat said, there are two technical issues that need attention before the main theorems are reliable. First, Assumption 3.1.2 is internally contradictory as printed: the third and fourth bullets both send y to +∞ for Λ^{i,−}, with one requiring a finite limsup and the other requiring an infinite limit. No intensity function can satisfy both, so Corollary 3.1.2 is vacuous as stated. This is almost certainly a typo (the fourth limit should be y→−∞), and the proof of Proposition 3.1.1 also appears to use Λ^{i,+} in both tails, which would be wrong for the same reason. But a reader cannot verify the result without the fix.\n\nSecond, the proof of Proposition 3.2.1 uses a stronger version of Assumption 3.2.5 than the one stated. The proof needs the lower bound y·ξ(y) on ask-consuming events that actually move the reference price (δp>0), but the assumption states it for all ask-consuming events. If the intensity is dominated by events that do not change the price, the stated assumption does not deliver the negative Lyapunov drift the argument relies on. The exact expression contains those negative terms, so the proof can likely be repaired, but as written it is incomplete.\n\nThe numerical validation is weaker than the title suggests: the models tested violate the stability assumptions, no code or data is shipped, and MLE consistency is not proved, all acknowledged by the authors. That is not fatal, but it means the empirical section is illustrative rather than confirmatory.\n\nOverall this paper deserves a serious referee. The core framework is sensible, the multivariate extension is a genuine step beyond existing queue-reactive models, and the flaws look fixable rather than fundamental. A referee should require the assumption typo and the Lyapunov gap to be repaired. If they are fixed, I would be comfortable with the results; for now I would treat them as conditionally correct.","headline":"A useful multivariate queue-reactive extension with real potential, but the printed assumptions and Lyapunov proof have gaps that need fixing before the diffusion results stand.","tokens_in":33789,"tokens_out":3797,"would_cite":false,"duration_ms":37732,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60F17","60J27","62M05","91G80"],"pacs":[],"model":"deepseek-v4-flash","headline":"A hidden Brownian efficient price can drive the dynamics of a limit order book so that, at large time scales, observed tick-grid prices converge to a Brownian motion with the efficient price's volatility matrix.","keywords":["market microstructure","limit order book","queue-reactive model","signal-driven model","stochastic stability","hidden efficient price","maximum likelihood estimation","diffusion limit"],"falsifier":"Take a real limit-order-book dataset, build a proxy for the efficient price (for instance a long-window smoothed or volume-weighted price), and estimate the gap-dependent intensities of the order types that Assumption 3.2.5 requires to diverge as the gap becomes large; if those intensities saturate, decrease, or fail to dominate the opposing intensities, the premises of Corollaries 3.1.2 and 3.2.2 are refuted. Alternatively, simulate the model with bounded intensities and check that the rescaled gap $\\tilde{S}^{(n)}-\\tilde{P}^{(n)}$ does not vanish in probability.","tokens_in":32606,"feed_emoji":"📈","tokens_out":8124,"duration_ms":81690,"temperature":0.7,"pith_summary":"The paper proposes a unified Markovian market model in which an unobservable Brownian efficient price drives the order flow of several stocks, and asks whether the observed tick-grid prices can be deduced from it. For two sub-models — a signal-driven model where mid-price jump rates depend on the efficient price and an observable signal, and a queue-reactive model where order-arrival intensities depend on the full limit order book and on the gap between efficient and reference price — it proves that at the macroscopic scale the reference price behaves like the efficient price. The central result is a diffusion limit: after rescaling by the square root of the time horizon, the reference price process converges in distribution to a Brownian motion with the volatility matrix of the efficient price, so cross-stock correlation is inherited from that common latent factor. The paper also constructs a maximum likelihood estimator using a PDE representation of the likelihood, tests it numerically, and uses the model to backtest liquidation strategies. If correct, the paper provides a single mechanism — mean-reverting order-flow intensities — that explains both price stability at high frequency and diffusive behavior at low frequency.","feed_headline":"Tick-grid prices converge to a hidden Brownian price at market scale","feed_subtitle":"Signal-driven and queue-reactive order books both diffuse to the efficient price's volatility.","key_machinery":"The engine is a Lyapunov-function argument driven by mean-reverting intensities. For the queue-reactive model, the state is the order book up to $K$ piles per side plus the gap $y = S - P$; the generator $L$ acts on a norm-like function $V(y,q) = \\sum_i (y_i^2\\psi(y_i)+ \\text{queue terms})$, and Assumptions 3.2.2–3.2.5 ensure $LV \\le C$. The crucial Assumption 3.2.5 says that when $y$ is large and positive, arrivals of orders that decrease the reference price (cancellations or market sells on the bid, limit sells on the ask, and similar modifications) have unbounded intensity, while the opposite types stay bounded; the symmetric statement holds for $y$ large and negative. Assumptions 3.2.2 and 3.2.3 keep queue sizes and large order sizes under control. A second piece, Proposition 7.1.2, converts the Lyapunov inequality into a uniform-in-probability bound: $\\mathbb{P}[\\sup_{[0,T]} |\\tilde{S}^{(n)} - \\tilde{P}^{(n)}| \\ge \\epsilon] \\to 0$, and Billingsley's Theorem 3.1 upgrades that to convergence in law. For estimation, Theorem 4.1.1 expresses the likelihood $\\mathbb{E}[Z^\\theta_T \\mid \\mathcal{F}^{\\text{obs}}_T]$ as the solution of a linear parabolic PDE with jump conditions, and Algorithm 1 approximates it by an exponential-polynomial ansatz and an ODE system.","core_discovery":"On the paper's own terms, the discovery is that the reference price $P_t$, constrained to a discrete tick grid, can be stabilized around a hidden continuous efficient price $S_t = S_0 + \\Sigma W_t$ by making the intensities of order types depend on $S_t - P_t$. Under Assumptions 3.1.1–3.1.2 for the signal-driven model and 3.2.1–3.2.6 for the queue-reactive model, the rescaled processes $\\tilde{P}^{(n)}_t = (P_{nt} - P_0)/\\sqrt{n}$ and $\\tilde{S}^{(n)}_t = (S_{nt} - S_0)/\\sqrt{n}$ become arbitrarily close in probability uniformly on compact time intervals, and therefore $\\tilde{P}^{(n)}$ converges in distribution in $D([0,\\infty), \\mathbb{R}^d)$ to $\\Sigma B$, where $B$ is a $d$-dimensional Brownian motion. In words: at the macroscopic scale, discrete tick prices are diffusions, and the order book fulfils its price-discovery role, with the efficient price determining both volatility and cross-asset correlation.","pith_inferences":["The paper leaves implicit that fitting real order-flow data could directly test the mean-reversion assumption: one would estimate the gap-dependent intensities with an efficient-price proxy and check whether the price-pulling intensities actually grow without bound; Remark 4.3.1 concedes that the numerical MLE models violate the assumption, so such a test is needed before applying the diffusion li","If the diffusion limit holds, then volatility and correlation estimation could bypass high-frequency order-flow modelling entirely, since a sufficiently long reference-price path already carries the efficient price's covariance.","The absence of permanent market impact is a modelling choice rather than a necessity; allowing large market orders to jump the efficient price, as the paper mentions at the end, would introduce permanent impact and cross-impact while keeping the same approximating machinery.","The exponential-polynomial PDE likelihood could reasonably extend to Hawkes-style or state-dependent Hawkes intensities with the same functional form, giving a tractable estimator for self-exciting order-flow models."],"forward_implications":["For any stock in this model class, intraday reference prices sampled at a coarse scale behave as Brownian motion with the efficient price's volatility matrix, so volatility and correlation can in principle be read off the efficient price rather than tuned tick by tick.","At the macroscopic scale the reference price never strays more than $o(\\sqrt{n})$ from the efficient price on compact time intervals, so the limit order book reveals the latent fair price in the long run.","Because the reference price is pulled back to the efficient price, market impact in the model is transient: after a large market order the price jumps and then reverts, unlike the permanent impact seen in the original queue-reactive model.","The likelihood can be computed by solving a PDE and approximated by polynomial ODEs; numerical tests for a one-stock queue-reactive model and a two-stock signal-driven model show mean-squared estimation error decaying roughly as $1/T$.","In the two-stock liquidation example, the correlation of efficient prices changes the distribution of execution costs, so the model can be used to backtest multi-asset execution strategies."],"supporting_citations":[{"why":"Defines the queue-reactive model that this paper extends by making intensities depend on the efficient price.","marker":"(Huang et al. 2015)"},{"why":"Supplies the ergodicity and diffusivity framework and assumption style for Markovian order book models reused here.","marker":"(Huang and Rosenbaum 2017)"},{"why":"Introduces dependence of reference price jump intensities on the efficient price and the exponential-polynomial approximation used for estimation.","marker":"(Derchu 2023)"},{"why":"Theorem 2.1 converts the Lyapunov inequality into non-explosiveness of the Markov processes.","marker":"(Meyn and Tweedie 1993)"},{"why":"Corollary 1.1 in Chapter III provides the sup-bound on the Lyapunov function that yields the uniform closeness in probability.","marker":"(Kushner 1967)"},{"why":"Theorem 3.1 and Lemma 16.3 upgrade uniform convergence in probability to convergence in distribution on Skorokhod space.","marker":"(Billingsley 1999)"},{"why":"Provides the K=1 queue-reactive order book model used as the numerical benchmark (Model 1) for estimation.","marker":"(Cont and De Larrard 2012)"},{"why":"Empirical evidence that order-flow intensities depend on the order book state, and the exponential intensity form used in estimation.","marker":"(Muni Toke and Yoshida 2017)"}],"fun_headline_variants":["Tick prices diffuse to hidden Brownian price in unified model","Order books converge: discrete ticks mimic efficient price volatility","Hidden Brownian price drives both signal and queue-reactive models","Macroscopic scale: tick prices become Brownian under natural assumptions","Unified framework: queue-reactive and signal-driven models share diffusion limit"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole convergence result rests on the assumption that when the hidden efficient price is far above (resp. below) the reference price, the intensities of orders that push the reference price down (resp. up) grow without bound, while the opposing intensities stay bounded; if real order flow lacks this unbounded mean reversion, the diffusion limit need not hold.","fun_headline_variants_meta":{"raw":{"variants":["Tick prices diffuse to hidden Brownian price in unified model","Order books converge: discrete ticks mimic efficient price volatility","Hidden Brownian price drives both signal and queue-reactive models","Macroscopic scale: tick prices become Brownian under natural assumptions","Unified framework: queue-reactive and signal-driven models share diffusion limit"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000174,"raw_usage":{"total_tokens":1273,"prompt_tokens":924,"completion_tokens":349,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":540,"completion_tokens_details":{"reasoning_tokens":266}},"tokens_in":540,"tokens_out":349,"duration_ms":4250,"temperature":1.0,"reasoning_tokens":266,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:04:11.559955+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a real limit-order-book dataset, build a proxy for the efficient price (for instance a long-window smoothed or volume-weighted price), and estimate the gap-dependent intensities of the order types that Assumption 3.2.5 requires to diverge as the gap becomes large; if those intensities saturate, decrease, or fail to dominate the opposing intensities, the premises of Corollaries 3.1.2 and 3.2.2 are refuted. Alternatively, simulate the model with bounded intensities and check that the rescaled gap $\\tilde{S}^{(n)}-\\tilde{P}^{(n)}$ does not vanish in probability.","supporting_citations":[],"review_version":1}