Search This Blog

Saturday, April 13, 2024

Minkowski's theorem

From Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Minkowski%27s_theorem

 
A set in 2 satisfying the hypotheses of Minkowski's theorem.

In mathematics, Minkowski's theorem is the statement that every convex set in which is symmetric with respect to the origin and which has volume greater than contains a non-zero integer point (meaning a point in 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 and to any symmetric convex set with volume greater than , where denotes the covolume of the lattice (the absolute value of the determinant of any of its bases).

Formulation

Suppose that L is a lattice of determinant d(L) in the n-dimensional real vector space and S is a convex subset of that is symmetric with respect to the origin, meaning that if x is in S then x is also in S. Minkowski's theorem states that if the volume of S is strictly greater than 2n d(L), then S must contain at least one lattice point other than the origin. (Since the set S is symmetric, it would then contain at least three lattice points: the origin 0 and a pair of points ± x, where xL \ 0.)

Example

The simplest example of a lattice is the integer lattice of all points with integer coefficients; its determinant is 1. For n = 2, the theorem claims that a convex figure in the Euclidean plane symmetric about the origin and with area greater than 4 encloses at least one lattice point in addition to the origin. The area bound is sharp: if S is the interior of the square with vertices (±1, ±1) then S is symmetric and convex, and has area 4, but the only lattice point it contains is the origin. This example, showing that the bound of the theorem is sharp, generalizes to hypercubes in every dimension n.

Proof

The following argument proves Minkowski's theorem for the specific case of

Proof of the case: Consider the map

Intuitively, this map cuts the plane into 2 by 2 squares, then stacks the squares on top of each other. Clearly f (S) has area less than or equal to 4, because this set lies within a 2 by 2 square. Assume for a contradiction that f could be injective, which means the pieces of S cut out by the squares stack up in a non-overlapping way. Because f is locally area-preserving, this non-overlapping property would make it area-preserving for all of S, so the area of f (S) would be the same as that of S, which is greater than 4. That is not the case, so the assumption must be false: f is not injective, meaning that there exist at least two distinct points p1, p2 in S that are mapped by f to the same point: f (p1) = f (p2).

Because of the way f was defined, the only way that f (p1) can equal f (p2) is for p2 to equal p1 + (2i, 2j) for some integers i and j, not both zero. That is, the coordinates of the two points differ by two even integers. Since S is symmetric about the origin, p1 is also a point in S. Since S is convex, the line segment between p1 and p2 lies entirely in S, and in particular the midpoint of that segment lies in S. In other words,

is a point in S. But this point (i, j) is an integer point, and is not the origin since i and j are not both zero. Therefore, S contains a nonzero integer point.

Remarks:

  • The argument above proves the theorem that any set of volume contains two distinct points that differ by a lattice vector. This is a special case of Blichfeldt's theorem.
  • The argument above highlights that the term is the covolume of the lattice .
  • To obtain a proof for general lattices, it suffices to prove Minkowski's theorem only for ; this is because every full-rank lattice can be written as for some linear transformation , and the properties of being convex and symmetric about the origin are preserved by linear transformations, while the covolume of is and volume of a body scales by exactly under an application of .

Applications

Bounding the shortest vector

Minkowski's theorem gives an upper bound for the length of the shortest nonzero vector. This result has applications in lattice cryptography and number theory.

