On Geodesic <Emphasis Type="Italic">E</Emphasis>-Convex Sets,Geodesic <Emphasis Type="Italic">E</Emphasis>-Convex Functions and <Emphasis Type="Italic">E</Emphasis>-Epigraphs

In this paper, we introduce a new class of sets and a new class of functions called geodesic E-convex sets and geodesic E-convex functions on a Riemannian manifold. The concept of E-quasiconvex functions on R ⁿ is extended to geodesic E-quasiconvex functions on Riemannian manifold and some of its properties are investigated. Afterwards, we generalize the notion of epigraph called E-epigraph and discuss a characterization of geodesic E-convex functions in terms of its E-epigraph. Some properties of geodesic E-convex sets are also studied.     

Complete growth functions of hyperbolic groups

. We study a generalization of the growth functions of finitely generated groups, namely the growth functions Σ _{g ∈ G} gz ^{| g |} with coefficients in the group ring ℤ[G]. Rationality and methods of computation of such functions are discussed, in particular for hyperbolic groups. The complete growth functions of surface groups are explicitly computed. The operator and geodesic growth functions are also studied. Oblatum 20-IX-1996 & 13-I-1997     

On Mordell-Weil Lattices of Type D5

We establish the analogue for D₅ of the theory of algebraic equation of type E_r (T. SHIODA: Construction of elliptic curves with high rank via the invariants of the Weyl groups, J. Math. Soc. Japan 43 , 1991, No. 4, 673-719), which is one of the results of the theory of Mordell-Weil lattices. As an application, we give a method of constructing an elliptic curve over Q(t) with rank 5, together with explicit generators of the Mordell-Weil group.     

Geodesic nets on the 2-sphere

In this paper we introduce the concept of a geodesic net, an idea which plays the role among graphs that geodesics play among simple closed curves. We establish the existence of specific geodesic nets on the 2-sphere in certain cases.

     

Largest Non-Unique Subgraphs

The reduction number r(G) of a graph G is the maximum integer m≤|E(G)| such that the graphs G−E, E⊆E(G),|E|≤m, are mutually non-isomorphic, i.e., each graph is unique as a subgraph of G. We prove that and show by probabilistic methods that r(G) can come close to this bound for large orders. By direct construction, we exhibit graphs with large reduction number, although somewhat smaller than the upper bound. We also discuss similarities to a parameter introduced by Erdős and Rényi capturing the degree of asymmetry of a graph, and we consider graphs with few circuits in some detail. Supported by a grant from the Danish Natural Science Research Council.     

Local Symmetry of Harmonic Spaces as Determined by The Spectra of Small Geodesic Spheres

We show that in any harmonic space, the eigenvalue spectra of the Laplace operator on small geodesic spheres around a given point determine the norm |?R|{{|\nabla{R}|}} of the covariant derivative of the Riemannian curvature tensor in that point. In particular, the spectra of small geodesic spheres in a harmonic space determine whether the space is locally symmetric. For the proof we use the first few heat invariants and consider certain coefficients in the radial power series expansions of the curvature invariants |R|² and |Ric|² of the geodesic spheres. Moreover, we obtain analogous results for geodesic balls with either Dirichlet or Neumann boundary conditions. We also comment on the relevance of these results to constructions of Z.I. Szabó.     

Unique ergodicity of horospheric foliations revisited

With each rational function on the Riemann sphere, Lyubich–Minsky construction (1997) associates an abstract topological space called the quotient hyperbolic lamination. The latter space carries the so-called vertical geodesic flow with Anosov property. Its unstable foliation is what we call the quotient horospheric lamination. We consider the case of hyperbolic rational function, and more generally, functions postcritically finite on the Julia set without parabolics, that do not belong to the following list of exceptions: powers, Chebyshev polynomials and Latt‘es examples. In this case the quotient horospheric lamination is known to be minimal, while restricted to the union of nonisolated hyperbolic leaves (Glutsyuk, 2007). In the present paper we prove its unique ergodicity. To this end, we introduce the so-called transversely contracting flows and homeomorphisms (on abstract compact metrizable topological spaces), which include the vertical geodesic flows under consideration and the usual Anosov flows and diffeomorphisms. We prove a version of our unique ergodicity result for the transversely contracting flows and homeomorphisms. Particular cases for Anosov flows and diffeomorphisms are given by classical results by Bowen, Marcus, Furstenberg, Margulis, et al. We give a new and purely geometric proof, which seems to be simpler than the classical ones (which use either Markov partitions, K-property, or harmonic analysis).     

