p-adic boundary laws and Markov chains on trees
Pith reviewed 2026-05-25 01:58 UTC · model grok-4.3
The pith
Some stochastic matrices allow multiple distinct p-adic Markov chains on infinite trees.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper shows that the uniqueness of the associated Markov chain (splitting Gibbs measures) holds under some sufficient conditions on the stochastic matrix. Moreover, it finds a family of stochastic matrices for which there are at least two p-adic Markov chains on an infinite tree. When the p-adic norm of q is greater than the norm of any element of the stochastic matrix the chain is bounded; when the norm of q is smaller the chain is not bounded. The argument adapts the classical boundary-law construction by using the ultrametric properties of the p-adic norm.
What carries the argument
Boundary-law construction adapted to p-adic ultrametric norms, which produces the transition probabilities of the splitting Gibbs measures on the tree.
If this is right
- Under sufficient conditions on the stochastic matrix the associated Markov chain is unique.
- A concrete family of stochastic matrices produces at least two distinct p-adic Markov chains on any infinite tree.
- The p-adic Markov chain is bounded precisely when the p-adic norm of q exceeds the norm of every matrix entry.
- The chain fails to be bounded when the p-adic norm of q is smaller than the norm of some matrix entry.
Where Pith is reading between the lines
- The same ultrametric control may produce non-uniqueness examples that have no direct real-valued counterpart.
- Boundedness in the p-adic topology could be linked to convergence rates of the associated chain.
- The technique may extend to other ultrametric interaction models on trees or on more general graphs.
Load-bearing premise
The real-valued boundary-law method extends to the p-adics once the ultrametric inequality is used to control the relevant sums and limits.
What would settle it
An explicit stochastic matrix together with two distinct solutions of the boundary-law equations whose induced transition probabilities differ at some vertex of the tree.
read the original abstract
In this paper we consider $q$-state potential on general infinite trees with a nearest-neighbor $p$-adic interactions given by a stochastic matrix. {We show the uniqueness of the associated Markov chain ({\em splitting Gibbs measures}) under some sufficient conditions on the stochastic matrix.} Moreover, we find a family of stochastic matrices for which there are at least two $p$-adic Markov chains on an infinite tree (in particular, on a Cayley tree). When the $p$-adic norm of $q$ is greater ({{\em resp.}} less) than the norm of any element of the stochastic matrix then it is proved that the $p$-adic Markov chain is bounded ({{\em resp.}} is not bounded). Our method {uses} a classical boundary law argument carefully adapted from the real case to the $p$-adic case, by a systematic use of some nice peculiarities of the ultrametric ($p$-adic) norms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper considers q-state potentials on infinite trees (including Cayley trees) with nearest-neighbor interactions given by a stochastic matrix over the p-adics. It claims to prove uniqueness of the associated splitting Gibbs measures (p-adic Markov chains) under sufficient conditions on the matrix, to exhibit a concrete family of matrices admitting at least two distinct such chains, and to establish boundedness of the chain when |q|_p exceeds the p-adic norms of all matrix entries (and non-boundedness in the opposite case). The argument adapts the classical boundary-law fixed-point construction from the real case, exploiting ultrametric properties of the p-adic norm.
Significance. If the adaptation of the boundary-law method is carried through rigorously, the results supply a non-Archimedean counterpart to classical uniqueness and non-uniqueness theorems for Gibbs measures on trees. The explicit dependence of boundedness on the relative size of |q|_p versus matrix-entry norms is a concrete, falsifiable distinction from the real case and may be useful for further work on p-adic statistical mechanics.
minor comments (3)
- The abstract states that uniqueness holds “under some sufficient conditions on the stochastic matrix,” but the precise statement of those conditions (and the section in which they appear) should be referenced already in the abstract or introduction for clarity.
- Notation for the p-adic valuation |·|_p and for the stochastic matrix entries should be introduced uniformly in §1 and used consistently thereafter; occasional switches between |q| and |q|_p appear in the provided abstract.
- The family of matrices yielding non-uniqueness is described only as “a family”; a concrete parametrization or explicit example (e.g., a 2×2 matrix with entries in ℤ_p) should be displayed early, ideally in the introduction, to make the non-uniqueness claim immediately verifiable.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript, the positive summary, and the recommendation for minor revision. No specific major comments appear in the report.
Circularity Check
No significant circularity identified
full rationale
The derivation adapts the classical boundary-law fixed-point construction (an external, established method from the real case) to p-adic ultrametric norms via standard properties of the p-adic valuation. Uniqueness under matrix conditions and multiplicity for a concrete family are obtained directly from the resulting tree recursion and norm comparisons; no step reduces by definition to its own inputs, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation chain. The argument is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Ultrametric inequality holds for p-adic norms
- domain assumption Stochastic matrices can be chosen to satisfy the sufficient conditions for uniqueness or non-uniqueness
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our method uses a classical boundary law argument carefully adapted from the real case to the p-adic case, by a systematic use of some nice peculiarities of the ultrametric (p-adic) norms.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 3. ... the equation (4.1) has a unique solution z(x,y)≡(1,1,…,1)∈E^{q−1}_p
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
V.S. Anashin, A.Y. Khrennikov, Applied algebraic dynam ics. de Gruyter expositions in mathematics, vol
-
[2]
(Berlin, New York: Walter de Gruyter; 2009)
work page 2009
-
[3]
Application of p-adic Analysis to Models of Breaking of Replica Symmetry
V.A A vetisov, A.H. Bikulov, S.V. Kozyrev, “Application of p-adic Analysis to Models of Breaking of Replica Symmetry”, J. Phys. A: Math. Gen. 32(50), 8785–8791 (1999)
work page 1999
-
[4]
New p hase transitions of the Ising model on Cayley trees,
D. Gandolfo, F.H. Haydarov, U.A. Rozikov, J. Ruiz, “New p hase transitions of the Ising model on Cayley trees,” Jour. Stat. Phys. 153(3), 400–411 (2013)
work page 2013
-
[5]
Glassy state s: the free Ising model on a tree,
D. Gandolfo, C. Maes, J. Ruiz, S. Shlosman, “Glassy state s: the free Ising model on a tree,” Archive HAL https://hal.archives-ouvertes.fr/hal-01648385/document. 2019, to appear
work page 2019
-
[6]
On free energies of the Ising model on the Cayley tree,
D. Gandolfo, M.M. Rakhmatullaev, U.A. Rozikov, J. Ruiz, “On free energies of the Ising model on the Cayley tree,” Jour. Stat. Phys. 150(6), 1201–1217 (2013). 12 A. LE NY, L. LIAO, U. A. ROZIKOV
work page 2013
-
[7]
On p-adic Gibbs measures for hard core model on a Cayley tree,
D. Gandolfo, U.A. Rozikov, J. Ruiz, “On p-adic Gibbs measures for hard core model on a Cayley tree,” Markov Processes Related Fields. 18(4), 701–720 (2012)
work page 2012
-
[8]
Pha se Transitions in the Ising Model on Z over the p-adic Number Field,
N.N. Ganikhodjaev, F.M. Mukhamedov, U.A. Rozikov, “Pha se Transitions in the Ising Model on Z over the p-adic Number Field,” Uzb. Mat. Zh., 4, 23–29 (1998)
work page 1998
-
[9]
Georgii, Gibbs Measures and Phase Transitions, 2nd ed
H.-O. Georgii, Gibbs Measures and Phase Transitions, 2nd ed. De Gruyter Studies in Mathematics, 9. (Walter De Gruyter, Berlin, 2011)
work page 2011
-
[10]
(French) Théorie des nombres, Année 1991/1992, 107 pp., Publ
Gras Georges, Mesures p-adiques. (French) Théorie des nombres, Année 1991/1992, 107 pp., Publ. Math.Fac. Sci. Besancon, Univ. Franche-Comté, Besancon
work page 1991
-
[11]
On the uni queness of Gibbs measures for p−adic non homogeneous λ− model on the Cayley tree,
M. Khamraev, F.M. Mukhamedov, U.A. Rozikov, “On the uni queness of Gibbs measures for p−adic non homogeneous λ− model on the Cayley tree,” Letters in Math. Phys. 70, 17–28 (2004)
work page 2004
-
[12]
p-Adic Valued Probability Measures,
A. Yu. Khrennikov, “ p-Adic Valued Probability Measures,” Indag. Math., New Ser. 7, 311–330 (1996)
work page 1996
-
[13]
A. Yu. Khrennikov, p-Adic Valued Distributions in Mathematical Physics (Kluwer, Dordrecht, 1994)
work page 1994
-
[14]
A. Yu. Khrennikov, Non-Archimedean Analysis: Quantum Paradoxes, Dynamical S ystems and Biological Models (Kluwer, Dordrecht, 1997)
work page 1997
-
[15]
The measure -theoretical approach to p-adic probability theory,
A. Yu. Khrennikov, S. Yamada, A. van Rooij, “The measure -theoretical approach to p-adic probability theory,” Ann. Math. Blaise Pascal. 6, 21–32 (1999)
work page 1999
-
[16]
Koblitz, p-Adic Numbers, p-adic Analysis, and Zeta-Functions (Springer, Berlin, 1977)
N. Koblitz, p-Adic Numbers, p-adic Analysis, and Zeta-Functions (Springer, Berlin, 1977)
work page 1977
-
[17]
Stochastic processe s on non-Archimedean spaces with values in non- Archimedean fields,
S. Ludkovsky, A. Yu. Khrennikov, “Stochastic processe s on non-Archimedean spaces with values in non- Archimedean fields,” Markov Processes Relat. Fields. 9, 131–162 (2003)
work page 2003
-
[18]
On the p-adic Five-Point Function,
E. Marinari, G. Parisi, “On the p-adic Five-Point Function,” Phys. Lett. B 203, 52–54 (1988)
work page 1988
-
[19]
On Gibbs Measures of p-adic Potts Model on the Cayley Tree,
F.M. Mukhamedov, U.A. Rozikov, “On Gibbs Measures of p-adic Potts Model on the Cayley Tree,” Indag. Math., New Ser. 15, 85–100 (2004)
work page 2004
-
[20]
F.M. Mukhamedov, U.A. Rozikov, On Inhomogeneous p-adic Potts Model on a Cayley Tree, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 8, (2005), 277-290
work page 2005
-
[21]
On Phas e Transitions for p-adic Potts Model with Com- peting Interactions on a Cayley Tree,
F.M. Mukhamedov, U.A. Rozikov, J.F.F. Mendes, “On Phas e Transitions for p-adic Potts Model with Com- peting Interactions on a Cayley Tree,” in p-Adic Mathematical Physics : Proc. 2nd Int. Conf., Belgrade, 2005 (Am. Inst. Phys., Melville, NY, 2006), AIP Conf. Proc. 826, p p. 140-150
work page 2005
-
[22]
A. C. M. van Rooij, Non-Archimedean Functional Analysis (M. Dekker, New York, 1978)
work page 1978
-
[23]
Representation of trees and their appli cations,
U.A. Rozikov, “Representation of trees and their appli cations,” Math. Notes. 72(3-4), 479–488 (2002)
work page 2002
-
[24]
Rozikov, Gibbs measures on Cayley trees , (World Sci
U.A. Rozikov, Gibbs measures on Cayley trees , (World Sci. Publ. Singapore. 2013)
work page 2013
-
[25]
p-adic Gibbs measures an d Markov random fields on countable graphs,
U.A. Rozikov, O.N. Khakimov,“p-adic Gibbs measures an d Markov random fields on countable graphs,” Theor. Math. Phys. 175(1), 518–525 (2013)
work page 2013
-
[26]
On weak periodic Gi bbs measures of Ising model on Cayley trees,
U.A. Rozikov, M.M. Rakhmatullaev, “On weak periodic Gi bbs measures of Ising model on Cayley trees,” Theor. Math. Phys. 156(2), 1218–1227 (2008)
work page 2008
-
[27]
Construction of a set of p-adic distributions,
U.A. Rozikov, Z.T. Tugyonov, “Construction of a set of p-adic distributions,” Theor. Math. Phys. 193(2), 1694–1702 (2017)
work page 2017
-
[28]
Schikhof, Ultrametric Calculus (Cambridge Univ
W.H. Schikhof, Ultrametric Calculus (Cambridge Univ. Press, Cambridge, 1984)
work page 1984
-
[29]
A.N. Shiryaev, Probability, 2nd ed. Graduate Texts in Mathematics, 95. (Springer, New York, 1996)
work page 1996
-
[30]
V.S. Vladimirov, I. V. Volovich, E. V. Zelenov, p-Adic Analysis and Mathematical Physics (Nauka, Moscow, 1994; World Sci., Singapore, 1994). A. Le Ny, Université P aris-Est, Labora toire d’Analyse et de Ma théma tiques Appliquées, LAMA UMR CNRS 8050, UPEC, 91 A venue du Général de Gaulle, 9401 0 Créteil cedex, France. E-mail address : arnaud.le-ny@u-pec.f...
work page 1994
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.