On finite matroids with two more hyperplanes than points

One of the most interesting results about finite matroids of finite rank and generalized projective spaces is the result of Basterfield, Kelly and Green (1968/1970) (J.G. Basterfield, L.M. Kelly, A characterization of sets of n points which determine n hyperplanes, in: Proceedings of the Cambridge Philosophical Society, vol. 64, 1968, pp. 585-588; C. Greene, A rank inequality for finite geometric lattices, J. Combin Theory 9 (1970) 357-364) affirming that any matroid contains at least as many hyperplanes as points, with equality in the case of generalized projective spaces. Consequently, the goal is to characterize and classify all matroids containing more hyperplanes than points. In 1996, I obtained the classification of all finite matroids containing one more hyperplane than points. In this paper a complete classification of finite matroids with two more hyperplanes than points is obtained. Moreover, a partial contribution to the classification of those matroids containing a certain number of hyperplanes more than points is presented.     

Assouad-Nagata dimension of locally finite groups and asymptotic cones

In this paper we study two problems concerning Assouad-Nagata dimension:

(1)

Is there a metric space of positive asymptotic Assouad-Nagata dimension such that all of its asymptotic cones are of Assouad-Nagata dimension zero? (Dydak and Higes, 2008 [11, Question 4.5]).

(2)

Suppose G is a locally finite group with a proper left invariant metric dG. If dimAN(G,dG)>0, is dimAN(G,dG) infinite? (Brodskiy et al., preprint [6, Problem 5.3]).

The first question is answered positively. We provide examples of metric spaces of positive (even infinite) Assouad-Nagata dimension such that all of its asymptotic cones are ultrametric. The metric spaces can be groups with proper left invariant metrics.The second question has a negative solution. We show that for each n there exists a locally finite group of Assouad-Nagata dimension n. As a consequence this solves for non-finitely generated countable groups the question about the existence of metric spaces of finite asymptotic dimension whose asymptotic Assouad-Nagata dimension is larger but finite.     

Zariski closure, completeness and compactness

The categorical theory of closure operators is used to introduce and study separated, complete and compact objects with respect to the Zariski closure operator naturally defined in any category X(A,Ω) obtained by a given complete category X (endowed with a proper factorization structure for morphisms) and by a given X-algebra (A,Ω) by forming the affine X-objects modelled by (A,Ω). Several basic examples are provided.     

On the exponentiality of affine symmetric spaces

An affine symmetric space G/H is said to be exponential if every two points of this space can be joined by a geodesic and weakly exponential if the union of all geodesics issuing from one point is everywhere dense in G/H. For the group space (G × G)/G _diag of a Lie group G, these properties are equivalent to the exponentiality and weak exponentiality of G, respectively. We generalize known theorems on the image of the exponential mapping in Lie groups to the case of affine symmetric spaces. We prove the weak exponentiality of the symmetric spaces of solvable Lie groups, and in the semisimple case we obtain criteria for exponentiality and weak exponentiality.     

Four-Dimensional Simply Connected Symplectic Symmetric Spaces

A symplectic is a symmetric space endowed with a symplectic structure which is invariant by the symmetries. We give here a classification of four-dimensional symplectic which are simply connected. This classification reveals a remarkable class of affine symmetric spaces with a non-Abelian solvable transvection group. The underlying manifold M of each element (M, ) belonging to this class is diffeomorphic to Rⁿwith the property that every tensor field on M invariant by the transvection group is constant; in particular, is not a metric connection. This classification also provides examples of nonflat affine symmetric connections on Rⁿwhich are invariant under the translations. By considering quotient spaces, one finds examples of locally affine symmetric tori which are not globally symmetric.     

Further criteria for the indecomposability of finite pseudometric spaces

We continue the study of indecomposable finite (consisting of a finite number of points) pseudometric spaces (i.e., spaces whose only decomposition into a sum is the division of all distances in equal proportion). We prove that the indecomposability property is invariant under the following operation: connect two disjoint points by an additional simple chain, which is the inverted copy of the shortest path connecting these points. The indecomposability of the spaces presented by the graphsK _m,n (m ≥ 2,n ≥ 3) with edges of equal length is also proved. Translated fromMatematicheskie Zametki, Vol. 63, No. 3, pp. 421–424, March, 1998.     

Mappings of preserving <Emphasis Type="Italic">n</Emphasis>-distance one in <Emphasis Type="Italic">n</Emphasis>-normed spaces

We give a positive answer to the Aleksandrov problem in n-normed spaces under the surjectivity assumption. Namely, we show that every surjective mapping preserving n-distance one is affine, and thus is an n-isometry. This is the first time the Aleksandrov problem is solved in n-normed spaces with only the surjectivity assumption even in the usual case \(n=2\). Finally, when the target space is n-strictly convex, we prove that every mapping preserving two n-distances with an integer ratio is an affine n-isometry.     

Isotropic affine hypersurfaces of dimension 5

