Bounds on the mod 2 homology of random 2-dimensional simplicial complexes

András Mészáros

2024-01-25

Abstract:As a first step towards a conjecture of Kahle and Newman, we prove that if $T_n$ is a random $2$-dimensional determinantal hypertree on $n$ vertices, then \[\frac{\dim H_1(T_n,\mathbb{F}_2)}{n^2}\] converges to zero in probability.

Combinatorics,Probability

What problem does this paper attempt to address?

The local weak limit of $k$-dimensional hypertrees

András Mészáros

2024-10-02

Abstract:Let $\mathcal{C}(n,k)$ be the set of $k$-dimensional simplicial complexes $C$ over a fixed set of $n$ vertices such that: (1) $C$ has a complete $k-1$-skeleton; (2) $C$ has precisely ${{n-1}\choose {k}}$ $k$-faces; (3) the homology group $H_{k-1}(C)$ is finite. Consider the probability measure on $\mathcal{C}(n,k)$ where the probability of a simplicial complex $C$ is proportional to $|H_{k-1}(C)|^2$. For any fixed $k$, we determine the local weak limit of these random simplicial complexes as $n$ tends to infinity. This local weak limit turns out to be the same as the local weak limit of the $1$-out $k$-complexes investigated by Linial and Peled.

Combinatorics,Probability
The $2$-torsion of determinantal hypertrees is not Cohen-Lenstra

András Mészáros

2024-04-03

Abstract:Let $T_n$ be a $2$-dimensional determinantal hypertree on $n$ vertices. Kahle and Newman conjectured that the $p$-torsion of $H_1(T_n,\mathbb{Z})$ asymptotically follows the Cohen-Lenstra distribution. For $p=2$, we disprove this conjecture by showing that given a positive integer $h$, for all large enough $n$, we have \[\mathbb{P}(\dim H_1(T_n,\mathbb{F}_2)\ge h)\ge \frac{e^{-200h}}{(100h)^{5h}}.\] We also show that $T_n$ is a bad cosystolic expander with positive probability.

Combinatorics,Probability
One‐sided sharp thresholds for homology of random flag complexes

Andrew Newman

DOI: https://doi.org/10.1112/jlms.12872

2024-02-16

Journal of the London Mathematical Society

Abstract:Abstract We prove that the random flag complex has a probability regime where the probability of nonvanishing homology is asymptotically bounded away from zero and away from one. Related to this main result, we also establish new bounds on a sharp threshold for the fundamental group of a random flag complex to be a free group. In doing so, we show that there is an intermediate probability regime in which the random flag complex has fundamental group that is neither free nor has Kazhdan's property (T).

mathematics
New bounds in the discrete analogue of Minkowski's second theorem

Matthew Tointon

2024-10-01

Abstract:We adapt an argument of Tao and Vu to show that if $\lambda_1\le\cdots\le\lambda_d$ are the successive minima of an origin-symmetric convex body $K$ with respect to some lattice $\Lambda<\mathbb{R}^d$, and if we set $k=\max\{j:\lambda_j\le1\}$, then $K$ contains at most $2^k(1+\frac{\lambda_k}2)^k/\lambda_1\cdots\lambda_k$ lattice points. This provides improved bounds in a conjecture of Betke, Henk and Wills (1993), and verifies that conjecture asymptotically as $\lambda_k\to0$. We also obtain a similar result without the symmetry assumption.

Metric Geometry,Combinatorics
Degree counts in random simplicial complexes of the preferential attachment type

Takashi Owada,Gennady Samorodnitsky

2024-10-23

