Bill, The first few decimal places of the circumradius are: 0.595860164210417909024063032937823238789 That's enough to see that RIES can't find a simple closed form. Here's some Wolfram Mathematica code to obtain accurate lower bounds: omega = Simplify[(-1)^(2/3)]; base = 3 + omega; candidates = {1}; unit = base; Do[ unit = Simplify[base unit]; candidates = DeleteDuplicates@ Flatten@Table[{1, omega, omega^2, -1, -omega, -omega^2} + base e, {e, candidates}]; candidates = Map[Simplify, candidates]; maxnorm = Max[Map[Norm, candidates]]; candidates = Select[candidates, (Norm[#] + 1 >= maxnorm) &]; Print[{Length[candidates], N[maxnorm/Norm[unit], 50]}]; , {i, 1, 100}]; It does this by a tree search on sequences of digits (from the set of sixth roots of unity, because 0 can't be in the digit expansion of an extremal point). It prunes branches whose upper bound is smaller than the currently established lower bound. Fortunately, the number of candidates seems to be O(1), independent of the iteration, so this runs relatively quickly. (Also, the first digit is wlog assumed to be a 1.) Best wishes, Adam P. Goucher
Sent: Thursday, April 11, 2019 at 3:29 PM From: "Bill Gosper" <billgosper@gmail.com> To: math-fun@mailman.xmission.com Subject: Re: [math-fun] That curve I regrettably named flowsnake
On 2019-04-10 06:10, Joerg Arndt wrote:
Pics or it didn't happen!
Agreed: https://www.wolframcloud.com/objects/797a1110-f0cd-47a5-90f6-f0b3d1d8ce4b
Joking aside: I'd like to understand, but don't.
Best regards, jj
* Bill Gosper <billgosper@gmail.com> [Apr 08. 2019 15:50]:
On Sat, Apr 6, 2019 at 9:20 AM Bill Gosper <billgosper@gmail.com> wrote:
Mandelbrot detested the name. Then he discovered a spacefill of Koch's Snowflake. The worthy claimant to the Flowsnake name! Which he still detested. I recently realized how little I know about my own curve, which fills the FranceFlake, the fundamental region for the positional number system Base: 2 + i^(2/3) = √7 e^(i arccos(11/14)/2) and the (necessarily) seven digits 0 and the 6th roots of 1.
SPOILERS
If FranceFill(0)= 0+0i, FranceFill(1) = 1 + 0i: 1) What is the area of a FranceFlake?
Only √3/2.
2) Where is its centroid?
1/2+i/2/√3
3) Is its circumradius √(52/147) ?
No. ≥ √(6140317/3)/2401. (What the heck is this approaching?) The same as the FranceFlake, duh.
4) Ironically, it was popular partly for how completely its canonical sampling (at 0/7, 1/7,...,1) self-avoided. But like all true spacefills, it is *dense* with *triple* points. E.g., what are the preimages of (9 + i √3)/21?
{5/42, 11/42, 17/42} Are there quadruple points? How can we prove "No."?
—rwg
math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun