相关论文: Downward Collapse from a Weaker Hypothesis

Let $D$ be a set of positive integers. A $D$-diffsequence of length $k$ is a sequence of positive integers $a_1 < \cdots < a_k$ such that $a_{i+1}-a_i\in D$ for $i=1,\ldots,k-1$. For $D=\{2^i\mid i\in \mathbb{Z}_{\ge 0}\}$, it is known that…

Motivated by the prescribing scalar curvature problem, we study the equation $\Delta_g u +Ku^p=0 (1+\zeta \leq p \leq \frac{n+2}{n-2})$ on locally conformally flat manifolds $(M,g)$ with $R(g)=0$. We prove that when $K$ satisfies certain…

We investigate the consequence of two Lip$(\gamma)$ functions, in the sense of Stein, being close throughout a subset of their domain. A particular consequence of our results is the following. Given $K_0 > \varepsilon > 0$ and $\gamma >…

Let $f\colon X\to Y$ be a $\sigma$-perfect $k$-dimensional surjective map of metrizable spaces such that $\dim Y\leq m$. It is shown that, for every positive integer $p\geq 1$ there exists a dense $G_{\delta}$-subset ${\mathcal H}(k,m,p)$…

We prove a strengthening of the trickle down theorem for partite complexes. Given a $(d+1)$-partite $d$-dimensional simplicial complex, we show that if "on average" the links of faces of co-dimension 2 are $\frac{1-\delta}{d}$-(one-sided)…

We show that in a category with pullbacks, arbitrary sifted colimits may be constructed as filtered colimits of reflexive coequalizers. This implies that "lex sifted colimits", in the sense of Garner--Lack, decompose as Barr-exactness plus…

We classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero such that its coradical is isomorphic to the algebra of functions over a dihedral group D_m, with m=4a> 11. We obtain this…

We study a class of mixed local and nonlocal $p$-Laplace equations with prototype \[ -\Delta_p u + (-\Delta_p)^s u = f \quad \text{in } \Omega, \] where $\Omega \subset \mathbb{R}^n$ is bounded and open. We provide sufficient condition on…

Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism $p$ exists and is preserved by a suitable morphism, the factorization given by the…

We prove several relations on the $f$-vectors and Betti numbers of flag complexes. For every flag complex $\Delta$, we show that there exists a balanced complex with the same $f$-vector as $\Delta$, and whose top-dimensional Betti number is…

The purpose of this article is to give a complete study of the weak solutions of the fractional elliptic equation \begin{equation}\label{00} \arraycolsep=1pt \begin{array}{lll} (-\Delta)^{\alpha} u+u^p=0\ \ \ \ &\ {\rm in}\ \…

For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2,…

Let $P$ be a finite simplicial comple with underlying space (union of simplices in $P$) $|P|$. Let $Q$ be a subcomplex of $P$. Let $a \geq 0$. Then there exists $K < \infty$, \emph{depending only on $a$ and $Q$,} with the following…

For $\alpha, \beta, \delta \in [0,1], \alpha +\beta = 1 $ we consider sets $$ {\rm BAD}^* (\alpha, \beta ;\delta) = \left\{\xi = (\xi_1,\xi_2) \in [0,1]^2: ,\inf_{p\in \mathbb{N}} \max \{(p\log(p+1))^\alpha ||p\xi_1||, (p\log (p+1))^\beta…

Consider a family of integral complex locally planar curves whose relative Hilbert scheme of points is smooth. The decomposition theorem of Beilinson, Bernstein, and Deligne asserts that the pushforward of the constant sheaf on the relative…

We provide new non-asymptotic false discovery proportion (FDP) confidence envelopes in several multiple testing settings relevant for modern high dimensional-data methods. We revisit the multiple testing scenarios considered in the recent…

We present a method which forces the failure of $\Pi^1_3$ and $\Sigma^1_3$-separation, while $\mathsf{MA} (\mathcal{I}$) holds, for $\mathcal{I}$ the family of indestructible ccc forcings. This shows that, in contrast to the assumption…

For a smooth bounded domain $\Omega$ and $p \geq q \geq 2$, we establish quantified versions of the classical Friedrichs inequality $\|\nabla u\|_p^p - \lambda_1 \|u\|_q^p \geq 0$, $u \in W_0^{1,p}(\Omega)$, where $\lambda_1$ is a…

We provide the weak factorization of the Hardy spaces $H^{p}(\mathbb{R}_+, dm_{\lambda})$ in the Bessel setting, for $p\in \left(\frac{2\lambda + 1}{2\lambda + 2}, 1\right]$. As a corollary we obtain a characterization of the boundedness of…

We give necessary and sufficient conditions for the existence of weak solutions to the model equation $$-\Delta_p u=\sigma \, u^q \quad \text{on} \, \, \, \R^n,$$ in the case $0<q<p-1$, where $\sigma\ge 0$ is an arbitrary locally integrable…