Stable windings on hyperbolic surfaces

Let ℳ be a geometrically finite hyperbolic surface with infinite volume, having at least one cusp. We obtain the limit law under the Patterson-Sullivan measure on T ¹ℳ of the windings of the geodesics of ℳ around the cusps. This limit law is stable with parameter 2δ− 1, where δ is the Hausdorff dimension of the limit set of the subgroup Γ of M?bius isometries associated with ℳ. The normalization is t ^{−1/(2δ−1)}, for geodesics of length t. Our method relies on a precise comparison between geodesics and diffusion paths, for which we need to approach the Patterson-Sullivan measure mentioned above by measures that are regular along the stable leaves. Received: 8 October 1999 / Revised version: 2 June 2000 / Published online: 21 December 2000     

Constructions and bounds on linear error-block codes

We obtain new bounds on the parameters and we give new constructions of linear error-block codes. We obtain a Gilbert–Varshamov type construction. Using our bounds and constructions we obtain some infinite families of optimal linear error-block codes over . We also study the asymptotic of linear error-block codes. We define the real valued function α _q,m,a (δ), which is an analog of the important real valued function α _q (δ) in the asymptotic theory of classical linear error-correcting codes. We obtain both Gilbert–Varshamov and algebraic geometry type lower bounds on α _q,m,a (δ). We compare these lower bounds in graphs.      

Range of Brownian Motion with Drift

Let (B _δ (t)) _{t ≥ 0} be a Brownian motion starting at 0 with drift δ > 0. Define by induction S ₁=− inf _{t ≥ 0} B _δ (t), ρ₁ the last time such that B _δ (ρ₁)=−S ₁, S ₂=sup_{0≤ t ≤ρ 1} B _δ (t), ρ₂ the last time such that B _δ (ρ₂)=S ₂ and so on. Setting A _k =S _k +S _k+1; k ≥ 1, we compute the law of (A ₁,...,A _k ) and the distribution of (B _δ (t+ρ l) − B _δ (ρ _l ); 0 ≤ t ≤ ρ _l-1 − ρ _l )_{2 ≤ l ≤ k} for any k ≥ 2, conditionally on (A ₁,...,A _k ). We determine the law of the range R _δ (t) of (B _δ (s)) _{s≥ 0} at time t, and the first range time θ_δ (a) (i.e. θ_δ (a)=inf{t > 0; R _δ (t) > a}). We also investigate the asymptotic behaviour of θ _δ (a) (resp. R _δ (t)) as a → ∞ (resp. t → ∞).     

Wavelet characterization of Hörmander symbol classS ρ,δ m and applications

In this paper, we characterize the symbol in Hormander symbol classS _ρ ^m ,δ (m ∈ R, ρ, δ ≥ 0) by its wavelet coefficients. Consequently, we analyse the kerneldistribution property for the symbol in the symbol classS _ρ ^m ,δ (m ∈R, ρ > 0, δ≥ 0) which is more general than known results ; for non-regular symbol operators, we establish sharp L²-continuity which is better than Calderón and Vaillancourt’s result, and establishL ^p (1 ≤p ≤∞) continuity which is new and sharp. Our new idea is to analyse the symbol operators in phase space with relative wavelets, and to establish the kernel distribution property and the operator’s continuity on the basis of the wavelets coefficients in phase space.     

On fuzzy semi δ-<Emphasis Type="Italic">V</Emphasis> continuity in fuzzy δ-<Emphasis Type="Italic">V</Emphasis> topological space

New concepts of fuzzy semi δ-V and fuzzy semi δ-Λ sets were introduced in our work “On fuzzy semi δ-Λ sets and fuzzy semi δ-V sets V-6,” J. Trip. Math. Soc., 6, 81–88 (2004). It was shown that the family of all fuzzy semi δ-V sets forms a fuzzy supra topological space on X denoted by (X, FS ^δV ). The aim of this paper is to introduce the concept of fuzzy semi δ-V continuity in a fuzzy δ-V topological space. Finally, some properties, preservation theorems, etc., are studied. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 5, pp. 712–717, May, 2008.     

On the coincidence of the canonical embeddings of a metric space into a Banach space

Recall the two classical canonical isometric embeddings of a finite metric space X into a Banach space. That is, the Hausdorff–Kuratowsky embedding x → ρ(x, ⋅) into the space of continuous functions on X with the max-norm, and the Kantorovich–Rubinshtein embedding x → δ _x (where δ _x , is the δ-measure concentrated at x) with the transportation norm. We prove that these embeddings are not equivalent if |X| > 4. Bibliography: 2 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 360, 2008, pp. 153–161.     

Iterated grafting and holonomy lifts of Teichmüller space

Let X be a closed hyperbolic surface and λ, η be weighted geodesic multicurves which are short on X. We show that the iterated grafting along λ and η is close in the Teichmüller metric to grafting along a single multicurve which can be given explicitly in terms of λ and η. Using this result, we study the holonomy lifts gr _λ ρ _X,λ of Teichmüller geodesics ρ _X,λ for integral laminations λ and show that all of them have bounded Teichmüller distance to the geodesic ρ _X,λ. We obtain analogous results for grafting rays. Finally we consider the asymptotic behaviour of iterated grafting sequences gr _nλ X and show that they converge geometrically to a punctured surface.     

