Related papers: An Euler characteristic proof that 4-prismatoids h…

We prove that the dimension of a quartic symmetroid singular along a quadric of codimension 1 is at most 4, if it is not a cone. In the maximal case, the quadric is reducible and consists of rank-3-points. If the quadric is irreducible, it…

We show that the macroscopic version of Gromov's Urysohn width conjecture for scalar curvature is false in dimensions four and above. This is based on (1) a novel estimate on the codimension two Urysohn width of circle bundles over…

In 2010 Santos described the construction of a counterexample to the Hirsch conjecture, and in 2012 Santos and Weibel provided the coordinates for the 40 facets of a 20-dimensional counterexample. In this paper we explore technical details…

Counterexamples to Lagrangian Poincar\'e recurrence were recently found in dimensions greater than six by Bro\'ci\'c and Shelukhin. We construct counterexamples in dimension four using almost toric fibrations.

Compact pseudo-Riemannian manifolds that have parallel Weyl tensor without being conformally flat or locally symmetric are known to exist in infinitely many dimensions greater than 4. We prove some general topological properties of such…

Circuit diameters of polyhedra are a fundamental tool for studying the complexity of circuit augmentation schemes for linear programming and for finding lower bounds on combinatorial diameters. The main open problem in this area is the…

We prove that it is impossible to construct a grand unified model, based on a simple gauge group, in four dimensions that leads to the exact MSSM, nor to a singlet extension, and possesses an unbroken R symmetry. This implies that no MSSM…

Despite the moduli space of triangles being three dimensional, we prove the existence of two triangles which are not isometric to each other for which the first, second and fourth Dirichlet eigenvalues coincide, establishing a numerical…

We present an explicit construction of closed oriented aspherical smooth 4-manifolds with $\chi = \sigma = n$ for every positive integer $n$. This proves a conjecture of Edmonds by providing a closed oriented aspherical 4-manifold with…

It was proved by Gromov-Lawson\cite{gl83} that complete three manifold with positive scalar curvature bounded below has finite Urysohn 1-width only depends on the uniform positive scalar curvature bounds. It is natural to ask the same…

We show the existence of strictly almost-Kahler anti-self-dual metrics on certain 4-manifolds by deforming scalar-flat Kahler metrics. On the other hand, we prove the non-existence of such metrics on certain other 4-manifolds by means of…

We show that there exist smooth, simply connected, four-dimensional spin manifolds which do not admit Einstein metrics, but nonetheless satisfy the strict Hitchin-Thorpe inequality. Our construction makes use of the Bauer/Furuta cohomotopy…

We prove the four-dimensional Gaussian random vector maximum conjecture. This conjecture asserts that among all centered Gaussian random vectors $X=(X_1,X_2,X_3,X_4)$ with $E[X_i^2]=1$, $1\le i\le 4$, the expectation…

For every fixed dimension $d$ and sufficiently large $n$, we determine the maximum possible diameter of a strongly connected $d$-dimensional simplicial complex on $n$ vertices. This improves on a sequence of previous results and settles a…

In this note we give an example of a set $\W\subset \R^4$ such that $L^2(\W)$ admits an orthonormal basis of exponentials $\{\frac{1}{|\W |^{1/2}}e^{2\pi i x, \xi}\}_{\xi\in\L}$ for some set $\L\subset\R^4$, but which does not tile $\R^4$…

We prove that 1) There exist infinitely many non-trivial codimension one "thick" knots in $\mathbb{R}^5$; 2) For each closed four-dimensional smooth manifold $M$ and for each sufficiently small positive $\epsilon$ the set of isometry…

We show that every 4-dimensional torus with a linear symplectic form can be fully filled by one symplectic ball. If such a torus is not symplectomorphic to a product of 2-dimensional tori with equal sized factors, then it can also be fully…

In arXiv:2207.08617 [math.DG] Brendle-Hirsch-Johne proved that $T^m\times S^{n-m}$ does not admit metrics with positive $m$-intermediate curvature when $n\leq 7$. Chu-Kwong-Lee showed in arXiv:2208.12240 [math.DG] a corresponding rigidity…

We prove that there are infinitely many pairs of homeomorphic non-diffeomorphic smooth 4-manifolds, such that in each pair one manifold admits an Einstein metric and the other does not. We also show that there are closed 4-manifolds with…

A finite set $S \subset \mathbb{Z}$ is a Sidon set if its pairwise differences are distinct. Recall that a perfect difference set (PDS) of order $n$ is a set $B \subset \mathbb{Z}_v$ ($v = n^2 - n + 1$) of size $n$ such that every nonzero…