BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Romain Tessera

Romain Tessera contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.FAmath.COmath.MGmath.OAmath.PRDiscrete Mathematicsmath.DSmath.GNmath.GTmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

Explicit universal minimal constants for polynomial growth of groups

Shalom and Tao showed that a polynomial upper bound on the size of a single, large enough ball in a Cayley graph implies that the underlying group has a nilpotent subgroup with index and degree of polynomial growth both bounded effectively. The third and fourth authors proved the optimal bound on the degree of polynomial growth of this subgroup, at the expense of making some other parts of the result ineffective. In the present paper we prove the optimal bound on the degree of polynomial growth without making any losses elsewhere. As a consequence, we show that there exist explicit positive numbers $\varepsilon_d$ such that in any group with growth at least a polynomial of degree $d$, the growth is at least $\varepsilon_dn^d$. We indicate some applications in probability; in particular, we show that the gap at $1$ for the critical probability for Bernoulli site percolation on a Cayley graph, recently proven to exist by Panagiotis and Severo, is at least $\exp\bigl\{-\exp\bigl\{17 \exp\{100 \cdot 8^{100}\}\bigr\}\bigr\}$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Quantitative measure equivalence between amenable groups

We initiate a quantitative study of measure equivalence (and orbit equivalence) between finitely generated groups, which extends the classical setting of $\mathrm L^p$ measure equivalence. In this paper, our main focus will be on amenable groups, for which we prove both rigidity and flexibility results. On the rigidity side, we prove a general monotonicity property satisfied by the isoperimetric profile, which implies in particular its invariance under $\mathrm L^1$ measure equivalence. This yields explicit "lower bounds" on how integrable a measure coupling between two amenable groups can be. This result also has an unexpected application to geometric group theory: the isoperimetric profile turns out to be monotonous under coarse embedding between amenable groups. This has various applications, among which the existence of an uncountable family of $3$-solvable groups which pairwise do not coarsely embed into one another. On the flexibility side, we construct explicit orbit equivalences between amenable groups with prescribed integrability conditions. Our main tool is a new notion of Følner tiling sequences. We show in a number of instances that the bounds derived from the isoperimetric profile are sharp up to a logarithmic factor. We also deduce from this study that two important quasi-isometry invariants are not preserved under $\mathrm L^1$ orbit equivalence: the asymptotic dimension and finite presentability.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Twin-width VII: groups

Twin-width is a recently introduced graph parameter with applications in algorithmics, combinatorics, and finite model theory. For graphs of bounded degree, finiteness of twin-width is preserved by quasi-isometry. Thus, through Cayley graphs, it defines a group invariant. We prove that groups which are abelian, hyperbolic, ordered, solvable, or with polynomial growth, have finite twin-width. Twin-width can be characterised by excluding patterns in the self-action by product of the group elements. Based on this characterisation, we propose a strengthening called uniform twin-width, which is stable under constructions such as group extensions, direct products, and direct limits. The existence of finitely generated groups with infinite twin-width is not immediate. We construct one using a result of Osajda on embeddings of graphs into groups. This implies the existence of a class of finite graphs with unbounded twin-width but containing $2^{O(n)} \cdot n!$ graphs on vertex set $\{1,\dots,n\}$, settling a question asked in a previous work.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A finitary structure theorem for vertex-transitive graphs of polynomial growth

We prove a quantitative, finitary version of Trofimov's result that a connected, locally finite vertex-transitive graph G of polynomial growth admits a quotient with finite fibres on which the action of Aut(G) is virtually nilpotent with finite vertex stabilisers. We also present some applications. We show that a finite, connected vertex-transitive graph G of large diameter admits a quotient with fibres of small diameter on which the action of Aut(G) is virtually abelian with vertex stabilisers of bounded size. We also show that G has moderate growth in the sense of Diaconis and Saloff-Coste, which is known to imply that the mixing and relaxation times of the lazy random walk on G are quadratic in the diameter. These results extend results of Breuillard and the second author for finite Cayley graphs of large diameter. Finally, given a connected, locally finite vertex-transitive graph G exhibiting polynomial growth at a single, sufficiently large scale, we describe its growth at subsequent scales, extending a result of Tao and an earlier result of our own for Cayley graphs. In forthcoming work we will give further applications.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Residually free groups do not admit a uniform polynomial isoperimetric function

We show that there is no uniform polynomial isoperimetric function for finitely presented subgroups of direct products of free groups, by producing a sequence of subgroups $G_r\leq F_2^{(1)} \times \dots \times F_2^{(r)}$ of direct products of 2-generated free groups with Dehn functions bounded below by $n^{r}$. The groups $G_r$ are obtained from the examples of non-coabelian subdirect products of free groups constructed by Bridson, Howie, Miller and Short. As a consequence we obtain that residually free groups do not admit a uniform polynomial isoperimetric function.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Metabelian groups with quadratic Dehn function and Baumslag-Solitar groups

We prove that groups in a certain class of metabelian locally compact groups, have quadratic Dehn function. As an application, we embed the solvable Baumslag-Solitar groups into finitely presented metabelian groups with quadratic Dehn function. Also, we prove that Baumslag's finitely presented metabelian groups, in which the lamplighter groups embed, have quadratic Dehn function.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A notion of geometric complexity and its application to topological rigidity

