REVIEW 2 major objections 5 minor 58 references
The rank evolution of block bidiagonal matrices over finite fields
T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read For random block bidiagonal matrices over F_q, the corank undergoes a phase transition at k approximately q^{n/2}: near-zero, Cohen-Lenstra type, then Gaussian.
desk verdict A genuinely new phase transition for block bidiagonal rank over finite fields, rigorously proved in the even case; the odd-n results are stated without proof and need real checking before publication. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
The method is unusual. The increase in rank from one step to the next forms a Markov chain whose transition probabilities can be written explicitly. After rescaling, this chain converges to a continuous-time random walk on the integers with rates q^{-a} and q^a. The paper couples the two processes so that their embedded jumps agree for an exponentially long time. This coupling turns rank questions into questions about a random walk: how many down jumps it makes and where it sits at time t.
A truncated version of the model shows the same transition at the level of the Cohen-Lenstra distribution, the standard universal limit for cokernels of random matrices. The paper also proves that kernel vectors are spread out before the transition and can be supported on small pieces after it. This is a finite-field analog of the localization-delocalization transition known for random band matrices.
Extended reading notes
Core claim
Theorem 5 states the core phase transition: if t_n = q^{-n/2}/(q-1) k_n, then as n goes to infinity, (1) if t_n to 0, dim ker C^{(n)}_{2k_n} converges to 0 in probability; (2) if t_n to t in (0, infinity), dim ker C^{(n)}_{2k_n} converges to D_{-infinity,t} in total variation; (3) if t_n to infinity, (dim ker C^{(n)}_{2k_n} - mu_n t_n)/(sigma sqrt(t_n)) converges in distribution to a standard normal variable, with mu_n = 2 sum_{i>=1} q^{-i(i-1)} / (1 + 2 sum_{i>=1} q^{-i^2}) + O(q^{-n/2}).
Load-bearing premise
The coupling theorem (Theorem 18) only applies to initial states within 2 alpha n of the center m. For C_{2k}, the true initial state is X_0 = 0, i.e., Y_0 = -m, far outside this window. The proof bridges the gap with Lemma 33: starting from 0, the chain reaches the window m - 2 alpha n within time q^{m - alpha n} with high probability, and during those first steps the rank drops satisfy X_{2i-1} + X_{2i} = n. If Lemma 33 failed, the limiting object would not be the excursion-based variable D_{-infinity,t}.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies uniform random block lower bidiagonal matrices over the finite field F_q, tracking the rank increments X_i = rank(C_i) - rank(C_{i-1}). It proves that X_i is an explicit reversible Markov chain and uses a strong coupling of its rescaled even-indexed subsequence to a continuous-time random walk Z_t to establish a phase transition in the corank at block count k_n ≈ q^{n/2}. Below the critical scale the corank is either zero or follows Cohen–Lenstra-type fluctuations; at the critical scale it converges to explicitly described random variables built from Z_t; above the critical scale it has Gaussian fluctuations with derived constants μ_n and σ. The paper also proves a localization/delocalization transition for kernel vectors of a truncated version of the matrices. The even-n case is proved in detail; the odd-n analogues are stated in Section 1.3 with the comment that their proofs are almost the same and are omitted.
Significance. If the results are fully established, this is a strong contribution to the theory of random matrices over finite fields. The even-n core is genuinely substantive: the transition matrix in Lemma 1 is explicit and parameter-free, the coupling in Theorem 18 is strong (it controls embedded chains, jump times, and an additional structural event (d)), and the Gaussian limits in Section 6 are obtained from a regenerative-cycle CLT rather than by fitting constants. The paper also connects Cohen–Lenstra universality, heavy-tailed critical corank distributions, and kernel localization, which is of independent interest. The main caveat is that several central statements, namely the odd-n analogues, are not proved and in one case not even stated precisely. The even-n arguments appear sound, so the missing odd-n treatment is likely repairable, but it is currently a real completeness gap.
major comments (2)
- [Section 1.3] The odd-n results (Theorem 11, Lemma 13, Theorem 14, and the asserted odd-n analogue of Theorem 6) are stated but their proofs are omitted. The sentence 'As the proofs in the case of odd n are almost the same as in the case of even n, we only provide proofs for the even case' is not a sufficient justification, because the odd-n case is not a literal repetition: the limiting process lives on Z + 1/2, the stationary measure is not symmetric about n/2, and the asymptotic value of μ_n given in Theorem 14(3) differs from the even-n value in (5). In particular, the Gaussian-limit proof in Section 6 is written for the even-indexed chain X_{2i} with center m = n/2 and uses the excursion decomposition and equation (30); for odd n the center is m + 1/2 and this decomposition has to be reworked. These are load-bearing claims of the paper, not corollaries that can be checked by inspection. Please provide the full odd-n proofs, or at minimum a rigorous reduction to the even-n arguments that addresses the parity-specific stationary and excursion issues. In addition, the announced odd-n analogue of Theorem 6 is never stated explicitly; the reader is only told that a similar analogue exists.
- [Lemma 13] Lemma 13 (the existence of the total-variation limit (D^odd_{-∞,t}, Z^odd_{-∞,t}) as the initial state tends to -∞) is stated without proof. The proof of the even-n Lemma 4 relies on coupling independent copies of Z and on the jump-count estimates of Section 4; those ingredients are not transferred to Z^odd. Because Lemma 13 is used in Theorem 14(2) and in the odd-n analogue of Theorem 6, its proof cannot be deferred as 'almost the same.'
minor comments (5)
- [Theorem 10(2)] The quantifier 'for each L ≥ ε' should read 'for each positive integer L ≥ ε (with L ≤ k_n+1 asymptotically)', since an L-localized kernel is defined only for positive integers L.
- [Lemma 33, proof] The displayed summation has inconsistent upper limits: the first sum runs to m−αn while the following equality uses m−2αn. Please correct the indexing so that the displayed estimate is unambiguous.
- [Section 7.1] Section 7.1 is headed 'The proof of part (1) of Theorem 5' but sits inside the localization section; renumber or cross-reference to avoid confusion.
- [Lemma 27] The text says 'Cauchy-Schwartz'; the standard spelling is 'Cauchy–Schwarz'.
- [Theorems 5(3) and 8(3)] These theorems assert the existence of a constant σ>0 without displaying its value. Consider explicitly defining σ^2 = Var(V∞)/EU∞, as is done in Section 6.1, so that the statement is more informative.
Assumptions & free parameters
assumptions (4)
- standard math Rank distribution of a uniform random (n-d) x n matrix over F_q is q^{-(n-d-r)(n-r)} (q^{-(n-d)};q)_r (q^{-n};q)_r / (q^{-r};q)_r.
- standard math Identity (56) from [36]: dim ker C'_{2k-1} = dim ker A'_1 A'_2 ... A'_k for bidiagonal matrices with identity off-diagonal blocks.
- domain assumption Nguyen-Van Peski local limit theorems for cokernels of random matrix products (Theorems from [39] and [51]).
- domain assumption Wood's Cohen-Lenstra universality theorem for kernels of random matrices over F_p (Theorem from [54]).
Cite this review
Pith. "Pith review of The rank evolution of block bidiagonal matrices over finite fields." pith.science (2026). https://pith.science/paper/KEGG5PWO
@misc{pith2026250412275,
author = {Pith},
title = {Pith review of: The rank evolution of block bidiagonal matrices over finite fields},
year = {2026},
howpublished = {\url{https://pith.science/paper/KEGG5PWO}},
note = {Machine review of arXiv:2504.12275}
}
abstract
We investigate uniform random block lower bidiagonal matrices over the finite field $\mathbb{F}_q$, and prove that their rank undergoes a phase transition. First, we consider block lower bidiagonal matrices with $(k_n+1)\times k_n$ blocks where each block is of size $n\times n$. We prove that if $k_n\ll q^{n/2}$, then these matrices have full rank with high probability, and if $k_n\gg q^{n/2}$, then the rank has Gaussian fluctuations. Second, we consider block lower bidiagonal matrices with $k_n\times k_n$ blocks where each block is of size $n\times n$. We prove that if $k_n\ll q^{n/2}$, then the rank exhibits the same constant order fluctuations as the rank of the matrix products considered by Nguyen and Van Peski, and if $k_n\gg q^{n/2}$, then the rank has Gaussian fluctuations. Finally, we also consider a truncated version of the first model, where we prove that at $k_n\approx q^{n/2}$, we have a phase transition between a Cohen-Lenstra and a Gaussian limiting behavior of the rank. We also show that there is a localization/delocalization phase transition for the vectors in the kernels of these matrices at the same critical point. In all three cases, we also provide a precise description of the behavior of the rank at criticality. These results are proved by analyzing the limiting behavior of a Markov chain obtained from the increments of the ranks of these matrices.
Figures
Reference graph
Works this paper leans on
-
[1]
Infinite p-adic random matrices and ergodic decomposition of p-adic Hua measures
Theodoros Assiotis. Infinite p-adic random matrices and ergodic decomposition of p-adic Hua measures. Transactions of the American Mathematical Society , 375(3):1745–1766, 2022
work page 2022
-
[2]
Delocalization for a class of random block band matrices
Zhigang Bao and László Erdős. Delocalization for a class of random block band matrices. Probability Theory and Related Fields , 167:673–776, 2017
work page 2017
-
[3]
Modeling the distribution of ranks, Selmer groups, and Shaf arevich–Tate groups of elliptic curves
Manjul Bhargava, Daniel M Kane, Hendrik W Lenstra, Bjorn Poonen, and Eric Rains. Modeling the distribution of ranks, Selmer groups, and Shaf arevich–Tate groups of elliptic curves. Cambridge Journal of Mathematics , 3(3):275–321, 2015
work page 2015
-
[4]
Paul Bourgade. Random band matrices. In Proceedings of the International Congress of Mathematicians: Rio de Janeiro 2018 , pages 2759–2783. World Scientific, 2018
work page 2018
-
[5]
Random band matrices in the delocalized phase, II: Generalized resolvent estimates
Paul Bourgade, Fan Yang, H-T Yau, and Jun Yin. Random band matrices in the delocalized phase, II: Generalized resolvent estimates. Journal of Statistical Physics , 174:1189–1221, 2019
work page 2019
-
[6]
Random band ma trices in the delocalized phase I: Quantum unique ergodicity and universality
Paul Bourgade, Horng Tzer Yau, and Jun Yin. Random band ma trices in the delocalized phase I: Quantum unique ergodicity and universality. Communications on Pure and Applied Mathematics, 73(7):1526–1596, 2020
work page 2020
-
[7]
The density of states and local eigenvalue statistics for random band matrices of fixed width
Benjamin Brodie and Peter D Hislop. The density of states and local eigenvalue statistics for random band matrices of fixed width. Journal of Spectral Theory , 12(2):417–457, 2022
work page 2022
-
[8]
The asymptotic probability that a random biased matrix is invertible
Leonard S Charlap, Howard D Rees, and David P Robbins. The asymptotic probability that a random biased matrix is invertible. Discrete Mathematics , 82(2):153–163, 1990
work page 1990
Show all 58 references
-
[9]
Random band matrix locali zation by scalar fluctuations
Nixia Chen and Charles K Smart. Random band matrix locali zation by scalar fluctuations. arXiv preprint arXiv:2206.06439 , 2022
2022 arXiv
-
[10]
Generalizations of results of Friedman and Washing- ton on cokernels of random p-adic matrices
Gilyoung Cheong and Nathan Kaplan. Generalizations of results of Friedman and Washing- ton on cokernels of random p-adic matrices. Journal of Algebra , 604:636–663, 2022. 42
2022
-
[11]
The d istribution of the cokernel of a polynomial push-forward of a random Zp-matrix with a fixed residue class modulo p
Gilyoung Cheong, Yunqi Liang, and Michael Strand. The d istribution of the cokernel of a polynomial push-forward of a random Zp-matrix with a fixed residue class modulo p. arXiv:2209.03626, 2022
2022 arXiv
-
[12]
The cokernel of a polyn omial of a random integral matrix
Gilyoung Cheong and Myungjun Yu. The cokernel of a polyn omial of a random integral matrix. arXiv:2303.09125, 2023
2023 arXiv
-
[13]
Dynamical localization for random band matrices up to w ≪ n1/4
Giorgio Cipolloni, Ron Peled, Jeffrey Schenker, and Jac ob Shapiro. Dynamical localization for random band matrices up to w ≪ n1/4. Communications in Mathematical Physics , 405(3):82, 2024
2024
-
[14]
On a Cohen–Lenstra heuristic for Jacobians of random graphs
Julien Clancy, Nathan Kaplan, Timothy Leake, Sam Payne , and Melanie Matchett Wood. On a Cohen–Lenstra heuristic for Jacobians of random graphs . Journal of Algebraic Combi- natorics, 42:701–723, 2015
2015
-
[15]
A note on Ja cobians, Tutte polynomials, and two-variable zeta functions of graphs
Julien Clancy, Timothy Leake, and Sam Payne. A note on Ja cobians, Tutte polynomials, and two-variable zeta functions of graphs. Experimental Mathematics , 24(1):1–7, 2015
2015
-
[16]
Heuristics on clas s groups of number fields
Henri Cohen and Hendrik W Lenstra Jr. Heuristics on clas s groups of number fields. In Number Theory Noordwijkerhout , pages 33–62. 1983
1983
-
[17]
Heuristics on Tate-Shafarevitc h groups of elliptic curves defined over Q
Christophe Delaunay. Heuristics on Tate-Shafarevitc h groups of elliptic curves defined over Q. Experimental Mathematics, 10(2):191–196, 2001
2001
-
[18]
Quantum diffusion and de localization for band matrices with general distribution
László Erdős and Antti Knowles. Quantum diffusion and de localization for band matrices with general distribution. In Annales Henri Poincaré , volume 12, pages 1227–1319. Springer, 2011
2011
-
[19]
The Altshuler–Shklovs kii formulas for random band ma- trices I: the unimodular case
László Erdős and Antti Knowles. The Altshuler–Shklovs kii formulas for random band ma- trices I: the unimodular case. Communications in Mathematical Physics , 333(3):1365–1416, 2015
2015
-
[20]
The Altshuler–Shklovs kii formulas for random band ma- trices II: the general case
László Erdős and Antti Knowles. The Altshuler–Shklovs kii formulas for random band ma- trices II: the general case. In Annales Henri Poincaré , volume 16, pages 709–799. Springer, 2015
2015
-
[21]
Delocalization and diffusion profile for random band matrices
László Erdős, Antti Knowles, Horng-Tzer Yau, and Jun Yi n. Delocalization and diffusion profile for random band matrices. Communications in Mathematical Physics , 323:367–416, 2013
2013
-
[22]
Time-inhomogeneous random walks on finite groups and cokernels of random integer block matrices
Elia Gorokhovsky. Time-inhomogeneous random walks on finite groups and cokernels of random integer block matrices. arXiv preprint arXiv:2405.11435 , 2024
2024 arXiv
-
[23]
On the local eigenvalue sta tistics for random band matrices in the localization regime
Peter D Hislop and M Krishna. On the local eigenvalue sta tistics for random band matrices in the localization regime. Journal of Statistical Physics , 187(3):26, 2022
2022
-
[24]
The distribution of sandpile groups of ra ndom graphs with their pairings
Eliot Hodges. The distribution of sandpile groups of ra ndom graphs with their pairings. Transactions of the American Mathematical Society , 377(12):8769–8815, 2024
2024
-
[25]
Joint distribution of the cok ernels of random p-adic matrices ii
Jiwan Jung and Jungin Lee. Joint distribution of the cok ernels of random p-adic matrices ii. In Forum Mathematicum, volume 36, pages 1119–1145. De Gruyter, 2024
2024
-
[26]
Singularity probabilities f or random matrices over finite fields
Jeff Kahn and János Komlós. Singularity probabilities f or random matrices over finite fields. Combinatorics, Probability and Computing , 10(2):137–157, 2001. 43
2001
-
[27]
Random p-adic matrices with fixed zero entries and the Cohen–Lenstra distribution
Dong Yeap Kang, Jungin Lee, and Myungjun Yu. Random p-adic matrices with fixed zero entries and the Cohen–Lenstra distribution. arXiv preprint arXiv:2409.01226 , 2024
2024 arXiv
-
[28]
Limit be havior of the number of solutions of a system of random linear equations over a finite field or a finit e ring
Igor Nikolaevich Kovalenko and AA Levitskaya. Limit be havior of the number of solutions of a system of random linear equations over a finite field or a finit e ring. In Doklady Akademii Nauk, volume 221, pages 778–781. Russian Academy of Sciences, 19 75
-
[29]
On the rank of matrices wit h random boolean elements
Mikhail Vasil’evich Kozlov. On the rank of matrices wit h random boolean elements. In Doklady Akademii Nauk , volume 169, pages 1013–1016. Russian Academy of Sciences, 1966
1966
-
[30]
Joint distribution of the cokernels of rand om p-adic matrices
Jungin Lee. Joint distribution of the cokernels of rand om p-adic matrices. In Forum Math- ematicum, number 0. De Gruyter, 2023
2023
-
[31]
Universality of the cokernels of random p-adic Hermitian matrices
Jungin Lee. Universality of the cokernels of random p-adic Hermitian matrices. Transactions of the American Mathematical Society , 376(12):8699–8732, 2023
2023
-
[32]
A random walk on the category of finite abeli an p-groups
Nikita Lvov. A random walk on the category of finite abeli an p-groups. arXiv preprint arXiv:2408.06492, 2024
2024 arXiv
-
[33]
The distribution of sandpile groups o f random regular graphs
András Mészáros. The distribution of sandpile groups o f random regular graphs. Transactions of the American Mathematical Society , 373(9):6529–6594, 2020
2020
-
[34]
The 2-torsion of determinantal hypertrees is not Cohen-Lenstra
András Mészáros. The 2-torsion of determinantal hypertrees is not Cohen-Lenstra . arXiv:2404.02308, 2024
2024 arXiv
-
[35]
A phase transition for the cokernels o f random band matrices over the p-adic integers
András Mészáros. A phase transition for the cokernels o f random band matrices over the p-adic integers. arXiv:2408.13037, 2024
2024 arXiv
-
[36]
Universal constant order fluctuation s for the cokernels of block lower triangular matrices
András Mészáros. Universal constant order fluctuation s for the cokernels of block lower triangular matrices. arXiv preprint arXiv:2411.11085 , 2024
2024
-
[37]
Cohen–Lenstra distribution for spar se matrices with determinantal biasing
András Mészáros. Cohen–Lenstra distribution for spar se matrices with determinantal biasing. International Mathematics Research Notices , 2025(3), 2025
2025
-
[38]
Rank fluctuations of mat rix products and a moment method for growing groups
Hoi H Nguyen and Roger Van Peski. Rank fluctuations of mat rix products and a moment method for growing groups. arXiv preprint arXiv:2409.03099v1 , 2024
2024 arXiv
-
[39]
Universality for coker nels of random matrix products
Hoi H Nguyen and Roger Van Peski. Universality for coker nels of random matrix products. Advances in Mathematics , 438:109451, 2024
2024
-
[40]
Random integral matrices: universality of surjectivity and the cokernel
Hoi H Nguyen and Melanie Matchett Wood. Random integral matrices: universality of surjectivity and the cokernel. Inventiones mathematicae , 228(1):1–76, 2022
2022
-
[41]
Local and global universality of random matrix cokernels
Hoi H Nguyen and Melanie Matchett Wood. Local and global universality of random matrix cokernels. Mathematische Annalen , pages 1–94, 2024
2024
-
[42]
On the Wegner orbital model
Ron Peled, Jeffrey Schenker, Mira Shamis, and Sasha Sodi n. On the Wegner orbital model. International Mathematics Research Notices , 2019(4):1030–1058, 2019
2019
-
[43]
Eigenvector localization for random band matrices with power law band width
Jeffrey Schenker. Eigenvector localization for random band matrices with power law band width. Communications in Mathematical Physics , 290:1065–1097, 2009
2009
-
[44]
Gaussian universality of p-adic random matrix products via corners
Jiahe Shen. Gaussian universality of p-adic random matrix products via corners. arXiv preprint arXiv:2411.01104 , 2024
2024
-
[45]
Gaussian universality of products over spl it reductive groups and the Satake isomorphism
Jiahe Shen. Gaussian universality of products over spl it reductive groups and the Satake isomorphism. arXiv preprint arXiv:2502.06143 , 2025. 44
2025 arXiv
-
[46]
Non-Archimedean GUE cor ners and Hecke modules
Jiahe Shen and Roger Van Peski. Non-Archimedean GUE cor ners and Hecke modules. arXiv preprint arXiv:2412.05999 , 2024
2024 arXiv
-
[47]
Limits and fluctuations of p-adic rando m matrix products
Roger Van Peski. Limits and fluctuations of p-adic rando m matrix products. Selecta Math- ematica, 27:1–71, 2021
2021
-
[48]
Hall–Littlewood polynomials, bounda ries, and p-adic random matrices
Roger Van Peski. Hall–Littlewood polynomials, bounda ries, and p-adic random matrices. International Mathematics Research Notices , 2023(13):11217–11275, 2023
2023
-
[49]
Reflecting Poisson walks and dynamical universality in p-adic random matrix theory
Roger Van Peski. Reflecting Poisson walks and dynamical universality in p-adic random matrix theory. arXiv preprint arXiv:2312.11702 , 2023
2023
-
[50]
What is a p-adic Dyson Brownian motion? arXiv:2309.02865, 2023
Roger Van Peski. What is a p-adic Dyson Brownian motion? arXiv:2309.02865, 2023
2023 arXiv
-
[51]
Local limits in p-adic random matrix th eory
Roger Van Peski. Local limits in p-adic random matrix th eory. Proceedings of the London Mathematical Society, 129(3):e12626, 2024
2024
-
[52]
Statistics of number fields and function fields
Akshay Venkatesh and Jordan S Ellenberg. Statistics of number fields and function fields. In Proceedings of the International Congress of Mathematicia ns 2010 (ICM 2010) (In 4 Volumes) Vol. I: Plenary Lectures and Ceremonies Vols. II–I V: Invited Lectures, pages 383–
2010
-
[53]
The distribution of sandpile groups of ra ndom graphs
Melanie Wood. The distribution of sandpile groups of ra ndom graphs. Journal of the Amer- ican Mathematical Society , 30(4):915–958, 2017
2017
-
[54]
Random integral matrices and th e Cohen-Lenstra heuristics
Melanie Matchett Wood. Random integral matrices and th e Cohen-Lenstra heuristics. Amer- ican Journal of Mathematics , 141(2):383–398, 2019
2019
-
[55]
Number field counting, class gro up heuristics, and computation
Melanie Matchett Wood. Number field counting, class gro up heuristics, and computation. In Park City Math Institute, https: // www. ias. edu/ pcmi/ pcmi-2022-gss-lecture-notes-and-problem-sets , 2022
2022
-
[56]
Probability theory for random g roups arising in number theory
Melanie Matchett Wood. Probability theory for random g roups arising in number theory. In Proc. Int. Cong. Math , volume 6, pages 4476–4508, 2022
2022
-
[57]
Random band matrices in the delocal ized phase, III: A veraging fluctuations
Fan Yang and Jun Yin. Random band matrices in the delocal ized phase, III: A veraging fluctuations. Probability Theory and Related Fields , 179:451–540, 2021. 45
2021
-
[402]
World Scientific, 2010
2010
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.