Theorem (Minkowski's bound on the shortest vector): Let be a lattice. Then there is a with . In particular, by the standard comparison between and norms, .

Proof

Let , and set . Then . If , then contains a non-zero lattice point, which is a contradiction. Thus . Q.E.D.

Remarks:

  • The constant in the bound can be improved, for instance by taking the open ball of radius as in the above argument. The optimal constant is known as the Hermite constant.
  • The bound given by the theorem can be very loose, as can be seen by considering the lattice generated by . But it cannot be further improved in the sense that there exists a global constant such that there exists an -dimensional lattice satisfying for all . Furthermore, such lattice can be self-dual. 
  • Even though Minkowski's theorem guarantees a short lattice vector within a certain magnitude bound, finding this vector is in general a hard computational problem. Finding the vector within a factor guaranteed by Minkowski's bound is referred to as Minkowski's Vector Problem (MVP), and it is known that approximation SVP reduces to it using transference properties of the dual lattice. The computational problem is also sometimes referred to as HermiteSVP.
  • The LLL-basis reduction algorithm can be seen as a weak but efficiently algorithmic version of Minkowski's bound on the shortest vector. This is because a -LLL reduced basis for has the property that ; see these lecture notes of Micciancio for more on this. As explained in, proofs of bounds on the Hermite constant contain some of the key ideas in the LLL-reduction algorithm.

Applications to number theory

Primes that are sums of two squares

The difficult implication in Fermat's theorem on sums of two squares can be proven using Minkowski's bound on the shortest vector.

Theorem: Every prime with can be written as a sum of two squares.

Proof

Since and is a quadratic residue modulo a prime if and only if (Euler's Criterion) there is a square root of in ; choose one and call one representative in for it . Consider the lattice defined by the vectors , and let denote the associated matrix. The determinant of this lattice is , whence Minkowski's bound tells us that there is a nonzero with . We have and we define the integers . Minkowski's bound tells us that , and simple modular arithmetic shows that , and thus we conclude that . Q.E.D.

Reciprocal polynomial

From Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Reciprocal_polynomial

In algebra, given a polynomial

with coefficients from an arbitrary field, its reciprocal polynomial or reflected polynomial, denoted by p or pRis the polynomial

That is, the coefficients of p are the coefficients of p in reverse order. Reciprocal polynomials arise naturally in linear algebra as the characteristic polynomial of the inverse of a matrix.

In the special case where the field is the complex numbers, when

the conjugate reciprocal polynomial, denoted p, is defined by,

where denotes the complex conjugate of , and is also called the reciprocal polynomial when no confusion can arise.

A polynomial p is called self-reciprocal or palindromic if p(x) = p(x). The coefficients of a self-reciprocal polynomial satisfy ai = ani for all i.

Properties

Reciprocal polynomials have several connections with their original polynomials, including:

  1. deg p = deg p if is not 0.
  2. p(x) = xnp(x−1).
  3. α is a root of a polynomial p if and only if α−1 is a root of p.
  4. If p(x) ≠ x then p is irreducible if and only if p is irreducible.
  5. p is primitive if and only if p is primitive.

Other properties of reciprocal polynomials may be obtained, for instance:

  • A self-reciprocal polynomial of odd degree is divisible by x+1, hence is not irreducible if its degree is > 1.

Palindromic and antipalindromic polynomials

A self-reciprocal polynomial is also called palindromic because its coefficients, when the polynomial is written in the order of ascending or descending powers, form a palindrome. That is, if

is a polynomial of degree n, then P is palindromic if ai = ani for i = 0, 1, ..., n.

Similarly, a polynomial P of degree n is called antipalindromic if ai = −ani for i = 0, 1, ..., n. That is, a polynomial P is antipalindromic if P(x) = –P(x).

Examples

From the properties of the binomial coefficients, it follows that the polynomials P(x) = (x + 1)n are palindromic for all positive integers n, while the polynomials Q(x) = (x – 1)n are palindromic when n is even and antipalindromic when n is odd.

Other examples of palindromic polynomials include cyclotomic polynomials and Eulerian polynomials.

Properties

  • If a is a root of a polynomial that is either palindromic or antipalindromic, then 1/a is also a root and has the same multiplicity.
  • The converse is true: If a polynomial is such that a is a root then if 1/a is also a root of the same multiplicity, then the polynomial is either palindromic or antipalindromic.
  • For any polynomial q, the polynomial q + q is palindromic and the polynomial qq is antipalindromic.
  • It follows that any polynomial q can be written as the sum of a palindromic and an antipalindromic polynomial, since q = (q + q)/2 + (qq)/2.
  • The product of two palindromic or antipalindromic polynomials is palindromic.
  • The product of a palindromic polynomial and an antipalindromic polynomial is antipalindromic.
  • A palindromic polynomial of odd degree is a multiple of x + 1 (it has –1 as a root) and its quotient by x + 1 is also palindromic.
  • An antipalindromic polynomial over a field k with odd characteristic is a multiple of x – 1 (it has 1 as a root) and its quotient by x – 1 is palindromic.
  • An antipalindromic polynomial of even degree is a multiple of x2 – 1 (it has −1 and 1 as roots) and its quotient by x2 – 1 is palindromic.
  • If p(x) is a palindromic polynomial of even degree 2d, then there is a polynomial q of degree d such that p(x) = xdq(x + 1/x).
  • If p(x) is a monic antipalindromic polynomial of even degree 2d over a field k of odd characteristic, then it can be written uniquely as p(x) = xd(Q(x) − Q(1/x)), where Q is a monic polynomial of degree d with no constant term.
  • If an antipalindromic polynomial P has even degree 2n over a field k of odd characteristic, then its "middle" coefficient (of power n) is 0 since an = −a2n – n.

Real coefficients

A polynomial with real coefficients all of whose complex roots lie on the unit circle in the complex plane (that is, all the roots have modulus 1) is either palindromic or antipalindromic.

Conjugate reciprocal polynomials

A polynomial is conjugate reciprocal if and self-inversive if for a scale factor ω on the unit circle.

If p(z) is the minimal polynomial of z0 with |z0| = 1, z0 ≠ 1, and p(z) has real coefficients, then p(z) is self-reciprocal. This follows because

So z0 is a root of the polynomial which has degree n. But, the minimal polynomial is unique, hence

for some constant c, i.e. . Sum from i = 0 to n and note that 1 is not a root of p. We conclude that c = 1.

A consequence is that the cyclotomic polynomials Φn are self-reciprocal for n > 1. This is used in the special number field sieve to allow numbers of the form x11 ± 1, x13 ± 1, x15 ± 1 and x21 ± 1 to be factored taking advantage of the algebraic factors by using polynomials of degree 5, 6, 4 and 6 respectively – note that φ (Euler's totient function) of the exponents are 10, 12, 8 and 12.

Per Cohn's theorem, a self-inversive polynomial has as many roots in the unit disk as the reciprocal polynomial of its derivative.

Application in coding theory

The reciprocal polynomial finds a use in the theory of cyclic error correcting codes. Suppose xn − 1 can be factored into the product of two polynomials, say xn − 1 = g(x)p(x). When g(x) generates a cyclic code C, then the reciprocal polynomial p generates C, the orthogonal complement of C. Also, C is self-orthogonal (that is, CC), if and only if p divides g(x).

Introduction to entropy

From Wikipedia, the free encyclopedia https://en.wikipedia.org/wiki/Introduct...