Geometry and inequalities of geometric mean

We study some geometric properties associated with the t-geometric means A ?_tB:= A^1/2(A^?1/2BA^?1/2)^tA^1/2 of two n × n positive definite matrices A and B. Some geodesical convexity results with respect to the Riemannian structure of the n × n positive definite matrices are obtained. Several norm inequalities with geometric mean are obtained. In particular, we generalize a recent result of Audenaert (2015). Numerical counterexamples are given for some inequality questions. A conjecture on the geometric mean inequality regarding m pairs of positive definite matrices is posted.     

Polar decomposition of regularly varying time series in star-shaped metric spaces

There exist two ways of defining regular variation of a time series in a star-shaped metric space: either by the distributions of finite stretches of the series or by viewing the whole series as a single random element in a sequence space. The two definitions are shown to be equivalent. The introduction of a norm-like function, called modulus, yields a polar decomposition similar to the one in Euclidean spaces. The angular component of the time series, called angular or spectral tail process, captures all aspects of extremal dependence. The stationarity of the underlying series induces a transformation formula of the spectral tail process under time shifts.     

Incompatible elasticity and the immersion of non-flat Riemannian manifolds in Euclidean space

We study a geometric problem that originates from theories of nonlinear elasticity: given a non-flat n-dimensional Riemannian manifold with boundary, homeomorphic to a bounded subset of ? ⁿ , what is the minimum amount of deformation required in order to immerse it in a Euclidean space of the same dimension? The amount of deformation, which in the physical context is an elastic energy, is quantified by an average over a local metric discrepancy. We derive an explicit lower bound for this energy for the case where the scalar curvature of the manifold is non-negative. For n = 2 we generalize the result for surfaces of arbitrary curvature.     

Geometric Realization of a Triangulation on the Projective Plane with One Face Removed

Let M be a map on a surface F ². A geometric realization of M is an embedding of F ² into a Euclidean 3-space ?³ such that each face of M is a flat polygon. We shall prove that every triangulation G on the projective plane has a face f such that the triangulation of the Möbius band obtained from G by removing the interior of f has a geometric realization.     

A polynomial-time approximation scheme for the Euclidean problem on a cycle cover of a graph

We study the minimum-weight k-size cycle cover problem (Min-k-SCCP) of finding a partition of a complete weighted digraph into k vertex-disjoint cycles of minimum total weight. This problem is a natural generalization of the known traveling salesman problem (TSP) and has a number of applications in operations research and data analysis. We show that the problem is strongly NP-hard in the general case and preserves intractability even in the geometric statement. For the metric subclass of the problem, a 2-approximation algorithm is proposed. For the Euclidean Min-2-SCCP, a polynomial-time approximation scheme based on Arora’s approach is built.     

Isometric embeddings of 2-spheres into Schwarzschild manifolds

Let g be a Riemannian metric on the 2-sphere S². Results on isometric embeddings of (S², g) into a fixed model manifold often have implications in quasi-local mass related problems in general relativity. In this paper, motivated by the definitions of the Brown–York and the Wang–Yau mass, we consider isometric embeddings of (S², g) into conformally flat spaces. We prove that if g is close to the standard metric on S², then (S², g) admits an isometric embedding into any spatial Schwarzschild manifold with small mass. We also give a sufficient condition that ensures isometric embeddings of perturbations of a Euclidean convex surface into \({\mathbb{R}^3}\) equipped with a conformally flat metric.     

Isometric embeddings of finite metric spaces

It is proved that there exists a metric on a Cantor set such that any finite metric space whose diameter does not exceed 1 and the number of points does not exceed n can be isometrically embedded into it. It is also proved that for any m, n ∈ N there exists a Cantor set in R^m that isometrically contains all finite metric spaces which can be embedded into R^m, contain at most n points, and have the diameter at most 1. The latter result is proved for a wide class of metrics on R^m and, in particular, for the Euclidean metric.     

Invariant <Emphasis Type="Italic">f</Emphasis>-structures on naturally reductive homogeneous spaces

