pith. sign in

arxiv: 2606.19131 · v1 · pith:6C6Y5QS2new · submitted 2026-06-17 · 🧮 math.PR

Law of the Iterated Logarithm for p-Walks on mathbb{Z}

Robin Kaiser This is my paper

Pith reviewed 2026-06-26 19:54 UTC · model grok-4.3

classification 🧮 math.PR
keywords p-rotor walklaw of the iterated logarithmself-interacting random walkmartingale decompositionperturbed Brownian motionStrassen setalmost sure asymptoticsfunctional LIL
0
0 comments X

The pith

The p-rotor walk on the integers satisfies the exact law of the iterated logarithm with the same constants as Brownian motion.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves that the p-rotor walk, which interpolates between simple random walk and deterministic rotor walk on the line, obeys the classical law of the iterated logarithm. It first establishes a functional LIL for the interpolated paths by decomposing the walk into a martingale plus a term driven by its running extrema, then recovers the standard constants by solving a calculus of variations problem on the perturbed Strassen set. A reader would care because the result supplies the missing almost-sure boundary description that complements the known weak convergence to perturbed Brownian motion.

Core claim

The p-rotor walk admits the exact law of the iterated logarithm. Utilizing the decomposition of the walk into a martingale perturbed by its running extrema, a functional law of the iterated logarithm is obtained for the linearly interpolated paths; the classical constants then follow by solving a calculus of variations problem over the perturbed Strassen set.

What carries the argument

Decomposition of the walk into a martingale perturbed by its running extrema, which transfers the functional LIL from the martingale to the full process.

If this is right

  • The lim sup of S_n / sqrt(2 n log log n) equals 1 almost surely.
  • The lim inf of S_n / sqrt(2 n log log n) equals -1 almost surely.
  • The functional LIL holds for linearly interpolated paths with respect to the perturbed Strassen set.
  • The self-interaction term does not change the iterated-logarithm boundaries from those of Brownian motion.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same decomposition-plus-variational approach may apply to other self-interacting walks whose drift depends on local extrema.
  • The fact that the extremal values remain unchanged suggests that certain almost-sure properties of Brownian motion are robust under this class of perturbations.
  • Extensions to continuous-time or higher-dimensional rotor walks could be tested by checking whether an analogous martingale decomposition exists.

Load-bearing premise

The decomposition of the walk into a martingale perturbed by its running extrema is valid and sufficient to transfer the functional LIL from the martingale to the full process.

What would settle it

A single path or simulation sequence in which the normalized position S_n / sqrt(2 n log log n) exceeds 1 (or stays below -1) for infinitely many n with positive probability would falsify the claim.

read the original abstract

The $p$-rotor walk on $\mathbb{Z}$ is a self-interacting walk that interpolates between the simple random walk and the deterministic rotor walk. While the weak convergence of this model to a perturbed Brownian motion is known, its almost sure asymptotic boundaries have not been characterized. In this paper, we establish the exact Law of the Iterated Logarithm (LIL) for the $p$-rotor walk. Utilizing the decomposition of the walk into a martingale perturbed by its running extrema, we obtain first a functional Law of the Iterated Logarithm for the linearly interpolated paths of the $p$-walk. We then obtain the classical LIL constants by solving a calculus of variations problem over the perturbed Strassen set.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper claims to establish the exact Law of the Iterated Logarithm for the p-rotor walk on Z. It decomposes the walk into a martingale perturbed by its running extrema, derives a functional LIL for the linearly interpolated paths of this process, and recovers the classical LIL constants by solving a calculus-of-variations problem over the resulting perturbed Strassen set.

Significance. If the transfer from the functional LIL to the classical constants is gap-free, the result supplies the first almost-sure boundary characterization for this interpolating family of self-interacting walks, extending the known weak convergence to perturbed Brownian motion. The combination of martingale decomposition with a variational problem on a modified Strassen set is a concrete technical contribution that could be reusable for other extremal perturbations.

major comments (2)
  1. [derivation following the martingale decomposition] The abstract states that the decomposition yields a functional LIL for the interpolated paths and that the classical constants follow from a variational problem over the perturbed Strassen set, yet supplies no explicit bound (e.g., in the scaled supremum norm) showing that the running-extrema term is negligible or does not enlarge/shrink the almost-sure limit set; without such control the extracted constants may differ from the unperturbed case.
  2. [solution of the variational problem over the perturbed Strassen set] The calculus-of-variations step is asserted to recover the classical LIL constants, but the manuscript does not exhibit the explicit form of the perturbed rate functional or demonstrate that its infimum and minimizers coincide with those of the standard Strassen theorem; this invariance is load-bearing for the claim of exact (rather than modified) constants.
