-
On the distribution of distances in homogeneous compact metric spaces
Authors:
Mark Herman,
Jonathan Pakianathan
Abstract:
We provide a simple proof that in any homogeneous, compact metric space of diameter $D$, if one finds the average distance $A$ achieved in $X$ with respect to some isometry invariant Borel probability measure, then $$\frac{D}{2} \leq A \leq D.$$ This result applies equally to vertex-transitive graphs and to compact, connected, homogeneous Riemannian manifolds.
We then classify the cases where on…
▽ More
We provide a simple proof that in any homogeneous, compact metric space of diameter $D$, if one finds the average distance $A$ achieved in $X$ with respect to some isometry invariant Borel probability measure, then $$\frac{D}{2} \leq A \leq D.$$ This result applies equally to vertex-transitive graphs and to compact, connected, homogeneous Riemannian manifolds.
We then classify the cases where one of the extremes occurs. In particular any homogeneous compact metric space where $A=\frac{D}{2}$ possesses a strict antipodal property which implies in particular that the distribution of distances in $X$ is symmetric about $\frac{D}{2}$ which is hence both mean and median of the distribution.
In particular, we show that the only closed, connected, positive-dimensional Riemannian manifolds with this strict antipodal property are spheres.
△ Less
Submitted 21 July, 2014;
originally announced July 2014.
-
A note on the unit distance problem for planar configurations with Q-independent direction set
Authors:
Mark Herman,
Jonathan Pakianathan
Abstract:
Let $T(n)$ denote the maximum number of unit distances that a set of $n$ points in the Euclidean plane $\mathbb{R}^2$ can determine with the additional condition that the distinct unit length directions determined by the configuration must be $\mathbb{Q}$-independent. This is related to the Erdos unit distance problem but with a simplifying additional assumption on the direction set which holds "g…
▽ More
Let $T(n)$ denote the maximum number of unit distances that a set of $n$ points in the Euclidean plane $\mathbb{R}^2$ can determine with the additional condition that the distinct unit length directions determined by the configuration must be $\mathbb{Q}$-independent. This is related to the Erdos unit distance problem but with a simplifying additional assumption on the direction set which holds "generically".
We show that $T(n+1)-T(n)$ is the Hamming weight of $n$, i.e., the number of nonzero binary coefficients in the binary expansion of $n$, and find a formula for $T(n)$ explicitly. In particular $T(n)$ is $Θ(n log(n))$. Furthermore we describe a process to construct a set of $n$ points in the plane with $\mathbb{Q}$-independent unit length direction set which achieves exactly $T(n)$ unit distances. In the process of doing this, we show $T(n)$ is also the same as the maximum number of edges a subset of vertices of size $n$ determines in either the countably infinite lattice $\mathbb{Z}^{\infty}$ or the infinite hypercube graph $\{0,1\}^{\infty}$.
The problem of determining T(n) can be viewed as either a type of packing or isoperimetric problem.
△ Less
Submitted 25 June, 2014; v1 submitted 23 June, 2014;
originally announced June 2014.
-
On a canonical construction of tesselated surfaces via finite group theory, Part II
Authors:
Mark Herman,
Jonathan Pakianathan
Abstract:
This paper is the second part of a two-part study of an elementary functorial construction of tesselated surfaces from finite groups. This elementary construction was discussed in the first part and generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varie…
▽ More
This paper is the second part of a two-part study of an elementary functorial construction of tesselated surfaces from finite groups. This elementary construction was discussed in the first part and generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varieties of tesselation cell structure. These tesselations are face and edge transitive and consist of closed cell structures. In this paper, we continue to study the distribution of these surfaces in various groups and some interesting resulting tesselations with the aid of computer computations. We also show that extensions of groups result in branched coverings between the component surfaces in their decompositions. Finally we exploit functoriality to obtain interesting faithful, orientation preserving actions of subquotients of these groups and their automorphism groups on these surfaces and in the corresponding mapping class groups.
△ Less
Submitted 14 October, 2013;
originally announced October 2013.
-
On a canonical construction of tesselated surfaces via finite group theory, Part I
Authors:
Mark Herman,
Jonathan Pakianathan,
Ergun Yalcin
Abstract:
This paper is the first part in a 2 part study of an elementary functorial construction from the category of finite non-abelian groups to a category of singular compact, oriented 2-manifolds. After a desingularization process this construction results in a collection of compact, connected, oriented tesselated smooth surfaces equipped with a closed-cell structure which is face and edge transitive a…
▽ More
This paper is the first part in a 2 part study of an elementary functorial construction from the category of finite non-abelian groups to a category of singular compact, oriented 2-manifolds. After a desingularization process this construction results in a collection of compact, connected, oriented tesselated smooth surfaces equipped with a closed-cell structure which is face and edge transitive and which has at most 2 orbits of vertices. These tesselated surfaces can also be viewed as abstract 3-polytopes (or as graph embeddings in the corresponding surface) which are either equivar or dual to abstract quasiregular polytopes. This construction generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varieties of tesselation cell structure. We study the distribution of these surfaces in various groups and some interesting resulting tesselations. In a second paper, we show that extensions of groups result in branched coverings between the component surfaces in their decompositions. We also exploit functoriality to obtain interesting faithful, orientation preserving actions of subquotients of these groups and their automorphism groups on these surfaces and in the corresponding mapping class groups.
△ Less
Submitted 14 October, 2013;
originally announced October 2013.
-
Mixed Operators in Compressed Sensing
Authors:
Matthew A. Herman,
Deanna Needell
Abstract:
Applications of compressed sensing motivate the possibility of using different operators to encode and decode a signal of interest. Since it is clear that the operators cannot be too different, we can view the discrepancy between the two matrices as a perturbation. The stability of L1-minimization and greedy algorithms to recover the signal in the presence of additive noise is by now well-known. R…
▽ More
Applications of compressed sensing motivate the possibility of using different operators to encode and decode a signal of interest. Since it is clear that the operators cannot be too different, we can view the discrepancy between the two matrices as a perturbation. The stability of L1-minimization and greedy algorithms to recover the signal in the presence of additive noise is by now well-known. Recently however, work has been done to analyze these methods with noise in the measurement matrix, which generates a multiplicative noise term. This new framework of generalized perturbations (i.e., both additive and multiplicative noise) extends the prior work on stable signal recovery from incomplete and inaccurate measurements of Candes, Romberg and Tao using Basis Pursuit (BP), and of Needell and Tropp using Compressive Sampling Matching Pursuit (CoSaMP). We show, under reasonable assumptions, that the stability of the reconstructed signal by both BP and CoSaMP is limited by the noise level in the observation. Our analysis extends easily to arbitrary greedy methods.
△ Less
Submitted 31 March, 2010;
originally announced April 2010.
-
High-Resolution Radar via Compressed Sensing
Authors:
Matthew A. Herman,
Thomas Strohmer
Abstract:
A stylized compressed sensing radar is proposed in which the time-frequency plane is discretized into an N by N grid. Assuming the number of targets K is small (i.e., K much less than N^2), then we can transmit a sufficiently "incoherent" pulse and employ the techniques of compressed sensing to reconstruct the target scene. A theoretical upper bound on the sparsity K is presented. Numerical simu…
▽ More
A stylized compressed sensing radar is proposed in which the time-frequency plane is discretized into an N by N grid. Assuming the number of targets K is small (i.e., K much less than N^2), then we can transmit a sufficiently "incoherent" pulse and employ the techniques of compressed sensing to reconstruct the target scene. A theoretical upper bound on the sparsity K is presented. Numerical simulations verify that even better performance can be achieved in practice. This novel compressed sensing approach offers great potential for better resolution over classical radar.
△ Less
Submitted 22 December, 2008; v1 submitted 14 March, 2008;
originally announced March 2008.
