On the iteration of holomorphic self-maps of ℂ*

Letf be a holomorphic self-map of the punctured plane ℂ^*=ℂ\{0} with essentially singular points 0 and ∞. In this note, we discuss the setsI ₀(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞} andI _∞(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞}. We try to find the relation betweenI ₀(f),I _∞(t) andJ(f). It is proved that both the boundary ofI ₀(f) and the boundary ofI _∞)f) equal toJ(f),I ₀(f) ∩J(f) ≠ θ andI _∞(f) ∩J(f) ≠ θ. As a consequence of these results, we find bothI ₀(f) andI _∞(f) are not doubly-bounded. Supported by the National Natural Science Foundation of China     

Hyperidentities of lattices and semilattices

Following W. Taylor we define a hyperidentity ∈ to be formally the same as an identity (e.g.,F(G(x, y, z), G(x, y, z))=G(x, y, z)). However, a varietyV is said to satisfy a hyperidentity ∈, if whenever the operation symbols of ∈ are replaced by any choice of polynomials (appropriate forV) of the same arity as the corresponding operation symbols of ∈, then the resulting identity holds inV in the usual sense. For example, if a varietyV of type <2,2> with operation symbols ∨ and ∧ satisfies the hyperidentity given above, then substituting the polynomial (x∨y)∨z for the symbolG, and the polynomialx∧y forF, we see thatV must in particular satisfy the identity ((x∨y)∨z)∧((x∨y)∨z)=((x∨y)∨z). The set of all hyperidentities satisfied by a varietyV, will be denoted byH(V). We shall letH ^m (V) be the set of all hyperidentities hoiding inV with operation symbols of arity at mostm, andH _n (V) will denote the set of all hyperidentities ofV with at mostn distinct variables. In this paper we shall show that ifV is a nontrivial variety of lattices or the variety of all semilattices, then for any integersm andn, there exists a hyperidentity ∈ such that ∈ holds inV, and ∈ is not a consequence ofH ^m (V)∪H _n (V). From this it is deduced that the hyperidentities ofV are not finitely based, partly soling a problem of Taylor [7, Problem 3]. The research of the author was supported by NSERC of Canada. Presented by W. Taylor.     

Free discontinuity problems with unbounded data: The two dimensional case

We prove the existence of a minimizing pair for the functionalG defined for every closed setK ⊂R ² and for every functionu ∈C ¹(ω/K) by where ω is an open set inR ², λ, μ>0,q≥1,g ∈L ^q (ω) ∩L ^p (ω) withp>2q andH ¹ is the 1-dimensional Hausdorff measure.     

Monotone perturbations of the laplacian inL 1(R N )

The semilinear perturbation of Poisson’s equation (E): −Δu+β(u)∋f, where β is a maximal monotone graph inR, has been investigated by Ph. Bénilan, H. Brézis and M. Crandall forf∈L ¹(R ^N ),N≧1, under the assumptions 0∈β(0) ifN≧3 and 0∈β(0) ∩ Int β(R) ifN=1,2. We discuss in this paper the solvability and well-posedness of (E) in terms of any maximal monotone graph β. In particular, if β takes only positive values andN≧3 we prove that no solution exists; ifN=2 we give necessary and sufficient conditions on β andf for (E) to be solvable in a natural sense.     

On a Product of Finite Monoids

m , we associate with a finite monoid S ₀ and m finite commutative monoids S ₁ ,...,S _m , a product ◊ _m (S _m , ..., S ₁ , S ₀ ). We give a representation of the free objects in the pseudovariety ◊ _m (W _m , ..., W ₁, W ₀) generated by these (m + 1) -ary products where S ₁ ∈W _i for all 0 ≤i≤m . We then give, in particular, a criterion to determine when an identity holds in ◊ _m (J ₁, ..., J ₁, J ₁) with the help of a version of the Ehrenfeucht-Fra?ssé game (J ₁ denotes the pseudovariety of all semilattice monoids.). The union U _{m > 0} ◊ _m (J ₁, ..., J ₁, J ₁) turns out to be the second level of the Straubing's dot-depth hierarchy of aperiodic monoids.     

