On the number of nowhere zero points in linear mappings

LetA be a nonsingularn byn matrix over the finite fieldGF _q ,k=n/2,q=p ^a ,a1, wherep is prime. LetP(A,q) denote the number of vectorsx in (GF _q ) ⁿ such that bothx andAx have no zero component. We prove that forn2, and ,P(A,q)[(q–1)(q–3)] ^k (q–2) ^n–2k and describe all matricesA for which the equality holds. We also prove that the result conjectured in [1], namely thatP(A,q)1, is true for allqn+23 orqn+14.     

A geometric property of extremal surfaces

Let the surface R³ be defined by the equation z = f(x, y), where f(x, y) is a function 3 times continuously differentiable in R². It is proved that if the total (Gaussian) curvature of the surface is nonzero almost everywhere on in the sense of Lebesgue measure in R²), then is extremal, i.e., for almost all (x,y) R² the inequality max (||qx||, ||qy, qf (x, y)) > q^–1/s–. holds for all integral q qo (f), where x is the distance from the real number x to the nearest integer and > 0 is arbitrarily small.Translated from Matematicheskie Zametki, Vol. 23, No. 2, pp. 177–181, February, 1978.In conclusion, the author thanks V. G. Sprindzhuk for suggesting the problem.     

A Remark on Bernstein,Prokhorov, Bennett,Hoeffding, and Talagrand Inequalities

Let X ₁,..., X_n be independent random variables such that {X_j 1}=1 and E X _j=0 for all j. We prove an upper bound for the tail probabilities of the sum M _n=X₁+...+ X_n. Namely, we prove the inequality {M _nx} 3.7 {S_n x}, where S _n=₁+...+ _n is a sum of centered independent identically distributed Bernoulli random variables such that E S _n ² =ME M _n ² and {_k=1}=E S _n ² /(n+E S _n ² ) for all k (we call a random variable Bernoulli if it assumes at most two values). The inequality holds for x at which the survival function x{S _nx} has a jump down. For remaining x, the inequality still holds provided that we interpolate the function between the adjacent jump points linearly or log-linearly. If necessary, in order to estimate {S _nx} one can use special bounds for binomial probabilities. Up to the factor at most 2.375, the inequality is final. The inequality improves the classical Bernstein, Prokhorov, Bennett, Hoeffding, Talagrand, and other bounds.     

The number of different distances determined by a set of points in the Euclidean plane

In 1946 P. Erdös posed the problem of determining the minimum numberd(n) of different distances determined by a set ofn points in the Euclidean plane. Erdös provedd(n) cn ^1/2 and conjectured thatd(n)cn/ logn. If true, this inequality is best possible as is shown by the lattice points in the plane. We showd(n)n ^4/5/(logn) ^c .The research of W. T. Trotter was supported in part by the National Science Foundation under DMS 8713994 and DMS 89-02481.     

Characterizations of logA≥logB and normaloid operators via Heinz inequality

In 1951, Heinz showed the following useful norm inequality:If A, B0and XB(H), then AXB ^r X^1–r A ^r XB ^r holds for r [0, 1]. In this paper, we shall show the following two applications of this inequality:Firstly, by using Furuta inequality, we shall show an extension of Cordes inequality. And we shall show a characterization of chaotic order (i.e., logAlogB) by a norm inequality.Secondly, we shall study the condition under which , where is Aluthge transformation ofT. Moreover we shall show a characterization of normaloid operators (i.e.,r(T)=T) via Aluthge transformation.     

Projections on Lp-spaces of polyanalytic functions

The fundamental result: for an arbitrary bounded, simply connected domain in , the subspace L_n,m ^p() of the space L^p(, ) ( is the plane Lebesgue measure, p 1), consisting of the (m, n)-analytic functions in , is complemented in LP(, ) (a function f is said to be (m, n)-analytic if (^m+n/¯Z^mZⁿ)f=0 in ). Consequently, by virtue of a theorem of J. Lindenstrauss and A. Pelczyski, the space L_n,m ^P() is linearly homeomorphic to lP. In particular, for m=n=1 we obtain that the space of all harmonic L^P-functions in is complemented in L^P(, ). This result has been known earlier only for smooth domains.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 190, pp. 15–33, 1991.     

