Mixed partitions of PG(3,q)

A mixed partition of PG(2n−1,q²) is a partition of the points of PG(2n−1,q²) into (n−1)-spaces and Baer subspaces of dimension 2n−1. In (Bruck and Bose, J. Algebra 1 (1964) 85) it is shown that such a mixed partition of PG(2n−1,q²) can be used to construct a (2n−1)-spread of PG(4n−1,q) and hence a translation plane of order q²ⁿ. In this paper, we provide several new examples of such mixed partitions in the case when n=2.     

On generalized Hadamard matrices of minimum rank

Generalized Hadamard matrices of order qⁿ⁻¹ (q—a prime power, n2) over GF(q) are related to symmetric nets in affine 2-(qⁿ,qⁿ⁻¹,(qⁿ⁻¹−1)/(q−1)) designs invariant under an elementary abelian group of order q acting semi-regularly on points and blocks. The rank of any such matrix over GF(q) is greater than or equal to n−1. It is proved that a matrix of minimum q-rank is unique up to a monomial equivalence, and the related symmetric net is a classical net in the n-dimensional affine geometry AG(n,q).     

Caps on Elliptic Quadrics

G. L. Ebert (1985) constructed (qⁿ + 1)-caps in PG(2n − 1, q), n even, which were the orbits of the subgroup of order qⁿ + 1 of a cyclic Singer group of PG(2n − 1, q). This article shows that these caps are the intersection of n − 1 linearly independent elliptic quadrics of PG(2n − 1, q).     

Error bounds for least squares approximation by polynomials

Let f ε Cⁿ⁺¹[−1, 1] and let H[f](x) be the nth degree weighted least squares polynomial approximation to f with respect to the orthonormal polynomials q_k associated with a distribution dα on [−1, 1]. It is shown that if q_n+1/q_n max(q_n+1(1)/q_n(1), −q_n+1(−1)/q_n(−1)), then f − H[f] f^{n + 1} · q_n+1/q_{n + 1}^{(n + 1)}, where · denotes the supremum norm. Furthermore, it is shown that in the case of Jacobi polynomials with distribution (1 − t)^α (1 + t)^β dt, α, β > −1, the condition on q_n+1/q_n is satisfied when either max(α,β) −1/2 or −1 < α = β < −1/2.     

Weighted integral formulas on manifolds

We present a method of finding weighted Koppelman formulas for (p,q)-forms on n-dimensional complex manifolds X which admit a vector bundle of rank n over X×X, such that the diagonal of X×X has a defining section. We apply the method to ℙ ⁿ and find weighted Koppelman formulas for (p,q)-forms with values in a line bundle over ℙ ⁿ . As an application, we look at the cohomology groups of (p,q)-forms over ℙ ⁿ with values in various line bundles, and find explicit solutions to the -equation in some of the trivial groups. We also look at cohomology groups of (0,q)-forms over ℙ ⁿ ×ℙ ^m with values in various line bundles. Finally, we apply our method to developing weighted Koppelman formulas on Stein manifolds.     

Lower bounds for the cardinality of minimal blocking sets in projective spaces

In this paper new lower bounds for the cardinality of minimal m-blocking sets are determined. Let r₂(q) be the number such that q+r₂(q)+1 is the cardinality of the smallest non-trivial line-blocking set in a plane of order q. If B is a minimal m-blocking set in PG(n,q) that contains at most q^m+q^m−1+…+q+1+r₂(q)·(∑_i=2m−n′^m−1qⁱ) points for an integer n′ satisfying mn′2m, then the dimension of B is at most n′. If the dimension of B is n′, then the following holds. The cardinality of B equals q^m+q^m−1+…+q+1+r₂(q)(∑_i=2m−n′^m−1qⁱ). For n′=m the set B is an m-dimensional subspace and for n′=m+1 the set B is a cone with an (m−2)-dimensional vertex over a non-trivial line-blocking set of cardinality q+r₂(q)+1 in a plane skew to the vertex. This result is due to Heim (Mitt. Math. Semin. Giessen 226 (1996), 4–82). For n′>m+1 and q not a prime the number q is a square and for q16 the set B is a Baer cone. If q is odd and |B|<q^m+q^m−1+…+q+1+r₂(q)(q^m−1+q^m−2), it follows from this result that the subspace generated by B has dimension at most m+1. Furthermore we prove that in this case, if , then B is an m-dimensional subspace or a cone with an (m−2)-dimensional vertex over a non-trivial line-blocking set of cardinality q+r₂(q)+1 in a plane skew to the vertex. For q=p^3h, p7 and q not a square we show this assertion for |B|q^m+q^m−1+…+q+1+q^2/3·(q^m−1+…+1).     