Varieties of finite supersolvable groups with the M. Hall property

The varieties in the title are shown to be precisely the product varieties G_p*Ab(d) for some prime p and some positive integer d dividing p−1. Here G_p denotes the variety of all finite p-groups and Ab(d) the variety of all finite Abelian groups of exponent dividing d. It turns out that these are exactly those varieties H of supersolvable groups for which all finitely generated free pro-H groups are freely indexed in the sense of Lubotzky and van den Dries. Several alternative characterizations of these varieties are presented. Some applications to formal language theory and finite monoid theory are also given. Among these is the determination of all supersolvable solutions H to the equations PH = J*H and J*H = J H which is, to the present date, the most complete solution to a problem raised by Pin. Another consequence of our results is that for each such variety H the monoid variety PH = J*H = J H has decidable membership. The authors gratefully acknowledge the support of NSERC     

Jacobson radical of skew polynomial rings and skew group rings

LetR be a ring and σ an automorphism ofR. We prove the following results: (i)J(R _σ[x])={Σ_ir_i x ⁱ:r₀∈I∩J(R]), r _i∈I for alliε 1} whereI↪ {r∈R:rx ∈J(R _Σ[x])|s= (ii)J(R _σ<x>)=(J(R _σ<x>)∩R)_σ<x>. As an application of the second result we prove that ifG is a solvable group such thatG andR, + have disjoint torsions thenJ(R)=0 impliesJ(R(G))=0.     

Nonparametric analysis of doubly truncated data

One of the principal goals of the quasar investigations is to study luminosity evolution. A convenient one-parameter model for luminosity says that the expected log luminosity, T*, increases linearly as θ ₀· log(1  +  Z*), and T*(θ ₀) = T*  −  θ ₀· log(1  +  Z*) is independent of Z*, where Z* is the redshift of a quasar and θ ₀ is the true value of evolution parameter. Due to experimental constraints, the distribution of T* is doubly truncated to an interval (U*, V*) depending on Z*, i.e., a quadruple (T*, Z*, U*, V*) is observable only when U* ≤ T* ≤ V*. Under the one-parameter model, T*(θ ₀) is independent of (U*(θ ₀), V*(θ ₀)), where U*(θ ₀) = U*  −  θ ₀· log(1  +  Z*) and V*(θ ₀) = V*  −  θ ₀· log(1  +  Z*). Under this assumption, the nonparametric maximum likelihood estimate (NPMLE) of the hazard function of T*(θ ₀) (denoted by ĥ) was developed by Efron and Petrosian (J Am Stat Assoc 94:824–834, 1999). In this note, we present an alternative derivation of ĥ. Besides, the NPMLE of distribution function of T*(θ ₀), [^(F)]{\hat F} , will be derived through an inverse-probability-weighted (IPW) approach. Based on Theorem 3.1 of Van der Laan (1996), we prove the consistency and asymptotic normality of the NPMLE [^(F)]{\hat F} under certain condition. For testing the null hypothesis H_q0: T^*(q₀) = T^*-q₀·log(1 + Z^*){H_{\theta_0}: T^{\ast}(\theta_0) = T^{\ast}-\theta_0\cdot \log(1 + Z^{\ast})} is independent of Z*, (Efron and Petrosian in J Am Stat Assoc 94:824–834, 1999). proposed a truncated version of the Kendall’s tau statistic. However, when T* is exponential distributed, the testing procedure is futile. To circumvent this difficulty, a modified testing procedure is proposed. Simulations show that the proposed test works adequately for moderate sample size.     

Retracts and monomorphism monoids in semigroup varieties

If a semigroup varietyV contains the variety of commutative three-nilpotent semigroups, or if it is a variety of bands containing all semilattices, then, for anyA∈V and any left cancellative monoidM, there is a semigroupS∈V such thatA is a retract ofS andM is isomorphic to the monoid of all injective endomorphisms ofS.     

Large centralizers in finite solvable groups

In 1955 R. Brauer and K. A. Fowler showed that ifG is a group of even order >2, and the order |Z(G)| of the center ofG is odd, then there exists a strongly real) elementx∈G−Z whose centralizer satisfies|C _G(x)|>|G|^1/3. In Theorem 1 we show that every non-abeliansolvable groupG contains an elementx∈G−Z such that|C _G(x)|>[G:G′∩Z]^1/2 (and thus|C _G(x)|>|G|^1/3). We also note that if non-abelianG is either metabelian, nilpotent or (more generally) supersolvable, or anA-group, or any Frobenius group, then|C _G(x)|>|G|^1/2 for somex∈G−Z. In Theorem 2 we prove that every non-abelian groupG of orderp ^mqⁿ (p, q primes) contains a proper centralizer of order >|G|^1/2. Finally, in Theorem 3 we show that theaverage |C(x)|, x∈G, is ≧c|G| ^1/3 for metabelian groups, wherec is constant and the exponent 1/3 is best possible.     

