Hermite Constant
In mathematics, the Hermite constant, named after Charles Hermite, determines how short an element of a lattice in Euclidean space can be. The constant ''γn'' for integers ''n'' > 0 is defined as follows. For a lattice ''L'' in Euclidean space R''n'' with unit covolume, i.e. vol(R''n''/''L'') = 1, let ''λ''1(''L'') denote the least length of a nonzero element of ''L''. Then is the maximum of ''λ''1(''L'') over all such lattices ''L''. The square root in the definition of the Hermite constant is a matter of historical convention. Alternatively, the Hermite constant ''γn'' can be defined as the square of the maximal systole of a flat ''n''-dimensional torus of unit volume. Example The Hermite constant is known in dimensions 1–8 and 24. For ''n'' = 2, one has ''γ''2 = . This value is attained by the hexagonal lattice of the Eisenstein integers. Estimates It is known thatKitaoka (1993) p. 36 :\gamma_n \le \left( \frac 4 3 \right)^\frac. A stronger estim ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Charles Hermite
Charles Hermite () FRS FRSE MIAS (24 December 1822 – 14 January 1901) was a French mathematician who did research concerning number theory, quadratic forms, invariant theory, orthogonal polynomials, elliptic functions, and algebra. Hermite polynomials, Hermite interpolation, Hermite normal form, Hermitian operators, and cubic Hermite splines are named in his honor. One of his students was Henri Poincaré. He was the first to prove that '' e'', the base of natural logarithms, is a transcendental number. His methods were used later by Ferdinand von Lindemann to prove that π is transcendental. Life Hermite was born in Dieuze, Moselle, on 24 December 1822, with a deformity in his right foot that would impair his gait throughout his life. He was the sixth of seven children of Ferdinand Hermite and his wife, Madeleine née Lallemand. Ferdinand worked in the drapery business of Madeleine's family while also pursuing a career as an artist. The drapery business relocate ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lattice (group)
In geometry and group theory, a lattice in the real coordinate space \mathbb^n is an infinite set of points in this space with the properties that coordinate wise addition or subtraction of two points in the lattice produces another lattice point, that the lattice points are all separated by some minimum distance, and that every point in the space is within some maximum distance of a lattice point. Closure under addition and subtraction means that a lattice must be a subgroup of the additive group of the points in the space, and the requirements of minimum and maximum distance can be summarized by saying that a lattice is a Delone set. More abstractly, a lattice can be described as a free abelian group of dimension n which spans the vector space \mathbb^n. For any basis of \mathbb^n, the subgroup of all linear combinations with integer coefficients of the basis vectors forms a lattice, and every lattice can be formed from a basis in this way. A lattice may be viewed as a regula ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Euclidean Space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension (mathematics), dimension, including the three-dimensional space and the ''Euclidean plane'' (dimension two). The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics. Ancient History of geometry#Greek geometry, Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the Greek mathematics, ancient Greek mathematician Euclid in his ''Elements'', with the great innovation of ''mathematical proof, proving'' all properties of the space as theorems, by starting from a few fundamental properties, called ''postulates'', which either were considered as eviden ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Square Root
In mathematics, a square root of a number is a number such that ; in other words, a number whose ''square'' (the result of multiplying the number by itself, or ⋅ ) is . For example, 4 and −4 are square roots of 16, because . Every nonnegative real number has a unique nonnegative square root, called the ''principal square root'', which is denoted by \sqrt, where the symbol \sqrt is called the ''radical sign'' or ''radix''. For example, to express the fact that the principal square root of 9 is 3, we write \sqrt = 3. The term (or number) whose square root is being considered is known as the ''radicand''. The radicand is the number or expression underneath the radical sign, in this case 9. For nonnegative , the principal square root can also be written in exponent notation, as . Every positive number has two square roots: \sqrt, which is positive, and -\sqrt, which is negative. The two roots can be written more concisely using the ± sign as \plusmn\sqrt. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Systolic Geometry
In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also a slower-paced Introduction to systolic geometry. The notion of systole The ''systole'' of a compact metric space ''X'' is a metric invariant of ''X'', defined to be the least length of a noncontractible loop in ''X'' (i.e. a loop that cannot be contracted to a point in the ambient space ''X''). In more technical language, we minimize length over free loops representing nontrivial conjugacy classes in the fundamental group of ''X''. When ''X'' is a graph, the invariant is usually referred to as the girth, ever since the 1947 article on girth by W. T. Tutte. Possibly inspired by Tutte's article, Loewner started thinking about systolic questions on surfaces in the la ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a spindle torus. If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. Real-world objects that approximate a torus of revolution include swim rings, inner tubes and ringette rings. Eyeglass lenses that combine spherical and cylindrical correction are toric lenses. A torus should not be confused with a '' solid torus'', which is formed by r ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hexagonal Lattice
The hexagonal lattice or triangular lattice is one of the five two-dimensional Bravais lattice types. The symmetry category of the lattice is wallpaper group p6m. The primitive translation vectors of the hexagonal lattice form an angle of 120° and are of equal lengths, : , \mathbf a_1, = , \mathbf a_2, = a. The reciprocal lattice of the hexagonal lattice is a hexagonal lattice in reciprocal space with orientation changed by 90° and primitive lattice vectors of length : g=\frac. Honeycomb point set The honeycomb point set is a special case of the hexagonal lattice with a two-atom basis. The centers of the hexagons of a honeycomb form a hexagonal lattice, and the honeycomb point set can be seen as the union of two offset triangular lattices. In nature, carbon atoms of the two-dimensional material graphene are arranged in a honeycomb point set. Crystal classes The ''hexagonal lattice'' class names, Schönflies notation, Hermann-Mauguin notation, orbifold notat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Eisenstein Integers
In mathematics, the Eisenstein integers (named after Gotthold Eisenstein), occasionally also known as Eulerian integers (after Leonhard Euler), are the complex numbers of the form :z = a + b\omega , where and are integers and :\omega = \frac = e^ is a primitive (hence non-real) cube root of unity. The Eisenstein integers form a triangular lattice in the complex plane, in contrast with the Gaussian integers, which form a square lattice in the complex plane. The Eisenstein integers are a countably infinite set. Properties The Eisenstein integers form a commutative ring of algebraic integers in the algebraic number field \mathbb(\omega) — the third cyclotomic field. To see that the Eisenstein integers are algebraic integers note that each is a root of the monic polynomial :z^2 - (2a - b)\;\!z + \left(a^2 - ab + b^2\right)~. In particular, satisfies the equation :\omega^2 + \omega + 1 = 0~. The product of two Eisenstein integers and is given explicitly by :(a + b\;\! ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hans Frederick Blichfeldt
Hans Frederick Blichfeldt (1873–1945) was a Danish-American mathematician at Stanford University, known for his contributions to group theory, the representation theory of finite groups, the geometry of numbers, sphere packing, and quadratic forms. He is the namesake of Blichfeldt's theorem. Life Blichfeldt was one of five children of a Danish farming couple, Erhard Christoffer Laurentius Blichfeldt and Nielsine Maria Schlaper; many of his father's ancestors were ministers. He was born on January 9, 1873 in Iller, a village in the Sønderborg Municipality of Denmark. In 1881, the family moved to Copenhagen. In 1888, he passed with high honors the entrance examinations for the University of Copenhagen, but his family was unable to afford sending him to the university. Instead, later the same year, they moved again to the US. He worked for several years as a lumberman, a railway worker, a traveling surveyor, and then as a government draftsman in Bellingham, Washington. In 189 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gamma Function
In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer , \Gamma(n) = (n-1)!\,. Derived by Daniel Bernoulli, for complex numbers with a positive real part, the gamma function is defined via a convergent improper integral: \Gamma(z) = \int_0^\infty t^ e^\,dt, \ \qquad \Re(z) > 0\,. The gamma function then is defined as the analytic continuation of this integral function to a meromorphic function that is holomorphic in the whole complex plane except zero and the negative integers, where the function has simple poles. The gamma function has no zeroes, so the reciprocal gamma function is an entire function. In fact, the gamma function corresponds to the Mellin transform of the negative exponential function: \Gamma(z) = \mathcal M \ (z ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Loewner's Torus Inequality
In differential geometry, Loewner's torus inequality is an inequality due to Charles Loewner. It relates the systole and the area of an arbitrary Riemannian metric on the 2-torus. Statement In 1949 Charles Loewner proved that every metric on the 2-torus \mathbb T^2 satisfies the optimal inequality : \operatorname^2 \leq \frac \operatorname(\mathbb T^2), where "sys" is its systole, i.e. least length of a noncontractible loop. The constant appearing on the right hand side is the Hermite constant \gamma_2 in dimension 2, so that Loewner's torus inequality can be rewritten as : \operatorname^2 \leq \gamma_2\;\operatorname(\mathbb T^2). The inequality was first mentioned in the literature in . Case of equality The boundary case of equality is attained if and only if the metric is flat and homothetic to the so-called ''equilateral torus'', i.e. torus whose group of deck transformations is precisely the hexagonal lattice spanned by the cube roots of unity in \mathbb C. Alter ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |