We obtain several new bounds on exponents of interest in analytic number theory, including four new exponent pairs, new zero density estimates for the Riemann zeta-function, and new estimates for the additive energy of zeroes of the Riemann zeta-function.
Number Theory 11L07, 11M06, 11T23
NOMAD is software for optimizing blackbox problems.
Optimization and Control Mathematical Software
Polyak momentum (PM), also known as the heavy-ball method, is a widely used optimization method that enjoys an asymptotic optimal worst-case complexity on quadratic objectives.
Optimization and Control
The Hadamard conjecture states that Hadamard matrices of order $n$ exist whenever $n$ is $1$, $2$, or a multiple of $4$.
Combinatorics
We resolve the moving sofa problem by showing that Gerver's construction with 18 curve sections attains the maximum area $2. 2195\cdots$.
Metric Geometry Combinatorics Optimization and Control 49Q10, 49K15, 52A10, 52A41, 90C26
In many cases, the virtual double category of models is representable, hence is a genuine double category.
Category Theory 03G30, 18N10
However, since the composite of open Petri nets is defined only up to isomorphism, it is better to treat them as morphisms of a symmetric monoidal double category $\mathbb{O}\mathbf{pen}(\mathsf{Petri})$.
Category Theory Logic in Computer Science
This paper presents PIQP, a high-performance toolkit for solving generic sparse quadratic programs (QP).
Optimization and Control
Furthermore, we simplify and accelerate the computations of Jacobi preconditioning and Hessian-vector product for hyperelasticity and barrier function.
Optimization and Control Graphics
Dynamic Mode Decomposition (DMD) is a technique to approximate generally non-linear dynamical systems using linear techniques, which are better understood and easier to analyze.
Optimization and Control Systems and Control Systems and Control