Wikipedia:Reference desk/Archives/Mathematics/2024 July 8

Mathematics desk
< July 7 << Jun | July | Aug >> Current desk >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


July 8

edit

If 0 and 1 are counted as perfect powers, can every sufficiently large number be written as the sum of 3 perfect powers?

edit

If 0 and 1 are counted as perfect powers, can every sufficiently large number be written as the sum of 3 perfect powers? 1.165.223.46 (talk) 12:09, 8 July 2024 (UTC)[reply]

Are you including perfect powers of negative numbers?
example: the first problematic number is 7, which cannot be made from 3 powers of positive numbers, but using negative numbers, 7 = 2^3 + (-1)^3 + 0^3. Dhrm77 (talk) 14:40, 8 July 2024 (UTC)[reply]
Every sufficiently large number, of course I know that 7 and 15 cannot be written as such. 220.132.216.52 (talk) 17:09, 8 July 2024 (UTC)[reply]
[edited: This comment addresses a different problem]: A necessary condition for an integer   to equal such a sum a sum of three cubes is that   does not equal 4 or 5 modulo 9, because the cubes modulo 9 are 0, 1, and −1, and no three of these numbers can sum to 4 or 5 modulo 9. For the remaining set of integers it is an open problem; see Sums of three cubes.  --Lambiam 16:10, 8 July 2024 (UTC)[reply]
No, I only consider nonnegative numbers. 220.132.216.52 (talk) 17:08, 8 July 2024 (UTC)[reply]
It would seem that no one knows, see OEIS:A113505. GalacticShoe (talk) 17:32, 8 July 2024 (UTC)[reply]
I'm confused. 32 is congruent to 5 mod 9, but it's the sum of 1 perfect power. All numbers not congruent to 7 mod 8 are a sum of three squares so you only have to consider 7, 15, 23, 31, ... The OEIS entry does not cite a source, other than just letting the program run to 108 (which seems feasible). But in general if OEIS doesn't know then it's probably unknown. --RDBury (talk) 01:28, 9 July 2024 (UTC)[reply]
There's also the slightly-more restrictive OEIS:A135393 that doesn't use 0 or 1 as perfect powers, and even then the list seems to probably be finite. This makes me wonder what would happen if you removed the nonnegativity constraint from the base of the power. Certainly many terms would disappear (like  ), and it seems likely that every number not congruent to   or   would be erased as per the sums of three cubes, but the remaining terms might be interesting. GalacticShoe (talk) 04:26, 9 July 2024 (UTC)[reply]
335 is in fact 7^3 + (-2)^3 2402:7500:943:2AC:F4A8:5238:E22:338A (talk) 06:31, 9 July 2024 (UTC)[reply]
Yes, but I wanted to give an example without using -1, 0, or 1. Although there are easy examples like  , I'd like to know if there are more without using the more trivial perfect powers. GalacticShoe (talk) 07:38, 9 July 2024 (UTC)[reply]
Are there infinitely many positive integers that are not the sum of two perfect powers? (If 0 and 1 are counted as perfect powers) 2402:7500:943:2AC:F4A8:5238:E22:338A (talk) 06:31, 9 July 2024 (UTC)[reply]
The number of perfect powers up to   is (if I'm not mistaken) asymptotically equal to   Then there are   triples of perfect powers whose sum is at most   Thus, unless there is some number-theoretic conspiracy that makes many triple sums unexpectedly often have the same value, one expects, by a naive counting argument, saturation: not only can eventually all numbers be expected to be the sum of three perfect powers, but to be so in many ways.  --Lambiam 12:03, 9 July 2024 (UTC)[reply]
For N congruent to 7 mod 8 you need at least one odd power. So I think the number of triples you can use for these N is more like  . The exponent is still greater than 1 though. The asymptotic density of numbers which are the sum of three squares is 7/8 and for two squares it's 0. In these cases your tuple counting argument would estimate densities of   and   respectively, but there are indeed "number-theoretic conspiracies" in both cases. --RDBury (talk) 03:56, 10 July 2024 (UTC)[reply]
This additional question is “are there infinitely many positive integers that are not the sum of two perfect powers?” 49.217.131.145 (talk) 12:42, 10 July 2024 (UTC)[reply]
I think Lambiam's tuple counting argument with a tweak or two settles this. If N is congruent to 3 mod four then there must be an odd power. The number of perfect powers less than N is asymptotically   and the number of odd powers is asymptotically   The number of combinations is then   which is asymptotically less than N. I didn't see an OEIS entry for this, but that may be because I was trying to work out the first few terms in my head. Sequence A075434 comes close, but they're not counting 0 as a perfect power so it includes 4, 27, ... . --RDBury (talk) 17:26, 10 July 2024 (UTC)[reply]
I haven't proved this, but it seems that no number of the form   can be written as the sum of two perfect powers. The largest base-2 repunit that is such a sum may be    --Lambiam 17:50, 10 July 2024 (UTC)[reply]
It seems to be true if Fermat–Catalan conjecture is true, since numbers == 3 mod 4 (as well as numbers divisible by 3 but not 9, numbers divisible by 7 but not 49, numbers divisible by 11 but not 121, etc.) are not sum of two squares. 220.132.216.52 (talk) 06:03, 11 July 2024 (UTC)[reply]
If   is not considered a perfect power, truth of the Fermat–Catalan conjecture implies a positive answer to the additional question: only a finite number of prime powers of the form   are the sum of two non-zero perfect powers. I don't see how to use it here. The relevance of non-expressibility as sums of squares escapes me.  --Lambiam 05:56, 12 July 2024 (UTC)[reply]
If p == 3 mod 4 and q is odd prime, then p^q is not the sum of two squares, and truth of the Fermat–Catalan conjecture implies that only a finite number of numbers of the form p^q are the sum of two perfect powers such that at least one of them is cube or higher power. 220.132.216.52 (talk) 06:44, 13 July 2024 (UTC)[reply]
This assumes not counting   as a perfect power. The premise of the question is that   and   are both counted as perfect powers.  --Lambiam 10:13, 13 July 2024 (UTC)[reply]