Substrate Geometry
Computer-assisted interval computation / private preview
AConvex range of a spherical-harmonic perturbationHAND PROOFBConvexity thresholds for 27 harmonic bodiesCOMPUTER-ASSISTEDCEquilibrium counts for the m = 1 harmonic bodiesCOMPUTER-ASSISTEDD1Sloan shape 2: upper bound on the convex rangeHAND PROOFD2Sloan shape 2 is strictly convex for beta up to 0.03550477COMPUTER-ASSISTEDD3Sloan shape 2 has the origin as centroid and exactly two equilibriaHAND PROOFD4Sloan shape 1: upper bound on the convex rangeHAND PROOFD5Sloan shape 1 is strictly convex and mono-monostatic for beta up to 0.03229670385COMPUTER-ASSISTEDE1Phase-1 body: strictly convex2 METHODSE2Phase-1 body: exactly one stable and one unstable equilibrium2 METHODSF1Phase-1 gradient floorCOMPUTER-ASSISTEDF2Phase-1 Hessian at the equilibria: flat in one direction, steep in the otherCOMPUTER-ASSISTEDF3How much shape error Phase-1 toleratesCOMPUTER-ASSISTEDF4Is Phase-1 close to the best this family can do?EXPLORATORYG1Phase-1 equilibrium count as a replayable recordCOMPUTER-ASSISTEDG2Single-harmonic m=1 counts from the same checkerCOMPUTER-ASSISTEDG3Convexity of radial bodies, checked against the published thresholdsCOMPUTER-ASSISTEDG4Mesh trials: how much shape error a printed gomboc can takeEXPLORATORYG5A nearest-neighbour scan miscounts a flat bodyEXPLORATORYAConvex range of a spherical-harmonic perturbationHAND PROOFBConvexity thresholds for 27 harmonic bodiesCOMPUTER-ASSISTEDCEquilibrium counts for the m = 1 harmonic bodiesCOMPUTER-ASSISTEDD1Sloan shape 2: upper bound on the convex rangeHAND PROOFD2Sloan shape 2 is strictly convex for beta up to 0.03550477COMPUTER-ASSISTEDD3Sloan shape 2 has the origin as centroid and exactly two equilibriaHAND PROOFD4Sloan shape 1: upper bound on the convex rangeHAND PROOFD5Sloan shape 1 is strictly convex and mono-monostatic for beta up to 0.03229670385COMPUTER-ASSISTEDE1Phase-1 body: strictly convex2 METHODSE2Phase-1 body: exactly one stable and one unstable equilibrium2 METHODSF1Phase-1 gradient floorCOMPUTER-ASSISTEDF2Phase-1 Hessian at the equilibria: flat in one direction, steep in the otherCOMPUTER-ASSISTEDF3How much shape error Phase-1 toleratesCOMPUTER-ASSISTEDF4Is Phase-1 close to the best this family can do?EXPLORATORYG1Phase-1 equilibrium count as a replayable recordCOMPUTER-ASSISTEDG2Single-harmonic m=1 counts from the same checkerCOMPUTER-ASSISTEDG3Convexity of radial bodies, checked against the published thresholdsCOMPUTER-ASSISTEDG4Mesh trials: how much shape error a printed gomboc can takeEXPLORATORYG5A nearest-neighbour scan miscounts a flat bodyEXPLORATORY
01 / PHASE-1

The body, computed from its own formula

Sloan's second shape with one extra harmonic in its phase, at the exact parameters of results E1 and E2. The surface below is evaluated in your browser, not drawn by hand.

Phase-1 body2 METHODS

Blue marks the stable equilibrium at colatitude pi/2, longitude pi; red the unstable one at pi/2, 0. The real body departs from a sphere by about 2 percent, so the slider magnifies that departure for display. At 1x you see the body itself.

Display
Deviation magnifier6x (display only)
Parametersexact rationals
Counts (S, U, H)(1, 1, 0)
Second methodagrees

See E1 for convexity and E2 for the equilibrium count, each with its second method and limits.

02 / MARGINS

Flat in one direction, steep in the other

Near the stable equilibrium the landscape of the squared centroid distance is a long shallow trough. That flat direction is why the body is so sensitive: a tiny shape error can move the minimum a long way.

Level lines at the stable equilibriumCOMPUTER-ASSISTED
flat direction: curvature 0.0066 steep direction: curvature 1.741

Axes are proportional to 1 over the square root of each eigenvalue, so the ratio of the two axes is 16.2 to 1 (the square root of the condition number, about 264).

Numbers behind the drawing
Stable eigenvalues0.0066 to 1.741
Unstable eigenvalues-1.596 to -0.0068
Condition numberabout 260
Definite on the box forr0 <= 0.005

Row F2. Computer-assisted, no second method. The drawing scales the same eigenvalue enclosures that the table reports.

03 / HARMONIC EXPLORER

Count the equilibria of a harmonic body

Pick a spherical harmonic. The page counts the extrema of the field on a fixed lattice and prints the closed form m(l-m+1) beside it. Two routes, not wired together.

Harmonic bodyY
Controls and countEXPLORATORY
Degree l4
Order m2
Amplitude0.24
Lattice count, stable-
Lattice count, unstable-
Closed form m(l-m+1)-
Counting

An illustration, not a result. The lattice is fixed (121 by 240, odd by even, because an even row count misses the equator and silently reports fewer). It counts extrema of the harmonic field; it is not an interval computation and it is not in the ledger as evidence.