From: rcw9@tutor.open.ac.uk (Richard Walker)
To: rusin@math.niu.edu
Date: Tue, 5 May 1998 17:22:11 +0100
Subject: Re: Representation by 5-th powers - question
you wrote:
>In article you
>write:
>>Does anyone have any information on the following problems, or know
>>where information can be found please?
>
>Did you get any responses?
Yours the first but my enquiry was only posted yesterday or day before.
>I suppose you know Chen has g(5)=37, but
>that doesn't appear to be one of the questions you asked.
Yes, that's right. These questions are related to Waring's problem,
but different.
>Is it even obvious that there _is_ an integer k in
>>#1 What is the least number k such that every rational can be
>expressed
>>as the sum of not more than k 5-th powers of rationals?
The following identity shows that k does exist.
w^5-(w-3)^5-(w-4)^5+(w-5)^5+w^5-(w+3)^5-(w+4)^5+(w+5)^5=2880w
If then we set w=y/2880, we have a representation of y as eight
rational 5-th powers. We can get an infinity of similar expressions by
replacing (3,4,5) by other Pythagorean triples.
When it comes to #2, representation by -positive- rationals I don't
think it is at all obvious (at least not to me!) that a k exists. My
hunch is that it does.
Many thanks for the reply and the references.
Best wishes, Richard
==============================================================================
From: Dave Rusin
Date: Tue, 5 May 1998 12:31:10 -0500 (CDT)
To: rcw9@tutor.open.ac.uk
Subject: Re: Representation by 5-th powers - question
>When it comes to #2, representation by -positive- rationals I don't
>think it is at all obvious (at least not to me!) that a k exists. My
>hunch is that it does.
I realized after I wrote you earlier that this is trivial, e.g. to
represent 3/7 as a sum of positive rational fifth powers, simply write
3*7^4 as a sum of positive integral fifth power, and divide through by 7.
So (3/7)= two (5/7)^5 's + three (3/7)^5 's + seven (2/7)^5 's.
==============================================================================
From: rcw9@tutor.open.ac.uk (Richard Walker)
To: rusin@math.niu.edu
Date: Wed, 6 May 1998 05:49:16 +0100
Subject: Representation by 5-th powers
Richard Walker wrote:
>>When it comes to #2, representation by -positive- rationals I don't
>>think it is at all obvious (at least not to me!) that a k exists. My
>>hunch is that it does.
You replied:
I realized after I wrote you earlier that this is trivial, e.g. to
represent 3/7 as a sum of positive rational fifth powers, simply write
3*7^4 as a sum of positive integral fifth power, and divide through by
7.
So (3/7)= two (5/7)^5 's + three (3/7)^5 's + seven (2/7)^5 's.
Good point, thanks. I should have seen that, but I didn't. So k
obviously (!) exists and is <=37. The same construction shows that
every positive rational is the sum of at most four rational squares and
nine rational cubes, etc. But in the case of cubes Hardy and Wright
showed that only -three- positive rational cubes are in fact needed. So
for example 23/1 would need nine cubes by the above construction but
can be represented as follows:
(35303/12768)^3+(2760/17689)^3+(2087677/1698144)^3=23/1
and there are infinitely many such solutions. It is easily seen that
the three rational cubes cannot in general be reduced to two (and in
fact x^3+y^3=23 does not have rational solutions.)
However I think that to represent 23 as a sum of -squares- of rationals
still requires -four- squares. Suppose eg 23=x^2+y^2+z^2, x, y, z
rational.
Then 23*m^2=X^2+Y^2+Z^2 for some integers m, X ,Y, Z. But if
m=2^p*(2n+1), then 23*m^2=4^p*23*(2*n+1)^2=4^p*(8*k+7), which is not
representable by three squares - is the working correct? So it is
-easier- to represent 23 by rational cubes than by rational squares,
which is perhaps unexpected and different from what we anticipate from
Waring's problem?
I was intrigued by this, which I think is quite surprising, and
wondered if there are comparable results for higher powers and what
work has been done on the subject. It seems to me that it should be
possible to represent every positive rational as the sum of much fewer
than 37 fifth powers of positive rationals, but I haven't got any
leads, and numerical investigations are hard.
Oh, it has just occurred to me (pursuing your observation above) that
if we write a/b as (a*t)/(b*t) then we can choose t so that
(a*t)*(b*t)^4 is sufficiently large to ensure that it can be
represented by no more than 18 5-th powers, since all numbers beyond a
certain point require only 18 5-th powers, which result I believe is
due to Brudern 1990. So that's an immediate improvement but I would
guess still far from the best result, since the same reasoning only
gets us to 7 for rational cubes.
I hope most of this makes some kind of sense, I wrote it -very- late at
night.
Thanks again for your response, it's difficult to get any feedback on
this sort of stuff and I really would be very grateful for any more
thoughts you might come up with.
Best wishes, Richard
==============================================================================
From: Dave Rusin
Date: Wed, 6 May 1998 07:57:13 -0500 (CDT)
To: rcw9@tutor.open.ac.uk
Subject: Re: Representation by 5-th powers
Your points are well taken. I'm surprised this topic is better known, since
in general, arithmetic algebraic geometry does better rationally than
integrally. I'll ask around to see if anyone here has any better leads
but I don't think there's very much in print.
dave
==============================================================================
From: Dave Rusin
Date: Wed, 6 May 1998 08:10:38 -0500 (CDT)
To: rcw9@tutor.open.ac.uk
Subject: Re: Representation by 5-th powers
Best match from MathSciNet found. Searching also reminded me that
Andrew Bremner has done a lot of algebraic geometry related to sums of
powers; he's a good correspondent, too, so you might want to email
him.
90g:11041 11D85
Choudhry, Ajai
Representation of every rational number as an algebraic sum of fifth
powers of rational numbers. (English)
Enseign. Math. (2) 35 (1989), no. 1-2, 19--20.
Based on an identity, this note proves that every rational number is
representable as the sum of at most six fifth powers of rational
numbers.
Reviewed by Hong Bing Yu
� Copyright American Mathematical Society 1990, 1998
dave
==============================================================================
From: rcw9@tutor.open.ac.uk (Richard Walker)
To: rusin@math.niu.edu
Date: Thu, 7 May 1998 03:15:22 +0100
Subject: Re: Representation by 5-th powers
You wrote:
>Best match from MathSciNet found. Searching also reminded me that
>Andrew Bremner has done a lot of algebraic geometry related to sums of
>powers; he's a good correspondent, too, so you might want to email
>him.
> 90g:11041 11D85
> Choudhry, Ajai
> Representation of every rational number as an algebraic sum of fifth
> powers of rational numbers. (English)
> Enseign. Math. (2) 35 (1989), no. 1-2, 19--20.
> Based on an identity, this note proves that every rational number is
> representable as the sum of at most six fifth powers of rational
> numbers.
> Reviewed by Hong Bing Yu
> ) Copyright American Mathematical Society 1990, 1998
>dave
Many thanks for all this. I have put in for a copy of the reference,
which looks to be a very close match. I am almost sure that it wil
turn out to be what I just worked out [literally in the last couple of
days]. But at least I have been working on the right lines! I
needed a point of order 4 on x^5+y^5+z^5+u^5+v^5+w^5 which then gives
the result above, and in fact I finally saw how to do it from a bit in
a paper by [coincidence!] Andrew Bremner. I had been trying to get
down to six 5-th powers for several weeks. I will be surprised if the
identity referred to in the abstract isn't the same one I got.
I feel that six can be reduced to five but I can't see the way at
present. I will certainly take up your suggestion of contacting Andrew
Brenmer. If you come across anything else relevant please do let me
know. If I make any significant progress I'll update you.
Kind regards, Richard
==============================================================================
From: rcw9@tutor.open.ac.uk (Richard Walker)
To: rusin@math.niu.edu
Date: Thu, 7 May 1998 03:15:22 +0100
Subject: Re: Representation by 5-th powers
You wrote:
>Best match from MathSciNet found. Searching also reminded me that
>Andrew Bremner has done a lot of algebraic geometry related to sums of
>powers; he's a good correspondent, too, so you might want to email
>him.
> 90g:11041 11D85
> Choudhry, Ajai
> Representation of every rational number as an algebraic sum of fifth
> powers of rational numbers. (English)
> Enseign. Math. (2) 35 (1989), no. 1-2, 19--20.
> Based on an identity, this note proves that every rational number is
> representable as the sum of at most six fifth powers of rational
> numbers.
> Reviewed by Hong Bing Yu
> ) Copyright American Mathematical Society 1990, 1998
>dave
Many thanks for all this. I have put in for a copy of the reference,
which looks to be a very close match. I am almost sure that it wil
turn out to be what I just worked out [literally in the last couple of
days]. But at least I have been working on the right lines! I
needed a point of order 4 on x^5+y^5+z^5+u^5+v^5+w^5 which then gives
the result above, and in fact I finally saw how to do it from a bit in
a paper by [coincidence!] Andrew Bremner. I had been trying to get
down to six 5-th powers for several weeks. I will be surprised if the
identity referred to in the abstract isn't the same one I got.
I feel that six can be reduced to five but I can't see the way at
present. I will certainly take up your suggestion of contacting Andrew
Brenmer. If you come across anything else relevant please do let me
know. If I make any significant progress I'll update you.
Kind regards, Richard
==============================================================================
Date: Thu, 7 May 1998 13:40:48 -0500 (CDT)
From: Neil Dummigan
To: Dave Rusin
Subject: Re: powers (fwd)
---------- Forwarded message ----------
Date: Thu, 7 May 1998 03:47:00 -0400 (EDT)
From: Trevor Wooley
To: dummigan@math.niu.edu
Subject: Re: powers
Dear Neil,
yes indeed, using rational powers is more efficient. I do not know
much on this problem for higher powers. For cubes you need only 4, maybe only 3,
I seem to remember a paper by Landau(?) in a conference proceedings from
the 60's, but there must be other references.
No sign of our reprints yet ... I am chasing thenmm up.
Best wishes,
Trevor.
==============================================================================