{"id":"bb39cf54-817d-462f-ae3e-d200a45c3c86","arxiv_id":"2411.13875","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For non-nestling and marginally nestling random walks in i.i.d. random environments, the quenched large deviation rate of returning to the origin is realized by traveling to a rare ball whose environment approximates an optimal periodic environment.","lead":"A random walk through a disordered material rarely returns exactly to its starting point, and this paper describes the rare environment pattern it seeks out to make such a return happen. In a broad class of models, the walk hurries to a remote ball where the disorder looks periodic, loiters there, and hurries back, and this pattern produces the exact exponential decay rate.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.4 Step 1 asserts without proof that tilted drift vectors admit a common rational perpendicular u; this is load-bearing for Lemma 3.3 and the central lower bound.","rationale":"The reader's weakest_assumption identifies a real gap in Proposition 3.4 Step 1, and I agree that the conditional verdict is appropriate. However, the precise objection needs refinement. The concern that 'tilting can change the dimension of the drift set' is not by itself fatal: because Eq. (30) gives a positive linear combination of the tilted drifts equal to zero, the tilted drifts are linearly dependent, and if the number of positive weights is at most d, they lie in a subspace of dimension at most d-1, so a nonzero perpendicular u exists. The missing piece in the text is exactly the proof that j<=d can be enforced (which a Carathéodory argument on the minimal face containing the boundary minimizer would supply) and, more seriously, the rationality of u. The paper's sentence 'by choosing the sigma_i appropriately, we can guarantee that u has rational coordinates' is unsupported; the tilted drifts depend continuously on sigma_i and theta*, and for a fixed support with irrational probabilities there is no evident reason the orthogonal complement contains a rational vector. Lemma 3.3 needs exact rational u to define the strip tiling and the finite basic tile R. Without this, the periodic environment with prescribed occupation frequencies is not constructed, so the lower bound for Proposition 3.4 does not follow. The reader's verdict of CONDITIONAL is therefore unchanged: the gap is substantial but plausibly repairable by an approximation argument that controls the error introduced by a nearby rational u. The proposed concrete test directly checks whether the rationality claim holds generically, which would settle whether the gap is merely cosmetic or requires new work.","tokens_in":19272,"tokens_out":14082,"duration_ms":136471,"concrete_test":"For d=3, choose four support points sigma_1,...,sigma_4 in P_V^(kappa) whose drift polytope is a tetrahedron not containing 0, with the minimizer of I_sigma(0) in the relative interior of a 2-dimensional face; take S as the three vertices of that face. Numerically solve for theta* and t* in Lemma 3.2, form the tilted drifts d(sigma*_i), and compute the plane they span. Test whether a nonzero rational vector u in Q^3 lies in its orthogonal complement. Repeat for several generic supports (e.g. probabilities involving sqrt(2)). If no rational u exists generically, the assertion in Step 1 is false as stated and an additional continuity or approximation argument is required before Lemma 3.3 applies. If perturbation of sigma_i within the allowed epsilon-neighborhood always restores rationality, the gap is cosmetic.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Step 1 of Proposition 3.4 must produce, for the tilted environments sigma*_i defined via theta*, a rational u in Q^d with <d(sigma*_i),u>=0 for every i, because Lemma 3.3 (the strip-periodic occupation-frequency lemma) requires exactly this to build the period and the martingale projection W. The text's derivation is incomplete. From Lemma 3.2 one gets a saddle point (t*,theta*) and Eq. (30): sum_i t*_i d(sigma*_i)=0, with t*_i>0 after removing zero weights. This linear dependence alone implies the tilted drifts lie in a subspace of dimension at most j-1. If one could take j<=d (e.g. by choosing S as the vertices of the minimal face of K_P containing a minimizer p*, as Carathéodory permits), then a nonzero u exists. However, the paper instead justifies j<=d by the dimension of the original drift set D_S, which is irrelevant because tilting can change the drift set; and the passage from 'some u!=0' to 'u in Q^d' is asserted with 'by choosing the sigma_i appropriately' and no argument. For generic environments the subspace spanned by the tilted drifts has irrational normal, and the strip construction in Lemma 3.3 cannot be invoked. Because this is the only bridge from the optimal boundary rate to an explicit periodic environment with prescribed occupation frequencies, the lower-bound half of Proposition 3.4, and hence Theorem 2.1(ii)-(iii), is not established as written. The gap appears repairable (e.g. an approximation argument with rational u plus error control), which is why a conditional verdict is appropriate.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies nearest-neighbor random walk in an i.i.d. uniformly elliptic random environment on Z^d. Building on Varadhan's formula I_q(0)=I_a(0)=-inf_theta sup_{p in K_P} log sum_e e^{<theta,e>} p(e), it aims to identify a dominant mechanism for the atypical event {X_N=0} in the non-nestling and marginally nestling cases: the walk moves quickly to a ball of radius delta (log N)^{1/d} at distance O(N/log N) whose environment is epsilon-close to a periodic strip environment, spends time of order N there, and returns. The proof proceeds through a time-periodic random-walk approximation (Prop. 3.1), a strip-periodic environment lemma (Lemma 3.3), an approximation of the convex-hull variational problem by periodic environments whose jump probabilities lie in the support of the environment law (Prop. 3.4), and a Borel-Cantelli construction of good balls leading to Theorem 2.1(iii).","tokens_in":19439,"tokens_out":16296,"duration_ms":164371,"significance":"If completed, the paper would provide a valuable mechanistic description of the atypical event behind the quenched large deviation at the origin, complementing Zerner's trap picture for nestling walks and making precise the sense in which the walk seeks regions whose environment emulates the optimal boundary point of the convex hull of the support. Strengths of the manuscript include explicit and self-contained saddle-point computations (Lemma 3.2, Prop. 3.1), periodic environments constructed from the support rather than fitted to the target rate, and a concrete Borel-Cantelli construction of good balls. The main concern is that two load-bearing steps in the proof of Proposition 3.4 are not justified as written; both appear repairable, so the manuscript warrants a major revision.","major_comments":[{"comment":"The construction of the rational vector u is not justified. The text uses the statement that the convex hull of D_S has dimension at most d-1 to infer a nonzero u perpendicular to all tilted drifts d(sigma*_i), and then asserts that u can be chosen rational. Neither inference follows. Equation (30), namely sum_i t*_i d(sigma*_i)=0, is a linear dependence of the tilted drifts; even when it yields a real u != 0, the dimension of the untitled drift set D_S is irrelevant because tilting by theta* can change the dimension of the drift set. Moreover, boundary attainment of inf_{K_P} I_sigma(0) does not by itself force the approximating set S to have drifts lying in a hyperplane. The rationality of u is asserted with 'by choosing the sigma_i appropriately' but no argument is given, and Lemma 3.3 is stated only for u in Q^d. Since the strip-periodic environment and the occupation-frequency identity (31) are the bridge to the lower bound, this is a load-bearing gap in Proposition 3.4 and hence in Theorem 2.1(ii)-(iii).","section":"§3.2, proof of Proposition 3.4, Step 1"},{"comment":"The passage from (33) to the point-probability lower bound is not justified. The inequality limsup_{n->infty} (1/n) log P_{0,omega_{n,p}}(X_n=0) >= limsup_{n->infty} (1/n) log P_{0,omega_{n,p}}(|X_n|<= n epsilon) - g(epsilon) is asserted from equicontinuity of the periodic-environment rate functions. An LDP alone controls probabilities of open or closed sets of velocities, not individual point probabilities; for a walk with nonzero asymptotic drift, I(0) need not be the infimum of I over the epsilon-ball, so P(|X_n|<= n epsilon) can be exponentially larger than P(X_n=0). A local limit theorem for the tilted periodic walk, of the kind used later in Lemma 4.1 via [T02], or an equivalent pointwise lower bound, is needed to control P(X_n=0). Without such an estimate the lower bound of Proposition 3.4 is not established as written.","section":"§3.2, proof of Proposition 3.4, Step 4"}],"minor_comments":[{"comment":"In the proof of Lemma 4.2, the common value at zero-drift points is stated as d/2; with the normalization sum_i (p_i+q_i)=1, the value of sum_i sqrt(p_i q_i) at p_i=q_i=1/(2d) is 1/2, not d/2. The conclusion is unaffected once the factor is corrected.","section":"§4.3, Lemma 4.2"},{"comment":"The proof of Lemma 3.3 labels two consecutive subsections as 'Step 4', and the lower-bound half of the occupation-time estimate is only described verbally ('suitably bounding the sequence (tau_k) from below') rather than displayed. Since this lemma supplies the frequencies used later, the lower-bound computation should be written out.","section":"§3.2, Lemma 3.3"},{"comment":"The sentence 'if we think of W as having periodic boundary conditions, then W has independent increments' is inaccurate: the projected chain W has transition probabilities that depend on the current strip index, so its increments are not independent. The subsequent martingale and optional-stopping arguments do not require independence, but the wording should be corrected.","section":"§3.2, Lemma 3.3, Step 1"},{"comment":"In the displayed chain of inequalities in Theorem 2.1(iii), the third limit is written as limsup_{n->infty} (1/N) log P_{0,omega}(X_N=0); the index should be N, not n.","section":"Theorem 2.1(iii)"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a genuinely useful paper with a load-bearing gap. The advertised new content is a dominant-event description for non-nestling and marginally nestling RWRE: to realize the quenched rate at 0, the walk travels quickly to a rare ball where the environment is close to a strip-periodic environment built from jump probabilities in the support, spends order N time there, and returns. That is a nice complement to Zerner's trap picture for the nestling case, and it goes beyond the known Varadhan/CGZ identity. The upper bounds and the Borel-Cantelli construction of the good balls look sound, and the periodic-environment rate computations in Section 3 are clean and reusable.\n\nThe soft spot is exactly where the stress-test says it is. In Proposition 3.4, Step 1, Eq. (30) gives a positive linear dependence among the tilted drift vectors d(sigma*_i). That only yields a nonzero orthogonal u if the number of vectors is at most d. The paper justifies j <= d by the dimension of the original drift set D_S; that is irrelevant because tilting changes drifts. And even with a real u, Lemma 3.3 needs u in Q^d for the strip tiling to be genuinely periodic in Z^d. The sentence \"by choosing the sigma_i appropriately\" does not supply an argument. This step is the only bridge to the strip-periodic environment with prescribed frequencies, so the lower-bound half of Prop 3.4, and hence Theorem 2.1(ii)-(iii), is not established as written. It looks repairable -- a rational approximation with error control should work -- but the proof as submitted is incomplete at exactly the central point.\n\nThe citation and attribution practice is honest: part (i) is clearly credited to Varadhan and CGZ, and the paper's new claims are stated as such. The writing is careful and the mechanism is conceptually appealing.\n\nBottom line: someone working on RWRE large deviations should read this and should referee it. I would not cite the main theorem until the hyperplane/rationality step is fixed, but I hope the authors fix it; the idea deserves to be in the literature.","headline":"A good idea with an honest frame, but the central lower-bound construction has a real gap at the tilted-drift hyperplane step.","tokens_in":20124,"tokens_out":4047,"would_cite":false,"duration_ms":36837,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","60K37","82B43"],"pacs":[],"model":"deepseek-v4-flash","headline":"The correct quenched rate for a random walk returning to the origin is realized by a walk that seeks out a rare periodic pocket whose environment emulates the boundary of the convex hull.","keywords":["random walk in random environment","large deviations","quenched rate function","annealed rate function","periodic environment","convex hull","nestling","marginally nestling"],"falsifier":"Take a non-nestling or marginally nestling environment law in $d=2$ whose boundary minimizer $p^*$ has tilted drift directions that are not all perpendicular to any rational vector, for instance three support points whose post-tilting drifts span the plane. Compute $\\inf_{\\sigma\\in K_P} I_\\sigma(0)$ and check whether the approximating periodic environment required by Proposition 3.4 can be realized as a $(u;r_1,\\dots,r_j)$-strip tiling. If no rational $u$ satisfies the perpendicularity condition while keeping the rate within $\\varepsilon$, the paper's construction of the dominant event fails for that law.","tokens_in":1952,"feed_emoji":"🎲","tokens_out":2563,"duration_ms":92995,"temperature":0.7,"pith_summary":"This paper identifies the mechanism behind a known large-deviation fact: for a uniformly elliptic i.i.d. random environment in any dimension, the quenched and annealed rates at which a random walk returns to the origin coincide. The authors prove, in the non-nestling and marginally nestling cases, that the correct quenched rate is realized by a concrete atypical event: the walk first travels a sublinear distance to a rare pocket where the environment is nearly periodic, stays there for a time of order N, and then returns. The pocket's periodic environment is built from jump probabilities lying on the boundary of the convex hull of the environmental law, and its own rate at the origin approximates the true rate. This gives a tangible picture of what a random walk must do to achieve an exponentially costly return, going beyond the abstract variational formula.","feed_headline":"Rare returns of random walks are staged in periodic pockets","feed_subtitle":"The rare return rate is achieved by finding a strip-periodic region built from boundary jump probabilities.","key_machinery":"The load-bearing object is the dominant event $A^\\varepsilon_{N,n,p}$: the walk moves in $a_N=\\lfloor N/\\log N\\rfloor$ steps from 0 to the center of a ball of radius $\\delta(\\log N)^{1/d}$ where the environment is within $\\varepsilon$ of a fixed strip-periodic environment $\\omega_{n,p}$, remains in that ball for approximately $N$ steps, and then returns to 0. The construction of $\\omega_{n,p}$ uses a strip-periodic tiling perpendicular to a rational vector: each strip is homogeneous with jump probabilities from the support, and the drifts of the tilted distributions are made perpendicular to that vector so that the projected one-dimensional walk is a martingale; Lemma 3.3 then controls the invariant measure and prescribes the fraction of time spent in each strip. Sion's minimax theorem supplies the saddle point that identifies the optimal tilted mixture, and a local limit theorem for random walks in periodic environments controls the probability of the loop inside the pocket.","core_discovery":"The central claim is Theorem 2.1. For a non-nestling or marginally nestling RWRE, the common value $I(0)=I_a(0)=I_q(0)$ equals $-\\log(\\sum_e \\sqrt{p^*(e)p^*(-e)})$ for some $p^*$ in the boundary of $K_P$, the convex hull of the support of the one-site environment law. For every $\\varepsilon>0$ there is a periodic environment $(n_\\varepsilon,p_\\varepsilon)$, realizable as alternating parallel strips of homogeneous environments from the support, whose rate at the origin is within $\\varepsilon$ of $I(0)$. Moreover, for $P$-almost every environment, eventually in $N$ one can find a ball of radius $\\delta(\\log N)^{1/d}$ within distance $N/\\log N$ where the environment is $\\varepsilon$-close to that periodic environment, and the quenched probability that the walk goes to that ball, spends $O(N)$ time there, and returns to 0 has exponential rate between $-I(0)-\\varepsilon$ and $-I(0)$. Thus the rare return event is staged in a spatially rare region that emulates the optimal boundary point of the convex hull.","pith_inferences":["If the same mechanism extends to other boundary points, the boundary of $K_P$ and the saddle point of the minimax problem would play the role that the origin's minimizer plays here; that would give a variational description of quenched large deviations at nonzero velocities.","The common-perpendicular rational vector in Lemma 3.3 is the main geometric constraint. Testing environment laws in $d\\ge 3$ where the tilted drifts span more than a hyperplane would expose whether the strip construction is essential or an artifact of the proof.","Because the annealed and quenched rates coincide at 0, the same periodic-pocket mechanism should also be the annealed picture: the environment law's rare fluctuations create the pocket, and the walk's behavior inside it is nearly deterministic. This suggests annealed large deviation events for RWRE can be studied through variational problems over environment laws concentrated at boundary points."],"forward_implications":["The quenched rate at 0 is achieved by a spatially rare, approximately periodic pocket rather than by a single trap; the pocket's environment is built from jump probabilities on the boundary of the convex hull of the support.","For every $\\varepsilon>0$, a periodic environment whose site marginals come from the support of the environment law has rate at 0 within $\\varepsilon$ of $I(0)$, so periodic environments are universal approximators for this endpoint rate.","The probabilities of the travel to and from the pocket are negligible at exponential scale, so the exponential cost of the rare return is entirely determined by the rate of the periodic pocket.","A homogenization statement for the viscous Hamilton-Jacobi equation with periodic potential is implicit, including the value of the homogenized Hamiltonian at 0, matching the rate-function identity."],"supporting_citations":[{"why":"Establishes the quenched and annealed large deviation principles and the equality of rate functions at the origin, including the variational formula in display (3).","marker":"[V03]"},{"why":"Proves the same equality in dimension $d=1$ and supplies the one-dimensional rate function at the origin, the base case the paper extends.","marker":"[CGZ00]"},{"why":"Introduces the nestling/trap picture and proves the analogous dominant-event statement for nestling walks, which the paper complements for non-nestling and marginally nestling walks.","marker":"[Z98]"},{"why":"Gives the local limit theorem for random walks in periodic environments used to lower-bound the probability of staying inside the pocket and returning.","marker":"[T02]"},{"why":"Supplies the minimax theorem used to produce the saddle point and the minimax equality needed for the rate-function identities.","marker":"[Si58]"},{"why":"Provides the Gärtner-Ellis theorem used to derive the large deviation principle for time-periodic environments.","marker":"[DZ98]"},{"why":"Provides the convex-analysis proposition used in Lemma 3.2 to obtain existence of saddle points.","marker":"[B09]"}],"fun_headline_variants":["Rare returns: the best pocket is periodic","Optimal rare returns live in periodic strips","Random walks stage rare returns in emulated pockets","Periodic emulation achieves the rare return rate","The rare return event: seek the emulated pocket"],"cache_read_input_tokens":22016,"weakest_assumption_plain":"The construction assumes that the minimizer of the rate at the origin on the boundary of the convex hull can be approximated by at most $d$ jump distributions whose tilted average velocities all lie perpendicular to one common rational vector; if that hyperplane condition fails, the strip-periodic environment with the prescribed occupation times cannot be built and the lower bound does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Rare returns: the best pocket is periodic","Optimal rare returns live in periodic strips","Random walks stage rare returns in emulated pockets","Periodic emulation achieves the rare return rate","The rare return event: seek the emulated pocket"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00056,"raw_usage":{"total_tokens":2651,"prompt_tokens":928,"completion_tokens":1723,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":544,"completion_tokens_details":{"reasoning_tokens":1652}},"tokens_in":544,"tokens_out":1723,"duration_ms":11973,"temperature":1.0,"reasoning_tokens":1652,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:49:36.537140+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a non-nestling or marginally nestling environment law in $d=2$ whose boundary minimizer $p^*$ has tilted drift directions that are not all perpendicular to any rational vector, for instance three support points whose post-tilting drifts span the plane. Compute $\\inf_{\\sigma\\in K_P} I_\\sigma(0)$ and check whether the approximating periodic environment required by Proposition 3.4 can be realized as a $(u;r_1,\\dots,r_j)$-strip tiling. If no rational $u$ satisfies the perpendicularity condition while keeping the rate within $\\varepsilon$, the paper's construction of the dominant event fails for that law.","supporting_citations":[],"review_version":1}