Group Divisible Designs with Block Size Four and Group Type gum1 with Minimum m

In this paper, we continue to investigate the spectrum for {4}-GDDs of type g^u m¹ with m as small as possible. We determine, for each admissible pair (g,u), the minimum values of m for which a {4}-GDD of type g^um¹ exists with four possible exceptions.Gennian Ge-Researcher supported by NSFC Grant 10471127.Alan C. H. Ling-Researcher supported by an ARO grant 19-01-1-0406 and a DOE grant.classification Primary 05B05     

Incomplete group divisible designs with block size four and general index

In this paper, we investigate the existence of incomplete group divisible designs (IGDDs) with block size four, group-type (g, h) u and general index λ. The necessary conditions for the existence of such a design are that u ≥ 4, g ≥ 3h, λg(u 1) ≡ 0 (mod 3), λ(g h)(u 1) ≡ 0 (mod 3), and λu(u 1)(g 2 h 2 ) ≡ 0 (mod 12). These necessary conditions are shown to be sufficient for all λ≥ 2. The known existence result for λ = 1 is also improved.     

Topological singularities in W S,P ( S N , S 1)

We are interested in the location of the singularities of maps u ∈ W ^s,p (S ^N , S ¹) when 1 ≤ sp and 1 < sp < 2. To this end, we consider the distributional Jacobian. We show that the range of this operator on W ^s,p (S ^N , S ¹) is the closure in W ^s−2,p ⋂ W ^−1,sp of the set of N − 2-currents defined as the integration on smooth oriented N − 2-dimensional boundaryless submanifolds.     

Holey Steiner pentagon systems

In this article, it is shown that the necessary conditions for the existence of a holey Steiner pentagon system (HSPS) of type hⁿ are also sufficient, except possibly for the following cases: (1) when n = 15, and h ≡ 1 or 5 (mod 6) where h ≢ 0 (mod 5), or h = 9; and (2) (h, n) ∈ {(6, 6), (6, 36), (15, 19), (15, 23), (15, 27), (30, 18), (30, 22), (30, 24)}. Moreover, the results of this article guarantee the analogous existence results for group divisible designs (GDDs) of type hⁿ with block-size k = 5 and index λ = 2. © 1999 John Wiley & Sons, Inc. J Combin Designs 7: 41–56, 1999     

Group‐divisible designs with block size k having k + 1 groups,for k = 4, 5

We investigate the spectrum for k‐GDDs having k + 1 groups, where k = 4 or 5. We take advantage of new constructions introduced by R. S. Rees (Two new direct product‐type constructions for resolvable group‐divisible designs, J Combin Designs, 1 (1993), 15–26) to construct many new designs. For example, we show that a resolvable 4‐GDD of type g⁵ exists if and only if g ≡ 0 mod 12 and that a resolvable 5‐GDD of type g⁶ exists if and only if g ≡ 0 mod 20. We also show that a 4‐GDD of type g⁴m¹ exists (with m > 0) if and only if g ≡ m ≡ 0 mod 3 and 0 < m ≤ 3g/2, except possibly when (g,m) = (9,3) or (18,6), and that a 5‐GDD of type g⁵m¹ exists (with m > 0) if and only if g ≡ m ≡ 0 mod 4 and 0 < m ≤ 4g/3, with 32 possible exceptions. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 363–386, 2000     

Group divisible covering designs with block size four

Group divisible covering designs (GDCDs) were introduced by Heinrich and Yin as a natural generalization of both covering designs and group divisible designs. They have applications in software testing and universal data compression. The minimum number of blocks in a k‐GDCD of type $g^u$ is a covering number denoted by $C(k,g^u)$. When $k=3$, the values of $C(3,g^u)$ have been determined completely for all possible pairs $(g,u)$. When $k=4$, Francetić et al. constructed many families of optimal GDCDs, but the determination remained far from complete. In this paper, two specific 4‐IGDDs are constructed, thereby completing the existence problem for 4‐IGDDs of type ${(g,h)}^u$. Then, additional families of optimal 4‐GDCDs are constructed. Consequently the cases for $(g,u)$ whose status remains undetermined arise when $g\equiv 7mod12$ and $u\equiv 3mod6$, when $g\equiv 11,14,17,23mod24$ and $u\equiv 5mod6$, and in several small families for which one of g and u is fixed.     

Existence of directed GDDs with block size five

In this article, we construct directed group divisible designs (DGDDs) with block size five, group-type hⁿ, and index unity. The necessary conditions for the existence of such a DGDD are n ≥ 5, (n − 1)h ≡ 0 (mod 2) and n(n − 1)h² ≡ 0 (mod 10). It is shown that these necessary conditions are also sufficient, except possibly for n = 15 where h ≡ 1 or 5 (mod 6) and h ≢ 0 (mod 5), or (n, h) = (15, 9). © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 389–402, 1998     

On the Diophantine System a^2 ＋ b^2 = c^3 and a^x ＋ b^y = c^z for b is an Odd Prime

Let a, b and c be fixed coprime positive integers. In this paper we prove that if a^2 ＋ b^2 = c^3 and b is an odd prime, then the equation a^x ＋ b^y = c^z has only the positive integer solution （x, y, z） = （2,2,3）.     

L 1→ L q Poincaré Inequalities for 0 < q < 1 Imply Representation Formulas

Given two doubling measures μ and ν in a metric space (S, ρ) of homogeneous type, let B ₀⊂S be a given ball. It has been a well-known result by now (see [1–4]) that the validity of an L ¹→L ¹ Poincaré inequality of the following form: for all metric balls B⊂B ₀⊂S, implies a variant of representation formula of fractional integral type: for ρ-a.e. x∈B ₀, One of the main results of this paper shows that an L ¹ to L ^q Poincaré inequality for some 0 < q < 1, i.e., for all metric balls B⊂B ₀, will suffice to imply the above representation formula. As an immediate corollary, we can show that the weak-type condition, also implies the same formula. Analogous theorems related to high-order Poincaré inequalities and Sobolev spaces in metric spaces are also proved. Received December 27, 2000, Accepted May 28, 2001     