Abstract:We extend the classical preferential attachment random graph model to random simplicial complexes. At each stage of the model, we choose one of the existing $k$-simplices with probability proportional to its $k$-degree. The chosen $k$-simplex then forms a $(k+1)$-simplex with a newly arriving vertex. We establish a strong law of large numbers for the degree counts across multiple dimensions. The limiting probability mass function is expressed as a mixture of mass functions of different types of negative binomial random variables. This limiting distribution has power-law characteristics and we explore the limiting extremal dependence of the degree counts across different dimensions in the framework of multivariate regular variation. Finally, we prove multivariate weak convergence, under appropriate normalization, of degree counts in different dimensions, of ordered $k$-simplices. The resulting weak limit can be represented as a function of independent linear birth processes with immigration.

Probability
Lower Bounds on the Homology of Vietoris–Rips Complexes of Hypercube Graphs

Henry Adams,Žiga Virk,Adams, Henry

DOI: https://doi.org/10.1007/s40840-024-01663-x

2024-03-05

Bulletin of the Malaysian Mathematical Sciences Society

Abstract:We provide novel lower bounds on the Betti numbers of Vietoris–Rips complexes of hypercube graphs of all dimensions and at all scales. In more detail, let be the vertex set of vertices in the n -dimensional hypercube graph, equipped with the shortest path metric. Let be its Vietoris–Rips complex at scale parameter , which has as its vertex set, and all subsets of diameter at most r as its simplices. For integers $r<r'$ the inclusion is nullhomotopic, meaning no persistent homology bars have length longer than one, and we therefore focus attention on the individual spaces . We provide lower bounds on the ranks of homology groups of . For example, using cross-polytopal generators, we prove that the rank of is at least . We also prove a version of homology propagation : if and if p is the smallest integer for which , then for all . When , this result and variants thereof provide tight lower bounds on the rank of for all n , and for each we produce novel lower bounds on the ranks of homology groups. Furthermore, we show that for each , the homology groups of for contain propagated homology not induced by the initial cross-polytopal generators.</r'\)<>

mathematics
Bounds on Systoles and Homotopy Complexity

Tsachik Gelander,Paul Vollrath

2024-07-17

Abstract:We give an elementary proof of a weak variant of the homotopy type conjecture from [Gel04]. The proof relies on Belolipetskys estimate on the systole in terms of the volume which is a consequence of Prasads volume formula. In particular we extend the estimate established in [B20] for hyperbolic manifolds to general arithmetic manifolds.

Group Theory
On bounds of homological dimensions in Nakayama algebras

Dag Oskar Madsen,Rene Marczinzik

DOI: https://doi.org/10.48550/arXiv.1710.04420

2017-10-12

Abstract:Let $A$ be a Nakayama algebra with $n$ simple modules and a simple module $S$ of even projective dimension $m$. Choose $m$ minimal such that a simple $A$-module with projective dimension $2m$ exists, then we show that the global dimension of $A$ is bounded by $n+m-1$. This gives a combined generalisation of results of Gustafson \cite{Gus} and Madsen \cite{Mad}. In \cite{Bro}, Brown proved that the global dimension of quasi-hereditary Nakayama algebras with $n$ simple modules is bounded by $n$. Using our result on the bounds of global dimensions of Nakayama algebras, we give a short new proof of this result and generalise Brown's result from quasi-hereditary to standardly stratified Nakayama algebras, where the global dimension is replaced with the finitistic dimension.

Representation Theory
The volume of random simplices from elliptical distributions in high dimension

Anna Gusakova,Johannes Heiny,Christoph Thäle

2023-08-17

Abstract:Random simplices and more general random convex bodies of dimension $p$ in $\mathbb{R}^n$ with $p\leq n$ are considered, which are generated by random vectors having an elliptical distribution. In the high-dimensional regime, that is, if $p\to\infty$ and $n\to\infty$ in such a way that $p/n\to\gamma\in(0,1)$, a central and a stable limit theorem for the logarithmic volume of random simplices and random convex bodies is shown. The result follows from a related central limit theorem for the log-determinant of $p\times n$ random matrices whose rows are copies of a random vector with an elliptical distribution, which is established as well.

Probability
Randomized Lower Bounds for Tarski Fixed Points in High Dimensions

