Pith. sign in

REVIEW 1 major objections 1 minor 3 cited by

The homology torsion growth of determinantal hypertrees

T0 review · 1 major / 1 minor · reviewed 2026-05-19 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read For a random d-dimensional determinantal hypertree on n vertices, the log of the torsion in its (d-1)th homology group divided by binom(n,d) converges in probability to a constant c_d bounded between (1/2)log((d+1)/e) and (1/2)log(d+1).

desk verdict The paper proves that normalized log torsion in the homology of random determinantal hypertrees converges in probability to a constant c_d with explicit bounds. read the letter →

arxiv 2506.14694 v2 submitted 2025-06-17 math.CO math.ATmath.PR

András Mészáros This is my paper · ORCID
classification math.COmath.ATmath.PR
keywords homologytorsiondeterminantalhypertreesrandomgrowthconvergenceinprobabilityhigh-dimensionalcomplexescombinatorialtopologyof
verification ladder T0 review T1 audit T2 compute T3 formal

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 paper proves that this normalized log torsion converges in probability to some constant c_d for any fixed dimension d at least 2. The constant satisfies explicit lower and upper bounds that depend only on d. A reader would care because the result gives a precise asymptotic description of how large the torsion typically becomes in these random high-dimensional structures as the number of vertices grows. The convergence means that for most such hypertrees the torsion is exponentially large in the number of possible d-subsets, with a growth rate that is known up to a factor of roughly 2 in the log scale.

What carries the argument

The probability measure on d-dimensional determinantal hypertrees T_n, which induces a distribution on their homology groups whose torsion can be normalized and shown to concentrate.

What would settle it

Numerical computation of the average of log |H_{d-1}(T_n, Z)| / binom(n,d) for d=2 and n up to several hundred, checking whether the values stabilize inside the interval from (1/2)log(3/e) to (1/2)log(3).

Watch

Extended reading notes

Core claim

We prove that log|H_{d-1}(T_n, Z)| / binom(n,d) converges in probability to a constant c_d, which satisfies (1/2) log((d+1)/e) ≤ c_d ≤ (1/2) log(d+1).

Load-bearing premise

The random model of determinantal hypertrees is well-defined so that the homology torsion is a finite positive integer for almost every realization.

Editorial extensions

If this is right

  • The typical size of the torsion is exp(c_d * binom(n,d) + o(binom(n,d))), so it grows exponentially with the number of d-subsets.
  • The growth rate c_d is sandwiched between the two explicit logarithmic expressions for every fixed d >= 2.
  • The same limit holds with high probability under the determinantal measure, not just on average.
  • The result applies uniformly across all dimensions d once n is large enough relative to d.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The bounds suggest that c_d is roughly (1/2)log(d) for large d, which might be compared with growth rates in other random simplicial complexes.
  • Exact computation of c_d itself would require finer analysis of the underlying determinantal probabilities beyond the sandwich bounds.
  • The convergence in probability could be strengthened to almost-sure convergence or to a central limit theorem for the fluctuations.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 1 minor

Summary. The manuscript proves that for a random d-dimensional determinantal hypertree T_n on n vertices, the normalized quantity log |H_{d-1}(T_n, Z)| / binom(n,d) converges in probability to a constant c_d satisfying the explicit bounds (1/2) log((d+1)/e) ≤ c_d ≤ (1/2) log(d+1).

Significance. If the result holds, it supplies a law-of-large-numbers statement for homology torsion growth under the determinantal model, which is notable for permitting exact combinatorial calculations. The non-vacuous matching bounds on c_d are a clear strength, as they arise directly from the model without fitted parameters and give concrete control on the growth rate.

major comments (1)
  1. [Model definition and main theorem statement] The central convergence statement presupposes that the determinantal construction defines a probability measure supported precisely on d-dimensional hypertrees (vanishing lower homology) for which H_{d-1}(T_n, Z) is finite torsion almost surely. This well-definedness and normalization must be established explicitly (see the model definition and the statement of the main theorem); otherwise log |H_{d-1}| is not a well-defined random variable and the normalized convergence claim does not make sense.
minor comments (1)
  1. [Abstract] The binomial coefficient in the abstract is typeset as {{n choose d}}; standard LaTeX binom notation would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback. We address the single major comment below and will revise the manuscript to strengthen the explicit justification of the model.

