Strict <Emphasis Type="Italic">p</Emphasis>-negative type of a metric space

Doust and Weston (J Funct Anal 254:2336–2364, 2008) have introduced a new method called enhanced negative type for calculating a non-trivial lower bound \({\wp_{T}}\) on the supremal strict p-negative type of any given finite metric tree (T, d). In the context of finite metric trees any such lower bound \({\wp_{T} >1 }\) is deemed to be non-trivial. In this paper we refine the technique of enhanced negative type and show how it may be applied more generally to any finite metric space (X, d) that is known to have strict p-negative type for some p ≥ 0. This allows us to significantly improve the lower bounds on the supremal strict p-negative type of finite metric trees that were given in Doust and Weston (J Funct Anal 254:2336–2364, 2008, Corollary 5.5) and, moreover, leads in to one of our main results: the supremal p-negative type of a finite metric space cannot be strict. By way of application we are then able to exhibit large classes of finite metric spaces (such as finite isometric subspaces of Hadamard manifolds) that must have strict p-negative type for some p > 1. We also show that if a metric space (finite or otherwise) has p-negative type for some p > 0, then it must have strict q-negative type for all \({q \in [0, p)}\) . This generalizes Schoenberg (Ann Math 38:787–793, 1937, Theorem 2) and leads to a complete classification of the intervals on which a metric space may have strict p-negative type.     

Strongly non-embeddable metric spaces

Enflo (1969) [4] constructed a countable metric space that may not be uniformly embedded into any metric space of positive generalized roundness. Dranishnikov, Gong, Lafforgue and Yu (2002) [3] modified Enflo?s example to construct a locally finite metric space that may not be coarsely embedded into any Hilbert space. In this paper we meld these two examples into one simpler construction. The outcome is a locally finite metric space (Z,ζ) which is strongly non-embeddable in the sense that it may not be embedded uniformly or coarsely into any metric space of non-zero generalized roundness. Moreover, we show that both types of embedding may be obstructed by a common recursive principle. It follows from our construction that any metric space which is Lipschitz universal for all locally finite metric spaces may not be embedded uniformly or coarsely into any metric space of non-zero generalized roundness. Our construction is then adapted to show that the group Zω=ℵ_0⊕Z admits a Cayley graph which may not be coarsely embedded into any metric space of non-zero generalized roundness. Finally, for each p?0 and each locally finite metric space (Z,d), we prove the existence of a Lipschitz injection f:Z→?p.     

Duality for Lipschitz p-summing operators

Building upon the ideas of R. Arens and J. Eells (1956) [1] we introduce the concept of spaces of Banach-space-valued molecules, whose duals can be naturally identified with spaces of operators between a metric space and a Banach space. On these spaces we define analogues of the tensor norms of Chevet (1969) [3] and Saphar (1970) [14], whose duals are spaces of Lipschitz p-summing operators. In particular, we identify the dual of the space of Lipschitz p-summing operators from a finite metric space to a Banach space — answering a question of J. Farmer and W.B. Johnson (2009) [6] — and use it to give a new characterization of the non-linear concept of Lipschitz p-summing operator between metric spaces in terms of linear operators between certain Banach spaces. More generally, we define analogues of the norms of J.T. Lapresté (1976) [11], whose duals are analogues of A. Pietsch?s (p,r,s)-summing operators (A. Pietsch, 1980 [12]). As a special case, we get a Lipschitz version of (q,p)-dominated operators.     

Entropy estimate for high-dimensional monotonic functions

We establish upper and lower bounds for the metric entropy and bracketing entropy of the class of d-dimensional bounded monotonic functions under L^p norms. It is interesting to see that both the metric entropy and bracketing entropy have different behaviors for p<d/(d-1) and p>d/(d-1). We apply the new bounds for bracketing entropy to establish a global rate of convergence of the MLE of a d-dimensional monotone density.     

Generalized Lebesgue points for Sobolev functions

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point x in a metric measure space (X, d, μ) is called a generalized Lebesgue point of a measurable function f if the medians of f over the balls B(x, r) converge to f(x) when r converges to 0. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function. We show that a function f ∈ M ^s,p (X), 0 < s ≤ 1, 0 < p < 1, where X is a doubling metric measure space, has generalized Lebesgue points outside a set of \(\mathcal{H}^h\)-Hausdorff measure zero for a suitable gauge function h.     

Enhanced negative type for finite metric trees

