Evolving scientific discovery by unifying data and background knowledge with AI Hilbert

R Cory-Wright, C Cornelio, S Dash, B El Khadir… - Nature …, 2024 - nature.com
The discovery of scientific formulae that parsimoniously explain natural phenomena and
align with existing background theory is a key goal in science. Historically, scientists have …

Safely learning dynamical systems

AA Ahmadi, A Chaudhry, V Sindhwani, S Tu - Foundations of …, 2025 - Springer
A fundamental challenge in learning an unknown dynamical system is to reduce model
uncertainty by making measurements while maintaining safety. In this work, we formulate a …

Convex ternary quartics are sos-convex

AA Ahmadi, G Blekherman, PA Parrilo - arxiv preprint arxiv:2404.14440, 2024 - arxiv.org
We prove that convex ternary quartic forms are sum-of-squares-convex (sos-convex). This
result is in a meaningful sense the``convex analogue''a celebrated theorem of Hilbert from …

Norms on complex matrices induced by complete homogeneous symmetric polynomials

K Aguilar, Á Chávez, SR Garcia… - Bulletin of the London …, 2022 - Wiley Online Library
We introduce a remarkable new family of norms on the space of n× nn*n complex matrices.
These norms arise from the combinatorial properties of symmetric functions, and their …

Marstrand-Mattila rectifiability criterion for -codimensional measures in Carnot Groups

A Merlo - arxiv preprint arxiv:2007.03236, 2020 - arxiv.org
This paper is devoted to show that the flatness of tangents of $1 $-codimensional measures
in Carnot Groups implies $ C^ 1_\mathbb {G} $-rectifiability. As applications we prove that …

Fast minimization of structured convex quartics

B Bullins - arxiv preprint arxiv:1812.10349, 2018 - arxiv.org
We propose faster methods for unconstrained optimization of\emph {structured convex
quartics}, which are convex functions of the form\begin {equation*} f (x)= c^\top x+ …

Hunter's positivity theorem and random vector norms

L Bouthat, Á Chávez, SR Garcia - arxiv preprint arxiv:2403.10314, 2024 - arxiv.org
A theorem of Hunter ensures that the complete homogeneous symmetric polynomials of
even degree are positive definite functions. A probabilistic interpretation of Hunter's theorem …

Cubic-quartic regularization models for solving polynomial subproblems in third-order tensor methods

C Cartis, W Zhu - Mathematical Programming, 2025 - Springer
High-order tensor methods for solving both convex and nonconvex optimization problems
have recently generated significant research interest, due in part to the natural way in which …

A convex form that is not a sum of squares

J Saunderson - Mathematics of Operations Research, 2023 - pubsonline.informs.org
Every convex homogeneous polynomial (or form) is nonnegative. Blekherman has shown
that there exist convex forms that are not sums of squares via a nonconstructive argument …

The chromatic number of the plane with an interval of forbidden distances is at least 7

V Voronov - arxiv preprint arxiv:2304.10163, 2023 - arxiv.org
The work is devoted to one of the variations of the Hadwiger--Nelson problem on the
chromatic number of the plane. In this formulation one needs to find for arbitrarily small …