Localization in multifacility location theory

We present two localization theorems for a multifacility location problem involving linear costs and a single norm in a two-dimensional space. It is shown that optimal locations for all the new facilities can be found in the metric hull of existing facilities, whatever the norm is. In the polyhedral norm case we study if only finite set of intersections points which belong to the metric hull needs to be considered; the result is obtained in particular for the ℓ¹-norm and a counter example is given for a general polyhedral norm.     

On weak compactness and countable weak compactness in fixed point theory

We prove that weak compactness and countable weak compactness in metric spaces are not equivalent. However, if the metric space has normal structure, they are equivalent. It follows that some fixed point theorems proved recently are consequences of a classical theorem of Kirk.

     

Zonoid theory and Hilbert's fourth problem

A finite vector sum of line segments is termed a zonotope. A zonoid is a Blaschke-Hausdorff limit of zonotopes. A projective metric d on a convex subset of projective space is shown to be of negative type if and only if the spheres in any tangent space are polar duals of zonoids. It follows that metric arclength can be represented by a Crofton formula with respect to a positive measure on the hyperplanes if and only if d is of negative type. These ideas allow a nice characterization of this cone of metrics.     

Geometric Gibbs theory

We extend the classical Gibbs theory for smooth potentials to the geometric Gibbs theory for certain continuous potentials. We study the existence and uniqueness and the compatibility of geometric Gibbs measures associated with these continuous potentials. We introduce a complex Banach manifold structure on the space of these continuous potentials as well as on the space of all geometric Gibbs measures. We prove that with this complex Banach manifold structure, the space is complete and, moreover, is the completion of the space of all smooth potentials as well as the space of all classical Gibbs measures. There is a maximum metric on the space, which is incomplete. We prove that the topology induced by the newly introduced complex Banach manifold structure and the topology induced by the maximal metric are the same. We prove that a geometric Gibbs measure is an equilibrium state, and the infimum of the metric entropy function on the space is zero.

     

Higher index theory for certain expanders and Gromov monster groups,II

In this paper, the second of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs has girth tending to infinity, then the maximal coarse Baum–Connes assembly map is an isomorphism for the associated metric space X. As discussed in the first paper in this series, this has applications to the Baum–Connes conjecture for ‘Gromov monster’ groups.We also introduce a new property, ‘geometric property (T)’. For the metric space associated to a sequence of graphs, this property is an obstruction to the maximal coarse assembly map being an isomorphism. This enables us to distinguish between expanders with girth tending to infinity, and, for example, those constructed from property (T) groups.     

Convergence in distribution of random metric measure spaces (Λ-coalescent measure trees)

We consider the space of complete and separable metric spaces which are equipped with a probability measure. A notion of convergence is given based on the philosophy that a sequence of metric measure spaces converges if and only if all finite subspaces sampled from these spaces converge. This topology is metrized following Gromov’s idea of embedding two metric spaces isometrically into a common metric space combined with the Prohorov metric between probability measures on a fixed metric space. We show that for this topology convergence in distribution follows—provided the sequence is tight—from convergence of all randomly sampled finite subspaces. We give a characterization of tightness based on quantities which are reasonably easy to calculate. Subspaces of particular interest are the space of real trees and of ultra-metric spaces equipped with a probability measure. As an example we characterize convergence in distribution for the (ultra-)metric measure spaces given by the random genealogies of the Λ-coalescents. We show that the Λ-coalescent defines an infinite (random) metric measure space if and only if the so-called “dust-free”-property holds.     

Approach theory meets probability theory

In this paper we reconsider the basic topological and metric structures on spaces of probability measures and random variables, such as e.g. the weak topology and the total variation metric, replacing them with more intrinsic and richer approach structures. We comprehensibly investigate the relationships among, and basic facts about these structures, and prove that fundamental results, such as e.g. the portmanteau theorem and Prokhorov?s theorem, can be recaptured in a considerably stronger form in the new setting.     

Embedding metric spaces in Euclidean space

In this paper, we give necessary and sufficient conditions for embedding a given metric space in Euclidean space. We shall introduce the notions of flatness and dimension for metric spaces and prove that a metric space can be embedded in Euclidean n-space if and only if the metric space is flat and of dimension less than or equal to n.     

Advances in metric embedding theory

Metric Embedding plays an important role in a vast range of application areas such as computer vision, computational biology, machine learning, networking, statistics, and mathematical psychology, to name a few. The mathematical theory of metric embedding is well studied in both pure and applied analysis and has more recently been a source of interest for computer scientists as well. Most of this work is focused on the development of bi-Lipschitz mappings between metric spaces. In this paper we present new concepts in metric embeddings as well as new embedding methods for metric spaces. We focus on finite metric spaces, however some of the concepts and methods are applicable in other settings as well.One of the main cornerstones in finite metric embedding theory is a celebrated theorem of Bourgain which states that every finite metric space on n points embeds in Euclidean space with distortion. Bourgain?s result is best possible when considering the worst case distortion over all pairs of points in the metric space. Yet, it is natural to ask: can an embedding do much better in terms of the average distortion? Indeed, in most practical applications of metric embedding the main criteria for the quality of an embedding is its average distortion over all pairs.In this paper we provide an embedding with constant average distortion for arbitrary metric spaces, while maintaining the same worst case bound provided by Bourgain?s theorem. In fact, our embedding possesses a much stronger property. We define the ?q-distortion of a uniformly distributed pair of points. Our embedding achieves the best possible ?q-distortion for all 1?q?∞simultaneously.The results are based on novel embedding methods which improve on previous methods in another important aspect: the dimension of the host space. The dimension of an embedding is of very high importance in particular in applications and much effort has been invested in analyzing it. However, no previous result improved the bound on the dimension which can be derived from Bourgain?s embedding. Our embedding methods achieve better dimension, and in fact, shed new light on another fundamental question in metric embedding, which is: whether the embedding dimension of a metric space is related to its intrinsic dimension? I.e., whether the dimension in which it can be embedded in some real normed space is related to the intrinsic dimension which is reflected by the inherent geometry of the space, measured by the space?s doubling dimension. The existence of such an embedding was conjectured by Assouad,⁴and was later posed as an open problem in several papers. Our embeddings give the first positive result of this type showing any finite metric space obtains a low distortion (and constant average distortion) embedding in Euclidean space in dimension proportional to its doubling dimension.Underlying our results is a novel embedding method. Probabilistic metric decomposition techniques have played a central role in the field of finite metric embedding in recent years. Here we introduce a novel notion of probabilistic metric decompositions which comes particularly natural in the context of embedding. Our new methodology provides a unified approach to all known results on embedding of arbitrary finite metric spaces. Moreover, as described above, with some additional ideas they allow to get far stronger results.The results presented in this paper⁵have been the basis for further developments both within the field of metric embedding and in other areas such as graph theory, distributed computing and algorithms. We present a comprehensive study of the notions and concepts introduced here and provide additional extensions, related results and some examples of algorithmic applications.     

Quantized Gromov-Hausdorff distance

A quantized metric space is a matrix order unit space equipped with an operator space version of Rieffel's Lip-norm. We develop for quantized metric spaces an operator space version of quantum Gromov-Hausdorff distance. We show that two quantized metric spaces are completely isometric if and only if their quantized Gromov-Hausdorff distance is zero. We establish a completeness theorem. As applications, we show that a quantized metric space with 1-exact underlying matrix order unit space is a limit of matrix algebras with respect to quantized Gromov-Hausdorff distance, and that matrix algebras converge naturally to the sphere for quantized Gromov-Hausdorff distance.     

Geometric Gibbs theory In Memory of Professor Shantao Liao

We extend the classical Gibbs theory for smooth potentials to the geometric Gibbs theory for certain continuous potentials. We study the existence and uniqueness and the compatibility of geometric Gibbs measures associated with these continuous potentials. We introduce a complex Banach manifold structure on the space of these continuous potentials as well as on the space of all geometric Gibbs measures. We prove that with this complex Banach manifold structure, the space is complete and, moreover, is the completion of the space of all smooth potentials as well as the space of all classical Gibbs measures. There is a maximum metric on the space,which is incomplete. We prove that the topology induced by the newly introduced complex Banach manifold structure and the topology induced by the maximal metric are the same. We prove that a geometric Gibbs measure is an equilibrium state, and the infimum of the metric entropy function on the space is zero.     

Métriques de révolution d'un disque et invariance par rotation de la longueur des géodésiques

