We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Optimization and Control

Title: On the Reinhardt Conjecture and Formal Foundations of Optimal Control

Abstract: We describe a reformulation (following Hales (2017)) of a 1934 conjecture of Reinhardt on pessimal packings of convex domains in the plane as a problem in optimal control theory. Several structural results of this problem including its Hamiltonian structure and Lax pair formalism are presented. General solutions of this problem for constant control are presented and are used to prove that the Pontryagin extremals of the control problem are constrained to lie in a compact domain of the state space. We further describe the structure of the control problem near its singular locus, and prove that we recover the Pontryagin system of the multi-dimensional Fuller optimal control problem (with two dimensional control) in this case. We show how this system admits logarithmic spiral trajectories when the control set is the circumscribing disk of the 2-simplex with the associated control performing an infinite number of rotations on the boundary of the disk in finite time. We also describe formalization projects in foundational optimal control viz., model-based and model-free Reinforcement Learning theory. Key ingredients which make these formalization novel viz., the Giry monad and contraction coinduction are considered and some applications are discussed.
Comments: 180 pages; author's PhD thesis
Subjects: Optimization and Control (math.OC); Metric Geometry (math.MG)
MSC classes: 52C15 (Primary) 49N20, 68V20 (Secondary)
Cite as: arXiv:2208.04443 [math.OC]
  (or arXiv:2208.04443v1 [math.OC] for this version)

Submission history

From: Koundinya Vajjha [view email]
[v1] Mon, 8 Aug 2022 22:05:58 GMT (989kb,D)

Link back to: arXiv, form interface, contact.