A Weighted Erdős-Ginzburg-Ziv Theorem

An n-set partition of a sequence S is a collection of n nonempty subsequences of S, pairwise disjoint as sequences, such that every term of S belongs to exactly one of the subsequences, and the terms in each subsequence are all distinct so that they can be considered as sets. If S is a sequence of m+n−1 elements from a finite abelian group G of order m and exponent k, and if is a sequence of integers whose sum is zero modulo k, then there exists a rearranged subsequence of S such that . This extends the Erdős–Ginzburg–Ziv Theorem, which is the case when m = n and w_i = 1 for all i, and confirms a conjecture of Y. Caro. Furthermore, we in part verify a related conjecture of Y. Hamidoune, by showing that if S has an n-set partition A=A₁, . . .,A_n such that |w_iA_i| = |A_i| for all i, then there exists a nontrivial subgroup H of G and an n-set partition A′ =A′₁, . . .,A′_n of S such that and for all i, where w_iA_i={w_ia_i |a_i∈A_i}.     

Uniform boundedness theorems for nearly additive mappings

We deal with mappings from a (not necessarily commutative) groupG into a Banach spaceY which are nearly additive in the sense of satisfying that for some constantK ≥ 0,

Asymptotically spirallike mappings in several complex variables

In this paper, we define the notion of asymptotic spirallikeness (a generalization of asymptotic starlikeness) in the Euclidean space ℂ ⁿ . We consider the connection between this notion and univalent subordination chains. We introduce the notions of A-asymptotic spirallikeness and A-parametric representation, where A ∈ L(ℂ ⁿ , ℂ ⁿ ), and prove that if dt < ∞ (this integral is convergent if k ₊(A) < 2m(A)), then a mapping f ∈ S(B ⁿ ) is A-asymptotically spirallike if and only if f has A-parametric representation, i.e., if and only if there exists a univalent subordination chain f(z, t) such that D f(0, t) = e ^At , {e ^−At f(·, t)} _t≥0 is a normal family on B ⁿ and f = f(·, 0). In particular, a spirallike mapping with respect to A ∈ L(ℂ ⁿ , ℂ ⁿ ) with dt < ∞ has A-parametric representation. We also prove that if f is a spirallike mapping with respect to an operator A such that A + A* = 2I _n , then f has parametric representation (i.e., with respect to the identity). Finally, we obtain some examples of asymptotically spirallike mappings. Partially supported by the Natural Sciences and Engineering Research Council of Canada under Grant A9221. Partially supported by Grant-in-Aid for Scientific Research (C) no. 19540205 from Japan Society for the Promotion of Science, 2007. Partially supported by Romanian Ministry of Education and Research, CEEX Program, Project 2-CEx06-11-10/2006.     

Concentration and influences

Consider the discrete cube Ω={0,1} ^N , provided with the uniform probabilityP. We denote byd(x, A) the Hamming distance of a pointx of Ω and a subsetA of Ω. We define the influenceI(A) of theith coordinate onA as follows. Forx in Ω, consider the pointT _i (x) obtained by changing the value of theith coordinate. Then We prove that we always have Since it is easy to see that , this recovers the well known fact that ∫_Ω d(x, A)dP(x) is at most of order whenP(A)≥1/2. The new information is that ∫_Ω d(x, A)dP(x) can be of order only ifA reassembles the Hamming ball {x; ∑_1≤N x _i ≥N/2}.     

Sur les anneaux tels que tout produit de copies d'un module quasi-injectif soit un module quasi injectif. — II

Résumé On étudie dans cet article les anneaux noethériens commutatifs tels que tout produit de copies d'un module quasi injectif soit un module quasi-injectif, un tel anneau est produit fini d'anneaux locaux vérifiant certaines propriétés. On étudie également des anneaux noethériens commutatifs un peu plus généraux: les C1-anneaux, qui sont caractérisés comme étant des produits finis d'anneaux locaux A_i,1≤i≤n tels que tout idéal ′ du complété R(A_i)-adique ?_i de A_i vérifie ′ = ( ′∩A_i)?_i. On donne des exemples de tels anneaux. Entrata in Redazione il 12 febbraio 1975.     

Convex mappings on some Reinhardt domains

