Showing 1–24 of 24 results for author: Fraczyk, M

Automorphic density estimates and optimal Diophantine exponents

Authors: Mikolaj Fraczyk, Alexander Gorodnik, Amos Nevo

Abstract: The present paper is devoted to establishing an optimal approximation exponent for the action of an irreducible uniform lattice subgroup of a product group on its proper factors. Previously optimal approximation exponents for lattice actions on homogeneous spaces were established under the assumption that the restriction of the automorphic representation to the stability group is suitably tempered… ▽ More The present paper is devoted to establishing an optimal approximation exponent for the action of an irreducible uniform lattice subgroup of a product group on its proper factors. Previously optimal approximation exponents for lattice actions on homogeneous spaces were established under the assumption that the restriction of the automorphic representation to the stability group is suitably tempered. However, for irreducible lattices in semisimple algebraic groups, either this property does not hold or it amounts to an instance of the Ramanujan-Petersson-Selberg conjecture. Sarnak's Density Hypothesis and its variants bounding the multiplicities of irreducible representations occurring in the decomposition of the automorphic representation can be viewed as a weakening of the temperedness property. A refined form of this hypothesis has recently been established for uniform irreducible arithmetic congruence lattices arising from quaternion algebras. We employ this result in order to establish - unconditionally - an optimal approximation exponent for the actions of these lattices on the associated symmetric spaces. We also give a general spectral criterion for the optimality of the approximation exponent for irreducible uniform lattices in a product of arbitrary Gelfand pairs. Our methods involve utilizing the multiplicity bounds in the pre-trace formula, establishing refined estimates of the spherical transforms, and carrying out an elaborate spectral analysis that bounds the Hilbert-Schmidt norms of carefully balanced geometric convolution operators. △ Less

Submitted 24 February, 2024; originally announced February 2024.

MSC Class: Primary : 37P55; Secondary : 22E46; 11J83; 11F70

Spectral non-concentration near the top for unimodular random graphs

Authors: Mikolaj Fraczyk, Ben Hayes, Madhu Sudan, Yufei Zhao

Abstract: In recent work on equiangular lines, Jiang, Tidor, Yuan, Zhang, and Zhao showed that a connected bounded degree graph has sublinear second eigenvalue multiplicity. More generally they show that there cannot be too many eigenvalues near the top of the spectrum. We extend this result to infinite unimodular random graphs. As a corollary, the spectral distribution of the adjacency operator cannot have… ▽ More In recent work on equiangular lines, Jiang, Tidor, Yuan, Zhang, and Zhao showed that a connected bounded degree graph has sublinear second eigenvalue multiplicity. More generally they show that there cannot be too many eigenvalues near the top of the spectrum. We extend this result to infinite unimodular random graphs. As a corollary, the spectral distribution of the adjacency operator cannot have an atom at the top. For an infinite regular expander, we deduce that the singularity of the spectral measure at the top satisfies $μ_G[(1-θ)ρ,ρ] \lesssim θ^c$ for some constant $c>0$, where $ρ$ is the spectral radius of the adjacency operator of the graph. This implies new general estimates on the return probabilities of random walks. △ Less

Submitted 13 January, 2024; originally announced January 2024.

Comments: 19 pages

Growth dichotomy for unimodular random rooted trees

Authors: Miklós Abert, Mikołaj Frączyk, Ben Hayes

Abstract: We show that the growth of a unimodular random rooted tree $(T,o)$ of degree bounded by $d$ always exists, assuming its upper growth passes the critical threshold $\sqrt{d-1}$. This complements Timar's work who showed the possible nonexistence of growth below this threshold. The proof goes as follows. By Benjamini-Lyons-Schramm, we can realize $(T,o)$ as the cluster of the root for some invariant… ▽ More We show that the growth of a unimodular random rooted tree $(T,o)$ of degree bounded by $d$ always exists, assuming its upper growth passes the critical threshold $\sqrt{d-1}$. This complements Timar's work who showed the possible nonexistence of growth below this threshold. The proof goes as follows. By Benjamini-Lyons-Schramm, we can realize $(T,o)$ as the cluster of the root for some invariant percolation on the $d$-regular tree. Then we show that for such a percolation, the limiting exponent with which the lazy random walk returns to the cluster of its starting point always exists. We develop a new method to get this, that we call the 2-3-method, as the usual pointwise ergodic theorems do not seem to work here. We then define and prove the Cohen-Grigorchuk co-growth formula to the invariant percolation setting. This establishes and expresses the growth of the cluster from the limiting exponent, assuming we are above the critical threshold. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: 20 pages, 4 figure, subset of the previous version of arXiv:2205.06692 which we are splitting into three papers

