Minutes for 2/12/04 Today's snacks: Stephen (next time: Martin) Today's notes: Carl (next time: Sam) HAL with the recurrence a_n * a_{n-4} = a_{n-1} * a_{n-3} + 1 (1,1,1,1,2,3,4,9,14,19...) we showed how to count hexagonal matchings that correspond to: 3 4 14 19 (AB=CD+1) using Linstrom's Lemma. Now, we want to try to "superimpose" 3 & 19 (that is, draw the hex-graph corresponding to 3 on top of 19) "So where do you put it?" "The natural place." the "3" __ A __/ \ this is the 'A' in the C D picture. / \__/1 B \__/2 3 'C' adds one row to the bottom-left to 'A' 'D' adds one row to the bottom-right to 'A' and 'B' adds both ('C' and 'D') to 'A' the "19" __ __/1 \ 1__ __/1 \__/ 1__/ \__/1 \__/ 1__/ \__/1 \__/ / \__/2 \__/ \__/3 4 Now, to superimpose 3 & 19, me get a "multi-matching" (different from a multi-graph). Now, we get to use each repeated vertex twice. (we get something like this: ) __ __/ \ __/ \__/ //=\\__/ \__/ __//=\\=// \__/ / \\=// \__/ \__/ What results is either loops or paths. There might be something interesting counted by the number of paths in these matchings..? EMILIE put the recurrence a_n * a_{n-3} = a_{n-1} * a_{n-2} + a_{n-1} + a_{n-2} into 3D. A=(CD+E+B)/F from F from F from F west: / \ southwest: | northwest: | D E D+E D--+--E | | | | B C B--+--C B+C \ / | | A A A These recurrences seem to be Laurent, but not "faithful". [Actually, we learn later that they aren't even Laurent: see below.] HAL/SAM more talk with number walls. Hal wants to look for a class of combinatorial objects that grows like the hexagonal graph matchings, in a way that is understandable. JIM goes over Emilie's 3D recurrence. looks at it from another angle (C=(AF-B-E)/D). With a_n * a_{n-3} = a_{n-1} * a_{n-2} + a_{n-1} + a_{n-2}, we might be able to find a number-theory proof that the sequence contains only integers, using techniques similar to those in the Somos article. :: break :: mmmm... bagels.... (Thanks Stephen!) JIM What about un-seeded bagels? Should we avoid the unnecessary mess? :: to Lab :: B107 hums with machines of maple math, but few audible words are spoken. EMILIE's 2D recurrence seems not to work. Though, the 1D recurrence produces integers and is Laurent (at least for many many terms) Stuff she did today can be found in maple worksheet format at: MARTIN suggests Magma software is more efficient, can probably compute stuff farther than maple. (investigate getting a site license?) SSL officially ends. Sam and Carl test their newfound B107 privileges and stay after, UNATTENDED. If only they had brought camping gear.