Related papers: A sharp effectiveness result of Demailly's strong …

The purpose of this note is to discuss several results that have been obtained in the last decade in the context of sharp adjoint Fourier restriction/Strichartz inequalities. Rather than aiming at full generality, we focus on several…

This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck…

The Sensitivity Conjecture is a long-standing problem in theoretical computer science that seeks to fit the sensitivity of a Boolean function into a unified framework formed by the other complexity measures of Boolean functions, such as…

(Maher 2012) introduced an approach for relative expressiveness of defeasible logics, and two notions of relative expressiveness were investigated. Using the first of these definitions of relative expressiveness, we show that all the…

We give a survey of various rigidity results involving scalar curvature. Many of these results are inspired by the positive mass theorem in general relativity. In particular, we discuss the recent solution of Min-Oo's Conjecture for the…

We use Furuta's result, usually referred to as ``10/8-conjecture'', to show that for any compact 3-manifold $M$ the open manifold $M\times\r$ has infinitely many different smooth structures. Another consequence of Furuta's result is…

In this paper we prove the WALA conjecture.

Intentions are crucial for our practical reasoning. The rational intention obeys some simple logical principles, such as agglomeration and consistency, among others, motivating the search for a proper logic of intention. However, such a…

In this paper, sharp results on operator Young's inequality are obtained. We first obtain sharp multiplicative refinements and reverses for the operator Young's inequality. Secondly, we give an additive result, which improves a well-known…

In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method…

In this article we give a result obtained of an experimental way for the Euler totient function.

Derived $A_\infty$-algebras have a wealth of theoretical advantages over regular $A_\infty$-algebras. However, due to their bigraded nature, in practice they are often unwieldy to work with. We develop a framework involving brace algebras…

We prove that bounded conciseness is a closed property in the space of marked groups. As a consequence, we reformulate a conjecture of Fern\'andez-Alcober and Shumyatsky [7] about conciseness in the class of residually finite groups.

Update: The Cosmetic Surgery Conjecture modulo finitely many Dehn-filling coefficients has been a well-known classical result, so the first main result of this paper is not new. (But the author was initially unaware of this fact, and the…

This article deals with plausible reasoning from incomplete knowledge about large-scale spatial properties. The availableinformation, consisting of a set of pointwise observations,is extrapolated to neighbour points. We make use of belief…

We say that a structure $\mathcal{A}$ admits \emph{strong jump inversion} provided that for every oracle $X$, if $X'$ computes $D(\mathcal{C})'$ for some $\mathcal{C}\cong\mathcal{A}$, then $X$ computes $D(\mathcal{B})$ for some…

We prove the strong form of the Gaussian product conjecture in dimension three. Our purely analytical proof simplifies previously known proofs based on combinatorial methods or computer-assisted methods, and allows us to solve the case of…

Michael asked whether every productively Lindel\"of space is powerfully Lindel\"of. Building of work of Alster and De la Vega, assuming the Continuum Hypothesis, we show that every productively Lindel\"of space of countable tightness is…

In this paper we prove sharp Hardy inequalities by using Maximal function theory. Our results improve and extend the well-known results of G.Hardy \cite{Ha04}, T.Cazenave \cite {Ca03}, J.-Y.Chemin\cite {Ch06} and T.Tao\cite {TT06}.

We prove a factorization theorem for heavy-to-light form factors. Our result differs in several important ways from previous proposals. A proper separation of scales gives hard kernels that are free of endpoint singularities. A general…