MSC Class: 37A30; 20F65; 05C81; 60K35

Poisson-Voronoi tessellations and fixed price in higher rank

Authors: Mikolaj Fraczyk, Sam Mellick, Amanda Wilkens

Abstract: Let $G$ be a higher rank semisimple real Lie group or the product of at least two automorphism groups of regular trees. We prove all probability measure preserving actions of lattices in such groups have cost one, answering Gaboriau's fixed price question for this class of groups. We prove the minimal number generators of a torsion-free lattice in $G$ is sublinear in the co-volume of $Γ$, settling… ▽ More Let $G$ be a higher rank semisimple real Lie group or the product of at least two automorphism groups of regular trees. We prove all probability measure preserving actions of lattices in such groups have cost one, answering Gaboriau's fixed price question for this class of groups. We prove the minimal number generators of a torsion-free lattice in $G$ is sublinear in the co-volume of $Γ$, settling a conjecture of Abért-Gelander-Nikolov. As a consequence, we derive new estimates on the growth of first mod-$p$ homology groups of higher rank locally symmetric spaces. Our method of proof is novel, using low intensity Poisson point processes on higher rank symmetric spaces and the geometry of their associated Voronoi tessellations. We prove as the intensities limit to zero, these tessellations partition the space into ``horoball-like'' cells so that any two share an unbounded border. We use this new phenomenon to construct low cost graphings for orbit equivalence relations of higher rank lattices. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Comments: 44 pages, 6 figures, comments welcome

MSC Class: 37A20 (Primary) 22E40; 22F10; 60G55 (Secondary)

Discrete subgroups with finite Bowen-Margulis-Sullivan measure in higher rank

Authors: Mikolaj Fraczyk, Minju Lee

Abstract: Let $G$ be a connected semisimple real algebraic group and $Γ<G$ be its Zariski dense discrete subgroup. We prove that if $Γ\backslash G$ admits any finite Bowen-Margulis-Sullivan measure, then $Γ$ is virtually a product of higher rank lattices and discrete subgroups of rank one factors of $G$. This may be viewed as a measure-theoretic analogue of classification of convex cocompact actions by Klei… ▽ More Let $G$ be a connected semisimple real algebraic group and $Γ<G$ be its Zariski dense discrete subgroup. We prove that if $Γ\backslash G$ admits any finite Bowen-Margulis-Sullivan measure, then $Γ$ is virtually a product of higher rank lattices and discrete subgroups of rank one factors of $G$. This may be viewed as a measure-theoretic analogue of classification of convex cocompact actions by Kleiner-Leeb and Quint, which was conjectured by Corlette in 1994. The key ingredients in our proof are the product structure of leafwise measures and the high entropy method of Einsiedler-Katok-Lindenstrauss. In a companion paper jointly with Edwards and Oh, we use this result to show that the bottom of the $L^2$ spectrum has no atom in any infinite volume quotient of a higher rank simple algebraic group. △ Less

Submitted 31 May, 2024; v1 submitted 30 April, 2023; originally announced May 2023.

Comments: 21 pages, To appear in Geometry & Topology

MSC Class: 37A17

Infinite volume and atoms at the bottom of the spectrum

Authors: Sam Edwards, Mikolaj Fraczyk, Minju Lee, Hee Oh

Abstract: Let $G$ be a higher rank simple real algebraic group, or more generally, any semisimple real algebraic group with no rank one factors and $X$ the associated Riemannian symmetric space. For any Zariski dense discrete subgroup $Γ<G$, we prove that $\operatorname{Vol}(Γ\backslash X)=\infty$ if and only if no positive Laplace eigenfunction belongs to $L^2(Γ\backslash X)$, or equivalently, the bottom o… ▽ More Let $G$ be a higher rank simple real algebraic group, or more generally, any semisimple real algebraic group with no rank one factors and $X$ the associated Riemannian symmetric space. For any Zariski dense discrete subgroup $Γ<G$, we prove that $\operatorname{Vol}(Γ\backslash X)=\infty$ if and only if no positive Laplace eigenfunction belongs to $L^2(Γ\backslash X)$, or equivalently, the bottom of the $L^2$-spectrum is not an atom of the spectral measure of the negative Laplacian. This contrasts with the rank one situation where the square-integrability of the base eigenfunction is determined by the size of the critical exponent relative to the volume entropy of $X$. △ Less

