Abstract
The walk matrix associated to an n×n integer matrix X and an integer vector b is defined by W:=(b,Xb,…,Xn−1b). We study limiting laws for the cokernel of W in the scenario where X is a random matrix with independent entries and b is deterministic. Our first main result provides a formula for the distribution of the pm-torsion part of the cokernel, as a group, when X has independent entries from a specific distribution. The second main result relaxes the distributional assumption and concerns the Z[x]-module structure.
The motivation for this work arises from an open problem in spectral graph theory, which asks to show that random graphs are often determined up to isomorphism by their (generalised) spectrum. Sufficient conditions for generalised spectral determinacy can, namely, be stated in terms of the cokernel of a walk matrix. Extensions of our results could potentially be used to determine how often those conditions are satisfied. Some remaining challenges for such extensions are outlined in the paper.
The motivation for this work arises from an open problem in spectral graph theory, which asks to show that random graphs are often determined up to isomorphism by their (generalised) spectrum. Sufficient conditions for generalised spectral determinacy can, namely, be stated in terms of the cokernel of a walk matrix. Extensions of our results could potentially be used to determine how often those conditions are satisfied. Some remaining challenges for such extensions are outlined in the paper.
Original language | English |
---|---|
Pages (from-to) | 131-150 |
Number of pages | 20 |
Journal | Combinatorics, Probability and Computing |
Volume | 34 |
Issue number | 1 |
Early online date | 18 Oct 2024 |
DOIs | |
Publication status | Published - Jan 2025 |
Funding
This work is part of the project Clustering and Spectral Concentration in Markov Chains with project number OCENW.KLEIN.324 of the research programme Open Competition Domain Science – M which is partly financed by the Dutch Research Council (NWO).
Keywords
- math.CO
- math.PR
- 05C50, 15B52, 60B20