Matroids with No (q+2)-Point-Line Minors

It is known that a geometry with rankrand no minor isomorphic to the (q+2)-point line has at most (q^r−1)/(q−1) points, with strictly fewer points ifr>3 andqis not a prime power. Forqnot a prime power andr>3, we show thatq^r−1−1 is an upper bound. Forqa prime power andr>3, we show that any rank-rgeometry with at leastq^r−1points and no (q+2)-point-line minor is representable overGF(q). We strengthen these bounds toq^r−1−(q^r−2−1)/(q−1)−1 andq^r−1−(q^r−2−1)/(q−1) respectively whenqis odd. We give an application to unique representability and a new proof of Tutte's theorem: A matroid is binary if and only if the 4-point line is not a minor.     

On codes with covering radius 1 and minimum distance 2

We show that a code C of length n over an alphabet Q of size q with minimum distance 2 and covering radius 1 satisfies |C| ≥ qⁿ⁻¹/(n − 1). For the special case n = q = 4 the smallest known example has |C| = 31. We give a construction for such a code C with |C| = 28.     

Nonexistence of [n, 5, d]q Codes Attaining the Griesmer Bound for q4 ?2q2 ?2q+1 ≤ d≤ q4?2q2 ?q

We prove that there does not exist a [q⁴+q³−q²−3q−1, 5, q⁴−2q²−2q+1]_q code over the finite field for q≥ 5. Using this, we prove that there does not exist a [g_q(5, d), 5, d]_q code with q⁴ −2q² −2q +1 ≤ d ≤ q⁴ −2q² −q for q≥ 5, where g_q(k,d) denotes the Griesmer bound.MSC 2000: 94B65, 94B05, 51E20, 05B25     

The Fine Structure of the n-Widths of H-Spaces in Lq(−1, 1)

The n-widths of the unit ball A_p of the Hardy space H^p in L_q( −1, 1) are determined asymptotically. It is shown that for 1 ≤ q < p ≤∞ there exist constants k₁ and k₂ such that [formula]≤ d_n(A_p, L_q(−1, 1)),dⁿ(A_p, L_q(−1, 1)), δ_n(A_p, L_q(−1, 1))[formula]where d_n, dⁿ, and δ_n denote the Kolmogorov, Gel′fand and linear n-widths, respectively. This result is an improvement of estimates previously obtained by Burchard and Höllig and by the author.     

Cyclic Difference Packing and Covering Arrays

Let n and k be positive integers. Let C_q be a cyclic group of order q. A cyclic difference packing (covering) array, or a CDPA(k, n; q) (CDCA(k, n; q)), is a k × n array (a_ij) with entries a_ij (0 ≤ i ≤ k−1, 0 ≤ j ≤ n−1) from C_q such that, for any two rows t and h (0 ≤ t < h ≤ k−1), every element of C_q occurs in the difference list at most (at least) once. When q is even, then n ≤ q−1 if a CDPA(k, n; q) with k ≥ 3 exists, and n ≥ q+1 if a CDCA(k, n; q) with k ≥ 3 exists. It is proved that a CDCA(4, q+1; q) exists for any even positive integers, and so does a CDPA(4, q−1; q) or a CDPA(4, q−2; q). The result is established, for the most part, by means of a result on cyclic difference matrices with one hole, which is of interest in its own right.     

Compactness of the complex Green operator on CR-manifolds of hypersurface type

The purpose of this article is to study compactness of the complex Green operator on CR manifolds of hypersurface type. We introduce (CR-P _q ), a potential theoretic condition on (0, q)-forms that generalizes Catlin’s property (P _q ) to CR manifolds of arbitrary codimension. We prove that if an embedded CR-manifold of hypersurface type of real dimension at least five satisfies (CR-P _q ) and (CR-P _n-1-q ), then the complex Green operator is a compact operator on the Sobolev spaces H^s_0,q(M){H^s_{0,q}(M)} and H^s_0,n-1-q(M){H^s_{0,n-1-q}(M)} , if 1 ≤  q ≤  n−2 and s ≥  0. We use CR-plurisubharmonic functions to build a microlocal norm that controls the totally real direction of the tangent bundle.     

Properties of convergence for -Bernstein polynomials

