On the structure of the directions not determined by a large affine point set

Given a point set U in an n-dimensional affine space of size q ^n?1?ε, we obtain information on the structure of the set of directions that are not determined by U, and we describe an application in the theory of partial ovoids of certain partial geometries.     

Recent results on designs with classical parameters

We report on recent results concerning designs with the same parameters as the classical geometric designs PG _d (n, q) formed by the points and d-dimensional subspaces of the n-dimensional projective space PG(n, q) over the field GF(q) with q elements, where 1 ???d ???n?1. The corresponding case of designs with the same parameters as the classical geometric designs AG _d (n, q) formed by the points and d-dimensional subspaces of the n-dimensional affine space AG(n, q) will also be discussed, albeit in less detail.     

On Flat Flag-Transitive c.c *-Geometries

We study flat flag-transitive c.c ^*-geometries. We prove that, apart from one exception related to Sym(6), all these geometries are gluings in the meaning of [6]. They are obtained by gluing two copies of an affine space over GF(2). There are several ways of gluing two copies of the n-dimensional affine space over GF(2). In one way, which deserves to be called the canonical one, we get a geometry with automorphism group G = 2²ⁿ · L _n(2) and covered by the truncated Coxeter complex of type D ₂ ⁿ . The non-canonical ways give us geometries with smaller automorphism group (G ≤ 2²ⁿ · (2 ^n?1)n) and which seldom (never ?) can be obtained as quotients of truncated Coxeter complexes.     

Embedding up to homotopy type— The first obstruction

For a 2n?m connected map from an n-dimensional complex to a m-dimensional manifold, an obstruction to embedding up to homotopy type is defined. The vanishing of this obstruction is a necessary and sufficient condition (in the 2n?m connected case, 2n?m ? 2, m?n ?3) to obtain an embedding up to homotopy type. In case the target manifold is Euclidean space, it is shown that the obstruction vanishes if and only if certain Thom operations are trivial. A classification theorem is given in the 2n?m+1 connected case.     

A density version of a geometric ramsey theorem

Let V be an n-dimensional affine space over the field with p^d elements, p ≠ 2. Then for every ε > 0 there is an n(ε) such that if n = dim(V) ? n(ε) then any subset of V with more than ε|V| elements must contain 3 collinear points (i.e., 3 points lying in a one-dimensional affine subspace).     

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.     

Higher-dimensional Bruckner-Garg type theorem

In this paper, we investigate several properties of maps from a compactum X to an n-dimensional (combinatorial) manifold Mn. We introduce the notions of stable point and locally extreme point of map, and we prove a higher-dimensional Bruckner-Garg type theorem for the fiber structure of a generic map in the space C(X,Mn) of maps from a compactum X with dimX?n to an n-dimensional manifold Mn (n?1). As applications, we also study the spaces of Bing maps, Lelek maps, k-dimensional maps and Krasinkiewicz maps in C(X,Mn).     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

An exact algorithm for finding a vector subset with the longest sum

We consider the problem: Given a set of n vectors in the d-dimensional Euclidean space, find a subsetmaximizing the length of the sum vector.We propose an algorithm that finds an optimal solution to this problem in time O(n^d?1(d + logn)). In particular, if the input vectors lie in a plane then the problem is solvable in almost linear time.     

Universal space in the Cartesian product of Peano curves without free arcs

We prove that there is the universal space for the class of n-dimensional separable metric spaces in the Cartesian product K₁×?×Kn+1 of Peano curves without free arcs. It is also shown that the set of embeddings of any n-dimensional separable metric space X into this universal space is a residual set in C(X,K₁×?×Kn+1). Other properties of product of Peano curves without free arcs are also proved.     

Topological vector spaces problems in homology and homotopy theories

Three data are interesting here: domains of integration, integrands and integration itself. There is a lack of symmetry between polyhedral chains as domains of integration and differential forms as integrands. The non-symmetric situation disappears after considering the topological spaces of the de Rham differential forms and forms with compact supports and their strong duals, i.e., currents with compact supports and currents, respectively. This idea goes back to Schwartz distributions and Schwartz distributions with compact supports, in other terminology, generalized functions and generalized functions with compact supports.Some problems are raised, e.g., whether every quasi-complete barreled nuclear space E, whose strongly dual E^′ is nuclear, is strongly hereditary reflexive. This concerns the above mentioned de Rham spaces. Problems on R- and Q-homotopy, proper R- and Q-homotopy and proper R- and Q-homotopy at infinity are also considered as well as the coalgebra structure on currents and currents with compact supports.The classical theorem concerning derivation of additive functions with respect to volumes in points is generalized to a theorem on derivation of continuous m-forms with compact supports ωm of an oriented n-dimensional C¹-manifold Mn with respect to its m-dimensional oriented submanifolds Vm in compact regular oriented submanifolds Lk of Mn, 0?k<m?n.     