Dynamical borel-cantelli lemma for hyperbolic spaces

We prove that almost every (resp. almost no) geodesic rays in a finite volume hyperbolic manifold of real dimensionn intersects for arbitrary large timest a decreasing family of balls of radiusr _t, provided the integral ∫ ₀ ^∞ r _t ⁿ −1 dt diverges (resp. converges).     

On the ( r | X p )-Medianoid Problem on a Network with Vertex and Edge Demands

This article considers the (r|X _p )-medianoid problem on a network N=(V,E) with vertex and edge demands. There are already p facilities located on the network and customers patronize the closest facility. The aim is to locate r additional facilities on the network where their captured demands will be maximized. Relationships with the (r|X _p )-medianoid problem with vertex demands are established. Complexity and algorithmic results are presented.     

SRB measures for partially hyperbolic systems whose central direction is mostly contracting

We consider partially hyperbolic diffeomorphisms preserving a splitting of the tangent bundle into a strong-unstable subbundleE ^uu (uniformly expanding) and a subbundleE ^c, dominated byE ^uu. We prove that if the central directionE ^c is mostly contracting for the diffeomorphism (negative Lyapunov exponents), then the ergodic Gibbsu-states are the Sinai-Ruelle-Bowen measures, there are finitely many of them, and their basins cover a full measure subset. If the strong-unstable leaves are dense, there is a unique Sinai-Ruelle-Bowen measure. We describe some applications of these results, and we also introduce a construction of robustly transitive diffeomorphisms in dimension larger than three, having no uniformly hyperbolic (neither contracting nor expanding) invariant subbundles. Work partially supported by CNRS and CNPq/PRONEX-Dynamical Systems, and carried out at Laboratoire de Topologie, Dijon, and IMPA, Rio de Janeiro.     

Tubular neighborhoods of totally geodesic hypersurfaces in hyperbolic manifolds

Summary We show that a closed embedded totally geodesic hypersurface in a hyperbolic manifold has a tubular neighborhood whose width only depends on the area of the hypersurface. Namely, we construct a tubular neighborhood function and show that an embedded closed totally geodesic hypersurface in a hyperbolic manifold has a tubular neighborhood whose width only depends on the area of the hypersurface (and hence not on the geometry of the ambient manifold). The implications of this result for volumes of hyperbolic manifolds is discussed. In particular, we show that ifM is a hyperbolic 3-manifold containingn rank two cusps andk disjoint totally geodesic embedded closed surfaces, then the volume ofM is bigger than . We also derive a (hyperbolic) quantitative version of the Klein-Maskit combination theorem (in all dimensions) for free products of fuchsian groups. Using this last result, we construct examples to illustrate the qualitative sharpness of our tubular neighborhood function in dimension three. As an application of our results we give an eigenvalue estimate.Oblatum IX-1992 & 18-VIII-1993Research supported in part by NSF Grant DMS-9207019     

Left cells in the weyl group of type 7

By applying an algorithm, we get a representative set of the left cells and all the left cell graphs for the Weyl group W of type E ₇,. From this, we see that the generalized r-invariants characterize all the non-exceptional left cells of W. We give a criterion to check the relation [Ltilde] on the elements in the exceptional left cells of W.     

Stability and other limit laws for exit times of random walks from a strip or a halfplane

We show that the passage time, T^*(r), of a random walk S_n above a horizontal boundary at r (r≥0) is stable (in probability) in the sense that as r→∞ for a deterministic function C(r)>0, if and only if the random walk is relatively stable in the sense that as n→∞ for a deterministic sequence B_n>0. The stability of a passage time is an important ingredient in some proofs in sequential analysis, where it arises during applications of Anscombe's Theorem. We also prove a counterpart for the almost sure stability of T^*(r), which we show is equivalent to E|X|<∞, EX>0. Similarly, counterparts for the exit of the random walk from the strip {|y|≤r} are proved. The conditions arefurther related to the relative stability of the maximal sum and the maximum modulus of the sums. Another result shows that the exit position of the random walk outside the boundaries at ±r drifts to ∞ as r→∞ if and only if the random walk drifts to ∞.     