A finite metric tree is a finite connected graph that has no cycles, endowed with an edge weighted path metric. Finite metric trees are known to have strict 1-negative type. In this paper we introduce a new family of inequalities (1) that encode the best possible quantification of the strictness of the non-trivial 1-negative type inequalities for finite metric trees. These inequalities are sufficiently strong to imply that any given finite metric tree (T,d) must have strict p-negative type for all p in an open interval (1−ζ,1+ζ), where ζ>0 may be chosen so as to depend only upon the unordered distribution of edge weights that determine the path metric d on T. In particular, if the edges of the tree are not weighted, then it follows that ζ depends only upon the number of vertices in the tree.We also give an example of an infinite metric tree that has strict 1-negative type but does not have p-negative type for any p>1. This shows that the maximal p-negative type of a metric space can be strict.     

Unconditional martingale difference sequences in Banach spaces

For a Banach space Y, the question of whether Lp(μ,Y) has an unconditional basis if 1<p<∞ and Y has unconditional basis, stood unsolved for a long time and was answered in the negative by Aldous. In this work we prove a weaker, positive result related to this question. We show that if (yj) is a basis of Y and (di) is a martingale difference sequence spanning Lp(μ) then the sequence (di⊗yj) is a basis of Lp(μ,Y) for 1?p<∞. Moreover, if 1<p<∞ and (yj) is unconditional then (di⊗yj) is strictly dominated by an unconditional tensor product basis. In addition, for 1<p<∞, we show that if (di)⊂Lp(μ) is a martingale difference sequence then there exists a constant K>0 so that

     

Geodesics and Curvatures of Special Sub-Riemannian Metrics on Lie Groups

Let G be a full connected semisimple isometry Lie group of a connected Riemannian symmetric space M = G/K with the stabilizer K; p : G → G/K = M the canonical projection which is a Riemannian submersion for some G-left invariant and K-right invariant Riemannian metric on G, and d is a (unique) sub-Riemannian metric on G defined by this metric and the horizontal distribution of the Riemannian submersion p. It is proved that each geodesic in (G, d) is normal and presents an orbit of some one-parameter isometry group. By the Solov'ev method, using the Cartan decomposition for M = G/K, the author found the curvatures of the homogeneous sub-Riemannian manifold (G, d). In the case G = Sp(1) × Sp(1) with the Riemannian symmetric space S³ = Sp(1) = G/ diag(Sp(1) × Sp(1)) the curvatures and torsions are calculated of images in S³ of all geodesics on (G, d) with respect to p.     

On metric spaces with the Haver property which are Menger spaces

A metric space (X,d) has the Haver property if for each sequence ?₁,?₂,… of positive numbers there exist disjoint open collections V₁,V₂,… of open subsets of X, with diameters of members of Vi less than ?i and covering X, and the Menger property is a classical covering counterpart to σ-compactness. We show that, under Martin's Axiom MA, the metric square (X,d)×(X,d) of a separable metric space with the Haver property can fail this property, even if X² is a Menger space, and that there is a separable normed linear Menger space M such that (M,d) has the Haver property for every translation invariant metric d generating the topology of M, but not for every metric generating the topology. These results answer some questions by L. Babinkostova [L. Babinkostova, When does the Haver property imply selective screenability? Topology Appl. 154 (2007) 1971-1979; L. Babinkostova, Selective screenability in topological groups, Topology Appl. 156 (1) (2008) 2-9].     

Homogeneous manifolds from noncommutative measure spaces

Let M be a finite von Neumann algebra with a faithful normal trace τ. In this paper we study metric geometry of homogeneous spaces O of the unitary group UM of M, endowed with a Finsler quotient metric induced by the p-norms of τ, ‖xp_‖=τ(p|x|)^1/p, p?1. The main results include the following. The unitary group carries on a rectifiable distance dp induced by measuring the length of curves with the p-norm. If we identify O as a quotient of groups, then there is a natural quotient distance that metrizes the quotient topology. On the other hand, the Finsler quotient metric defined in O provides a way to measure curves, and therefore, there is an associated rectifiable distance dO,p. We prove that the distances and dO,p coincide. Based on this fact, we show that the metric space is a complete path metric space. The other problem treated in this article is the existence of metric geodesics, or curves of minimal length, in O. We give two abstract partial results in this direction. The first concerns the initial values problem and the second the fixed endpoints problem. We show how these results apply to several examples. In the process, we improve some results about the metric geometry of UM with the p-norm.     

The topology of surface mediatrices

Given a pair of distinct points p and q in a metric space with distance d, the mediatrix is the set of points x such that d(x,p)=d(x,q). In this paper, we examine the topological structure of mediatrices in connected, compact, closed 2-manifolds whose distance function is inherited from a Riemannian metric. We determine that such mediatrices are, up to homeomorphism, finite, closed simplicial 1-complexes with an even number of incipient edges emanating from each vertex. Using this and results from [J.J.P. Veerman, J. Bernhard, Minimally separating sets, mediatrices and Brillouin spaces, Topology Appl., in press], we give the classification up to homeomorphism of mediatrices on genus 1 tori (and on projective planes) and outline a method which may possibly be used to classify mediatrices on higher-genus surfaces.     

