Related papers: Six-dimensional sphere packing and linear programm…

An SU(3)- or SU(1,2)-structure on a 6-dimensional manifold N^6 can be defined as a pair of a 2-form omega and a 3-form rho. We prove that any analytic SU(3)- or SU(1,2)-structure on N^6 with d omega^2 =0 can be extended to a parallel…

The paper introduces a new characterisation of strictly positive definiteness for kernels on the 2-sphere without assuming the kernel to be radially (isotropic) or axially symmetric. The results use the series expansion of the kernel in…

Let a planar residual set be a set obtained by removing countably many disjoint topological disks from an open set in the plane. We prove that the residual set of a planar packing by curves that satisfy a certain lower curvature bound has…

The main goal of this paper is to show that shellability is NP-hard for triangulated d-balls (this also gives hardness for triangulated d-manifolds/d-pseudomanifolds with boundary) as soon as d is at least 3. This extends our earlier work…

We prove the non-symmetric Mahler conjecture in dimension three. More precisely, we prove the sharp lower bound \[ \mathcal P(K) \geq \frac{64}{9} \] for every convex body $K \subset \mathbb R^3$, where $\mathcal P(K)$ denotes the…

Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and…

I prove a scalar curvature rigidity theorem for spheres. In particular, I prove that geodesic balls of radii strictly less than $\frac{\pi}{2}$ in $n+1~(n\geq 2)$ dimensional unit sphere can be rigid under smooth deformations that increase…

In this paper we prove a theorem that provides an upper bound for the density of packings of congruent copies of a given convex body in $\mathbb{R}^n$; this theorem is a generalization of the linear programming bound for sphere packings. We…

We obtain the sharp $l^p$ decoupling for three-dimensional nondegenerate surfaces in $\mathbb{R}^6$. This can be thought of as a generalization of Bourgain and Demeter's result, which is the sharp $l^p$ decoupling for two-dimensional…

The paper introduces new sufficient conditions of strict positive definiteness for kernels on d-dimensional spheres which are not radially symmetric but possess specific coefficient structures. The results use the series expansion of the…

Dense packings of hard particles have important applications in many fields, including condensed matter physics, discrete geometry and cell biology. In this paper, we employ a stochastic search implementation of the Torquato-Jiao…

We prove for closed, odd-dimensional GKM$_3$ manifolds of non-negative sectional curvature that both the equivariant and the ordinary rational cohomology split off the cohomology of an odd-dimensional sphere.

We investigate birational properties of hypersurfaces of degree $6$ in the weighted projective space $\mathbf{P}(1,1,2,2,3)$. In particular, we prove that any such quasi-smooth hypersurface is not rational.

It is shown that any smooth closed orientable manifold of dimension $2k + 1$, $k \geq 2$, admits a smooth polynomially convex embedding into $\mathbb C^{3k}$. This improves by $1$ the previously known lower bound of $3k+1$ on the possible…

Rigidity results are obtained for Riemannian $d$-manifolds with $\sec \geqslant 1$ and spherical rank at least $d-2>0$. Conjecturally, all such manifolds are locally isometric to a round sphere or complex projective space with the…

A solution with the pole configuration in six dimensions is analysed both analytically and numerically. It is a dimensional reduction model of Randall-Sundrum type. The soliton configuration is induced by the bulk Higgs mechanism. The…

We give new proofs of asymptotic upper bounds of coding theory obtained within the frame of Delsarte's linear programming method. The proofs rely on the analysis of eigenvectors of some finite-dimensional operators related to orthogonal…

We show that the degrees of rational endomorphisms of very general complex Fano and Calabi-Yau hypersurfaces satisfy certain congruence conditions by specializing to characteristic p. As a corollary we show that very general n-dimensional…

We show a new construction for square packing, and prove that it is more efficient than previous results.

In this work we obtain hierarchies of partial differential equations describing on-shell scalar products for two types of six-vertex models. More precisely, six-vertex models with two different diagonal boundary conditions are considered:…