{"id":"8eeb2963-0811-4b7a-8c75-e0420dbb9af6","arxiv_id":"1908.09199","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the minimal random walk, the paper proves the strong law of large numbers, central limit theorem, law of the iterated logarithm, and a non-normal scaling limit in the superdiffusive regime.","lead":"This paper proves limit theorems for a random walk with infinite memory that can spread slower, normally, or faster than ordinary diffusion. Its main new result describes the non-normal limit that appears in the fast-spreading regime, a concrete example where the central limit theorem fails.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4's non-normality assertion is not verified: the proof states that the moments do not match a normal law without showing it, and the third moment can vanish for admissible parameters, so the omitted fourth-cumulant check is the load-bearing gap.","rationale":"The reader's verdict of conditional acceptance is appropriate. The alpha=-1 boundary concern they name applies to Theorem 1 and is real, but Theorem 4 has p>1/2, so it is not the weak spot for the central claim. The central claim is the non-Gaussian limit, and the written proof leaves the moment comparison unperformed. Since the third moment vanishes on a curve for p=0.9, the proof cannot rely on an unstated 'obvious' mismatch; the fourth cumulant must be checked. This is a proof gap, not a counterexample: convergence and moment formulas appear correct, and numerical evaluation suggests the fourth cumulant is nonzero where the third vanishes. Therefore the theorem is likely true but the manuscript should add the missing verification before final acceptance. Recommended verdict: maintain conditional acceptance (UNCHANGED). Agreement with reader: partial, because the reader's formal weakest assumption differs, although their rationale already flags the non-Gaussian proof issue.","tokens_in":8713,"tokens_out":17219,"duration_ms":161671,"concrete_test":"Use the displayed formulas in Theorem 4 to compute the fourth cumulant K4(p,s)=E(M^4)-3(E(M^2))^2 explicitly and test whether K4>0 for all p in (1/2,1), s in (0,1). At p=0.9, s≈0.616 (where E(M^3)=0), direct evaluation gives K4≈0.38>0, so the test should focus on proving the sign globally or finding a zero; a zero would force use of a higher cumulant or another argument, while global positivity would complete the missing verification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Part (i) of Theorem 4 — convergence of X_n/a_n - s to a limit M with the displayed moments — is well supported: for q=0, E[X_n]=s a_n, the martingale M_n=(X_n-E[X_n])/a_n has sup_n E|M_n|^m<∞ for p>1/2 by (8), Lemma 1 and Burkholder's inequality, so a.s. and L^m convergence plus the moment formulas follow. The weak spot is part (ii): the theorem's novelty is that the limit is non-normal, but the proof only says 'verify that they do not correspond to the third and fourth moment of a normally distributed random variable' and does not perform this verification. This is not a cosmetic issue. A centered normal has E(M^3)=0 and E(M^4)=3(E(M^2))^2. For p=0.9 the third-moment formula E(M^3)=2s(3B-3As+s^2), with A=Γ(1+p)^2/Γ(1+2p) and B=Γ(1+p)^3/Γ(1+3p), has a root s≈0.616 in (0,1), so the third moment alone cannot establish non-normality. The fourth cumulant E(M^4)-3(E(M^2))^2 appears to be positive at that point, but the paper does not show such positivity, nor does it rule out a parameter region where both conditions accidentally hold. Thus the central non-Gaussian claim is asserted rather than proved.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the minimal random walk of Kumar, Harbola and Lindenberg, a one-dimensional non-Markovian process with unbounded memory, and proves limit theorems for it. Theorem 1 gives a strong law of large numbers for the whole parameter set alpha in [-1,1). Theorems 2 and 3 give a central limit theorem and a law of the iterated logarithm in the diffusive and marginally superdiffusive regimes. The main result, Theorem 4, treats the case q=0 and 1/2<p<1: the rescaled walk X_n/a_n - s is claimed to converge almost surely and in L^m to a non-normal random variable M whose first four moments are computed explicitly as functions of s and p. The proofs are based on a martingale difference decomposition, Burkholder's inequality, and Gamma-function asymptotics.","tokens_in":8998,"tokens_out":10568,"duration_ms":90503,"significance":"If the non-normality assertion in Theorem 4 is completed, the paper makes a useful contribution: it provides a rigorous non-Gaussian scaling limit with explicit moments for a simple unbounded-memory random walk in its superdiffusive regime, complementing recent mathematical work on elephant random walks. The martingale framework is appropriate, the moment recursions are carried out exactly, and the asymptotic formulas are parameter-free in the sense that p, q, and s are model inputs rather than fitted constants. Theorems 1-3 are standard in structure but fill a gap in the rigorous literature for this specific model. The main weakness is that the central claim that M is non-normal is asserted rather than proved.","major_comments":[{"comment":"The assertion that the limit M is non-normal is not established. After deriving the formulas for E(M^3) and E(M^4), the proof says to 'verify that they do not correspond to the third and fourth moment of a normally distributed random variable' but no verification is performed. A centered normal would satisfy E(M^3)=0 and E(M^4)=3(E(M^2))^2, and the third moment alone is inconclusive: for p=0.9, the equation E(M^3)=0 has a root s approximately 0.616 in (0,1). The fourth cumulant E(M^4)-3(E(M^2))^2 must be shown to be nonzero on the admissible parameter set, or at least at every point where the third moment vanishes. Since the non-Gaussian character of the limit is the advertised novelty of Theorem 4, this gap is load-bearing and needs to be closed.","section":"Section 4.6.2, proof of Theorem 4"},{"comment":"The proof of Theorem 1 relies on the normalizer a_n = product_{j=1}^{n-1}(1+alpha/j) and the bound |D_j| <= 2/a_j, but a_n is defined only for alpha > -1 and is zero or undefined at alpha = -1. Nevertheless Theorem 1 states the strong law for alpha in [-1,1), so the boundary case alpha = -1 is not covered by the proof. The same issue affects Theorems 2 and 3, whose hypotheses alpha <= 1/2 include alpha = -1 (for example p=0, q=1). The authors should either supply a separate argument for alpha = -1 or restrict the statements to alpha > -1.","section":"Sections 4.1 and 4.3, Theorem 1"},{"comment":"The proof of the almost sure and L^m convergence uses the martingale L^m convergence theorem after showing sup_n E|M_n|^m < infinity for m>1. The case m=1 is not explicitly justified; it follows from the L^2 result by Holder's inequality, but the paper should state this since the theorem claims convergence in L^m for every m >= 1. This is a minor technical omission relative to the two issues above, but it should be fixed for completeness.","section":"Section 4.6, Theorem 4"}],"minor_comments":[{"comment":"The displayed convergence 'Xn/npGamma(1+p)^{-1}-s' is ambiguous; it should be written as X_n Gamma(1+p)/n^p - s, or equivalently X_n/(n^p/Gamma(1+p)) - s, to make the normalizing constant clear.","section":"Theorem 4 statement"},{"comment":"The expression E[eta_j^2 - 2p_j eta_j + p_j^2 | F_{j-1}] is slightly misleading because eta_j is not F_{j-1}-measurable; the equality is only valid after absorbing the difference into the o(1/a_j^2) term using Theorem 1. A short clarifying sentence would improve readability.","section":"Equation (11)"},{"comment":"The statement of Lemma 2 says 'b \not= a+1' but does not specify whether a and b can be such that the Gamma functions are undefined; in the applications here all arguments are nonnegative and the condition is satisfied, so this is only a presentation issue.","section":"Lemma 2"},{"comment":"References [5] and [6] contain the typo 'BC.F. Coletti' instead of 'C.F. Coletti'; this should be corrected.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The non-normality gap in Theorem 4 is likely routine to close in a revision: test calculations indicate the fourth cumulant is nonzero at the root of the third-moment equation, and a monotonicity or sign argument should suffice. The alpha = -1 boundary issue affects Theorems 1-3 but not the paper's main superdiffusive result, so I view the manuscript as fixable rather than rejectable. The referee's report should make clear that the advertised non-Gaussian conclusion currently rests on an unperformed verification."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe short version: this is a solid, useful paper that supplies the first rigorous limit theorems for the minimal random walk of Kumar–Harbola–Lindenberg. The main result, Theorem 4, gives a non-normal scaling limit in the superdiffusive regime; the proof of convergence is correct, and the non-normality claim is true but not proven as written. The SLLN has a boundary-case gap at alpha = -1. Both are easy fixes.\n\nWhat is genuinely new: [12] only computed moments. Here you get SLLN for all parameters, CLT and LIL in the diffusive and marginal cases, and the non-normal limit. The martingale machinery from the elephant random walk literature transfers cleanly; the moment computations are detailed and check out. The proof of almost-sure and L^m convergence of the martingale is standard and correct.\n\nThe gaps. Theorem 1 is stated for alpha in [-1,1), but the normalizer a_n is defined only for alpha > -1. At alpha = -1 the product is zero and the martingale differences aren't bounded by 2/a_j. So the stated proof doesn't cover that case. It's likely the SLLN holds there (the walk is then a deterministic-ish alternating process), but a separate argument is needed. The more interesting gap is in Theorem 4: after computing the first four moments of M, the paper says 'verify that they do not correspond to a normal' and stops. That's not a proof. The stress-test note is right that the third moment can vanish for some parameters, so the moment route needs a fourth-cumulant check. But there's a much simpler argument: M = lim (X_n/a_n - s) is almost surely bounded below by -s, while any non-degenerate normal has positive probability below any fixed number. Since E(M^2)>0 for the parameters in question, M cannot be normal. So the theorem stands, but the proof should say this.\n\nMinor: the display of Theorem 4 is misprinted (the factor n^p / Gamma(1+p) is garbled). Also, Remark 2 is fine.\n\nBottom line: the math is honest, the novelty is moderate but real, and the paper will be useful to people studying memory-dependent walks. It deserves a serious referee and, after a light revision, publication. I'd accept the peer-review assignment.","headline":"A genuinely useful limit-theory paper for the minimal random walk, with two fixable gaps: the alpha=-1 SLLN boundary case and an unproved non-normality assertion in Theorem 4.","tokens_in":9558,"tokens_out":4272,"would_cite":true,"duration_ms":41464,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60F05","60F15","60G42"],"pacs":[],"model":"deepseek-v4-flash","headline":"The superdiffusive minimal random walk, rescaled by $n^p/\\Gamma(1+p)$, converges almost surely and in $L^m$ to a non-normal random variable with explicit moments.","keywords":["minimal random walk","non-Markovian random walk","superdiffusion","martingale limit theorems","strong law of large numbers","central limit theorem","law of the iterated logarithm","non-Gaussian scaling limit"],"falsifier":"Evaluate the moment formulas at $p=3/4$, $s=1$: compute $E(M^2)=2\\Gamma(7/4)^2/\\Gamma(5/2)-1$ and $E(M^4)$ from the paper's formula, then compare $E(M^4)/E(M^2)^2$ with $3$; a ratio different from $3$ confirms non-normality, while equality would refute the paper's central claim.","tokens_in":8493,"feed_emoji":"🚶","tokens_out":7019,"duration_ms":61581,"temperature":0.7,"pith_summary":"This paper proves the first limit theorems for the minimal random walk of Kumar, Harbola and Lindenberg, a process on the nonnegative integers that moves right or stays put while remembering its full past. It establishes a strong law of large numbers for the whole parameter range, and central limit theorems and laws of the iterated logarithm in the diffusive and marginally superdiffusive regimes. The main result concerns the superdiffusive case $q=0$ and $1/2<p<1$: after subtracting $s$ and rescaling by $n^p/\\Gamma(1+p)$, the walk converges almost surely and in every $L^m$ to a non-normal random variable $M$ whose first four moments are computed explicitly. If correct, this shows that the superdiffusive phase has a genuine non-Gaussian scaling limit, not merely a Gaussian limit with random variance.","feed_headline":"Superdiffusive minimal walk has non-Gaussian limit","feed_subtitle":"With q=0 and 1/2<p<1, the rescaled walk converges almost surely to a random variable M with explicit moments.","key_machinery":"The proofs run through the martingale $M_n = (X_n - E[X_n])/a_n$, where $a_n = \\prod_{j=1}^{n-1}(1+\\alpha/j)$ and $a_n \\sim n^{\\alpha}/\\Gamma(1+\\alpha)$. The martingale differences satisfy the uniform bound $|D_j|\\le 2/a_j$; Burkholder's inequality, together with convergence of $\\sum_j 1/a_j^2$ (which happens exactly when $\\alpha>1/2$), yields uniform $L^m$ bounds and hence almost sure and $L^m$ convergence. The exact moments of $X_n$ come from the conditional mean formula $E[\\eta_{n+1}|\\mathcal{F}_n] = q + \\alpha X_n/n$, a recurrence, and a gamma-function summation identity; the moments of $M$ follow by expanding $(X_n/a_n - s)^k$.","core_discovery":"The central claim is Theorem 4: when $q=0$ and $1/2<p<1$, $$\\frac{X_n}{n^p/\\Gamma(1+p)} - s \\to M \\quad \\text{a.s. and in } L^m \\text{ for every } m\\ge 1,$$ where $M$ is a non-normal random variable with $E(M)=0$, $E(M^2)= \\frac{2s\\Gamma(1+p)^2}{\\Gamma(1+2p)} - s^2$, and matching explicit third and fourth moments. The paper derives these moments from exact finite-$n$ formulas, and they violate the Gaussian moment relations, so the limit is not normal. The paper also proves that for $\\alpha<1/2$ the centered walk, normalized by $\\sqrt{n}$, converges to a normal law, that for $\\alpha=1/2$ the correct normalizer is $\\sqrt{n\\log n}$ with a normal limit, that matching laws of the iterated logarithm hold, and that $X_n/n \\to q/(1-\\alpha)$ almost surely for the parameter range stated in Theorem 1.","pith_inferences":["Because the limit $M$ is non-normal, single-trajectory observables such as time-averaged squared displacements in the superdiffusive phase should display sample-to-sample fluctuations with the cumulants computed here; this is a testable prediction for numerical simulations.","The explicit first four moments suggest that the law of $M$ might be identified as a polynomial transform of a gamma-distributed random variable; inverting the full moment sequence would settle the exact distribution, which the paper does not do.","The open case $q=0$, $p\\le 1/2$ is not a routine gap: there the normalizer makes $\\sum_j 1/a_j^2$ diverge, so the $L^2$-bounded martingale argument used here cannot apply and new ideas are needed.","Only the structure $E[\\eta_{n+1}|\\mathcal{F}_n]=q+\\alpha X_n/n$ and the bound $|D_j|\\le 2/a_j$ are used, so any bounded-increment process with the same conditional mean should obey the same limit theorems."],"forward_implications":["For the parameter range stated in Theorem 1, the empirical frequency $X_n/n$ converges almost surely to the deterministic constant $q/(1-\\alpha)$, so in the limit the walker's occupation density is known exactly.","In the diffusive regime $\\alpha<1/2$ with $q>0$, $(X_n - qn/(1-\\alpha))/\\sqrt{n}$ converges to a normal distribution with variance $q(1-p)/((1-\\alpha)^2(1-2\\alpha))$.","On the marginally superdiffusive line $\\alpha=1/2$, the correct scaling is $\\sqrt{n\\log n}$, and the limit is normal with variance $4q(1-p)$.","In the strongly superdiffusive regime $q=0$, $1/2<p<1$, the rescaled walk converges to a non-normal $M$ whose mean is zero and whose variance and higher moments are given by closed formulas in terms of gamma functions.","The same martingale argument extends to $q>0$ with $\\alpha>1/2$, giving a non-normal limit in that superdiffusive region as well, as noted in Remark 2 of the paper."],"supporting_citations":[{"why":"Defines the minimal random walk and provides the exact first-moment asymptotics $E[X_n]\\sim n^{\\alpha}/\\Gamma(1+\\alpha)$ used throughout.","marker":"[12]"},{"why":"Supplies the almost-sure martingale convergence theorem (Theorem 3.3.1) used to prove the strong law of large numbers.","marker":"[17]"},{"why":"Supplies the martingale central limit theorem (Corollary 3.1) and Burkholder's inequality (Theorem 2.10) used in the CLT and in Theorem 4.","marker":"[8]"},{"why":"Supplies the martingale law of the iterated logarithm used to prove Theorem 3.","marker":"[16]"}],"fun_headline_variants":["Superdiffusive minimal walk converges to non-Gaussian law","Non-normal limit proven for minimal walk's superdiffusive regime","Minimal walk: exact moments show limit is not Gaussian","When q=0 and p>1/2, minimal walk limit is non-normal"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument needs the normalizer $a_n = \\prod_{j=1}^{n-1}(1+\\alpha/j)$ to be well defined and asymptotic to $n^{\\alpha}/\\Gamma(1+\\alpha)$, together with the martingale-difference bound $|D_j|\\le 2/a_j$; at $\\alpha=-1$, which Theorem 1 includes, this sequence is undefined and the bound collapses.","fun_headline_variants_meta":{"raw":{"variants":["Superdiffusive minimal walk converges to non-Gaussian law","Non-normal limit proven for minimal walk's superdiffusive regime","Minimal walk: exact moments show limit is not Gaussian","When q=0 and p>1/2, minimal walk limit is non-normal"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000297,"raw_usage":{"total_tokens":1693,"prompt_tokens":885,"completion_tokens":808,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":501,"completion_tokens_details":{"reasoning_tokens":734}},"tokens_in":501,"tokens_out":808,"duration_ms":9314,"temperature":1.0,"reasoning_tokens":734,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:20:12.047791+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the moment formulas at $p=3/4$, $s=1$: compute $E(M^2)=2\\Gamma(7/4)^2/\\Gamma(5/2)-1$ and $E(M^4)$ from the paper's formula, then compare $E(M^4)/E(M^2)^2$ with $3$; a ratio different from $3$ confirms non-normality, while equality would refute the paper's central claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the minimal random walk and provides the exact first-moment asymptotics $E[X_n]\\sim n^{\\alpha}/\\Gamma(1+\\alpha)$ used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the almost-sure martingale convergence theorem (Theorem 3.3.1) used to prove the strong law of large numbers."},{"cited_title":"Martingale Limit Theory and Its Application","cited_arxiv_id":null,"evidence_quote":"Supplies the martingale central limit theorem (Corollary 3.1) and Burkholder's inequality (Theorem 2.10) used in the CLT and in Theorem 4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the martingale law of the iterated logarithm used to prove Theorem 3."}],"review_version":1}