Searcharxiv⌕ Search

arXiv subjects

Romain Tessera

Publications and source records attributed to Romain Tessera.

71 records · Page 4Linked to original sources
arXiv2010

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.

math.FA↗
arXiv2010

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.

math.GT↗
arXiv2010

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.

math.MG↗
arXiv2010

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.

math.FA↗
arXiv2010

The Howe-Moore property for real and p-adic groups

We consider in this paper a relative version of the Howe-Moore Property, about vanishing at infinity of coefficients of unitary representations. We characterize this property in terms of ergodic measure-preserving actions. We also characterize, for linear Lie groups or p-adic Lie groups, the pairs with the relative Howe-Moore Property with respect to a closed, normal subgroup. This involves, in one direction, structural results on locally compact groups all of whose proper closed characteristic subgroups are compact, and, in the other direction, some results about the vanishing at infinity of oscillatory integrals.

math.FA↗
arXiv2009

The inclusion of the Schur algebra in B(l^2) is not inverse-closed

The Schur algebra is the algebra of operators which are bounded on l^1 and on l^{\infty}. Q. Sun conjectured that the Schur algebra is inverse-closed. In this note, we disprove this conjecture. Precisely, we exhibit an operator in the Schur algebra, invertible in l^2, whose inverse is not bounded on l^1 nor on l^{\infty}.

math.FA↗
arXiv2008

Coarse embeddings into a Hilbert space, Haagerup Property and Poincare inequalities

We prove that a metric space does not coarsely embed into a Hilbert space if and only if it satisfies a sequence of Poincaré inequalities, which can be formulated in terms of (generalized) expanders. We also give quantitative statements, relative to the compression. In the equivariant context, our result says that a group does not have the Haagerup property if and only if it has relative property T with respect to a family of probabilities whose supports go to infinity. We give versions of this result both in terms of unitary representations, and in terms of affine isometric actions on Hilbert spaces.

math.GT↗
arXiv2007

Metric sparsification and operator norm localization

We study an operator norm localization property and its applications to the coarse Novikov conjecture in operator K-theory. A metric space X is said to have operator norm localization property if there exists a positive number c such that for every r>0, there is R>0 for which, if m is a positive locally finite Borel measure on X, H is a separable infinite dimensional Hilbert space and T is a bounded linear operator acting on L^2(X,m) with propagation r, then there exists an unit vector v satisfying with support of diameter at most R and such that |Tv| is larger or equal than c|T|. If X has finite asymptotic dimension, then X has operator norm localization property. In this paper, we introduce a sufficient geometric condition for the operator norm localization property. This is used to give many examples of finitely generated groups with infinite asymptotic dimension and the operator norm localization property. We also show that any sequence of expanding graphs does not possess the operator norm localization property.

math.MG↗
arXiv2007

On the L^p-distorsion of finite quotients of amenable groups

We study the L^p-distortion of finite quotients of amenable groups. In particular, for every number p larger or equal than 2, we prove that the l^p-distortion of the finite lamplighter group grows like (\log n)^{1/p}. We also give the asymptotic behavior of the l^p-distortion of finite quotients of certain metabelian polycyclic groups and of the solvable Baumslag-Solitar groups BS(m,1). The proofs are short and elementary.

math.MG↗
arXiv2007

Asymptotic isoperimetry on groups and uniform embeddings into Banach spaces

We characterize the asymptotic behaviour of the compression associated to a uniform embedding into some Lp-space for a large class of groups including connected Lie groups with exponential growth and word-hyperbolic finitely generated groups. In particular, the Hilbert compression rate of these groups is equal to 1. This also provides new and optimal estimates for the compression of a uniform embedding of the infinite 3-regular tree into some Lp-space. The main part of the paper is devoted to the explicit construction of affine isometric actions of amenable Lie groups on Lp-spaces whose compressions are asymptotically optimal. These constructions are based on an asymptotic lower bound of the Lp-isoperimetric profile inside balls. We compute this profile for all amenable connected Lie groups and for all finite p, providing new geometric invariants of these groups. We also relate the Hilbert compression rate with other asymptotic quantities such as volume growth and probability of return of random walks.

math.GR↗
arXiv2007

Vanishing of the first reduced cohomology with values in an $L^p$-representation

We prove that the first reduced cohomology with values in a mixing Lp-representation, p larger than 1, vanishes for a class of amenable groups including connected amenable Lie groups. In particular this solves for this class of amenable groups a conjecture of Gromov saying that every finitely generated amenable group has no first reduced lp-cohomology. As a byproduct, we prove a conjecture by Pansu. Namely, the first reduced Lp-cohomology on homogeneous, closed at infinity, Riemannian manifolds vanishes. We also prove that a Gromov hyperbolic geodesic metric measure space with bounded geometry admitting a bi-Lipschitz embedded 3-regular tree has non-trivial first reduced Lp-cohomology for large enough p. Combining our results with those of Pansu, we characterize Gromov hyperbolic homogeneous manifolds: these are the ones having non-zero first reduced Lp-cohomology for some p larger than 1.

math.GT↗
arXiv2007

Quantitative property A, Poincare inequalities, L^p-compression and L^p-distortion for metric measure spaces

We introduce a quantitative version of Property A in order to estimate the L^p-compressions of a metric measure space X. We obtain various estimates for spaces with sub-exponential volume growth. This quantitative property A also appears to be useful to yield upper bounds on the L^p-distortion of finite metric spaces. Namely, we obtain new optimal results for finite subsets of homogeneous Riemannian manifolds. We also introduce a general form of Poincare inequalities that provide constraints on compressions, and lower bounds on distortion. These inequalities are used to prove the optimality of some of our results.

math.MG↗
arXiv2007

Large scale Sobolev inequalities on metric measure spaces and applications

We introduce a notion of "gradient at a given scale" of functions defined on a metric measure space. We then use it to define Sobolev inequalities at large scale and we prove their invariance under large-scale equivalence (maps that generalize the quasi-isometries). We prove that for a Riemmanian manifold satisfying a local Poincare inequality, our notion of Sobolev inequalities at large scale is equivalent to its classical version. These notions provide a natural and efficient point of view to study the relations between the large time on-diagonal behavior of random walks and the isoperimetry of the space. Specializing our main result to locally compact groups, we obtain that the L^p-isoperimetric profile, for every p \in [1,\infty] is invariant under quasi-isometry between amenable unimodular compactly generated locally compact groups. A qualitative application of this new approach is a very general characterization of the existence of a spectral gap on a quasi-transitive measure space X, providing a natural point of view to understand this phenomenon.

math.MG↗
arXiv2006

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.

math.RT↗
arXiv2006

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.

math.GR↗