Introduction. Gale diagrams, and similar techniques, have been used in several recent investigations into the combinatorial properties of convex polytopes. Here we describe other applications, namely to problems concerning sections and projections of polytopes of a given combinatorial type. For example, in §4 we shall show that every n–dimensional convex polytope with at most n + 2 vertices possesses the universal shadow boundary (usb) property: If is a subcomplex of the boundary complex ℬ (P) of P, and set is homeomorphic to an (n – 2)-sphere, then there exists a polytope P', combinatorially isomorphic to P, such that the complex corresponding to is a shadow boundary of P'. We shall also show that this is the best possible result in that polytopes with n + 3 or more vertices do not, in general, have the usb property. A second application of the method, to be described in §5, is to the construction of non-realisable complexes.

The following theorem shows that when packing unit spheres in a large box the spheres occupy at most about 0.7784 of the volume of the box. This improves Rogers' bound [2], which is approximately 0.7796. In the most efficient known packing the ratio is about 0.7405. The box in the theorem could be any bounded solid. Then the (l + 2)(m + 2)(n + 2) becomes the volume of a larger solid all of whose boundary points are at least one unit away from the original solid. At the start of the proof the even larger box could be replaced with a large ball concentric with and radius five units larger than some ball containing the original solid.

Uniform large deviation principles for positive functionals of all equivalent types of infinite-dimensional Brownian motions acting together with a Poisson random measure are established. The core of our approach is a variational representation formula, which for an infinite sequence of independent and identically distributed real Brownian motions and a Poisson random measure was shown in [A. Budhiraja, P. Dupuis and V. Maroulas, Variational representations for continuous time processes. Ann. Inst. H. Poincaré (to appear)].

The main result of this paper is the following theorem. If P is a convex polytope of Ed with affine symmetry, then P can be illuminated by eight (d - 3)-dimensional affine subspaces (two (d- 2)-dimensional affine subspaces, resp.) lying outside P, where d ≥ 3. For d = 3 this proves Hadwiger's conjecture for symmetric convex polyhedra namely, it shows that any convex polyhedron with affine symmetry can be covered by eight smaller homothetic polyhedra. The cornerstone of the proof is a general separation method.

In this paper, the Opial's inequality, which has a wide range of applications in the study of differential and integral equations, is generalized to the case involving m functions of n variables, m, n ≥ 1.

In this paper, solutions of the ordinary non-linear differential equation

are considered. This equation arises in the theory of both axisymmetric and two-dimensional viscous jets falling under gravity. In (1.1), y represents the first approximation to the velocity along the axis of symmetry, and x is a measure of the distance along this axis. Accordingly one of the conditions that the solution must satisfy is, that it cannot have a singularity at a finite value of x. The other condition to be imposed is that y must vanish at x = 0. For a derivation of this equation the reader is referred to Brown [1] or Clarke [2].

Let Λ be a lattice in three-dimensional space with the property that the spheres of radius 1 centred at the points of Λ cover the whole of space. In other words, every point of space is at a distance not more than 1 from some point of Λ. It was proved by Bambah that then

equality occurring if and only if Λ is a body-centred cubic lattice with the side of the cube equal to 4/√5. Another way of stating the result is to say that the least density of covering of three-dimensional space by equal spheres, subject to the condition that the centres of the spheres form a lattice, is . Another proof of Bambah's result was given recently by Barnes. Both proofs depend on the theory of reduction of ternary quadratic forms.

Recently M. M. Kapranov [Kap] defined a poset KPAn−1, called the permuto-associahedron, which is a hybrid between the face poset of the permutohedron and the associahedron. Its faces are the partially parenthesized, ordered, partitions of the set {1, 2, …, n}, with a natural partial order.

Kapranov showed that KPAn−1, is the face poset of a regular CW-ball, and explored its connection with a category-theoretic result of MacLane, Drinfeld's work on the Knizhnik-Zamolodchikov equations, and a certain moduli space of curves. He also asked the question of whether this CW-ball can be realized as a convex polytope.

We show that indeed, the permuto-associahedron corresponds to the type An−1, in a family of convex polytopes KPW associated to the classical Coxeter groups, W = An−1, Bn, Dn. The embedding of these polytopes relies on the secondary polytope construction of the associahedron due to Gel'fand, Kapranov, and Zelevinsky. Our proofs yield integral coordinates, with all vertices on a sphere, and include a complete description of the facet-defining inequalities.

Also we show that for each W, the dual polytope KPW* is a refinement (as a CW-complex) of the Coxeter complex associated to W, and a coarsening of the barycentric subdivision of the Coxeter complex. In the case W = An−1, this gives a combinatorial proof of Kapranov's original sphericity result.

By Pick's invariant form of Schwarz's lemma, an analytic function B (z) which is bounded by one in the unit disk D = {z: |z| < 1} satisfies the inequality

at each point α of D. Recently, several authors [2, 10, 11] have obtained more general estimates for higher order derivatives. Best possible estimates are due to Ruscheweyh [12]. Below in §2 we use a Hilbert space method to derive Ruscheweyh's results. The operator method applies equally well to operator-valued functions, and this generalization is outlined in §3.

The Hausdorff dimension and measure of the set of simultaneously ψ-approximable points lying on integer polynomial curves is obtained for sufficiently small error functions.

