Evolving scientific discovery by unifying data and background knowledge with AI Hilbert
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 …
align with existing background theory is a key goal in science. Historically, scientists have …
Safely learning dynamical systems
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 …
uncertainty by making measurements while maintaining safety. In this work, we formulate a …
Convex ternary quartics are sos-convex
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 …
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
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 …
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 …
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+ …
quartics}, which are convex functions of the form\begin {equation*} f (x)= c^\top x+ …
Hunter's positivity theorem and random vector norms
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 …
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
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 …
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 …
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 …
chromatic number of the plane. In this formulation one needs to find for arbitrarily small …