A remark on the uniqueness of embeddings of linear spaces into desarguesian projective planes

Suppose that q ? 2 is a prime power. We show that a linear space with a(q + 1)² + (q + 1) points, where a ? 0.763, can be embedded in at most one way in a desarguesian projective plane of order q. © 1995 John Wiley & Sons, Inc.     

When is the Uvarov transformation positive definite?

Let L\cal{L} be a positive definite bilinear functional, then the Uvarov transformation of L\cal{L} is given by  U(p,q) = L(p,q) + m p(a)[`(q)](a<sup>-1</sup>) +[`(m)] p([`(a)]<sup>-1</sup>)\,\mathcal{U}(p,q) = \mathcal{L}(p,q) + m\,p(\alpha)\overline{q}(\alpha^{-1}) + \overline{m}\,p(\overline{\alpha}^{-1}) [`(q)]([`(a)])\overline{q}(\overline{\alpha}) where $|\alpha| > 1, m \in \mathbb{C}$|\alpha| > 1, m \in \mathbb{C}. In this paper we analyze conditions on m for U\cal{U} to be positive definite in the linear space of polynomials of degree less than or equal to n. In particular, we show that m has to lie inside a circle in the complex plane defined by α, n and the moments associated with L\cal{L}. We also give an upper bound for the radius of this circle that depends only on α and n. This and other conditions on m are visualized for some examples.     

AnO(n logn) algorithm for the all-nearest-neighbors Problem

Given a setV ofn points ink-dimensional space, and anL _q -metric (Minkowski metric), the all-nearest-neighbors problem is defined as follows: for each pointp inV, find all those points inV–{p} that are closest top under the distance metricL _q . We give anO(n logn) algorithm for the all-nearest-neighbors problem, for fixed dimensionk and fixed metricL _q . Since there is an (n logn) lower bound, in the algebraic decision-tree model of computation, on the time complexity of any algorithm that solves the all-nearest-neighbors problem (fork=1), the running time of our algorithm is optimal up to a constant factor.This research was supported by a fellowship from the Shell Foundation. The author is currently at AT&T Bell Laboratories, Murray Hill, New Jersey, USA.     

Study of Some Fundamental Projective Quadrics Associated with a Standard Pseudo-Hermitian Space H p,q

This self-contained short note deals with the study of the properties of some real projective compact quadrics associated with a a standard pseudo-hermitian space H _p,q , namely [(Q(p, q))\tilde], [(Q_2p+1,1)\tilde], [(Q_1,2q+1)\tilde], [(H_p,q)\tilde].  [(Q(p, q))\tilde]{\widetilde{Q(p, q)}, \widetilde{Q_{2p+1,1}}, \widetilde{Q_{1,2q+1}}, \widetilde{H_{p,q}}. \, \widetilde{Q(p, q)}} is the (2n – 2) real projective quadric diffeomorphic to (S ^2p–1 × S ^2q–1)/Z ₂. inside the real projective space P(E ₁), where E ₁ is the real 2n-dimensional space subordinate to H _p,q . The properties of [(Q(p, q))\tilde]{\widetilde{Q(p, q)}} are investigated. [(H_p,q)\tilde]{\widetilde{H_p,q}} is the real (2n – 3)-dimensional compact manifold-(projective quadric)- associated with H _p,q , inside the complex projective space P(H _p,q ), diffeomorphic to (S ^2p–1 × S ^2q–1)/S ¹. The properties of [(H_p,q)\tilde]{\widetilde{H_{p,q}}} are studied. [(Q_2p+1,1)\tilde]{\widetilde{Q_{2p+1,1}}} is a 2p-dimensional standard real projective quadric, and [(Q_1,2q+1)\tilde]{\widetilde{Q_{1,2q+1}}} is another standard 2q-dimensional projective quadric. [(Q_2p+1,1)\tilde] è[(Q_1,2q+1)\tilde]{\widetilde{Q_{2p+1,1}} \cup \widetilde{Q_{1,2q+1}}}, union of two compact quadrics plays a part in the understanding of the "special pseudo-unitary conformal compactification" of H _p,q . It is shown how a distribution y → D _y , where y ? H\{0},H{y \in H\backslash\{0\},H} being the isotropic cone of H _p,q allows to [(H_p+1,q+1)\tilde]{\widetilde{H_{p+1,q+1}}} to be considered as a "special pseudo-unitary conformal compactified" of H _p,q × R. The following results precise the presentation given in [1,c].     

p-Helson sets, 1<p<2

Ap-Helson set is defined to be a closed subsetE of the circle groupT with the property that every continuous function onE can be extended to the full circle in such a way that this extension has its sequence of Fourier coefficients inl ^p. For 1<p<2, the union of two such sets is again ap-Helson set. It is shown that thep-Helson sets (p>1) differ from the Helson sets and also that the notion really depends on the indexp. An analogue of H. Helson’s result is given: ap-Helson set supports no nonzero measure with Fourier-Stieltjes transform inl ^q, 1/p+1/q=1.     

Power comparisons of tests of two multivariate hypotheses based on individual characteristic roots

Summary In this paper, power comparisons are made for tests of each of the following two hypotheses based on individual characteristic roots of a matrix arising in each case: (i) independence between ap-set and aq-set of variates in a (p+q)-variate normal population withp≦q and (ii) equality ofp-dimensional mean vectors ofl p-variate normal populations having a common covariance matrix. At first, a few lemmas are given which help to reduce the central distributions of the largest, smallest, second largest, and the second smallest roots in terms of incomplete beta functions or functions of them. Since the central distribution of the largest root has been discussed by Pillai earlier in several papers ([6], [8], [9], [11], [12], [13]) cdf’s of the three others in the central case are given. Further, the non-central distributions of the individual roots forp-3 are considered for the two hypotheses and that of the smaller root forp=2; that of the largest root forp=2 has been obtained by Pillai earlier, (Pillai [11], Pillai and Jayachandran [14]). The work of this author was supported by the National Science Foundation Grant No. GP-4600.     

Affine immersion ofn-dimensional manifold intoR n+n(n+1)/2 and affine minimality

We formulate an affine theory of immersions of ann-dimensional manifold into the Euclidean space of dimensionn+n(n+1)/2 and give a characterization of critical immersions relative to the induced volume functional in terms of the affine shape operator.     

Application of wavelet bases in linear and nonlinear approximation to functions from Besov spaces

Linear and nonlinear approximations to functions from Besov spaces B _{p, q} ^σ ([0, 1]), σ > 0, 1 ≤ p, q ≤ ∞ in a wavelet basis are considered. It is shown that an optimal linear approximation by a D-dimensional subspace of basis wavelet functions has an error of order D ^{-min(σ, σ + 1/2 ? 1/p)} for all 1 ≤ p ≤ ∞ and σ > max(1/p ? 1/2, 0). An original scheme is proposed for optimal nonlinear approximation. It is shown how a D-dimensional subspace of basis wavelet functions is to be chosen depending on the approximated function so that the error is on the order of D ^?σ for all 1 ≤ p ≤ ∞ and σ > max(1/p ? 1/2, 0). The nonlinear approximation scheme proposed does not require any a priori information on the approximated function.     

Universal non-compact operators between super-reflexive Banach spaces and the existence of a complemented copy of Hilbert space

Suppose that 1<p≦2, 2≦q<∞. The formal identity operatorI:l _p→l _qfactorizes through any given non-compact operator from ap-smooth Banach space into aq-convex Banach space. It follows that ifX is a 2-convex space andY is an infinite dimensional subspace ofX which is isomorphic to a Hilbert space, thenY contains an isomorphic copy ofl ₂ which is complemented inX.     

Some classes of matrices in linear complementarity theory

The linear complementarity problem is the problem of finding solutionsw, z tow = q + Mz, w0,z0, andw ^T z=0, whereq is ann-dimensional constant column, andM is a given square matrix of dimensionn. In this paper, the author introduces a class of matrices such that for anyM in this class a solution to the above problem exists for all feasibleq, and such that Lemke's algorithm will yield a solution or demonstrate infeasibility. This class is a refinement of that introduced and characterized by Eaves. It is also shown that for someM in this class, there is an even number of solutions for all nondegenerateq, and that matrices for general quadratic programs and matrices for polymatrix games nicely relate to these matrices.Research partially supported by National Science Foundation Grant NSF-GP-15031.     

The asymptotic distribution of Frobenius numbers

The Frobenius number F(a) of an integer vector a with positive coprime coefficients is defined as the largest number that does not have a representation as a positive integer linear combination of the coefficients of a. We show that if a is taken to be random in an expanding d-dimensional domain, then F(a) has a limit distribution, which is given by the probability distribution for the covering radius of a certain simplex with respect to a (d−1)-dimensional random lattice. This result extends recent studies for d=3 by Arnold, Bourgain-Sinai and Shur-Sinai-Ustinov. The key features of our approach are (a) a novel interpretation of the Frobenius number in terms of the dynamics of a certain group action on the space of d-dimensional lattices, and (b) an equidistribution theorem for a multidimensional Farey sequence on closed horospheres.     

Integrability of vector and multivector fields associated with interior point methods for linear programming

In the feasible region of a linear programming problem, a number of desirably good directions have been defined in connexion with various interior point methods. Each of them determines a contravariant vector field in the region whose only stable critical point is the optimum point. Some interior point methods incorporate a two- or higher-dimensional search, which naturally leads us to the introduction of the corresponding contravariant multivector field. We investigate the integrability of those multivector fields, i.e., whether a contravariantp-vector field isX _p -forming, is enveloped by a family ofX _q 's (q > p) or envelops a family ofX _q 's (q < p) (in J.A. Schouten's terminology), whereX _q is aq-dimensional manifold.Immediate consequences of known facts are: (1) The directions hitherto proposed areX ₁-forming with the optimum point of the linear programming problem as the stable accumulation point, and (2) there is anX ₂-forming contravariant bivector field for which the center path is the critical submanifold. Most of the meaningfulp-vector fields withp 3 are notX _p -forming in general, though they envelop that bivector field. This observation will add another circumstantial evidence that the bivector field has a kind of invariant significance in the geometry of interior point methods for linear programming.For a kind of appendix, it is noted that, if we have several objectives, i.e., in the case of multiobjective linear programs, extension to higher dimensions is easily obtained.     

On an extension of a theorem on conjugacy class sizes

Let G be a finite group. We extend Alan Camina’s theorem on conjugacy classes sizes which asserts that if the conjugacy classes sizes of G are {1, p ^a , q ^b , p ^a q ^b }, where p and q are two distinct primes and a and b are integers, then G is nilpotent. We show that let G be a group and assume that the conjugacy classes sizes of elements of primary and biprimary orders of G are exactly {1, p ^a , n,p ^a n} with (p, n) = 1, where p is a prime and a and n are positive integers. If there is a p-element in G whose index is precisely p ^a , then G is nilpotent and n = q ^b for some prime q ≠ p.     

A note on the sequence spacel (p v )

In this paper, the linear isometry of the sequence space l(p_v) into itself is specified as the automorphism of l(p_v) onto itself, when (p_v) satisfies the conditions, (i) 0 < p_v? 1, (ii) 1 +d ? p_v ? p < ∞,q < q_v < 1+d/d,d > o When (p_v) satisfies condition (ii),l (p_v) andl (q_v) are proved to be perfect spaces in the sense of Kothe and Toeplitz. A similar result connecting linear isometry and automorphism has been noted in the case of a non-normable complete linear metric space whose conjugate space is also determined.     

S‐essential spectra and application to an example of transport operators

In this article, we give some results on the S‐essential spectra of a linear operator defined on a Banach space. Furthermore, we apply the obtained results to determine the S‐essential spectra of an integro‐differential operator with abstract boundary conditions in the Banach space L_p([?a,a] × [?1,1]),p ≥ 1 and a > 0. Copyright © 2012 John Wiley & Sons, Ltd.     

Distribution of a certain partition function modulo powers of primes

In this paper, we study a certain partition function a(n) defined by Σ _n≥0 a(n)q ⁿ := Π _n=1(1 − q ⁿ )⁻¹(1 − q ²ⁿ )⁻¹. We prove that given a positive integer j ≥ 1 and a prime m ≥ 5, there are infinitely many congruences of the type a(An + B) ≡ 0 (mod m ^j ). This work is inspired by Ono’s ground breaking result in the study of the distribution of the partition function p(n).     

The p-adic quantum plane algebras and quantum Weyl algebra

Let q be a principal unit of the ring of valuation of a complete valued field K, extension of the field of p-adic numbers. Generalizing Mahler basis, K. Conrad has constructed orthonormal basis, depending on q, of the space of continuous functions on the ring of p-adic integers with values in K. Attached to q there are two models of the quantum plane and a model of the quantum Weyl algebra, as algebras of bounded linear operators on the space of p-adic continuous functions. For q not a root of unit, interesting orthonormal (orthogonal) families of these algebras are exhibited and providing p-adic completion of quantum plane and quantum Weyl algebras. The text was submitted by the authors in English.     

The p-Rank of the Incidence Matrix of Intersecting Linear Subspaces

Let V be a vector space of dimension n+1 over a field of p ^t elements. A d-dimensional subspace and an e-dimensional subspace are considered to be incident if their intersection is not the zero subspace. The rank of these incidence matrices, modulo p, are computed for all n, d, e and t. This result generalizes the well-known formula of Hamada for the incidence matrices between points and subspaces of given dimensions in a finite projective space. A generating function for these ranks as t varies, keeping n, d and e fixed, is also given. In the special case where the dimensions are complementary, i.e., d+e=n+ 1, our formula improves previous upper bounds on the size of partial m-systems (as defined by Shult and Thas).     

The classification of spreads in PG(3, q) admitting linear groups of order q(q+1), I. odd order

A classification is given of all spreads in PG(3, q), q = p^r, p odd, whose associated translation planes admit linear collineation groups of order q(q +1) such that a Sylow p-subgroup fixes a line and acts non-trivially on it.The authors are indebted to T. Penttila for pointing out the special examples of conical flock translation planes of order q² that admit groups of order q(q+1), when q = 23 or 47.