Let be a set of points on a sphere, centre O, radius R, in (n+1)– dimensional space. Suppose a spherical cap of angular radius α≤½π is centred at each point of . Let k be a positive integer and suppose that no point of the sphere is an inner point of more than k caps. We say that provides a k–fold packing for caps of radius α.

1. Let f = f(x1, …, xn) be an indefinite quadratic form in n variables with discriminant d = d(f) ¹ 0; and let ξ1, …, ξn be real numbers. We consider how closely the inhomogeneous quadratic polynomial

can be made to approximate to a given real number α by choice of suitable integral values of the variables xi. The best that is known seems to be that the inequalities

can always be satisfied if the implied constant is given a suitable value depending only on n. For α ≥ 0 this is a restatement of a result proved by Dr. D. M. E. Foster.

Suppose, in n-dimensional Euclidean space, a sequence of disjoint closed spheres is packed into the open unit n-cube In in such a way as to ensure that the residual set has zero volume. Then, of course, is convergent and it can be shown, for n = 2, that is divergent. Let the exponent of convergence of the packing be the supremum of those real numbers t such that is divergent and let tn denote inf, where the infimum is taken over all packings which satisfy the above conditions. In recent work Z. A. Melzak [1] has been interested in finding estimates for in two-dimensional space. He has shown that t may take the value 2 and has produced some estimates for the Apollonius packing of disks. In this note we produce what is, perhaps, the most interesting estimate for tn by showing that tn is greater than n-1. Let sn denote the exact lower bound of the Besicovitch dimensions of every residual set which is formed by a packing of spheres in In.

If K is a set in n-dimensional Euclidean space En, n ≥ 2, with a non-empty interior, then a point p of the interior of K is called a pseudo centre of K provided each two-dimensional flat through p intersects K in a section centrally symmetric about some point, not necessarily coinciding with p. A pseudo centre p of K is called a false centre if K is not centrally symmetric about p. Rogers [5] showed that a convex body (compact convex set with interior points) with a pseudo centre necessarily has a true centre of symmetry. But, as each interior point of an ellipsoid is a pseudo centre, the true centre need not necessarily coincide with the pseudo centre. Rogers conjectured that, for n ≥ 3, a convex body K with a false centre is necessarily an ellipsoid. In this paper we prove this conjecture.

In the paper which forms the basis for the modern asymptotic theory of linear differential systems, Levinson [22] considered the system

on an interval [a, ∞), where

(1) A is a constant nÜn matrix with n distinct eigenvalues and either

(2a) R(x) is L(a, ∞)

or

(2b) R(x)→0 as x→∞ and R'(x) is L(a, ∞).

An oncoming two-dimensional laminar boundary layer that develops an unstable inflection point and becomes three-dimensional is described by the Hall-Smith (1991) vortex/wave interaction equations. These equations are now examined in the neighbourhood of the position where the critical surface starts to form. A consistent structure is established in which an inviscid core flow is matched to a viscous buffer-layer solution where the appropriate jump condition on the transverse shear stress is satisfied. The final result is a bifurcation equation for the (constant) amplitude of the wave pressure. A representative classical velocity profile is considered to illustrate solutions of this equation for a range of values of the wave-numbers.

It is proved that the simplex is a strict local minimum for the volume product, 𝒫(K)=min z∈int(K)|K||Kz|, in the Banach–Mazur space of n-dimensional (classes of) convex bodies. Linear local stability in the neighborhood of the simplex is proved as well. The proof consists of an extension to the non-symmetric setting of methods that were recently introduced by Nazarov, Petrov, Ryabogin and Zvavitch, as well as proving results of independent interest concerning stability of square order of volumes of polars of non-symmetric convex bodies.

We prove a normalized version of the restricted invertibility principle obtained by Spielman and Srivastava in [An elementary proof of the restricted invertibility theorem. Israel J. Math. 190 (2012), 83–91]. Applying this result, we get a new proof of the proportional Dvoretzky–Rogers factorization theorem recovering the best current estimate in the symmetric setting while we improve the best known result in the non-symmetric case. As a consequence, we slightly improve the estimate for the Banach–Mazur distance to the cube: the distance of every $n$-dimensional normed space from ${ \ell }_{\infty }^{n} $ is at most $\mathop{(2n)}\nolimits ^{5/ 6} $. Finally, using tools from the work of Batson et al in [Twice-Ramanujan sparsifiers. In STOC’09 – Proceedings of the 2009 ACM International Symposium on Theory of Computing, ACM (New York, 2009), 255–262], we give a new proof for a theorem of Kashin and Tzafriri [Some remarks on the restriction of operators to coordinate subspaces. Preprint, 1993] on the norm of restricted matrices.

With each non-empty compact convex subset K of Ed is associated a Steiner point, s(K), defined by

where u is a variable unit vector, a is a fixed unit vector, H(u, K) is the supporting function of K and dw is an element of surface area of the unit sphere Sd-1 centred at the origin (see [2]). For notational convenience, we put s(Ø) = 0.

We show that for every smooth curve in Rn, there is a quadrilateral with equal sides and equal diagonals whose vertices lie on the curve. In the case of a smooth plane curve, this implies that the curve admits an inscribed square, strengthening a theorem of Schnirelmann and Guggenheimer. “Smooth” means having a continuously turning tangent. We give a weaker condition which is still sufficient for the existence of an inscribed square in a plane curve, and which is satisfied if the curve is convex, if it is a polygon, or (with certain restrictions) if it is piecewise of class C1. For other curves, the question remains open.