In this paper, we consider the following Reinhardt domains. Let M = （M1, M2,..., Mn） ： [0,1] → [0,1]^n be a C2-function and Mj（0） = 0, Mj（1） = 1, Mj″ 〉 0, C1jr^pj-1 〈 Mj′（r） 〈 C2jr^pj-1, r∈ （0, 1）, pj 〉 2, 1 ≤ j ≤ n, 0 〈 C1j 〈 C2j be constants. Define
DM={z=（z1,z2,…,Zn）^T∈C^n：n∑j=1 Mj（｜zj｜）〈1}
Then DM C^n is a convex Reinhardt domain. We give an extension theorem for a normalized biholomorphic convex mapping f ： DM -→ C^n.     

Comparison of exact constants in Kolmogorov-type inequalities for periodic and nonperiodic functions of many variables

We investigate the correlation between the constants K(ℝⁿ) and , where

On the maximal dimension of a completely entangled subspace for finite level quantum systems

LetH _ibe a finite dimensional complex Hilbert space of dimensiond _i associated with a finite level quantum system A_i for i = 1, 2, ...,k. A subspaceS ⊂ is said to becompletely entangled if it has no non-zero product vector of the formu ₁⊗u ₂ ⊗ ... ⊗u _k with u_i inH _i for each i. Using the methods of elementary linear algebra and the intersection theorem for projective varieties in basic algebraic geometry we prove that

Entropy and uniform distribution of orbits in\mathbb{T}

We present a class of integer sequences {c _n } with the property that for everyp-invariant and ergodic positive-entropy measure μ on L ₂ , {c _n x (mod 1)} is uniformly distributed for μ-almost everyx. This extends a result of B. Host, who proved this for the sequence {q ⁿ }, forq relatively prime top. Our class of sequences includes, for instance, the sequencec _n =Мf _i (n)q _i ⁿ , where the numbersq _i are distinct and are relatively prime top andf _i are any polynomials. More generally, recursion sequences for which the free coefficient of the recursion polynomial is relatively prime top are in this class as well, provided they satisfy a simple irreducibility condition. In the multi-dimensional case we derive sufficient conditions for a pair of endomorphisms (withA diagonal) and anA-invariant and ergodic measure μ, such thatB-orbits of the form {B ⁿ ω} are uniformly distributed for μ-almost every .     

Nonabelian K-theory: The nilpotent class of K1 and general stability

A functorial filtration GL _n =S^–1L _n S⁰L _n S ⁱ L _n E _n of the general linear group GL _{n, n} 3, is defined and it is shown for any algebra A, which is a direct limit of module finite algebras, that S^–1 L _n (A)/S⁰L _n (A) is abelian, that S⁰L _n (A) S¹L _n (A) is a descending central series, and that S ⁱ L _n (A) = E _n(A) whenever i the Bass-Serre dimension of A. In particular, the K-functors k ₁ S ⁱ L _n =S ⁱ L _n /E _n are nilpotent for all i 0 over algebras of finite Bass-Serre dimension. Furthermore, without dimension assumptions, the canonical homomorphism S ⁱ L _n (A)/S ⁱ⁺¹ L _n (A)S ⁱ L _{n+ 1}(A)/S ⁱ⁺¹ L _{n + 1} (A) is injective whenever n i + 3, so that one has stability results without stability conditions, and if A is commutative then S⁰L _n (A) agrees with the special linear group SL _n (A), so that the functor S⁰L _n generalizes the functor SL _n to noncommutative rings. Applying the above to subgroups H of GL _n (A), which are normalized by E _n(A), one obtains that each is contained in a sandwich GL _n (A, ) H E _n(A, ) for a unique two-sided ideal of A and there is a descending S⁰L _n (A)-central series GL _n (A, ) S⁰L _n (A, ) S¹L _n (A, ) S ⁱ L _n (A, ) E _n(A, ) such that S ⁱ L _n (A, )=E _n(A, ) whenever i Bass-Serre dimension of A.Dedicated to Alexander Grothendieck on his sixtieth birthday     

Strong surjectivity of mappings of some 3-complexes into $$ M_{Q_8 } $$