Submitted 6 November, 2023; v1 submitted 27 April, 2023; originally announced April 2023.

Comments: 14 pages (1 figure), To appear in Comptes Rendus - Série Mathématique

MSC Class: 37A17

Bottom of the Length Spectrum of Arithmetic Orbifolds

Authors: Mikolaj Fraczyk, Lam L. Pham

Abstract: We prove that cocompact arithmetic lattices in a simple Lie group are uniformly discrete if and only if the Salem numbers are uniformly bounded away from $1$. We also prove an analogous result for semisimple Lie groups. Finally, we shed some light on the structure of the bottom of the length spectrum of an arithmetic orbifold $Γ\backslash X$ by showing the existence of a positive constant… ▽ More We prove that cocompact arithmetic lattices in a simple Lie group are uniformly discrete if and only if the Salem numbers are uniformly bounded away from $1$. We also prove an analogous result for semisimple Lie groups. Finally, we shed some light on the structure of the bottom of the length spectrum of an arithmetic orbifold $Γ\backslash X$ by showing the existence of a positive constant $δ(X)>0$ such that squares of lengths of closed geodesics shorter than $δ$ must be pairwise linearly dependent over $\mathbb Q$. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Comments: 18 pages. Comments welcome!

MSC Class: 11D75; 11F06; 11R06; 20G30; 22E40

Co-spectral radius of intersections

Authors: Mikolaj Fraczyk, Wouter van Limbeek

Abstract: We study the behavior of the co-spectral radius of a subgroup $H$ of a discrete group $Γ$ under taking intersections. Our main result is that the co-spectral radius of an invariant random subgroup does not drop upon intersecting with a deterministic co-amenable subgroup. As an application, we find that the intersection of independent co-amenable invariant random subgroups is co-amenable. We study the behavior of the co-spectral radius of a subgroup $H$ of a discrete group $Γ$ under taking intersections. Our main result is that the co-spectral radius of an invariant random subgroup does not drop upon intersecting with a deterministic co-amenable subgroup. As an application, we find that the intersection of independent co-amenable invariant random subgroups is co-amenable. △ Less

Submitted 9 February, 2023; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: Minor changes following referee's comments. 15 p, comments welcome!

MSC Class: 22D40; 20F69; 05C81; 22F10

Co-spectral radius for countable equivalence relations

Authors: Miklós Abert, Mikolaj Fraczyk, Ben Hayes

Abstract: We define the co-spectral radius of inclusions $\mathcal{S}\leq \mathcal{R}$ of discrete, probability measure-preserving equivalence relations, as the sampling exponent of a generating random walk on the ambient relation. The co-spectral radius is analogous to the spectral radius for random walks on $G/H$ for inclusion $H\leq G$ of groups. For the proof, we develop a more general version of the 2-… ▽ More We define the co-spectral radius of inclusions $\mathcal{S}\leq \mathcal{R}$ of discrete, probability measure-preserving equivalence relations, as the sampling exponent of a generating random walk on the ambient relation. The co-spectral radius is analogous to the spectral radius for random walks on $G/H$ for inclusion $H\leq G$ of groups. For the proof, we develop a more general version of the 2-3 method we used in another work on the growth of unimodular random rooted trees. We use this method to show that the walk growth exists for an arbitrary unimodular random rooted graph of bounded degree. We also investigate how the co-spectral radius behaves for hyperfinite relations, and discuss new critical exponents for percolation that can be defined using the co-spectral radius. △ Less

Submitted 6 May, 2024; v1 submitted 13 May, 2022; originally announced May 2022.

Comments: V4 45 pages, No figures. This version is a subset of version 2 which we are splitting into three papers. To appear in Ergodic Theory and Dynamical Systems

MSC Class: 37A30; 20F65; 05C81; 60K35;

Homotopy type and homology versus volume for arithmetic locally symmetric spaces

Authors: Mikołaj Frączyk, Sebastian Hurtado, Jean Raimbault