The natural functions on the cotangent bundle of higher order vector tangent bundles over fibered manifolds

For natural numbers r,s,q,m,n with s≥r≤q we determine all natural functions g: T ^*(J ^(r,s,q)(Y, R ^1,1)₀)^*→R for any fibered manifold Y with m-dimensional base and n-dimensional fibers. For natural numbers r,s,m,n with s≥r we determine all natural functions g: T ^*(J ^(r,s) (Y, R)₀)^*→R for any Y as above.     

Component group of thep-new subvariety ofJ 0(M p )

For an abelian varietyA over ℚ _p , the special fibre in the Néron model ofA over ℤ _p is the extension of a finite group scheme over ℤ _p , called the group of connected components, by the connected component of identity. WhenA is the Jacobian variety of an algebraic curve, its component group has been calculated in many cases. We determine in this paper the component group of thep-new subvariety ofJ ₀(M _p ), forM>1 a positive integer andp≥5 a prime not dividingM. Such a subvariety is not the Jacobian of any obvious curve, but it is not clear if it can ever be realised as the Jacobian of a curve.     

A note on TI-subgroups of finite groups

A subgroup H of a finite group G is called a TI-subgroup if H ∩ H ^x  = 1 or H for any x ∈ G. In this short note, the finite groups all of whose nonabelian subgroups are TI-subgroups are classified.     

The Fourier transform of order statistics with applications to Lorentz spaces

We present a formula for the Fourier transforms of order statistics in ℝ ⁿ showing that all these Fourier transforms are equal up to a constant multiple outside the coordinate planes in ℝ ⁿ . Fora ₁≥...≥a _n≥0 andq>0, denote by ℓ _w,q ⁿ then-dimensional Lorentz space with the norm ‖(x ₁,...,x _n)‖=(a ₁(x ₁ ^* ) ^q +...+a _n(x _n ^* ) ^q )^1/q , where (x ₁ ^* ,...,x _n ^* ) is the non-increasing permutation of the numbers |x ₁|,...,|x _n|. We use the above mentioned formula and the Fourier transform criterion of isometric embeddability of Banach spaces intoL _q [10] to prove that, forn≥3 andq≤1, the space ℓ _w,q ⁿ is isometric to a subspace ofL _q if and only if the numbersa ₁,...,a _n form an arithmetic progression. Forq>1, all the numbersa _i must be equal so that ℓ _w,q ⁿ = ℓ _q ⁿ . Consequently, the Lorentz function spaceL _w,q(0, 1) is isometric to a subspace ofL _q if and only ifeither 0<q<∞ and the weightw is a constant function (so thatL _w,q=L_q),or q≤1 andw(t) is a decreasing linear function. Finally, we relate our results to the theory of positive definite functions. Both authors were supported in part by the NSF Workshop in Linear Analysis and Probability held at Texas A&M University in August 1993. The work was done during the first author’s visit to Texas A&M University.     

