Related papers: A Streamlined Proof of $\mathfrak{p}=\mathfrak{t}$

The aim of this note is to provide a short and self-contained proof of H\"ormander's theorem about the smoothness of transition probabilities for a diffusion under H\"ormander's "brackets condition". While both the result and the technique…

The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine numerous entities: the number of processes used in a…

We prove that the equation \begin{eqnarray*} -\Delta_p u =\lambda\Big( \frac{1} {u^\delta} + u^q + f(u)\Big)\;\text{ in } \, B_R(0) u =0 \,\text{ on} \; \partial B_R(0), \quad u>0 \text{ in } \, B_R(0) \end{eqnarray*} admits a weak radially…

We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters. We also list some problems, and furnish applications to topological spaces and to extended logics.

The paper suggests a method of extrapolation of notion of one-sided semi-infinite sequences representing traces of two-sided band-limited sequences; this features ensure uniqueness of this extrapolation and possibility to use this for…

We consider families of strongly indefinite systems of elliptic PDE and investigate bifurcation from a trivial branch of solutions by using the spectral flow. The novelty in our approach is a refined version of a comparison principle that…

Shellings of simplicial complexes have long been a useful tool in topological and algebraic combinatorics. Shellings of a complex expose a large amount of information in a helpful way, but are not easy to construct, often requiring deep…

In the context of the stream calculus, we present an Implicit Function Theorem (IFT) for polynomial systems, and discuss its relations with the classical IFT from calculus. In particular, we demonstrate the advantages of the stream IFT from…

We present a streamlined and simplified proof of the Kakeya set conjecture in $\mathbb{R}^3$.

Let $\mathfrak h$ be a Cartan subalgebra of a complex semisimple Lie algebra $\mathfrak g.$ We define a compactification $\bar {\mathfrak h}$ of $\mathfrak h$, which is analogous to the closure $\bar H$ of the corresponding maximal torus…

Non-existence and uniqueness results are proved for several local and non-local supercritical bifurcation problems involving a semilinear elliptic equation depending on a parameter. The domain is star-shaped but no other symmetry assumption…

We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes. For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in…

We prove fibrewise versions of classical theorems of Hopf and Leray-Samelson. Our results imply the fibrewise H-triviality after rationalization of a certain class of fibrewise H-spaces. They apply, in particular, to universal adjoint…

For a one-parameter degeneration of reduced compact complex analytic spaces of dimension $n$, we prove the invariance of the frontier Hodge numbers $h^{p,q}$ (that is, with $pq(n{-}p)(n{-}q)=0$) for the intersection cohomology of the fibers…

Let k be a commutative algebra with the field of the rational numbers included in k and let (E,p,i) be a cleft extension of A. We obtain a new mixed complex, simpler than the canonical one, giving the Hochschild and cyclic homologies of E…

In this article we prove the existence of solutions to the singular coagulation equation with multifragmentation. We use weighted $L^1$-spaces to deal with the singularities and to obtain regular solutions. The Smoluchowski kernel is…

We provide a general and syntactically-defined family of sequent calculi, called \emph{semi-analytic}, to formalize the informal notion of a "nice" sequent calculus. We show that any sufficiently strong (multimodal) substructural logic with…

We present a syntactic cut-elimination procedure for the alternation-free fragment of the modal mu-calculus. Cut reduction is carried out within a cyclic proof system, where proofs are finitely branching but may be non-wellfounded. The…

This paper concerns elliptic systems of $p$-Laplace type with complex valued coefficient and source term. We extend the real valued theory of the elliptic $p$-Laplace equation to the complex valued case. We establish the existence and…

Let $A/\mathbb{Q}$ be an elliptic curve having split multiplicative reduction at an odd prime $p$. Under some mild technical assumptions, we prove the statement: $$rank_{\mathbb{Z}}A(\mathbb{Q})=1 \ \ and\ \ \…