tag:blogger.com,1999:blog-20067416.post9560604518857302..comments2023-12-21T06:35:36.624-05:00Comments on Recursivity: Avoiding Sum CubesUnknownnoreply@blogger.comBlogger25125tag:blogger.com,1999:blog-20067416.post-49580994782634565892011-07-04T10:57:04.070-04:002011-07-04T10:57:04.070-04:00jeff:
That's what I was explaining. You can ...jeff:<br /><br />That's what I was explaining. You can obtain such a closed form using the eigenvalues of the matrix.Jeffrey Shallithttps://www.blogger.com/profile/12763971505497961430noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-85754503286744031922011-07-04T09:22:22.049-04:002011-07-04T09:22:22.049-04:00Thanks Dr. Shallit, I was interested (for fun) in ...Thanks Dr. Shallit, I was interested (for fun) in looking for a closed-form for the specific sequence of partial sums I mentioned. As an example, Binet's formula for the Fibonacci sequence. I will try using the matrix.jeffhttps://www.blogger.com/profile/18107362309856328427noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-85752373587080500912011-07-04T08:08:21.802-04:002011-07-04T08:08:21.802-04:00James:
I don't know about "natural"...James:<br /><br />I don't know about "natural", but yes, there are intermediate problems. For example, you could try to avoid blocks x x' x'', where |x| = |x'| and sum x = sum x', and alpha |x| <= |x''| <= |x| for some alpha <= 1 and sum x'' <= sum x. (In other words, x'' is a block that could possibly be extended to a block x''' of the right length and sum.) The case alpha = 1 is sum cubes.Jeffrey Shallithttps://www.blogger.com/profile/12763971505497961430noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-15720522731373732342011-07-04T07:19:57.950-04:002011-07-04T07:19:57.950-04:00Jeff:
It's easy to get the partial sums, but ...Jeff:<br /><br />It's easy to get the partial sums, but the "right" way to do it is to use the matrix of the morphism, M, as defined in our paper.<br /><br />We found the morphism by an "intelligent" search - having some idea of what it might look like and then searching the space.Jeffrey Shallithttps://www.blogger.com/profile/12763971505497961430noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-88477679849430686192011-07-02T17:55:22.404-04:002011-07-02T17:55:22.404-04:00How did you find this morphism? I ask because it l...How did you find this morphism? I ask because it looks to have nice pattern to the natural partition of blocks, for lack of better expression. Please allow me to explain with an example as follows,<br /><br />03<br />1<br />43<br />011<br />034343<br />031011011<br />03143034343034343<br />03143011031011011031011011<br />031430110343430314303434303434303143034343034343.<br /><br />There is an offset to struggle with, but it looks like we can transform the infinite word like so,<br />03<br />(a0):= 1<br />(a1):= 43<br />(a2):= 0(a0)(a0)<br />(a3):= 03(a1)(a1)<br />(a4):= 03(a0)(a2)(a2)<br />(a5):= 03(a0)(a1)(a3)(a3)<br />(a6):= 03(a0)(a1)(a2)(a4)(a4)<br />(a7):= 03(a0)(a1)(a2)(a3)(a5)(a5).<br /><br />Which gives: 031430(a0)(a0)03(a1)(a1)03(a0)(a2)(a2)03(a0)(a1)(a3)(a3)03(a0)(a1)(a2)(a4)(a4)...<br /><br />Of course I have not provided a rigorous transformation, and we'd need a tracking mechanism to get the lengths and sums of arbitrary sized blocks for the transformation to be of any use. But for fun I wanted to see if could guess the closed form for the partial sums of the digits of these blocks as they get appended. <br /><br />I'm posting what I did, as beyond this "manual" effort (which is better than doing sudoku, at least to me) I'd try to do a rigorous derivation and write some code to help verify things. <br /><br />I simplified the partial sums in terms of (a0) and (a1) to get,<br /><br />031430(a0)(a0) = 8+2(a0)+3<br />031430(a0)(a0)03(a1)(a1) = 8+2(a0)+2(a1)+6<br />8+7(a0)+2(a1)+9<br />8+8(a0)+7(a1)+18<br />8+21(a0)+8(a1)+27<br />8+26(a0)+21(a1)+51<br />8+60(a0)+26(a1)+78<br />8+79(a0)+60(a1)+144<br />8+169(a0)+79(a1)+225<br />8+234(a0)+169(a1)+408<br />8+475(a0)+234(a1)+648,<br /><br />Where 8 is the sum of 1 + 4 + 3, and the last term of each partial sum is the running sum of the digits of the occurrences of the block 03. The other terms are obvious, and I omitted the left-hand side of the equation for most of the example. As a guess regarding occurrences of (a0) I noticed: 2-2 = 0, 8-7 = 1, 26-21 = 5, 79-60 = 19, 234-169 = 65. The formula appears to be (A001047) 3^n - 2^n, where n >= 0. Also, I noted: 7-2 = 5, 21-8 = 13, 60-26 = 34, 169-79 = 90, 475-234 = 241. The formula appears to be (A023425) the Generalized Catalan Numbers. As the occurrences of (a1) appear to be a shifted version of these formulas, we'd have a piecewise function to account for an even or odd numbered partial sum. <br />Finally, the sequence 3,9,27,78,225,648 looks to be given by (A090401) the expansion of 1/(1-3x+3x^4). Perhaps we can key off this observation to find a similar formula for the sequence 6,18,51,144,408? In any event, it looks tough to derive a closed form, at least to me.<br /><br />Lastly, it seems like the pattern I mentioned and the fact that we skip the number 2 play a big role in getting the desired property. So I was just wondering if it was found by "design" or by a computer search...jeffhttps://www.blogger.com/profile/18107362309856328427noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-69568456373056643072011-06-30T08:39:49.004-04:002011-06-30T08:39:49.004-04:00Are there any obvious natural problems which are i...Are there any obvious natural problems which are intermediate in strength between "avoid sum squares" and "avoid sum cubes"?James Cranchhttp://www.srcf.ucam.org/~jdc41noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-28668135797916384602011-06-30T01:08:41.084-04:002011-06-30T01:08:41.084-04:00That was a great post, Cody. Food for thought.That was a great post, Cody. Food for thought.Tuition Payernoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-77959293931661941802011-06-30T01:00:34.600-04:002011-06-30T01:00:34.600-04:00I say don't knock somebody for contributing to...I say don't knock somebody for contributing to the advancement of human knowledge. A paper like this clearly took a tremendous amount of work to accomplish. I agree that most mathematics amounts to just spank material, with no real immediate benefit to our world civilization. Actually, I witnessed a fellow mathematics student in grad school "literally" spank off in class, well just before class to a female student in the front row. It only took about two minutes before he made the "O" face. Two other students witnessed the event with glee. I was upset though, not out of jealousy or the fact that a rather disabled person was enjoying himself at my expense mind you. But rather because it forced and me to take a long, hard look at myself to see if I really fit in. I do ... damn it, but I dropped out of grad school anyhow.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-48992688390701095672011-06-29T17:07:07.886-04:002011-06-29T17:07:07.886-04:00Tuition payer, this is a subject close to my heart...Tuition payer, this is a subject close to my heart: I personally often lose interest once the practical applications become clear (it took me a very long time to realize this) and so I've argued this topic with many close friends (mostly application oriented EEs).<br /><br />A good friend once argued that all mathematics was done for ultimately practical purposes—imaginary numbers, named for their supposed inapplicability (now used to understand electricity, quantum mechanics, signal processing, etc.) changed his mind.<br /><br />Number theory is an even better example, which Gauss described as "the queen of mathematics". Number theory didn't find much practical application until the late 20th century when it was leveraged for encryption where it remains dominant. (There is some indication that quantum physics could benefit from pure number theory as well.)<br /><br />Other examples include showing coworkers the <a href="http://en.wikipedia.org/wiki/Guggenheim_Museum_Bilbao" rel="nofollow">Guggenheim museum</a> in Bilboa Spain, and EE friends the <a href="http://www.hulu.com/watch/219251/tedtalks-theo-jansen-creates-new-creatures" rel="nofollow">beach artwork of Theo Jansen</a>, all of whom responded with, "what's the point?" I'm not sure there is any sensible answer other than "because it pleases me [or others]."<br /><br />But the easiest answer to understand is this: today's meaningless abstract theory is tomorrow's technological revolution. Just think of the inapplicability of Einstein's General Theory of Relativity in 1916 (essential for GPS satellites launched 1978).<br /><br />To take this further, there is no clear indicator telling us which lines of research will be fruitful and which ones will be a waste of time. (I wonder if the undecidability of the halting problem suggests that this is not a problem which can be algorithmically solved?)codyhttps://www.blogger.com/profile/11407919985914326282noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-3459906978175671062011-06-29T12:28:10.232-04:002011-06-29T12:28:10.232-04:00Hopefully, most do.
You have absolutely no idea ...<i>Hopefully, most do.<br /></i><br /><br />You have absolutely no idea about how research in mathematics is done, do you?<br /><br />Amazing how someone so clueless can pontificate like that.Jeffrey Shallithttps://www.blogger.com/profile/12763971505497961430noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-59885043039647482672011-06-29T12:25:06.222-04:002011-06-29T12:25:06.222-04:00"What are the chances some journalist with an..."What are the chances some journalist with an agenda and no track record in studying education knows more about academia than I do - after teaching at 4 different schools over 28 years? Virtually nil."<br /><br />Which minister did you borrow this line from? You know what I mean, the one who sayid:<br /><br />"What are the chances some professor with an agenda and no track record in studying religion knows more about Christianity than I do - after teaching at 4 different schools over 28 years? Virtually nil."<br /><br />====<br /><br />I'll admit that the sum cubes is intriguing. I enjoy math puzzles like this. I would just prefer that mathematicians worked on it on their own dime. Hopefully, most do.Tuition Payernoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-91830873349740426972011-06-29T08:30:51.910-04:002011-06-29T08:30:51.910-04:00You sure are good at defending those 5% of mathema...You sure are good at defending those 5% of mathematicians, aren't you.Tuition payernoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-84248955796977670162011-06-29T07:27:30.921-04:002011-06-29T07:27:30.921-04:00You sure seem to draw a lot of irate pseudointelle...You sure seem to draw a lot of irate pseudointellectual antagonists in the comments, pretty much on every post, even one as straightforward and logical as this. A shame really, the problem of sum squares and cubes is quite intruiging.Bob Obocnoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-8584567926896993272011-06-29T04:44:58.386-04:002011-06-29T04:44:58.386-04:00You wouldn't listen to a right-wing anyone who...<i>You wouldn't listen to a right-wing anyone who said your pants were on fire.</i><br /><br />You don't know anything about me. I have an extensive library of books from all sides of the political spectrum, including William F. Buckley, Paul Johnson, and other conservatives.<br /><br /><i> she might have more credibility than your uninvestigated conclusion might assume.</i><br /><br />Sorry, but life is short, and recommendations from pseudonymous commentators as clueless as you don't weigh much.<br /><br />What are the chances some journalist with an agenda and no track record in studying education knows more about academia than I do - after teaching at 4 different schools over 28 years? Virtually nil.Jeffrey Shallithttps://www.blogger.com/profile/12763971505497961430noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-6116486803455957892011-06-28T23:53:53.238-04:002011-06-28T23:53:53.238-04:00"Right wing journalist" -- ahh, and that..."Right wing journalist" -- ahh, and that's what really matters!<br /><br />You wouldn't listen to a right-wing anyone who said your pants were on fire.<br /><br />As a magna cum laude graduate from Harvard, she might have more credibility than your uninvestigated conclusion might assume.Tuition payernoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-76291457409613088542011-06-28T23:08:10.205-04:002011-06-28T23:08:10.205-04:00I'm very interested in what Tuition payer cons...I'm very interested in what Tuition payer considers "practically useless things." What about "watching television," "listening to music," "eating candy," "dancing in a disco," "riding a rollercoaster," or "replying to a blog post"? <br />What percent of your time and money is spent on "practically useful things"? What would you consider a "desired percentage"?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-40514314259199944332011-06-28T23:07:25.153-04:002011-06-28T23:07:25.153-04:00For Hofstadter's six-word autobiography, see h...For Hofstadter's six-word autobiography, see http://xkcd.com/917/Gerrynoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-56693878136567764822011-06-28T21:25:25.690-04:002011-06-28T21:25:25.690-04:00Read the book
Sorry, I'm completely uninteres...<i>Read the book</i><br /><br />Sorry, I'm completely uninterested in what some right-wing journalist who knows nothing about research or education thinks. <br /><br />20 years ago, conservatives were all hot about <i>Profscam</i>. I <a href="http://recursed.blogspot.com/2009/01/profscam-accurate-or-not.html" rel="nofollow">read it</a>. It was utter junk.Jeffrey Shallithttps://www.blogger.com/profile/12763971505497961430noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-9406895977422522452011-06-28T21:01:24.433-04:002011-06-28T21:01:24.433-04:00I understand when a greater-than-desired percentag...I understand when a greater-than-desired percentage of my tuition dollars goes for practically useless things. Read the book.Tuition payernoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-47957129289033858942011-06-28T20:44:26.259-04:002011-06-28T20:44:26.259-04:00Tuition payer:
You don't know a damn thing ab...Tuition payer:<br /><br />You don't know a damn thing about research in mathematics, do you?Jeffrey Shallithttps://www.blogger.com/profile/12763971505497961430noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-361948164901056222011-06-28T17:35:08.598-04:002011-06-28T17:35:08.598-04:00Wow, 95%?
I think any professor who fits in this c...Wow, 95%?<br />I think any professor who fits in this category should read the book:<br />The Faculty Lounges: And Other Reasons Why You Won't Get The College Education You Pay For (see reviews at Amazon)Tuition payernoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-49751972168730674092011-06-28T11:00:24.687-04:002011-06-28T11:00:24.687-04:00Curt:
Probably no practical use today, but that i...Curt:<br /><br />Probably no practical use today, but that is true for something like 95% of what mathematicians do. <br /><br /><i>Gödel, Escher, Bach</i> is a fun book. I read it my senior year of university, when it came out. Yes, it's worth reading.Jeffrey Shallithttps://www.blogger.com/profile/12763971505497961430noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-55762098456670720382011-06-28T09:38:38.077-04:002011-06-28T09:38:38.077-04:00As a non-mathematician (although I always did very...As a non-mathematician (although I always did very well in math classes and I got a EE degree so I had quite a lot of practical math), is there any practical use for number theory like this? It seems pretty far out in the abstract direction.<br /><br />I'm currently reading <i>Goedel, Escher, Bach</i> and some of this problem reminds me of stuff I'm picking up there - true statements that maybe can't be proved within the formal system of mathematics.<br /><br />Jeffrey, I'm curious about your opinion of this book. The title of this blog is exactly what the book focuses on. Do you recommend it? The Goedel's Incompleteness Theorem always sounded kinda interesting, but mysterious, and I had heard about Turing's halting problem but didn't really understand what they're about.Curt Cameronhttps://www.blogger.com/profile/08048312089881459521noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-79923754302318154152011-06-27T22:39:28.466-04:002011-06-27T22:39:28.466-04:00How many of the words without sum cubes can dance ...How many of the words without sum cubes can dance on the head of a pin?Groofiusnoreply@blogger.comtag:blogger.com,1999:blog-20067416.post-40184016409568846142011-06-27T20:48:19.559-04:002011-06-27T20:48:19.559-04:00sounds very nice, gonna have a look at the preprin...sounds very nice, gonna have a look at the preprint!fudohttps://www.blogger.com/profile/09004773966721427129noreply@blogger.com