Improving on the minimum risk equivariant estimator of a location parameter which is constrained to an interval or a half-interval

For location families with densitiesf ₀(x−θ), we study the problem of estimating θ for location invariant lossL(θ,d)=ρ(d−θ), and under a lower-bound constraint of the form θ≥a. We show, that for quite general (f ₀, ρ), the Bayes estimator δ _U with respect to a uniform prior on (a, ∞) is a minimax estimator which dominates the benchmark minimum risk equivariant (MRE) estimator. In extending some previous dominance results due to Katz and Farrell, we make use of Kubokawa'sIERD (Integral Expression of Risk Difference) method, and actually obtain classes of dominating estimators which include, and are characterized in terms of δ _U . Implications are also given and, finally, the above dominance phenomenon is studied and extended to an interval constraint of the form θ∈[a, b]. Research supported by NSERC of Canada.     

Schottky type groups and Kleinian groups acting on S3 with the limit set a wild Cantor set

We construct geometrically finite free Kleinian groups acting onS ³ whose limit sets are wild Cantor sets.Partially supported by CNPqSupported by CNPq     

High-Dimensional Centrally Symmetric Polytopes with Neighborliness Proportional to Dimension

Let A be a d by n matrix, d < n. Let C be the regular cross polytope (octahedron) in Rⁿ. It has recently been shown that properties of the centrosymmetric polytope P = AC are of interest for finding sparse solutions to the underdetermined system of equations y = Ax [9]. In particular, it is valuable to know that P is centrally k-neighborly. We study the face numbers of randomly projected cross polytopes in the proportional-dimensional case where d ∼ δn, where the projector A is chosen uniformly at random from the Grassmann manifold of d-dimensional orthoprojectors of Rⁿ. We derive ρ_N(δ) > 0 with the property that, for any ρ < ρ_N(δ), with overwhelming probability for large d, the number of k-dimensional faces of P = AC is the same as for C, for 0 ≤ k ≤ ρd. This implies that P is centrally ⌊ ρ d ⌋-neighborly, and its skeleton Skel_{⌊ ρ d ⌋}(P) is combinatorially equivalent to Skel_{⌊ ρ d⌋}(C). We display graphs of ρ_N. Two weaker notions of neighborliness are also important for understanding sparse solutions of linear equations: weak neighborliness and sectional neighborliness [9]; we study both. Weak (k,ε)-neighborliness asks if the k-faces are all simplicial and if the number of k-dimensional faces f_k(P) ≥ f_k(C)(1 – ε). We characterize and compute the critical proportion ρ_W(δ) > 0 such that weak (k,ε) neighborliness holds at k significantly smaller than ρ_W · d and fails for k significantly larger than ρ_W · d. Sectional (k,ε)-neighborliness asks whether all, except for a small fraction ε, of the k-dimensional intrinsic sections of P are k-dimensional cross polytopes. (Intrinsic sections intersect P with k-dimensional subspaces spanned by vertices of P.) We characterize and compute a proportion ρ_S(δ) > 0 guaranteeing this property for k/d ∼ ρ < ρ_S(δ). We display graphs of ρ_S and ρ_W.     

The asymptotic distribution of circles in the orbits of Kleinian groups

Let P\mathcal{P} be a locally finite circle packing in the plane ℂ invariant under a non-elementary Kleinian group Γ and with finitely many Γ-orbits. When Γ is geometrically finite, we construct an explicit Borel measure on ℂ which describes the asymptotic distribution of small circles in P\mathcal{P}, assuming that either the critical exponent of Γ is strictly bigger than 1 or P\mathcal{P} does not contain an infinite bouquet of tangent circles glued at a parabolic fixed point of Γ. Our construction also works for P\mathcal{P} invariant under a geometrically infinite group Γ, provided Γ admits a finite Bowen-Margulis-Sullivan measure and the Γ-skinning size of P\mathcal{P} is finite. Some concrete circle packings to which our result applies include Apollonian circle packings, Sierpinski curves, Schottky dances, etc.     

Teichmüller sequences on trajectories invariant under a Kleinian group

We extend the results of [T2] to the situation where there is a compatibility with the action of a Kleinian group. A classical Techmüller sequence is a sequence of quasiconformal mapsf _i with complex dilatations of the form , where ϕ is a quadratic differential and 0<-k _i<1 are numbers such thatk _i→1 asi→∞. We proved in [T2] that if τ is a vertical trajectory associated to ϕ, then there is often, for instance if the sequence is normalized so thatf _i fix 3 points, a subsequence such thatf _i tend either toward a constant or an injective map of τ. If there is compatibility with the action of a non-elementary finitely generated Kleinian groupG, we can given a precise characterization which of these cases occurs. Suppose thatf _i induce isomorphisms ϕ_i ofG onto another Kleinian group and that ϕ_i have algebraic limit ϕ. If the quadratic differential is defined on a component of the ordinary set ofG, if there are no parabolic elements, and if τ is extended maximally so that all branches coming together at a singular point are included, then we can state the main result as follows. The limit is a constantc if the stabilizerG _τ of τ is elementary; and, if it is non-elementary, then the limit is injective. In the first case, ϕ(g) is parabolic with fixpointc wheneverg∈G _τ is of infinite order; and in the latter case, the limitf is an embedding of τ in a natural topology of τ, andf embeds τ into a component of the limit set of ϕG whose stabilizer is ϕG _τ. Various extensions and generalizations are presented. The research for this paper has been supported by the project 51749 of the Academy of Finland.     