On the Sears–Slater basic hypergeometric transformations

We introduce the concept of a Jackson integral of type BC ₁ which is a q-series permitting Weyl group symmetry. Using this, we give a simple proof of transformation formulas for a very-well-poised-balanced _2r ψ _2r hypergeometric series discovered by Sears and Slater. This work was supported in part by Grant-in-Aid for Scientific Research (C) No. 17540034 from the Ministry of Education, Culture, Sports, Science and Technology, Japan.     

Fractional dimensions in semifields of odd order

A finite semifield D is considered a fractional dimensional semifield if it contains a subsemifield E such that λ := log_|E||D| is not an integer. We develop spread-theoretic tools to determine when finite planes admit coordinatization by fractional semifields, and to find such semifields when they exist. We use our results to show that such semifields exist for prime powers 3 ⁿ whenever n is an odd integer divisible by 5 or 7.     

Numerical approximation of entropy solutions for hyperbolic integro-differential equations

Summary. Scalar hyperbolic integro-differential equations arise as models for e.g. radiating or self-gravitating fluid flow. We present finite volume schemes on unstructured grids applied to the Cauchy problem for such equations. For a rather general class of integral operators we show convergence of the approximate solutions to a possibly discontinuous entropy solution of the problem. For a specific model problem in radiative hydrodynamics we introduce a convergent fully discrete finite volume scheme. Under the assumption of sufficiently fast spatial decay of the entropy solution we can even establish the convergence rate h^1/4|ln(h)| where h denotes the grid parameter. The convergence proofs rely on appropriate variants of the classical Kruzhkov method for local balance laws together with a truncation technique to cope with the nonlocal character of the integral operator.Mathematics Subject Classification (2000): 35L65, 35Q35, 65M15     

Generalized delaunay triangulation for planar graphs

We introduce the notion of generalized Delaunay triangulation of a planar straight-line graphG=(V, E) in the Euclidean plane and present some characterizations of the triangulation. It is shown that the generalized Delaunay triangulation has the property that the minimum angle of the triangles in the triangulation is maximum among all possible triangulations of the graph. A general algorithm that runs inO(|V|²) time for computing the generalized Delaunay triangulation is presented. When the underlying graph is a simple polygon, a divide-and-conquer algorithm based on the polygon cutting theorem of Chazelle is given that runs inO(|V| log |V|) time.Supported in part by the National Science Foundation under Grants DCR 8420814 and ECS 8340031.     

Products of Hyperbolic Metric Spaces

Let (X _i d _i ), i=1,2, be proper geodesic hyperbolic metric spaces. We give a general construction for a 'hyperbolic product' X ₁× _h X ₂ which is itself a proper geodesic hyperbolic metric space and examine its boundary at infinity.     

Classification of radial solutions to the Emden–Fowler equation on the hyperbolic space

We study the Emden–Fowler equation ?Δu = |u| ^p?1 u on the hyperbolic space ${{\mathbb H}^n}$ . We are interested in radial solutions, namely solutions depending only on the geodesic distance from a given point. The critical exponent for such equation is p = (n + 2)/(n ? 2) as in the Euclidean setting, but the properties of the solutions show striking differences with the Euclidean case. While the papers (Bhakta and Sandeep, Poincaré Sobolev equations in the hyperbolic space, 2011; Mancini and Sandeep, Ann Sci Norm Sup Pisa Cl Sci 7(5):635–671, 2008) consider finite energy solutions, we shall deal here with infinite energy solutions and we determine the exact asymptotic behavior of wide classes of finite and infinite energy solutions.     

Corrigendum

In [] the authors constructed, for each r∈ (0,1), a function from a homogeneous tree of degree 2t to the open unit disk in the complex plane mapping the root of the tree to 0 and any pair of neighbors to points at hyperbolic distance r. Correspondingly, there is a free group of rank t of Möbius transformations such that the vertices of the tree are mapped to the orbit of 0, and the edges to geodesic arcs. One of the principal results of [] is to show that this function is an embedding of the tree when cos(π /2t)≤ r<1. This corrigendum fills a gap in the argument.