Let K be a CW-complex of dimension 3 such that H ³(K;ℤ) = 0 and the orbit space of the 3-sphere with respect to the action of the quaternion group Q ₈ determined by the inclusion Q ₈ ⊆ . Given a point a ∈ , we show that there is no map f:K → which is strongly surjective, i.e., such that MR[f,a]=min{#(g ⁻¹(a))|g ∈ [f]} ≠ 0.      

r-Maximal major subsets

The question of which r.e. setsA possess major subsetsB which are alsor-maximal inA (A⊂_rm B) arose in attempts to extend Lachlan’s decision procedure for the αε-theory of ℰ^*, the lattice of r.e. sets modulo finite sets, and Soare’s theorem thatA andB are automorphic if their lattice of supersets ℒ^*(A) and ℒ^*(B) are isomorphic finite Boolean algebras. We characterize the r.e. setsA with someB⊂_rm A as those with a Δ₃ function that for each recursiveR _i specifiesR _i or as infinite on and to be preferred in the construction ofB. There are r.e.A andB with ℒ^*(A) and ℒ^*(B) isomorphic to the atomless Boolean algebra such thatA has anrm subset andB does not. Thus 〈ℰ^*,A〉 and 〈ℰ^*,B〉 are not even elementarily equivalent. In every non-zero r.e. degree there are r.e. sets with and withoutrm subsets. However the classF of degrees of simple sets with norm subsets satisfies . The authors were partially supported by NSF Grants MCS 76-07258, MCS 77-04013 and MCS 77-01965 respectively.     

Arc-disjoint in-trees in directed graphs

Given a directed graph D = (V,A) with a set of d specified vertices S = {s ₁,…, s _d } ⊆ V and a function f: S → ℕ where ℕ denotes the set of natural numbers, we present a necessary and sufficient condition such that there exist Σ _i=1 ^d f(s _i ) arc-disjoint in-trees denoted by T _i,1,T _i,2,…, for every i = 1,…,d such that T _i,1,…, are rooted at s _i and each T _i,j spans the vertices from which s _i is reachable. This generalizes the result of Edmonds [2], i.e., the necessary and sufficient condition that for a directed graph D=(V,A) with a specified vertex s∈V, there are k arc-disjoint in-trees rooted at s each of which spans V. Furthermore, we extend another characterization of packing in-trees of Edmonds [1] to the one in our case. Supported by JSPS Research Fellowships for Young Scientists. Supported by the project New Horizons in Computing, Grand-in-Aid for Scientific Research on Priority Areas, MEXT Japan.     

On some problems of weak consistency of quasi-maximum likelihood estimates in generalized linear models

In this paper,we explore some weakly consistent properties of quasi-maximum likelihood estimates(QMLE) concerning the quasi-likelihood equation in=1 Xi(yi-μ(Xiβ)) = 0 for univariate generalized linear model E(y |X) = μ(X'β).Given uncorrelated residuals {ei = Yi-μ(Xiβ0),1 i n} and other conditions,we prove that βn-β0 = Op(λn-1/2) holds,where βn is a root of the above equation,β0 is the true value of parameter β and λn denotes the smallest eigenvalue of the matrix Sn = ni=1 XiXi.We also show that the convergence rate above is sharp,provided independent non-asymptotically degenerate residual sequence and other conditions.Moreover,paralleling to the elegant result of Drygas(1976) for classical linear regression models,we point out that the necessary condition guaranteeing the weak consistency of QMLE is Sn-1→ 0,as the sample size n →∞.     

Score sets in oriented 3-partite graphs

Let D(U, V, W) be an oriented 3-partite graph with |U|=p, |V|=q and |W|= r. For any vertex x in D(U, V, W), let d x and d-x be the outdegree and indegree of x respectively. Define aui (or simply ai) = q r d ui - d-ui, bvj(or simply bj) = p r d vj - d-vj and Cwk (or simply ck) = p q d wk - d-wk as the scores of ui in U, vj in V and wk in Wrespectively. The set A of distinct scores of the vertices of D(U, V, W) is called its score set. In this paper, we prove that if a1 is a non-negative integer, ai(2≤i≤n - 1) are even positive integers and an is any positive integer, then for n≥3, there exists an oriented 3-partite graph with the score set A = {a1,2∑i=1 ai,…,n∑i=1 ai}, except when A = {0,2,3}. Some more results for score sets in oriented 3-partite graphs are obtained.     

Strongly convergent approximations to fixed points of total asymptotically nonexpansive mappings

In this work we prove a new strong convergence result of the regularized successive approximation method given by yn＋1 = qnz0 ＋ （1 - qn）T^nyn, n = 1, 2,…,where lim n→∞ qn = 0 and ∞∑n=1 qn=∞ for T a total asymptotically nonexpansive mapping, i.e., T is such that
││T^n x - T^n y││ ≤ x - y ││ ＋ kn^（1）φ（││x - y││） ＋ kn^（2）,where kn^1 and kn^2 are real null convergent sequences and φ：R^＋→R^＋ is continuous such that φ（0）=0 and limt→∞φ（t）/t≤ C for a certain constant C 〉 0.
Among other features, our results essentially generalize existing results on strong convergence for T nonexpansive and asymptotically nonexpansive. The convergence and stability analysis is given for both self- and nonself-mappings.     

Properties of continuous mappings of unbounded metric spaces

Suppose a closed unbounded set F R_n is a union of a finite number p of closed unbounded sets F_i that are pairwise disjoint, and suppose f is a continuous mapping of F into the metric space R⁽²⁾. With each set F_i there is associated a point at infinity _i, at which it is assumed that f has a finite limit A_i R⁽²⁾, i=1, 2, ..., p. It is proved that: 1) f is bounded on F; 2) if f is a real functional, then the set contains a smallest and a largest value; 3) if the distance between F_i and F_j is greater than zero whenever i j, then f is uniformly continuous on F.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 3, pp. 422–427, March, 1991.     

