Estimates for the hyperbolic metric of the punctured plane and applications

The hyperbolic metrich ^Ω of the twice punctured complex plane Ω is studied. A new recursive algorithm for computing the density λ_Ω ofh ^Ω is given. For a proper subdomainG of Ω we answer a question of G. Martin concerning quasiconformal mappings ofG that can be extended to the complement ofG as the identity map.     

Onq-difference equations andZ n decompositions of exp q function

Theq-extended hyperbolic functions ofn-th order {h _q,s(z)}s∈ Z _n which areZ _n-components of expq function form the set fundamental solutions of a simpleq-difference equation. Against the background ofq-deformed hyperbolic functions ofn-th order other natural extensions and related topics are considered. Apart from easy general solution of homogenous ordinaryq-difference equations ofn-th order main trigonometric-like identity known for hyperbolic functions ofn-th order is given itsq-commutative counterpart. Hint how to arrive at other identities is implicit in theq-treatment proposed. The paper constitutes an example of the application of the method of projections presented in Advances in Applied Clifford Algebras publication [19]; see also references to Ben Cheikh’s papers.     

Compact deformations of Fuchsian groups

A conformal map Φ on the unit disk is called a compact deformation of a Fuchsian groupG if Φ has a quasiconformal extension to the planeh which conjugatesG to a Kleinian group G′ and the dilatation ofh is compactly supported moduloG. We show that for such deformations δ = dim(∧(G′)) = dim(∧_c(G′)) (if δ ≥1) and the image of ∧_e = ∧ ∧_c is contained in a countable union of rectifiable curves and has zero length iffG is divergence type. The first author is partially supported by NSF Grant DMS 01-03626. The second author is partially supported by NSF grant DMS-99-71311.     

Complexity of the decidability of the unquantified set theory with a rank operator

The unquantified set theory MLSR containing the symbols ∪, ∖, ≠, ∈,R (R(x) is interpreted as a rank ofx) is considered. It is proved that there exists an algorithm which for any formulaQ of the MLSR theory decides whetherQ is true or not using the spacec|Q|³ (|Q| is the length ofQ).     

The spectral projections and the resolvent for scattering metrics

In this paper, we consider a compact manifold with boundaryX equipped with a scattering metricg as defined by Melrose [9]. That is,g is a Riemannian metric in the interior ofX that can be brought to the formg=x ⁻⁴ dx²+x^{−2 h’} near the boundary, wherex is a boundary defining function andh’ is a smooth symmetric 2-cotensor which restricts to a metrich on ϖX. LetH=Δ+V, whereV∈x ²C^∞ (X) is real, soV is a ‘short-range’ perturbation of Δ. Melrose and Zworski started a detailed analysis of various operators associated toH in [11] and showed that the scattering matrix ofH is a Fourier integral operator associated to the geodesic flow ofh on ϖX at distance π and that the kernel of the Poisson operator is a Legendre distribution onX×ϖX associated to an intersecting pair with conic points. In this paper, we describe the kernel of the spectral projections and the resolvent,R(σ±i0), on the positive real axis. We define a class of Legendre distributions on certain types of manifolds with corners and show that the kernel of the spectral projection is a Legendre distribution associated to a conic pair on the b-stretched productX _b ² (the blowup ofX ² about the corner, (ϖX)²). The structure of the resolvent is only slightly more complicated. As applications of our results, we show that there are ‘distorted Fourier transforms’ forH, i.e., unitary operators which intertwineH with a multiplication operator and determine the scattering matrix; we also give a scattering wavefront set estimate for the resolventR(σ±i0) applied to a distributionf.     

On hyperbolic virtual polytopes and hyperbolic fans

Hyperbolic virtual polytopes arose originally as polytopal versions of counterexamples to the following A.D.Alexandrov’s uniqueness conjecture: Let K ⊂ ℝ³ be a smooth convex body. If for a constant C, at every point of ∂K, we have R ₁ ≤ C ≤ R ₂ then K is a ball. (R ₁ and R ₂ stand for the principal curvature radii of ∂K.) This paper gives a new (in comparison with the previous construction by Y.Martinez-Maure and by G.Panina) series of counterexamples to the conjecture. In particular, a hyperbolic virtual polytope (and therefore, a hyperbolic hérisson) with odd an number of horns is constructed. Moreover, various properties of hyperbolic virtual polytopes and their fans are discussed.     