Abstract: We study locally symmetric spaces associated with arithmetic lattices in semisimple Lie groups. We prove the following results about their topology: the minimal number of tetrahedra needed for a triangulation is at most linear in the volume and the Betti numbers are sub-linear in the volume except possibly in middle degree. The proof of these results uses the geometry of these spaces, namely the s… ▽ More We study locally symmetric spaces associated with arithmetic lattices in semisimple Lie groups. We prove the following results about their topology: the minimal number of tetrahedra needed for a triangulation is at most linear in the volume and the Betti numbers are sub-linear in the volume except possibly in middle degree. The proof of these results uses the geometry of these spaces, namely the study of their thin parts. In this regard we prove that these spaces converge in the Benjamini--Schramm sense to their universal covers and give an explicit bound for the volume of the thin part for trace fields of large degree. The main technical ingredients for our proofs are new estimates on orbital integrals, a counting result for elements of small displacement, and a refined version of the Margulis lemma for arithmetic locally symmetric spaces. △ Less

Submitted 28 February, 2022; originally announced February 2022.

Comments: 58 pages

MSC Class: 22E40; 11F06; 11F75; 57Q15

On homology torsion growth

Authors: Miklos Abert, Nicolas Bergeron, Mikolaj Fraczyk, Damien Gaboriau

Abstract: We prove new vanishing results on the growth of higher torsion homologies for suitable arithmetic lattices, Artin groups and map** class groups. The growth is understood along Farber sequences, in particular, along residual chains. For principal congruence subgroups, we also obtain strong asymptotic bounds for the torsion growth. As a central tool, we introduce a quantitative homotopical metho… ▽ More We prove new vanishing results on the growth of higher torsion homologies for suitable arithmetic lattices, Artin groups and map** class groups. The growth is understood along Farber sequences, in particular, along residual chains. For principal congruence subgroups, we also obtain strong asymptotic bounds for the torsion growth. As a central tool, we introduce a quantitative homotopical method called effective rebuilding. This constructs small classifying spaces of finite index subgroups, at the same time controlling the complexity of the homotopy. The method easily applies to free abelian groups and then extends recursively to a wide class of residually finite groups. △ Less

Submitted 15 December, 2022; v1 submitted 24 June, 2021; originally announced June 2021.

Comments: 51 pages, 3 figures. Modifications after referee's recommandations. A section added of "1.3-speculations and questions" relating the homology growth with the sofic entropy Betti numbers. Name change: Right-angled groups become Chain-commuting groups (see Note 1, p. 8). Comments and a new reference added for the proof of Proposition 10.15 that was incomplete. To be published in J. Eur. Math. Soc

MSC Class: 57M07; 22E40; 11F75; 20J05; 20J06; 20E26; 20F69; 20F36; 20G25

Infinite Volume and Infinite Injectivity Radius

Authors: Mikolaj Fraczyk, Tsachik Gelander

Abstract: We prove the following conjecture of Margulis. Let $G$ be a higher rank simple Lie group and let $Λ\le G$ be a discrete subgroup of infinite covolume. Then, the locally symmetric space $Λ\backslash G/K$ admits injected balls of any radius. This can be considered as a geometric interpretation of the celebrated Margulis normal subgroup theorem. However, it applies to general discrete subgroups not n… ▽ More We prove the following conjecture of Margulis. Let $G$ be a higher rank simple Lie group and let $Λ\le G$ be a discrete subgroup of infinite covolume. Then, the locally symmetric space $Λ\backslash G/K$ admits injected balls of any radius. This can be considered as a geometric interpretation of the celebrated Margulis normal subgroup theorem. However, it applies to general discrete subgroups not necessarily associated to lattices. Yet, the result is new even for subgroups of infinite index of lattices. We establish similar results for higher rank semisimple groups with Kazhdan's property (T). We prove a stiffness result for discrete stationary random subgroups in higher rank semisimple groups and a stationary variant of the Stück-Zimmer theorem for higher rank semisimple groups with property (T). We also show that a stationary limit of a measure supported on discrete subgroups is almost surely discrete. △ Less

Submitted 17 April, 2024; v1 submitted 3 January, 2021; originally announced January 2021.

Comments: We added some examples (in particular 6.8) to the previous version

MSC Class: 22E40; 53C30; 53C35

Expander spanning subgraphs with large girth

Authors: Itai Benjamini, Mikolaj Fraczyk, Gabor Kun

