Application of a computer to the proof of a conjecture of Minkowski in the geometry of numbers

A computer-assisted proof is given of Minkowski's conjecture on the critical determinant of the region x^p+y^p<1 in the cases 1.03p 1.9745, p2.40, p2.577.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 71, pp. 163–180, 1977.     

The tree number of a graph with a given girth

A family of subtrees of a graphG whose edge sets form a partition of the edge set ofG is called atree decomposition ofG. The minimum number of trees in a tree decomposition ofG is called thetree number ofG and is denoted by(G). It is known that ifG is connected then(G) |G|/2. In this paper we show that ifG is connected and has girthg 5 then(G) |G|/g + 1. Surprisingly, the case wheng = 4 seems to be more difficult. We conjecture that in this case(G) |G|/4 + 1 and show a wide class of graphs that satisfy it. Also, some special graphs like complete bipartite graphs andn-dimensional cubes, for which we determine their tree numbers, satisfy it. In the general case we prove the weaker inequality(G) (|G| – 1)/3 + 1.     

On Large Values of the Divisor Function

Let d(n) denote the divisor function, and let D(X) denote the maximal value of d(n) for n X. For 0 < z 1, both lower and upper bounds are given for the number of integersn with n X, zD(X) d(n).     

Cones in the space Lp (1 ≤ p ≤ ∞) and minimax problems of mathematical statistics

The structure of cones in the spaces L_p(l p ) and their application to minimax problems of statistical assumptions are considered.Translated from Staticheskie Metody, pp. 28–30, 1978.     

An Estimate for the Problem of Illumination of the Boundary of a Convex Body in E3

Let A be a convex body in Euclidean space E3. We denote by H(A) the smallest number of homothetic 'reduced copies of A by which it is possible to cover the whole of A. The conjecture of Hadwiger is H(A) 8. We prove that H(A) 16.     

A Characterization of Some Minihypers and its Application to Linear Codes

Any {f,r- 2+s; r,q}-minihyper includes a hyperplane in PG(r, q) if fr-1 + s 1 + q – 1 for 1 s q – 1, q 3, r 4, where i = (qi + 1 – 1)/ (q – 1 ). A lower bound on f for which an {f, r – 2 + 1; r, q}-minihyper with q 3, r 4 exists is also given. As an application to coding theory, we show the nonexistence of [ n, k, n + 1 – qk – 2 ]q codes for k 5, q 3 for qk – 1 – 2q – 1 < n qk – 1 – q – 1 when k > q – q - \sqrt q + 2$$ " align="middle" border="0"> and for when , which is a generalization of [18, Them. 2.4].     

On quadratic spline interpolation

Using the quadratic spline interpolates(x) fitting the data (x _i,y _i), 0in and satisfying the end conditions_o=y_o, we give formulae approximatingy andy at selected knots by orders up toO(h ⁴).     

Some inequalities about the covering radius of Reed-Muller codes

