Related papers: Provable Pi-1-2 Singletons

Let R be a family of n axis-parallel rectangles with packing number p-1, meaning that among any p of the rectangles, there are two with a non-empty intersection. We show that the union complexity of R is at most O(n+p^2), and that the…

In 2011 Enders, M\"{u}ller and Topping showed that any blow up sequence of a Type I Ricci flow near a singular point converges to a non-trivial gradient Ricci soliton, leading them to conclude that for such flows all reasonable definitions…

We prove the existence of solutions for the singularly perturbed Schr\"odinger--Newton system {ll} \hbar^2 \Delta \psi - V(x) \psi + U \psi =0 \hbar^2 \Delta U + 4\pi \gamma |\psi|^2 =0 . \hbox{in $\mathbb{R}^3$} with an electric potential…

We find the exact best possible range of those $p > 1$ for which any function which belongs to $A_1(\mathbb{R})$, with $A_1$-constant equal to $c$, must also belong to $L^p$. In this way we provide alternative proofs of the results in [2]…

Let $\alpha\in (0,2)$ and consider the operator $$L f(x) =\int [f(x+h)-f(x)-1_{(|h|\leq 1)} \nabla f(x)\cdot h] \frac{A(x,h)}{|h|^{d+\alpha}} dh, $$ where the $\nabla f(x)\cdot h$ term is omitted if $\alpha<1$. We consider the martingale…

We consider the uniqueness of the following positive solutions of $m$-Laplacian equation: \begin{equation} \left\{ \begin{aligned} -\Delta _m u&=\lambda u^{m-1}+u^{p-1} \quad \text{in} \quad \Omega\\ u&=0 \quad \text{on} \quad \partial…

A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $n$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{n-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where…

Among other things, we prove that, for a doubling weight $w$, $0< p\leq\infty$, $r\in{\mathbb N}_0$, and $0<\alpha <r+1 - 1/\lambda_p$, we have \[ E_n(f)_{p, w_n} = O(n^{-\alpha}) \iff \omega_\varphi^{r+1}(f, n^{-1})_{p, w_n} =…

A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i \alpha_i$ with no two $\alpha_i$ sharing an atom then one of…

We introduce a ZFC method that enables us to build spaces (in fact special dense subspaces of certain Cantor cubes) in which we have "full control" over all dense subsets. Using this method we are able to construct, in ZFC, for each…

An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC…

We prove the existence and uniqueness of solutions to a Dirichlet problem \[ \begin{cases} Lu = f + v^{-1}\text{Div}(v{\bf e} h), & x \in \Omega; u = 0, & x \in \partial \Omega, \end{cases}\] where $L$ is a degenerate, linear, second order…

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…

We consider a nonlinear elliptic equation driven by the Dirichlet $p$-Laplacian with a singular term and a $(p-1)$-linear perturbation which is resonant at $+\infty$ with respect to the principal eigenvalue. Using variational tools,…

PT symmetric complex potential V(r) = - r^4 + i a r^3 + b r^2 + i c r + i d/r + e/r^2 is studied. Arbitrarily large multiplets of its closed bound-state solutions with real energies are shown obtainable quasi-exactly (i.e., with a certain…

We study the blow-up behavior of solutions to the singular Liouville equation \[ \Delta \tilde u+\lambda e^{\tilde u}=4\pi\alpha\delta_0 \quad\text{in }B,\quad \tilde u=0 \quad\text{on }\partial B, \] where $\alpha>0$, $\lambda>0$ and…

We provide a simple and direct proof of a strong-type unique continuation principle for the fractional $p$-Laplacian $(-\Delta_p)^s$ for a range of $s$ and $p$. The result extends to strong solutions of the fractional nonlinear…

The 1+1 dimensional massive Dirac equation is solved exactly in light-cone coordinates for $x^+ > 0$ and $x^- > -L$, in the presence of an arbitrary $x^+$ dependent electric field. Our solution resolves the ambiguity at $p^+ = 0$. We also…

In this paper we construct explicitly an infinite number of Hopfions (static, soliton solutions with non-zero Hopf topological charges) within the recently proposed 3+1-dimensional, integrable and relativistically invariant field theory.…

For given $p\in\lbrack1,\infty]$ and $g\in L^{p}\mathbb{(R)}$, we establish the existence and uniqueness of solutions $f\in L^{p}(\mathbb{R)}$, to the equation \[ f(x)-af(bx)=g(x), \] where $a\in\mathbb{R}$, $b\in\mathbb{R} \setminus…