Fuglede-Kadison determinants over free groups and Lehmer's constants
Fathi Ben Aribi

TL;DR
This paper computes new bounds for Fuglede-Kadison determinants over free groups, leading to improved upper bounds for Lehmer's constants in certain torsion-free and hyperbolic 3-manifold groups, connecting algebraic and geometric group properties.
Contribution
It provides new explicit values for Fuglede-Kadison determinants over free groups and establishes tighter bounds for Lehmer's constants in specific classes of groups.
Findings
New upper bound $rac{2}{rac{ ext{sqrt}(3)}}$ for Lehmer's constants in non-cyclic free groups.
Bounded Lehmer's constants for fundamental groups of hyperbolic 3-manifolds.
Relations between Fuglede-Kadison determinants and random walks on Cayley graphs.
Abstract
Lehmer's famous problem asks whether the set of Mahler measures of polynomials with integer coefficients admits a gap at 1. In 2019, L\"uck extended this question to Fuglede-Kadison determinants of a general group, and he defined the Lehmer's constants of the group to measure such a gap. In this paper, we compute new values for Fuglede-Kadison determinants over non-cyclic free groups, which yields the new upper bound for Lehmer's constants of all torsion-free groups which have non-cyclic free subgroups. Our proofs use relations between Fuglede-Kadison determinants and random walks on Cayley graphs, as well as works of Bartholdi and Dasbach-Lalin. Furthermore, via the gluing formula for -torsions, we show that the Lehmer's constants of an infinite number of fundamental groups of hyperbolic 3-manifolds are bounded above by even smaller values than…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometric and Algebraic Topology · Topological and Geometric Data Analysis · Geometry and complex manifolds
