Related papers: Provable Pi-1-2 Singletons

The firefighter problem is NP-hard and admits a $(1-1/e)$ approximation based on rounding the canonical LP. In this paper, we first show a matching integrality gap of $(1-1/e+\epsilon)$ on the canonical LP. This result relies on a powerful…

We use a recently developed method to determine approximate expression for tritronqu\'{e}e solution for P-1: $y^{\prime \prime} + 6 y^2 - x=0$ in a domain $D$ with rigorous bounds. In particular we rigorously confirm the location of the…

We prove the consistency of a singular cardinal $\lambda$ with small value of the ultrafilter number $u_\lambda$, and arbitrarily large value of $2^\lambda$.

We prove the existence of a (random) Lipschitz function $F : \Z^{d-1}\to\Z^+$ such that, for every $x \in \Z^{d-1}$, the site $(x,F(x))$ is open in a site percolation process on $\Z^{d}$. The Lipschitz constant may be taken to be 1 when the…

The work presents the brief exposition of the proof (in ZF) of inaccessible cardinals nonexistence. To this end in view there is used the apparatus of subinaccessible cardinals and its basic tools -- reduced formula spectra and matrices and…

We show that the discrete Painlev\'e II equation with starting value $a_{-1}=-1$ has a unique solution for which $-1 < a_n < 1$ for every $n \geq 0$. This solution corresponds to the Verblunsky coefficients of a family of orthogonal…

In this paper we prove the existence and uniqueness of positive classical solution of the fractional Laplacian with singular nonlinearity in a smooth bounded domain with zero Drichlet boundary conditions. By the method of sub-supersolution,…

The class B of lacunary polynomials f(x) := -1 + x + x^n + x^{m_1} + x^{m_2} + ... + x^{m_s}, where s >= 0, m_1 - n >= n - 1, m_{q+1} - m_{q} >= n - 1 for 1 <= q < s, n >= 3 is studied. A polynomial having its coefficients in {0, 1} except…

Given a divergence-free vector field ${\bf u} \in L^\infty_t W^{1,p}_x(\mathbb R^d)$ and a nonnegative initial datum $\rho_0 \in L^r$, the celebrated DiPerna--Lions theory established the uniqueness of the weak solution in the class of…

Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results in set theory. We show the relative consistency of ZF + DC + there exists a sequence of subsets of R the…

We use the core model for sequences of measures to prove a new lower bound for the consistency strength of the failure of the SCH: THEOREM (i) If there is a singular strong limit cardinal $\kappa$ such that $2^\kappa > kappa^+$ then there…

In 1876 Brocard, and independently in 1913 Ramanujan, asked to find all integer solutions for the equation $n!=x^2-1$. It is conjectured that this equation has only three solutions, but up to now this is an open problem. Overholt observed…

We classify all solution triples with Fibonacci components to the equation $a^2+b^2+c^2=3abc+m,$ for positive $m$. We show that for $m=2$ they are precisely $(1,F(b),F(b+2))$, with even $b$; for $m=21$, there exist exactly two Fibonacci…

We study the solutions of a Diophantine equation of the form $a^x+b^y=c^z$, where $a\equiv 2 \pmod 4$, $b\equiv 3 \pmod 4$ and $\gcd (a,b,c)=1$. The main result is that if there exists a solution $(x,y,z)=(2,2,r)$ with $r>1$ odd then this…

In this article our main concern is to prove the quantitative unique estimates for the $p$-Laplace equation, $1<p<\infty$, with a locally Lipschitz drift in the plane. To be more precise, let $u\in W^{1,p}_{loc}(\mathbb{R}^2)$ be a…

We introduce the concept {\it $h$-almost Ricci soliton} which extends naturally the {\it almost Ricci soliton} by Pigola-Rigoli-Rimoldi-Setti and show that a compact nontrivial $h$-almost Ricci soliton of dimension no less than three with…

We consider a class of stationary viscous Hamilton--Jacobi equations as $$ \left\{\begin{array}{l} \la u-{\rm div}(A(x) \nabla u)=H(x,\nabla u)\mbox{in }\Omega, u=0{on}\partial\Omega\end{array} \right. $$ where $\la\geq 0$, $A(x)$ is a…

We prove that any extended formulation that approximates the matching polytope on $n$-vertex graphs up to a factor of $(1+\varepsilon)$ for any $\frac2n \le \varepsilon \le 1$ must have at least $\binom{n}{{\alpha}/{\varepsilon}}$ defining…

Using Painlev\'e analysis, the Hirota multi-linear method and a direct ansatz technique, we study analytic solutions of the (1+1)-dimensional complex cubic and quintic Swift-Hohenberg equations. We consider both standard and generalized…

In this paper, we study all possible orders which are less than 1 of transcendental entire solutions of linear difference equations \begin{equation} P_m(z)\Delta^mf(z)+\cdots+P_1(z)\Delta f(z)+P_0(z)f(z)=0,\tag{+} \end{equation} where…