back to list

RE: [tuning-math] Digest Number 1321

🔗Yahya Abdal-Aziz <yahya@melbpc.org.au>

6/21/2005 6:44:32 PM

Gene,

Any thoughts on what a sufficient condition might be?

Regards,
Yahya

-----Original Message-----
Date: Tue, 21 Jun 2005 02:59:34 -0000
From: "Gene Ward Smith" <gwsmith@...>
Subject: Re: Tonality diamond conjecture

For most primes, it appears the p-diamond comma is p^2/(p^2-1). However,
in some cases (7, 41, 43, 73, 83, 157, 193, 211 ...) it is of the form
(p^2+1)/p^2. I've not found an example where it is of neither form.
All primes where (p^2+1)/p^2 is minimal must be such that p^2+1
factors into primes of size p or less, but this condition is not
sufficient, 47 being the first counterexample.

--
No virus found in this outgoing message.
Checked by AVG Anti-Virus.
Version: 7.0.323 / Virus Database: 267.7.9/23 - Release Date: 20/6/05

🔗Gene Ward Smith <gwsmith@svpal.org>

6/28/2005 3:16:43 PM

--- In tuning-math@yahoogroups.com, "Yahya Abdal-Aziz" <yahya@m...> wrote:

> Gene,
>
> Any thoughts on what a sufficient condition might be?

The question is what will insure that the p-diamond comma is of the form
(n^2+1)/n^2.

For any integer n, we can define oddpart(n) to be n with all the
powers of 2 divided out, so that n = 2^k oddpart(n), with oddpart(n)
odd. We define another function, mind(n), as the least divisor greater
than or equal to sqrt(n). Then a necessary and sufficient condition is
that
mind(oddpart(n^2+1)) < n. This fails, for instance, when n=73, where
the odd part of 47^2+1 factors as 5*13*17, and the product of any two
of the factors is always greater than 47. Or, for instance, the odd
part of
57^2+1 factors as 5^3*13; 5^3 gives 125, greater than 57, and 5^2
leaves us with 5*13=65, greater than 57.

🔗Carl Lumma <ekin@lumma.org>

6/28/2005 4:07:25 PM

>> Gene,
>>
>> Any thoughts on what a sufficient condition might be?
>
>The question is what will insure that the p-diamond comma is of the form
>(n^2+1)/n^2.

Do you mean n-diamond comma?

-Carl

🔗Gene Ward Smith <gwsmith@svpal.org>

6/28/2005 11:34:31 PM

--- In tuning-math@yahoogroups.com, Carl Lumma <ekin@l...> wrote:
> >> Gene,
> >>
> >> Any thoughts on what a sufficient condition might be?
> >
> >The question is what will insure that the p-diamond comma is of the
form
> >(n^2+1)/n^2.
>
> Do you mean n-diamond comma?

Right, sorry.

🔗Carl Lumma <ekin@lumma.org>

6/29/2005 4:46:30 PM

(edited)
>The question is what will insure that the n-diamond comma is of the form
>(n^2+1)/n^2.
>
>For any integer n, we can define oddpart(n) to be n with all the
>powers of 2 divided out, so that n = 2^k oddpart(n), with oddpart(n)
>odd. We define another function, mind(n), as the least divisor greater
>than or equal to sqrt(n). Then a necessary and sufficient condition is
>that mind(oddpart(n^2+1)) < n. This fails, for instance, when n=73,
>where the odd part of 47^2+1 factors as 5*13*17, and the product of
>any two of the factors is always greater than 47. Or, for instance,
>the odd part of 57^2+1 factors as 5^3*13; 5^3 gives 125, greater than
>57, and 5^2 leaves us with 5*13=65, greater than 57.

Nice. -Carl