We conjectured in Mathematics of Computation 2003 p.1379-1397 that, essentially,
         [Graphics:Images/index_gr_1.gif](a)~-[Graphics:Images/index_gr_2.gif](a+1/2) for large k (for 0 < a < =1/2)
(in a relative sense, i.e. more precisely  Conjecture II stated [[Graphics:Images/index_gr_3.gif](a)+[Graphics:Images/index_gr_4.gif](a+1/2)]/[Graphics:Images/index_gr_5.gif](a) --> 0 as k --> infinity).  After communication with Mark Coffey, we now generalize this conjecture to, essentially,
        [Graphics:Images/index_gr_6.gif](a)+[Graphics:Images/index_gr_7.gif](a+1/n)+[Graphics:Images/index_gr_8.gif](a+2/n)+...[Graphics:Images/index_gr_9.gif](a+(n-1)/n)~0 (for 0 < a<=1/n)
again in a relative sense.  Here is some numerical evidence, with k=100, a=1/7 and n=7:

a [Graphics:Images/index_gr_10.gif]
[Graphics:Images/index_gr_11.gif] [Graphics:Images/index_gr_12.gif]
[Graphics:Images/index_gr_13.gif] 3.44786558612769590120072434105326444*1017
[Graphics:Images/index_gr_14.gif] 4.945407766645782980895601684909204*1017
[Graphics:Images/index_gr_15.gif] 2.7189570309463484160669849229735*1017
[Graphics:Images/index_gr_16.gif] [Graphics:Images/index_gr_17.gif]
[Graphics:Images/index_gr_18.gif] [Graphics:Images/index_gr_19.gif]
1 [Graphics:Images/index_gr_20.gif]

            Sum of values above is [Graphics:Images/index_gr_21.gif]

Similarly, with k=147, a=1/100 and n=15:

a [Graphics:Images/index_gr_22.gif]
[Graphics:Images/index_gr_23.gif] 1.901777395433241200753844993225364640*1035
[Graphics:Images/index_gr_24.gif] 1.6278165124352742710215723103987217260*1035
[Graphics:Images/index_gr_25.gif] 1.072391366188489130859935120720069183*1035
[Graphics:Images/index_gr_26.gif] 3.31540010358000332847753250067115817484167*1034
[Graphics:Images/index_gr_27.gif] [Graphics:Images/index_gr_28.gif]
[Graphics:Images/index_gr_29.gif] [Graphics:Images/index_gr_30.gif]
[Graphics:Images/index_gr_31.gif] [Graphics:Images/index_gr_32.gif]
[Graphics:Images/index_gr_33.gif] [Graphics:Images/index_gr_34.gif]
[Graphics:Images/index_gr_35.gif] [Graphics:Images/index_gr_36.gif]
[Graphics:Images/index_gr_37.gif] [Graphics:Images/index_gr_38.gif]
[Graphics:Images/index_gr_39.gif] [Graphics:Images/index_gr_40.gif]
[Graphics:Images/index_gr_41.gif] 6.90578879662305522263060059022236939142136*1033
[Graphics:Images/index_gr_42.gif] 8.4382305905599180362323654059999645854798273*1034
[Graphics:Images/index_gr_43.gif] 1.472683557343140394539632981047144255514706*1035
[Graphics:Images/index_gr_44.gif] 1.8469036896555535391131402976601917624643*1035

                Sum of the above values is [Graphics:Images/index_gr_45.gif], i.e. zero to 24 digits.

Note that sin(2π/n)+sin(4π/n)+... + sin((n-1)2π/n)=0.  The conjecture above is hence supported by the following figures (i.e.  pictorial evidence), which plot [Graphics:Images/index_gr_46.gif](a) vs a for k=100, 125, and 163, respectively:

[Graphics:Images/index_gr_47.gif]

[Graphics:Images/index_gr_48.gif]

[Graphics:Images/index_gr_49.gif]

We fit a pure sine function to the above data, namely f(a)=5.355*[Graphics:Images/index_gr_50.gif]sin(2π(a+.1025)), and superimpose with the graph of [Graphics:Images/index_gr_51.gif](a):

[Graphics:Images/index_gr_52.gif]

Rick Kreminski, kremin@boisdarc.tamu-commerce.edu    August 8, 2004

The typesetting on this page is not optimal. A Mathematica notebook of this page is available here.


Converted by Mathematica      August 9, 2004