We study affine hypersurfaces M   which have isotropic difference tensor. Note that any surface always has isotropic difference tensor. Therefore, we may assume that n>2$n>2$. Such hypersurfaces have previously been studied by the first author and M. Djoric in [1] under the additional assumption that M is an affine hypersphere. Here we study the general case. As for affine spheres, we first show that isotropic affine hypersurfaces which are not congruent to quadrics are necessarily 5, 8, 14 or 26 dimensional. From this, we also obtain a complete classification in dimension 5.     

Finite Equivalence Relations on Algebraic Varieties and Hidden Symmetries

This paper can be considered as a continuation of Miyanishi's paper which contains a theorem on existence of a quotient of an affine normal or a projective smooth variety by a finite equivalence relation such that every component of the relation projects onto the variety (we call such an equivalence relation a wide finite equivalence relation). Later papers of Kollar and Keel-Mori shed new light on the subject and can serve as a base for further studies. The results of the present paper are based on the fact that every wide finite equivalence relation on a normal variety V is determined by an action of a finite group on the normalization of V in some Galois extension of k(V). Hence, such an equivalence relation hides some symmetry of a (ramified) cover of V. One may find some analogy of the situation with the concept of a hidden symmetry considered in physics. An important part of the paper is examples described in Section 6 which show that the main result of the paper (Theorem 2.3) is valid neither in the seminormal case, nor under the additional assumptions that there exists a finite morphism whose fibers contain equivalence classes of a given finite relation. In the nonnormal case, identification of some points described by a finite wide equivalence relation may force identification of some other nonequivalent points. This seems to show that the class of normal varieties and wide equivalence relation is a proper frame for considering the general problems of quotients by finite equivalence relations.     

Convex polyhedra of doubly stochastic matrices III. Affine and combinatorial properties of Ωn

Affine and combinatorial properties of the polytope $\text{Ω}{}_{\mathrm{n}}$ of all n × n nonnegative doubly stochastic matrices are investigated. One consequence of this investigation is that if $\text{F}$ is a face of $\text{Ω}{}_{\mathrm{n}}$ of dimension d > 2, then $\text{F}$ has at most 3(d?1) facets. The special faces of $\text{Ω}{}_{\mathrm{n}}$ which were characterized in Part I of our study of $\text{Ω}{}_{\mathrm{n}}$ in terms of the corresponding (0, 1)- matrices are classified with respect to affine equivalence.     

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.     

Advances in metric embedding theory

Metric Embedding plays an important role in a vast range of application areas such as computer vision, computational biology, machine learning, networking, statistics, and mathematical psychology, to name a few. The mathematical theory of metric embedding is well studied in both pure and applied analysis and has more recently been a source of interest for computer scientists as well. Most of this work is focused on the development of bi-Lipschitz mappings between metric spaces. In this paper we present new concepts in metric embeddings as well as new embedding methods for metric spaces. We focus on finite metric spaces, however some of the concepts and methods are applicable in other settings as well.One of the main cornerstones in finite metric embedding theory is a celebrated theorem of Bourgain which states that every finite metric space on n points embeds in Euclidean space with distortion. Bourgain?s result is best possible when considering the worst case distortion over all pairs of points in the metric space. Yet, it is natural to ask: can an embedding do much better in terms of the average distortion? Indeed, in most practical applications of metric embedding the main criteria for the quality of an embedding is its average distortion over all pairs.In this paper we provide an embedding with constant average distortion for arbitrary metric spaces, while maintaining the same worst case bound provided by Bourgain?s theorem. In fact, our embedding possesses a much stronger property. We define the ?q-distortion of a uniformly distributed pair of points. Our embedding achieves the best possible ?q-distortion for all 1?q?∞simultaneously.The results are based on novel embedding methods which improve on previous methods in another important aspect: the dimension of the host space. The dimension of an embedding is of very high importance in particular in applications and much effort has been invested in analyzing it. However, no previous result improved the bound on the dimension which can be derived from Bourgain?s embedding. Our embedding methods achieve better dimension, and in fact, shed new light on another fundamental question in metric embedding, which is: whether the embedding dimension of a metric space is related to its intrinsic dimension? I.e., whether the dimension in which it can be embedded in some real normed space is related to the intrinsic dimension which is reflected by the inherent geometry of the space, measured by the space?s doubling dimension. The existence of such an embedding was conjectured by Assouad,⁴and was later posed as an open problem in several papers. Our embeddings give the first positive result of this type showing any finite metric space obtains a low distortion (and constant average distortion) embedding in Euclidean space in dimension proportional to its doubling dimension.Underlying our results is a novel embedding method. Probabilistic metric decomposition techniques have played a central role in the field of finite metric embedding in recent years. Here we introduce a novel notion of probabilistic metric decompositions which comes particularly natural in the context of embedding. Our new methodology provides a unified approach to all known results on embedding of arbitrary finite metric spaces. Moreover, as described above, with some additional ideas they allow to get far stronger results.The results presented in this paper⁵have been the basis for further developments both within the field of metric embedding and in other areas such as graph theory, distributed computing and algorithms. We present a comprehensive study of the notions and concepts introduced here and provide additional extensions, related results and some examples of algorithmic applications.     