Drachennetze mit geradlinigen Hauptdiagonalen

A C^s-net of curves N (s1) [3] in a regular C^s-2-surface Eⁿ (n2) is called a C^s-kite- net [4] if N and the net N₁ of its angular bisecting curves form a pair of diagonal nets [1] in such a way that each mesh of N-curves possessing two N₁-diagonals shows, with respect to one of these (calledmain diagonal), the same symmetry of angles and lengths as a rectilinear kite in E². Referring to the fact that the main diagonals of any C^s-kite-net N (s2) are geodesics in [5], we ask in this paper for all C^s-kite-nets and, more generally, C^s-D-nets [5] (s1) withstraight main diagonals. This leads, among other results, to a characterization of the skew ruled surfaces in Eⁿ (n3) with constant parameter of distribution and the constant striction /2.

---

---

Herrn Professor Dr. WERNER BURAU zum 70. Geburtstag gewidmet     

On the Embedding of an Affine Space into a Projective Space

Let k, K be fields, and assume that |k| 4 and n, m 2, or |k| = 3 and n 3, m 2. Then, for any embedding of AG(n, k) into PG(m, K), there exists an isomorphism from k into K and an (n+1) × (m+1) matrix B with entries in K such that can be expressed as (x₁,x₂,...,x_n) = [(1,x₁ ,x₂ ,...,x_n )B], where the right-hand side is the equivalence class of (1,x₁ ,x₂ ,...,x_n )B. Moreover, in this expression, is uniquely determined, and B is uniquely determined up to a multiplication of element of K*. Let l 1, and suppose that there exists an embedding of AG(m+l, k) into PG(m, K) which has the above expression. If we put r = dim _k K, then we have r 3 and m > 2 l-1)/(r-2). Conversely, there exists an embedding of AG(l+m, k) into PG(m, K) with the above expression if K is a cyclic extension of k with dim _k K=r 3, and if m 2l/(r-2) with m even or if m 2l/(r-2) +1 with m odd.     

The Brunn–Minkowski Inequality for the <Emphasis Type="Italic">n</Emphasis>-dimensional Logarithmic Capacity of Convex Bodies

We define the n-dimensional logarithmic capacity for convex bodies in Rⁿ, with n2; then, for this quantity, we prove a Brunn–Minkowski type inequality, and we characterize the corresponding equality case. Mathematics Subject Classifications (2000) 31C15, 31A35, 52A20, 39B62.     

On strong solutions of the Stokes equations in exterior domains

We construct strong solutionsu, p/of the general nonhomogeneous Stokes equations -u + p=f inG, ·u=g inG, u= on in an exterior domainG ⁿ (n3) with boundary of class C². Our approach uses a localization technique: With the help of suitable cut-off functions and the solution of the divergence equation ·=g inG, = 0 on , the exterior domain problem is reduced to the entire space problem and an interior problem.     

Complete stability of large order statistics

Fix an integerr1. For eachnr, letM _nr be the rth largest ofX ₁,...,X _n, where {X _n,n1} is a sequence of i.i.d. random variables. Necessary and sufficient conditions are given for the convergence of _n=r n P[|M _nr /a _n –1|<] for every >0, where {a _n} is a real sequence and –1. Moreover, it is shown that if this series converges for somer1 and some >–1, then it converges for everyr1 and every >–1.     

On the singular Bochner-Martinelli integral

