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

We address the relative expressiveness of defeasible logics in the framework DL. Relative expressiveness is formulated as the ability to simulate the reasoning of one logic within another logic. We show that such simulations must be…

This article aims to find explicit congruences between Dirichlet characters and gives various results on how to find some effectively on a computer. It ends with concrete examples putting those ideas in application.

We prove a conjecture proposed by Berman-Boucksom-Eyssidieux-Guedj-Zeriahi, affirming that the Demailly-Lelong number can be determined through a combination of intersection numbers given by the divisorial part of the potential and the SNC…

We extend our previous work on sensitivity analysis for the risk ratio and difference contrasts under unmeasured confounding to any contrast. We prove that the bounds produced are still arbitrarily sharp, i.e. practically attainable. We…

We show that every strongly jump-traceable set obeys every benign cost function. Moreover, we show that every strongly jump-traceable set is computable from a computably enumerable strongly jump-traceable set. This allows us to generalise…

Shininess and strong politeness are properties related to theory combination procedures. In a paper titled "Many-sorted equivalence of shiny and strongly polite theories", Casal and Rasga proved that for decidable theories, these properties…

This paper is devoted to the investigation of an important issue recently brought into attention by a recent paper of Arutyunov: the relation between openness of composition of set-valued maps and fixed point results. More precisely, we…

We give a proof of openness of versality using coherent functors. As an application, we streamline Artin's criterion for algebraicity of a stack. We also introduce multi-step obstruction theories, employing them to produce obstruction…

In this paper, we prove the strong Feller property for stochastic delay (or functional) differential equations with singular drift. We extend an approach of Maslowski and Seidler to derive the strong Feller property of those equations. The…

In this paper we investigate strong summability of the two-dimensional Walsh-Fourier series obtained in Weisz \cite{We} (see Theorem W) and prove sharpness of this result.

Soft, repulsive run-and-tumble particles display emergent effective interactions as they appear to stick to each other in spite of the absence of attractive forces. This effective attraction emerges at strong enough repulsion and large…

Suppose we are given a computably enumerable object arise from algorithmic randomness or computable analysis. We are interested in the strength of oracles which can compute an object that approximates this c.e. object. It turns out that,…

We prove a sharp structural result concerning finite colorings of pairs in well-founded trees.

There are exactly two maximal schematic extensions of the relevant logic R with the variable sharing property. We establish that one of them has a strong form of interpolation for deducibility, thereby giving an example of a well-known…

We investigate Demailly's Conjecture for a general set of sufficiently many points. Demailly's Conjecture generalizes Chudnovsky's Conjecture in providing a lower bound for the Waldschmidt constant of a set of points in projective spaces.…

The aim of this article is to establish the existence of big Cohen-Macaulay algebras in mixed characteristic in some special situation. The main result follows from the so-called almost purity theorem proved by Davis and Kedlaya.

We prove the "strong conjecture" expressed by Gazeau et al. in arXiv:1203.3936v1 [math-ph] about the coefficients of the Taylor expansion of the exponential of a polynomial. This implies the "weak conjecture" as a special case. The proof…

Under a slightly stronger hypothesis, one improves a connectedness result of Debarre [D] for a product of two projective spaces in terms of the extension problem of formal-rational functions (see Theorems 1.3 and 1.4 of the introduction)

We consider the strong form of the John-Nirenberg inequality for the $L^2$-based BMO. We construct explicit Bellman functions for the inequality in the continuous and dyadic settings and obtain the sharp constant as well as the precise…

In this paper we present a new approach to prove effective results in Diophantine approximation. We then use it to prove an effective theorem on the simultaneous approximation of two algebraic numbers satisfying an algebraic equation with…