arXiv research

Differential structure on partial isometries over Grassmannian constructed.

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…

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

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

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…

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…

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…

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 …

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…

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

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…

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…

Deep 3D models are vulnerable to isometry transformations under adversarial attacks.

The multilabel learning problem with large number of labels, features, and data-points has generated a tremendous interest recently. A recurring theme of these problems is that only a few labels are active in any given datapoint as compared to the total number of labels. However, only a small number of existing work ta…

For a prime number $q\neq 2$ and $r>0$ we study, whether there exists an isometry of order $q^r$ acting on a free $\mathbb{Z}_{p^k}$-module equipped with a scalar product. We investigate, whether there exists such an isometry with no non-zero fixed points. Both questions are completely answered in this paper if $p\neq …

Being E a vector space with inner product and S the sphere of E, will be given a demonstration that every application of the sphere S itself it such that preserve inner product is the restriction of a linear isometry in E.

This work builds on the foundation laid by Gordon and Wilson in the study of isometry groups of solvmanifolds, i.e. Riemannian manifolds admitting a transitive solvable group of isometries. We restrict ourselves to a natural class of solvable Lie groups called almost completely solvable; this class includes the complet…

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

New property ensures neural networks generalize well with limited data.

In previous work, theoretical analysis based on the tensor Restricted Isometry Property (t-RIP) established the robust recovery guarantees of a low-tubal-rank tensor. The obtained sufficient conditions depend strongly on the assumption that the linear measurement maps satisfy the t-RIP. In this paper, by exploiting the…

In this paper, we obtain the following generalisation of isometric $C^1$-immersion theorem of Nash and Kuiper. Let $M$ be a smooth manifold of dimension $m$ and $H$ a rank $k$ subbundle of the tangent bundle $TM$ with a Riemannian metric $g_H$. Then the pair $(H,g_H)$ defines a sub-Riemannian structure on $M$. We call …

The requirement that a (non-Einstein) Kähler metric in any given complex dimension $m>2$ be almost-everywhere conformally Einstein turns out to be much more restrictive, even locally, than in the case of complex surfaces. The local biholomorphic-isometry types of such metrics depend, for each $m>2$, on three real param…

Manifolds uniquely identified by boundary distance differences.

We generalize the natural cross ratio on the ideal boundary of a rank one symmetric spaces, or even $\mathrm{CAT}(-1)$ space, to higher rank symmetric spaces and (non-locally compact) Euclidean buildings - we obtain vector valued cross ratios defined on simplices of the building at infinity. We show several properties …

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…

This classification is found by analyzing the action of a normal subgroup of $B_3$ as hyperbolic isometries. This paper gives an example of an unfaithful specialization of the Burau representation on $B_4$ that is faithful when restricted to $B_3$, as well as examples of unfaithful specializations of $B_3$.

For $n\geq 4$ we show that generic closed Riemannian $n$-manifolds have no nontrivial totally geodesic submanifolds, answering a question of Spivak. An immediate consequence is a severe restriction on the isometry group of a generic Riemannian metric. Both results are widely believed to be true, but we are not aware of…

Let $(M,F)$ be a connected Finsler space. An isometry of $(M,F)$ is called a Clifford-Wolf translation (or simply CW-translation) if it moves all points the same distance. The compact Finsler space $(M,F)$ is called restrictively Clifford-Wolf homogeneous (restrictively CW-homogeneous) if for any two sufficiently close…

We consider an inverse problem for a hyperbolic partial differential equation on a compact Riemannian manifold. Assuming that $Γ_1$ and $Γ_2$ are two disjoint open subsets of the boundary of the manifold we define the restricted Dirichlet-to-Neumann operator $Λ_{Γ_1,Γ_2}$. This operator corresponds the boundary measure…

New result on tensor recovery without strong assumptions.

We prove that a maximal totally complex submanifold $N^{2n}$ of the quaternionic projective space $\mathbb{H}\mathbb{P}^n$ ($n\geq 2$) is a parallel submanifold, provided one of the following conditions is satisfied: (1) $N$ is the orbit of a compact Lie group of isometries, (2) the restricted normal holonomy is a prop…

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

Oracle inequalities and variable selection properties for the Lasso in linear models have been established under a variety of different assumptions on the design matrix. We show in this paper how the different conditions and concepts relate to each other. The restricted eigenvalue condition (Bickel et al., 2009) or the…

Gradient descent with specific initialization and step size achieves optimal sparse signal recovery.

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

The paper describes distances on Sol-type groups using novel geometric techniques.

Gradient descent solves asymmetric low-rank matrix sensing without balancing.

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

Study $L^2$-cohomology in unbounded geometry manifolds.

New rigidity results for quasi-Einstein metrics with non-zero divergence-free vector fields.

For two generator free Fuchsian groups, the quotient three manifold is a genus two solid handlebody and its boundary is a hyperelliptic Riemann surface. The convex core is also a hyperelliptic Riemann surface. We find the Weierstrass points of both of these surfaces. We then generalize the notion of a hyperelliptic Rie…

We present a theory for Euclidean dimensionality reduction with subgaussian matrices which unifies several restricted isometry property and Johnson-Lindenstrauss type results obtained earlier for specific data sets. In particular, we recover and, in several cases, improve results for sets of sparse and structured spars…

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

The paper validates a method for recovering over-parameterized matrices and images from noisy measurements.

We first show that the intrinsic, geometrical structure of a dynamical horizon is unique. A number of physically interesting constraints are then established on the location of trapped and marginally trapped surfaces in the vicinity of any dynamical horizon. These restrictions are used to prove several uniqueness theor…

New bounds on random quadratic forms hold under dependence, useful for adaptive modeling.

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