Related papers: Polynomial Wolff axioms and Kakeya-type estimates …
We present a collection of explicit formulas for the minimum volume of Sasaki-Einstein 5-manifolds. The cone over these 5-manifolds is a toric Calabi-Yau 3-fold. These toric Calabi-Yau 3-folds are associated with an infinite class of 4d N=1…
This paper investigates the following quasilinear Keller-Segel-Navier-Stokes system $$\left\{ \begin{array}{l} n_t+u\cdot\nabla n=\Delta n^m-\nabla\cdot(n\nabla c),\quad x\in \Omega, t>0, \\ c_t+u\cdot\nabla c=\Delta c-c+n,\quad x\in…
We establish a lower bound for deciding the satisfiability of the conjunction of any two Boolean formulas from a set called a full representation of Boolean functions of $n$ variables - a set containing a Boolean formula to represent each…
We prove that the dimension of every poset whose comparability graph has maximum degree $\Delta$ is at most $\Delta\log^{1+o(1)} \Delta$. This result improves on a 30-year old bound of F\"uredi and Kahn, and is within a $\log^{o(1)}\Delta$…
Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean constraint satisfaction problem (CSP) is polynomial-time solvable if one of six given conditions holds for every type of constraint allowed in its instances. Otherwise,…
David Gabai showed that disk decomposable knot and link complements carry taut foliations of depth one. In an arbitrary sutured 3-manifold M, such foliations F, if they exist at all, are determined up to isotopy by an associated ray [F]…
We associate to each toric vector bundle on a toric variety X(Delta) a "branched cover" of the fan Delta together with a piecewise-linear function on the branched cover. This construction generalizes the usual correspondence between toric…
The problem of finding good approximations of arbitrary 1-qubit gates is identical to that of finding a dense group generated by a universal subset of $SU(2)$ to approximate an arbitrary element of $SU(2)$. The Solovay-Kitaev Theorem is a…
We compute energies and energy densities of static electromagnetic flux tubes in three and four spacetime dimensions. Our calculation uses scattering data from the potential induced by the flux tube and imposes standard perturbative…
We give an effective upper bound on the h^*-polynomial of a lattice polytope in terms of its degree and leading coefficient, confirming a conjecture of Batyrev. We deduce this bound as a consequence of a strong Cayley decomposition theorem…
Solving difficult mixed-integer nonlinear programs via spatial branch-and-bound requires effective convex outer-approximations of nonconvex sets. In this framework, complex problem formulations are decomposed into simpler library functions,…
For a twist knot $\mathcal{K}_{p'}$, let $M$ be the closed $3$-manifold obtained by doing $(p, q)$ Dehn-filling along $\mathcal{K}_{p'}$. In this article, we prove that Chen-Yang's volume conjecture holds for sufficiently large $|p| + |q|$…
Let $\psi:\mathbb{N}\rightarrow\mathbb{R}_+$ be a monotonically non-increasing function, and let $\psi_v:\mathbb{N}\rightarrow\mathbb{R}_+$ be defined by $\psi_v(q)=1/q^v$. In this article, we consider self-similar sets whose iterated…
We show optimal triangulations for piecewise linear (PWL) approximations of indefinite quadratic functions over the plane. Optimal triangulations have minimum triangle density while allowing a PWL approximation that fulfills a prescribed…
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…
A set-system $S\subseteq \{0,1\}^n$ is cube-ideal if its convex hull can be described by capacity and generalized set covering inequalities. In this paper, we use combinatorics, convex geometry, and polyhedral theory to give exponential…
In a recent paper [Ann. of Math. 189 (2019), 837--861], Du and Zhang proved a fractal Fourier restriction estimate and used it to establish the sharp $L^2$ estimate on the Schr\"{o}dinger maximal function in $\Bbb R^n$, $n \geq 2$. In this…
We establish the Noether inequality \[\textrm{Vol}(X)\geq \frac{4}{3}p_g(X)-\frac{10}{3}\] for all projective $3$-folds $X$ of general type with geometric genus $5\leq p_g(X)\leq 10$ where $\textrm{Vol}(X)$ is the canonical volume. This…
The Frank-Wolfe algorithm has seen a resurgence in popularity due to its ability to efficiently solve constrained optimization problems in machine learning and high-dimensional statistics. As such, there is much interest in establishing…
A special case of the Menshov--Rademacher theorem implies for almost all polynomials $x_1Z+\ldots +x_d Z^{d} \in {\mathbb R}[Z]$ of degree $d$ for the Weyl sums satisfy the upper bound $$ \left| \sum_{n=1}^{N}\exp\left(2\pi i \left(x_1…