Short-time Asymptotics of the Heat Kernel on Bounded Domain with Piecewise Smooth Boundary Conditions and Its Applications to an Ideal Gas

The asymptotic expansion of the heat kernel Θ(t)=sum from ∞to j=1 exp(-tλ_j) where {λ_j}_(j=1)~∞are the eigen-values of the negative Laplacian -Δ_n=-sum from n to k=1((?))~2 in R~n(n=2 or 3) is studied for short-time t for a generalbounded domain Ωwith a smooth boundary (?)Ω.In this paper,we consider the case of a finite number of theDirichlet conditions φ=0 on Γ_i (i=1,...,J) and the Neumann conditions (?)=0 on Γ_i (i=J 1,...,k) andthe Robin conditions ((?) γ_i)φ=0 on Γ_i (i=k 1,...,m) where γ_i are piecewise smooth positive impedancefunctions,such that (?)Ωconsists of a finite number of piecewise smooth components Γ_i(i=1,...,m) where(?)Ω=(?)Γ_i.We construct the required asymptotics in the form of a power series over t.The senior coefficients inthis series are specified as functionals of the geometric shape of the domain Ω.This result is applied to calculatethe one-particle partition function of a“special ideal gas”,i.e.,the set of non-interacting particles set up in abox with Dirichlet,Neumann and Robin boundary conditions for the appropriate wave function.Calculationof the thermodynamic quantities for the ideal gas such as the internal energy,pressure and specific heat revealsthat these quantities alone are incapable of distinguishing between two different shapes of the domain.Thisconclusion seems to be intuitively clear because it is based on a limited information given by a one-particlepartition function;nevertheless,its formal theoretical motivation is of some interest.     

Detection of Some Elements in the Stable Homotopy Groups of Spheres

Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π＊S is one of the central problems in homotopy theory. This paper constructs a new nontrivial family of homotopy elements in the stable homotopy groups of spheres πp^nq＋2pq＋q-3S which isof order p and is represented by kohn ∈ ExtA^3,P^nq＋2pq＋q（Zp,Zp） in the Adams spectral sequence, wherep 〉 5 is an odd prime, n ≥3 and q = 2（p-1）. In the course of the proof, a new family of homotopy elements in πp^nq＋（p＋1）q-1V（1） which is represented by β＊i＇＊i＊（hn） ∈ ExtA^2,pnq＋（p＋1）q＋1 （H^＊V（1）, Zp） in the Adams sequence is detected.     

Properties of continuous mappings of unbounded metric spaces

Suppose a closed unbounded set F R_n is a union of a finite number p of closed unbounded sets F_i that are pairwise disjoint, and suppose f is a continuous mapping of F into the metric space r⁽²⁾. With each set F_i there is associated a point at infinity _i, at which it is assumed that f has a finite limit A_i R⁽²⁾, i=1, 2, ..., p. It is proved that: 1) f is bounded on F; 2) if f is a real functional, then the set contains a smallest and a largest value; 3) if the distance between F_i and F_j is greater than zero whenever i j, then f is uniformly continuous on F.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 3, pp. 422–427, March, 1991.