In this paper, we discuss properties of the ω,q-Bernstein polynomials introduced by S. Lewanowicz and P. Woźny in [S. Lewanowicz, P. Woźny, Generalized Bernstein polynomials, BIT 44 (1) (2004) 63–78], where fC[0,1], ω,q>0, ω≠1,q⁻¹,…,q⁻ⁿ⁺¹. When ω=0, we recover the q-Bernstein polynomials introduced by [G.M. Phillips, Bernstein polynomials based on the q-integers, Ann. Numer. Math. 4 (1997) 511–518]; when q=1, we recover the classical Bernstein polynomials. We compute the second moment of , and demonstrate that if f is convex and ω,q(0,1) or (1,∞), then are monotonically decreasing in n for all x[0,1]. We prove that for ω(0,1), q_n(0,1], the sequence converges to f uniformly on [0,1] for each fC[0,1] if and only if lim_n→∞q_n=1. For fixed ω,q(0,1), we prove that the sequence converges for each fC[0,1] and obtain the estimates for the rate of convergence of by the modulus of continuity of f, and the estimates are sharp in the sense of order for Lipschitz continuous functions.     

Contact <Emphasis Type="Italic">CR</Emphasis>-Submanifolds of an Odd-Dimensional Unit Sphere

We study an (n+1)(n≥ 3)-dimensional contact CR-submanifold of (n−1) contact CR-dimension in a (2m+1)-unit sphere S^2m+1, and especially determine such submanifolds under the equality conditions appearing in (3.12). We also provide a sufficient condition in order for such a compact submanifold to be the model space given in the last Section 4.     

Symmetry properties for the extremals of the Sobolev trace embedding

In this article we study symmetry properties of the extremals for the Sobolev trace embedding H¹(B(0,μ))L^q(∂B(0,μ)) with 1q2(N−1)/(N−2) for different values of μ. These extremals u are solutions of the problem

We find that, for 1q<2(N−1)/(N−2), there exists a unique normalized extremal u, which is positive and has to be radial, for μ small enough. For the critical case, q=2(N−1)/(N−2), as a consequence of the symmetry properties for small balls, we conclude the existence of radial extremals. Finally, for 1<q2, we show that a radial extremal exists for every ball.     

Equivalence of regularity for the Bergman projection and the\bar \partial-neumann operator

A necessary and sufficient condition for regularity of the -Neumann operator on (0,q)-forms in a smooth bounded pseudoconvex domain in Cⁿ is that the orthogonal projections onto -closed forms of degrees (0,q−1), (0,q), and (0,q+1) all be regular. The first author partially supported by NSF Grant DMS-8701038     

Primitive polynomial with three coefficients prescribed

The authors proved in Fan and Han (Finite Field Appl., in press) that, for any given (a₁,a₂,a₃)F_q³, there exists a primitive polynomial f(x)=xⁿ−σ₁xⁿ⁻¹++(−1)ⁿσ_n over F_q of degree n with the first three coefficients σ₁,σ₂,σ₃ prescribed as a₁,a₂,a₃ when n8. But the methods in Fan and Han (in press) are not effective for the case of n=7. Mills (Existence of primitive polynomials with three coefficients prescribed, J. Algebra Number Theory Appl., in press) resolves the n=7 case for finite fields of characteristic at least 5. In this paper, we deal with the remaining cases and prove that there exists a primitive polynomial of degree 7 over F_q with the first three coefficient prescribed where the characteristic of F_q is 2 or 3.     

On the areas of cyclic and semicyclic polygons

We investigate the “generalized Heron polynomial” that relates the squared area of an n-gon inscribed in a circle to the squares of its side lengths. For a (2m+1)-gon or (2m+2)-gon, we express it as the defining polynomial of a certain variety derived from the variety of binary (2m−1)-forms having m−1 double roots. Thus we obtain explicit formulas for the areas of cyclic heptagons and octagons, and illuminate some mysterious features of Robbins' formulas for the areas of cyclic pentagons and hexagons. We also introduce a companion family of polynomials that relate the squared area of an n-gon inscribed in a circle, one of whose sides is a diameter, to the squared lengths of the other sides. By similar algebraic techniques we obtain explicit formulas for these polynomials for all n7.     

Kolmogorov Width of Classes of Smooth Functions on the Sphere

Let ^d−1{(x₁,…,x_d) ^d:x²₁+···+x²_d=1} be the unit sphere of the d-dimensional Euclidean space ^d. For r>0, we denote by B^r_p (1p∞) the class of functions f on ^d−1 representable in the formwhere dσ(y) denotes the usual Lebesgue measure on ^d−1, and P^λ_k(t) is the ultraspherical polynomial.For 1p,q∞, the Kolmogorov N-width of B^r_p in L^q( ^d−1) is given bythe left-most infimum being taken over all N-dimensional subspaces X_N of L^q( ^d−1).The main result in this paper is that for r2(d−1)²,where A_NB_N means that there exists a positive constant C, independent of N, such that C⁻¹A_NB_NCA_N.This extends the well-known Kashin theorem on the asymptotic order of the Kolmogorov widths of the Sobolev class of the periodic functions.