{"id":"13610b37-2a1c-4c83-a7f2-28836d01a0b4","arxiv_id":"2606.05377","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Establishes the Clark-Kushner condition for interacting vertex-reinforced random walks on finite graphs via Poisson-equation noise decomposition and Dobrushin-based uniform geometric ergodicity.","lead":"The paper proves the Clark-Kushner condition for interacting vertex-reinforced random walks on finite graphs by decomposing non-martingale noise via Poisson equation solutions for Markov chains and a uniform ergodicity bound from the Dobrushin coefficient. A smart generalist might read it to understand how memory effects in interacting stochastic processes on networks can be rigorously handled for long-term analysis.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Irreducibility+aperiodicity per x plus Lipschitz continuity do not imply uniform Dobrushin coefficient <1","rationale":"The reader's weakest assumption is precisely the step whose justification under the stated hypotheses is not automatic; the concern is therefore identical and would move the verdict from UNVERDICTED to CONDITIONAL pending verification that uniformity actually follows.","tokens_in":1745,"tokens_out":413,"duration_ms":40101,"concrete_test":"In the section deriving the uniform ergodicity bound, check whether an extra quantitative hypothesis (inf_x α(Q(x))>0 for the Dobrushin minorization constant α) is tacitly used or proved from the listed assumptions; if absent, construct a 3-state Lipschitz family Q(x) on [0,1] that is irreducible and aperiodic for every x yet sup_x δ(Q(x))=1 and verify whether the Poisson-solution norm remains bounded.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim rests on a uniform geometric ergodicity bound for the family {Q^i(x)} that yields a uniform Lipschitz bound on the Poisson solution. The paper states that this follows from the Dobrushin contraction coefficient under the sole hypotheses that each Q^i(x) is irreducible and aperiodic on the finite state space and that x ↦ Q^i(x) is Lipschitz. On a finite space, each fixed irreducible aperiodic chain is geometrically ergodic, yet the Dobrushin coefficient δ(Q(x)) = max_{i,j}‖Q(x)(i,·)−Q(x)(j,·)‖_TV can approach 1 for some sequence x_n while remaining <1 at every individual x (e.g., by letting a single transition probability approach 0 continuously). Lipschitz continuity of Q does not prevent such degeneration. Consequently the geometric rate is not necessarily uniform, the Poisson-solution Lipschitz constant may blow up, and the noise decomposition needed for the Clark-Kushner condition fails to be controlled uniformly.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript establishes the Clark-Kushner condition for a class of interacting vertex-reinforced random walks on finite graphs. Each walk has a transition matrix Q^i(x) that depends on the joint occupation vector x, may have distinct rows, and is assumed irreducible and aperiodic for every x with x ↦ Q^i(x) Lipschitz. The noise is decomposed via the Poisson equation solution into a martingale-difference term minus the increment of a bounded process (following Gordin), with the key technical step being a uniform geometric ergodicity bound obtained from the Dobrushin coefficient; this bound is also asserted to control the Lipschitz constant of the Poisson solution. The hypotheses do not require strictly positive entries. The result is claimed to generalize and simplify earlier arguments for single self-reinforced walks.","tokens_in":1957,"tokens_out":631,"duration_ms":23174,"significance":"If the uniform ergodicity and Lipschitz control on the Poisson solution are valid under the stated hypotheses, the work would supply a general tool for applying stochastic-approximation theory to occupation-measure dynamics of interacting reinforced walks on finite graphs. The avoidance of a uniform-positivity assumption is a potential strength relative to prior literature. The significance is limited by the fact that the central technical ingredient (uniform Dobrushin bound) is not obviously implied by the listed hypotheses.","major_comments":[{"comment":"Abstract (paragraph on hypotheses and key technical ingredient): the assertion that 'a uniform geometric ergodicity bound derived from the Dobrushin contraction coefficient' follows from irreducibility, aperiodicity, and Lipschitz continuity of each Q^i(x) is not justified. On a finite state space every fixed irreducible aperiodic chain is geometrically ergodic, yet δ(Q(x)) = max_{i,j}‖Q(x)(i,·)−Q(x)(j,·)‖_TV can approach 1 along a sequence x_n while remaining strictly less than 1 at each individual x (for example by letting a single transition probability tend continuously to zero). Lipschitz continuity of x ↦ Q^i(x) does not preclude this degeneration, so the geometric rate need not be uniform and the Lipschitz constant of the Poisson solution may become unbounded.","section":"Abstract"},{"comment":"Abstract (paragraph on hypotheses): the claim that the family {Q^i(x)} 'admits a uniform geometric ergodicity bound' under the sole listed conditions is load-bearing for the Clark-Kushner verification. No supplementary hypothesis (e.g., a uniform lower bound on the entries of Q^i(x) or a uniform bound on the Dobrushin coefficient away from 1) is stated, and the manuscript does not appear to supply an independent argument that prevents δ(Q(x)) from approaching 1.","section":"Abstract"}],"minor_comments":[{"comment":"Abstract: the phrase 'may have distinct rows' is mentioned but its role in the subsequent arguments is not clarified.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful and constructive report. The two major comments correctly note that the abstract asserts a uniform geometric ergodicity bound without supplying an explicit argument or supplementary hypothesis, and that the listed conditions alone do not preclude the Dobrushin coefficient from approaching 1. We address each comment below and will revise the manuscript accordingly.","responses":[{"response":"We agree that the referee's counter-example is valid and that the abstract's phrasing overstates what follows from the stated hypotheses alone. The manuscript's proof of the Clark-Kushner condition relies on a uniform bound on the Dobrushin coefficient, but this bound is not automatically inherited from irreducibility, aperiodicity and Lipschitz continuity. We will revise the abstract to remove the unqualified claim and will add a short remark (or, if needed, a mild supplementary hypothesis) that ensures sup_x δ(Q(x)) < 1. This revision will also make explicit how the uniform bound controls the Lipschitz constant of the Poisson solution.","revision_made":"yes","referee_comment":"[Abstract] Abstract (paragraph on hypotheses and key technical ingredient): the assertion that 'a uniform geometric ergodicity bound derived from the Dobrushin contraction coefficient' follows from irreducibility, aperiodicity, and Lipschitz continuity of each Q^i(x) is not justified. On a finite state space every fixed irreducible aperiodic chain is geometrically ergodic, yet δ(Q(x)) = max_{i,j}‖Q(x)(i,·)−Q(x)(j,·)‖_TV can approach 1 along a sequence x_n while remaining strictly less than 1 at each individual x (for example by letting a single transition probability tend continuously to zero). Lipschitz continuity of x ↦ Q^i(x) does not preclude this degeneration, so the geometric rate need not be uniform and the Lipschitz constant of the Poisson solution may become unbounded."},{"response":"We concur that the current statement of hypotheses is insufficient to guarantee the uniform bound and that the manuscript does not contain an independent argument preventing degeneration of δ(Q(x)). We will therefore either (i) insert a brief argument showing that the finite-graph structure plus the specific form of the reinforcement prevents δ(Q(x)) from approaching 1, or (ii) add an explicit uniform-Dobrushin hypothesis. In either case the abstract and the statement of main results will be updated to reflect the corrected set of assumptions.","revision_made":"yes","referee_comment":"[Abstract] Abstract (paragraph on hypotheses): the claim that the family {Q^i(x)} 'admits a uniform geometric ergodicity bound' under the sole listed conditions is load-bearing for the Clark-Kushner verification. No supplementary hypothesis (e.g., a uniform lower bound on the entries of Q^i(x) or a uniform bound on the Dobrushin coefficient away from 1) is stated, and the manuscript does not appear to supply an independent argument that prevents δ(Q(x)) from approaching 1."}],"tokens_in":1570,"tokens_out":639,"duration_ms":31664,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper claims to establish the Clark-Kushner condition for interacting vertex-reinforced random walks on finite graphs, allowing stochastic approximation tools to be applied to these memory-dependent models. The main move is a noise decomposition using the Poisson equation solution, turning the non-martingale noise into a martingale difference minus a bounded increment, following Gordin's approach.\n\nWhat is new is the extension from single self-reinforced walks to the multi-walk interacting case where each walk can have its own transition row in Q^i(x), all driven by the joint occupation vector x. The hypotheses are kept light: each Q^i(x) irreducible and aperiodic for every x, plus Lipschitz continuity in x, with no requirement for strictly positive entries. If the uniform geometric ergodicity bound holds, this organizes a broader class of models under existing limit theorems and simplifies prior arguments.\n\nThe soft spot sits in that uniform bound. The argument relies on the Dobrushin contraction coefficient delivering a rate that stays uniform across x and also controls the Lipschitz constant of the Poisson solution. On a finite space each fixed irreducible aperiodic chain is geometrically ergodic, yet the coefficient can approach 1 along a sequence of x even when Q is Lipschitz, because a single transition probability can get arbitrarily small without violating continuity. Nothing in the stated hypotheses appears to block this degeneration, so the geometric rate and the Poisson Lipschitz control may fail to be uniform. The abstract outlines the strategy but supplies no explicit verification that the bound survives this issue.\n\nThe paper is for specialists working on reinforced random walks and stochastic approximation on graphs. A reader already following the single-walk literature would see the value in the generalization, provided the uniformity step checks out.\n\nIt deserves a serious referee to examine the derivation of the uniform bound in detail.","headline":"Extends Clark-Kushner to interacting walks via Poisson decomposition but the uniform Dobrushin bound looks insufficiently justified by the hypotheses.","tokens_in":2459,"tokens_out":432,"would_cite":false,"duration_ms":32904,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Interacting vertex-reinforced random walks on finite graphs satisfy the Clark-Kushner condition when each transition matrix is irreducible, aperiodic, and Lipschitz continuous in the occupation vector.","keywords":["vertex-reinforced random walks","Clark-Kushner condition","stochastic approximation","Poisson equation","Dobrushin coefficient","geometric ergodicity","finite graphs","interacting processes"],"falsifier":"An explicit occupation vector x for which at least one Q^i(x) is periodic or reducible, causing the Dobrushin coefficient to lose its uniform contraction and the Poisson solution to fail the required Lipschitz bound.","tokens_in":2632,"feed_emoji":"","tokens_out":745,"duration_ms":24723,"temperature":0.7,"pith_summary":"The paper proves that a large class of interacting vertex-reinforced random walks on finite graphs satisfies the Clark-Kushner condition required for stochastic approximation analysis of the occupation measure. This holds even though the driving noise retains memory of past states rather than forming a martingale difference. The authors decompose the noise by solving the Poisson equation for the occupation-dependent Markov chain and subtracting the increment of a bounded process. A uniform geometric ergodicity bound extracted from the Dobrushin contraction coefficient supplies the needed control and also guarantees that the Poisson solutions remain Lipschitz continuous in the occupation proportions. The hypotheses require only irreducibility, aperiodicity, and Lipschitz continuity of the transition matrices and do not demand strictly positive entries or identical rows across walks.","feed_headline":"Clark-Kushner condition holds for interacting reinforced walks","feed_subtitle":"Poisson decomposition plus Dobrushin bounds allow stochastic approximation for walks whose noise retains memory of past states.","key_machinery":"The uniform geometric ergodicity bound obtained from the Dobrushin contraction coefficient on the family of transition matrices Q^i(x), which supplies both the contraction rate and the Lipschitz control on the Poisson equation solutions.","core_discovery":"We establish the Clark-Kushner condition for interacting vertex-reinforced random walks on finite graphs, where the transition matrix Q^i(x) of each walk depends on the joint occupation vector x and may have distinct rows. Using the solution of the Poisson equation we decompose the non-martingale noise into a martingale difference minus the increment of a bounded process. The key technical step is a uniform geometric ergodicity bound derived from the Dobrushin contraction coefficient, which simultaneously controls the Lipschitz continuity of the Poisson solution. The result holds whenever each Q^i(x) is irreducible, aperiodic, and Lipschitz continuous in x.","pith_inferences":["The Poisson decomposition technique could transfer to other non-Markovian reinforcement schemes whose transition kernels admit comparable uniform contraction bounds.","Occupation-measure convergence results obtained this way might be combined with existing limit theorems for stationary processes to obtain almost-sure convergence rates.","If analogous Dobrushin-type bounds can be established on infinite graphs, the same Clark-Kushner verification would become available for reinforced walks on countable state spaces."],"forward_implications":["Stochastic approximation theory applies directly to the long-term dynamics of the joint occupation measure.","The analysis covers systems of multiple walks whose transition rows may differ.","The condition holds without assuming strictly positive entries in the transition matrices.","Arguments previously developed for single self-reinforced walks extend and simplify to the interacting case."],"fun_headline_variants":["Clark-Kushner condition holds for interacting reinforced graph walks","Poisson equation aids Clark-Kushner for reinforced walks on graphs","Dobrushin bounds yield Clark-Kushner condition on finite graphs","Interacting reinforced walks meet Clark-Kushner via ergodicity bounds"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Each transition matrix Q^i(x) remains irreducible and aperiodic for every occupation vector x, so the Dobrushin coefficient produces a uniform positive contraction independent of x.","fun_headline_variants_meta":{"raw":{"variants":["Clark-Kushner condition holds for interacting reinforced graph walks","Poisson equation aids Clark-Kushner for reinforced walks on graphs","Dobrushin bounds yield Clark-Kushner condition on finite graphs","Interacting reinforced walks meet Clark-Kushner via ergodicity bounds"]},"model":"grok-4.3","cost_usd":0.007123,"raw_usage":{"total_tokens":3227,"prompt_tokens":702,"num_sources_used":0,"completion_tokens":72,"cost_in_usd_ticks":71228000,"prompt_tokens_details":{"text_tokens":702,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2453,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":702,"tokens_out":72,"duration_ms":19172,"temperature":1.0,"reasoning_tokens":2453,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T04:14:45.090174+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit occupation vector x for which at least one Q^i(x) is periodic or reducible, causing the Dobrushin coefficient to lose its uniform contraction and the Poisson solution to fail the required Lipschitz bound.","supporting_citations":[],"review_version":1}