Computer-Assisted Proofs
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Computer-Assisted Proofs for Geometric Optimization: From Crystallization to Carbon Nanotubes
Announce Type: replace Abstract: We present a framework based on computer-assisted proofs that turns geometry optimization simulations for atomistic structures into mathematical proofs. Starting from a numerically computed approximation of a local minimizer or saddle point, we use validated numerical computations to prove the existence of a critical point of the potential energy close to this approximation. We demonstrate this framework in two settings.
An Upper Bound on Grothendieck's Constant
Announce Type: cross Abstract: We show that Grothendieck's real constant $K_G$ can be upper bounded by projecting vectors onto a random plane through the origin and thresholding a degree five Hermite polynomial. This resolves a conjecture of Braverman-Makarychev-Makarychev-Naor from 2011, who required an extra randomization step in their rounding scheme and proved $K_G<\frac{\pi}{2\log(1+\sqrt{2})}-10^{-500}$. As a corollary of our result, we prove the bound...