{"id":"c49f94fc-18aa-415e-a3d4-b7470508641d","arxiv_id":"2605.24242","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Provides explicit value functions and optimal quotes for four execution criteria in a model incorporating signal-dependent drift, price impact, and point-process fills.","lead":"The paper develops explicit solutions for optimal limit order quotes in sequential execution problems using a limit order book model with signals. Quants and traders may find the closed-form expressions useful for implementing signal-adaptive strategies without heavy computation.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Reduction of HJB to explicit triangular finite-dim system may not hold for arbitrary general intensity/impact/penalty functions","rationale":"The reader's weakest_assumption directly identifies the same structural assumption required for the explicit reduction. Because the full text was unavailable to the reader, the current UNVERDICTED/LOW status already reflects uncertainty about whether the claimed reduction actually occurs; the concrete_test above would resolve it without altering the verdict category.","tokens_in":1707,"tokens_out":396,"duration_ms":34606,"concrete_test":"Take the expected-terminal-wealth HJB (first criterion). Substitute a fully general intensity λ(q) (arbitrary positive function of the quote q) and a nonlinear price-impact function I(·). Perform the sup over q inside the HJB and check whether the resulting equation for the value function V(t,x,s) closes into a finite system of ODEs in a finite number of state variables; if an infinite-dimensional term or non-closed integral remains, the explicit triangular reduction fails for general λ.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The strongest claim is that, for general price-impact and inventory-penalty functions, the four HJB equations reduce to a triangular finite-dimensional structure solvable explicitly, yielding closed-form value functions and optimal quotes, plus well-posedness/verification. This reduction is load-bearing: the point-process intensities depend on submitted quotes, and the control (quote choice) appears inside the intensity in the HJB generator. For the system to close into finite dimensions without residual functional equations or non-explicit optimization, the intensity must interact with the impact/penalty terms in a very specific structural way (e.g., separability or exponential form that allows the sup over quotes to produce a finite set of ODEs). The abstract asserts this holds for general functions, but nothing in the stated model setup guarantees the triangular closure unless the intensity is implicitly restricted.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"This paper develops a unified explicit solution theory for optimal execution through sequential limit-order placement in a limit order book. It incorporates signal-dependent drift, price impact, inventory risk, and execution risk via point processes with quote-dependent intensities. Four execution criteria are formulated (expected terminal wealth, with running inventory penalty, CARA utility, and CARA with penalty). The central claim is that, for general price-impact and inventory-penalty functions, the associated HJB equations reduce to a triangular finite-dimensional structure solvable explicitly, yielding closed-form value functions and optimal quotes, together with well-posedness, admissibility, and verification results. The explicit formulas are used to connect criteria and perform asymptotics, with numerical illustrations of signal effects.","tokens_in":1865,"tokens_out":659,"duration_ms":44808,"significance":"If the claimed reduction to an explicitly solvable triangular finite-dimensional system holds under the stated generality, the contribution would be substantial: it would deliver closed-form solutions for sequential quote optimization (typically numerical) and explicit links across utility criteria. The well-posedness and verification theorems, together with the asymptotic analysis, would strengthen the result. The numerical demonstration that signal-dependent drift materially alters optimal quotes is a concrete practical strength.","major_comments":[{"comment":"Abstract: The assertion that the four HJB equations reduce to a triangular finite-dimensional structure 'for general price-impact and inventory-penalty functions' is load-bearing for the explicit-solvability claim. Because the control (quote) enters the generator inside the intensity of the point process, the supremum over admissible quotes generally produces a non-explicit optimization problem unless the intensity admits a very specific structural interaction with the impact and penalty terms (e.g., separability or exponential form that closes the system into a finite set of ODEs). The manuscript must delineate the precise class of intensity functions for which the triangular closure holds; without this, the reduction does not follow from generality of impact/penalty alone.","section":"Abstract"},{"comment":"Model and HJB sections: The well-posedness, admissibility, and verification results rest on the same finite-dimensional reduction. If the intensity is permitted to be an arbitrary function of the quote, the value function may retain a functional dependence that prevents the claimed explicit triangular ODE system; a concrete counter-example or additional structural hypothesis on the intensity is needed to confirm that the reduction is valid beyond specially chosen intensities.","section":"Model and HJB sections"}],"minor_comments":[{"comment":"The abstract packs many technical claims into a single paragraph; separating the model assumptions from the solvability result would improve readability.","section":null},{"comment":"Notation for the quote-dependent intensity should be introduced with an explicit functional dependence (e.g., λ(t, q, …)) at first use to avoid ambiguity with the control variable.","section":null}],"recommendation":"major_revision","confidential_remarks":"The generality asserted for the intensity class appears broader than what the triangular reduction typically requires; this may affect how the contribution is positioned relative to prior work that obtains explicit solutions only for exponential or linear intensities."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful and constructive review. The comments correctly identify that the explicit triangular reduction requires structural assumptions on the intensity functions in addition to the generality claimed for impact and penalty terms. We address both points by committing to explicit delineation of the admissible intensity class in the revision.","responses":[{"response":"We agree that the reduction to an explicitly solvable triangular system requires specific structural assumptions on the intensity in addition to generality of the impact and penalty functions. The manuscript works with intensities (such as exponential forms λ(δ) = A exp(−Bδ)) that permit closed-form pointwise optimization and preserve finite-dimensional closure. We will revise the abstract to qualify the claim as holding 'for general price-impact and inventory-penalty functions together with intensities belonging to the admissible class defined in Section 2' and add an explicit delineation of this class (separability conditions ensuring the optimal quote yields an ODE system without residual functional dependence).","revision_made":"yes","referee_comment":"[Abstract] Abstract: The assertion that the four HJB equations reduce to a triangular finite-dimensional structure 'for general price-impact and inventory-penalty functions' is load-bearing for the explicit-solvability claim. Because the control (quote) enters the generator inside the intensity of the point process, the supremum over admissible quotes generally produces a non-explicit optimization problem unless the intensity admits a very specific structural interaction with the impact and penalty terms (e.g., separability or exponential form that closes the system into a finite set of ODEs). The manuscript must delineate the precise class of intensity functions for which the triangular closure holds; without this, the reduction does not follow from generality of impact/penalty alone."},{"response":"The observation is correct: arbitrary intensities generally destroy the finite-dimensional structure. Our well-posedness, admissibility, and verification theorems are proved under the structural hypothesis that the intensity allows explicit attainment of the supremum and closure into a triangular ODE system. We will insert a precise statement of this hypothesis (including the required separability or exponential form) in the model section and note that the results hold within this class rather than for fully arbitrary intensities. This removes any ambiguity without requiring a counter-example.","revision_made":"yes","referee_comment":"[Model and HJB sections] Model and HJB sections: The well-posedness, admissibility, and verification results rest on the same finite-dimensional reduction. If the intensity is permitted to be an arbitrary function of the quote, the value function may retain a functional dependence that prevents the claimed explicit triangular ODE system; a concrete counter-example or additional structural hypothesis on the intensity is needed to confirm that the reduction is valid beyond specially chosen intensities."}],"tokens_in":1470,"tokens_out":580,"duration_ms":34736,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core result is that the authors reduce four HJB equations—expected terminal wealth, the same with running inventory penalty, CARA utility, and CARA with penalty—to the same finite-dimensional triangular structure that yields explicit value functions and optimal quotes, even with signal-dependent drift. They also supply well-posedness, admissibility, and verification arguments.\n\nThis is new relative to the usual numerical or market-order treatments in the execution literature. Having one framework that covers all four criteria and produces closed forms plus long-horizon asymptotics is a concrete step if the derivations hold. The numerical illustrations that signal drift changes quoting behavior are simple but make the point.\n\nThe soft spot is the reduction step itself. The intensities depend on the control (the quote), so the sup in the HJB generator must produce a term that keeps the system finite-dimensional and explicit. The abstract states this works for general price-impact and inventory-penalty functions, yet says nothing restrictive about the intensities. If the intensities are truly arbitrary, the maximization will generally leave a non-explicit optimization or infinite-dimensional remainder. The paper must be using intensities of a form (exponential, linear, etc.) that closes the system; that restriction needs to be stated up front rather than implied by the word “general.”\n\nThe work is aimed at quants building execution algorithms who want analytic expressions rather than Monte Carlo or PDE solvers. A serious referee should check the exact intensity assumptions and walk through the verification theorem, because the explicitness claim is load-bearing. I would send it to review.","headline":"The paper claims explicit closed-form solutions for four signal-dependent limit-order execution problems via HJB reduction to a triangular ODE system, but the claim's generality hinges on unstated restrictions on the intensity functions.","tokens_in":2307,"tokens_out":401,"would_cite":false,"duration_ms":35479,"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":"Four optimal execution problems with sequential limit-order quoting reduce to explicitly solvable triangular finite-dimensional HJB systems.","keywords":["optimal execution","limit order book","Hamilton-Jacobi-Bellman equation","signal-dependent drift","point process intensity","inventory penalty","CARA utility","explicit solutions"],"falsifier":"A specific choice of intensity functions for which the resulting Hamilton-Jacobi-Bellman equation fails to decouple into triangular form and whose numerical solution differs from the claimed explicit formula.","tokens_in":2591,"feed_emoji":"📈","tokens_out":659,"duration_ms":25554,"temperature":0.7,"pith_summary":"The paper establishes explicit solutions for optimal quoting strategies in a limit order book by modeling fills as quote-dependent point processes and incorporating signal-dependent drift, price impact, and inventory risk. It formulates four criteria—expected terminal wealth, expected wealth with running penalty, CARA utility of terminal wealth, and CARA utility with running penalty—and derives the associated Hamilton-Jacobi-Bellman equations. For general forms of price impact and inventory penalty, these equations reduce to a triangular finite-dimensional structure that admits closed-form solutions for the value functions and optimal quotes in all cases. The resulting formulas also connect the strategies across criteria and enable asymptotic analysis for long horizons.","feed_headline":"Optimal execution with limit orders yields explicit quotes via triangular HJB reduction","feed_subtitle":"Four criteria reduce to closed-form value functions and signal-adaptive strategies for sequential quoting.","key_machinery":"The triangular finite-dimensional structure of the Hamilton-Jacobi-Bellman equations that arises after substitution of the optimal controls and permits explicit recursive solution for value functions and quotes.","core_discovery":"For general price-impact and inventory-penalty functions, the Hamilton-Jacobi-Bellman equations corresponding to the four execution criteria all reduce to a triangular finite-dimensional structure which can be solved explicitly, leading to fully explicit value functions and optimal quotes across all cases, together with proofs of well-posedness, admissibility, and verification.","pith_inferences":["The explicit structure may allow direct comparison of quoting rules when additional market signals are introduced beyond the current drift term.","Verification results established for general impact and penalty functions could extend to related stochastic-control problems that share the same point-process execution mechanism.","Long-horizon asymptotics derived from the closed forms might yield practical rules of thumb for traders managing large inventories over extended periods."],"forward_implications":["Explicit formulas connect the quoting strategies that arise under the four different execution criteria.","The closed-form solutions support long-horizon asymptotic analysis of optimal execution.","Signal-dependent drift enters the explicit quotes and can substantially alter the optimal strategy.","The same triangular reduction applies uniformly to expected-wealth and CARA-utility objectives, with or without running inventory penalties."],"fun_headline_variants":["Triangular HJB yields explicit signal-adaptive execution quotes","Explicit optimal quotes derived from reduced HJB structure for LOB","Four execution criteria solved explicitly via triangular HJB equations","Signal-adaptive limit order quotes from explicit HJB triangular reduction","Unified explicit theory for sequential limit order execution via HJB"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The intensity functions of the point processes and the general forms of price impact and inventory penalty permit the Hamilton-Jacobi-Bellman equations to reduce to an explicitly solvable triangular finite-dimensional system.","fun_headline_variants_meta":{"raw":{"variants":["Triangular HJB yields explicit signal-adaptive execution quotes","Explicit optimal quotes derived from reduced HJB structure for LOB","Four execution criteria solved explicitly via triangular HJB equations","Signal-adaptive limit order quotes from explicit HJB triangular reduction","Unified explicit theory for sequential limit order execution via HJB"]},"model":"grok-4.3","cost_usd":0.003405,"raw_usage":{"total_tokens":1776,"prompt_tokens":613,"num_sources_used":0,"completion_tokens":80,"cost_in_usd_ticks":34049500,"prompt_tokens_details":{"text_tokens":613,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1083,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":613,"tokens_out":80,"duration_ms":12431,"temperature":1.0,"reasoning_tokens":1083,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T14:20:13.645566+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A specific choice of intensity functions for which the resulting Hamilton-Jacobi-Bellman equation fails to decouple into triangular form and whose numerical solution differs from the claimed explicit formula.","supporting_citations":[],"review_version":1}