Asymptotics of degrees of someS n-sub regular representations

The numbers % MathType!End!2!1!, λ ⊢n appear in the enumeration of various objects, as well as coefficients inS _nrepresentations associated with products of higher commutators. We study their asymptotics asn→∞ and show that if (λ₁, λ₂, …)≈(α ₁,α ₂, …)n, if (λ′₁, λ′₂, …)≈(β ₁,β ₂, …)n and ifγ=1− Σ _k⩽1(α _k⩽1+β _k⩽1), then % MathType!End!2!1!. Work partially supported by N.S.F. Grant No. DMS 94-01197.     

Moments of a statistic caused by random combinations or random matings

Summary Given two sets of sizek, {α ₁...,α _k} and {β ₁...,β _k} there arek! possible combinations of these two , and suppose there is apriori given a number corresponding to the partnership (α ₁,β _j}. The average of the numbers corresponding to is a random variable, and this paper presents the first five moments of the average, and an application in the study of an isolated human population is demonstrated.     

On convergence of a generalized Pál interpolation process

Let f∈C _[−1,1] ^″ (r≥1) and R_n(f,α,β,x) be the generalized Pál interpolation polynomials satisfying the conditions R_n(f,α,β,x_k)=f(x_k),R_n ^′(f,α,β,x_k)=f′(x_k)(k=1,2,…,n), where {x_k} are the roots of n-th Jacobi polynomial P_n(α,β,x),α,β>−1 and {x _k ^″ } are the roots of (1−x²)P_n″(α,β,x). In this paper, we prove that holds uniformly on [0,1]. In Memory of Professor M. T. Cheng Supported by the Science Foundation of CSBTB and the Natural Science Foundatioin of Zhejiang.     

Synthesis of invariantly stable discrete uncertain systems

A control of an nth-order discrete system under an external perturbation is considered. The elements of the matrix of the system are functionals of any nature. The observation matrix is constant and has arbitrary size m × n. A control ensuring the independence of the output σ _k on the external perturbation ψ _k is synthesized; moreover,

Uniform boundedness of (<Emphasis Type="Italic">C</Emphasis>, 1) means of Jacobi expansions in weighted sup norms. II (Some necessary estimations)

The paper is concerned with bounds for integrals of the type

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

Invariance principle in a bilinear model with weak nonlinearity

We consider a series of bilinear sequences

Evolution of the perturbation of a circle in the Stokes-Leibenson problem for the Hele-Shaw flow. Part II

It is shown that an infinite-dimensional dynamical system of the form

Small zeros of additive forms in several variables

Letf(X) be an additive form defined by

Exact asymptotic behaviour of the codimensions of some P.I. algebras

Letc _n (A) denote the codimensions of a P.I. algebraA, and assumec _n (A) has a polynomial growth: . Then, necessarily,q∈ℚ [D3]. If 1∈A, we show that , wheree=2.71…. In the non-unitary case, for any 0<q∈ℚ, we constructA, with a suitablek, such that . In memory of S. A. Amitsur, our teacher and friend Partially supported by Grant MM404/94 of Ministry of Education and Science, Bulgaria and by a Bulgarian-American Grant of NSF. Partially supported by NSF grant DMS-9101488.     

Extensions of Vietoris’s inequalities I

Let β ₀=0.308443… denote the Littlewood-Salem-Izumi number, i.e., the unique solution of the equation

Periodic solution of a neutral delay competition model

1.IntroductionNeutraldelayffereatialequationsinpopulationdynamicshavebeenstudiedextensivelyforthep88tfewyears.However,onlyafewpapersll--5]havebeenpublishedontheexistencesofperiodicsolutionsoftheneutraldelaypopulationmodels.In[6,7],Kuangproposedtoinve...     

Upper bound theorems for homology manifolds

In this paper we prove the Upper Bound Conjecture (UBC) for some classes of (simplicial) homology manifolds: we show that the UBC holds for all odd-dimensional homology manifolds and for all 2k-dimensional homology manifolds Δ such that β _k (Δ)⩽Σ{β _i (Δ):i ≠k-2,k,k+2 and 1 ⩽i⩽2k-1}, where β _i (Δ) are reduced Betti numbers of Δ. (This condition is satisfied by 2k-dimensional homology manifolds with Euler characteristic χ≤2 whenk is even or χ≥2 whenk is odd, and for those having vanishing middle homology.) We prove an analog of the UBC for all other even-dimensional homology manifolds. Kuhnel conjectured that for every 2k-dimensional combinatorial manifold withn vertices, . We prove this conjecture for all 2k-dimensional homology manifolds withn vertices, wheren≥4k+3 orn≤3k+3. We also obtain upper bounds on the (weighted) sum of the Betti numbers of odd-dimensional homology manifolds.     

On products of k atoms

Let H be an atomic monoid. For k ? \Bbb Nk \in {\Bbb N} let V_k (H){\cal V}_k (H) denote the set of all m ? \Bbb Nm \in {\Bbb N} with the following property: There exist atoms (irreducible elements) u ₁, …, u _k , v ₁, …, v _m ∈ H with u ₁· … · u _k = v ₁ · … · v _m . We show that for a large class of noetherian domains satisfying some natural finiteness conditions, the sets V_k (H){\cal V}_k (H) are almost arithmetical progressions. Suppose that H is a Krull monoid with finite cyclic class group G such that every class contains a prime (this includes the multiplicative monoids of rings of integers of algebraic number fields). We show that, for every k ? \Bbb Nk \in {\Bbb N}, max V_2k+1 (H) = k |G|+ 1{\cal V}_{2k+1} (H) = k \vert G\vert + 1 which settles Problem 38 in [4].     

