5 ms·
i really love the result you quote about the carries. do you know where it has been applied by any chance?
by coderatlarge 1y ago
i really love the result you quote about the carries. do you know where it has been applied by any chance?
- gjm11 1y agoI don't know of applications offhand, sorry. For me it's in the "appreciated for its own sake" category :-).
- coderatlarge 1y agoi can see that for sure. do you have a reference by any chance? chatgpt hallucinates various references given the result. knuth’s “concrete mathematics” might have it.
- deleted 1y ago[deleted]
- deleted 1y ago[deleted]
- gjm11 1y agoI don't know whether it's in Concrete Mathematics, but perhaps https://en.wikipedia.org/wiki/Kummer%27s_theorem https://en.wikipedia.org/wiki/Kummer%27s_theorem will do? (That page has a link to another beautiful theorem with a similar feel, Lucas's theorem: if p is prime, then (n choose r) mod p is the product of the (n_i choose r_i) where n_i and r_i are corresponding digits of n and r when written in base p.)
- gjm11 1y agoI checked: the result is in Concrete Mathematics, as exercise 5.36, but there is no attribution to Kummer there. Incidentally, I found the name of the theorem (and the Wikipedia page about it) using a new kind of tool called a "search engine". It's a bit like asking ChatGPT except that it hardly ever hallucinates. You should try it! :-)
- svat 1y agoFor what it's worth: Concrete Mathematics does have an attribution to Kummer — it's just that the credits are given separately in Appendix C, "Credits for Exercises", where on page 634, next to 5.36 (the exercise number you mentioned), you can find "Kummer [230, p. 116]" and [230] (on page 621, in Appendix B, "Bibliography") gives the full citation: > E. E. Kummer, “Über die Ergänzungssätze zu den allgemeinen Reciprocitätsgesetzen,” Journal für die reine und angewandte Mathematik 44 (1852), 93–146. Reprinted in his Collected Papers, volume 1, 485–538. Also, the answer to exercise 5.36 says “See [226] for extensions of this result to generalized binomial coefficients” and [226] (on page 620) is: > Donald E. Knuth and Herbert S. Wilf, “The power of a prime that divides a generalized binomial coefficient,” Journal für die reine und angewandte Mathematik 396 (1989), 212–219 which of course begins (https://www2.math.upenn.edu/~wilf/website/dm36.pdf https://www2.math.upenn.edu/~wilf/website/dm36.pdf) by citing Kummer. (Looks like the authors published in the same journal as Kummer, 137 years later!)
- gjm11 1y agoOh, good catch! I hadn't noticed they had a separate credits-for-exercises section. I did notice that ex 5.36 references a paper of Knuth & Wilf, but references aren't transitive :-).
- coderatlarge 1y agothank you for your help in tracking this down! i will check it out…
- coderatlarge 1y agothank you! what an excellent and delightful related result as well :)