We study invariant metric f-structures on naturally reductive homogeneous spaces and establish their relation to generalized Hermitian geometry. We prove a series of criteria characterizing geometric and algebraic properties of important classes of metric f-structures: nearly Kähler, Hermitian, Kähler, and Killing structures. It is shown that canonical f-structures on homogeneous Φ-spaces of order k (homogeneous k-symmetric spaces) play remarkable part in this line of investigation. In particular, we present the final results concerning canonical f-structures on naturally reductive homogeneous Φ-spaces of order 4 and 5.     

Energy Scaling Law for the Regular Cone

We consider a thin elastic sheet in the shape of a disk whose reference metric is that of a singular cone. That is, the reference metric is flat away from the center and has a defect there. We define a geometrically fully nonlinear free elastic energy and investigate the scaling behavior of this energy as the thickness h tends to 0. We work with two simplifying assumptions: Firstly, we think of the deformed sheet as an immersed 2-dimensional Riemannian manifold in Euclidean 3-space and assume that the exponential map at the origin (the center of the sheet) supplies a coordinate chart for the whole manifold. Secondly, the energy functional penalizes the difference between the induced metric and the reference metric in \(L^\infty \) (instead of, as is usual, in \(L^2\)). Under these assumptions, we show that the elastic energy per unit thickness of the regular cone in the leading order of h is given by \(C^*h^2|\log h|\), where the value of \(C^*\) is given explicitly.     

<Emphasis Type="Italic">tt</Emphasis><Superscript>*</Superscript>-Geometry and Pluriharmonic Maps

In this paper we use the real differential geometric definition of a metric (a unimodular oriented metric) tt^*-bundle of Cortés and the author (Topological-anti-topological fusion equations, pluriharmonic maps and special Kähler manifolds) to define a map Φ from the space of metric (unimodular oriented metric) tt^*-bundles of rank r over a complex manifold M to the space of pluriharmonic maps from M to {GL}(r)/O(p,q) (respectively {SL}(r)/SO(p,q)), where (p,q) is the signature of the metric. In the sequel the image of the map Φ is characterized. It follows, that in signature (r,0) the image of Φ is the whole space of pluriharmonic maps. This generalizes a result of Dubrovin (Comm. Math. Phys. 152 (1992; S539–S564).     

The Local Metric Dimension of Strong Product Graphs

A vertex \(v\in V(G)\) is said to distinguish two vertices \(x,y\in V(G)\) of a nontrivial connected graph G if the distance from v to x is different from the distance from v to y. A set \(S\subset V(G)\) is a local metric generator for G if every two adjacent vertices of G are distinguished by some vertex of S. A local metric generator with the minimum cardinality is called a local metric basis for G and its cardinality, the local metric dimension of G. It is known that the problem of computing the local metric dimension of a graph is NP-Complete. In this paper we study the problem of finding exact values or bounds for the local metric dimension of strong product of graphs.     

Minimal Translation Hypersurfaces in Euclidean Space

The graph of a function f defined in some open set of the Euclidean space of dimension (p + q) is said to be a translation graph if f may be expressed as the sum of two independent functions ? and ψ defined in open sets of the Euclidean spaces of dimension p and q, respectively. We obtain a useful expression for the mean curvature of the graph of f in terms of the Laplacian, the gradient of ? and ψ as well as of the mean curvatures of their graphs. We study translation graphs having zero mean curvature, that is, minimal translation graphs, by imposing natural conditions on ? and ψ, like harmonicity, minimality and eikonality (constant norm of the gradient), giving several examples as well as characterization results.     

On holomorphic immersions into kähler manifolds of constant holomorphic sectional curvature

We study holomorphic immersions f:X →M from a complex manifoldX into a Kähler manifold of constant holomorphic sectional curvatureM, i.e. a complex hyperbolic space form, a complex Euclidean space form, or the complex projective space equipped with the Fubini-Study metric. ForX compact we show that the tangent sequence splits holomorphically if and only iff is a totally geodesic immersion. ForX not necessarily compact we relate an intrinsic cohomological invariantp(X) onX, viz. the invariant defined by Gunning measuring the obstruction to the existence of holomorphic projective connections, to an extrinsic cohomological invariant(f) measuring the obstruction to the holomorphic splitting of the tangent sequence. The two invariantsp(X) and?(f) are related by a linear map on cohomology groups induced by the second fundamental form. In some cases, especially whenX is a complex surface andM is of complex dimension 4, under the assumption thatX admits a holomorphic projective connection we obtain a sufficient condition for the holomorphic splitting of the tangent sequence in terms of the second fundamental form.     

A note on the perturbations of compact quantum metric spaces

In this short note,we consider the perturbation of compact quantum metric spaces.We first show that for two compact quantum metric spaces(A,P) and(B,Q) for which A and B are subspaces of an order-unit space C and P and Q are Lip-norms on A and B respectively,the quantum Gromov–Hausdorff distance between(A,P) and(B,Q) is small under certain conditions.Then some other perturbation results on compact quantum metric spaces derived from spectral triples are also given.     

Solving the uncapacitated multi-facility Weber problem by vector quantization and self-organizing maps

The uncapacitated multi-facility Weber problem is concerned with locating m facilities in the Euclidean plane and allocating the demands of n customers to these facilities with the minimum total transportation cost. This is a non-convex optimization problem and difficult to solve exactly. As a consequence, efficient and accurate heuristic solution procedures are needed. The problem has different types based on the distance function used to model the distance between the facilities and customers. We concentrate on the rectilinear and Euclidean problems and propose new vector quantization and self-organizing map algorithms. They incorporate the properties of the distance function to their update rules, which makes them different from the existing two neural network methods that use rather ad hoc squared Euclidean metric in their updates even though the problem is originally stated in terms of the rectilinear and Euclidean distances. Computational results on benchmark instances indicate that the new methods are better than the existing ones, both in terms of the solution quality and computation time.     

On balanced colorings of the <Emphasis Type="Italic">n</Emphasis>-cube

A 2-coloring of the n-cube in the n-dimensional Euclidean space can be considered as an assignment of weights of 1 or 0 to the vertices. Such a colored n-cube is said to be balanced if its center of mass coincides with its geometric center. Let B _n,2k be the number of balanced 2-colorings of the n-cube with 2k vertices having weight 1. Palmer, Read, and Robinson conjectured that for n≥1, the sequence \(\{B_{n,2k}\}_{k=0,1,\ldots,2^{n-1}}\) is symmetric and unimodal. We give a proof of this conjecture. We also propose a conjecture on the log-concavity of B _n,2k for fixed k, and by probabilistic method we show that it holds when n is sufficiently large.     

Tree-Like Structure Graphs with Full Diversity of Balls

Under study is the diversity of metric balls in connected finite ordinary graphs considered as a metric space with the usual shortest-path metric. We investigate the structure of graphs in which all balls of fixed radius i are distinct for each i less than the diameter of the graph. Let us refer to such graphs as graphs with full diversity of balls. For these graphs, we establish some properties connected with the existence of bottlenecks and find out the configuration of blocks in the graph. Using the obtained properties, we describe the tree-like structure graphs with full diversity of balls.     

Extending Lipschitz maps into <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)-spaces