Size of the peripheral point spectrum under power or resolvent growth conditions

We characterize Jamison sequences, that is sequences (nk) of positive integers with the following property: every bounded linear operator T acting on a separable Banach space with supk‖Tnk‖<+∞ has a countable set of peripheral eigenvalues. We also discuss partially power-bounded operators acting on Banach or Hilbert spaces having peripheral point spectra with large Hausdorff dimension. For a Lavrentiev domain Ω in the complex plane, we show the uniform minimality of some families of eigenvectors associated with peripheral eigenvalues of operators satisfying the Kreiss resolvent condition with respect to Ω. We introduce and study the notion of Ω-Jamison sequence, which is defined by replacing the partial power-boundedness condition supk‖Tnk‖<+∞ by , where is the nth Faber polynomial of Ω. A characterization of Ω-Jamison sequences is obtained for domains with sufficiently smooth boundary.     

Linear spaces with small generated subspaces

The dimension of a linear space is the maximum positive integer d such that any d of its points generate a proper subspace. Given n, d, s, we consider linear spaces on n points such that any d points generate subspaces of size at most s. Certain design-theoretic constructions and applications are investigated. In particular, one consequence is the existence of proper n-edge-colourings of both Kn+1 (for n odd) and Kn,n with a constant bound on the length of two-colored cycles.     

Wavelet bases on a manifold

Using the decomposition method, we present in this paper constructions of multiresolution analyses on a compact Riemannian manifold M of dimension n(n∈N). These analyses are generated by a finite number of basic functions and are adapted to the study of the Sobolev spaces H¹(M) and .     

Empty Monochromatic Simplices

Let S be a k-colored (finite) set of n points in $\mathbb{R}^{d}$ , d≥3, in general position, that is, no (d+1) points of S lie in a common (d?1)-dimensional hyperplane. We count the number of empty monochromatic d-simplices determined by S, that is, simplices which have only points from one color class of S as vertices and no points of S in their interior. For 3≤k≤d we provide a lower bound of $\varOmega(n^{d-k+1+2^{-d}})$ and strengthen this to Ω(n ^d?2/3) for k=2. On the way we provide various results on triangulations of point sets in  $\mathbb{R}^{d}$ . In particular, for any constant dimension d≥3, we prove that every set of n points (n sufficiently large), in general position in $\mathbb{R}^{d}$ , admits a triangulation with at least dn+Ω(logn) simplices.     

A characterization of Haj?asz-Sobolev and Triebel-Lizorkin spaces via grand Littlewood-Paley functions

In this paper, we establish the equivalence between the Haj?asz-Sobolev spaces or classical Triebel-Lizorkin spaces and a class of grand Triebel-Lizorkin spaces on Euclidean spaces and also on metric spaces that are both doubling and reverse doubling. In particular, when p∈(n/(n+1),∞), we give a new characterization of the Haj?asz-Sobolev spaces via a grand Littlewood-Paley function.     

On geometric vector fields of Minkowski spaces and their applications

As it is well-known, a Minkowski space is a finite dimensional real vector space equipped with a Minkowski functional F. By the help of its second order partial derivatives we can introduce a Riemannian metric on the vector space and the indicatrix hypersurface S:=F⁻¹(1) can be investigated as a Riemannian submanifold in the usual sense.Our aim is to study affine vector fields on the vector space which are, at the same time, affine with respect to the Funk metric associated with the indicatrix hypersurface. We give an upper bound for the dimension of their (real) Lie algebra and it is proved that equality holds if and only if the Minkowski space is Euclidean. Criteria of the existence is also given in lower dimensional cases. Note that in case of a Euclidean vector space the Funk metric reduces to the standard Cayley-Klein metric perturbed with a nonzero 1-form.As an application of our results we present the general solution of Matsumoto's problem on conformal equivalent Berwald and locally Minkowski manifolds. The reasoning is based on the theory of harmonic vector fields on the tangent spaces as Riemannian manifolds or, in an equivalent way, as Minkowski spaces. Our main result states that the conformal equivalence between two Berwald manifolds must be trivial unless the manifolds are Riemannian.     

Embedding a Latin square with transversal into a projective space

A Latin square of side n defines in a natural way a finite geometry on 3n points, with three lines of size n and n² lines of size 3. A Latin square of side n with a transversal similarly defines a finite geometry on 3n+1 points, with three lines of size n, n²−n lines of size 3, and n concurrent lines of size 4. A collection of k mutually orthogonal Latin squares defines a geometry on kn points, with k lines of size n and n² lines of size k. Extending the work of Bruen and Colbourn [A.A. Bruen, C.J. Colbourn, Transversal designs in classical planes and spaces, J. Combin. Theory Ser. A 92 (2000) 88-94], we characterise embeddings of these finite geometries into projective spaces over skew fields.