We introduce a geometric invariant, called finite decomposition complexity (FDC), to study topological rigidity of manifolds. We prove for instance that if the fundamental group of a compact aspherical manifold M has FDC, and if N is homotopy equivalent to M, then M x R^n is homeomorphic to N x R^n, for n large enough. This statement is known as the stable Borel conjecture. On the other hand, we show that the class of FDC groups includes all countable subgroups of GL(n,K), for any field K, all elementary amenable groups, and is closed under taking subgroups, extensions, free amalgamated products, HNN extensions, and direct unions.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Isoperimetric profile and random walks on locally compact solvable groups

We study a large class of amenable locally compact groups containing all solvable algebraic groups over a local field and their discrete subgroups. We show that the isoperimetric profile of these groups is in some sense optimal among amenable groups. We use this fact to compute the probability of return of symmetric random walks, and to derive various other geometric properties which are likely to be only satisfied by these groups.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Left inverses of matrices with polynomial decay

The algebra of Schur operators on l^2 is known not to be inverse-closed. When l^2=l^2(X) where X is a metric space, we can consider elements of the Schur algebra with certain decay at infinity. For instance if X has the doubling property, then Q. Sun has proved that the weighted Schur algebra for a strictly polynomial weight is inverse-closed. Here, we prove a result dealing with left-invertibility. Namely, if such an operator is bounded below in l^p for some p, then it is bounded below for all q, and it admits a left-inverse in the weighted Schur algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the existence of Optimal Subspace Clustering Models

Given a set of vectors $\F=\{f_1,\dots,f_m\}$ in a Hilbert space $\HH$, and given a family $\CC$ of closed subspaces of $\HH$, the {\it subspace clustering problem} consists in finding a union of subspaces in $\CC$ that best approximates (models) the data $\F$. This problem has applications and connections to many areas of mathematics, computer science and engineering such as the Generalized Principle Component Analysis (GPCA), learning theory, compressed sensing, and sampling with finite rate of innovation. In this paper, we characterize families of subspaces $\CC$ for which such a best approximation exists. In finite dimensions the characterization is in terms of the convex hull of an augmented set $\CC^+$. In infinite dimensions however, the characterization is in terms of a new but related notion of contact hull. As an application, the existence of best approximations from $π(G)$-invariant families $\CC$ of unitary representations of abelian groups is derived.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces

Let $\H$ denote the discrete Heisenberg group, equipped with a word metric $d_W$ associated to some finite symmetric generating set. We show that if $(X,\|\cdot\|)$ is a $p$-convex Banach space then for any Lipschitz function $f:\H\to X$ there exist $x,y\in \H$ with $d_W(x,y)$ arbitrarily large and \begin{equation}\label{eq:comp abs} \frac{\|f(x)-f(y)\|}{d_W(x,y)}\lesssim \left(\frac{\log\log d_W(x,y)}{\log d_W(x,y)}\right)^{1/p}. \end{equation} We also show that any embedding into $X$ of a ball of radius $R\ge 4$ in $\H$ incurs bi-Lipschitz distortion that grows at least as a constant multiple of \begin{equation}\label{eq:dist abs} \left(\frac{\log R}{\log\log R}\right)^{1/p}. \end{equation} Both~\eqref{eq:comp abs} and~\eqref{eq:dist abs} are sharp up to the iterated logarithm terms. When $X$ is Hilbert space we obtain a representation-theoretic proof yielding bounds corresponding to~\eqref{eq:comp abs} and~\eqref{eq:dist abs} which are sharp up to a universal constant.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Isometric group actions on Banach spaces and representations vanishing at infinity

Our main result is that the simple Lie group $G=Sp(n,1)$ acts properly isometrically on $L^p(G)$ if $p>4n+2$. To prove this, we introduce property $({\BP}_0^V)$, for $V$ be a Banach space: a locally compact group $G$ has property $({\BP}_0^V)$ if every affine isometric action of $G$ on $V$, such that the linear part is a $C_0$-representation of $G$, either has a fixed point or is metrically proper. We prove that solvable groups, connected Lie groups, and linear algebraic groups over a local field of characteristic zero, have property $({\BP}_0^V)$. As a consequence for unitary representations, we characterize those groups in the latter classes for which the first cohomology with respect to the left regular representation on $L^2(G)$ is non-zero; and we characterize uniform lattices in those groups for which the first $L^2$-Betti number is non-zero.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Isometric group actions on Hilbert spaces: growth of cocycles

We study growth of 1-cocycles of locally compact groups, with values in unitary representations. Discussing the existence of 1-cocycles with linear growth, we obtain the following alternative for a class of amenable groups G containing polycyclic groups and connected amenable Lie groups: either G has no quasi-isometric embedding into Hilbert space, or G admits a proper cocompact action on some Euclidean space. On the other hand, noting that almost coboundaries (i.e. 1-cocycles approximable by bounded 1-cocycles) have sublinear growth, we discuss the converse, which turns out to hold for amenable groups with "controlled" Folner sequences; for general amenable groups we prove the weaker result that 1-cocycles with sufficiently small growth are almost coboundaries. Besides, we show that there exist, on a-T-menable groups, proper cocycles with arbitrary small growth.

0 citations0 reviewsNo code linkedOpen access