The Bochner-Martinelli (B.-M.) kernel inherits, forn2, only some of properties of the Cauchy kernel in . For instance it is known that the singular B.-M. operatorM _n is not an involution forn2. M. Shapiro and N. Vasilevski found a formula forM ₂ ² using methods of quaternionic analysis which are essentially complex-twodimensional. The aim of this article is to present a formula forM _n ² for anyn2. We use now Clifford Analysis but forn=2 our formula coincides, of course, with the above-mentioned one.     

Weak Laws with Random Indices for Arrays of Random Elements in Rademacher Type p Banach Spaces

For a sequence of constants {a _n,n1}, an array of rowwise independent and stochastically dominated random elements { V _nj, j1, n1} in a real separable Rademacher type p (1p2) Banach space, and a sequence of positive integer-valued random variables {T _n, n1}, a general weak law of large numbers of the form is established where {c _nj, j1, n1}, _n , b _n are suitable sequences. Some related results are also presented. No assumption is made concerning the existence of expected values or absolute moments of the {V _nj, j1, n1}. Illustrative examples include one wherein the strong law of large numbers fails.     

Faulkner geometry

Axioms are presented for a Barbilian geometry of dimension n2 over a ring for which ab=1 implies ba=1. It is shown that any Faulkner geometry of dimension n3 is coordinatized by a unique associative two-sided units ring R and that the group generated by all transvections is a group of Steinberg type over R.     

Resolution of the Symmetric Nonnegative Inverse Eigenvalue Problem for Matrices Subordinate to a Bipartite Graph

There is a symmetric nonnegative matrix A, subordinate to a given bipartite graph G on n vertices, with eigenvalues _{12 n} if and only if, ₁ + _n 0, ₂ + _n-10,..., _m + _{n - m + 1}0, _{m + 1}0,..., _{n - m} 0, in which m is the matching numberof G. Other observations are also made about the symmetric nonnegative inverse eigenvalue problem with respect to a graph     

Syzygies of Veronese Embeddings

We prove that the Veronese embedding _O ⁿ (d): ^{n N} with n2, d3 does not satisfy property N _p (according to Green and Lazarsfeld) if p3d–2. We make the conjecture that also the converse holds. This is true for n=2 and for n=d=3.     

Finite-dimensional attainable sets for stochastic control systems

Letx _t ^u () be a stochastic control system on the probability space (, ,P) intoR ⁿ. We say that the pointxR ⁿ is (, ) attainable at timet if there exists an admissible controlu such thatP _xo{x _t ^u ()S (x)}, wherex ₀()=x ₀, 0, 10, andS (x) is the closed Euclidean -ball inR ⁿ centered atx. We define the attainable setA (t) to be the set of all pointsxR ⁿ which are (, ) attainable at timet. For a large class of stochastic control systems, it is shown thatA (t) is compact for eacht and continuous as a function oft in an appropriate metric. From this, the existence of stochastic time-optional controls is established for a large class of nonlinear stochastic differential equations.This research was supported by the National Research Council of Canada, Grant No. A-9072.     

Two Special Simply Connected Spaces of Nonpositive Curvature

We construct two examples of spaces homeomorphic to R ⁿ (n3) each of which has a closed geodesic and admits no isoperimetric inequality. The first is a complete polyhedral metric space of nonpositive curvature, and the second is an incomplete Riemannian space with nonpositive sectional curvatures.     

On convergence subsystems of orthonormal systems

It is proved that for any sequence {R _k} _k=1 of real numbers satisfyingR _kk (k1) andR _k=o(k log₂ k),k, there exists an orthonormal system {n _k(x)} _n=1 ,x (0;1), such that none of its subsystems {n _k(x)} _k=1 withn _kR_k (k1) is a convergence subsystem.     

Stability in Aleksandrov's problem for a convex body,one of whose projections is a ball

A stability theorem is proved corresponding to this uniqueness theorem forn5,k3, and under the hypothesis that one of the projections of the convex body on a hyperplane ofR ⁿ is a ball. In particular the stability theorem holds in the case when the body is a solid of revolution.Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 50–62.