A Remark on a Theorem of Szegö

Let be a polynomial with complex coefficients and define, for , where ||P|| is the euclidean norm of the polynomial P. By a theorem of Szegö where is the Mahler measure of F. Recently, J. Dégot proved an effective version of this result. In this paper we sharpen Dégot's result, under the additional hypotheses that F is a square-free polynomial with integer coefficients and without reciprocal factors.     

On the Asymptotic Behaviour of General Partition Functions,II

Let = {a ₁, a ₂,...} be a set of positive integers and let p (n) and q (n) denote the number of partitions of n into a's, resp. distinct a's. In an earlier paper the authors studied large values of log(max (2,p (n)))/log(max(2,q (n))). In this paper the small values of the same quotient are studied.     

Geometric Properties of Generalized Hypergeometric Functions

Let denote the generalized hypergeometric function where no denominator parameter can be zero or a negative integer and (a,n) denotes the ascending factorial notation. Ponnusamy and Vuorinen raised the problem of finding conditions on the parameters a_j > 0, b_j > 0 so that the function is univalent in . The main aim of this paper is to discuss this problem in detail for the case q = 2.     

On The Sum of Digits Function for Number Systems with Negative Bases

Let q 2 be an integer. Then –q gives rise to a number system in , i.e., each number n has a unique representation of the form n = c ₀ + c ₁ (–q) + ... + c _h (–q) ^h , with c _i {0,..., q – 1}(0 i h). The aim of this paper is to investigate the sum of digits function _–q (n) of these number systems. In particular, we derive an asymptotic expansion for

Ramanujan-Göllnitz-Gordon Continued Fraction

We derive many new identities involving the Ramanujan-Göllnitz-Gordon continued fraction H(q). These include relations between H(q) and H(q ⁿ ) , which are established using modular equations of degree n. We also evaluate explicitly H(q) at for various positive integers n. Using results of M. Deuring, we show that are units for all positive integers n.     

Popularity of Sets Represented by the Partitions of n

Let us say that a partition of the positive integer n represents a, 0 a n, if there is a submultiset of the multiset of the parts whose sum is a. Erd os and Szalay have proved that almost all partitions of n represent all integers a, 0 a n. If is a finite set of positive integers, let us denote by p~(n, ) the number of partitions of n which represent all integers a, 0 a n, a , n – a but do not represent a for a . For instance, p~(n,) is the number of partitions of n which represent all integers between 0 and n; the result of Erd os and Szalay can be reformulated as p~(n,) p(n), where p(n) is the total number of partitions of n. The aim of this paper is the study of p~(n, ): we shall compare the values of p~(n, ) for small sets and we shall give a close formula for p~(n, ) when is the set of the first k integers.     

Direct Theorem about Approximation on a Family of Two Segments

Introduce the notation: , is the union of two segments [-1,1] and [-1 + ,1+ ], is a noninteger number, is the Hölder class with exponent on The following result announced by the authors in [J. Math. Sci. 117 (2003), No. 3] is proved. There exist numbers a ₁ ( ) , b ₁ ( ) 0 depending only on such that for any there exists a polynomial , such that . Bibliography: 11 titles.     

On a Problem of the Theory of Multiply Local Formations

We describe the -closed n-multiply local formations such that the lattice of all -closed n-multiply local formations between and is Boolean.     

Looking for Difference Sets in Groups with Dihedral Images

We prove four theorems about groups with a dihedral (or cyclic) image containing a difference set. For the first two, suppose G, a group of order 2p with p an odd prime, contains a nontrivial (v, k, ) difference set D with order n = k – prime to p and self-conjugate modulo p. If G has an image of order p, then 0 2a + 2 for a unique choice of = ±1, and for a = (k – )/2p. If G has an image of order 2p, then and ( – 1)/( – 1). There are further constraints on n, a and . We give examples in which these theorems imply no difference set can exist in a group of a specified order, including filling in some entries in Smith's extension to nonabelian groups of Lander's tables. A similar theorem covers the case when p|n. Finally, we show that if G contains a nontrivial (v, k, ) difference set D and has a dihedral image D _2m with either (n, m) = 1 or m = p ^t for p an odd prime dividing n, then one of the C ₂ intersection numbers of D is divisible by m. Again, this gives some non-existence results.     

On the Normal Order of ϕk+1(n)/ϕk(n), where ϕk is the k-Fold Iterate of Euler's Function

Let be the j-fold iterated function of . Let and > 0 be fixed, Q be a prime, and let N _k(Q|x) denote the number of those nx for which Q . We give the asymptotics of N _k(Q|x) in the range .     

Quasivariety Generated by Free Metabelian and 2-Nilpotent Groups

Let qG be a quasivariety generated by a group G and be a non-Abelian quasivariety of groups with a finite lattice of subquasivarieties. Suppose is contained in a quasivariety generated by the following two groups: a free 2-nilpotent group F₂( ₂) of rank 2 and a free metabelian (i.e., with an Abelian commutant) group F₂( ₂) of rank 2. It is proved that either = qF₂( ₂) or = qF₂( ₂) in this instance.__________Translated from Algebra i Logika, Vol. 44, No. 4, pp. 389–398, July–August, 2005.     