Simina Brânzei,Reed Phillips,Nicholas Recker

2024-09-06

Abstract:The Knaster-Tarski theorem, also known as Tarski's theorem, guarantees that every monotone function defined on a complete lattice has a fixed point. We analyze the query complexity of finding such a fixed point on the $k$-dimensional grid of side length $n$ under the $\leq$ relation. Specifically, there is an unknown monotone function $f: \{0,1,\ldots, n-1\}^k \to \{0,1,\ldots, n-1\}^k$ and an algorithm must query a vertex $v$ to learn $f(v)$. Our main result is a randomized lower bound of $\Omega\left( k + \frac{k \cdot \log{n}}{\log{k}} \right)$ for the $k$-dimensional grid of side length $n$, which is nearly optimal in high dimensions when $k$ is large relative to $n$. As a corollary, we characterize the randomized and deterministic query complexity on the Boolean hypercube $\{0,1\}^k$ as $\Theta(k)$.

Computational Complexity,Computer Science and Game Theory
Bounds on the connectivity of the independence complexes of hypergraphs

Demet Taylan

2024-11-16

Abstract:We provide lower bounds on the connectivity of the independence complexes of hypergraphs. Additionally, we compute the homotopy types of the independence complexes of $d$-uniform properly-connected triangulated hypergraphs.

Combinatorics,Algebraic Topology
Lower bounds on the homology of Vietoris-Rips complexes of hypercube graphs

Henry Adams,Žiga Virk

2023-09-12

Abstract:We provide novel lower bounds on the Betti numbers of Vietoris-Rips complexes of hypercube graphs of all dimensions, and at all scales. In more detail, let $Q_n$ be the vertex set of $2^n$ vertices in the $n$-dimensional hypercube graph, equipped with the shortest path metric. Let $VR(Q_n;r)$ be its Vietoris--Rips complex at scale parameter $r \ge 0$, which has $Q_n$ as its vertex set, and all subsets of diameter at most $r$ as its simplices. For integers $r<r'$ the inclusion $VR(Q_n;r)\hookrightarrow VR(Q_n;r')$ is nullhomotopic, meaning no persistent homology bars have length longer than one, and we therefore focus attention on the individual spaces $VR(Q_n;r)$. We provide lower bounds on the ranks of homology groups of $VR(Q_n;r)$. For example, using cross-polytopal generators, we prove that the rank of $H_{2^r-1}(VR(Q_n;r))$ is at least $2^{n-(r+1)}\binom{n}{r+1}$. We also prove a version of \emph{homology propagation}: if $q\ge 1$ and if $p$ is the smallest integer for which $rank H_q(VR(Q_p;r))\neq 0$, then $rank H_q(VR(Q_n;r)) \ge \sum_{i=p}^n 2^{i-p} \binom{i-1}{p-1} \cdot rank H_q(VR(Q_p;r))$ for all $n \ge p$. When $r\le 3$, this result and variants thereof provide tight lower bounds on the rank of $H_q(VR(Q_n;r))$ for all $n$, and for each $r \ge 4$ we produce novel lower bounds on the ranks of homology groups. Furthermore, we show that for each $r\ge 2$, the homology groups of $VR(Q_n;r)$ for $n \ge 2r+1$ contain propagated homology not induced by the initial cross-polytopal generators.

Combinatorics,Algebraic Topology
Random Simple-Homotopy Theory

Bruno Benedetti,Crystal Lai,Davide Lofano,Frank H. Lutz

DOI: https://doi.org/10.48550/arXiv.2107.09862

2021-09-26

Abstract:We implement an algorithm RSHT (Random Simple-Homotopy) to study the simple-homotopy types of simplicial complexes, with a particular focus on contractible spaces and on finding substructures in higher-dimensional complexes. The algorithm combines elementary simplicial collapses with pure elementary expansions. For triangulated d-manifolds with d < 7, we show that RSHT reduces to (random) bistellar flips. Among the many examples on which we test RSHT, we describe an explicit 15-vertex triangulation of the Abalone, and more generally, (14k+1)-vertex triangulations of Bing's houses with k rooms, which all can be deformed to a point using only six pure elementary expansions.