Half-factorial-domains

LetR be a commutative domain with 1. We termR an HFD (Half-Factorial-Domain) provided the equality Π _i=1 ⁿ χ_i=Π{_f=1/^m}y _f impliesm=n, whenever thex’s and they’s are non-zero, non-unit and irreducible elements ofR. The purpose of this note is to study HFD’s, in particular, Krull domains that are HFD’s, and to provide examples of HFD’s, that contradict a conjecture of Narkiewicz.     

Packing,covering and decomposing of a complete uniform hypergraph into delta-systems

Anh-uniform hypergraph generated by a set of edges {E ₁,...,E _c} is said to be a delta-system Δ(p,h,c) if there is ap-element setF such that ∇F|=p andE _i⌢E _j=F,∀i≠j. The main result of this paper says that givenp, h andc, there isn ₀ such that forn≥n ₀ the set of edges of a completeh-uniform hypergraphK _n ^h can be partitioned into subsets generating isomorphic delta-systems Δ(p, h, c) if and only if . This result is derived from a more general theorem in which the maximum number of delta-systems Δ(p, h, c) that can be packed intoK _n ^h and the minimum number of delta-systems Δ(p, h, c) that can cover the edges ofK _n ^h are determined for largen. Moreover, we prove a theorem on partitioning of the edge set ofK _n ^h into subsets generating small but not necessarily isomorphic delta-systems.     

AnR danalogue of Valentine’s theorem on 3-convex sets

This paper deals with anR ^danalogue of a theorem of Valentine which states that a closed 3-convex setS in the plane is decomposable into 3 or fewer closed convex sets. In Valentine’s proof, the points of local nonconvexity ofS are treated as vertices of a polygonP contained in the kernel ofS, yielding a decomposition ofS into 2 or 3 convex sets, depending on whetherP has an even or odd number of edges. Thus the decomposition actually depends onc(P′), the chromatic number of the polytopeP′ dual toP. A natural analogue of this result is the following theorem: LetS be a closed subset ofR ^d, and letQ denote the set of points of local nonconvexity ofS. We require thatQ be contained in the kernel ofS and thatQ coincide with the set of points in the union of all the (d − 2)-dimensional faces of somed-dimensional polytopeP. ThenS is decomposable intoc(P′) closed convex sets.     

Length multiplicities of hyperbolic 3-manifolds

LetM = ℍ³/Γ be a hyperbolic 3-manifold, where Γ is a non-elementary Kleinian group. It is shown that the length spectrum ofM is of unbounded multiplicity.     

Plateau of α-function and c-minimal homoclinic orbits

We consider the construction of the plateau of the α-function in a hyperbolic and positive definite Lagrangian system, and link the boundries of the α-function’s plateau with the distribution of c-minimal homoclinic orbits to Aubry sets.     

Distribution of values of a real function means,moments, and symmetry

For a distribution functionD we define itsabsolute andsigned moments of orderk∈R, which generalise in a natural way the Hamburger moments of orders an even and an odd natural number. Similarly, for a real functionh we define itsabsolute andsigned asymptotic means of orderk∈R. We show that if the means exist on an infinite and bounded set of values ofk, then they exist on an intervalI and coincide onI ^o with the moments ofD=D _h, the distribution function of the values ofh, which is shown to exist (in the sense of Wintner). We also give a sufficient condition forD _h to be symmetric. These results apply to a class of functionsh that contain in particular error terms related to the Euler phi function and to the sigma divisor function. A further application on a certain class of converging trigonometrical series implies in particular classical results of A. Wintner establishing the existence for such functions of a distribution function as well as Hamburger moments of arbitrarily large orders. The remainder term of the prime number theorem belongs to this class provided the Riemann hypothesis holds, and the distribution function of its values is shown to be “almost” symmetric.     

Alcune classi di gruppi abeliani misti di rango 1

Riassunto Si definisce una classe diZ _p-moduliQ _β, simili aip-gruppiP _β studiati daE. A. Walker, che danno una caratterizzazione delle sequenze esatte bilanciate diZ _p-moduli e degliZ _p-moduli bilanciati proiettivi. Si definiscono poi dei gruppi misti di rango 1,R _h, che sono un'estensione al caso globale deiQ _β e che generalizzano i gruppi razionali. Per gliR _h vale un teorema analogo a quello di classificazione coi tipi di Baer ed essi danno inoltre una caratterizzazione delle sequenze esatte bilanciate di gruppi e dei gruppi bilanciati proiettivi.

