A survey of orthogonal arrays of strength two

ＡＳＵＲＶＥＹＯＦＯＲＴＨＯＧＯＮＡＬＡＲＲＡＹＳＯＦＳＴＲＥＮＧＴＨＴＷＯＬＩＵＺＨＡＮＧＷＥＮ（刘璋温）（ＩｎｓｔｉｔｕｔｅｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ．ｔｈｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｔｉｃｅｓ．Ｂｅｉｊｉｎｇ１０００...     

Character Sums in Short Intervals and the Multiplication Table Modulo a Large Prime

We obtain nontrivial estimates of character sums over short intervals for almost all moduli. These bounds and the method of Karatsuba for solving multiplicative ternary problems are used to prove that for π(X)(1 + o(1)) primes p,p ≤ X, there are p(1 + o(1)) residue classes modulo p of the form xy (mod p), where 1 ≤ x, y ≤ p^?(log p)^1,087. We also prove that for any prime p there are p(1 + o(1)) residue classes modulo p of the form xy^* (mod p), where 1 ≤ x, y ≤ p^?(log p)^1+o(1) and y^* is defined by yy^* ≡ 1 (mod p).     

Nonnormal and minimal nonabelian subgroups of a finite group

Let G be a finite p-group. If p = 2, then a nonabelian group G = Ω₁(G) is generated by dihedral subgroups of order 8. If p > 2 and a nonabelian group G = Ω₁(G) has no subgroup isomorphic to S_p²{\Sigma _{{p^2}}}, a Sylow p-subgroup of the symmetric group of degree p ², then it is generated by nonabelian subgroups of order p ³ and exponent p. If p > 2 and the irregular p-group G has < p nonabelian subgroups of order p ^p and exponent p, then G is of maximal class and order p ^p+1. We also study in some detail the p-groups, containing exactly p nonabelian subgroups of order p ^p and exponent p. In conclusion, we prove three new counting theorems on the number of subgroups of maximal class of certain type in a p-group. In particular, we prove that if p > 2, and G is a p-group of order > p ^p+1, then the number of subgroups ≅ ΣS_p²{\Sigma _{{p^2}}} in G is a multiple of p.     

A Series of Regular Hadamard Matrices

Let p and 2p−1 be prime powers and p ≡ 3 (mod 4). Then there exists a symmetric design with parameters (4p², 2p² − p, p² − p). Thus there exists a regular Hadamard matrix of order 4p².     

On the corestriction ofp n -symbol

LetF be a field of characteristicp. Teichmüller proved that anyp-algebra overF of indexp ⁿ and exponentp ^e is similar to a tensor product with at mostp ⁿ !(p ⁿ !−1) factors of cyclicp-algebras overF of degreep ^e . In this note we improve Teichmüller bound for two particular types ofp-algebras. LetL be a finite separable extension ofF. IfA is a cyclicp-algebra overL of degreep ^e we show that Cor _L/F A, the corestriction ofA, is similar to a tensor product with at most [L :F] factors of cyclicp-algebras overF of degreep ^e . Moreover we prove that [L :F] is the best possible bound. From this we deduce that ifA is a cyclicp-algebra overF of degreep ⁿ and exponentp ^e thenA is similar to a tensor product with at mostp ^n−e factors of cyclicp-algebras overF of degreep ^e .     

A local version of a result of gamlen and gaudet

LetX _D ^p be the span of the Haar function {h _j: J ε D} inL ^p (1 <p < ∞) endowed withL ^p norm. Then for any finite setD, the spacesX _D ^p andl _*D ^p areK _p-isomorphic whereK _p depends onp only.     

On the subspaces ofL p (p>2) spanned by sequences of independent random variables

Let 2<p<∞. The Banach space spanned by a sequence of independent random variables inL ^p , each of mean zero, is shown to be isomorphic tol ²,l ^p ,l ²⊕l ^p , or a new spaceX _p , and the linear topological properties ofX _p are investigated. It is proved thatX _p is isomorphic to a complemented subspace ofL ^p and another uncomplemented subspace ofL ^p , whence there exists an uncomplemented subspace ofl ^p isomorphic tol ^p . It is also proved thatX _p is not isomorphic to the previously knownℒ _p spaces. The work for this research was partially supported by the National Science Foundation GP-12997.     

Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups II

Let p ₁, p ₂, p ₃ be primes. This is the second article in a series of three on the (p ₁, p ₂, p ₃)-generation of the finite projective special unitary and linear groups PSU₃(p ⁿ ), PSL₃(p ⁿ ), where we say a noncyclic group is (p ₁, p ₂, p ₃)-generated if it is a homomorphic image of the triangle group T _{p 1, p 2, p 3} . This paper is concerned with the case where p ₁ = 2 and p ₂ = p ₃. We determine for any prime p ₂ the prime powers p ⁿ such that PSU₃(p ⁿ ) (respectively, PSL₃(p ⁿ )) is a quotient of T = T _{2, p 2, p 2} . We also derive the limit of the probability that a randomly chosen homomorphism in Hom(T, PSU₃(p ⁿ )) (respectively, Hom(T, PSL₃(p ⁿ ))) is surjective as p ⁿ tends to infinity.     

Finite p-Groups in Which the Number of Subgroups of Possible Order is Less Than or Equal to $p^3 $