A characterization of the periods of periodic points of 1-norm nonexpansive maps

In this paper the set of minimal periods of periodic points of 1-norm nonexpansive maps is studied. This set is denoted by R(n). The main goal is to present a characterization of R(n) by arithmetical and combinatorial constraints. More precisely, it is shown that , where denotes the set of periods of restricted admissible arrays on 2n symbols. The important point of this equality is that is determined by arithmetical and combinatorial constraints only, and that it can be computed in finite time. By using this equality the set R(n) is computed for . Furthermore it is shown that the largest element of R(n) satisfies:      

Determinants of Matrices Associated with Incidence Functions on Posets

Let S = x ₁,...,x _n} be a finite subset of a partially ordered set P. Let f be an incidence function of P. Let denote the n × n matrix having f evaluated at the meet of x _i and x _j as its i, j-entry and denote the n × n matrix having f evaluated at the join of x _i and x _j as its i, j-entry. The set S is said to be meet-closed if for all 1 i, j n. In this paper we get explicit combinatorial formulas for the determinants of matrices and on any meet-closed set S. We also obtain necessary and sufficient conditions for the matrices and on any meet-closed set S to be nonsingular. Finally, we give some number-theoretic applications.     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

Finite splitting fields of normal subgroups

Let G be a finite group, a normal subgroup, p a prime, a finite splitting field of characteristic p for G and We prove that is a splitting field for N, using the action of the Galois group of the field extension on the irreducible representations of N. As is a splitting field for the symmetric group S_n we get as a corollary that is a splitting field for the alternating group A_n. Received: 31 July 2003     

An Improvement of an Inequality of Fiedler Leading to a New Conjecture on Nonnegative Matrices

Suppose that A is an n × n nonnegative matrix whose eigenvalues are = (A), ₂, ..., _n. Fiedler and others have shown that \det( I -A) ⁿ - ⁿ, for all > with equality for any such if and only if A is the simple cycle matrix. Let a _i be the signed sum of the determinants of the principal submatrices of A of order i × i, i=1, ..., n - 1. We use similar techniques to Fiedler to show that Fiedler's inequality can be strengthened to: for all . We use this inequality to derive the inequality that: . In the spirit of a celebrated conjecture due to Boyle-Handelman, this inequality inspires us to conjecture the following inequality on the nonzero eigenvalues of A: If ₁ = (A), ₂,...,_k are (all) the nonzero eigenvalues of A, then . We prove this conjecture for the case when the spectrum of A is real.     

On the Boundedness of a Recurrence Sequence in a Banach Space

We investigate the problem of the boundedness of the following recurrence sequence in a Banach space B: where |y _n} and | _n } are sequences bounded in B, and A _k, k 1, are linear bounded operators. We prove that if, for any > 0, the condition is satisfied, then the sequence |x _n} is bounded for arbitrary bounded sequences |y _n} and | _n } if and only if the operator has the continuous inverse for every z C, |z| 1.     

Algebraic Dilogarithm Identities

The Rogers L-function satisfies the functional equation .From this we derive several other such equations, including Euler's identity L(x)+L(1-x)=L(1) and various identities arising from summation and transformation formulas for basic hypergeometric series. We also obtain some new equations of the form where is algebraic and the c _k are integers.     

Dirichlet Series Associated with Strongly q-Multiplicative Functions

In this work the Dirichlet series associated with real strongly q-multiplicative functions f(n) are studied. We will confine ourselves to the case _i=0 ^q–1 f(i) = 0. It is known that in this case the function _f (s) has an analytic continuation to the whole complex plane as an entire function with trivial zeros on the negative real line. The real function _f (t) satisfying the integral equation with delayed argument for some nonzero real _f naturally appears in the representation of the function _f (s). In this article we find some asymptotic properties of the function _f (s), prove that _f (s) is an entire function of order 2, and also prove that in the region the function _f (s) has only trivial zeros which are simple.     

A representation theorem for weak automorphisms of a universal algebra

Given a group G and a descending chainG ₀,G ₁,...,G _n, of normal subgroups ofG, we prove that there exists a universal algebra , such that the chain ...W_n( )...W₁( }) W₀( )W( ) is isomorphic to the chain ...G _n ...G ₁G ₀G, where W( ) is the group of weak automorphisms of , and W_n( ) is the group of weak automorphisms of that leaves alln-ary operations fixed.We also prove that there are an infinite number of non-isomorphic algebras that satisfy the above.These results are a generalization of those proved by J. Sichler, in the special case when G=G₀, and G₁=G₂=...=G_n=....Presented by J. Mycielski.This paper comprises part of the author's doctoral dissertation at the University of Notre Dame in 1983. The author wishes to express her deep gratitude to Professor Abraham Goetz for suggesting this problem, for being extremely generous with his time and experience, and for giving her his constant encouragement. The author also thanks the reviewer for his helpful comments.