Computational Geometry,Algebraic Topology,Combinatorics,Geometric Topology
L2-determinant class and approximation of L2-Betti numbers

Thomas Schick

DOI: https://doi.org/10.1090/S0002-9947-01-02699-X

2011-08-11

Abstract:A standing conjecture in L2-cohomology is that every finite CW-complex X is of L2-determinant class. In this paper, we prove this whenever the fundamental group belongs to a large class of groups containing e.g. all extensions of residually finite groups with amenable quotients, all residually amenable groups and free products of these. If, in addition, X is L2-acyclic, we also prove that the L2-determinant is a homotopy invariant. Even in the known cases, our proof of homotopy invariance is much shorter and easier than the previous ones. Under suitable conditions we give new approximation formulas for L2-Betti numbers. Errata are added, rectifying some unproved statements about "amenable extension": throughout, amenable extensions should be extensions with \emph{normal} subgroups.

Geometric Topology,K-Theory and Homology
Dual boundary complexes of Betti moduli spaces over the two-sphere with one irregular singularity

Tao Su

2024-02-17

Abstract:The weak geometric P=W conjecture of L. Katzarkov, A. Noll, P. Pandit, and C. Simpson states that, a smooth Betti moduli space of complex dimension $d$ over a punctured Riemann surface has the dual boundary complex homotopy equivalent to a sphere of dimension $d-1$. Via a microlocal geometric perspective, we verify this conjecture for a class of rank $n$ wild character varieties over the two-sphere with one puncture, associated with any Stokes Legendrian link defined by an $n$-strand positive braid.

Algebraic Geometry,Algebraic Topology,Symplectic Geometry
Maximally Persistent Cycles in Random Geometric Complexes

Omer Bobrowski,Matthew Kahle,Primoz Skraba

DOI: https://doi.org/10.48550/arXiv.1509.04347

2016-05-16

Abstract:We initiate the study of persistent homology of random geometric simplicial complexes. Our main interest is in maximally persistent cycles of degree-$k$ in persistent homology, for a either the \cech or the Vietoris--Rips filtration built on a uniform Poisson process of intensity $n$ in the unit cube $[0,1]^d$. This is a natural way of measuring the largest "$k$-dimensional hole" in a random point set. This problem is in the intersection of geometric probability and algebraic topology, and is naturally motivated by a probabilistic view of topological inference. We show that for all $d \ge 2$ and $1 \le k \le d-1$ the maximally persistent cycle has (multiplicative) persistence of order $$ \Theta \left(\left(\frac{\log n}{\log \log n} \right)^{1/k} \right),$$ with high probability, characterizing its rate of growth as $n \to \infty$. The implied constants depend on $k$, $d$, and on whether we consider the Vietoris--Rips or \cech filtration.

Probability,Algebraic Topology,Combinatorics
Bounds on Embeddings of Rational Homology Balls in Symplectic 4-manifolds

Tatyana Khodorovskiy

DOI: https://doi.org/10.48550/arXiv.1307.4321

2013-07-16

Symplectic Geometry

Abstract:The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS2]. Later, Symington [Sy1], defined this operation in the symplectic category. In [Kh2], the author defined the inverse procedure, the symplectic rational blow-up. In this paper, we study the obstructions to symplectically rationally blowing up a symplectic 4-manifold, i.e. the obstructions to symplectically embedding the rational homology balls $B_n$ into a symplectic 4-manifold. We prove a theorem and give additional examples which suggest that in order to symplectically embed the rational homology balls $B_n$, for high n, a symplectic 4-manifold must at least have a high enough $c_1^2$ as well.
Topological complexity, asphericity and connected sums

