Related papers: A Milestone in Formalization: The Sphere Packing P…
In this paper we give an algorithm to round the floating point output of a semidefinite programming solver to a solution over the rationals or a quadratic extension of the rationals. We apply this to get sharp bounds for packing problems,…
We construct a structure preserving non-conforming finite element approximation scheme for the bi-harmonic wave maps into spheres equation. It satisfies a discrete energy law and preserves the non-convex sphere constraint of the continuous…
In this paper we formulate the problem of packing unequal rectangles/squares into a fixed size circular container as a mixed-integer nonlinear program. Here we pack rectangles so as to maximise some objective (e.g. maximise the number of…
We present a new asynchronous model of computation named Stellar Resolution based on first-order unification. This model of computation is obtained as a formalisation of Girard's transcendental syntax programme, sketched in a series of…
We propose gauge-Higgs unification in fuzzy extra dimensions as a possible solution to the Higgs naturalness problem. In our approach, the fuzzy extra dimensions are created spontaneously as a vacuum solution of certain four-dimensional…
A new concept of meromorphic $\Sigma$-factorization, for H\"{o}lder continuous functions defined on a contour $\Gamma$ that is the pullback of $\dot{\mathbb{R}}$ (or the unit circle) in a Riemann surface $\Sigma$ of genus 1, is introduced…
In this work we analyze a virtual element method on polyhedral meshes for solving the sixth-order elliptic problem with simply supported boundary conditions. We apply the Ciarlet-Raviart arguments to introduce an auxiliary unknown…
In this paper we solve the polarization problem for real Hilbert spaces, a long-standing conjecture that had remained open for nearly three decades. We also confirm that the only extremal configurations are orthonormal sets. These are…
The DPRM (Davis-Putnam-Robinson-Matiyasevich) theorem is the main step in the negative resolution of Hilbert's 10th problem. Almost three decades of work on the problem have resulted in several equally surprising results. These include the…
We study renormalization on the fuzzy sphere. We numerically simulate a scalar field theory on it, which is described by a Hermitian matrix model. We show that correlation functions defined by using the Berezin symbol are made independent…
Understanding of the structure evolution in the Universe has been greatly advanced with a rapid progress in high-resolution cosmological simulations. In this contribution, we report a new set of cosmological simulations with $512^3$ ($\sim…
We study isometric $G$-spaces and the question of when their maximal equivariant compactification is the Gromov compactification (meaning that it coincides with the compactification generated by the distance functions to points). Answering…
This work presents a novel framework for spherical mesh parameterization. An efficient angle-preserving spherical parameterization algorithm is introduced, which is based on dynamic Yamabe flow and the conformal welding method with solid…
This work studies a variational formulation and numerical solution of a regularized morphoelasticity problem of shape evolution. The foundation of our analysis is based on the governing equations of linear elasticity, extended to account…
Transformers excel when dealing with sequential data. Generalizing transformer models to geometric domains, such as manifolds, we encounter the problem of not having a well-defined global order. We propose a solution with attention heads…
We study the Bogoliubov-Dirac-Fock model introduced by Chaix and Iracane ({\it J. Phys. B.}, 22, 3791--3814, 1989) which is a mean-field theory deduced from no-photon QED. The associated functional is bounded from below. In the presence of…
We present a new computational framework (LEO), that enables us to carry out the very first large-scale, high-resolution computations in the context of the characteristic approach in numerical relativity. At the analytic level, our approach…
The problem of packing equal circles in a circle is a classic and famous packing problem, which is well-studied in academia and has a variety of applications in industry. This problem is computationally challenging, and researchers mainly…
In this paper we study the hard sphere packing problem in the Hamming space by the cavity method. We show that both the replica symmetric and the replica symmetry breaking approximations give maximum rates of packing that are asymptotically…
Earth System Models (ESMs) are critical for understanding past climates and projecting future scenarios. However, the complexity of these models, which include large code bases, a wide community of developers, and diverse computational…