s-Representations for involutions¶on affine Kac–Moody algebras are polar

Let denote the eigenspace decomposition of a twisted affine Kac–Moody algebra with respect to an involution , where is a twisted loop algebra, is the center and d is the scaling element of . We endow with the standard bilinear symmetrical form.Then with and carries a Lorentzian signature. Let denote the group that corresponds to , then the adjoint representation of on can be restricted to and this submanifold is isometrical to the Hilbert space E _ε, where is the decomposition of the twisted loop algebra with respect to the induced involutionρ₀.We thus obtain an affine representation on E _ε and we show that this representation is polar, i. e., there exists a submanifold that intersects all orbits, and intersects them orthogonally. Received: 16 February 2000 RID=" ID="Supported by a DFG grant.     

Wiggly sets and limit sets

We show that a compact, connected set which has uniform oscillations at all points and at all scales has dimension strictly larger than 1. We also show that limit sets of certain Kleinian groups have this property. More generally, we show that ifG is a non-elementary, analytically finite Kleinian group, and its limit set Λ(G) is connected, then Λ(G) is either a circle or has dimension strictly bigger than 1. The first author is partially supported by NSF Grant DMS 95-00577 and an Alfred P. Sloan research fellowship. The second author is partially supported by NSF grant DMS-94-23746.     

Tripling Construction for Large Sets of Resolvable Directed Triple Systems

In this paper, we first define a doubly transitive resolvable idempotent quasigroup （DTRIQ）, and show that aDTRIQ of order v exists if and only ifv ≡0（mod3） and v ≠ 2（mod4）. Then we use DTRIQ to present a tripling construction for large sets of resolvable directed triple systems, which improves an earlier version of tripling construction by Kang （J. Combin. Designs, 4 （1996）, 301-321）. As an application, we obtain an LRDTS（4·3^n） for any integer n ≥ 1, which provides an infinite family of even orders.     

On infinite real trace rational languages of maximum topological complexity

We consider the set ℝ^ω(Γ, D) of infinite real traces, over a dependence alphabet (Γ,D) with no isolated letter, equipped with the topology induced by the prefix metric. We prove that all rational languages of infinite real traces are analytic sets. We also reprove that there exist some rational languages of infinite real traces that are analytic but non-Borel sets; in fact, these sets are even Σ ₁ ¹ -complete, hence have maximum possible topological complexity. For this purpose, we give an example of a Σ ₁ ¹ -complete language that is fundamentally different from the known example of a Σ ₁ ¹ -complete infinitary rational relation given by Finkel (2003). Bibliography: 35 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 316, 2004, pp. 205–223.     

Harmonicity of Quasiconformal Measures and Poisson Boundaries of Hyperbolic Spaces

We consider a group Γ of isometries acting on a proper (not necessarily geodesic) δ -hyperbolic space X. For any continuous α-quasiconformal measure ν on ∂X assigning full measure to Λ _r , the radial limit set of Γ, we produce a (nontrivial) measure μ on Γ for which ν is stationary. This means that the limit set together with ν forms a μ-boundary and ν is harmonic with respect to the random walk induced by μ. As a basic example, take and Γ to be any geometrically finite Kleinian group with ν a Patterson-Sullivan measure for Γ. In the case when X is a CAT(−1) space and Γ is discrete with quasiconvex action, we show that (Λ _r , ν) is the Poisson boundary for μ. In the course of the proofs, we establish sufficient conditions for a set of continuous functions to form a positive basis, either in the L ¹ or L ^∞ norm, for the space of uniformly positive lower-semicontinuous functions on a general metric measure space. The first author was supported in part by an NSF postdoctoral fellowship and DMS-0420432. The second author was supported in part by an NSF postdoctoral fellowship.     

Pseudo-differential operators on Sobolev and Lipschitz spaces

In this paper, by discovering a new fact that the Lebesgue boundedness of a class of pseudo- differential operators implies the Sobolev boundedness of another related class of pseudo-differential operators, the authors establish the boundedness of pseudo-differential operators with symbols in Sρ,δ^m on Sobolev spaces, where ∈ R, ρ≤ 1 and δ≤ 1. As its applications, the boundedness of commutators generated by pseudo-differential operators on Sobolev and Bessel potential spaces is deduced. Moreover, the boundedness of pseudo-differential operators on Lipschitz spaces is also obtained.