Ricci decomposition: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Mark viking
en>Yobot
m References: WP:CHECKWIKI error fixes using AWB (10093)
 
Line 1: Line 1:
In [[number theory]], the '''Erdős–Straus conjecture''' states that for all [[integer]]s ''n'' ≥ 2, the [[rational number]] 4/''n''  can be expressed as the sum of three [[unit fraction]]s. [[Paul Erdős]] and [[Ernst G. Straus]] formulated the conjecture in 1948.<ref>See, e.g., {{harvtxt|Elsholtz|2001}}. Note however that the earliest published reference to it appears to be {{harvtxt|Erdős|1950}}.</ref> It is one of many [[Erdős conjecture|conjectures by Erdős]].
Hi there. Let me start by introducing the psychic readings online ([http://kjhkkb.net/xe/notice/374835 have a peek here]) writer, her name is Sophia Boon but she by no means really liked that name.  [http://cpacs.org/index.php?document_srl=90091&mid=board_zTGg26 online psychic readings] The preferred hobby for him and his kids is to play lacross and he would never give it up. Mississippi is the only place I've been residing in but I will have to move in a yr or two. Office supervising is what she does for a living.<br><br>Feel free to visit my weblog certified psychics; [http://m-card.co.kr/xe/mcard_2013_promote01/29877 click home page],
 
More formally, the conjecture states that, for every integer ''n'' ≥ 2, there exist positive integers ''x'', ''y'', and ''z'' such that
:<math>\frac4n = \frac1x + \frac1y + \frac1z.</math>
These unit fractions form an [[Egyptian fraction]] representation of the number 4/''n''. For instance, for ''n'' = 5, there are two solutions:
:<math>\frac45=\frac12+\frac14+\frac1{20}=\frac12+\frac15+\frac1{10}.</math>
 
The restriction that ''x'', ''y'', and ''z'' be positive is essential to the difficulty of the problem, for if negative values were allowed the problem could be solved trivially. Also, if ''n'' is a [[composite number]], ''n'' = ''pq'', then an expansion for 4/''n'' could be found immediately from an expansion for 4/''p'' or 4/''q''. Therefore, if a counterexample to the Erdős–Straus conjecture exists, the smallest ''n'' forming a counterexample would have to be a [[prime number]], and it can be further restricted to one of six [[arithmetic progression]]s modulo 840.<ref>{{harvtxt|Mordell|1967}}.</ref> Computer searches have verified the truth of the conjecture up to ''n''&nbsp;≤&nbsp;10<sup>14</sup>,<ref name="swett"/> but proving it for all ''n'' remains an [[open problem]].
 
==Background==
The search for expansions of rational numbers as sums of unit fractions dates to the [[Egyptian mathematics|mathematics of ancient Egypt]], in which [[Egyptian fraction]] expansions of this type were used as a notation for recording fractional quantities. The Egyptians produced tables such as the [[Rhind Mathematical Papyrus 2/n table]] of expansions of fractions of the form 2/''n'', most of which use either two or three terms.
 
The [[greedy algorithm for Egyptian fractions]], first described in 1202 by [[Fibonacci]] in his book [[Liber Abaci]], finds an expansion in which each successive term is the largest unit fraction that is no larger than the remaining number to be represented. For fractions of the form 2/''n'' or 3/''n'', the greedy algorithm uses at most two or three terms respectively. More generally, it can be shown that a number of the form 3/''n'' has a two-term expansion if and only if ''n'' has a factor congruent to 2 modulo 3, and requires three terms in any expansion otherwise.<ref>{{harvtxt|Eppstein|1995}}.</ref>
 
Thus, for the numerators 2 and 3, the question of how many terms are needed in an Egyptian fraction is completely settled, and fractions of the form 4/''n'' are the first case in which the worst-case length of an expansion remains unknown. The greedy algorithm produces expansions of length two, three, or four depending on the value of ''n'' modulo 4; when ''n'' is congruent to 1 modulo 4, the greedy algorithm produces four-term expansions. Therefore, the worst-case length of an Egyptian fraction of 4/''n'' must be either three or four. The Erdős–Straus conjecture states that, in this case, as in the case for the numerator 3, the maximum number of terms in an expansion is three.
 
==Modular identities==
Multiplying both sides of the equation 4/''n''&nbsp;=&nbsp;1/''x''&nbsp;+&nbsp;1/''y''&nbsp;+&nbsp;1/''z'' by ''nxyz'' leads to an equivalent form 4''xyz''&nbsp;=&nbsp;''n''(''xy''&nbsp;+&nbsp;''xz''&nbsp;+&nbsp;''yz'') for the problem.<ref>See e.g. {{harvtxt|Sander|1994}} for a simpler Diophantine formulation using more specific assumptions about which of ''x'', ''y'', and ''z'' are divisible by ''n''.</ref> As a [[polynomial equation]] with integer variables, this is an example of a [[Diophantine equation]]. The [[Hasse principle]] for Diophantine equations asserts that an integer solution of a Diophantine equation should be formed by combining solutions obtained modulo each possible [[prime number]]. On the face of it this principle makes little sense for the Erdős–Straus conjecture, as the equation 4''xyz''&nbsp;=&nbsp;''n''(''xy''&nbsp;+&nbsp;''xz''&nbsp;+&nbsp;''yz'') is easily solvable modulo any prime. Nevertheless, modular identities have proven a very important tool in the study of the conjecture.
 
For values of ''n'' satisfying certain [[Modular arithmetic|congruence relations]], one can find an expansion for 4/''n'' automatically as an instance of a polynomial identity. For instance, whenever ''n'' ≡ 2 (mod 3), 4/''n'' has the expansion
:<math>\frac{4}{n} = \frac{1}{n} + \frac{1}{(n-2)/3+1} + \frac{1}{n((n-2)/3+1)}.</math>
Here each of the three denominators ''n'', (''n''&nbsp;&minus;&nbsp;2)/3&nbsp;+&nbsp;1, and ''n''((''n''&nbsp;&minus;&nbsp;2)/3&nbsp;+&nbsp;1) is a polynomial of ''n'', and each is an integer whenever ''n'' is 2 (mod 3).
The [[greedy algorithm for Egyptian fractions]] finds a solution in three or fewer terms whenever ''n'' is not 1 or 17 (mod 24), and the ''n'' ≡ 17 (mod 24) case is covered by the 2 (mod 3) relation, so the only values of ''n'' for which these two methods do not find expansions in three or fewer terms are those congruent to 1 (mod 24).
 
If it were possible to find solutions such as the ones above for enough different moduli, forming a complete [[covering system]] of congruences, the problem would be solved. However, as {{harvtxt|Mordell|1967}} showed, a polynomial identity that provides a solution for values of ''n'' congruent to ''r'' mod ''p'' can exist only when ''r'' is not a [[quadratic residue]] modulo ''p''. For instance, 2 is a not a quadratic residue modulo 3, so the existence of an identity for values of ''n'' that are congruent to 2 modulo 3 does not contradict Mordell's result, but 1 is a quadratic residue modulo 3 so the result proves that there can be no similar identity for values of ''n'' that are congruent to 1 modulo 3.
 
Mordell lists polynomial identities that provide three-term Egyptian fractions for 4/''n'' whenever ''n'' is 2 mod 3 (above), 3 mod 4, 5 mod 8, 2 or 3 mod 5, or 3, 5, or 6 mod 7. These identies cover all the numbers that are not quadratic residues for those bases. However, for larger bases, not all nonresidues are known to be covered by relations of this type. From Mordell's identities one can conclude that there exists a solution for all ''n'' except possibly those that are 1, 121, 169, 289, 361, or 529 modulo 840. 1009 is the smallest prime number that is not covered by this system of congruences. By combining larger classes of modular identities, Webb and others showed that the fraction of ''n'' in the interval [1,''N''] that can be counterexamples to the conjecture tends to zero in the limit as ''N'' goes to infinity.<ref name="sparse"/>
 
Despite Mordell's result limiting the form these congruence identities can take, there is still some hope of using modular identities to prove the Erdős–Straus conjecture. No prime number can be a square, so by the [[Hasse–Minkowski theorem]], whenever ''p'' is prime, there exists a larger prime  ''q'' such that ''p'' is not a quadratic residue modulo ''q''. One possible approach to proving the conjecture would be
to find for each prime ''p'' a larger prime ''q'' and a congruence solving the 4/''n'' problem for ''n'' ≡ ''p'' (mod ''q''); if this could be done, no prime ''p'' could be a counterexample to the conjecture and the conjecture would be true.
 
==Computational verification==
Various authors have performed [[brute-force search]]es for counterexamples to the conjecture; these searches can be greatly sped up by considering only prime numbers that are not covered by known congruence relations.<ref>{{harvtxt|Obláth|1950}}; {{harvtxt|Rosati|1954}}; {{harvtxt|Kiss|1959}}; {{harvtxt|Bernstein|1962}}; {{harvtxt|Yamamoto|1965}}; {{harvtxt|Terzi|1971}}; {{harvtxt|Jollensten|1976}}; {{harvtxt|Kotsireas|1999}}.</ref> Searches of this type by Allan Swett confirmed that the conjecture is true for all ''n'' up to 10<sup>14</sup>.<ref name="swett">{{citation
| last = Swett | first = Allan
| title = The Erdos-Straus Conjecture
| url = http://math.uindy.edu/swett/esc.htm
  | accessdate = 2006-09-09 }}.
</ref>
 
==The number of solutions==
The number of distinct solutions to the 4/''n'' problem, as a function of ''n'', has also been found by computer searches for small ''n'' and appears to grow somewhat irregularly with ''n''. Starting with ''n'' = 3, the numbers of distinct solutions with distinct denominators are
:1, 1, 2, 5, 5, 6, 4, 9, 7, 15, 4, 14, 33, 22, 4, 21, 9, ... {{OEIS | id = A073101}}.
Even for larger ''n'' there can be relatively few solutions; for instance there are only seven distinct solutions for ''n'' = 73.
 
{{harvtxt|Elsholtz|Tao|2011}} have shown that the average number of solutions to the 4/''n'' problem (averaged over the prime numbers up to ''n'') is [[upper bound]]ed [[polylogarithmic]]ally in ''n''. For some other Diophantine problems, it is possible to prove that a solution always exists by proving [[asymptotic]] [[lower bound]]s on the number of solutions, but proofs of this type exist primarily for problems in which the number of solutions grows polynomially, so Elsholtz and Tao's result makes a solution of this type less likely.<ref>[http://terrytao.wordpress.com/2011/07/07/on-the-number-of-solutions-to-4p-1n_1-1n_2-1n_3/ On the number of solutions to 4/p = 1/n_1 + 1/n_2 + 1/n_3], [[Terence Tao]], "What's new", July 7, 2011.</ref> The proof of Elsholtz and Tao's bound on the number of solutions involves the [[Bombieri–Vinogradov theorem]], the [[Brun–Titchmarsh theorem]], and a system of modular identities, valid when ''n'' is congruent to &minus;''c'' or &minus;1/''c'' modulo 4''ab'', where ''a'' and ''b'' are any two [[coprime]] positive integers and ''c'' is any odd factor of ''a''&nbsp;+&nbsp;''b''. For instance, setting ''a''&nbsp;=&nbsp;''b''&nbsp;=&nbsp;1 gives one of Mordell's identities, valid when ''n'' is 3&nbsp;(mod&nbsp;4).
 
==Negative-number solutions==
The restriction that ''x'', ''y'', and ''z'' be positive is essential to the difficulty of the problem, for if negative values were allowed the problem could be solved trivially via one of the two identities
:<math>\frac{4}{4k+1} = \frac{1}{k} - \frac{1}{k(4k+1)}</math>
and
:<math>\frac{4}{4k-1} = \frac{1}{k} + \frac{1}{k(4k-1)}.</math>
 
Alternatively, for any odd ''n'', a three-term solution with one negative term is possible:<ref>{{harvtxt|Jaroma|2004}}.</ref>
:<math>\frac{4}{n}=\frac{1}{(n-1)/2}+\frac{1}{(n+1)/2}-\frac{1}{n(n-1)(n+1)/4}.</math>
 
==Generalizations==
A generalized version of the conjecture states that, for any positive ''k'' there exists a number ''N'' such that, for all ''n'' ≥ ''N'', there exists a solution in positive integers to ''k''/''n'' = 1/''x'' + 1/''y'' + 1/''z''. The version of this conjecture for ''k''&nbsp;=&nbsp;5 was made by [[Wacław Sierpiński]], and the full conjecture is due to [[Andrzej Schinzel]].<ref>{{harvtxt|Sierpiński|1956}}; {{harvtxt|Vaughan|1970}}.</ref>
 
Even if the generalized conjecture is false for any fixed value of ''k'', then the number of fractions ''k''/''n'' with ''n'' in the range from 1 to ''N'' that do not have three-term expansions must grow only sublinearly as a function of ''N''.<ref name="sparse">{{harvtxt|Webb|1970}}; {{harvtxt|Vaughan|1970}}; {{harvtxt|Li|1981}}; {{harvtxt|Yang|1982}}; {{harvtxt|Ahmadi|Bleicher|1998}}; {{harvtxt|Elsholtz|2001}}.</ref> In particular, if the Erdős–Straus conjecture itself (the case ''k''&nbsp;=&nbsp;4) is false, then the number of counterexamples grows only sublinearly. Even more strongly, for any fixed ''k'', only a sublinear number of values of ''n'' need more than two terms in their Egyptian fraction expansions.<ref>{{harvtxt|Hofmeister|Stoll|1985}}.</ref> The generalized version of the conjecture is equivalent to the statement that the number of unexpandable fractions is not just sublinear but bounded.
 
When ''n'' is an [[odd number]], by analogy to the problem of [[odd greedy expansion]]s for Egyptian fractions, one may ask for solutions to ''k''/''n''&nbsp;=&nbsp;1/''x''&nbsp;+&nbsp;1/''y''&nbsp;+&nbsp;1/''z'' in which ''x'', ''y'', and ''z'' are distinct positive odd numbers. Solutions to this equation are known to always exist for the case that ''k''&nbsp;=&nbsp;3.<ref>{{harvtxt|Schinzel|1956}}; {{harvtxt|Suryanarayana|Rao|1965}}; {{harvtxt|Hagedorn|2000}}.</ref>
 
==Notes==
{{reflist|2}}
 
==References==
{{refbegin|2}}
*{{citation
| last1 = Ahmadi | first1 = M. H.
| last2 = Bleicher | first2 = M. N.
| mr = 1666363
| issue = 2
| journal = International Journal of Mathematical and Statistical Sciences
| pages = 169–185
| title = On the conjectures of Erdős and Straus, and Sierpiński on Egyptian fractions
| volume = 7
| year = 1998}}.
*{{citation
| last = Bernstein | first = Leon
| mr = 0142508
| journal = Journal für die Reine und Angewandte Mathematik
| language = German
| pages = 1–10
| title = Zur Lösung der diophantischen Gleichung ''m''/''n''&nbsp;=&nbsp;1/''x''&nbsp;+&nbsp;1/''y''&nbsp;+&nbsp;1/''z'', insbesondere im Fall ''m''&nbsp;=&nbsp;4
| volume = 211
| year = 1962}}.
*{{citation
  | last = Elsholtz | first = Christian
  | title = Sums of ''k'' unit fractions
  | journal = [[Transactions of the American Mathematical Society]]
  | volume = 353
  | issue = 8
  | pages = 3209–3227
  | year = 2001
  | mr = 1828604
  | doi = 10.1090/S0002-9947-01-02782-9}}.
*{{citation
  | last1 = Elsholtz | first1 = Christian
| last2= Tao | first2 = Terence | author2-link = Terence Tao
| title = Counting the number of solutions to the Erdős–Straus equation on unit fractions
| url = http://terrytao.files.wordpress.com/2011/07/egyptian-count13.pdf
| arxiv = 1107.1010
| year = 2011}}.
*{{citation
| last = Eppstein | first = David | authorlink = David Eppstein
| issue = 2
| journal = Mathematica in Education and Research
| pages = 5–15
| contribution = Small numerators
| title = Ten algorithms for Egyptian fractions
| url = http://www.ics.uci.edu/~eppstein/numth/egypt/smallnum.html
| volume = 4
| year = 1995}}
*{{citation
  | last = Erdős | first = Paul
  | authorlink = Paul Erdős
  | title = Az 1/''x''<sub>1</sub> + 1/''x''<sub>2</sub> + ... + 1/''x''<sub>n</sub> = a/b egyenlet egész számú megoldásairól (On a Diophantine Equation)
  | language = Hungarian
  | journal = Mat. Lapok.
  | volume = 1
  | pages = 192–210
  | year = 1950
  | url = http://www.renyi.hu/~p_erdos/1950-02.pdf
  | mr = 0043117}}.
*{{citation
  | authorlink = Richard K. Guy | last = Guy | first = Richard K.
  | title = Unsolved Problems in Number Theory
  | edition = 3rd
  | publisher = [[Springer Verlag]]
  | year = 2004
  | isbn = 0-387-20860-7
  | pages = D11 }}.
*{{citation
  | last = Hagedorn | first = Thomas R.
  | title = A proof of a conjecture on Egyptian fractions
  | journal = [[American Mathematical Monthly]]
  | volume = 107
  | pages = 62–63
  | year = 2000
  | mr = 1745572
  | doi = 10.2307/2589381
  | issue = 1
  | publisher = Mathematical Association of America
  | jstor = 2589381}}.
*{{citation
| last1 = Hofmeister | first1 = Gerd
| last2 = Stoll | first2 = Peter
| mr = 809971
| journal = Journal für die Reine und Angewandte Mathematik
| pages = 141–145
| title = Note on Egyptian fractions
| volume = 362
| year = 1985}}.
*{{citation
| last = Jaroma | first = John H.
| issue = 1
| journal = Crux Mathematicorum
| pages = 36–37
| title = On expanding 4/''n'' into three Egyptian fractions
| url = http://cms.math.ca/crux/v30/n1/page36-37.pdf
| volume = 30
| year = 2004}}.
*{{citation
| last = Jollensten | first = Ralph W.
| contribution = A note on the Egyptian problem
| mr = 0429735
| location = Winnipeg, Man.
| pages = 351–364
| publisher = Utilitas Math.
| series = Congressus Numerantium
| title = Proceedings of the Seventh Southeastern Conference on Combinatorics, Graph Theory, and Computing (Louisiana State Univ., Baton Rouge, La., 1976)
| volume = XVII
| year = 1976}}.
*{{citation
| last = Kiss | first = Ernest
| mr = 0125069
| journal = Acad. R. P. Romîne Fil. Cluj Stud. Cerc. Mat.
| pages = 59–62
| title = Quelques remarques sur une équation diophantienne
| language = Romanian
| volume = 10
| year = 1959}}.
*{{citation
| last = Kotsireas | first = Ilias
| contribution = The Erdős-Straus conjecture on Egyptian fractions
| mr = 1901903
| location = Budapest
| pages = 140–144
| publisher = János Bolyai Math. Soc.
| title = Paul Erdős and his mathematics (Budapest, 1999)
| year = 1999}}.
*{{citation
  | last = Li | first = De Lang
  | title = Equation 4/''n'' = 1/''x'' + 1/''y'' + 1/''z''
  | journal = [[Journal of Number Theory]]
  | volume = 13
  | issue = 4
  | pages = 485–494
  | year = 1981
  | mr = 0642923
  | doi = 10.1016/0022-314X(81)90039-1}}.
*{{citation
  | last = Mordell | first = Louis J.
  | authorlink = Louis Mordell
  | title = Diophantine Equations
  | publisher = Academic Press
  | year = 1967
  | pages = 287–290}}.
*{{citation
| last = Obláth | first = Richard
| mr = 0038999
| journal = [[Mathesis (journal)|Mathesis]]
| pages = 308–316
| title = Sur l'équation diophantienne 4/''n''&nbsp;=&nbsp;1/''x''<sub>1</sub>&nbsp;+&nbsp;1/''x''<sub>2</sub>&nbsp;+&nbsp;1/''x''<sub>3</sub>
| language = French
| volume = 59
| year = 1950}}.
*{{citation
| last = Rosati | first = Luigi Antonio
| mr = 0060526
| journal = Boll. Un. Mat. Ital. (3)
| language = Italian
| pages = 59–63
| title = Sull'equazione diofantea 4/''n''&nbsp;=&nbsp;1/''x''<sub>1</sub>&nbsp;+&nbsp;1/''x''<sub>2</sub>&nbsp;+&nbsp;1/''x''<sub>3</sub>
| volume = 9
| year = 1954}}.
*{{citation
| last = Sander | first = J. W.
| doi = 10.1006/jnth.1994.1008
| issue = 2
| journal = Journal of Number Theory
| mr = 1269248
| pages = 123–136
| title = On 4/''n''&nbsp;=&nbsp;1/''x''&nbsp;+&nbsp;1/''y''&nbsp;+&nbsp;1/''z'' and Iwaniec' half-dimensional sieve
| volume = 46
| year = 1994}}.
*{{citation
| last = Schinzel | first = André | authorlink = Andrzej Schinzel
| mr = 0080683
| journal = [[Mathesis (journal)|Mathesis]]
| language = French
| pages = 219–222
| title = Sur quelques propriétés des nombres 3/''n'' et 4/''n'', où ''n'' est un nombre impair
| volume = 65
| year = 1956}}.
*{{citation
  | last = Sierpiński | first = Wacław
  | authorlink = Wacław Sierpiński
  | title = Sur les décompositions de nombres rationnels en fractions primaires
  | language = French
  | journal = [[Mathesis (journal)|Mathesis]]
  | year = 1956
  | volume = 65
  | pages = 16–32
  | mr = 0078385}}.
*{{citation
| last1 = Suryanarayana | first1 = D.
| last2 = Rao | first2 = N. Venkateswara
| mr = 0202659
| journal = J. Indian Math. Soc. (N.S.)
| pages = 165–167
| title = On a paper of André Schinzel
| volume = 29
| year = 1965}}.
*{{citation
| last = Terzi | first = D. G.
| doi = 10.1007/BF01934370
| mr = 0297703
| journal = Nordisk Tidskr. Informationsbehandling (BIT)
| pages = 212–216
| title = On a conjecture by Erdős-Straus
| issue = 2
| volume = 11
| year = 1971}}.
*{{citation
| last = Vaughan | first = R. C.
| doi = 10.1112/S0025579300002886
| mr = 0289409
| issue = 02
| journal = Mathematika
| pages = 193–198
| title = On a problem of Erdős, Straus and Schinzel
| volume = 17
| year = 1970}}
*{{citation
  | last = Webb | first = William A.
  | title = On 4/''n'' = 1/''x'' + 1/''y'' + 1/''z''
  | journal = [[Proceedings of the American Mathematical Society]]
  | volume = 25
  | issue = 3
  | pages = 578–584
  | year = 1970
  | mr = 0256984
  | doi = 10.2307/2036647
  | publisher = American Mathematical Society
  | jstor = 2036647}}.
*{{citation
| last = Yamamoto | first = Koichi
| mr = 0177945
| journal = Memoirs of the Faculty of Science. Kyushu University. Series A. Mathematics
| pages = 37–47
| title = On the Diophantine equation 4/''n''&nbsp;=&nbsp;1/''x''&nbsp;+&nbsp;1/''y''&nbsp;+&nbsp;1/''z''
| volume = 19
| year = 1965
| doi = 10.2206/kyushumfs.19.37}}.
*{{citation
| last = Yang | first = Xun Qian
| doi = 10.2307/2044050
| mr = 660589
| issue = 4
| journal = Proceedings of the American Mathematical Society
| pages = 496–498
| title = A note on 4/''n''&nbsp;=&nbsp;1/''x''&nbsp;+&nbsp;1/''y''&nbsp;+&nbsp;1/''z''
| volume = 85
| year = 1982
| jstor = 2044050}}.
{{refend}}
 
==External links==
*{{mathworld|title = Erdos-Straus Conjecture | urlname = Erdos-StrausConjecture}}
*[http://terrytao.wordpress.com/2011/07/31/counting-the-number-of-solutions-to-the-erdos-straus-equation-on-unit-fractions/ Counting the number of solutions to the Erdös-Straus equation on unit fractions], [[Terence Tao]], July 31, 2011.
 
{{DEFAULTSORT:Erdos-Straus conjecture}}
[[Category:Conjectures]]
[[Category:Egyptian fractions]]
[[Category:Diophantine equations]]

Latest revision as of 13:29, 5 May 2014

Hi there. Let me start by introducing the psychic readings online (have a peek here) writer, her name is Sophia Boon but she by no means really liked that name. online psychic readings The preferred hobby for him and his kids is to play lacross and he would never give it up. Mississippi is the only place I've been residing in but I will have to move in a yr or two. Office supervising is what she does for a living.

Feel free to visit my weblog certified psychics; click home page,