84:
74:
53:
386:) and cannot see anything wrong with it. Also checked the statement in a variety of sources, so I believe it is right despite the numerics. Since we are dealing with an asymptotic formula, I would not be too surprised to see numerical diffences at small numbers - how high can your calculations realistically go? As for the merger, I would have no problem with the proposed merger - if it is done carefully, I am sure it would improve things.
22:
668:). Or is there no consitent defintion for the generators? Given such a "simplex", how many different groups may be generated? Does the divisor summatory function define a "volume" of a hyperbolic group, and does the concept generalize? p.s. beware, this is a late-night question, probably has a non-crazy answer that will become appearant in the morning.
297:
Anyone with a numerics package, please check this for me. My source code passes a variety of double-checks, I am just not seeing the error, and yet the numerical behaviour seems incontrovertible, at least for N less than a million (!) ... yes, a million is a small number, (I had to compute the
836:
In section
Definition, the letter k has multiple meanings. It's one of the variables the second sum carries over, it denotes the number of numbers involved in a product, and in the end it's once again used to carry over a sum. If no one objects, I will eventually fix this.
620:
I agree it sounds awful, but I think it really is the right name, unfortuanately. The alternative: "Summatory function of the divisor function" sounds even worse ... I prefer the title "Dirichlet divisor problem", but that would not suit the whole content of this article.
580:
Never mind. I'd recently done a "performance improvement" and failed to run my validity tests on it. There's a blatent off-by-one error. Oh well. Numerically, 2.5*x^7/22 is a tight fit; I'll try to prepare graphs up to 10 million later. Thanks, though, for the response.
818:
in the Hardy Landau bit. Incidentally, I found a pdf of an interesting paper by Lioen and Lune on computational results on Merten's
Conjecture and Dirichlet divisor problem - you might be interested, but I have forgotten where it came from.
286:
instead. At first, I thought this was a typo in the textbook, but now I am not sure, I haven't checked. Perhaps there's an error in my source code. All this needs double checking; for the moment I left it all hanging.
634:
There are other divisor problems besides the
Dirichlet divisor problem; the Dirichlet problem is historically the first. The term "summatory function" is common in number theory, see for example
140:
472:
384:
284:
231:
767:
558:
729:
511:
816:
865:
130:
785:
How about now? Actually, I should refine this so that some definitions use the epsilon, and others do not. I admit I was sloppy here. Later ...
106:
860:
660:
Its not entirely clear to me whether or not the "hyperbolic simplex" bounding the points can be used to generate one or several different
233:
in the asymptotic behaviour. However, actual numerics makes it pretty darned incredibly clear that the true asymptotic behaviour has a
97:
58:
772:
On the line about
Kolesnik, I think you need to interchange the 'less than' and 'less than or equal to' signs - don't you?
33:
166:, as these are on essentially the same problem. I did not discover that article until, of course, I'd started this.
163:
406:
318:
842:
611:
236:
183:
735:
639:
299:
39:
838:
83:
302:
to two billion!! terms before the divergent behaviour became clear. But really, I am quite surprised.
21:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
635:
89:
798:
Yep - improving all the time :-) and after some searching, I am now convinced that it really IS
516:
73:
52:
695:
607:
661:
481:
820:
801:
776:
622:
560:
387:
846:
823:
789:
779:
678:
646:
625:
614:
585:
563:
390:
306:
291:
170:
854:
102:
688:
I think you are doing a great job Linas, but I have a couple of small queries:
786:
675:
669:
643:
582:
303:
288:
167:
79:
513:- even though it has been proved that the true error must be greater than
403:
Just done some calculations (10^2, 10^3, ... 10^13) and found that the
665:
180:
There is some confusion over formulas. The multitude of sources say
478:) the error term seems to be pretty close to a small mutlipe of
606:
the name for this concept? It seems ungrammatical, somehow. —
15:
315:
I have had a quick look at the standard proof of the result (
474:
version seems accurate, and (with these small values of
804:
738:
699:
519:
484:
409:
321:
239:
186:
101:, a collaborative effort to improve the coverage of
810:
761:
722:
552:
505:
466:
378:
278:
225:
739:
700:
8:
692:I believe that Hardy and Landau proved that
467:{\displaystyle x\log x+x(2\gamma -1)+error}
379:{\displaystyle x\log x+x(2\gamma -1)+error}
47:
803:
751:
737:
712:
698:
534:
530:
518:
493:
489:
483:
408:
320:
238:
185:
832:Symbol Ambiguity in Section "Definition"
674:Never mind, simple examples don't work.
49:
19:
279:{\displaystyle x\log x-2x(1-\gamma )}
226:{\displaystyle x\log x+x(2\gamma -1)}
7:
762:{\displaystyle \inf \theta \geq 1/4}
162:I suggest merging this article, and
95:This article is within the scope of
38:It is of interest to the following
14:
866:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
723:{\displaystyle \inf \theta : -->
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
544:
523:
443:
428:
355:
340:
273:
261:
220:
205:
1:
109:and see a list of open tasks.
861:C-Class mathematics articles
553:{\displaystyle O(x^{1/4}).}
882:
824:15:31, 14 July 2006 (UTC)
790:15:16, 14 July 2006 (UTC)
780:14:39, 14 July 2006 (UTC)
684:The merger - some details
679:05:34, 14 July 2006 (UTC)
672:05:21, 14 July 2006 (UTC)
647:05:21, 14 July 2006 (UTC)
626:17:29, 13 July 2006 (UTC)
615:17:22, 13 July 2006 (UTC)
586:14:10, 13 July 2006 (UTC)
564:11:53, 13 July 2006 (UTC)
391:06:34, 13 July 2006 (UTC)
307:05:39, 13 July 2006 (UTC)
292:05:20, 13 July 2006 (UTC)
171:05:20, 13 July 2006 (UTC)
164:Dirichlet divisor problem
134:
67:
46:
847:17:12, 1 June 2018 (UTC)
638:, with is the summatory
141:project's priority scale
506:{\displaystyle x^{1/4}}
298:exponential sum on the
176:Confusion over formulas
98:WikiProject Mathematics
812:
763:
725:
554:
507:
468:
380:
280:
227:
28:This article is rated
813:
811:{\displaystyle \geq }
764:
726:
640:von Mangoldt function
555:
508:
469:
381:
300:von Mangoldt function
281:
228:
802:
736:
697:
517:
482:
407:
319:
237:
184:
121:mathematics articles
808:
759:
720:
636:Chebyshev function
550:
503:
464:
376:
276:
223:
90:Mathematics portal
34:content assessment
769:(needs checking).
664:(in the sense of
662:hyperbolic groups
655:Hyperbolic groups
155:
154:
151:
150:
147:
146:
873:
817:
815:
814:
809:
768:
766:
765:
760:
755:
731:
728:
727:
721:
716:
559:
557:
556:
551:
543:
542:
538:
512:
510:
509:
504:
502:
501:
497:
473:
471:
470:
465:
385:
383:
382:
377:
285:
283:
282:
277:
232:
230:
229:
224:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
881:
880:
876:
875:
874:
872:
871:
870:
851:
850:
834:
800:
799:
734:
733:
694:
693:
686:
657:
600:
526:
515:
514:
485:
480:
479:
405:
404:
317:
316:
235:
234:
182:
181:
178:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
879:
877:
869:
868:
863:
853:
852:
833:
830:
829:
828:
827:
826:
807:
793:
792:
774:
773:
770:
758:
754:
750:
747:
744:
741:
719:
715:
711:
708:
705:
702:
685:
682:
656:
653:
652:
651:
650:
649:
629:
628:
599:
596:
595:
594:
593:
592:
591:
590:
589:
588:
571:
570:
569:
568:
567:
566:
549:
546:
541:
537:
533:
529:
525:
522:
500:
496:
492:
488:
463:
460:
457:
454:
451:
448:
445:
442:
439:
436:
433:
430:
427:
424:
421:
418:
415:
412:
396:
395:
394:
393:
375:
372:
369:
366:
363:
360:
357:
354:
351:
348:
345:
342:
339:
336:
333:
330:
327:
324:
310:
309:
275:
272:
269:
266:
263:
260:
257:
254:
251:
248:
245:
242:
222:
219:
216:
213:
210:
207:
204:
201:
198:
195:
192:
189:
177:
174:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
878:
867:
864:
862:
859:
858:
856:
849:
848:
844:
840:
831:
825:
822:
805:
797:
796:
795:
794:
791:
788:
784:
783:
782:
781:
778:
771:
756:
752:
748:
745:
742:
717:
713:
709:
706:
703:
691:
690:
689:
683:
681:
680:
677:
673:
671:
667:
663:
654:
648:
645:
641:
637:
633:
632:
631:
630:
627:
624:
619:
618:
617:
616:
613:
609:
605:
597:
587:
584:
579:
578:
577:
576:
575:
574:
573:
572:
565:
562:
547:
539:
535:
531:
527:
520:
498:
494:
490:
486:
477:
461:
458:
455:
452:
449:
446:
440:
437:
434:
431:
425:
422:
419:
416:
413:
410:
402:
401:
400:
399:
398:
397:
392:
389:
373:
370:
367:
364:
361:
358:
352:
349:
346:
343:
337:
334:
331:
328:
325:
322:
314:
313:
312:
311:
308:
305:
301:
296:
295:
294:
293:
290:
270:
267:
264:
258:
255:
252:
249:
246:
243:
240:
217:
214:
211:
208:
202:
199:
196:
193:
190:
187:
175:
173:
172:
169:
165:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
839:Sirplentifus
835:
775:
730:1/4}" /: -->
687:
659:
658:
608:Arthur Rubin
603:
601:
475:
179:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
855:Categories
821:Madmath789
777:Madmath789
696:1/4}": -->
623:Madmath789
561:Madmath789
388:Madmath789
602:Is this
139:on the
30:C-class
666:Gromov
612:(talk)
604:really
36:scale.
787:linas
707:: -->
676:linas
670:linas
644:linas
583:linas
304:linas
289:linas
168:linas
158:Merge
843:talk
732:not
724:1/4}
598:Name
740:inf
701:inf
610:|
414:log
326:log
244:log
191:log
131:Low
857::
845:)
806:≥
746:≥
743:θ
704:θ
642:.
438:−
435:γ
417:
350:−
347:γ
329:
271:γ
268:−
253:−
247:
215:−
212:γ
194:
841:(
757:4
753:/
749:1
718:4
714:/
710:1
548:.
545:)
540:4
536:/
532:1
528:x
524:(
521:O
499:4
495:/
491:1
487:x
476:x
462:r
459:o
456:r
453:r
450:e
447:+
444:)
441:1
432:2
429:(
426:x
423:+
420:x
411:x
374:r
371:o
368:r
365:r
362:e
359:+
356:)
353:1
344:2
341:(
338:x
335:+
332:x
323:x
274:)
265:1
262:(
259:x
256:2
250:x
241:x
221:)
218:1
209:2
206:(
203:x
200:+
197:x
188:x
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.