read point-by-point responses

  1. Referee: The central convergence statement presupposes that the determinantal construction defines a probability measure supported precisely on d-dimensional hypertrees (vanishing lower homology) for which H_{d-1}(T_n, Z) is finite torsion almost surely. This well-definedness and normalization must be established explicitly (see the model definition and the statement of the main theorem); otherwise log |H_{d-1}| is not a well-defined random variable and the normalized convergence claim does not make sense.

    Authors: We agree that an explicit statement of well-definedness is needed for full rigor. The determinantal construction is defined to be supported on d-dimensional hypertrees (hence with vanishing lower-dimensional homology) by the properties of the underlying determinantal process on the simplicial matroid; finiteness of H_{d-1} torsion follows because every such complex is finite. Nevertheless, to meet the referee's request, we will add a short proposition immediately after the model definition that proves the measure is supported precisely on hypertrees with finite H_{d-1} torsion almost surely, and we will update the main theorem statement to reference this fact. These changes will be incorporated in the revised manuscript. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

Convergence result derived from model definition with no reduction to inputs by construction

full rationale

The paper defines the determinantal hypertree model and proves a law of large numbers for the normalized log torsion order via direct analysis of the random complex. No equation equates the target limit to a fitted parameter, no self-citation supplies a uniqueness theorem that forces the result, and the stated bounds on c_d are obtained from separate volume or entropy estimates rather than tautological renaming. The derivation chain is self-contained against the model's probability measure and standard homological algebra; the a.s. finiteness of torsion is part of the model's well-definedness rather than an output assumed in the proof.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The result rests on the standard definition of determinantal hypertrees and the finiteness of torsion in the relevant homology groups; no free parameters or invented entities are introduced in the abstract statement.

assumptions (2)
  • domain assumption The random determinantal hypertree model is a well-defined probability space on which homology is defined and torsion is finite almost surely.
    Required for |H_{d-1}(T_n,Z)| to be a positive integer whose normalized log can converge.
  • standard math Standard properties of simplicial homology with integer coefficients hold for the hypertrees under consideration.
    Background fact from algebraic topology invoked to make sense of H_{d-1}(T_n,Z).

how reviews work

0 comments
Cite this review

Pith. "Pith review of The homology torsion growth of determinantal hypertrees." pith.science (2026). https://pith.science/paper/2506.14694

@misc{pith2026250614694,
  author       = {Pith},
  title        = {Pith review of: The homology torsion growth of determinantal hypertrees},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2506.14694}},
  note         = {Machine review of arXiv:2506.14694}
}
abstract

Fix a dimension $d\ge 2$, and let $T_n$ be a random $d$-dimensional determinantal hypertree on $n$ vertices. We prove that \[\frac{\log|H_{d-1}(T_n,\mathbb{Z})|}{{{n\choose {d}}}}\] converges in probability to a constant $c_d$, which satisfies \[\frac{1}2 \log\left(\frac{d+1}e\right)\le c_d\le \frac{1}2 \log\left(d+1\right) .\]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Local limits of determinantal processes

    math.PR 2025-10 conditional novelty 7.0 of 10

    The local limit of the determinantal process on a C4-free (d,k+1)-bi-regular bipartite graph, as d tends to infinity, is a multi-type Poisson(k) branching tree T_k.

  2. Using dense graph limit theory to count cocycles of random simplicial complexes

    math.CO 2025-09 conditional novelty 7.0 of 10

    For every prime p, the dimension of H_1(T_n, F_p) of a random 2-dimensional determinantal hypertree and of a random 1-out 2-complex is o(n^2) in probability.

  3. A mod $p$ determinant criterion for Cohen--Lenstra convergence of random $p$-adic matrices with prescribed zero patterns

    math.NT 2026-06 unverdicted novelty 6.0 of 10

    For stair-shaped support patterns, Cohen-Lenstra convergence of cokernels of random p-adic matrices is equivalent to asymptotic nonsingularity of their mod-p reductions.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · cited by 3 Pith papers

  1. [1]

    On homology torsion growth.Journal of the European Mathematical Society, 2024

    Miklos Abert, Nicolas Bergeron, Mikołaj Frączyk, and Damien Gaboriau. On homology torsion growth.Journal of the European Mathematical Society, 2024

    work page 2024

  2. [2]

    Rank, combinatorial cost, and homology torsion growth in higher rank lattices

    Miklos Abert, Tsachik Gelander, and Nikolay Nikolov. Rank, combinatorial cost, and homology torsion growth in higher rank lattices. Duke Mathematical Journal, 166(15):2925–2964, 2017

    work page 2017

  3. [3]

    Benjamini-Schramm convergence and pointwise convergence of the spectral measure.preprint, 2013

    Miklos Abért, Andreas Thom, and Balint Virág. Benjamini-Schramm convergence and pointwise convergence of the spectral measure.preprint, 2013

    work page 2013

  4. [4]

    The continuum random tree I.Annals of Probability, 19(1):1 – 28, 1991

    David Aldous. The continuum random tree I.Annals of Probability, 19(1):1 – 28, 1991

    work page 1991

  5. [5]

    The continuum random tree II

    David Aldous. The continuum random tree II. An overview.Stochastic analysis, 167:23– 70, 1991

    work page 1991

  6. [6]

    The continuum random tree III.Annals of Probability, pages 248–289, 1993

    David Aldous. The continuum random tree III.Annals of Probability, pages 248–289, 1993

    work page 1993

  7. [7]

    When does the top homology of a random simplicial complex vanish? Random Structures & Algorithms, 46(1):26–35, 2015

    Lior Aronshtam and Nathan Linial. When does the top homology of a random simplicial complex vanish? Random Structures & Algorithms, 46(1):26–35, 2015

    work page 2015

  8. [8]

    The asymptotic growth of torsion homology for arithmetic groups.Journal of the Institute of Mathematics of Jussieu, 12(2):391–447, 2013

    Nicolas Bergeron and Akshay Venkatesh. The asymptotic growth of torsion homology for arithmetic groups.Journal of the Institute of Mathematics of Jussieu, 12(2):391–447, 2013

    work page 2013

