A remark on the representation of Zolotarev polynomials

Zolotarev polynomials are the polynomials that have minimaldeviation from zero on [–1, 1] with respect to the norm||xⁿ – x^n–1 + a_n–2 x^n–2 + ... + a₁x+ a_n|| for given and for all a_k . This note complements the paper of F. Pehersforfer [J. LondonMath. Soc. (1) 74 (2006) 143–153] with exact (not asymptotic)construction of the Zolotarev polynomials with respect to thenorm L₁ for || < 1 and with respect to the norm L₂ for || 1 in the form of Bernstein–Szegö orthogonal polynomials.For all in L₁ and L₂ norms, the Zolotarev polynomials satisfyexactly (not asymptotically) the triple recurrence relationof the Chebyshev polynomials.     

Reaping Numbers of Boolean Algebras

A subset A of a Boolean algebra B is said to be (n,m)-reapedif there is a partition of unity p B of size n such that |{b p:b a 0}| m for all a A. The reaping number r_n,m (B) ofa Boolean algebra B is the minimum cardinality of a set A B\{0}which cannot be (n,m)-reaped. It is shown that for each n, thereis a Boolean algebra B such that r_n+1,2(B) r_n,2(B). Also, {r_n,m(B):mn } consists of at most two consecutive cardinals. The existenceof a Boolean algebra B such that r_n,m (B) r_n',m' (B) is equivalentto a statement in finite combinatorics which is also discussed.     

The Glauberman Correspondence and Subgroups of Operator Groups: a Counterexample

Let G and A be finite groups with coprime orders, and supposethat A acts on G by automorphisms. Let (G, A):Irr_A(G)Irr(C_G(A))be the Glauberman–Isaacs correspondence. Let B A andIrr_A(G). We exhibit a counterexample to the conjecture that(G, A) is an irreducible constituent of the restriction of (G,B) to C_G(A). 1991 Mathematics Subject Classification 20C15.     

On Transitive Permutation Groups with Primitive Subconstituents

Let G be a transitive permutation group on a set such that,for , the stabiliser G induces on each of its orbits in \{}a primitive permutation group (possibly of degree 1). Let Nbe the normal closure of G in G. Then (Theorem 1) either N factorisesas N=GG for some , , or all unfaithful G-orbits, if any exist,are infinite. This result generalises a theorem of I. M. Isaacswhich deals with the case where there is a finite upper boundon the lengths of the G-orbits. Several further results areproved about the structure of G as a permutation group, focussingin particular on the nature of certain G-invariant partitionsof . 1991 Mathematics Subject Classification 20B07, 20B05.     

The Representation of Some Integers as a Subset Sum

Let A N. The cardinality (the sum of the elements) of A willbe denoted by |A| ((A)). Let m N and p be a prime. Let A {1, 2,...,p}. We prove thefollowing results. If |A| [(p+m–2)/m]+m, then for every integer x such that0 x p – 1, there is B A such that |B| = m and (B) x mod p. Moreover, the bound is attained. If |A| [(p+m–2)/m]+m!, then there is B A such that |B| 0 mod m and (B) = (m – 1)!p. If |A| [(p + 1)/3]+29, then for every even integer x such that4p s x p(p + 170)/48, there is S A such that x = (S). In particular,for every even integer a 2 such that p 192a – 170, thereare an integer j 0 and S A such that (S) = a^j+1.     

Heat Kernel Estimates and LP Spectral Independence of Elliptic Operators

Let be an open subset of R^d, and let T_p for p[1, ) be consistentC₀-semigroups given by kernels that satisfy an upper heat kernelestimate. Denoting their generators by A_p, we show that thespectrum (A_p) is independent of p[1, ). We also treat the caseof weighted L^p-spaces for weights that satisfy a subexponentialgrowth condition. An example shows that independence of thespectrum may fail for an exponential weight. 1991 MathematicsSubject Classification 47D06, 47A10, 35P05.     

Classification Des Ideaux a Droite De A1(k)

Les études récentes sur les idéaux àdroite de A₁(k), la première algèbre de Weyl surun corps algébriquement clos et de caractéristiquenulle k, nous montrent que : pour tout idéal I 0 àdroite de A₁(k), il existe x Q = frac(A₁(k)), et V V telsque : I = xD(R, V) o V est l'ensemble des sous-espaces primairementdécomposables de k[t] = R, et D(R, V), l'idéalà droite {d A₁(k/d(R V}. Dans cet article nous montreronsprincipalement que: pour tout 0 I idéal à droitede A₁(k, !n N, (x, ) Q^* x Aut_k(A₁(k)) : I = x(D(R, O(X_n))),où X_n est la courbe d'algèbre des fonctions régulières: O(X_n = k+tⁿ⁺¹k[t]. La forme des idéaux décriteci-dessus permet de voir dans une hypothèse de Letzteret Makar-Limanov, pour deux courbes algébriques affinesX et X' on a : D(XD(X') co dim D(X = co dim D(X'). Recent studies on right ideals of the first Weyl algebra A₁(k)over an algebraic closed field k with characteristic zero showthat: for each right ideal I 0 of A₁(k), there exist x Q =fracA₁(k)) and a primary decomposable sub-space V of k[t] suchthat I=xD(R,V), where D(R,V) : = {d A₁(k)/d(R) V} is a rightideal of A₁(k). In this paper, we show that for all right idealsI 0 of A₁(k), !n N, (x, ) Q^* x Aut_k(A₁(k)) : I = x(D(R, O(X_n))),where X_n denotes the affine algebraic curve with ring of regularfunctions O(X_n=k+tⁿ⁺¹k[t]. With ideals as described above, onecan easily see, under a hypothesis given by Letzter and Makar-Limanov,that for two affine algebraic curves X and X', D(X)D(X') codim D(X) = co dim D(X'). 2000 Mathematics Subject Classification16S32.     

Torsion Modules, Lattices and P-Points

Answering a long-standing question in the theory of torsionmodules, we show that weakly productively bounded domains arenecessarily productively bounded. (See the Introduction fordefinitions.) Moreover, we prove a twin result for the ideallattice L of a domain equating weak and strong global intersectionconditions for families (X_i)_iI of subsets of L with the propertythat _iI A_i 0 whenever A_iX_i. Finally, we show that for domainswith Krull dimension (and countably generated extensions thereof),these lattice-theoretic conditions are equivalent to productiveboundedness. 1991 Mathematics Subject Classification 03E05,06A23, 13C12, 16U20, 16P60.     

Sharp Distortion Estimate for Locally Schlicht Bloch Functions

Let B be the space of locally schlicht Bloch functions f whichare analytic in the unit disc with f(0) = f'(0) – 1 =0 satisfying 0 < |f'(z)|(1 – |z|²) 1. For each fixedz₀ we shall determine the shape of the set {logf'(z₀): fB},that is, we shall give the sharp distortion estimate for locallyschilcht Bloch functions.     

On a theorem of K. Schmidt

Let Y be a locally compact group, Aut(Y) be the group of topologicalautomorphisms of Y and (Y) be the set of continuous positivedefinite functions on Y which have unit value at the identity.A function (Y²) is said to be of product type if there aresuch functions _j (Y) that (u, v) = ₁(u)₂(v). Define the mappingT: Y² Y² by the formula T(u, v) = (A₁ uA₂ v, A₃ u A₄ v), whereA_j Aut(Y), and assume that T is a one-to-one transform. K.Schmidt proved: (i) if both (u, v) and (T(u, v)) are of producttype, then the functions _j are infinitely divisible; (ii) ifY is Abelian, both (u, v) and (T(u, v)) are of product type,and (u, v) 0, then the functions _j are Gaussian. We show thatstatement (i), generally, is not valid, but K. Schmidt's proofholds true if (u, v) 0. We also give another proof of statement(ii). Our proof uses neither the Levy–Khinchin formulafor a continuous infinitely divisible positive definite functionnor (i) on which K. Schmidt's proof is based.     

A Uniqueness Theorem for Bounded Analytic Functions

Suppose that K is a linear space of functions analytic in somedomain D in the complex plane. A sequence = (_k) of distinctpoints from D is said to be a set of uniqueness for K if fKand f(_k) = 0 for all k imply f0. Depending on the dispersionand the density of on the one hand, and the growth of the functionsin K on the other, one may often require only |f(_k)| a_k forsome sequence of positive numbers a_k, and still conclude thatf0 for fK. Of particular interest are sharp conditions on thedecay of a_k, which reflect the interplay between growth anddecay of analytic functions. 1991 Mathematics Subject Classification30A99, 31A05.     

Finite groups in Stone-Cech compactifications

Let be an infinite cardinal and let G = ₂. Now let β Gbe the Stone–ech compactification of G as a discrete semigroup,and let =_<c_{β G} {xG\{0}:minsupp (x)}. We show that thesemigroup contains no nontrivial finite group.     

The structure of the normalisers of the congruence subgroups of the Hecke group G5

Let = 2cos (/5) and let []. Denote the normaliser ofG₀() of the Hecke group G₅ in PSL₂() by N(G₀()). Then N(G₀())= G₀(/h), where h is the largest divisor of 4 such that h² divides. Further, N(G₀())/G₀() is either 1 (if h = 1), ₂ x ₂ (if h= 2) or ₄ x ₄ (if h = 4).     

Normal Families and Shared Values

For f a meromorphic function on the plane domain D and a C,let _f(a) = {z D: f(z) = a}. Let F be a family of meromorphicfunctions on D, all of whose zeros are of multiplicity at leastk. If there exist b 0 and h > 0 such that for every f F,_f(0) = _f^(k)(b) and 0 < |f^(k+1)(z)| h whenever z _f(0), thenF is a normal family on D. The case _f(0) = Ø is a celebratedresult of Gu [5]. 1991 Mathematics Subject Classification 30D45,30D35.     

A problem of Hirst on continued fractions with sequences of partial quotients

Let B denote an infinite sequence of positive integers b₁ <b₂ < ..., and let denote the exponent of convergence ofthe series _{n = 1} 1/b_n; that is, = inf {s 0 : _{n = 1} 1/b_n^s <}. Define E(B) = {x [0, 1]: a_n(x) B (n 1) and a_n(x) asn }. K. E. Hirst [Proc. Amer. Math. Soc. 38 (1973) 221–227]proved the inequality dim_H E(B) /2 and conjectured (see ibid.,p. 225 and [T. W. Cusick, Quart. J. Math. Oxford (2) 41 (1990)p. 278]) that equality holds. In this paper, we give a positiveanswer to this conjecture.     

Anzai Skew Products with Lebesgue Component of Infinite Multiplicity

Let f be a 1-periodic C¹-function whose Fourier coefficientssatisfy the condition _n|n|³|f(n|² < . For every R\Q andm Z\{0}, we consider the Anzai skew product T(x, y) = (x +, y + mx + f(x)) acting on the 2-torus. It is shown that T hasinfinite Lebesgue spectrum on the orthocomplement L²(dx) ofthe space of functions depending only on the first variable.This extends some earlier results of Kushnirenko, Choe, Lemaczyk,Rudolph, and the author. 1991 Mathematics Subject Classification28D05.     

Volume of a small Extrinsic Ball in a Submanifold

For a submanifold M^p R, we determine a two-term asymptoticformula for vol (M^p B(x)) for x M^p as 0. The second termis a quadratic curvature invariant of the second fundamentalform of the imbedding. Imbedded spheres are characterized amongcompact hypersurfaces by this term.     

Mobius Instability of Sampling for Small Weighted Spaces of Analytic Functions

In this paper, the space A (D)is considered, consisting of thoseholomorphic functions f on the unit disk D such that || f ||= sup_{z D} | f(z)|(|z|) < +, with (1) = 0. The sampling problemis studied for weights satisfying ln (r)/ln(1 – r) 0.Möbius stability of sampling is shown to fail in this space.2000 Mathematics Subject Classification 30H05 (primary), 30D60(secondary).     

A reverse Denjoy theorem

Suppose that C₁ and C₂ are two simple curves joining 0 to ,non-intersecting in the finite plane except at 0 and enclosinga domain D which is such that, for all large r, has measure at most 2, where 0 < < .Suppose also that u is a non-constant subharmonic function inthe plane such that u(z) = B(|z|, u) for all large z C₁ C₂.Let A_D(r, u) = inf { u(z):z D and | z | = r }. It is shownthat if A_D(r, u) = O(1) (or A_D(r, u) = o(B(r, u))), then lim_r B(r, u)/r^/2 > 0 (or lim_r log B(r, u)/log r /2).     

Haar type and Carleson constants

For a collection of dyadic intervals, a Banach space X, andp(1, 2], we assume the upper ^p estimates where x_IX, and h_I denotes the L normalized Haar function supportedon I. We determine the minimal requirement on the size of suchthat these estimates imply that X is of Haar type p. The characterizationis given in terms of the Carleson constant of .