Triangular finite elements of HCT type and classC ρ

Let τ be some triangulation of a planar polygonal domain Ω. Given a smooth functionu, we construct piecewise polynomial functionsv∈C ^ρ(Ω) of degreen=3 ρ for ρ odd, andn=3ρ+1 for ρ even on a subtriangulation τ₃ of τ. The latter is obtained by subdividing eachT∈ρ into three triangles, andv/T is a composite triangular finite element, generalizing the classicalC ¹ cubic Hsieh-Clough-Tocher (HCT) triangular scheme. The functionv interpolates the derivatives ofu up to order ρ at the vertices of τ. Polynomial degrees obtained in this way are minimal in the family of interpolation schemes based on finite elements of this type.     

Exponential sum estimates over a subgroup in an arbitrary finite field

Let F _q be the finite field consisting of q = p ^r elements and yy an additive character of the field F _q . Take an arbitrary multiplicative subgroup H of size |H| > q ^{C/(log log q)} for some constant C > 0 not largely contained in any multiplicative shift of a subfield. We show that |Σ _h∈H yy(h)| = o(|H|). This means that H is equidistributed in F _q .     

A family of counterexamples in ergodic theory

LetT _α be the translationx↦x+α (mod 1) of [0, 1), α irrational. LetT be the Lebesgue measure-preserving automorphism ofX=[0, 3/2) defined byTx = x + 1 forx∈[0, 1/2),Tx=T _α(x−1) forx∈[1,3/2) andTx = T _α x forx∈[1/2, 1), i.e.T isT _α with a tower of height one built over [0, 1/2). If α is poorly approximable by rationals (there does not exist {p _n /q _n } with |α−p _n /q _n |=o(q _n ⁻²)) and λ is a measure onX ^k all of whose one-dimensional marginals are Lebesgue and which is ⊗ _{i − 1} ^k T ¹ invariant and ergodic (l>0) then λ is a product of off-diagonal measures. This property suffices for many purposes of counterexample construction. A connection is established with the POD (proximal orbit dense) condition in topological dynamics. Research supported in part by NSF contract MCS-8003038.     

A removal lemma for systems of linear equations over finite fields

We prove a removal lemma for systems of linear equations over finite fields: let X ₁, …, X _m be subsets of the finite field F _q and let A be a (k × m) matrix with coefficients in F _q ; if the linear system Ax = b has o(q ^m−k ) solutions with x _i ∈ X _i , then we can eliminate all these solutions by deleting o(q) elements from each X _i . This extends a result of Green [Geometric and Functional Analysis 15 (2) (2005), 340–376] for a single linear equation in abelian groups to systems of linear equations. In particular, we also obtain an analogous result for systems of equations over integers, a result conjectured by Green. Our proof uses the colored version of the hypergraph Removal Lemma.     

The intersection of the powers of the radical in Noetherian P.I. rings

LetR be a ring and J its radical. DefineJ ₁=∩Jⁿ, J₂=∩J ₁ ⁿ ,…,… J_k=∩J _k−1 ⁿ .... It is shown that in a ringR satisfying a polynomial identity and the ascending chain condition on ideals,J _k =0 for some appropriatek. The work of the first author was supported by an NSF grant at the University of Chicago. The work of the second author was supported by an NSF grant at the University of California, San Diego.     

Contractive presentations: A family of inverse monoids and semigroups with finiteR-classes

There has recently been considerable interest in inverse monoids which are presented by generators and relations. In this work the author employs graphical techniques to investigate the word problem for presentations of inverse monoids which generalize the case in which all relations in a presentation are of the formw=w ² . The work also investigates free objects in finitely based varieties of inverse semigroups, where the free objects have similar presentations. A fundamental charecteristic of the monoids (semigroups) investigated is: ifF is a free inverse monoid andM=F/θ, then form∈F, theR-class ofmθ has no more elements than theR-class ofm.