minor comments (1)
  1. The abstract alternates between 'p-rotor walk' and 'p-walk'; a single consistent term would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the insightful comments, which help clarify the necessary details for the functional LIL and variational arguments. We address each major comment below and will revise the manuscript to include the requested explicit controls and derivations.

read point-by-point responses

  1. Referee: [derivation following the martingale decomposition] The abstract states that the decomposition yields a functional LIL for the interpolated paths and that the classical constants follow from a variational problem over the perturbed Strassen set, yet supplies no explicit bound (e.g., in the scaled supremum norm) showing that the running-extrema term is negligible or does not enlarge/shrink the almost-sure limit set; without such control the extracted constants may differ from the unperturbed case.

    Authors: We acknowledge that an explicit bound demonstrating the negligibility of the running-extrema term in the scaled supremum norm is essential to confirm that the almost-sure limit set is not altered. Although the decomposition in the manuscript implies this control through the properties of the perturbed Brownian motion, it is not presented as a standalone result. In the revision, we will insert a dedicated lemma establishing that the scaled running-extrema perturbation converges to zero in the supremum norm almost surely, thereby ensuring the functional LIL transfers without modification to the limit set. revision: yes

  2. Referee: [solution of the variational problem over the perturbed Strassen set] The calculus-of-variations step is asserted to recover the classical LIL constants, but the manuscript does not exhibit the explicit form of the perturbed rate functional or demonstrate that its infimum and minimizers coincide with those of the standard Strassen theorem; this invariance is load-bearing for the claim of exact (rather than modified) constants.

    Authors: The referee rightly points out the need for an explicit presentation of the perturbed rate functional and a proof of invariance of its infimum and minimizers. The manuscript outlines the approach but does not provide the full calculations. We will expand the relevant section to include the explicit expression for the rate functional on the perturbed Strassen set and rigorously show, via direct computation or properties of the perturbation, that the infimum equals that of the classical Strassen theorem and that the minimizers remain the same, thus confirming the exact LIL constants. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained via martingale decomposition and variational analysis

full rationale

The paper's chain proceeds by invoking a decomposition of the p-rotor walk into a martingale term plus a perturbation driven by running extrema, obtaining a functional LIL for the interpolated martingale paths via standard martingale theory, and recovering the classical LIL constants through an explicit calculus-of-variations problem over the perturbed Strassen set. No step reduces by construction to a fitted parameter, self-citation, or definitional equivalence; the abstract and described argument treat the decomposition and variational adjustment as independent inputs from probability theory. The result is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard martingale theory and the validity of the stated decomposition; no free parameters, invented entities, or ad-hoc axioms are mentioned in the abstract.

axioms (1)
  • domain assumption The p-rotor walk admits a decomposition into a martingale plus a perturbation by running extrema.
    Invoked in the abstract as the starting point for the functional LIL.