Neighborly Embedded Manifolds

An embedding of an n-dimensional manifold M into R ^d is called k-neighborly if, for every k points on the embedded manifold, there is a hyperplane H in R ^d which supports the manifold precisely at these points. Micha A. Perles (Problems presented in Oberwolfach conference on “Convexity”, [1982]) asked: What is the smallest dimension d(k,n) of the ambient space in which a k-neighborly n-dimensional manifold exists? We prove that d(k,n)≤2k(k?1)n. Related results and open problems are discussed.     

An optimal algorithm for geometrical congruence

An algorithm is given which, in time O(n log n), determines all the Euclidean congruences (if any) between two n-point sets in 3-dimensional space. The algorithm is shown to be optimal to within a constant factor.     

On stochastic generation of ultrametrics in high-dimensional Euclidean spaces

We present a proof of the theorem which states that a matrix of Euclidean distances on a set of specially distributed random points in the n-dimensional Euclidean space R ⁿ converges in probability to an ultrametric matrix as n → ∞. Values of the elements of an ultrametric distance matrix are completely determined by variances of coordinates of random points. Also we present a probabilistic algorithm for generation of finite ultrametric structures of any topology in high-dimensional Euclidean space. Validity of the algorithm is demonstrated by explicit calculations of distance matrices and ultrametricity indexes for various dimensions n.     

Strong Version of the Basic Deciding Algorithm for the Existential Theory of Real Fields

Let U be a real algebraic variety in the n-dimensional affine space that is a set of all zeros of a family of polynomials of degree less than d. In the case where U is bounded (this is the main case), an algorithm of polynomial complexity is described for constructing a subset of U with the number of elements bounded from above by dⁿ that has the following property: for every s, this set has a nonempty intersection with every d-dimensional cycle with coefficients from s of the closure of the set of smooth points of dimension s of U. Bibliography: 16 titles.     

Affine nonsystematic codes

A perfect binary code C of length n = 2 ^k ? 1 is called affine systematic if there exists a k-dimensional subspace of {0, 1} ⁿ such that the intersection of C and each coset with respect to this subspace is a singleton; otherwise C is called affine nonsystematic. In this article we construct affine nonsystematic codes.     

On locally strongly convex affine hypersurfaces with parallel cubic form. Part I

In this paper, we study locally strongly convex affine hypersurfaces of Rn+1 that have parallel cubic form with respect to the Levi-Civita connection of the affine Berwald-Blaschke metric; it is known that they are affine spheres. In dimension n?7 we give a complete classification of such hypersurfaces; in particular, we present new examples of affine spheres.     

n-point sets and graphs of functions

We prove that, for every n?2, there exists an n-point set (a plane set which hits every line in exactly n points) that is homeomorphic to the graph of a function from R to R; for n?4, there exist both 0-dimensional and 1-dimensional examples. This raises the question (which we do not answer) of whether n-point sets for different n's could be homeomorphic.     

Differentiable mappings of affine spaces into manifolds of <Emphasis Type="Italic">m</Emphasis>-planes in a multidimensional Euclidean space

In this paper we consider a differentiable mapping of a p-dimensional affine space into the differentiable manifold $ \mathfrak{M} $ \mathfrak{M} _N of all centered m-planes in an n-dimensional Euclidean space. We pay special attention to describing geometric images defined by a fundamental geometric object of the mentioned mapping.     

Graph immersions with parallel cubic form

We consider non-degenerate graph immersions into affine space ${\mathbb{A}}^{n+1}$ whose cubic form is parallel with respect to the Levi-Civita connection of the affine metric. There exists a correspondence between such graph immersions and pairs $(J,\gamma )$, where J is an n-dimensional real Jordan algebra and γ is a non-degenerate trace form on J. Every graph immersion with parallel cubic form can be extended to an affine complete symmetric space covering the maximal connected component of zero in the set of quasi-regular elements in the algebra J. It is an improper affine hypersphere if and only if the corresponding Jordan algebra is nilpotent. In this case it is an affine complete, Euclidean complete graph immersion, with a polynomial as globally defining function. We classify all such hyperspheres up to dimension 5. As a special case we describe a connection between Cayley hypersurfaces and polynomial quotient algebras. Our algebraic approach can be used to study also other classes of hypersurfaces with parallel cubic form.