Showing 1–6 of 6 results for author: Coz, C L

Regular maps from the lamplighter to metabelian groups

Authors: Antoine Gournay, Corentin Le Coz

Abstract: We prove that the lamplighter group admits an injective Lipschitz map to any finitely generated metabelian group which is not virtually nilpotent. This implies that finitely generated metabelian groups satisfy the ``analytically thin/analytically thick'' dichotomy recently introduced by Hume, Mackay and Tessera. We prove that the lamplighter group admits an injective Lipschitz map to any finitely generated metabelian group which is not virtually nilpotent. This implies that finitely generated metabelian groups satisfy the ``analytically thin/analytically thick'' dichotomy recently introduced by Hume, Mackay and Tessera. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 11 pages. Comments are welcome!

MSC Class: 20F65; 05C25; 20K35

Right-angled Artin groups and the cohomology basis graph

Authors: Ramón Flores, Delaram Kahrobaei, Thomas Koberda, Corentin Le Coz

Abstract: Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. From an arbitrary basis $\mathcal B$ of $H^1(A(Γ),\mathbb F)$ over an arbitrary field, we construct a natural graph $Γ_{\mathcal B}$ from the cup product, called the \emph{cohomology basis graph}. We show that $Γ_{\mathcal B}$ always contains $Γ$ as a subgraph. This provides an effective way to reconstruct the… ▽ More Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. From an arbitrary basis $\mathcal B$ of $H^1(A(Γ),\mathbb F)$ over an arbitrary field, we construct a natural graph $Γ_{\mathcal B}$ from the cup product, called the \emph{cohomology basis graph}. We show that $Γ_{\mathcal B}$ always contains $Γ$ as a subgraph. This provides an effective way to reconstruct the defining graph $Γ$ from the cohomology of $A(Γ)$, to characterize the planarity of the defining graph from the algebra of $A(Γ)$, and to recover many other natural graph-theoretic invariants. We also investigate the behavior of the cohomology basis graph under passage to elementary subminors, and show that it is not well-behaved under edge contraction. △ Less

Submitted 1 July, 2024; v1 submitted 11 September, 2023; originally announced September 2023.

Comments: 18 pages, to appear in Proc. Edinburgh Math. Soc

Post-quantum hash functions using $\mathrm{SL}_n(\mathbb{F}_p)$

Authors: Corentin Le Coz, Christopher Battarbee, Ramón Flores, Thomas Koberda, Delaram Kahrobaei

Abstract: We define new families of Tillich-Zémor hash functions, using higher dimensional special linear groups over finite fields as platforms. The Cayley graphs of these groups combine fast mixing properties and high girth, which together give rise to good preimage and collision resistance of the corresponding hash functions. We justify the claim that the resulting hash functions are post-quantum secure. We define new families of Tillich-Zémor hash functions, using higher dimensional special linear groups over finite fields as platforms. The Cayley graphs of these groups combine fast mixing properties and high girth, which together give rise to good preimage and collision resistance of the corresponding hash functions. We justify the claim that the resulting hash functions are post-quantum secure. △ Less

Submitted 22 August, 2024; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: 18 pages, an appendix with a python/sage implementation of the hash functions

Hyperbolic groups with logarithmic separation profile

Authors: Nir Lazarovich, Corentin Le Coz

Abstract: We prove that hyperbolic groups with logarithmic separation profiles split over cyclic groups. This shows that such groups can be inductively built from Fuchsian groups and free groups by amalgamations and HNN extensions over finite or virtually cyclic groups. However, we show that not all groups admitting such a hierarchy have logarithmic separation profile by providing an example of a surface am… ▽ More We prove that hyperbolic groups with logarithmic separation profiles split over cyclic groups. This shows that such groups can be inductively built from Fuchsian groups and free groups by amalgamations and HNN extensions over finite or virtually cyclic groups. However, we show that not all groups admitting such a hierarchy have logarithmic separation profile by providing an example of a surface amalgam over a cyclic group with superlogarithmic separation profile. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Comments: 14 pages, 3 figures. Comments are welcome!

Journal ref: Algebr. Geom. Topol. 25 (2025) 39-54

Poincaré profiles of lamplighter diagonal products

Authors: Corentin Le Coz

Abstract: We exhibit finitely generated groups with prescribed Poincaré profiles. It can be prescribed for functions between $n/\log n$ and linear, and is sharp for functions at least $n/(\log\log n)$. Those profiles were introduced by Hume, Mackay and Tessera in 2019 as a generalization of the separation profile, defined by Benjamini, Schramm and Timár in 2012. The family of groups used is based on a const… ▽ More We exhibit finitely generated groups with prescribed Poincaré profiles. It can be prescribed for functions between $n/\log n$ and linear, and is sharp for functions at least $n/(\log\log n)$. Those profiles were introduced by Hume, Mackay and Tessera in 2019 as a generalization of the separation profile, defined by Benjamini, Schramm and Timár in 2012. The family of groups used is based on a construction of Brieussel and Zheng. As applications, we show that there exists bounded degrees graphs of asymptotic dimension one that do not coarsely embed in any finite product of bounded degrees trees, and exhibit hyperfinite sequences of graphs of arbitrary large distortion in $L^p$-spaces. △ Less

Submitted 13 January, 2021; v1 submitted 9 July, 2020; originally announced July 2020.

Comments: 54 pages, with an appendix

Separation profiles, isoperimetry, growth and compression

Authors: Corentin Le Coz, Antoine Gournay

Abstract: We give lower and upper bounds for the separation profile (introduced by Benjamini, Schramm & Timár) for various graphs using the isoperimetric profile, growth and Hilbertian compression. For graphs which have polynomial isoperimetry and growth, we show that the separation profile $\mathrm{Sep}(n)$ is also bounded by powers of $n$. For many amenable groups, we show a lower bound in $n/ \log(n)^a$… ▽ More We give lower and upper bounds for the separation profile (introduced by Benjamini, Schramm & Timár) for various graphs using the isoperimetric profile, growth and Hilbertian compression. For graphs which have polynomial isoperimetry and growth, we show that the separation profile $\mathrm{Sep}(n)$ is also bounded by powers of $n$. For many amenable groups, we show a lower bound in $n/ \log(n)^a$ and, for any group which has a non-trivial compression exponent in an $L^p$-space, an upper bound in $n/ \log(n)^b$. We show that solvable groups of exponential growth cannot have a separation profile bounded above by a sublinear power function. In an appendix, we introduce the notion of local separation, with applications for percolation clusters of $ \mathbb{Z}^{d} $ and graphs which have polynomial isoperimetry and growth. △ Less

Submitted 25 October, 2019; originally announced October 2019.

Comments: 41 pages

MSC Class: 20F65 (primary); 05C40; 20F16; 20F67; 20F69 (secondary)