{"id":"105faa84-b474-4fd9-a39a-14bb14c0c017","arxiv_id":"1908.05937","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For every p>1 and r>2, the weighted L_p norm of the pathwise r-variation of a martingale is bounded by C_p sqrt(r/(r-2)) times the A_p characteristic of the weight to a power, times the weighted L_p norm of the martingale.","lead":"This math paper proves a weighted version of Lépingle's inequality, a bound on how much a martingale can oscillate, with a constant that depends on a weight's A_p characteristic. The proof uses a new stopping time argument and avoids real interpolation, simplifying earlier approaches.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No load-bearing objection: Lemma 2.2's 'not stopping times' assumption is unnecessary and repairable; maximality of j gives the needed strict inequalities.","rationale":"The stress pass focused on the Reader's flagged assumption in Lemma 2.2. I re-derived the contradiction without that assumption: the largest-index stopping time τ' ≤ t forces τ_{j+1} > t, so no point in (τ', t] can satisfy the hitting condition, giving strict bounds at t' and t by maximality rather than by any non-stopping-time property. Thus the proof of Lemma 2.2 is valid as soon as the misleading clause is removed, and Corollary 2.4 and Theorem 1.1 remain supported. I found no further internal inconsistency: the weighted square function input is quoted from published work, the extrapolation step is standard, and the r-dependence of the constant is derived correctly. The paper still deserves the Reader's CONDITIONAL verdict only because the printed proof contains that erroneous clause; the central mathematical claim is unaffected.","tokens_in":7139,"tokens_out":24086,"duration_ms":221000,"concrete_test":"Rewrite Lemma 2.2 replacing the phrase 'and the assumption that t,t' are not stopping times' with 'by the maximality of j', and derive the strict inequalities d(X_t',X_τ') < 2^{-m}M_t' and d(X_t,X_τ') < 2^{-m}M_t from τ_{j+1} > t. Then re-read the proofs of Lemma 2.3, Corollary 2.4, and Theorem 1.1 verbatim. If the contradiction and the subsequent pathwise and weighted bounds hold for arbitrary t,t' (including deterministic stopping times in discrete time), the concern is settled.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Reader's concern targets Lemma 2.2, whose proof invokes 'the assumption that t,t' are not stopping times', an assumption absent from the lemma statement and false for deterministic times in the discrete-time setting of Theorem 1.1. I checked whether this is load-bearing and found it is not. In the proof, j is chosen as the largest integer with τ' := τ_j^(m) ≤ t; therefore τ_{j+1} > t (or does not exist). For any s ∈ (τ', t], if the hitting condition d(X_s,X_τ') ≥ 2^{-m}M_s held, then τ_{j+1} ≤ s ≤ t, contradicting maximality. Hence d(X_s,X_τ') < 2^{-m}M_s for all such s, in particular for s = t' and s = t, regardless of whether t or t' is a stopping time. The displayed contradiction in Lemma 2.2 follows from this maximality argument alone; the 'not stopping times' clause can be deleted. The pathwise bound Corollary 2.4, the use of the weighted square function estimate Theorem 3.1, and the extrapolation step are otherwise standard and internally consistent. The central claim of Theorem 1.1 is not threatened; the only required repair is a one-line correction in the proof of Lemma 2.2.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a weighted version of Lépingle's inequality for the pathwise r-variation of a martingale. For every 1<p<∞ and r>2, the L^p(w) norm of V_r X is bounded by C_p sqrt(r/(r-2)) Q_p(w)^{max(1,1/(p-1))} times the L^p(w) norm of the terminal variable, where Q_p(w) is the martingale A_p characteristic. The proof constructs a family of stopping times adapted to dyadic oscillation thresholds, proves a pathwise bound for the r-variation in terms of square functions of the sampled martingale, and then applies known weighted square-function estimates together with Rubio de Francia extrapolation. The stated novelty is that the proof avoids real interpolation techniques.","tokens_in":7361,"tokens_out":9268,"duration_ms":89714,"significance":"If the result holds, it provides the first weighted Lépingle inequality for general martingales with the sharp growth rate of the constant as r→2, complementing the lower bound in Remark 1.3. The pathwise stopping-time estimate in Corollary 2.4 is a clean and potentially useful tool beyond the weighted setting, for instance for rough-path BDG inequalities and Banach-space-valued martingales. The proof is concise and mostly self-contained, resting on standard external theorems: weighted square-function estimates for differentially subordinate martingales and a known extrapolation theorem. The result is not circular and does not fit any free parameters. The main caveat is the small gap in the proof of Lemma 2.2 discussed below, which is readily repairable and does not affect the central derivation.","major_comments":[],"minor_comments":[{"comment":"In the proof of Lemma 2.2, the sentence 'By the hypothesis (2.2) and the assumption that t,t' are not stopping times' introduces an assumption that is absent from the lemma statement and is false in the discrete-time setting, where every fixed time is a stopping time. The assumption is unnecessary: since j is the largest index with τ_j ≤ t, for every s ∈ (τ', t] the hitting condition d(X_s, X_{τ'}) ≥ 2^{-m} M_s cannot hold, because then τ_{j+1} ≤ s ≤ t would contradict maximality. Applying this to s = t' and s = t yields the displayed chain without any non-stopping-time assumption. Please delete the erroneous phrase and insert the maximality argument.","section":"Section 2, Lemma 2.2"},{"comment":"The sentence 'By the monotone convergence theorem, we may assume that X_n becomes independent of n for sufficiently large n' is misleading: 'independent' suggests probabilistic independence, while the intended meaning is that the sequence is eventually constant in n (or has finite variation up to the horizon). Please rephrase, for example as 'eventually constant in n'.","section":"Section 2, Corollary 2.4"},{"comment":"The notation V_r^t(X_t(ω)) is used without explicit definition in Section 2, although the earlier definition (1.1) writes V_r X(ω). Please define V_r^t(X_t) as the r-variation over the appropriate time interval and state any finite-horizon assumptions used in Lemma 2.3 and Corollary 2.4.","section":"Section 2, Lemma 2.3 and Corollary 2.4"},{"comment":"Theorem 3.1 is a central black box, stated with 'cf. [DP16]' and references to several papers. Please make the precise statement and source of the weighted square-function estimate unambiguous, including the exact dependence of the constant on Q_p(w), so that the reader can verify the application to the sampled martingales without consulting multiple preprints.","section":"Section 3, Theorem 3.1"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a clean, small paper that deserves a proper referee. The main theorem—weighted p-th moment estimate on r-variation of general martingales with constant C_p sqrt(r/(r-2)) Q_p(w)^{max(1,1/(p-1))}—is new and useful. The novelty is real: prior weighted results were dyadic or used real interpolation; the stopping-time argument here avoids that and works directly for arbitrary filtered spaces. Corollary 2.4 is a nice pathwise inequality, and the extension to Banach-space valued martingales in Remark 3.5 shows the technique has legs.\n\nI read it because the Pith Report flagged Lemma 2.2. The proof says 'by ... the assumption that t,t' are not stopping times,' and that assumption is not in the statement and is false for deterministic times in discrete time. So you might think there is a gap. There isn't. Let τ_j be the largest stopping time ≤ t. Then for every s ∈ [τ_j, t], the hitting condition d(X_s, X_{τ_j}) ≥ 2^{-m} M_s is false, otherwise τ_{j+1} ≤ s ≤ t, contradicting maximality. So the strict inequalities in the displayed contradiction follow without any non-stopping-time assumption. The clause can simply be deleted. I verified the rest of Lemma 2.2 similarly: the M_{τ'} < M_t/2 case also works by a triangle inequality argument. So the main theorem is not threatened.\n\nWhat is the paper's real value? It makes the dependence on r and on the A_p characteristic explicit, it simplifies Lépingle's classical proof even in the unweighted case, and it points to applications in rough paths and BDG-type estimates. The citation pattern is honest: the core external inputs—weighted square-function estimates from Thiele–Treil–Volberg/Domelevo–Petermichl and extrapolation from Domelevo–Petermichl–Wittwer—are clearly labeled, and the self-citations are confined to remarks. No fitting of parameters, no invented entities.\n\nWeaknesses are minor. The Lemma 2.2 wording really should be fixed before publication; a referee will trip on it. The proof of Theorem 1.1 delegates p ≠ 2 to extrapolation, which is fine but means the paper is not fully self-contained on that point. The p=1 remark in Remark 1.5 is telegraphic, but it points to a specific external theorem.\n\nMy recommendation: send it out. A good referee will find the paper correct and can request the one-line clarification in Lemma 2.2. I would accept it after minor revision.","headline":"The paper's weighted Lépingle inequality is new and the proof is sound—the one flagged gap in Lemma 2.2 is a harmless wording issue, not a real gap.","tokens_in":7920,"tokens_out":5407,"would_cite":true,"duration_ms":43583,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60G17","60G42"],"pacs":[],"model":"deepseek-v4-flash","headline":"A stopping-time ladder proves weighted martingale variation bounds","keywords":["weighted variation inequality","p-variation","martingale","A_p characteristic","stopping times","weighted square function","Banach space cotype"],"falsifier":"Compute the stopping-time ladder for a simple discrete-time path, for instance two unit jumps separated by a small flat stretch, and check whether the key lemma's conclusion holds when the comparison times $t'<t$ are fixed integers that satisfy the ratio condition $2<d(X_{t'},X_t)/(2^{-m}M_t)\\le4$. A single path where no ladder jump lies between $t'$ and $t$ while the inequality fails would show the lemma, as stated, is false and that the proof of the main theorem needs an additional argument.","tokens_in":6903,"feed_emoji":"📈","tokens_out":11914,"duration_ms":108120,"temperature":0.7,"pith_summary":"The paper establishes a weighted version of the classical pathwise $r$-variation estimate for martingales: for every $1<p<\\infty$ and every $r>2$, the weighted $L^p(\\Omega,w)$ norm of the $r$-variation $V_rX$ of a martingale is bounded by a constant times $\\sqrt{r/(r-2)}\\,Q_p(w)^{\\max(1,1/(p-1))}\\lVert X\\rVert_{L^p(\\Omega,w)}$, where $Q_p(w)$ is the martingale $A_p$ characteristic of the weight. The interest is in the method: the proof uses a stopping-time ladder that decomposes the path's jumps by scale and avoids real interpolation, which had been the standard tool for such estimates. Because the dependence on the weight characteristic is explicit and sharp near $r=2$, the result feeds directly into extrapolation arguments that convert scalar weighted estimates into vector-valued estimates. A pathwise corollary bounds $V_r^\\rho$ by a dyadic sum of $\\rho$-powers of sampled jumps for any $0<\\rho<r$, which is the mechanism that would extend the estimate beyond real-valued martingales.","feed_headline":"A stopping-time ladder proves weighted martingale variation bounds","feed_subtitle":"Weight dependence enters only through the martingale A_p characteristic; r-dependence is near-optimal.","key_machinery":"The central object is a dyadic stopping-time ladder. For an adapted process $X$ with values in a metric space, define the past oscillation $M_t=\\sup_{t''\\le t'\\le t} d(X_{t'},X_{t''})$ and, for each $m\\ge2$, let $\\tau^{(m)}_0=0$ and $\\tau^{(m)}_{j+1}$ be the first time after $\\tau^{(m)}_j$ at which the process has moved at least $2^{-m}M_t$ from its value at $\\tau^{(m)}_j$. The key lemma shows that any variation increment whose size lies between $2\\cdot 2^{-m}M_t$ and $4\\cdot 2^{-m}M_t$ is dominated by one jump of this ladder, up to a factor $8$; summing over dyadic scales gives the pathwise bound that turns $r$-variation into a weighted sum of $\\rho$-th powers of sampled jumps. Applied with $\\rho=2$ to real-valued martingales, this writes $V_rX$ as an $\\ell^2$ sum of square functions, and the weighted square-function estimate for each sampled martingale supplies the $A_p$ characteristic in the final constant.","core_discovery":"On its own terms, the paper claims that the classical pathwise $r$-variation moment estimate for martingales survives insertion of a weight with a constant that depends only on $p$, $r$, and the martingale $A_p$ characteristic $Q_p(w)$. Concretely, for every $1<p<\\infty$ there is a constant $C_p$ such that for all $r>2$, all filtered probability spaces, all weights, and all integrable functions $X$, the associated martingale satisfies\n$$\\lVert V_rX\\rVert_{L^p(\\$\\Omega$,w)}\\le C_p\\sqrt{\\frac{r}{r-2}}\\,Q_p(w)^{\\max(1,1/(p-1))}\\lVert X\\rVert_{L^p(\\$\\Omega$,w)}.$$\nThe proof reduces this to a pathwise statement: for $0<\\rho<r$, the $\\rho$-th power of the $r$-variation is dominated by $8^\\rho\\sum_m 2^{-(m-2)(r-\\rho)}\\sum_j \\lvert X_{\\tau^{(m)}_{j-1}}-X_{\\tau^{(m)}_j}\\rvert^\\rho$, where the $\\tau^{(m)}_j$ are stopping times adapted to the path's oscillations. With $\\rho=2$, each inner sum is a square function of a sampled martingale, for which sharp weighted estimates are already available; summing the geometric series in $m$ yields the factor $\\sqrt{r/(r-2)}$. The same corollary recovers vector-valued $p$-variation estimates for martingales with cotype $\\rho$, with dependence $r/(r-\\rho)$.","pith_inferences":["A natural extension, not pursued in the paper, is to use the same ladder to count jumps at each scale and prove strong variational inequalities, since the decomposition controls each scale separately.","The paper's hints at Orlicz-space endpoints can be made precise: the geometric summation in $m$ suggests that any Young function growing near zero like $x^2/(\\log x^{-1})^{1+\\epsilon}$ should satisfy the endpoint estimate, a route that would also sharpen the lower-bound comparison.","The hidden stopping-time assumption could be tested by an approximation argument: perturb the fixed times $t,t'$ slightly so they are not stopping times, prove the key lemma for the perturbed times, and pass to the limit; if the limit fails, a genuinely discrete argument would be needed."],"forward_implications":["Near $r=2$, the constant cannot be improved to any rate below $\\sqrt{\\log r/(r-2)}$, so the theorem's $\\sqrt{1/(r-2)}$ dependence is optimal up to a logarithmic factor.","By martingale extrapolation, the scalar weighted estimate at one exponent $p$ automatically gives vector-valued $L^p$ estimates for all $1<p<\\infty$, a standard corollary of having a bound with explicit weight dependence.","The pathwise corollary with $\\rho=2$ plus the usual square-function estimate yields the unweighted $r$-variation inequality, and monotone convergence extends the weighted theorem to càdlàg martingales.","For martingales taking values in a Banach space with cotype $\\rho$, the same stopping-time argument gives $\\lVert V_rX\\rVert_{L^p}\\le C\\,r/(r-\\rho)\\,\\lVert X\\rVert_{L^p}$."],"supporting_citations":[{"why":"Supplies the original unweighted $r$-variation inequality for martingales, the statement that the weighted theorem extends.","marker":"[Lép76]"},{"why":"Provides the weighted square-function estimate for martingales that, applied to the sampled martingales, produces the factor $Q_p(w)$ in the main theorem.","marker":"[DP16]"},{"why":"Gives the martingale extrapolation theorem used to reduce the theorem to the case $p=2$.","marker":"[DPW17]"},{"why":"Provides the Gaussian martingale example showing the constant in $r$ cannot decay faster than $\\sqrt{\\log r/(r-2)}$ as $r\\to2$.","marker":"[Qia98]"}],"fun_headline_variants":["Weighted Lépingle inequality proven without interpolation","Stopping-time ladder yields sharp weighted variation bound","No interpolation: weighted martingale variation moments","Weighted variation via stopping times, near-optimal r-dependence","New proof: weighted Lépingle estimate avoids real interpolation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the two times compared in the key lemma are not stopping times—that is, not random times determined by the information available up to that moment—even though in the discrete-time setting of the main theorem every fixed time is a stopping time.","fun_headline_variants_meta":{"raw":{"variants":["Weighted Lépingle inequality proven without interpolation","Stopping-time ladder yields sharp weighted variation bound","No interpolation: weighted martingale variation moments","Weighted variation via stopping times, near-optimal r-dependence","New proof: weighted Lépingle estimate avoids real interpolation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000467,"raw_usage":{"total_tokens":2305,"prompt_tokens":901,"completion_tokens":1404,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":517,"completion_tokens_details":{"reasoning_tokens":1328}},"tokens_in":517,"tokens_out":1404,"duration_ms":13245,"temperature":1.0,"reasoning_tokens":1328,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:00:48.373271+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the stopping-time ladder for a simple discrete-time path, for instance two unit jumps separated by a small flat stretch, and check whether the key lemma's conclusion holds when the comparison times $t'<t$ are fixed integers that satisfy the ratio condition $2<d(X_{t'},X_t)/(2^{-m}M_t)\\le4$. A single path where no ladder jump lies between $t'$ and $t$ while the inequality fails would show the lemma, as stated, is false and that the proof of the main theorem needs an additional argument.","supporting_citations":[],"review_version":1}