Abstract: We conjecture that finite graphs with positive Cheeger constant admit a spanning subgraph with positive Cheeger constant and girth proportional to the diameter. We prove this conjecture for regular expander graphs with large expansion. Our proof relies on the Local Lemma. We conjecture that finite graphs with positive Cheeger constant admit a spanning subgraph with positive Cheeger constant and girth proportional to the diameter. We prove this conjecture for regular expander graphs with large expansion. Our proof relies on the Local Lemma. △ Less

Submitted 31 December, 2020; originally announced December 2020.

Comments: 11 pages. arXiv admin note: substantial text overlap with arXiv:1303.4982

MSC Class: 05D40; 51F30

A note on the structure of expanders

Authors: Itai Benjamini, Mikolaj Fraczyk

Abstract: A conjecture regarding the structure of expander graphs is discussed. A conjecture regarding the structure of expander graphs is discussed. △ Less

Submitted 18 October, 2020; originally announced October 2020.

The density hypothesis for horizontal families of lattices

Authors: Mikołaj Frączyk, Gergely Harcos, Péter Maga, Djordje Milićević

Abstract: We prove the density hypothesis for wide families of arithmetic orbifolds arising from all division quaternion algebras over all number fields of bounded degree. Our power-saving bounds on the multiplicities of non-tempered representations are uniform in the volume and spectral aspects. We prove the density hypothesis for wide families of arithmetic orbifolds arising from all division quaternion algebras over all number fields of bounded degree. Our power-saving bounds on the multiplicities of non-tempered representations are uniform in the volume and spectral aspects. △ Less

Submitted 27 July, 2020; originally announced July 2020.

Comments: 34 pages, LaTeX2e

MSC Class: Primary 11F72; Secondary 11F70; 22E40; 22E45

Counting bounded elements of a number field

Authors: Mikołaj Frączyk, Gergely Harcos, Péter Maga

Abstract: We estimate, in a number field, the number of elements and the maximal number of linearly independent elements, with prescribed bounds on their valuations. As a by-product, we obtain new bounds for the successive minima of ideal lattices. Our arguments combine group theory, ramification theory, and the geometry of numbers. We estimate, in a number field, the number of elements and the maximal number of linearly independent elements, with prescribed bounds on their valuations. As a by-product, we obtain new bounds for the successive minima of ideal lattices. Our arguments combine group theory, ramification theory, and the geometry of numbers. △ Less

Submitted 9 April, 2020; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: 11 pages, LaTeX2e; v2: updated Corollary 3 and added Corollary 4; v3: revised version incorporating suggestions by the referees (the main changes are in the title and in the Introduction, e.g. Corollary 1 and the paragraph below Theorem 4 are new)

Journal ref: Int. Math. Res. Not. 2022, no. 1, 373-390

Heat kernels are not uniform expanders

Authors: Mikolaj Fraczyk, Wouter van Limbeek

Abstract: We study infinite analogues of expander graphs, namely graphs where subgraphs weighted by heat kernels form an expander family. Our main result is that there does not exist any infinite expander in this sense. This proves the analogue for random walks of Benjamini's conjecture that there is no infinite graph whose metric balls are uniformly expander. The proof relies on a study of stationary rando… ▽ More We study infinite analogues of expander graphs, namely graphs where subgraphs weighted by heat kernels form an expander family. Our main result is that there does not exist any infinite expander in this sense. This proves the analogue for random walks of Benjamini's conjecture that there is no infinite graph whose metric balls are uniformly expander. The proof relies on a study of stationary random graphs, in particular proving non-expansion of heat kernels in that setting. A key result is that any stationary random graph is stationary hyperfinite, which is potentially of independent interest. △ Less

Submitted 31 May, 2019; originally announced May 2019.

Comments: 17 pages, comments welcome

MSC Class: 05C81; 05C80

On the optimal rate of equidistribution in number fields

Authors: Mikolaj Fraczyk, Anna Szumowicz

Abstract: Let $k$ be a number field. We study how well can finite sets of $\mathcal O_k$ equidistribute modulo powers of prime ideals, for all prime ideals at the same time. Our main result states that the optimal rate of equidistribution in $\mathcal O_k$ predicted by the local contstraints cannot be achieved unless $k=\mathcal Q$. We deduce that $\mathcal Q$ is the only number field where the ring of inte… ▽ More Let $k$ be a number field. We study how well can finite sets of $\mathcal O_k$ equidistribute modulo powers of prime ideals, for all prime ideals at the same time. Our main result states that the optimal rate of equidistribution in $\mathcal O_k$ predicted by the local contstraints cannot be achieved unless $k=\mathcal Q$. We deduce that $\mathcal Q$ is the only number field where the ring of integers $\mathcal O_k$ admits a simultaneous $\frak p$-ordering, answering a question of Bhargava. Along the way we establish a non-trivial upper bound on the number of solutions $x\in \mathcal O_k$ of the inequality $|N_{k/\mathcal Q}(x(a-x))|\leq X^2$ where $X$ is a positive real parameter and $a\in\mathcal O_k$ is of norm at least $e^{-B}X$ for a fixed real number $B$. The latter can be translated as an upper bound on the average number of solutions of certain unit equations in $\mathcal O_k$. △ Less

Submitted 26 February, 2022; v1 submitted 25 October, 2018; originally announced October 2018.

Comments: 46 pages, minor corrections, proofs of lemma 4.5 and proposition 5.5 rewritten

MSC Class: 11N25; 11K38; 13F20; 11D57

Betti numbers of Shimura curves and arithmetic three--orbifolds

Authors: Mikołaj Frączyk, Jean Raimbault

Abstract: We show that asymptotically the first Betti number, or the arithmetic genus, of a Shimura curve satisfies the Gauss--Bonnet equality. We also show that the first Betti number of a congruence hyperbolic 3--orbifold asymptotically vanishes relatively to hyperbolic volume. We show that asymptotically the first Betti number, or the arithmetic genus, of a Shimura curve satisfies the Gauss--Bonnet equality. We also show that the first Betti number of a congruence hyperbolic 3--orbifold asymptotically vanishes relatively to hyperbolic volume. △ Less

Submitted 24 October, 2018; originally announced October 2018.

Journal ref: Alg. Number Th. 13 (2019) 2359-2382

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

Authors: Mikolaj Fraczyk

Abstract: Let $X$ be a higher rank symmetric space or a Bruhat-Tits building of dimension at least $2$ such that the isometry group of $X$ has property $(T)$. We prove that for every torsion free lattice $Γ\subset {\rm Isom} X$ any homology class in $H_1(Γ\backslash X,\mathbb F_2)$ has a representative cycle of total length $o_X({\rm Vol}(Γ\backslash X))$. As an application we show that… ▽ More Let $X$ be a higher rank symmetric space or a Bruhat-Tits building of dimension at least $2$ such that the isometry group of $X$ has property $(T)$. We prove that for every torsion free lattice $Γ\subset {\rm Isom} X$ any homology class in $H_1(Γ\backslash X,\mathbb F_2)$ has a representative cycle of total length $o_X({\rm Vol}(Γ\backslash X))$. As an application we show that $\dim_{\mathbb F_2} H_1(Γ\backslash X,\mathbb F_2)=o_X({\rm Vol}(Γ\backslash X)).$ △ Less

Submitted 28 January, 2018; originally announced January 2018.

Comments: 12 pages, 2 figures

MSC Class: 57T15

Kesten's theorem for uniformly recurrent subgroups

Authors: Mikolaj Fraczyk

Abstract: We prove an inequality on the difference between the spectral radius of the Cayley graph of a group $G$ and the spectral radius of the Schreier graph $H\backslash G$ for any subgroup $H$. As an application we extend Kesten's theorem on spectral radii to uniformly recurrent subgroups and give a short proof that the result of Lyons and Peres on cycle density in Ramanujan graphs holds on average. Mor… ▽ More We prove an inequality on the difference between the spectral radius of the Cayley graph of a group $G$ and the spectral radius of the Schreier graph $H\backslash G$ for any subgroup $H$. As an application we extend Kesten's theorem on spectral radii to uniformly recurrent subgroups and give a short proof that the result of Lyons and Peres on cycle density in Ramanujan graphs holds on average. More precisely, we show that if $\mathcal G$ is an infinite deterministic Ramanujan graph, then the time spent in short cycles by a random walk of length $n$ is $o(n)$. △ Less

Submitted 27 January, 2018; originally announced January 2018.

Comments: 8 pages

MSC Class: 05C81

Strong Limit Multiplicity for arithmetic hyperbolic surfaces and $3$-manifolds

Authors: Mikolaj Fraczyk

