|
Ehrhart's Volume Conjecture
In the geometry of numbers, Ehrhart's volume conjecture gives an upper bound on the volume of a convex body containing only one lattice point in its interior. It is a kind of converse to Minkowski's theorem, which guarantees that a centrally symmetric convex body ''K'' must contain a lattice point as soon as its volume exceeds 2^n. The conjecture states that a convex body ''K'' containing only one lattice point in its interior as its Center_of_mass, barycenter cannot have volume greater than (n+1)^n/n!: :\operatorname(K) \le \frac. Equality is achieved in this inequality when K=(n+1)\Delta_n is a copy of the standard simplex in Euclidean ''n''-dimensional space, whose sides are scaled up by a factor of n+1. Equivalently, K=(n+1)\Delta_n is congruent to the convex hull of the vectors -\sum_^n \mathbf_i, and (n+1)\mathbf_j - \sum_^n \mathbf_i for all j=1,\ldots,n . Presented in this manner, the origin is the only lattice point interior to the convex body ''K''. The conjecture, f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry Of Numbers
Geometry of numbers is the part of number theory which uses geometry for the study of algebraic numbers. Typically, a ring of algebraic integers is viewed as a lattice in \mathbb R^n, and the study of these lattices provides fundamental information on algebraic numbers. The geometry of numbers was initiated by . The geometry of numbers has a close relationship with other fields of mathematics, especially functional analysis and Diophantine approximation, the problem of finding rational numbers that approximate an irrational quantity. Minkowski's results Suppose that \Gamma is a lattice in n-dimensional Euclidean space \mathbb^n and K is a convex centrally symmetric body. Minkowski's theorem, sometimes called Minkowski's first theorem, states that if \operatorname (K)>2^n \operatorname(\mathbb^n/\Gamma), then K contains a nonzero vector in \Gamma. The successive minimum \lambda_k is defined to be the inf of the numbers \lambda such that \lambda K contains k linearly independ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convex Body
In mathematics, a convex body in n-dimensional Euclidean space \R^n is a compact convex set with non-empty interior. A convex body K is called symmetric if it is centrally symmetric with respect to the origin; that is to say, a point x lies in K if and only if its antipode, - x also lies in K. Symmetric convex bodies are in a one-to-one correspondence with the unit balls of norms on \R^n. Important examples of convex bodies are the Euclidean ball, the hypercube In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, ... and the cross-polytope. See also * * References * {{Authority control Multi-dimensional geometry ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Minkowski's Theorem
In mathematics, Minkowski's theorem is the statement that every convex set in \mathbb^n which is symmetric with respect to the origin and which has volume greater than 2^n contains a non-zero integer point (meaning a point in \Z^n that is not the origin). The theorem was proved by Hermann Minkowski in 1889 and became the foundation of the branch of number theory called the geometry of numbers. It can be extended from the integers to any lattice L and to any symmetric convex set with volume greater than 2^n\,d(L), where d(L) denotes the covolume of the lattice (the absolute value of the determinant of any of its bases). Formulation Suppose that is a lattice of determinant in the - dimensional real vector space and is a convex subset of that is symmetric with respect to the origin, meaning that if is in then is also in . Minkowski's theorem states that if the volume of is strictly greater than , then must contain at least one lattice point other than the origin. (Sin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Center Of Mass
In physics, the center of mass of a distribution of mass in space (sometimes referred to as the balance point) is the unique point where the weighted relative position of the distributed mass sums to zero. This is the point to which a force may be applied to cause a linear acceleration without an angular acceleration. Calculations in mechanics are often simplified when formulated with respect to the center of mass. It is a hypothetical point where the entire mass of an object may be assumed to be concentrated to visualise its motion. In other words, the center of mass is the particle equivalent of a given object for application of Newton's laws of motion. In the case of a single rigid body, the center of mass is fixed in relation to the body, and if the body has uniform density, it will be located at the centroid. The center of mass may be located outside the physical body, as is sometimes the case for hollow or open-shaped objects, such as a horseshoe. In the case of a dist ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Standard Simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. For example, * a 0-dimensional simplex is a point, * a 1-dimensional simplex is a line segment, * a 2-dimensional simplex is a triangle, * a 3-dimensional simplex is a tetrahedron, and * a 4-dimensional simplex is a 5-cell. Specifically, a ''k''-simplex is a ''k''-dimensional polytope which is the convex hull of its ''k'' + 1 vertices. More formally, suppose the ''k'' + 1 points u_0, \dots, u_k \in \mathbb^ are affinely independent, which means u_1 - u_0,\dots, u_k-u_0 are linearly independent. Then, the simplex determined by them is the set of points : C = \left\ This representation in terms of weighted vertices is known as the barycentric coordinate system. A regular simplex is a simplex that is also a regular polytope. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry Of Numbers
Geometry of numbers is the part of number theory which uses geometry for the study of algebraic numbers. Typically, a ring of algebraic integers is viewed as a lattice in \mathbb R^n, and the study of these lattices provides fundamental information on algebraic numbers. The geometry of numbers was initiated by . The geometry of numbers has a close relationship with other fields of mathematics, especially functional analysis and Diophantine approximation, the problem of finding rational numbers that approximate an irrational quantity. Minkowski's results Suppose that \Gamma is a lattice in n-dimensional Euclidean space \mathbb^n and K is a convex centrally symmetric body. Minkowski's theorem, sometimes called Minkowski's first theorem, states that if \operatorname (K)>2^n \operatorname(\mathbb^n/\Gamma), then K contains a nonzero vector in \Gamma. The successive minimum \lambda_k is defined to be the inf of the numbers \lambda such that \lambda K contains k linearly independ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convex Analysis
Convex analysis is the branch of mathematics devoted to the study of properties of convex functions and convex sets, often with applications in convex minimization, a subdomain of optimization theory. Convex sets A subset C \subseteq X of some vector space X is if it satisfies any of the following equivalent conditions: #If 0 \leq r \leq 1 is real and x, y \in C then r x + (1 - r) y \in C. #If 0 is a if holds for any real 0 is called if \operatorname f \neq \varnothing and f(x) > -\infty for x \in \operatorname f. Alternatively, this means that there exists some x in the domain of f at which f(x) \in \mathbb and f is also equal to -\infty. In words, a function is if its domain is not empty, it never takes on the value -\infty, and it also is not identically equal to +\infty. If f : \mathbb^n \to \infty, \infty/math> is a proper convex function then there exist some vector b \in \mathbb^n and some r \in \mathbb such that :f(x) \geq x \cdot b - r for every x where ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
