Journal•
arXiv: Metric Geometry
About: arXiv: Metric Geometry is an academic journal. The journal publishes majorly in the area(s): Metric space & Convex body. Over the lifetime, 4904 publications have been published receiving 34344 citations.
Papers published on a yearly basis
Papers
More filters
•
TL;DR: In this paper, it was shown that under suitable conditions on the coding matrix, the input vector can be recovered exactly by solving a simple convex optimization problem (which one can recast as a linear program).
Abstract: This paper considers the classical error correcting problem which is frequently discussed in coding theory. We wish to recover an input vector $f \in \R^n$ from corrupted measurements $y = A f + e$. Here, $A$ is an $m$ by $n$ (coding) matrix and $e$ is an arbitrary and unknown vector of errors. Is it possible to recover $f$ exactly from the data $y$? We prove that under suitable conditions on the coding matrix $A$, the input $f$ is the unique solution to the $\ell_1$-minimization problem ($\|x\|_{\ell_1} := \sum_i |x_i|$) $$ \min_{g \in \R^n} \| y - Ag \|_{\ell_1} $$ provided that the support of the vector of errors is not too large, $\|e\|_{\ell_0} := |\{i : e_i
eq 0\}| \le \rho \cdot m$ for some $\rho > 0$. In short, $f$ can be recovered exactly by solving a simple convex optimization problem (which one can recast as a linear program). In addition, numerical experiments suggest that this recovery procedure works unreasonably well; $f$ is recovered exactly even in situations where a significant fraction of the output is corrupted.
6,136 citations
•
[...]
TL;DR: A program to prove the Kepler conjecture on sphere packings is described and it is shown that every Delaunay star that satisfies a certain regularity condition satisfies the conjecture.
Abstract: We describe a program to prove the Kepler conjecture on sphere packings. We then carry out the first step of this program. Each packing determines a decomposition of space into Delaunay simplices, which are grouped together into finite configurations called Delaunay stars. A score, which is related to the density of packings, is assigned to each Delaunay star. We conjecture that the score of every Delaunay star is at most the score of the stars in the face-centered cubic and hexagonal close packings. This conjecture implies the Kepler conjecture. To complete the first step of the program, we show that every Delaunay star that satisfies a certain regularity condition satisfies the conjecture.
1,276 citations
••
TL;DR: In this article, a general study of the relation between the Hopf-Lax semigroup and Hamilton-Jacobi equation in metric spaces (X,d,m) is presented.
Abstract: This paper is devoted to a deeper understanding of the heat flow and to the refinement of calculus tools on metric measure spaces (X,d,m). Our main results are:
- A general study of the relations between the Hopf-Lax semigroup and Hamilton-Jacobi equation in metric spaces (X,d).
- The equivalence of the heat flow in L^2(X,m) generated by a suitable Dirichlet energy and the Wasserstein gradient flow of the relative entropy functional in the space of probability measures P(X).
- The proof of density in energy of Lipschitz functions in the Sobolev space W^{1,2}(X,d,m).
- A fine and very general analysis of the differentiability properties of a large class of Kantorovich potentials, in connection with the optimal transport problem.
Our results apply in particular to spaces satisfying Ricci curvature bounds in the sense of Lott & Villani [30] and Sturm [39,40], and require neither the doubling property nor the validity of the local Poincar\'e inequality.
335 citations
•
TL;DR: The classical honeycomb conjecture asserts that any partition of the plane into regions of equal area has perimeter at least that of the regular hexagonal honeycomb tiling as mentioned in this paper, which is the first general proof of the conjecture.
Abstract: The classical honeycomb conjecture asserts that any partition of the plane into regions of equal area has perimeter at least that of the regular hexagonal honeycomb tiling. Pappus discusses this problem in his preface to Book V. This paper gives the first general proof of the conjecture.
The revision is the published version, which allows disconnected honeycomb cells and gaps between cells.
308 citations
••
TL;DR: In this paper, the authors studied configurations of points on the unit sphere that minimize potential energy for a broad class of potential functions (viewed as functions of the squared Euclidean distance between points).
Abstract: We study configurations of points on the unit sphere that minimize potential energy for a broad class of potential functions (viewed as functions of the squared Euclidean distance between points). Call a configuration sharp if there are m distances between distinct points in it and it is a spherical (2m-1)-design. We prove that every sharp configuration minimizes potential energy for all completely monotonic potential functions. Examples include the minimal vectors of the E_8 and Leech lattices. We also prove the same result for the vertices of the 600-cell, which do not form a sharp configuration. For most known cases, we prove that they are the unique global minima for energy, as long as the potential function is strictly completely monotonic. For certain potential functions, some of these configurations were previously analyzed by Yudin, Kolushov, and Andreev; we build on their techniques. We also generalize our results to other compact two-point homogeneous spaces, and we conclude with an extension to Euclidean space.
285 citations