We show that if K is a compact metric space then C(K) is a 2-absolute Lipschitz retract. We then study the best Lipschitz extension constants for maps into C(K) from a given metric space M, extending recent results of Lancien and Randrianantoanina. They showed that a finite-dimensional normed space which is polyhedral has the isometric extension property for C(K)-spaces; here we show that the same result holds for spaces with Gateaux smooth norm or of dimension two; a three-dimensional counterexample is also given. We also show that X is polyhedral if and only if every subset E of X has the universal isometric extension property for C(K)-spaces. We also answer a question of Naor on the extension of Hölder continuous maps.     

Embedding of Sobolev spaces with limit exponent revisited

An embedding of the Sobolev spaces W _p ^s (? ⁿ ) in Lizorkin-type spaces of locally integrable functions of smoothness zero is obtained; a similar assertion for Riesz and Bessel potentials is presented. The embedding theorem is extended to Sobolev spaces on irregular domains in n-dimensional Euclidean space. The statement of the theorem depends on geometric parameters of the domain of functions.     

A class of metrics and foliations on tangent bundle of Finsler manifolds

Let (M,F) be a Finsler manifold, and let TM ₀ be the slit tangent bundle of M with a generalized Riemannian metric G, which is induced by F. In this paper, we extract many natural foliations of (TM ₀,G) and study their geometric properties. Next, we use this approach to obtain new characterizations of Finsler manifolds with positive constant flag curvature. We also investigate the relations between Levi-Civita connection, Cartan connection, Vaisman connection, vertical foliation, and Reinhart spaces.