arXiv research

The paper analyzes conditions for solving low-rank matrix recovery problems with noisy measurements.

New analysis proves sketching operators' RIP guarantees for mixture models without importance sampling.

The fused lasso is analyzed for high-dimensional piecewise-constant regression coefficients.

Nonconvex matrix recovery is known to contain no spurious local minima under a restricted isometry property (RIP) with a sufficiently small RIP constant $δ$. If $δ$ is too large, however, then counterexamples containing spurious local minima are known to exist. In this paper, we introduce a proof technique that is capa…

Differential structure on partial isometries over Grassmannian constructed.

Paper analyzes noisy low-rank matrix optimization, improving RIP bounds and convergence rates.

Nonnegative low-rank matrix recovery can have spurious local minima.

The paper analyzes how good initial guesses affect the amount of data needed for low-rank matrix recovery.

The Homogeneity Conjecture explores if constant displacement isometries imply homogeneous spaces.

We analyze the condition number of random feature matrices and prove their well-conditioned nature.

We study the rigidity of complete, embedded constant mean curvature surfaces in R^3. Among other things, we prove that when such a surface has finite genus, then intrinsic isometries of the surface extend to isometries of R^3 or its isometry group contains an index two subgroup of isometries that extend.

When the linear measurements of an instance of low-rank matrix recovery satisfy a restricted isometry property (RIP)---i.e. they are approximately norm-preserving---the problem is known to contain no spurious local minima, so exact recovery is guaranteed. In this paper, we show that moderate RIP is not enough to elimin…

In this paper we study a Riemanian metric on the tangent bundle $T(M)$ of a Riemannian manifold $M$ which generalizes Sasaki metric and Cheeger Gromoll metric and a compatible almost complex structure which together with the metric confers to $T(M)$ a structure of locally conformal almost Kählerian manifold. This is th…

Matrices satisfying the Restricted Isometry Property (RIP) play an important role in the areas of compressed sensing and statistical learning. RIP matrices with optimal parameters are mainly obtained via probabilistic arguments, as explicit constructions seem hard. It is therefore interesting to ask whether a fixed mat…

Simply connected 3-dimensional homogeneous manifolds $E(κ, τ)$, with 4-dimensional isometry group, have a canonical Spin$^c$ structure carrying parallel or Killing spinors. The restriction to any hypersurface of these parallel or Killing spinors allows to characterize isometric immersions of surfaces into $E(κ, τ)$. As…

In a recent paper, it is shown that the LASSO algorithm exhibits "near-ideal behavior," in the following sense: Suppose $y = Az + η$ where $A$ satisfies the restricted isometry property (RIP) with a sufficiently small constant, and $\Vert η\Vert_2 \leq ε$. Then minimizing $\Vert z \Vert_1$ subject to $\Vert y - Az \Ver…

This paper investigates the average-case time complexity of certifying RIP matrices.

In this paper we give an explicit description of the bounded displacement isometries of a class of spaces that includes the Riemannian nilmanifolds. The class of spaces consists of metric spaces (and thus includes Finsler manifolds) on which an exponential solvable Lie group acts transitively by isometries. The bounded…

Sign-RIP improves robust low-rank matrix recovery by preserving norms even with corrupted measurements.

Paper introduces ENZ to measure significant coefficients in sparse recovery, improving over classical methods.

It is of interest to characterize algebraically the dynamical types of isometries of the complex and quaternionic hyperbolic planes. In the complex case, such a characterization is known from the work of Giraud-Goldman. In this paper, we offer an algebraic characterization of the isometries of the two-dimensional quate…

Local rigidity proved for convex hypersurfaces in spaces of constant curvature.

The restricted isometry property (RIP) is an integral tool in the analysis of various inverse problems with sparsity models. Motivated by the applications of compressed sensing and dimensionality reduction of low-rank tensors, we propose generalized notions of sparsity and provide a unified framework for the correspond…

We study the existence of a non-spacelike isometry, ζ, in higher dimensional Kundt spacetimes with constant scalar curvature invariants (CSI). We present the particular forms for the null or timelike Killing vectors and a set of constraints for the metric functions in each case. Within the class of N dimensional CSI Ku…

Study on minimal hypersurfaces in a unit sphere, proving specific isometries.

The pants graph has proved to be influential in understanding 3-manifolds concretely. This stems from a quasi-isometry between the pants graph and the Teichmüller space with the Weil-Petersson metric. Currently, all estimates on the quasi-isometry constants are dependent on the surface in an undiscovered way. This pape…

We study the mechanisms of the non properness of the action of the group of diffeomorphisms on the space of Lorentzian metrics of a compact manifold. In particular, we prove that nonproperness entails the presence of lightlike geodesic foliations of codimension 1. On the 2-torus, we prove that a metric with constant cu…

We study surfaces of constant mean curvature which are invariant by oneparameter group of either rotational isometries or parabolic isometries, immersed into the homogeneous manifold PSL2(R,tau). Also, we give some applications.

This is Part II of a series on noncompact isometry groups of Lorentz manifolds. We have introduced in Part I, a compactification of these isometry groups, and called ``bi-polarized'' those Lorentz manifolds having a ``trivial '' compactification. Here we show a geometric rigidity of non-bi-polarized Lorentz manifolds; …

In this paper we develop a complete theory of factorization for isometries of hyperbolic 4-space. Of special interest is the case where a pair of isometries is linked, that is, when a pair of isometries can be expressed each as compositions of two involutions, one of which is common to both isometries. Here we develop …

We prove a Lipschitz-Volume rigidity theorem in Alexandrov geometry, that is, if a 1-Lipschitz map $f\colon X=\amalg X_\ell\to Y$ between Alexandrov spaces preserves volume, then it is a path isometry and an isometry when restricted to the interior of $X$. We furthermore characterize the metric structure on $Y$ with re…

The closed 3-manifolds of constant positive curvature were classified long ago by Seifert and Threlfall. Using well-known information about the orthogonal group O(4), we calculate their full isometry groups Isom(M), determine which elliptic 3-manifolds admit Seifert fiberings that are invariant under all isometries, an…

We show that every cross ratio preserving homeomorphism between boundaries of Hadamard manifolds extends to a continuous map, called circumcenter extension, provided that the manifolds satisfy certain visibility conditions. We show that this map is a rough isometry, whenever the manifolds admit cocompact group actions …

Almost-isometries are quasi-isometries with multiplicative constant one. Lifting a pair of metrics on a compact space gives quasi-isometric metrics on the universal cover. Under some additional hypotheses on the metrics, we show that there is no almost-isometry between the universal covers. We show that Riemannian mani…

The paper defines quasi-isometry for almost contact metric manifolds and explores its properties.

A manifold is locally \emph{$k$-fold symmetric}, if for any point and any $k$-dimensional vector subspace tangent to this point there exists a local isometry such that this point is a fixed point and the differential of the isometry restricted to that $k$-dimensional vector subspace is minus the identity. We show that …

Paper analyzes and improves GPSP algorithm for block sparse signal recovery.

We state that any constant curvature Riemannian metric with conical singularities of constant sign curvature on a compact (orientable) surface $S$ can be realized as a convex polyhedron in a Riemannian or Lorentzian) space-form. Moreover such a polyhedron is unique, up to global isometries, among convex polyhedra invar…

In this paper we classify complete surfaces of constant mean curvature whose Gaussian curvature does not change sign in a simply connected homogeneous manifold with a 4-dimensional isometry group.

This article provides a new toolbox to derive sparse recovery guarantees from small deviations on extreme singular values or extreme eigenvalues obtained in Random Matrix Theory. This work is based on Restricted Isometry Constants (RICs) which are a pivotal notion in Compressed Sensing and High-Dimensional Statistics a…

The restricted isometry property (RIP) is a universal tool for data recovery. We explore the implication of the RIP in the framework of generalized sparsity and group measurements introduced in the Part I paper. It turns out that for a given measurement instrument the number of measurements for RIP can be improved by o…

We study the varieties of invariant totally geodesic submanifolds of isometries of the spherical, Euclidean and hyperbolic spaces in each finite dimension. We show that the dimensions of the connected components of these varieties determine the orbit type (or the z-class) of the isometry. For this purpose, we introduce…

In this paper we present some structural results on the Lie algebras of transitive isometry groups of a general compact homogenous Riemannian manifold with nontrivial Killing vector fields of constant length.

It has been recently shown by Abresch and Rosenberg that a certain Hopf differential is holomorphic on every constant mean curvature surface in a Riemannian homogeneous 3-manifold with isometry group of dimension 4. In this paper we describe all the surfaces with holomorphic Hopf differential in the homogeneous 3-manif…

A Jacobi field on a Riemannian manifold M is defined along a geodesic. We generalize this notion to an arbitrary smooth curve, and call it an infinitesimal isometry along the curve. We give two approaches to this: 1) compute the complete prolongation of the Killing equation and then restrict to the curve, and 2) comput…

The goal of this paper is to clarify connections between Killing fields of constant length on a Rimannian geodesic orbit manifold $(M,g)$ and the structure of its full isometry group. The Lie algebra of the full isometry group of $(M,g)$ is identified with the Lie algebra of Killing fields $\mathfrak{g}$ on $(M,g)$. We…

Helix surfaces in Anti-de Sitter space maintain constant Gaussian curvature.

Biholomorphisms of transport twistor spaces are rigid under certain conditions.