Show all 41 references
  1. [9]

    Non-standard limits of graphs and some orbit equivalence invariants.Annales Henri Lebesgue, 4:1235–1293, 2021

    Alessandro Carderi, Damien Gaboriau, and Mikael de La Salle. Non-standard limits of graphs and some orbit equivalence invariants.Annales Henri Lebesgue, 4:1235–1293, 2021

    2021

  2. [10]

    Matchings in vertex-transitive bipartite graphs.Israel Journal of Math- ematics, 215(1):99–134, 2016

    Péter Csikvári. Matchings in vertex-transitive bipartite graphs.Israel Journal of Math- ematics, 215(1):99–134, 2016

    2016

  3. [11]

    Simplicial matrix-tree theorems

    Art Duval, Caroline Klivans, and Jeremy Martin. Simplicial matrix-tree theorems. Transactions of the American Mathematical Society, 361(11):6073–6114, 2009. 12

    2009

  4. [12]

    Geometry of growth: Approximation theorems forL2 invariants

    Michael Farber. Geometry of growth: Approximation theorems forL2 invariants. Math- ematische Annalen, 311(2):335–375, 1998

    1998

  5. [13]

    Growth of mod-2 homology in higher-rank locally symmetric spaces

    Mikolaj Fraczyk. Growth of mod-2 homology in higher-rank locally symmetric spaces. Duke Mathematical Journal, 171(2):247–271, 2022

    2022

  6. [14]

    Random labelled trees and their branching networks.Journal of the Australian Mathematical Society, 30(2):229–237, 1980

    Geoffrey R Grimmett. Random labelled trees and their branching networks.Journal of the Australian Mathematical Society, 30(2):229–237, 1980

    1980

  7. [15]

    The threshold for integer homology in random d-complexes

    Christopher Hoffman, Matthew Kahle, and Elliot Paquette. The threshold for integer homology in random d-complexes. Discrete & Computational Geometry, 57:810–823, 2017

    2017

  8. [16]

    Determinantal processes and independence.Probability Surveys, 3:206–229, 2006

    J Ben Hough, Manjunath Krishnapur, Yuval Peres, and Bálint Virág. Determinantal processes and independence.Probability Surveys, 3:206–229, 2006

    2006

  9. [17]

    Cohen–Lenstra heuristics for torsion in homology of random complexes

    Matthew Kahle, Frank H Lutz, Andrew Newman, and Kyle Parsons. Cohen–Lenstra heuristics for torsion in homology of random complexes. Experimental Mathematics, 29(3):347–359, 2020

    2020

  10. [18]

    Topology and geometry of random 2-dimensional hypertrees

    Matthew Kahle and Andrew Newman. Topology and geometry of random 2-dimensional hypertrees. Discrete & Computational Geometry, 67(4):1229–1244, 2022

    2022

  11. [19]

    Inside the critical window for cohomology of random k-complexes

    Matthew Kahle and Boris Pittel. Inside the critical window for cohomology of random k-complexes. Random Structures & Algorithms, 48(1):102–124, 2016

    2016

  12. [20]

    Enumerationof Q-acyclicsimplicialcomplexes

    GilKalai. Enumerationof Q-acyclicsimplicialcomplexes. Israel Journal of Mathematics, 45:337–351, 1983

    1983

  13. [21]

    Distribution of the cokernels of determinantal row-sparse matrices

    Jungin Lee and Myungjun Yu. Distribution of the cokernels of determinantal row-sparse matrices. arXiv preprint arXiv:2505.11700, 2025

    2025

  14. [22]

    Homological connectivity of random 2-complexes

    Nathan Linial and Roy Meshulam. Homological connectivity of random 2-complexes. Combinatorica, 26(4):475–487, 2006

    2006

  15. [23]

    On the phase transition in random simplicial complexes

    Nathan Linial and Yuval Peled. On the phase transition in random simplicial complexes. Annals of Mathematics, pages 745–773, 2016

    2016

  16. [24]

    Enumeration and randomized constructions of hypertrees

    Nati Linial and Yuval Peled. Enumeration and randomized constructions of hypertrees. Random Structures & Algorithms, 55(3):677–695, 2019

    2019

  17. [25]

    ApproximatingL2-invariants by their finite-dimensional analogues.Ge- ometric & Functional Analysis GAFA, 4:455–481, 1994

    Wolfgang Lück. ApproximatingL2-invariants by their finite-dimensional analogues.Ge- ometric & Functional Analysis GAFA, 4:455–481, 1994

    1994

  18. [26]

    Integral homology of random simplicial complexes

    Tomasz Łuczak and Yuval Peled. Integral homology of random simplicial complexes. Discrete & Computational Geometry, 59(1):131–142, 2018

    2018

  19. [27]

    Determinantal probability measures

    Russell Lyons. Determinantal probability measures. Publications Mathématiques de l’IHÉS, 98:167–212, 2003

    2003

  20. [28]

    Asymptotic enumeration of spanning trees.Combinatorics, Probability and Computing, 14(4):491–522, 2005

    Russell Lyons. Asymptotic enumeration of spanning trees.Combinatorics, Probability and Computing, 14(4):491–522, 2005

    2005

  21. [29]

    Random complexes and ℓ2-betti numbers

    Russell Lyons. Random complexes and ℓ2-betti numbers. Journal of Topology and Analysis, 1(02):153–175, 2009. 13

    2009

  22. [30]

    Identities and inequalities for tree entropy.Combinatorics, Probability and Computing, 19(2):303–313, 2010

    Russell Lyons. Identities and inequalities for tree entropy.Combinatorics, Probability and Computing, 19(2):303–313, 2010

    2010

  23. [31]

    Cambridge University Press, 2017

    Russell Lyons and Yuval Peres.Probability on trees and networks, volume 42. Cambridge University Press, 2017

    2017

  24. [32]

    Homological connectivity of random k-dimensional complexes

    Roy Meshulam and Nathan Wallach. Homological connectivity of random k-dimensional complexes. Random Structures & Algorithms, 34(3):408–417, 2009

    2009

  25. [33]

    The local weak limit of k-dimensional hypertrees.Transactions of the American Mathematical Society, 375(9):6127–6154, 2022

    András Mészáros. The local weak limit of k-dimensional hypertrees.Transactions of the American Mathematical Society, 375(9):6127–6154, 2022

    2022

  26. [34]

    The2-torsion of determinantal hypertrees is not Cohen-Lenstra.arXiv preprint arXiv:2404.02308, 2024

    András Mészáros. The2-torsion of determinantal hypertrees is not Cohen-Lenstra.arXiv preprint arXiv:2404.02308, 2024

    2024

  27. [35]

    Coboundary expansion for the union of determinantal hypertrees

    András Mészáros. Coboundary expansion for the union of determinantal hypertrees. Random Structures & Algorithms,, 65(4):896–914, 2024

    2024

  28. [36]

    Bounds on the mod 2 homology of random 2-dimensional determi- nantal hypertrees.Combinatorica, 45(2):17, 2025

    András Mészáros. Bounds on the mod 2 homology of random 2-dimensional determi- nantal hypertrees.Combinatorica, 45(2):17, 2025

    2025

  29. [37]

    Cohen–Lenstra distribution for sparse matrices with determinantal biasing

    András Mészáros. Cohen–Lenstra distribution for sparse matrices with determinantal biasing. International Mathematics Research Notices, 2025(3), 2025

    2025

  30. [38]

    The integer homology threshold in Yd(n, p)

    Andrew Newman and Elliot Paquette. The integer homology threshold in Yd(n, p). Proceedings of the American Mathematical Society, 151(08):3213–3228, 2023

    2023

  31. [39]

    Distribution of labelled trees by diameter

    George Szekeres. Distribution of labelled trees by diameter. In Combinatorial Math- ematics X: Proceedings of the Conference held in Adelaide, Australia, August 23–27, 1982, pages 392–397. Springer, 2006

    1982

  32. [40]

    Sofic groups and diophantine approximation.Communications on Pure and Applied Mathematics, 61(8):1155–1171, 2008

    Andreas Thom. Sofic groups and diophantine approximation.Communications on Pure and Applied Mathematics, 61(8):1155–1171, 2008

    2008

  33. [41]

    Simplex links in determinantal hypertrees.Journal of Applied and Computational Topology, pages 1–26, 2024

    Andrew Vander Werf. Simplex links in determinantal hypertrees.Journal of Applied and Computational Topology, pages 1–26, 2024. meszaros@renyi.hu HUN-REN Alfréd Rényi Institute of Mathematics, Budapest, Hungary 14

    2024

Pith tools

Reviewed May 19, 2026 · model on record in the stance chip above.