Related papers: Downward Collapse from a Weaker Hypothesis
We prove the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s >= 3; this is new for s > 3, and the cases s<3 have also been previously established. More precisely, we establish that if f : [N] -> [-1,1] is a function with || f…
Let $\pi: X \to Y$ be a morphism of projective varieties and suppose that $\alpha$ is a pseudo-effective numerical cycle class satisfying $\pi_*\alpha = 0$. A conjecture of Debarre, Jiang, and Voisin predicts that $\alpha$ is a limit of…
In the 1970s, the collar theorem was proven, establishing the existence of uniform tubular neighborhoods of simple closed geodesics on compact surfaces, whose widths depend only on the lengths of the geodesics and the lower bound of the…
Trace Anomaly Dominance in weak $K$-decays successfully reproduces the $\Delta I = {1\over 2}$ selection rule results, as observed in $K_S \to \pi\pi, K_L \to \pi\pi\pi, K_S \to \gamma\gamma$ and $K_L \to \pi^0 \gamma\gamma$.
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 series expansion for Heckman-Opdam hypergeometric functions $\varphi_\lambda$ is obtained for all $\lambda \in \mathfrak a^*_{\mathbb C}.$ As a consequence, estimates for $\varphi_\lambda$ away from the walls of a Weyl chamber are…
We prove the identity \[ 2W_1(x) + \log 4 + \psi\left(\tfrac{1}{2} + x\right) + \psi\left(\tfrac{3}{2} - x\right) = 0, \] where $\psi$ is the digamma function and \[ W_1(x) = 2\int_0^\infty \Re\left( \frac{y}{(y^2+1)(e^{\pi(y+2ix)} - 1)}…
In this paper we generalize the main result of [4] for manifolds that are not necessarily Einstein. In fact, we obtain an upper bound for the volume of a locally volume-minimizing closed hypersurface $\Sigma$ of a Riemannian 5-manifold $M$…
Weak structures abound in higher category theory, but are often suitably equivalent to stricter structures that are easier to understand. We extend strictification for tricategories and trihomomorphisms to trinatural transformations,…
We relate the dimensions of $L^p$ reduced cohomology spaces in degree k of an ALE manifold to the dimension of some spaces of decaying harmonic forms, depending both on p and on k. In this class of manifolds, this provides an extension to…
Qualification conditions (also termed constraint qualifications) help avoid pathological behavior at domain boundaries in convex analysis. By generalizing facial reduction from conic programming to general convex programs of the form $f(x)…
The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose $K$ is a compact set in the complex plane and 0 belongs to the boundary $\partial K$. Let ${\cal A}(K)$ denote the space of all functions $f$ on $K$…
We consider, for $a,l\geq1,$ $b,s,\alpha>0,$ and $p>q\geq1,$ the homogeneous Dirichlet problem for the equation $-\Delta_{p}u=\lambda u^{q-1}+\beta u^{a-1}\left\vert \nabla u\right\vert ^{b}+mu^{l-1}e^{\alpha u^{s}}$ in a smooth bounded…
We consider the class $\Sigma(p)$ of univalent meromorphic functions $f$ on $\ID$ having simple pole at $z=p\in[0,1)$ with residue 1. Let $\Sigma_k(p)$ be the class of functions in $\Sigma(p)$ which have $k$-quasiconformal extension to the…
We prove the following asymptotically tight lower bound for $k$-color discrepancy: For any $k \geq 2$, there exists a hypergraph with $n$ hyperedges such that its $k$-color discrepancy is at least $\Omega(\sqrt{n})$. This improves on the…
In this paper, we deal with the following $(p,q)$-fractional problem $$ (-\Delta)^{s_{1}}_{p}u +(-\Delta)^{s_{2}}_{q}u=\lambda P(x)|u|^{k-2}u+\theta|u|^{p_{s_{1}}^{*}-2}u \, \mbox{ in }\, \Omega,\qquad u=0\, \mbox{ in }\, \mathbb{R}^{N}…
We prove a theorem that generalizes Schmidt's Subspace Theorem in the context of metric diophantine approximation. To do so we reformulate the Subspace theorem in the framework of homogeneous dynamics by introducing and studying a slope…
Let $\Lambda$ be the limit set of an infinite conformal iterated function system and let $F$ denote the set of fixed points of the maps. We prove that the box dimension of $\Lambda$ exists if and only if \[ \overline{\dim}_{\mathrm B} F\leq…
Given a dimension function $\omega$, we define a notion of an $\omega$-vector weighted digraph and an $\omega$-equivalence between them. Then we establish a bijection between the weakly $(\mathbb{Z}/2)^n$-equivariant homeomorphism classes…
We show that under minimal assumptions on a class of functions $\mathcal{H}$ defined on a probability space $(\mathcal{X},\mu)$, there is a threshold $\Delta_0$ satisfying the following: for every $\Delta\geq\Delta_0$, with probability at…