Searcharxiv⌕ Search

SEARCH · Searcharxiv

Results for “math.MG”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 recordsLinked to original sources
arXiv2002

An overview of the Kepler conjecture

This is the first in a series of papers giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $π/\sqrt{18}\approx 0.74048...$. This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper has a historical overview and a synopsis of the rest of the series. The other papers in the series are math.MG/9811072, math.MG/9811073, math.MG/9811074, math.MG/9811075, math.MG/9811076, math.MG/9811077, and math.MG/9811078.

math.MG↗
arXiv2006

Theory of valuations on manifolds, IV. New properties of the multiplicative structure

This is the fourth part in the series of articles math.MG/0503397, math.MG/0503399, math.MG/0509512 where the theory of valuations on manifolds is developed. In this part it is shown that the filtration on valuations introduced in math.MG/0503399 is compatible with the product. Then it is proved that the Euler-Verdier involution on smooth valuations introduced in math.MG/0503399 is an automorphism of the algebra of valuations. Then an integration functional on valuations with compact support is introduced, and a property of selfduality of valuations is proved. Next a space of generalized valuations is defined, and some basic properties of it are proved. Finally a canonical imbedding of the space of constructible functions on a real analytic manifold into the space of generalized valuations is constructed, and various structures on valuations are compared with known structures on constructible functions.

math.MG↗
arXiv2006

Theory of valuations on manifolds: a survey

This is a non-technical survey of a recent theory of valuations on manifolds constructed in math.MG/0503397, math.MG/0503399, math.MG/0509512, math.MG/0511171 and actually a guide to this series of articles. We review also some recent related results obtained by a number of people. We formulate some open questions.

math.MG↗
arXiv2005

Theory of valuations on manifolds, III. Multiplicative structure in the general case

This article is the third part of the series of articles where the theory of valuations on manifolds is constructed. In math.MG/0503399 the notion of a smooth valuation on a manifold was introduced. The goal of this article is to put a canonical multiplicative structure on the space of smooth valuations on general manifolds, thus extending some of the affine constructions from math.MG/0301148, math.MG/0503397.

math.MG↗
arXiv2013

Clifford algebra and the projective model of Minkowski (pseudo-Euclidean) spaces

I apply the algebraic framework introduced in arXiv:1101.4542v3[math.MG] to Minkowski (pseudo-Euclidean) spaces in 2, 3, and 4 dimensions. The exposition follows the template established in arXiv:1307.2917[math.MG] for Euclidean spaces. The emphasis is on geometric structures, but some contact with special relativity is made by considering relativistic addition of velocities and Lorentz transformations, both of which can be seen as rotation applied to points and to lines. The language used in the paper reflects the emphasis on geometry, rather than applications to special relativity. The use of Clifford algebra greatly simplifies the study of Minkowski spaces, since unintuitive synthetic techniques are replaced by algebraic calculations.

math.MG↗
arXiv2004

Sub-Riemannian geometry and Lie groups. Part II. Curvature of metric spaces, coadjoint orbits and associated representations

This paper is the third in a series dedicated to the fundamentals of sub-Riemannian geometry and its implications in Lie groups theory: "Sub-Riemannian geometry and Lie groups. Part I", math.MG/0210189, available at http://arxiv.org/abs/math.MG/0210189, and "Tangent bundles to sub-Riemannian groups", math.MG/0307342, available at http://arxiv.org/abs/math.MG/0307342 .

math.MG↗
arXiv2013

Clifford algebra and the projective model of homogeneous metric spaces: Foundations

This paper is to serve as a key to the projective (homogeneous) model developed by Charles Gunn (arXiv:1101.4542 [math.MG]). The goal is to explain the underlying concepts in a simple language and give plenty of examples. It is targeted to physicists and engineers and the emphasis is on explanation rather than rigorous proof. The projective model is based on projective geometry and Clifford algebra. It supplements and enhances vector and matrix algebras. It also subsumes complex numbers and quaternions. Projective geometry augmented with Clifford algebra provides a unified algebraic framework for describing points, lines, planes, etc, and their transformations, such as rotations, reflections, projections, and translations. The model is relevant not only to Euclidean space but to a variety of homogeneous metric spaces.

math.MG↗
arXiv2003

Products of hyperbolic metric spaces II

In arXiv math.MG/0207296 we introduced a product construction for locally compact, complete, geodesic hyperbolic metric spaces. In the present paper we define the hyperbolic product for general Gromov-hyperbolic spaces. In the case of roughly geodesic spaces we also analyse the boundary at infinity.

math.MG↗
arXiv2016

Quaternionic plurisubharmonic functions and their applications to convexity