We give a geometrical proof of a Muhometov type inequality, for a single Riemannian metric defined on a closed disc in the plane. We mainly study the case of equality which is achieved if and only if the distance between points on the boundary is invariant under rotation along the boundary. We show that this implies that the metric itself must be invariant under rotation, at least when the metric is analytic or of nonpositive curvature.     

Between compactness and completeness

Call a sequence in a metric space cofinally Cauchy if for each positive ε there exists a cofinal (rather than residual) set of indices whose corresponding terms are ε-close. We give a number of new characterizations of metric spaces for which each cofinally Cauchy sequence has a cluster point. For example, a space has such a metric if and only each continuous function defined on it is uniformly locally bounded. A number of results exploit a measure of local compactness functional that we introduce. We conclude with a short proof of Romaguera's Theorem: a metrizable space admits such a metric if and only if its set of points having a compact neighborhood has compact complement.     

Axiomatic theory of Sobolev spaces

We develop an axiomatic approach to the theory of Sobolev spaces on metric measure spaces and we show that this axiomatic construction covers the main known examples (Hajłasz Sobolev spaces, weighted Sobolev spaces, Upper-gradients, etc). We then introduce the notion of variational p-capacity and discuss its relation with the geometric properties of the metric space. The notions of p-parabolic and p-hyperbolic spaces are then discussed.     

Conformal entropy rigidity through Yamabe flows

We introduce two versions of the Yamabe flow which preserve negative scalar-curvature bounds. First we show existence and smooth convergence of solutions to these flows. We then show that a metric with negative scalar curvature is controlled by the Yamabe metrics in the same conformal class with constant extremal scalar curvatures. This implies that the volume entropy of our original metric is controlled by the entropies of these Yamabe metrics. We eventually use these Yamabe flows to prove an entropy-rigidity result: when the Yamabe metric has negative sectional curvature, the entropy of a metric in the same conformal class is extremal if and only if the metric has constant extremal scalar curvature.     

Index computations in FJRW theory

We compute the index of the real Cauchy–Riemann operator defined in FJRW theory in case of the smooth metric.For the cylindrical metric,we study the relation between the index of the linearized operator of Witten map and weights in weighted Sobolev spaces.     

The Socle of a Metric n-Lie Algebra

We define the socle of an n-Lie algebra as the sum of all the minimal ideals. An n-Lie algebra is called metric if it is endowed with an invariant nondegenerate symmetric bilinear form. We characterize the socle of a metric n-Lie algebra, which is closely related to the radical and the center of the metric n-Lie algebra. In particular, the socle of a metric n-Lie algebra is reductive, and a metric n-Lie algebra is solvable if and only if the socle coincides with its center. We also calculate the metric dimensions of simple and reductive n-Lie algebras and give a lower bound in the nonreductive case.     

Higher index theory for certain expanders and Gromov monster groups,I

In this paper, the first of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs is an expander and the girth of the graphs tends to infinity, then the coarse Baum–Connes assembly map is injective, but not surjective, for the associated metric space X.Expanders with this girth property are a necessary ingredient in the construction of the so-called ‘Gromov monster’ groups that (coarsely) contain expanders in their Cayley graphs. We use this connection to show that the Baum–Connes assembly map with certain coefficients is injective but not surjective for these groups. Using the results of the second paper in this series, we also show that the maximal Baum–Connes assembly map with these coefficients is an isomorphism.     

Channel metrization

We present an algorithm that, given a channel, determines if there is a distance for it such that the maximum likelihood decoder coincides with the minimum distance decoder.We also show that any metric, up to a decoding equivalence, can be isometrically embedded into the hypercube with the Hamming metric, and thus, in terms of decoding, the Hamming metric is universal.     

On Generalized Douglas–Weyl(α, β)-Metrics

In this paper, we study generalized Douglas–Weyl(α, β)-metrics. Suppose that a regular(α, β)-metric F is not of Randers type. We prove that F is a generalized Douglas–Weyl metric with vanishing S-curvature if and only if it is a Berwald metric. Moreover, by ignoring the regularity, if F is not a Berwald metric, then we find a family of almost regular Finsler metrics which is not Douglas nor Weyl. As its application, we show that generalized Douglas–Weyl square metric or Matsumoto metric with isotropic mean Berwald curvature are Berwald metrics.