{"id":"611cc540-ee92-4a7e-8f29-7c8cc2d5cb8a","arxiv_id":"2606.29622","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Time-augmented Brownian signatures admit entire signature expansions of conditional Fourier-Laplace transforms and local Riccati expansions of their logs, with global recovery via recentered randomized Riccati equations.","lead":"The paper proves that the time-augmented Brownian signature has a generalized affine structure: its conditional Fourier-Laplace transform expands entirely in the signature, while the log expands only locally via a Riccati equation on the tensor algebra. Global representations are recovered by recentering with randomized path-dependent terminal conditions, enabling transform methods for non-Markovian path-dependent models.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates class B and non-vanishing as the modelling hypotheses that make the whole theory work; they are stated explicitly, shown to be stable under the operations used later, and consistent with known martingale conditions for signature volatility. The proofs of the three main theorems are self-contained algebraic-probabilistic arguments that do not rely on Gaussian density regularization (the obstacle that blocked earlier literature). The only residual limitations—locality of the plain Riccati series and lack of shipped code—are already acknowledged by the authors and do not affect the correctness of the stated theorems. Consequently the ACCEPT verdict with high confidence stands.","tokens_in":46256,"tokens_out":527,"duration_ms":5302,"concrete_test":"Independently re-derive the integral identity (5.7) that feeds Theorem 5.2 from Itô’s formula applied to exp(⟨p,X⊗|W⁻¹⟩) and the law-equivalence (5.5), without invoking the probabilistic representation of u beforehand; if the identity fails for a concrete p∈B of degree >2 (e.g. p=-24·1111), the existence route for the linear equation would be compromised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims (entire expansion of the conditional Fourier–Laplace transform for p∈B, local log-expansion via the shuffle logarithm, existence/uniqueness of the linear and Riccati equations on the extended tensor algebra, and global recovery by recentering) rest on the explicit structural hypotheses of Definition 4.2 and non-vanishing of u∅. These are used cleanly: Lyndon-word bounds (Lemma 4.1) give the integrability needed for Fubini in Theorem 4.6; the algebraic Cole–Hopf transform produces the Riccati equation in Theorem 5.7; uniqueness is obtained inside the Itô-admissible class with sub-Gaussian growth (Theorem 5.5 / Corollary 5.6 / Proposition 5.10); and recentering (Theorem 5.11) is justified by the left-shift stability of B (Lemma 4.4). The locality of the plain log-expansion is proved rather than assumed (Theorem 4.8). No hidden circularity or unjustified interchange appears.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper develops an infinite-dimensional affine transform theory for the time-augmented Brownian signature. For coefficients p in an admissible class B, the conditional Fourier–Laplace transform admits an entire signature expansion whose coefficients solve a linear ODE on the extended tensor algebra (Theorems 4.6, 5.2). Its logarithm admits a local signature expansion whose coefficients solve a Riccati equation (Theorems 4.7, 5.7); the locality is shown to be structural via zeros of the transform (Theorem 4.8). Global representations are recovered by recentering, yielding randomized Riccati equations with path-dependent terminal conditions (Theorem 5.11). Uniqueness is established within Itô-admissible classes under sub-Gaussian growth (Theorem 5.5, Corollary 5.6, Proposition 5.10). Applications include joint transforms for signature volatility models (Section 6).","tokens_in":46529,"tokens_out":835,"duration_ms":16725,"significance":"If correct, the results supply the first rigorous existence, uniqueness, and convergence theory for signature Fourier–Laplace and log-Fourier–Laplace expansions in a genuinely path-dependent (non-Markovian) setting, where Gaussian-density regularization is unavailable. The algebraic strategy—Lyndon-word bounds (Lemma 4.1), factorization via shuffle exponentials, and Cole–Hopf at the tensor-algebra level—extends prior Markovian or formal results and cleanly explains both the entire expansion of the transform and the intrinsic locality of its logarithm. The recentering construction and the stability of B under left shifts are new and practically useful. The framework justifies transform methods previously used under unverified assumptions in signature volatility models and opens a route to non-Markovian control. Proofs are self-contained; the counterexample establishing non-entireness of the log-transform is a genuine contribution rather than a caveat.","major_comments":[],"minor_comments":[{"comment":"Definition 4.2 and Remark 4.1: a short explicit checklist of how the three classical examples (polynomial, integrated, generic) embed into B would help readers verify membership without re-deriving the leading-term conditions each time.","section":null},{"comment":"Section 5.3 / Definition 5.4: the Itô-admissibility condition is clear, but a one-sentence pointer that the probabilistic solution of Theorem 5.2 satisfies it via (5.4) and Lemma 4.1 would make Corollary 5.6 easier to check on a first reading.","section":null},{"comment":"Figure 1 caption and surrounding text: specify the truncation order M_max = 140 and the numerical scheme (reference to Abi Jaber–Li–Lin) more prominently so that the radius comparison with the first zero is reproducible without hunting the text.","section":null},{"comment":"Notation: the dual use of | for word length, right-shift, and absolute value is standard but dense; a brief notational table early in Section 3 would reduce cognitive load.","section":null},{"comment":"References to the companion control paper (Abi Jaber–Attal–Sotnikov 2026a) and the martingale paper (2026b) are appropriate; ensuring arXiv identifiers or DOIs are final before publication would aid readers.","section":null},{"comment":"Appendix B: the saddle-point contour argument is correct; a short remark that the same method applies to other even degrees with negative real leading coefficient would clarify the scope of Theorem 4.8 beyond the quartic case.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is technically strong and fills a documented gap. Self-citations are used as motivation and for applications rather than as load-bearing steps; the core proofs stand alone. Fit for a probability / stochastic analysis journal is excellent. No integrity or novelty concerns."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper finally supplies the missing existence, uniqueness and convergence theory for the infinite-dimensional linear and Riccati equations that people have been writing down formally for signature transforms. Earlier work either stayed Markovian (polynomials of W_T) or simply assumed the series and the ODEs existed. Here they construct the admissible class B via Lyndon-word bounds, prove the entire expansion of the conditional Fourier–Laplace transform by an algebraic factorization-plus-Fubini argument, get the local log-expansion via the shuffle logarithm, derive the linear equation from Itô, pass to the Riccati by algebraic Cole–Hopf, and prove uniqueness inside an Itô-admissible sub-Gaussian class. The recentering construction that replaces the terminal condition by a path-dependent left shift is clean and restores a global representation (only the empty-word component) at the price of solving a new Riccati at each t.\n\nWhat they do well is keep the hypotheses explicit and use them tightly: B is stable under left shifts, matches known martingale conditions for signature volatility, and the non-vanishing assumption is stated up front. The counter-example showing that the plain log-expansion cannot be global (zeros of the quartic transform on the imaginary axis) is honest rather than papered over. The application to the joint transform of the signature martingale and its bracket, and thence to the signature-vol model, is the natural payoff and closes a gap left open in their earlier formal work.\n\nSoft spots are real but proportionate. Everything lives inside B and non-vanishing; outside that the estimates fail. The plain Riccati expansion is only local, so the practical route is the randomized family. There is no shipped code, but this is pure theory. Citation pattern is normal self-citation for motivation; the proofs stand alone.\n\nThis is for people working on signature models, non-Markovian affine transforms, or Fourier pricing in path-dependent volatility. It deserves a serious referee at a probability journal. I would engage with it and expect to cite the existence/uniqueness and recentering results.","headline":"Solid existence/uniqueness theory for signature Fourier–Laplace transforms and Riccati equations; the recentering fix for locality is the real practical contribution.","tokens_in":47072,"tokens_out":520,"would_cite":true,"duration_ms":6820,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60L10","60J65","34G20"],"pacs":[],"model":"grok-4.5","headline":"The Brownian signature is affine in a path-dependent sense: its Fourier–Laplace transform expands as a signature series solving a linear equation, and the log expands locally via a tensor-algebra Riccati equation.","keywords":["path signatures","Fourier–Laplace transforms","Riccati equation","tensor algebra","affine structure","Brownian motion","non-Markovian"],"falsifier":"Exhibit a coefficient p in B for which either the linear series fails to equal the conditional expectation for some group-like element, or the associated Riccati solution produces a logarithm that disagrees with the true log-transform on a set of positive probability inside the claimed radius of convergence.","tokens_in":47150,"feed_emoji":"∫","tokens_out":678,"duration_ms":6903,"temperature":0.7,"pith_summary":"The paper shows that the time-augmented Brownian signature carries a generalized affine structure even though the setting is fully path-dependent. For a carefully chosen class of linear functionals of the signature, the conditional Fourier–Laplace transform equals an entire series in the signature whose coefficients solve an infinite-dimensional linear ODE on the extended tensor algebra. Taking the logarithm yields a local signature expansion whose coefficients solve a Riccati equation driven by the shuffle product. Unlike classical finite-dimensional affine processes, this representation cannot be global: zeros of the transform in the complex plane make the logarithm non-entire. Global formulas are recovered by recentering the expansion at the current signature, which produces a family of randomized Riccati equations with path-dependent terminal conditions. Uniqueness holds inside a growth-and-regularity class that matches the Gaussian tails of Brownian motion. The resulting transform theory supplies a practical route to conditional distributions in non-Markovian models, notably signature-volatility pricing.","feed_headline":"Brownian signature is affine via tensor Riccati","feed_subtitle":"Local log-transforms solve an infinite-dimensional Riccati; recentering restores global formulas","key_machinery":"The signature Riccati equation on the extended tensor algebra (driven by the right-shift generator L and the shuffle square), obtained from the linear equation by an algebraic Cole–Hopf transform (shuffle logarithm), together with the recentering map that replaces the terminal condition p by the left-shifted coefficient X|p.","core_discovery":"For admissible coefficients p belonging to the class B, the conditional Fourier–Laplace transform of the time-augmented Brownian signature admits an entire signature expansion whose deterministic coefficients solve the linear equation on the extended tensor algebra, while its logarithm admits a local signature expansion whose coefficients solve the associated Riccati equation; global representations are recovered by recentered Riccati equations whose terminal conditions depend on the current path.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Brownian signature affine structure via tensor Riccati","Local affine form of Brownian signature from Riccati on tensors","Time-augmented signature yields entire Fourier-Laplace expansion","Riccati equation on extended tensor algebra for signature logs","Recentering restores global affine transforms for Brownian signature"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"The linear functional must belong to the admissible class B (even-degree leading terms with strictly positive real parts that dominate all other signature coordinates) and the Fourier–Laplace transform must stay non-zero on the whole time interval.","fun_headline_variants_meta":{"raw":{"variants":["Brownian signature affine structure via tensor Riccati","Local affine form of Brownian signature from Riccati on tensors","Time-augmented signature yields entire Fourier-Laplace expansion","Riccati equation on extended tensor algebra for signature logs","Recentering restores global affine transforms for Brownian signature"]},"model":"grok-4.5","effort":"low","cost_usd":0.005402,"raw_usage":{"total_tokens":1455,"prompt_tokens":736,"num_sources_used":0,"completion_tokens":81,"cost_in_usd_ticks":54020000,"prompt_tokens_details":{"text_tokens":736,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":638,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":736,"tokens_out":81,"duration_ms":5511,"temperature":1.0,"reasoning_tokens":638,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T10:50:47.251496+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a coefficient p in B for which either the linear series fails to equal the conditional expectation for some group-like element, or the associated Riccati solution produces a logarithm that disagrees with the true log-transform on a set of positive probability inside the claimed radius of convergence.","supporting_citations":[],"review_version":2}