Related papers: An optimal construction of Hanf sentences
The first examples of exceptional terminal singularities are constructed.
If $f$ is a function supported on the truncated paraboloid in $\mathbb{R}^3$ and $E$ is the corresponding extension operator, then we prove that for all $p> 3+ 3/13$, $\|Ef\|_{L^p(\mathbb{R}^3)}\leq C \|f\|_{L^{\infty}}$. The proof combines…
We prove the optimal upper bound sum || f ||_4^4 << q^{eps} where f runs over an orthonormal basis of Maass cusp forms of prime level q and bounded spectral parameter.
We develop a first order formalism for constructing gravitational duals of conformal defects in a bottom up approach. Similarly as for the flat domain walls a single function specifies the solution completely. Using this formalism we…
Let $p\geq 3$ be a prime and $n\geq 1$ be an integer. Let $K\subseteq {\mathbb{F}_p}$ denote a fixed subset with $0\in K$. Let $A\subseteq ({\mathbb{F}_p})^n$ be an arbitrary subset such that $$\{…
For arbitrary planar convex domain, we compute the behavior of Christoffel function up to a constant factor using comparison with other simple reference domains. The lower bound is obtained by constructing an appropriate ellipse contained…
Some lower bounds of GK-dimension of Hopf algebras are given.
In the present article, we establish an equality condition in the restriction formula on jumping numbers by giving a sharp lower bound of the dimension of the support of a related coherent sheaf. As applications, we obtain equality…
Given an absolutely irreducible ternary form $F$, the purpose of this paper is to produce better upper bounds for the number of integer solutions to the equation F=0, that are restricted to lie in very lopsided boxes. As an application of…
Given a homotopy equivalence f between two topological spaces we assemble well known pieces and unfold them into an explicit formula for a strong deformation retraction of the mapping cylinder of f onto its top.
We prove prime exponential sums have no better than square root cancellation on average on short intervals, in the sense that $$\frac{1}{x} \sum_{-y< n\le x} \left|\sum_{\substack{n< m \le n+y\\ 1\le m \le x}} \Lambda(m) \mathrm{e}(\alpha…
The celebrated $3x+1$ problem is reformulated via the use of an analytic expression of the trailing zeros sequence resulting in a single branch formula $f(x)+1$ with a unique fixed point. The resultant formula $f(x)$ is also found to…
We lower bound the rank of a tensor by a linear combination of the ranks of three of its unfoldings, using Sylvester's rank inequality. In a similar way, we lower bound the symmetric rank by a linear combination of the symmetric ranks of…
In an earlier note [arXiv:2301.00295] it was shown that there is an upper bound to the number of disjoint Hopf links (and certain related links) that can be embedded in the unit cube where there is a fixed separation required between the…
Given an odd integer polynomial f(x) of a degree k >=3, we construct a non-negative valued, normed trigonometric polynomial with the spectrum in the set of integer values of f(x) not greater than n, and a small free coefficient…
We present a streamlined and simplified exponential lower bound on the length of proofs in intuitionistic implicational logic, adapted to Gordeev and Haeusler's dag-like natural deduction.
We provide a semi-grammatical description of the set of normal proofs of positive formulae in minimal predicate logic, i.e. a grammar that generates a set of schemes, from each of which we can produce a finite number of normal proofs. This…
We obtain reasonably tight upper and lower bounds on the sum $\sum_{n \leqslant x} \varphi \left( \left\lfloor{x/n}\right\rfloor\right)$, involving the Euler functions $\varphi$ and the integer parts $\left\lfloor{x/n}\right\rfloor$ of the…
We provide an upper bound on the uniform exponent of approximation to a triple (xi, xi^2, xi^3) by rational numbers with the same denominator, valid for any transcendental real number xi. This upper bound refines a previous result of…
We prove existence of strong solutions to a family of some semilinear parabolic free boundary problems by means of elliptic regularization. Existence of solutions is obtained in two steps: we first show some uniform energy estimates and…