On the metrizability of cone metric spaces

We have shown in this paper that a (complete) cone metric space (X,E,P,d) is indeed (completely) metrizable for a suitable metric D. Moreover, given any finite number of contractions f₁,…,fn on the cone metric space (X,E,P,d), D can be defined in such a way that these functions become also contractions on (X,D).     

Takagi functions and approximate midconvexity

Let V be a convex subset of a normed space and let ε?0, p>0 be given constants. A function f:V→R is called (ε,p)-midconvex if

     

Existence and convergence of best proximity points

Consider a self map T defined on the union of two subsets A and B of a metric space and satisfying T(A)⊆B and T(B)⊆A. We give some contraction type existence results for a best proximity point, that is, a point x such that d(x,Tx)=dist(A,B). We also give an algorithm to find a best proximity point for the map T in the setting of a uniformly convex Banach space.     

On the density of the space of continuous and uniformly continuous functions

For X a metrizable space and (Y,ρ) a metric space, with Y pathwise connected, we compute the density of (C(X,(Y,ρ)),σ)—the space of all continuous functions from X to (Y,ρ), endowed with the supremum metric σ. Also, for (X,d) a metric space and (Y,‖⋅‖) a normed space, we compute the density of (UC((X,d),(Y,ρ)),σ) (the space of all uniformly continuous functions from (X,d) to (Y,ρ), where ρ is the metric induced on Y by ‖⋅‖). We also prove that the latter result extends only partially to the case where (Y,ρ) is an arbitrary pathwise connected metric space.To carry such an investigation out, the notions of generalized compact and generalized totally bounded metric space, introduced by the author and A. Barbati in a former paper, turn out to play a crucial rôle. Moreover, we show that the first-mentioned concept provides a precise characterization of those metrizable spaces which attain their extent.     

Description of traces of functions in the Sobolev space with a Muckenhoupt weight

We characterize the trace of the Sobolev space W _p ^l (? ⁿ , γ) with 1 < p < ∞ and weight γ ∈ A _p ^loc (? ⁿ ) on a d-dimensional plane for 1 ≤ d < n. It turns out that for a function φ to be the trace of a function f ∈ W _p ^l (? ⁿ , γ), it is necessary and sufficient that φ belongs to a new Besov space of variable smoothness, $\overline B _p^l \left( {\mathbb{R}^d ,\left\{ {\gamma _{k,m} } \right\}} \right)$ , constructed in this paper. The space $\overline B _p^l \left( {\mathbb{R}^d ,\left\{ {\gamma _{k,m} } \right\}} \right)$ is compared with some earlier known Besov spaces of variable smoothness.     

Diophantine approximation and badly approximable sets

Let (X,d) be a metric space and (Ω,d) a compact subspace of X which supports a non-atomic finite measure m. We consider ‘natural’ classes of badly approximable subsets of Ω. Loosely speaking, these consist of points in Ω which ‘stay clear’ of some given set of points in X. The classical set Bad of ‘badly approximable’ numbers in the theory of Diophantine approximation falls within our framework as do the sets Bad(i,j) of simultaneously badly approximable numbers. Under various natural conditions we prove that the badly approximable subsets of Ω have full Hausdorff dimension. Applications of our general framework include those from number theory (classical, complex, p-adic and formal power series) and dynamical systems (iterated function schemes, rational maps and Kleinian groups).     

On Gaussian Marginals of Uniformly Convex Bodies

Recently, Bo’az Klartag showed that arbitrary convex bodies have Gaussian marginals in most directions. We show that Klartag’s quantitative estimates may be improved for many uniformly convex bodies. These include uniformly convex bodies with power type 2, and power type p>2 with some additional type condition. In particular, our results apply to all unit-balls of subspaces of quotients of L _p for 1<p<∞. The same is true when L _p is replaced by S _p ^m , the l _p -Schatten class space. We also extend our results to arbitrary uniformly convex bodies with power type p, for 2≤p<4. These results are obtained by putting the bodies in (surprisingly) non-isotropic positions and by a new concentration of volume observation for uniformly convex bodies. Supported in part by BSF and ISF.     

<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).     

A note on the sequence spacel (p v )

In this paper, the linear isometry of the sequence space l(p_v) into itself is specified as the automorphism of l(p_v) onto itself, when (p_v) satisfies the conditions, (i) 0 < p_v? 1, (ii) 1 +d ? p_v ? p < ∞,q < q_v < 1+d/d,d > o When (p_v) satisfies condition (ii),l (p_v) andl (q_v) are proved to be perfect spaces in the sense of Kothe and Toeplitz. A similar result connecting linear isometry and automorphism has been noted in the case of a non-normable complete linear metric space whose conjugate space is also determined.