arXiv research

This paper reviews challenges and methods for multi-output learning.

Let $V$ be a vector space of dimension $n+1$. We demonstrate that $n$-component third-order Hamiltonian operators of differential-geometric type are parametrised by the algebraic variety of elements of rank $n$ in $S^2(Λ^2V)$ that lie in the kernel of the natural map $S^2(Λ^2V)\to Λ^4V$. Non-equivalent operators corres…

The lattice stick number of knots is defined to be the minimal number of straight sticks in the cubic lattice required to construct a lattice stick presentation of the knot. We similarly define the lattice stick number $s_{L}(G)$ of spatial graphs $G$ with vertices of degree at most six (necessary for embedding into th…

Paper proves a spinor inequality for magnetic fields on spin manifolds.

This paper autoformalizes Euclidean geometry using LLMs and theorem provers.

Integrated Computational Materials Engineering (ICME) aims to accelerate optimal design of complex material systems by integrating material science and design automation. For tractable ICME, it is required that (1) a structural feature space be identified to allow reconstruction of new designs, and (2) the reconstructi…