pith-pipeline@v0.9.1-grok · 5645 in / 1122 out tokens · 27060 ms · 2026-06-26T19:54:52.825452+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 18 canonical work pages

  1. [1]

    Davis, Burgess , TITLE =. Ann. Probab. , FJOURNAL =. 1996 , NUMBER =. doi:10.1214/aop/1041903215 , URL =

    work page doi:10.1214/aop/1041903215 1996

  2. [2]

    The Planar Lattice Two-Neighbor Graph Percolates , journal =

    Coupier, David and Henry, Beno. The Planar Lattice Two-Neighbor Graph Percolates , journal =. 2025 , note =

    2025

  3. [3]

    Random Structures Algorithms , FJOURNAL =

    Kaiser, Robin and Levine, Lionel and Sava-Huss, Ecaterina , TITLE =. Random Structures Algorithms , FJOURNAL =. 2026 , NUMBER =. doi:10.1002/rsa.70045 , URL =

    work page doi:10.1002/rsa.70045 2026

  4. [4]

    Chan, Swee Hong and Greco, Lila and Levine, Lionel and Li, Peter , TITLE =. J. Stat. Phys. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s10955-021-02791-5 , URL =

    work page doi:10.1007/s10955-021-02791-5 2021

  5. [5]

    , TITLE =

    Angel, Omer and Holroyd, Alexander E. , TITLE =. J. Comb. , FJOURNAL =. 2012 , NUMBER =. doi:10.4310/JOC.2012.v3.n2.a3 , URL =

    work page doi:10.4310/joc.2012.v3.n2.a3 2012

  6. [6]

    Eulerian Walkers as a Model of Self-Organized Criticality , author =. Phys. Rev. Lett. , volume =. 1996 , month =. doi:10.1103/PhysRevLett.77.5079 , url =

    work page doi:10.1103/physrevlett.77.5079 1996

  7. [7]

    2003 , note =

    Propp, James , title =. 2003 , note =

    2003

  8. [8]

    Potential Anal

    Levine, Lionel and Peres, Yuval , TITLE =. Potential Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s11118-008-9104-6 , URL =

    work page doi:10.1007/s11118-008-9104-6 2009

  9. [9]

    Indiana Univ

    Levine, Lionel and Peres, Yuval , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2008 , NUMBER =. doi:10.1512/iumj.2008.57.3022 , URL =

    work page doi:10.1512/iumj.2008.57.3022 2008

  10. [10]

    and Bramson, Maury and Griffeath, David , TITLE =

    Lawler, Gregory F. and Bramson, Maury and Griffeath, David , TITLE =. Ann. Probab. , FJOURNAL =. 1992 , NUMBER =

    1992

  11. [11]

    Florescu, Laura and Levine, Lionel and Peres, Yuval , TITLE =. Amer. Math. Monthly , FJOURNAL =. 2016 , NUMBER =. doi:10.4169/amer.math.monthly.123.7.627 , URL =

    work page doi:10.4169/amer.math.monthly.123.7.627 2016

  12. [12]

    Huss, Wilfried and Sava-Huss, Ecaterina , TITLE =. J. Theoret. Probab. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s10959-019-00904-1 , URL =

    work page doi:10.1007/s10959-019-00904-1 2020

  13. [13]

    Electron

    Huss, Wilfried and M\"uller, Sebastian and Sava-Huss, Ecaterina , TITLE =. Electron. Commun. Probab. , FJOURNAL =. 2015 , PAGES =. doi:10.1214/ECP.v20-4000 , URL =

    work page doi:10.1214/ecp.v20-4000 2015

  14. [14]

    Kaiser, Robin and Sava-Huss, Ecaterina , TITLE =. Statist. Probab. Lett. , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.spl.2024.110090 , URL =

    work page doi:10.1016/j.spl.2024.110090 2024

  15. [15]

    and Spencer, Joel , TITLE =

    Cooper, Joshua N. and Spencer, Joel , TITLE =. Combin. Probab. Comput. , FJOURNAL =. 2006 , NUMBER =. doi:10.1017/S0963548306007565 , URL =

    work page doi:10.1017/s0963548306007565 2006

  16. [16]

    and Propp, James , TITLE =

    Holroyd, Alexander E. and Propp, James , TITLE =. Algorithmic probability and combinatorics , SERIES =. 2010 , ISBN =. doi:10.1090/conm/520/10256 , URL =

    work page doi:10.1090/conm/520/10256 2010

  17. [17]

    , TITLE =

    Angel, Omer and Holroyd, Alexander E. , TITLE =. SIAM J. Discrete Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1137/100814299 , URL =

    work page doi:10.1137/100814299 2011

  18. [18]

    Random Structures Algorithms , FJOURNAL =

    Huss, Wilfried and Levine, Lionel and Sava-Huss, Ecaterina , TITLE =. Random Structures Algorithms , FJOURNAL =. 2018 , NUMBER =. doi:10.1002/rsa.20747 , URL =

    work page doi:10.1002/rsa.20747 2018

  19. [19]

    Über einen Satz der Wahrscheinlichkeitsrechnung , url =

    Khintchine, Aleksandr , journal =. Über einen Satz der Wahrscheinlichkeitsrechnung , url =

  20. [20]

    , TITLE =

    Strassen, V. , TITLE =. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete , FJOURNAL =. 1964 , PAGES =. doi:10.1007/BF00534910 , URL =

    work page doi:10.1007/bf00534910 1964

  21. [21]

    and Doney, R

    Chaumont, L. and Doney, R. A. , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s004400050216 , URL =

    work page doi:10.1007/s004400050216 1999

  22. [22]

    and Heyde, C

    Hall, P. and Heyde, C. C. , TITLE =. 1980 , PAGES =

    1980

  23. [23]

    Strassen, Volker , TITLE =. Proc. 1967 , MRCLASS =

    1967

  24. [24]

    , TITLE =

    Kolmogoroff, A. , TITLE =. Math. Ann. , FJOURNAL =. 1929 , NUMBER =. doi:10.1007/BF01454828 , URL =

    work page doi:10.1007/bf01454828 1929