A note on the geometry of M 3 and symplectic structures on S 1 × M 3

We investigate the relationship between the geometry of a closed, oriented 3-manifold M and the symplectic structures on S ¹ × M. In most cases the existence of a symplectic structure on S ¹ × M and Thurstonșs geometrization conjecture imply the existence of a geometric structure on M. This observation together with the existence of geometric structures on most 3-manifolds which fiber over the circle suggests a different approach to the problem of finding a fibration of a 3-manifold over the circle in case its product with the circle admits a symplectic structure. This work was supported in part by a GEBIP grant from the Turkish Academy of Sciences and a CAREER grant from the Scientific and Technological Research Council of Turkey.     

Quasirecognition by the set of element orders of the groups E 6( q ) and 2 E 6( q )

We prove that if L is one of the simple groups E ₆(q) and ² E ₆(q) and G is some finite group with the same spectrum as L, then the commutant of G/F(G) is isomorphic to L and the quotient G/G′ is a cyclic {2,3}-group. Original Russian Text Copyright ? 2007 Kondrat’ev A. S. The author was supported by the Russian Foundation for Basic Research (Grant 04-01-00463) and the RFBR-NSFC (Grant 05-01-39000). __________ Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 48, No. 6, pp. 1250–1271, November–December, 2007.     

Existence, uniqueness and stability of C m solutions of iterative functional equations

In this paper we discuss a relatively general kind of iterative functional equation G(x,f(x), ...,f ⁿ (x)) = 0 (for allx ∈J), whereJ is a connected closed subset of the real number axis ℝ,G∈C ^m (J ⁿ⁺¹, ℝ) andn ≥ 2. Using the method of approximating fixed points by small shift of maps, choosing suitable metrics on functional spaces and finding a relation between uniqueness and stability of fixed points of maps of general spaces, we prove the existence, uniqueness and stability ofCm solutions of the above equation for any integer m ≥ 0 under relatively weak conditions, and generalize related results in reference in different aspects.     

（L^p,L^q） Estimates for Multilinear Oscillatory Singular Integralswith Smooth Phases

In this paper,the authors establish the weighted (L^p,L^q) estimates for a class of multilinear oscillatory singular integrals with smooth phases.Certain endpoint estimates are also considered.     

On Group-Divisible Designs with Block Size Four and Group-Type g u m 1

We investigate the spectrum for {4}-GDDs of type g ^u m ¹. Wedetermine, for each even g, all values of m for which a {4}-GDD of typeg ^u m ¹ exists, for every fourth value of u. We similarlydetermine, for each odd g 11 or 17, all values of m for which a {4}-GDD of typeg ^u m ¹ exists, for every third value of u. Finally, weestablish, up to a finite number of values of u, the spectrum for {4}-GDDs of typeg ^u m ¹ where gu is even, g {11, 17}.     

Estimating L ∞ Norms by L 2k Norms for Functions on Orbits

Abstract. Let G be a compact group acting in a real vector space V . We obtain a number of inequalities relating the L ^∞ norm of a matrix element of the representation of G with its L ^2k norm for a positive integer k . As an application, we obtain approximation algorithms to find the maximum absolute value of a given multivariate polynomial over the unit sphere (in which case G is the orthogonal group) and for the assignment problem of degree d , a hard problem of combinatorial optimization generalizing the quadratic assignment problem (in which case G is the symmetric group).     

Perfect Mendelsohn designs with equal-sized holes and block size four

Let M = {m₁, m₂, …, m_h} and X be a v-set (of points). A holey perfect Mendelsohn designs (briefly (v, k, λ) - HPMD), is a triple (X, H, B), where H is a collection of subsets of X (called holes) with sizes M and which partition X, and B is a collection of cyclic k-tuples of X (called blocks) such that no block meets a hole in more than one point and every ordered pair of points not contained in a hole appears t-apart in exactly λ blocks, for 1 ≤ t ≤ k − 1. The vector (m₁, m₂, …, m_h) is called the type of the HPMD. If m₁ = m₂ = … = m_h = m, we write briefly m^h for the type. In this article, it is shown that the necessary condition for the existence of a (v, 4, λ) - HPMD of type m^h, namely, is also sufficient with the exception of types 2⁴ and 1⁸ with λ = 1, and type m⁴ for odd m with odd λ. © 1997 John Wiley & Sons, Inc. J Combin Designs 5: 203–213, 1997     

Some estimations for the least degree of identities of subspaces M1(m,k) (F) of the matrix superalgebra M(m,k)(F)

We estimate the least degree of identities of subspaces M ₁^(m,k) (F) of the matrix superalgebra M ^(m,k)(F) over the field F for arbitrary m and k. For subspaces M ₁^(m,1) (F) (m≥1) and M ₁^(2,2) (F) we obtain concrete minimal identities.     

Cyclic codes over the rings Z 2?+ uZ 2 and Z 2?+ uZ 2?+ u 2 Z 2

In this paper, we study cyclic codes over the rings Z ₂ + uZ ₂ and Z ₂ + uZ ₂ + u ² Z ₂ . We find a set of generators for these codes. The rank, the dual, and the Hamming distance of these codes are studied as well. Examples of cyclic codes of various lengths are also studied.      

Pseudo-Chebyshev subspaces in L 1

We give various characterizations of pseudo-Chebyshev subspaces in the spacesL ¹(S, μ) andC(T).