Superreal number: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Lockley
m remove context tag
 
en>Vorpal22
m Formal Definition: Removed bizarre leading comma and standardized "hyper-real" to hyperreal.
Line 1: Line 1:
Friends call him Royal Cummins. Delaware is the only location I've been residing in. The thing I adore most flower arranging and now I have time to take on new things. I am a production and distribution officer.<br><br>Feel free to surf to my blog post: [http://Thesushichef.ca/xe/index.php?document_srl=50069&mid=photo extended auto warranty]
In [[mathematics]], a [[real number|real]] [[algebraic integer]] α > 1 is a '''Salem number''' if all its [[conjugate roots]] have [[absolute value]] no greater than 1, and at least one has [[absolute value]] exactly 1. Salem numbers are of interest in [[Diophantine approximation]] and [[harmonic analysis]]. They are named after [[Raphaël Salem]].
 
== Properties ==
 
Because it has a root of [[absolute value]] 1, the [[minimal polynomial (field theory)|minimal polynomial]] for a Salem number must be [[reciprocal polynomial|reciprocal]]. This implies that 1/α is also a root, and that all other roots have [[absolute value]] exactly one. As a consequence α must be a [[Unit (ring theory)|unit]] in the ring of [[algebraic integer]]s, being of [[field norm|norm]] 1.
 
Every Salem number is a [[Perron number]] (a real algebraic number greater than one all of whose conjugates have smaller absolute value).
 
== Relation with Pisot–Vijayaraghavan numbers==
 
The smallest known Salem number is the largest [[real root]] of '''Lehmer's polynomial'''<!-- redirects here --> (named after [[Derrick Henry Lehmer]])
 
:<math>P(x) = x^{10} + x^9 -x^7 -x^6 -x^5 -x^4 -x^3 +x +1,</math>
 
which is about x = 1.17628: it is conjectured that it is indeed the smallest Salem number, and the smallest possible [[Mahler measure]] of an irreducible non-cyclotomic polynomial.<ref>Borwein (2002) p.16</ref>
 
Lehmer's polynomial is a factor of the shorter 12th-degree polynomial,
 
:<math>Q(x) = x^{12} - x^7 - x^6 - x^5 + 1,</math>
 