The goal of this article is to present a survey of the recent theory of plurisubharmonic functions of quaternionic variables, and its applications to theory of valuations on convex sets and HKT-geometry (HyperKähler with Torsion). The exposition follows the articles math.CV/0104209, math.CV/0208005, math.MG/0401219 by the author and math.CV/0510140 by M. Verbitsky and the author.

math.MG↗
arXiv2007

Dilatation structures II. Linearity, self-similarity and the Cantor set

In this paper we continue the study of dilatation structures, introduced in math.MG/0608536 . A dilatation structure on a metric space is a kind of enhanced self-similarity. By way of examples this is explained here with the help of the middle-thirds Cantor set. Linear and self-similar dilatation structures are introduced and studied on ultrametric spaces, especially on the boundary of the dyadic tree (same as the middle-thirds Cantor set). Some other examples of dilatation structures, which share some common features, are given. Another class of examples, coming from sub-Riemannian geometry, will make the subject of an article in preparation. In the particular case of ultrametric spaces the axioms of dilatation structures take a simplified form, leading to a description of all possible weak dilatation structures on the Cantor set. As an application we prove that there is more than one linear and self-similar dilatation structure on the Cantor set, compatible with the iterated functions system which defines the Cantor set. Applications to self-similar groups are reserved for a further paper.

math.MG↗
arXiv2002

Sphere packings III

This is the fifth in a series of papers giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $π/\sqrt{18}\approx 0.74048...$. This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper carries out the third step of the program outlined in math.MG/9811073: A proof that if all of the standard regions are triangles or quadrilaterals, then the total score is less than $8 \pt$ (excluding the case of pentagonal prisms).

math.MG↗
arXiv2002

Sphere packings IV

This is the sixth in a series of papers giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $π/\sqrt{18}\approx 0.74048...$. This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper completes part of the fourth step of the program outlined in math.MG/9811073: A proof that if some standard region has more than four sides, then the star scores less than $8 \pt$.

math.MG↗
arXiv1998

Sphere packings V

The Hales program to prove the Kepler conjecture on sphere packings consists of five steps, which if completed, will jointly comprise a proof of the conjecture. We carry out step five of the program [outlined in math.MG/9811073], a proof that the local density of a certain combinatorial arrangement, the pentahedral prism, is less than that of the face-centered cubic lattice packing. We prove various relations on the local density using computer-based interval arithmetic methods. Together, these relations imply the local density bound.

math.MG↗
arXiv2002

The Kepler conjecture

This is the eighth and final paper in a series giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $π/\sqrt{18}\approx 0.74048...$. This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper completes the fourth step of the program outlined in math.MG/9811073: A proof that if some standard region has more than four sides, then the star scores less than $8 \pt$.

math.MG↗
arXiv2008

A proof of the dodecahedral conjecture

The dodecahedral conjecture states that the volume of the Voronoi polyhedron of a sphere in a packing of equal spheres is at least the volume of a regular dodecahedron with inradius 1. The authors prove the conjecture following the methodology of the proof the Kepler conjecture. (See math.MG/9811071.)

math.MG↗
arXiv2000

Inscribing cubes and covering by rhombic dodecahedra via equivariant topology

First, we prove a special case of Knaster's problem, implying that each symmetric convex body in R^3 admits an inscribed cube. We deduce it from a theorem in equivariant topology, which says that there is no S_4-equivariant map from SO(3) to S^2, where S_4 acts on SO(3) as the rotation group of the cube and on S^2 as the symmetry group of the regular tetrahedron. We also give some generalizations. Second, we show how the above non-existence theorem yields Makeev's conjecture in R^3 that each set in R^3 of diameter 1 can be covered by a rhombic dodecahedron, which has distance 1 between its opposite faces. This reveals an unexpected connection between inscribing cubes into symmetric bodies and covering sets by rhombic dodecahedra. Finally, we point out a possible application of our second theorem to the Borsuk problem in R^3. (Similar results were obtained recently by V.V. Makeev and independently by G. Kuperberg (cf. math.MG/9809165).)

math.MG↗
arXiv2004

On some low distortion metric Ramsey problems

In this note, we consider the metric Ramsey problem for the normed spaces l_p. Namely, given some 1<=p<=infinity and alpha>=1, and an integer n, we ask for the largest m such that every n-point metric space contains an m-point subspace which embeds into l_p with distortion at most alpha. In [arXiv:math.MG/0406353] it is shown that in the case of l_2, the dependence of $m$ on alpha undergoes a phase transition at alpha=2. Here we consider this problem for other l_p, and specifically the occurrence of a phase transition for p other than 2. It is shown that a phase transition does occur at alpha=2 for every p in the interval [1,2]. For p>2 we are unable to determine the answer, but estimates are provided for the possible location of such a phase transition. We also study the analogous problem for isometric embedding and show that for every 1<p<infinity there are arbitrarily large metric spaces, no four points of which embed isometrically in l_p.

math.MG↗