Related papers: Addendum to "On the $p^{\lambda}$ problem"
The question of triviality of solutions of the semilinear Ornstein-Uhlenbeck equation, \[ \Delta w-\frac{1}{2} \langle x,\nabla w\rangle-\frac{\lambda}{p-1}w+|w|^{p-1}w=0, \] is considered. It is shown, that if $p>1$ is Sobolev subcritical…
Two theorems about the P versus NP problem be proved in this article (1) There exists a language $L$, that the statement $L \in \textbf{P}$ is independent of ZFC. (2) There exists a language $L \in \textbf{NP}$, for any polynomial time…
This paper has been withdrawn by the authors due to a mistake in the proof of the chief result. In particular Theorem 1.3 is correct, while Theorem 1.1 and Theorem 1.2 hold with \mu>0 and a suitable restriction on the exponent p. The proof…
We revisit Munshi's proof of the $t$-aspect subconvex bound for $\rm GL(3)$ $L$-functions, and we are able to remove the `conductor lowering' trick. This simplification along with a more careful stationary phase analysis allows us to…
We prove that |{1<=y<=x: y is odd and not of the form p+2^a+2^b}|>>x^{1-\epsilon} for any \epsilon>0, where the implied constant only depends on \epsilon.
Typing of lambda-terms in Elementary and Light Affine Logic (EAL, LAL, resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL (EAL, resp.) proof-nets admits a guaranteed polynomial…
Unlike in TFNP, for which there is an abundance of problems capturing natural existence principles which are incomparable (in the black-box setting), Kleinberg et al. [KKMP21] observed that many of the natural problems considered so far in…
This paper has been withdrawn due to a error in Theorem 3.1.
This paper was withdrawn by the authors. Lemma 5.1 is wrong.
In this paper, we study linear forms \[\lambda = \beta_1\mathrm{e}^{\alpha_1}+\cdots+\beta_m\mathrm{e}^{\alpha_m},\] where $\alpha_i$ and $\beta_i$ are algebraic numbers. An explicit lower bound for the absolute value of $\lambda$ is…
We consider process algebras with branching parametrized by an equational theory T, and show that it is possible to axiomatize bisimilarity under certain conditions on T. Our proof abstracts an earlier argument due to Grabmayer and Fokkink…
In this paper we extend the bump conjecture and a particular case of the separated bump conjecture with logarithmic bumps to iterated commutators $T_b^m$. Our results are new even for the first order commutator $T_b^1$. A new bump type…
We introduce a new condition on elliptic operators $L= {1/2}\triangle + b \cdot \nabla $ which ensures the validity of the Liouville property for bounded solutions to $Lu=0$ on $\R^d$. Such condition is sharp when $d=1$. We extend our…
The purpose of this erratum and addendum is to correct the errors in [1]. It consists of five components: 1. Lemma 7.1 and Proposition 7.2 are wrong and discarded; 2. A new proof of existence $\lambda(\xi)$ in (7.1) without Proposition 7.2;…
In this article we prove a relative Kawamata-Viehweg vanishing-type theorem for PLT $3$-folds in characteristic $p>5$. We use this to prove the normality of minimal log canonical centers and the adjunction formula for codimension $2$…
Suppose t = (T,T_1, p) is a triple of two theories T subset T_1 in vocabularies tau subset tau_1 (respectively) of cardinality lambda and a tau_1-type p over the empty set; in the main case here is with T stable. We show the Hanf number for…
In the first part of this paper, the existence of infinitely many $L^p$-standing wave solutions for the nonlinear Helmholtz equation $$ -\Delta u -\lambda u=Q(x)|u|^{p-2}u\quad\text{ in }\mathbb{R}^N $$ is proven for $N\geq 2$ and…
Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(\Lambda\rm{-mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension,…
Here we deal with some problems posed by Matet. The first section deals with the existence of stationary subsets of [lambda]^{<kappa} with no unbounded subsets which are not stationary, where, of course, kappa is regular uncountable less or…
Let $\mu$ be a Borel measure on $R^d$ which may be non doubling. The only condition that $\mu$ must satisfy is $\mu(B(x,r))\leq C r^n$ for all $x\in R^d$, $r>0$, and for some fixed $0<n\leq d$. In this paper, we develop Littlewood-Paley…