Christoforos Neofytidis

2023-12-18

Abstract:We show that if a closed oriented $n$-manifold $M$ has a non-trivial cohomology class of even degree $k$, whose all pullbacks to products of type $S^1\times N$ vanish, then the topological complexity $\mathrm{TC}(M)$ is at least $6$, if $n$ is odd, and at least $7$ or $9$, if $n$ is even. These bounds extend and improve a result of Mescher and apply for instance to negatively curved manifolds and to connected sums with at least one such summand. In fact, better bounds are obtained due to the non-vanishing of the Gromov norm. As a consequence, in dimension four, we completely determine the topological complexity of these connected sums, namely we show that it is equal to its maximum value nine. Furthermore, we discuss realisation of degree two homology classes by tori, and show how to construct non-realisable classes out of realisable classes in connected sums. The examples of this paper will quite often be aspherical manifolds whose fundamental groups have trivial center and connected sums. We thus discuss the possible relation between the maximum topological complexity $2n+1$ and the triviality of the center for aspherical $n$-manifolds and their connected sums.

Algebraic Topology,Group Theory,Geometric Topology
Multidimensional local limit theorem in deterministic systems and an application to non-convergence of polynomial multiple averages

Zemer Kosloff,Shrey Sanadhya

2024-09-20

Abstract:We show that for every ergodic and aperiodic probability preserving system $(X,\mathcal{B},m,T)$, there exists $f:X\to \mathbb{Z}^d$, whose corresponding cocycle satisfies the $d$-dimensional local central limit theorem. We use the $2$-dimensional result to resolve a question of Huang, Shao and Ye and Franzikinakis and Host regarding non-convergence in $L^2$ of polynomial multiple averages of non-commuting zero entropy transformations. Our methods also give the first examples of failure of multiple recurrence for zero entropy transformations along polynomial iterates.

Dynamical Systems,Probability
Mod 2 instanton homology and 4-manifolds with boundary

Kim A. Frøyshov

2024-03-24

Abstract:Using instanton homology with coefficients in $Z/2$ we construct a homomorphism $q_2$ from the homology cobordism group in dimension 3 to the integers which is not a rational linear combination of the instanton $h$--invariant and the Heegaard Floer correction term $d$. If an oriented homology $3$--sphere $Y$ bounds a smooth, compact, negative definite $4$--manifold without $2$--torsion in its homology then $q_2(Y)\ge0$, with strict inequality if the intersection form is non-standard.

Geometric Topology,Differential Geometry

Bounds on the mod 2 homology of random 2-dimensional simplicial complexes

The local weak limit of $k$-dimensional hypertrees

The $2$-torsion of determinantal hypertrees is not Cohen-Lenstra

One‐sided sharp thresholds for homology of random flag complexes

New bounds in the discrete analogue of Minkowski's second theorem

Degree counts in random simplicial complexes of the preferential attachment type

Lower Bounds on the Homology of Vietoris–Rips Complexes of Hypercube Graphs

Bounds on Systoles and Homotopy Complexity

On bounds of homological dimensions in Nakayama algebras

The volume of random simplices from elliptical distributions in high dimension

Randomized Lower Bounds for Tarski Fixed Points in High Dimensions

Bounds on the connectivity of the independence complexes of hypergraphs

Lower bounds on the homology of Vietoris-Rips complexes of hypercube graphs

Random Simple-Homotopy Theory

L2-determinant class and approximation of L2-Betti numbers

Dual boundary complexes of Betti moduli spaces over the two-sphere with one irregular singularity

Maximally Persistent Cycles in Random Geometric Complexes

Bounds on Embeddings of Rational Homology Balls in Symplectic 4-manifolds

Topological complexity, asphericity and connected sums

Multidimensional local limit theorem in deterministic systems and an application to non-convergence of polynomial multiple averages

Mod 2 instanton homology and 4-manifolds with boundary