Let R(r, m) be the rth order Reed-Muller code of length 2 ^m , and let (r, m) be its covering radius. We prove that if 2 k m - r - 1, then (r + k, m + k) (r, m + 2(k - 1). We also prove that if m - r 4, 2 k m - r - 1, and R(r, m) has a coset with minimal weight (r, m) which does not contain any vector of weight (r, m) + 2, then (r + k, m + k) (r, m) + 2k(. These inequalities improve repeated use of the known result (r + 1, m + 1) (r, m).This work was supported by a grant from the Research Council of Wright State University.     

On uniform approximations of almost periodic functions by entire functions of finite degree

We give a new proof of the well-known Bernshtein statement that, among entire functions of degree which realize the best uniform approximation (of degree ) of a periodic function on (–,), there is a trigonometric polynomial of degree . We prove an analog of the mentioned Bernshtein statement and the Jackson theorem for uniform almost periodic functions with arbitrary spectrum.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 47, No. 9, pp. 1274–1279, September, 1995.     

On the Structure of Cimpact Simply Connected Manifolds of Positive Sectional Curvature

We present a first structure theorem for compact simply connected positively curved manifolds with arbitrarily small pinching constants: For each nN and 0<1, there exists a positive number V = V(n,) such that if (M,g) is a compact simply connected n-dimensional Riemannian manifold with sectional curvature 0相似文献   

Improved Krasnosel'skii theorems for the dimension of the kernel of a starshaped set

We will establish the following improved Krasnosel'skii theorems for the dimension of the kernel of a starshaped set: For each k and d, 0 k d, define f(d,k) = d+1 if k = 0 and f(d,k) = max{d+1,2d–2k+2} if 1 k d.Theorem 1. Let S be a compact, connected, locally starshaped set in R^d, S not convex. Then for a k with 0 k d, dim ker S k if and only if every f(d, k) lnc points of S are clearly visible from a common k-dimensional subset of S.Theorem 2. Let S be a nonempty compact set in R^d. Then for a k with 0 k d, dim ker S k if and only if every f (d, k) boundary points of S are clearly visible from a common k-dimensional subset of S. In each case, the number f(d, k) is best possible for every d and k.     

Dependence Between Order Statistics in Samples from Finite Population and its Application to Ranked Set Sampling

Let X1, X2,..., Xm, Y1, Y2,..., Yn be a simple random sample without replacement from a finite population and let X(1) X(2) ... X(m) and Y(1) Y(2) ... Y(n) be the order statistics of X1, X2,..., Xm and Y1, Y2,..., Yn, respectively. It is shown that the joint distribution of X(i) and X(j) is positively likelihood ratio dependent and Y(j) is negatively regression dependent on X(i). Using these results, it is shown that when samples are drawn without replacement from a finite population, the relative precision of the ranked set sampling estimator of the population mean, relative to the simple random sample estimator with the same number of units quantified, is bounded below by 1.     

Einschliessungsaussagen für Differentialoperatoren vierter Ordnung und ein Verfahren zur Berechnung von Schrankenfunktionen

For a linear fourth order ordinary differential operator M we study Range Domain Implications (RDI). Let C_o [O,1] be positive; we show under what conditions there exists a C_O[O,1] such that the following RDI holds: Mu(x) (x) (0x1) u(x) (0x1). In particular we provide a numerical procedure to calculate .RDI are used to obtain error estimations and to solve related nonlinear problems.The basic idea to prove RDI is to split M into a product of second order differential operators which are easier to handle. For the general case that there exists no global splitting the concept of a local splitting is introduced.

---

---

The author would like to thank the European Research Office of the United States Army for their kind interest.     

Some functionals over a compact Minkovskii space

In this paper we obtain estimates which are order-exact for the projection and Macphail constants of an arbitrary n-dimensional Banach space: 1(X)n, 1/n₁(X)1/n.Translated from Matematicheskii Zametki, Vol. 10, No. 4, pp. 453–457, 1971.     

On the Approximation of Functions on Locally Compact Abelian Groups

Questions of approximative nature are considered for a space of functions L ^p(G, ), 1 p , defined on a locally compact abelian Hausdorff group G with Haar measure . The approximating subspaces which are analogs of the space of exponential type entire functions are introduced.     

Symmetrization of functions in Sobolev spaces and the isoperimetric inequality

A positive measurable function f on R^d can be symmetrized to a function f^* depending only on the distance r, and with the same distribution function as f. If the distribution derivatives of f are Radon measures then we have the inequality f^*f, where f is the total mass of the gradient. This inequality is a generalisation of the classical isoperimetric inequality for sets. Furthermore, and this is important for applications, if f belongs to the Sobolev space H¹,P then f^* belongs to H¹,P and f^*_pf_p.     

Some functional inequalities and their Baire category properties

Summary In the paper we consider, from a topological point of view, the set of all continuous functionsf:I I for which the unique continuous solution:I – [0, ) of(f(x)) (x, (x)) and(x, (x)) (f(x)) (x, (x)), respectively, is the zero function. We obtain also some corollaries on the qualitative theory of the functional equation(f(x)) = g(x, (x)). No assumption on the iterative behaviour off is imposed.     

Mapping Properties of the Laplacian in Sobolev Spaces of Forms on Complete Hyperbolic Manifolds

For a complete manifold M with constant negative curvature, weprove that the rough Laplacian _R defines topological isomorphisms in the scale of Sobolev spaces H _p ^s (M) ofp-forms for all p, 0 < p< n. For the de Rham Laplacian and M= ⁿ , the Poincaréhyperbolic space, this is shown too for 0 pn,pn/2, p (n± 1)/2.     

The convolution operator in weighted spaces with asymptotic conditions

We consider the operation of convolution with a homogeneous function in ^m that has a discontinuity on the subspace ^m–n , 1 n m–1.We exhibit a scale of weighted function spaces in which the convolution is continuous. The weight function is taken as a certain power of the distance to ^m–n.Bibliography: 5 titles. Translated fromProblemy Matematicheskogo Analiza, No. 12, 1992, pp. 186–213.     

On measures that agree on balls

The fundamental result: if and v are two finite Borel measures, defined in the spaceL ^p[0, 1] (1p<) or in C(K) (K is a metric compactum without isolated points), then from the equalities (B)=v(B) for all balls B of radius 1 there follows that =v. In addition, in the spaces C(K) and _p (1p<) from the inequalities (B) v(B) there follows that v.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 177, pp. 122–128, 1989.