3 papers
physics.comp-ph2026
Computer-Assisted Proofs for Geometric Optimization: From Crystallization to Carbon Nanotubes
Miguel Ayala, Rustum Choksi, Benedikt Wirth
We present a framework based on computer-assisted proofs that turns geometry optimization simulations for atomistic structures into mathematical proofs. Starting from a numerically…
math.MG2025
On the number of defects in optimal quantizers on closed surfaces: the hexagonal torus
Jack Edward Tisdell, Rustum Choksi, Xin Yang Lu
We present a strategy for proving an asymptotic upper bound on the number of defects (non-hexagonal Voronoi cells) in the generator optimal quantizer on a closed surface (i.e.,…
stat.ML2024
Data-Driven Priors in the Maximum Entropy on the Mean Method for Linear Inverse Problems
Matthew King-Roskamp, Rustum Choksi, Tim Hoheisel
We establish the theoretical framework for implementing the maximumn entropy on the mean (MEM) method for linear inverse problems in the setting of approximate (data-driven) priors…