all twelve roots of which satisfy the relation<ref>D. Bailey and D. Broadhurst, [http://crd-legacy.lbl.gov/~dhbailey/dhbpapers/ladder.pdf A Seventeenth Order Polylogarithm Ladder]</ref>
 
:<math>x^{630}-1 = \frac{(x^{315}-1)(x^{210}-1)(x^{126}-1)^2(x^{90}-1)(x^{3}-1)^3(x^{2}-1)^5(x-1)^3 }{(x^{35}-1)(x^{15}-1)^2(x^{14}-1)^2(x^{5}-1)^6\,x^{68}}</math>
 
Salem numbers can be constructed from [[Pisot–Vijayaraghavan number]]s. To recall, the smallest of the latter is the unique real root of the cubic polynomial,
 
:<math> x^3 - x - 1, </math>
 
known as the ''[[plastic number]]'' and approximately equal to 1.324718. This can be used to generate a family of  Salem numbers including the smallest one found so far.  The general approach is to take the minimal polynomial ''P''(''x'') of a Pisot–Vijayaraghavan number and its [[reciprocal polynomial]], P*(''x''), to form the equation,
 
:<math>x^n P(x) = \pm P^{*}(x) \, </math>
 
for integral ''n'' above a bound. Subtracting one side from the other, factoring, and disregarding trivial factors will then yield the minimal polynomial of certain Salem numbers. For example, using the negative case of the above,
 
:<math>x^n(x^3-x-1) = -(x^3+x^2-1) </math>
 
then for ''n'' = 8, this factors as,
 
:<math>(x-1)(x^{10} + x^9 -x^7 -x^6 -x^5 -x^4 -x^3 +x +1) = 0 </math>
 
where the [[Decic equation|decic]] is Lehmer's polynomial. Using higher ''n'' will yield a family with a root approaching the [[plastic number]]. This can be better understood by taking ''n''th roots of both sides,
 
:<math>x(x^3-x-1)^{1/n} = \pm (x^3+x^2-1)^{1/n} </math>
 
so as ''n'' goes higher, ''x'' will approach the solution of <math>x^3-x-1 = 0</math>.  If the positive case is used, then ''x'' approaches the plastic number from the opposite direction.  Using the minimal polynomial of the next smallest Pisot–Vijayaraghavan number gives,
 
:<math> x^n (x^4-x^3-1) = -(x^4+x-1) </math>
 
which for ''n'' = 7 factors as,
 
:<math>(x-1)(x^{10} -x^6 -x^5 -x^4 +1) = 0 </math>
 
a decic not generated in the previous and has the root ''x''&nbsp;=&nbsp;1.216391... which is the 5th smallest known Salem number. As ''n''&nbsp;&rarr;&nbsp;infinity, this family in turn tends towards the larger real root of <math>x^4-x^3-1=0</math>.
 
== References ==
{{reflist}}
 
* {{cite book | last=Borwein | first=Peter | authorlink=Peter Borwein | title=Computational Excursions in Analysis and Number Theory | series=CMS Books in Mathematics | publisher=[[Springer-Verlag]] | year=2002 | isbn=0-387-95444-9 | zbl=1020.12001 }} Chap. 3.
* {{springer|first=David|last= Boyd|title=Salem number|id=s/s120010}}
* {{cite web|author=M.J. Mossinghoff|url=http://www.math.ucla.edu/~mjm/lc/lists/SalemList.html|title=Small Salem numbers|accessdate=2007-01-21}}
* {{cite book | last=Salem | first=R. | authorlink=Raphaël Salem | title=Algebraic numbers and Fourier analysis | series=Heath mathematical monographs | location=Boston, MA | publisher=[[D. C. Heath and Company]] | year=1963 | zbl=0126.07802 }}
 
{{DEFAULTSORT:Salem Number}}
[[Category:Algebraic numbers]]

Revision as of 08:52, 7 June 2013

In mathematics, a real algebraic integer α > 1 is a Salem number if all its conjugate roots have absolute value no greater than 1, and at least one has absolute value exactly 1. Salem numbers are of interest in Diophantine approximation and harmonic analysis. They are named after Raphaël Salem.

Properties

Because it has a root of absolute value 1, the minimal polynomial for a Salem number must be reciprocal. This implies that 1/α is also a root, and that all other roots have absolute value exactly one. As a consequence α must be a unit in the ring of algebraic integers, being of norm 1.

Every Salem number is a Perron number (a real algebraic number greater than one all of whose conjugates have smaller absolute value).

Relation with Pisot–Vijayaraghavan numbers

The smallest known Salem number is the largest real root of Lehmer's polynomial (named after Derrick Henry Lehmer)

P(x)=x10+x9x7x6x5x4x3+x+1,

which is about x = 1.17628: it is conjectured that it is indeed the smallest Salem number, and the smallest possible Mahler measure of an irreducible non-cyclotomic polynomial.[1]

Lehmer's polynomial is a factor of the shorter 12th-degree polynomial,

Q(x)=x12x7x6x5+1,

all twelve roots of which satisfy the relation[2]

x6301=(x3151)(x2101)(x1261)2(x901)(x31)3(x21)5(x1)3(x351)(x151)2(x141)2(x51)6x68

Salem numbers can be constructed from Pisot–Vijayaraghavan numbers. To recall, the smallest of the latter is the unique real root of the cubic polynomial,

x3x1,

known as the plastic number and approximately equal to 1.324718. This can be used to generate a family of Salem numbers including the smallest one found so far. The general approach is to take the minimal polynomial P(x) of a Pisot–Vijayaraghavan number and its reciprocal polynomial, P*(x), to form the equation,

xnP(x)=±P*(x)

for integral n above a bound. Subtracting one side from the other, factoring, and disregarding trivial factors will then yield the minimal polynomial of certain Salem numbers. For example, using the negative case of the above,

xn(x3x1)=(x3+x21)

then for n = 8, this factors as,

(x1)(x10+x9x7x6x5x4x3+x+1)=0

where the decic is Lehmer's polynomial. Using higher n will yield a family with a root approaching the plastic number. This can be better understood by taking nth roots of both sides,

x(x3x1)1/n=±(x3+x21)1/n

so as n goes higher, x will approach the solution of x3x1=0. If the positive case is used, then x approaches the plastic number from the opposite direction. Using the minimal polynomial of the next smallest Pisot–Vijayaraghavan number gives,

xn(x4x31)=(x4+x1)

which for n = 7 factors as,

(x1)(x10x6x5x4+1)=0

a decic not generated in the previous and has the root x = 1.216391... which is the 5th smallest known Salem number. As n → infinity, this family in turn tends towards the larger real root of x4x31=0.

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 Chap. 3.
  • Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.

    my web-site http://himerka.com/
  • Template:Cite web
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  1. Borwein (2002) p.16
  2. D. Bailey and D. Broadhurst, A Seventeenth Order Polylogarithm Ladder