12

Let $\gamma=\gamma(L)$ be a simple (non-self-intersecting) closed curve of length $L$ on the unit-radius sphere $S$. So if $L=2\pi$, $\gamma$ could be a great circle.

I am seeking the most equitably distributed $\gamma(L)$, distributed in the sense that the length of $\gamma$ within any disk is minimized. This is something like placing repelling electrons on a sphere, but here the curve self-repels. So there should be no "clots" of $\gamma$ anywhere on $S$. I am especially interested in large $L$. A possible $\gamma$ is shown below, surely not optimal for its length:


           

Here is an attempt to capture more formally "equitably distributed." I find this an awkward definition, and perhaps there is a more natural definition.

Around a point $c \in S$, measure the $r$-density of $\gamma$ as the total length within an $r$-disk: $$d_\gamma(c,r) = | \gamma \cap D(c,r)|$$ where $D(c,r)$ is the disk of geodesic radius $r$ centered on $c$. Then define $d_\gamma(r)$ as the maximum of $d_\gamma(c,r)$ over all $c \in S$.

Finally, we can say that, for two curves $\gamma_1$ and $\gamma_2$ of the same length $L$, that $\gamma_1 \le \gamma_2$ if $d_{\gamma_1}(r) \le d_{\gamma_2}(r)$ for all $r \in (0,\pi)$, i.e., $\gamma_1$ is less concentrated than $\gamma_2$ for all $r$ up to a hemisphere.

This definition provides a partial order on curves of a given length $L$. One version of my question is:

Q. What do the minimal elements of this poset look like, especially as $L$ gets large?

These minimal curves are in some sense nowhere densely clotted.


Update. Acknowledging Gerhard Paseman's remark, I thought I would include this attractive image of a space-filling curve on a sphere:
  HilbertCurve
  (Image from this website).
But notice it is certainly not equidistributed in any sense, crowding near the northpole.
Joseph O'Rourke
  • 149,182
  • 34
  • 342
  • 933
  • 1
    I imagine something like a hamiltonian circuit on a dodecahedron, extended to hamiltonians on a planar graph with metric borrowed from a stereographic projection. Perhaps what you want for large L are the inverse images ( under s. p. ) of approximations to space filling curves inside large disks. Gerhard "Such Thoughts Fill My Mind" Paseman, 2014.11.26 – Gerhard Paseman Nov 26 '14 at 21:11
  • Why must you have a great circle if $L = 2 \pi$? – Steve Huntsman Nov 26 '14 at 21:43
  • 1
    Also, this appears to be in a similar (though also clearly distinct) vein to http://mathoverflow.net/questions/26212/ – Steve Huntsman Nov 26 '14 at 21:46
  • @SteveHuntsman: Thanks, Steve, for the correction (I was assuming that the great circle was optimal). And for the mango(!) reference. :-) – Joseph O'Rourke Nov 26 '14 at 22:11
  • 5
    Erm... Since your minimizer should satisfy continuum comparisons with each other single curve, why are you so sure it exists at all? – fedja Nov 26 '14 at 23:00
  • @fedja: Good point! I am not sure. Nevertheless, there should be some curves that are uniformly better than others, and I'd be content with a sequence approaching a limit. – Joseph O'Rourke Nov 27 '14 at 00:05
  • 3
    about existence, not worried, see http://en.wikipedia.org/wiki/Knot_energy We can replace the ambient distance by geodesic distance. Likely the winner for your picture length is the laces on a baseball; i would expect to be able to prove smoothness of the optimizer. As usual, Rob Kusner has written about closely related things. – Will Jagy Nov 27 '14 at 01:38
  • This earlier question from @JosephO'Rourke also seems relevant: http://mathoverflow.net/questions/26525/coiling-rope-in-a-box – Yoav Kallus Nov 27 '14 at 05:42

3 Answers3

4

I suppose one heuristic would be to find a shortest tour through uniformly distributed points on a sphere. The following image applies Mathematica's FindShortestTour command to $10000$ points generated by your own sphere command from Computational Geometry in C.

enter image description here

We could also use more regularly distributed points to obtain a path that (I suspect) has better local properties. This image uses 5000 points generated by the algorithm described here.

enter image description here

I don't know that I quite follow your $\gamma(L)$ function, but it might be something like an inverse of the function obtained by plotting the length $L$ as a function of the number of points input to this procedure.

enter image description here

Mark McClure
  • 1,898
4

This is from "Population coding under normalization":

Numerical solutions of a necklace of electrons

Joseph O'Rourke
  • 149,182
  • 34
  • 342
  • 933
  • Ooops... The solution to $\alpha = 1.6$ corresponds to $\alpha = 2.0$ and vice-versa. This was done by starting with a circle with $\alpha = 0.8$, incrementing the length a little bit, and letting the solution evolve, and repeating the cycle. – Dario Ringach Mar 13 '21 at 15:38
3

to me the best possible solution seems to be the sequence of closed Hilbert curves on the Cubed Sphere;
that curve consists of six ordinary Hilbert Curves, one for each face of a cube, which, when appropriately connected, yield a space-filling Jordan Curve for the cube's surface.
Then centrally projecting those curves onto a cocentric sphere yields a solution without crowding, albeit a slightly higher density around the projections of the cube's corners.

A further improvement may result from rounding away the corners in a similar fashion as is used for tennis balls, which is the rounding applied to your example.

Yet another, maybe even better, bet would be Hamilton Cycles of Hamiltonian Fullerene Graphs (cf e.g. http://arxiv.org/pdf/0801.3854.pdf for a discussion); that bet is based on the honeycomb conjecture (cf e.g. http://en.wikipedia.org/wiki/Honeycomb_conjecture) and on the fact, that Fullerene graphs are the closest one can get to a hexagonal tiling of the sphere (there are twelve inevitable pentagons).
Examples of Hamiltonian Fullerene graphs are depicted here: http://www.academia.edu/4269519/On_the_Hamiltonicity_of_Fullerenes.

Manfred Weis
  • 12,594
  • 4
  • 34
  • 71
  • I especially like your Fullerine graphs idea---Thanks! – Joseph O'Rourke Nov 27 '14 at 12:20
  • The curve obtained by glueing together and then deforming 6 Hilbert curves is also algorithmically described and pictured at http://s2geometry.io/devguide/s2cell_hierarchy. – Alex M. Jun 27 '21 at 12:01