Related papers: Strongly Obtuse Rational Lattice Triangles

We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard,…

We apply Diophantine analysis to classify edge-to-edge tilings of the sphere by congruent almost equilateral quadrilaterals (i.e., edge combination a3b). Parallel to a complete classification by Cheung, Luk and Yan, the method implemented…

Let $X\subset \P^5$ be a smooth cubic fourfold. A well known conjecture asserts that $X$ is rational if and only if there an Hodge theoretically associated K3 surface $S$. The surface $S$ can be associated to $X$ in two other different…

We consider the problem of finding integer triangles with $R/r$ a positive rational, where $R$ and $r$ are the radii of the circumcircle and an excircle, respectively. We show that for general triangles $R/r>1/4$ applies. The equation…

We classify rotational surfaces in the three-dimensional Euclidean space whose Gaussian curvature $K$ satisfies \begin{equation*} K\Delta K - \|\nabla K\|^2-4K^3 = 0. \end{equation*} These surfaces are referred to as rotational Ricci…

Let $\mathscr{X} \rightarrow C$ be a non-isotrivial and generically ordinary family of K3 surfaces over a proper curve $C$ in characteristic $p \geq 5$. We prove that the geometric Picard rank jumps at infinitely many closed points of $C$.…

We prove that any $3$-uniform hypergraph whose minimum vertex degree is at least $\left(\frac{5}{9} + o(1) \right)\binom{n}{2}$ admits an almost-spanning tight cycle, that is, a tight cycle leaving $o(n)$ vertices uncovered. The bound on…

In this article we classify all the smooth threefolds of P^5 with an apparent quadruple point provided that the family of its 4-secant lines is an irreducible (first order) congruence. This is sufficient to conclude the classification of…

The omega-regular separability problem for B\"uchi VASS coverability languages has recently been shown to be decidable, but with an EXPSPACE lower and a non-primitive recursive upper bound -- the exact complexity remained open. We close…

We study the $2$-Selmer ranks of elliptic curves. We prove that for an arbitrary elliptic curve $E$ over an arbitrary number field $K$, if the set $A_E$ of 2-Selmer ranks of quadratic twists of $E$ contains an integer $c$, it contains all…

We discuss the rigidity (or lack thereof) imposed by different notions of having an abundance of zero curvature planes on a complete Riemannian 3-manifold. We prove a rank rigidity theorem for complete 3-manifolds, showing that having…

We show that any asymptotically locally Euclidean (ALE) metric which is obstruction-flat or extended obstruction-flat must be ALE of a certain optimal order. Moreover, our proof applies to very general elliptic systems and in any dimension…

Let End(V) denote the ring of all linear transformations of an arbitrary k-vector space V over a field k. We define a subset X of End(V) to be "triangularizable" if V has a well-ordered basis such that X sends each vector in that basis to…

We study the deformation of spherical conical metrics with at least some of the cone angles larger than $2\pi$. We show in this note via synthetic geometry that for one family of such metrics, there is local rigidity in the choice of cone…

Graphs triangulating the $2$-sphere are generically rigid in $3$-space, due to Gluck-Dehn-Alexandrov-Cauchy. We show there is a \emph{finite} subset $A$ in $3$-space so that the vertices of each graph $G$ as above can be mapped into $A$ to…

A digraph is $3$-dicritical if it cannot be vertex-partitioned into two sets inducing acyclic digraphs, but each of its proper subdigraphs can. We give a human-readable proof that the number of 3-dicritical semi-complete digraphs is finite.…

We classify closed, topological spin$^+$ 4-manifolds with fundamental group $\pi$ of cohomological dimension $\leq 3$ (up to s-cobordism), after stabilization by connected sum with at most $b_3(\pi)$ copies of $S^2\times S^2$. In general we…

There has been recent work using Shape Theory to answer the longstanding and conceptually interesting problem of what is the probability that a triangle is obtuse. This is resolved by three kissing cap-circles of rightness being realized on…

Gromov conjectured that any irreducible lattice in a symmetric space of rank at least 3 should have at most polynomial Dehn function. We prove that the lattice Sp(2p;Z) has quadratic Dehn function when p is at least 5. By results of…

In this paper we explicitly estimate the number of points in a subset $A \subset \R^{d}$ as a function of the maximum angle $\angle A$ that any three of these points form, provided $\angle A < \theta_d := \arccos(-\frac 1 {d}) \in…