Abstract: We show that every sequence of torsion-free arithmetic congruence lattices in $\mathrm{PGL}(2,\mathbb R)$ or $\mathrm{PGL}(2,\mathbb C)$ satisfies a strong quantitative version of the Limit Multiplicity property. We deduce that for $R>0$ in certain range, growing linearly in the degree of the invariant trace field, the volume of the $R$-thin part of any congruence arithmetic hyperbolic surface or… ▽ More We show that every sequence of torsion-free arithmetic congruence lattices in $\mathrm{PGL}(2,\mathbb R)$ or $\mathrm{PGL}(2,\mathbb C)$ satisfies a strong quantitative version of the Limit Multiplicity property. We deduce that for $R>0$ in certain range, growing linearly in the degree of the invariant trace field, the volume of the $R$-thin part of any congruence arithmetic hyperbolic surface or congruence arithmetic hyperbolic $3$-manifold $M$ is of order at most $\mathrm{Vol}(M)^{11/12}$. As an application we prove Gelander's conjecture on homotopy type of arithmetic hyperbolic $3$-manifolds: We show that there are constants $A,B$ such that every such manifold $M$ is homotopy equivalent to a simplicial complex with at most $A\mathrm{Vol}(M)$ vertices, all of degrees bounded by $B$. △ Less

Submitted 20 November, 2020; v1 submitted 15 December, 2016; originally announced December 2016.

Comments: 41 pages, condensed version rewritten according to referees' suggestions. Minor improvements in the main result

MSC Class: 22E55 (Primary); 11F06 (Secondary)

Journal ref: Frączyk, M. Strong limit multiplicity for arithmetic hyperbolic surfaces and 3-manifolds. Invent. math. (2020)

Simultaneous $p$-orderings and minimising volumes in number fields

Authors: Jakub Byszewski, Mikołaj Frączyk, Anna Szumowicz

Abstract: In the paper "On the interpolation of integer-valued polynomials" (Journal of Number Theory 133 (2013), pp. 4224--4232.) V. Volkov and F. Petrov consider the problem of existence of the so-called $n$-universal sets (related to simultaneous $p$-orderings of Bhargava) in the ring of Gaussian integers. We extend their results to arbitrary imaginary quadratic number fields and prove an existence theor… ▽ More In the paper "On the interpolation of integer-valued polynomials" (Journal of Number Theory 133 (2013), pp. 4224--4232.) V. Volkov and F. Petrov consider the problem of existence of the so-called $n$-universal sets (related to simultaneous $p$-orderings of Bhargava) in the ring of Gaussian integers. We extend their results to arbitrary imaginary quadratic number fields and prove an existence theorem that provides a strong counterexample to a conjecture of Volkov-Petrov on minimal cardinality of $n$-universal sets. Along the way, we discover a link with Euler-Kronecker constants and prove a lower bound on Euler-Kronecker constants which is of the same order of magnitude as the one obtained by Ihara. △ Less

Submitted 23 November, 2016; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: new version, substantial corrections in section 6, will appear in Journal of Number Theory

MSC Class: 13F20 (Primary); 13B25 (Secondary)

The covering number of the difference sets in partitions of $G$-spaces and groups

Authors: Taras Banakh, Mikolaj Fraczyk

Abstract: We prove that for every finite partition $G=A_1\cup\dots\cup A_n$ of a group $G$ either $cov(A_iA_i^{-1})\le n$ for all cells $A_i$ or else $cov(A_iA_i^{-1}A_i)<n$ for some cell $A_i$ of the partition. Here $cov(A)=\min\{|F|:F\subset G,\;G=FA\}$ is the covering number of $A$ in $G$. A similar result is proved also of partitions of $G$-spaces. This gives two partial answers to a problem of Protasov… ▽ More We prove that for every finite partition $G=A_1\cup\dots\cup A_n$ of a group $G$ either $cov(A_iA_i^{-1})\le n$ for all cells $A_i$ or else $cov(A_iA_i^{-1}A_i)<n$ for some cell $A_i$ of the partition. Here $cov(A)=\min\{|F|:F\subset G,\;G=FA\}$ is the covering number of $A$ in $G$. A similar result is proved also of partitions of $G$-spaces. This gives two partial answers to a problem of Protasov posed in 1995. △ Less

Submitted 9 May, 2014; originally announced May 2014.

Comments: 6 pages

MSC Class: 05E15; 05E18; 28C10

Journal ref: Europ. J. Math. 1:4 (2015) 762-772