---

Summary We define a class ofZ _p-modulesQ _β, like thep-groupsP _β studied byE. A. Walker, that give a characterization of balanced exact sequence ofZ _p-modules and balanced projectiveZ _p-modules. We introduce also some mixed groups of rank one,R _h, which are an extension to the global case ofQ _β and which generalize rational groups. Moreover, forR _h, there is a theorem, which is analogous to Baer's theorem of classification by types. GroupsR _h give too a characterization of balanced exact sequence of groups and of balanced projective groups.

     

Long paths in sparse random graphs

We consider random graphs withn labelled vertices in which edges are chosen independently and with probabilityc/n. We prove that almost every random graph of this kind contains a path of length ≧(1 −α(c))n where α(c) is an exponentially decreasing function ofc. Dedicated to Tibor Gallai on his seventieth birthday     

Projective version of Malcolmson’s criterion

It is proven that the extension of Malcolmson’s methods to reppresent all elements ofR _ζ is not purely straightforward. A detailed proof of such extension is here furnished.

---

Sunto Si prova che l’estensione dei metodi di Malcolmson per la rappresentazione degli elementi diR _ζ a tutte le applicazioni tra moduli proiettivi indotti non è puramente meccanica. è fornita una dimostrazione dettagliata di detta estensione.

     

Higher dimensional extensions of substitutions and their dual maps

Given a substitution σ ond letters, we define itsk-dimensional extension,E _k (σ), for 0≤k≤d. Thek-dimensional extension acts on the set ofk-dimensional faces of unit cubes inR ^d with integer vertices. The extensions of a substitution satisfy a commutation relation with the natural boundary operator: the boundary of the image is the image of the boundary. We say that a substitution is unimodular (resp. hyperbolic) if the matrix associated to the substitution by abelianization is unimodular (resp. hyperbolic). In the case where the substitution is unimodular, we also define dual substitutions which satisfy a similar coboundary condition. We use these constructions to build self-similar sets on the expanding and contracting space for an hyperbolic substitution.     

Jacobson rings and rings strongly graded by an abelian group

LetR be ring strongly graded by an abelian groupG of finite torsion-free rank. Lete be the identity ofG, andR _e the component of degreee ofR. AssumeR _e is a Jacobson ring. We prove that graded subrings ofR are again Jacobson rings if eitherR _e is a left Noetherian ring orR is a group ring. In particular we generalise Goldie and Michlers’s result on Jacobson polycyclic group rings, and Gilmer’s result on Jacobson commutative semigroup rings of finite torsion-free rank.     

On a class of strongly hyperbolic systems

In this paper we prove a well-posedness result for the Cauchy problem. We study a class of first order hyperbolic differential [2] operators of rank zero on an involutive submanifold ofT ^* R ⁿ⁺¹-{0} and prove that under suitable assumptions on the symmetrizability of the lifting of the principal symbol to a natural blow up of the “singular part” of the characteristic set, the operator is strongly hyperbolic.     

Group-graded algebras with polynomial identity

LetG be a finite group and letR=Σ _g∈G R _g be any associative algebra over a field such that the subspacesR _g satisfyR _g R _h ⊆R _gh . We prove that ifR ₁ satisfies a PI of degreed, thenR satisfies a PI of degree bounded by an explicit function ofd and the order ofG. This result implies the following: ifH is a finite-dimensional semisimple commutative Hopfalgebra andR is anyH-module algebra withR ^H satisfying a PI of degreed, thenR satisfies a PI of degree bounded by an explicit function ofd and the dimension ofH.     

A szemerédi type theorem for sets of positive density inR k

Letk≧2 andA a subset ofR ^k of positive upper density. LetV be the set of vertices of a (non-degenerate) (k−1)-dimensional simplex. It is shown that there existsl=l(A, V) such thatA contains an isometric image ofl′. V wheneverl′>l. The casek=2 yields a new proof of a result of Katznelson and Weiss [4]. Using related ideas, a proof is given of Roth’s theorem on the existence of arithmetic progressions of length 3 in sets of positive density.