Spherical Grasshopper Problem

• The spherical grasshopper problem is a geometric optimization that seeks measurable colorings on the unit sphere S² to maximize same-color landing probability after a fixed geodesic jump.
• It employs an antipodal constraint, integral formulations, and spherical harmonic expansions to derive probability bounds and characterize optimal configurations.
• Numerical methods, including simulated annealing on geodesic meshes, reveal distinct cogwheel, labyrinth, and stripe regimes with implications for approximating Bell inequalities.

to=arxiv_search 彩神争霸 盈立json {"^^^^^^^^3query3 Spherical Grasshopper Problem^^^^^^^^3\3 OR ^^^^^^^^3\3 Grasshopper Problem on the Sphere^^^^^^^^3\3 The spherical grasshopper problem is a geometric optimization problem on the unit sphere PRESERVED_PLACEHOLDER_^^^^3query3^^^^ in which one seeks a measurable colouring, or equivalently a measurable “lawn,” of area PRESERVED_PLACEHOLDER_^^^^3\3^^^^ that maximizes the probability that a grasshopper remains on the same colour after making a geodesic jump of fixed central angle PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^ in a uniformly random direction. In its most studied form, the colouring satisfies an antipodality constraint: exactly one point in each antipodal pair is painted black, so $\mu(r)+\mu(-r)=1$ for all $r\in S^2$. The problem was developed in a ^^^^3 OR \3query3 OR \33^^^^ essay by van Breugel and was later embedded in a broader computational and harmonic framework that also treats several non-equivalent spherical variants and relates the optimization to Bell inequalities and local hidden-variable approximations to singlet correlations (&&&^^^^3query3^^^^&&&, &&&^^^^3\3^^^^&&&).

^^^^3\3^^^^. Mathematical formulation

On $S^2$, with surface element $d^2r$ or $d\Omega(x)$, an antipodal complementary colouring is a measurable function

$\mu:S^2\to\{0,1\}$

satisfying

$\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$

Equivalently, one may work with a measurable subset PRESERVED_PLACEHOLDER_^^^^3\3query3^^^^ of area PRESERVED_PLACEHOLDER_^^^^3\3\3^^^^, or with an indicator function PRESERVED_PLACEHOLDER_^^^^3\3 OR \3^^^^ obeying

PRESERVED_PLACEHOLDER_^^^^3\33^^^^

A grasshopper lands at a uniformly random point PRESERVED_PLACEHOLDER_^^^^3\3^^^^4 and then jumps a fixed geodesic distance PRESERVED_PLACEHOLDER_^^^^3\3^^^^5 in a uniformly random direction, landing at PRESERVED_PLACEHOLDER_^^^^3\3^^^^6. The optimization target is

PRESERVED_PLACEHOLDER_^^^^3\3^^^^7

In the one-lawn formulation used in the later framework, this becomes

PRESERVED_PLACEHOLDER_^^^^3\3^^^^8

where PRESERVED_PLACEHOLDER_^^^^3\3^^^^9 is the normalized circle-averaging operator

PRESERVED_PLACEHOLDER_^^^^3 OR \3query3^^^^

The operator preserves total mass: PRESERVED_PLACEHOLDER_^^^^3 OR \3\3^^^^

The ^^^^3 OR \3query3 OR \3^^^^6 study distinguishes three variants. In the antipodal complementary problem, one lawn PRESERVED_PLACEHOLDER_^^^^3 OR \3 OR \3^^^^ satisfies PRESERVED_PLACEHOLDER_^^^^3 OR \33^^^^. In the antipodal independent problem, two lawns PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^4 each satisfy PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^5, and success means starting on lawn ^^^^3\3^^^^ and landing outside lawn ^^^^3 OR \3^^^^. In the non-antipodal complementary problem, the antipodal constraint is dropped while retaining one lawn of area PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^6 (&&&^^^^3\3^^^^&&&).

^^^^3 OR \3^^^^. Integral representations and exact cases

For an antipodal colouring PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^7, van Breugel writes

PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^8

where PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^9 is the central angle between $\mu(r)+\mu(-r)=1$^^^^3query3^^^^ and $\mu(r)+\mu(-r)=1$^^^^3\3^^^^. Introducing the spin field

$\mu(r)+\mu(-r)=1$^^^^3 OR \3^^^^

the same quantity can be expressed as

$\mu(r)+\mu(-r)=1$3

(&&&^^^^3query3^^^^&&&).

The later framework also gives a double-integral form for two lawns $\mu(r)+\mu(-r)=1$4: $\mu(r)+\mu(-r)=1$5 (&&&^^^^3\3^^^^&&&).

Several exact cases organize the problem. For a hemispherical lawn, any great-circle hemisphere yields

$\mu(r)+\mu(-r)=1$6

This quantity serves as the hemisphere colouring bound in the antipodal complementary setting. At $\mu(r)+\mu(-r)=1$7, every antipodal one-lawn satisfies

$\mu(r)+\mu(-r)=1$8

At $\mu(r)+\mu(-r)=1$9, one-lawn complementary gives $r\in S^2$^^^^3query3^^^^, whereas two-lawn complementary gives $r\in S^2$^^^^3\3^^^^ (&&&^^^^3\3^^^^&&&). These exact identities explain why $r\in S^2$^^^^3 OR \3^^^^ is a singular point in the antipodal problem and why the large-$r\in S^2$3 behavior differs sharply between one-lawn and two-lawn variants.

3. Discretization and numerical optimization

Van Breugel discretized the antipodal problem on a geodesic-icosahedral mesh. Subdividing an icosahedron to depth $r\in S^2$4 produces $r\in S^2$5 points with

$r\in S^2$6

and mesh-spacing parameter

$r\in S^2$7

The projected vertices form an almost-uniform antipodal hexagonal mesh. The Dirac $r\in S^2$8-function is replaced by a smooth compact-support kernel

$r\in S^2$9

and the unknown colouring is a binary vector $S^2$^^^^3query3^^^^ on one hemisphere, with antipodes fixed by $S^2$^^^^3\3^^^^. The discrete success probability is

$S^2$^^^^3 OR \3^^^^

Optimization is performed by simulated annealing with

$S^2$3

using random antipodal-pair flips accepted with probability $S^2$4, and runs of $S^2$5 flips until no significant increase in $S^2$6 is observed (&&&^^^^3query3^^^^&&&).

The later study broadened the discretization toolkit. It considers symmetric spherical $S^2$7-designs, with $S^2$8 up to $S^2$9, HEALPix, with $d^2r$^^^^3query3^^^^ up to $d^2r$^^^^3\3^^^^, as well as Goldberg-icosahedron subdivisions and custom “Coulomb” point sets for comparison. The area element is approximated by $d^2r$^^^^3 OR \3^^^^ with

$d^2r$3

and the same cosine kernel is used through

$d^2r$4

For one lawn,

$d^2r$5

while in the two-lawn problem one replaces $d^2r$6 by $d^2r$7. The optimization combines simulated annealing in a conserved-magnetization Ising model, boundary annealing, and final greedy sweeps. Grid quality is monitored through the “potential energy”

$d^2r$8

with good grids characterized by small $d^2r$9 (&&&^^^^3\3^^^^&&&).

4. Numerically observed optimal configurations

In van Breugel’s antipodal complementary study, three $d\Omega(x)$^^^^3query3^^^^-regimes emerge. For

$d\Omega(x)$^^^^3\3^^^^

the numerically optimal colourings are cogwheels: the lawn is concentrated in an odd number $d\Omega(x)$^^^^3 OR \3^^^^ of cogs about the equator, symmetric under rotation by $d\Omega(x)$3, with

$d\Omega(x)$4

Each cog has longitudinal width

$d\Omega(x)$5

and latitudinal half-width much smaller than $d\Omega(x)$6. In this regime,

$d\Omega(x)$7

exceeds the hemisphere bound $d\Omega(x)$8, with peaks whenever $d\Omega(x)$9 is near an odd integer (&&&^^^^3query3^^^^&&&).

For

$\mu:S^2\to\{0,1\}$^^^^3query3^^^^

van Breugel reports critical solutions in which same-colour domains break into many small antipodal patches. Their typical diameter $\mu:S^2\to\{0,1\}$^^^^3\3^^^^ shrinks as $\mu:S^2\to\{0,1\}$^^^^3 OR \3^^^^, with the numerical scaling

$\mu:S^2\to\{0,1\}$3

The arrangement has no long-range periodicity and is described as reminiscent of critical Ising clusters. The performance curve is symmetric about $\mu:S^2\to\{0,1\}$4, with a smooth dip to $\mu:S^2\to\{0,1\}$5 at $\mu:S^2\to\{0,1\}$6, as forced by antipodality (&&&^^^^3query3^^^^&&&).

For

$\mu:S^2\to\{0,1\}$7

the numerics yield stripes with cogs. Near $\mu:S^2\to\{0,1\}$8, one sees holed-out cogwheels, such as $\mu:S^2\to\{0,1\}$9, whose teeth anticorrelate with neighbours two steps away. For larger $\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$^^^^3query3^^^^, the solutions become three “fan-blades” or antipodal stripes that gradually deform into latitude bands. As $\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$^^^^3\3^^^^, the bands proliferate and narrow, with stripe half-width

$\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$^^^^3 OR \3^^^^

In van Breugel’s formulation,

$\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$3

and the curve exhibits local minima when the number of stripes changes by one (&&&^^^^3query3^^^^&&&).

The later classification recasts the same antipodal complementary phenomenon into cogwheel, labyrinth, and stripe regimes, with numerical boundaries summarized as $\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$4, $\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$5, and $\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$6, respectively. In the stripe regime, the number of stripes of each colour is

$\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$7

and the stripe-edge modulations have amplitude tending to zero as $\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$8. The same study reports

$\mu(r)+\mu(-r)=1,\qquad \forall r\in S^2.$9

while still maintaining the exact identity PRESERVED_PLACEHOLDER_^^^^3\3query3query3^^^^ for the antipodal one-lawn problem (&&&^^^^3\3^^^^&&&). A plausible implication is that the numerical asymptotics and the exact endpoint behavior must be interpreted with care near PRESERVED_PLACEHOLDER_^^^^3\3query3\3^^^^.

5. Variants, symmetries, and harmonic interpretation

The three variants studied in the ^^^^3 OR \3query3 OR \3^^^^6 framework exhibit related but distinct morphologies. In the antipodal complementary one-lawn problem, small-PRESERVED_PLACEHOLDER_^^^^3\3query3 OR \3^^^^ optima are cogwheels with PRESERVED_PLACEHOLDER_^^^^3\3query33^^^^ odd teeth and

PRESERVED_PLACEHOLDER_^^^^3\3query3^^^^4

Higher modes PRESERVED_PLACEHOLDER_^^^^3\3query3^^^^5 give

PRESERVED_PLACEHOLDER_^^^^3\3query3^^^^6

At

PRESERVED_PLACEHOLDER_^^^^3\3query3^^^^7

the hemisphere and cogwheels with PRESERVED_PLACEHOLDER_^^^^3\3query3^^^^8 are all near-optimal, with

PRESERVED_PLACEHOLDER_^^^^3\3query3^^^^9

exactly. Around PRESERVED_PLACEHOLDER_^^^^3\3\3query3^^^^, the optima are labyrinthine; for PRESERVED_PLACEHOLDER_^^^^3\3\3\3^^^^, they become alternating parallel rings encircling the poles (&&&^^^^3\3^^^^&&&).

In the antipodal independent two-lawn problem, the small-PRESERVED_PLACEHOLDER_^^^^3\3\3 OR \3^^^^ optima are similar cogwheels but with

PRESERVED_PLACEHOLDER_^^^^3\3\33^^^^

not necessarily odd, and the two lawns are offset by half a tooth. Mode PRESERVED_PLACEHOLDER_^^^^3\3\3^^^^4 satisfies

PRESERVED_PLACEHOLDER_^^^^3\3\3^^^^5

Even PRESERVED_PLACEHOLDER_^^^^3\3\3^^^^6 reproduces complementary one-lawn shapes, whereas odd PRESERVED_PLACEHOLDER_^^^^3\3\3^^^^7 gives offset patterns. Hemispheres are optimal only at PRESERVED_PLACEHOLDER_^^^^3\3\3^^^^8 for PRESERVED_PLACEHOLDER_^^^^3\3\3^^^^9 even; for PRESERVED_PLACEHOLDER_^^^^3\3 OR \3query3^^^^ odd, cogwheels beat the hemisphere. There is no stripe regime, and the symmetry

PRESERVED_PLACEHOLDER_^^^^3\3 OR \3\3^^^^

causes cogwheels to reappear for PRESERVED_PLACEHOLDER_^^^^3\3 OR \3 OR \3^^^^ (&&&^^^^3\3^^^^&&&).

In the non-antipodal complementary one-lawn problem, the cogwheel regime persists with

PRESERVED_PLACEHOLDER_^^^^3\3 OR \33^^^^

where PRESERVED_PLACEHOLDER_^^^^3\3 OR \3^^^^4 may be even. Intermediate optima include islands, bands, and a cube-symmetric “squircle” pattern at PRESERVED_PLACEHOLDER_^^^^3\3 OR \3^^^^5. As PRESERVED_PLACEHOLDER_^^^^3\3 OR \3^^^^6, the lawn approaches two polar caps of colatitude PRESERVED_PLACEHOLDER_^^^^3\3 OR \3^^^^7 separated by a belt, and

PRESERVED_PLACEHOLDER_^^^^3\3 OR \3^^^^8

(&&&^^^^3\3^^^^&&&).

A spectral account is obtained by expanding the indicator in orthonormal spherical harmonics,

PRESERVED_PLACEHOLDER_^^^^3\3 OR \3^^^^9

with

PRESERVED_PLACEHOLDER_^^^^3\33query3^^^^

Under antipodal complementarity,

PRESERVED_PLACEHOLDER_^^^^3\33\3^^^^

The success probability becomes

PRESERVED_PLACEHOLDER_^^^^3\33 OR \3^^^^

with the upper bound

PRESERVED_PLACEHOLDER_^^^^3\333^^^^

Sectoral harmonics PRESERVED_PLACEHOLDER_^^^^3\33^^^^4 correspond to cogwheel patterns concentrated near the equator, zonal harmonics PRESERVED_PLACEHOLDER_^^^^3\33^^^^5 to stripes or rings, and mixed PRESERVED_PLACEHOLDER_^^^^3\33^^^^6 content to islands and labyrinths. Numerically, the maximizing PRESERVED_PLACEHOLDER_^^^^3\33^^^^7 rises from PRESERVED_PLACEHOLDER_^^^^3\33^^^^8 at small PRESERVED_PLACEHOLDER_^^^^3\33^^^^9, tends to infinity near PRESERVED_PLACEHOLDER_^^^^3\3max_results3query3^^^^, falls to PRESERVED_PLACEHOLDER_^^^^3\3max_results3\3^^^^ at stripe onset, and rises again as PRESERVED_PLACEHOLDER_^^^^3\3max_results3 OR \3^^^^ (&&&^^^^3\3^^^^&&&).

6. Relation to planar results, Bell inequalities, and open questions

The spherical antipodal complementary problem was motivated by Bell inequalities. Quantum singlet measurements on axes separated by PRESERVED_PLACEHOLDER_^^^^3\3^^^^43 have correlation

PRESERVED_PLACEHOLDER_^^^^3\3^^^^44

In the one-lawn complementary interpretation, any deterministic local hidden-variable model yields

PRESERVED_PLACEHOLDER_^^^^3\3^^^^45

Hence the maximal grasshopper success probability is exactly the best classical approximation to the singlet correlation at that separation angle. The gap

PRESERVED_PLACEHOLDER_^^^^3\3^^^^46

quantifies the Bell-inequality violation achievable with random axes separated by PRESERVED_PLACEHOLDER_^^^^3\3^^^^47. CHSH at PRESERVED_PLACEHOLDER_^^^^3\3^^^^48 and Braunstein–Caves at PRESERVED_PLACEHOLDER_^^^^3\3^^^^49 appear as special cases, and solving the grasshopper problem supplies an infinite family of optimal Bell inequalities (&&&^^^^3\3^^^^&&&).

The numerics also relate the sphere to the planar grasshopper problem studied by Goulko and Kent. Van Breugel reports that spherical cogwheel solutions have the same qualitative shape as the two-dimensional disc-problem cogs, except that on PRESERVED_PLACEHOLDER_^^^^3\3sort_by3query3^^^^ antipodality forces the number of cogs to be odd and makes cogs and holes identical by symmetry. Stripe patterns and holed-out fans likewise mirror the planar “three-bladed fan” and stripe solutions after “wrapping” onto PRESERVED_PLACEHOLDER_^^^^3\3sort_by3\3^^^^. By contrast, the critical small-patch regime has no planar analogue because the planar problem lacks the antipodal constraint and therefore does not enforce the PRESERVED_PLACEHOLDER_^^^^3\3sort_by3 OR \3^^^^ symmetry (&&&^^^^3query3^^^^&&&).

The later framework places the problem near several classical and physical models. The stripe limit as PRESERVED_PLACEHOLDER_^^^^3\3^^^^53 is compared to Buffon-type geometry and the “needle crossing stripes” problem; antipodal lawns are described as closely related to the double-cap conjecture; and the emergent stripe, labyrinth, and droplet patterns are compared to modulated-phase pattern formation in block copolymers, magnetic garnets, ferrofluids, Turing patterns on curved surfaces, and dipolar Bose–Einstein condensate droplet arrays (&&&^^^^3\3^^^^&&&).

Several open questions remain explicit. In the cogwheel regime, when PRESERVED_PLACEHOLDER_^^^^3\3^^^^54 lies halfway between odd integers, one finds multiple nearly degenerate colourings, such as 7- or 9-cog wheels at PRESERVED_PLACEHOLDER_^^^^3\3^^^^55, and it is open whether a unique global optimum exists. Below PRESERVED_PLACEHOLDER_^^^^3\3^^^^56, van Breugel’s numerics revert to hemisphere-like colourings, possibly as a resolution artefact, so analytic or higher-resolution work is needed to determine whether infinitely many cogwheels persist as PRESERVED_PLACEHOLDER_^^^^3\3^^^^57. No closed-form approximation of cog shapes is known. Parallel tempering and adaptive Monte Carlo moves that flip multiple well-chosen points at once were proposed as possible algorithmic improvements. Extensions to higher-dimensional spheres or torii, other metrics, variable-jump distributions, and formulations without antipodality were identified as natural directions for further study (&&&^^^^3query3^^^^&&&).