Bellman--Shoreline Search in Arbitrary Dimension: Exponential Vector Oscillators, Active Memory, Precession, and Effective Computability
Florentin Koch
Abstract
We study online search for an unknown affine hyperplane in RD, for arbitrary fixed finite dimension. Building on a companion self-similar cell reduction and support-function formulation, we ask how the mechanism changes as the normal space grows from S0 to SD-1. In D=1, alternation and productivity yield an equal-ripple principle and the exact stationary constant 9. In D=2, the analogous relative equilibrium is a logarithmic spiral whose bottleneck chord imposes tangency and selects the pitch. For exponential orbits Γ(σ)=eκσω(σ), we develop log-directional geometry, exponentially discounted memory, gauges, and recursive hyperspherical parametrizations. Without a shape ansatz, the bottleneck admits a certificate supported by at most D historical suppliers, and at globally worst phases the current point lies on the active face. Within regular chambers we derive exact variation, tangency, pitch, age, and, in D=3, delay-system identities. Odd-dimensional obstructions, antipodal subclasses, and harmonic towers provide constraints and explicit candidate families but are not claimed globally optimal. Finally, the N-COMP theorem shows that CD* is a computable real for every fixed finite D and that algebraic polygonal -optimal cells can in principle be synthesized. Numerical screening through D=10 is kept separate from the proved results.
Create a lesson
Related papers
Unfolding Overlaps of the Exceptional Regular Polytopes
Satyan L. Devadoss, Matthew Harvey, David Richter
Combinatorial maps for hierarchical splines
Caleb B. Goates, Kendrick M. Shepherd, Derek C. Thomas
Bellman Search in Arbitrary Finite Dimension: A Self-Similar Cell Theorem and Effective Computability of Planar Shoreline Search
Florentin Koch
Optimal exponential memory for sequential Euclidean connection: edge-power costs and phase transitions
Pedro M. M. de Castro
Lunar Generalizations of the Euclidean Minimum Spanning Tree in the Plane and their Expected Costs
Ondřej Draganov, Herbert Edelsbrunner, Sophie Rosenmeier et al.
Quadratic Complexity of Voronoi Diagrams in R3 for Lines in a Single Ruling of a Regulus
Eunku Park