In this paper, groups of order pn in which the number of subgroups of possible order is less than or equal to p3 are classified. It turns out that if p 2, n ≥ 5, then the classification of groups of order pn in which the number of subgroups of possible order is less than or equal to p3 and the classification of groups of order pn with a cyclic subgroup of index p2 are the same.     

关于环Fpm+uFpm+u2Fpm上循环码的注记

本文研究了环F_p^m+uF_p^m+u²F_p^m上长度为p^s的循环码分类.通过建立环F_p^m+uF_p^m+u²F_p^m到环F_p^m+uF_p^m的同态,给出了环F_p^m+uF_p^m+u²F_p^m上长度为p^s的循环码的新分类方法.应用这种方法,得到了环F_p^m+uF_p^m+u²F_p^m长度为p^s的循环码的码词数.     

Nonnegative functions in weighted hardy spaces

Let W be a nonnegative summable function whose logarithm is also summable with respect to the Lebesgue measure on the unit circle. For 0?<?p?<?∞ , H^p (W) denotes a weighted Hardy space on the unit circle. When W?≡?1, H ^p(W) is the usual Hardy space H^p . We are interested in H^p ( W)₊ the set of all nonnegative functions in H^p ( W). If p?≥?1/2, H^p ₊ consists of constant functions. However H^p ( W)₊ contains a nonconstant nonnegative function for some weight W. In this paper, if p?≥?1/2 we determine W and describe H^p ( W)₊ when the linear span of H^p ( W)₊ is of finite dimension. Moreover we show that the linear span of H^p (W)₊ is of infinite dimension for arbitrary weight W when 0?<?p?<?1/2.     

Cyclic Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(<Emphasis Type="Bold">R</Emphasis>), 1 \le <Emphasis Type="Italic">p</Emphasis> < \infty

Functions whose translates span L ^p (R) are called L ^p-cyclic functions. For a fixed p \memb [1, \infty], we construct Schwartz-class functions which are L ^r -cyclic for r > p and not L ^r - cyclic for r \le p. We then construct Schwartz-class functions which are L ^r -cyclic for r \ge p and not L ^r -cyclic for r < p. The constructions differ for p \memb (1, 2) and p > 2.     

Fractals related to Pascal's triangle

A precise definition of a fractalF _p ^{r 1} derived from Pascal's triangle modulop ^r (p prime) is given. The number of nonzero terms in the firstp ^s lines of Pascal's triangle modulop ^r is computed. From this result the Hausdorff dimension and Hausdorff measure ofF _p ^{r 1} are deduced. The nonself-similarty ofF _p ^{r 1},r2, is also discussed.     

Character Sums in Short Intervals and the Multiplication Table Modulo a Large Prime

We obtain nontrivial estimates of character sums over short intervals for almost all moduli. These bounds and the method of Karatsuba for solving multiplicative ternary problems are used to prove that for π(X)(1 + o(1)) primes p,p ≤ X, there are p(1 + o(1)) residue classes modulo p of the form xy (mod p), where 1 ≤ x, y ≤ p^?(log p)^1,087. We also prove that for any prime p there are p(1 + o(1)) residue classes modulo p of the form xy^* (mod p), where 1 ≤ x, y ≤ p^?(log p)^1+o(1) and y^* is defined by yy^* ≡ 1 (mod p).     

Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces Lp(·) and Wk,p(·)

We study the Riesz potentials I_αf on the generalized Lebesgue spaces L^p(·)(?^d), where 0 < α < d and I_αf(x) ? ∫equation/tex2gif-inf-3.gif |f(y)| |x – y|^{α – d} dy. Under the assumptions that p locally satisfies |p(x) – p(x)| ≤ C/(– ln |x – y|) and is constant outside some large ball, we prove that I_α : L^p(·)(?^d) → L^p?(·)(?^d), where . If p is given only on a bounded domain Ω with Lipschitz boundary we show how to extend p to on ?^d such that there exists a bounded linear extension operator ? : W^1,p(·)(Ω) ? (?^d), while the bounds and the continuity condition of p are preserved. As an application of Riesz potentials we prove the optimal Sobolev embeddings W^k,p(·)(?^d) ?L^p*(·)(R^d) with and W^1,p(·)(Ω) ? L^p*(·)(Ω) for k = 1. We show compactness of the embeddings W^1,p(·)(Ω) ? L^q(·)(Ω), whenever q(x) ≤ p*(x) – ε for some ε > 0. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Finite Exceptional p-Groups of Small Order

A finite group is said to be exceptional if its minimal degree of a faithful permutation representation is strictly less than that of one of its factor groups, called a distinguished quotient. It was previously unknown if exceptional p-groups of order less than p ⁶ existed for p an odd prime. The author proved in his M.Sc thesis that there are none of order ≤p ⁴ and gave restrictions on the possible existence of distinguished quotients of exceptional groups of order p ⁵. In this article, an exceptional p-group of order p ⁵ is exhibited for p any odd prime.     

K 1,p k-factorization of complete bipartite graphs

Abstract. In this paper, it is shown that a sufficient condition for the existence of a     

Relationships between characteristics in periodic Poisson queues

We study single server periodic queues in the day equilibrium conditions. The following characteristics of interest are considered at time of dayt: V^p(t)-the work load, L^p(t)-the number of customers and u^p(t)-the departure rate. We give relationships between E[V^p(t)], E[L^p(t)] and u^p(t). We also prove that E[V^p(t)] < and E[L^p(t)] < provided the second moment of the service time is finite.