Related papers: Provable Pi-1-2 Singletons

It is conjectured that for any fixed relatively prime positive integers $a,b$ and $c$ all greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive integers $x,y$ and $z$, except for specific cases. In this…

The attracting inverse-square drift provides a prototypical counterexample to solvability of singular SDEs: if the coefficient of the drift is larger than a certain critical value, then no weak solution exists. We prove a positive result on…

We analyze the question of deciding whether a quadratic or a hyperbolic 0-1 programming instance has a unique optimal solution. Both uniqueness questions are known to be NP-hard, but are unlikely to be contained in the class NP. We…

Let $\mu$ be a finite Radon measure on an open set $\Omega\subset\mathbb{R}^d$, singular with respect to the Lebesgue measure. We prove Lusin-type solvability results for the prescribed divergence equation and the prescribed Jacobian…

Let f be a non constant meromorphic function and a(not identically zero or infinity) be a meromorphic function satisfying T(r,a) = o(T(r,f)) as r tends to infinity, and p(z) be a polynomial of degree n greater than or equal to 1 with p(0) =…

The existence and $L^{\infty}$ estimate of positive solutions are discussed for the following Schr\"{o}dinger-Poisson system {ll} -\Delta u +(\lambda+\frac{1}{|y|^\alpha})u+\phi (x) u =|u|^{p-1}u, x=(y,z)\in \mathbb{R}^2\times\mathbb{R},…

We consider the Cauchy problem for the continuity equation with a bounded nearly incompressible vector field $b\colon (0,T) \times \mathbb R^d \to \mathbb R^d$, $T>0$. This class of vector fields arises in the context of hyperbolic…

In this paper we construct certain type of near-optimal approximations of a class of analytic functions in the unit disc by power series with two distinct coefficients. More precisely, we show that if all the coefficients of the power…

We prove that there is an absolute constant $ C$ such that for every $ n \geq 2 $ and $ N\geq 10^n, $ there exists a polytope $ P_{n,N} \subset \mathbb{R}^n $ with at most $ N $ facets that satisfies…

We show that the stability constant of the Lennard-Jones potential in $\mathbb R^3$, $\Phi(x)=\lVert x \rVert^{-12}-2 \lVert x \rVert^{-6}$, is smaller than $14.316$. This is remarkably smaller than the best previously known bound. Our…

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

Let $a, b\in \mathbb{N}$ be relatively prime. Previous work showed that exactly one of the two equations $ax + by = (a-1)(b-1)/2$ and $ax + by + 1 = (a-1)(b-1)/2$ has a nonnegative, integral solution; furthermore, the solution is unique.…

We consider solitonic solutions of coupled scalar systems, whose Lagrangian has a potential term (quasi-supersymmetric potential) consisting of the square of derivative of a superpotential. The most important feature of such a theory is…

We prove that the set of smooth, $\pi$-periodic, positive functions on the unit circle for which the $L_{-2}$ Minkowski problem is solvable is dense in the set of all smooth, $\pi$-periodic, positive functions on the unit circle with…

This work is devoted to the study of the existence of at least one (non-zero) solution to a problem involving the discrete $p$-Laplacian. As a special case, we derive an existence theorem for a second-order discrete problem, depending on a…

Let $f$ be sampled uniformly at random from the set of degree $n$ polynomials whose coefficients lie in $\{ \pm 1\}$. A folklore conjecture, known to hold under GRH, states that the probability that $f$ is irreducible tends to $1$ as $n$…

Under certain conditions, we give an estimate from above on the number of differential equations of order $r+1$ with prescribed regular singular points, prescribed exponents at singular points, and having a quasi-polynomial flag of…

Let $t_{i}=\frac{i}{n}$ for $i=0,...,n$ be equally spaces knots in the unit interval $[0,1].$ Let $\mathcal{S}_{n}$ be the space of piecewise linear continuous functions on $[0,1]$ with knots $\pi_{n}=\{t_{i}:0\leq i\leq n\}.$ Then we have…

An existence of a nontrivial solution in some `weaker' sense of the following system of equations \begin{align*} (-\Delta)^{s}u+l(x)\phi u+w(x)|u|^{k-1}u&=\mu~\text{in}~\Omega\nonumber\\ (-\Delta)^{s}\phi&=…

Let $P(z)=z^{n}+a_{n-2}z^{n-2}+\cdots+a_0$ be a nonconstant polynomial and $S(z)$ be a nonzero rational function and denote $h(z)=S(z)e^{P(z)}$. Let $\theta\in(0,\pi/2n)$ be a constant and $\varepsilon>0$ be a small constant. It is shown…