Lehmer's Conjecture
   HOME
*





Lehmer's Conjecture
Lehmer's conjecture, also known as the Lehmer's Mahler measure problem, is a problem in number theory raised by Derrick Henry Lehmer. The conjecture asserts that there is an absolute constant \mu>1 such that every polynomial with integer coefficients P(x)\in\mathbb /math> satisfies one of the following properties: * The Mahler measure \mathcal(P(x)) of P(x) is greater than or equal to \mu. * P(x) is an integral multiple of a product of cyclotomic polynomials or the monomial x, in which case \mathcal(P(x))=1. (Equivalently, every complex root of P(x) is a root of unity or zero.) There are a number of definitions of the Mahler measure, one of which is to factor P(x) over \mathbb as :P(x)=a_0 (x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_D), and then set :\mathcal(P(x)) = , a_0, \prod_^ \max(1,, \alpha_i, ). The smallest known Mahler measure (greater than 1) is for "Lehmer's polynomial" :P(x)= x^+x^9-x^7-x^6-x^5-x^4-x^3+x+1 \,, for which the Mahler measure is the Salem number :\m ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Number Theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics."German original: "Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik." Number theorists study prime numbers as well as the properties of mathematical objects made out of integers (for example, rational numbers) or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory are often best understood through the study of Complex analysis, analytical objects (for example, the Riemann zeta function) that encode properties of the integers, primes ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Reciprocal Polynomial
In algebra, given a polynomial :p(x) = a_0 + a_1x + a_2x^2 + \cdots + a_nx^n, with coefficients from an arbitrary field, its reciprocal polynomial or reflected polynomial,* denoted by or , is the polynomial :p^*(x) = a_n + a_x + \cdots + a_0x^n = x^n p(x^). That is, the coefficients of are the coefficients of in reverse order. They 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 :p(z) = a_0 + a_1z + a_2z^2 + \cdots + a_nz^n, the conjugate reciprocal polynomial, denoted , is defined by, :p^(z) = \overline + \overlinez + \cdots + \overlinez^n = z^n\overline, where \overline denotes the complex conjugate of a_i, and is also called the reciprocal polynomial when no confusion can arise. A polynomial is called self-reciprocal or palindromic if . The coefficients of a self-reciprocal polynomial satisfy for all . Properties Reciprocal polynomials have several connec ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Israel Journal Of Mathematics
'' Israel Journal of Mathematics'' is a peer-reviewed mathematics journal published by the Hebrew University of Jerusalem (Magnes Press). Founded in 1963, as a continuation of the ''Bulletin of the Research Council of Israel'' (Section F), the journal publishes articles on all areas of mathematics. The journal is indexed by ''Mathematical Reviews'' and Zentralblatt MATH. Its 2009 MCQ was 0.70, and its 2009 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as i ... was 0.754. External links * Mathematics journals Publications established in 1963 English-language journals Bimonthly journals Hebrew University of Jerusalem {{math-journal-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors are Camillo De Lellis (Institute for Advanced Study, Princeton) and Jean-Benoît Bost (University of Paris-Sud Paris-Sud University (French: ''Université Paris-Sud''), also known as University of Paris — XI (or as Université d'Orsay before 1971), was a French research university distributed among several campuses in the southern suburbs of Paris, in ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Publications established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object. Definition In the context of abstract algebra, a mathematical object is an algebraic structure such as a group, ring, or vector space. An automorphism is simply a bijective homomorphism of an object with itself. (The definition of a homomorphism depends on the type of algebraic structure; see, for example, group homomorphism, ring homomorphism, and linear operator.) The identity morphism (identity mapping) is called the trivial automorphism in some contexts. Respectively, other (non-identity) automorphisms are called nontrivial automorphisms. The exact definition of an automorphism depends on the type of "mathematical ob ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Measure-theoretic Entropy
In mathematics, a measure-preserving dynamical system is an object of study in the abstract formulation of dynamical systems, and ergodic theory in particular. Measure-preserving systems obey the Poincaré recurrence theorem, and are a special case of conservative systems. They provide the formal, mathematical basis for a broad range of physical systems, and, in particular, many systems from classical mechanics (in particular, most non-dissipative systems) as well as systems in thermodynamic equilibrium. Definition A measure-preserving dynamical system is defined as a probability space and a measure-preserving transformation on it. In more detail, it is a system :(X, \mathcal, \mu, T) with the following structure: *X is a set, *\mathcal B is a σ-algebra over X, *\mu:\mathcal\rightarrow ,1/math> is a probability measure, so that \mu (X) = 1, and \mu(\varnothing) = 0, * T:X \rightarrow X is a measurable transformation which preserves the measure \mu, i.e., \forall A\in \m ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Galois Extension
In mathematics, a Galois extension is an algebraic field extension ''E''/''F'' that is normal and separable; or equivalently, ''E''/''F'' is algebraic, and the field fixed by the automorphism group Aut(''E''/''F'') is precisely the base field ''F''. The significance of being a Galois extension is that the extension has a Galois group and obeys the fundamental theorem of Galois theory. A result of Emil Artin allows one to construct Galois extensions as follows: If ''E'' is a given field, and ''G'' is a finite group of automorphisms of ''E'' with fixed field ''F'', then ''E''/''F'' is a Galois extension. Characterization of Galois extensions An important theorem of Emil Artin states that for a finite extension E/F, each of the following statements is equivalent to the statement that E/F is Galois: *E/F is a normal extension and a separable extension. *E is a splitting field of a separable polynomial with coefficients in F. *, \!\operatorname(E/F), = :F that is, the number o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Joseph H
Joseph is a common male given name, derived from the Hebrew Yosef (יוֹסֵף). "Joseph" is used, along with "Josef", mostly in English, French and partially German languages. This spelling is also found as a variant in the languages of the modern-day Nordic countries. In Portuguese and Spanish, the name is "José". In Arabic, including in the Quran, the name is spelled '' Yūsuf''. In Persian, the name is "Yousef". The name has enjoyed significant popularity in its many forms in numerous countries, and ''Joseph'' was one of the two names, along with ''Robert'', to have remained in the top 10 boys' names list in the US from 1925 to 1972. It is especially common in contemporary Israel, as either "Yossi" or "Yossef", and in Italy, where the name "Giuseppe" was the most common male name in the 20th century. In the first century CE, Joseph was the second most popular male name for Palestine Jews. In the Book of Genesis Joseph is Jacob's eleventh son and Rachel's first son, and k ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

J-invariant
In mathematics, Felix Klein's -invariant or function, regarded as a function of a Complex analysis, complex variable , is a modular function of weight zero for defined on the upper half-plane of complex numbers. It is the unique such function which is Holomorphic function, holomorphic away from a simple pole at the Cusp (singularity), cusp such that :j\left(e^\right) = 0, \quad j(i) = 1728 = 12^3. Rational functions of are modular, and in fact give all modular functions. Classically, the -invariant was studied as a parameterization of elliptic curves over , but it also has surprising connections to the symmetries of the Monster group (this connection is referred to as monstrous moonshine). Definition The -invariant can be defined as a function on the upper half-plane :j(\tau) = 1728 \frac = 1728 \frac = 1728 \frac with the third definition implying j(\tau) can be expressed as a Cube (algebra), cube, also since 1728 (number), 1728 = 12^3. The given functions are ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


David Masser
David William Masser (born 8 November 1948) is Professor Emeritus in the Department of Mathematics and Computer Science at the University of Basel. He is known for his work in transcendental number theory, Diophantine approximation, and Diophantine geometry. With Joseph Oesterlé in 1985, Masser formulated the abc conjecture, which has been called "the most important unsolved problem in Diophantine analysis".. Early life and education Masser was born on 8 November 1948 in London, England. He graduated from Trinity College, Cambridge with a B.A. (Hons) in 1970. In 1974, he obtained his M.A. and Ph.D. at the University of Cambridge, with a doctoral thesis under the supervision of Alan Baker titled ''Elliptic Functions and Transcendence''. Career Masser was a Lecturer at the University of Nottingham from 1973 to 1975, before spending the 1975-1976 year as a Research Fellow of Trinity College at the University of Cambridge. He returned to the University of Nottingham to serve as a L ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Complex Multiplication
In mathematics, complex multiplication (CM) is the theory of elliptic curves ''E'' that have an endomorphism ring larger than the integers. Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer lattice or Eisenstein integer lattice. It has an aspect belonging to the theory of special functions, because such elliptic functions, or abelian functions of several complex variables, are then 'very special' functions satisfying extra identities and taking explicitly calculable special values at particular points. It has also turned out to be a central theme in algebraic number theory, allowing some features of the theory of cyclotomic fields to be carried over to wider areas of application. David Hilbert is said to have remarked that the theory of complex multiplication of elliptic curves was not only the most beautiful part of mathematics but of all science. There is also the higher-dime ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Torsion Point
In mathematics, specifically in ring theory, a torsion element is an element of a module that yields zero when multiplied by some non-zero-divisor of the ring. The torsion submodule of a module is the submodule formed by the torsion elements. A torsion module is a module that equals its torsion submodule. A module is torsion-free if its torsion submodule comprises only the zero element. This terminology is more commonly used for modules over a domain, that is, when the regular elements of the ring are all its nonzero elements. This terminology applies to abelian groups (with "module" and "submodule" replaced by "group" and "subgroup"). This is allowed by the fact that the abelian groups are the modules over the ring of integers (in fact, this is the origin of the terminology, that has been introduced for abelian groups before being generalized to modules). In the case of groups that are noncommutative, a ''torsion element'' is an element of finite order. Contrary to the commuta ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]