Two Inequalities for Convex Functions

Let a ₀ < a ₁ < ··· < a _n be positive integers with sums $ {\sum\nolimits_{i = 0}^n {\varepsilon _{i} a_{i} {\left( {\varepsilon _{i} = 0,1} \right)}} } Let a ₀ < a ₁ < ··· < a _n be positive integers with sums distinct. P. Erd?s conjectured that The best known result along this line is that of Chen: Let f be any given convex decreasing function on [A, B] with α ₀, α ₁, ... , α _n , β ₀, β ₁, ... , β _n being real numbers in [A, B] with α ₀ ≤ α ₁ ≤ ··· ≤ α _n , Then In this paper, we obtain two generalizations of the above result; each is of special interest in itself. We prove: Theorem 1 Let f and g be two given non-negative convex decreasing functions on [A, B], and α ₀, α ₁, ... , α _n , β ₀, β ₁, ... , β _n , α' ₀, α' ₁, ... , α' _n , β' ₀ , β' ₁ , ... , β' _n be real numbers in [A, B] with α ₀ ≤ α ₁ ≤ ··· ≤ α _n , α' ₀ ≤ α' ₁ ≤ ··· ≤ α' _n , Then Theorem 2 Let f be any given convex decreasing function on [A, B] with k ₀, k ₁, ... , k _n being nonnegative real numbers and α ₀, α ₁, ... , α _n , β ₀, β ₁, ... , β _n being real numbers in [A, B] with α ₀ ≤ α ₁ ≤ ··· ≤ α _n , Then      

Bases of admissible inference rules for table modal logics of depth 2

In the present article, we prove the theorem which states that every table modal logic λ of depth 2 over S4 has a finite basis of admissible inference rules. In addition, it is established that a finite algebra ℒ belongs to F_ω(λ)^Q iff there exist numbers n₁…, n_k such that (Lemma 5). Let F be a λ-frame of depth 2 and b a cluster of the second layer in F. We show that for any n₁,…,n_k, there exist no p-morphisms from (F_n1⊔…⊔F_nk)⁺ a local component K (b) such that, for any n, there is no p-morphism from any local component of F_n onto K (b) (Lemma 6). Translated fromAlgebra i Logika, Vol. 35, pp. 612–622, September–October, 1996.     

On products of <Emphasis Type="Italic">k</Emphasis> atoms

Let H be an atomic monoid. For let denote the set of all with the following property: There exist atoms (irreducible elements) u ₁, …, u _k , v ₁, …, v _m ∈ H with u ₁· … · u _k = v ₁ · … · v _m . We show that for a large class of noetherian domains satisfying some natural finiteness conditions, the sets are almost arithmetical progressions. Suppose that H is a Krull monoid with finite cyclic class group G such that every class contains a prime (this includes the multiplicative monoids of rings of integers of algebraic number fields). We show that, for every , max which settles Problem 38 in [4]. Authors’ addresses: W. Gao, Center for Combinatorics, Nankai University, Tianjin 300071, P.R. China; A. Geroldinger, Institut für Mathematik und Wissenschaftliches Rechnen, Karl-Franzens-Universit?t Graz, Heinrichstra?e 36, 8010 Graz, Austria     

A note on certain fields of finite transcendence type

Let be a finitely generated extension field of ℚ, andα _i,β_j(1⩽i⩽m,1⩽j⩽n) be some complex numbers. Let (k=1,2,3) be fields obtained by adjoining to the numbers {α _i,β_j exp(α_iβ_j)}, {α_i, exp(α_iβ_j)}, and {exp(α_iβ_j)}, respectively. In the present note the relation between the transcendental degree of over and the transcendence type of over ℚ is given. This work was completed in Dpt. Math., Univ. of Southern Mississippi, Hattiesburg, USA.     

Comonotone approximation of twice differentiable periodic functions

In the case where a 2π-periodic function f is twice continuously differentiable on the real axis ℝ and changes its monotonicity at different fixed points y _i ∈ [− π, π), i = 1,…, 2s, s ∈ ℕ (i.e., on ℝ, there exists a set Y := {y _i } _i∈ℤ of points y _i = y _i+2s + 2π such that the function f does not decrease on [y _i , y _i−1] if i is odd and does not increase if i is even), for any natural k and n, n ≥ N(Y, k) = const, we construct a trigonometric polynomial T _n of order ≤n that changes its monotonicity at the same points y _i ∈ Y as f and is such that

A characteristic property of spheres

Summary We prove: Let S be a closed n-dimensional surface in an(n+1)-space of constant curvature (n ≥ 2); k₁ ≥ ... ≥ k_n denote its principle curvatures. Let φ(ξ₁, ..., ξ_n) be such that . Then if φ(k₁, ..., k_n)=const on S and S is subject to some additional general conditions (those(II ₀) or(II) n^o 1), S is a sphere. To Enrico Bompiani on his scientific Jubilee