Related papers: A normality criterion corresponding to the defect …
Assuming the existence of a strong cardinal and a measurable cardinal above it, we construct a model of $ZFC$ in which for every singular cardinal $\delta$, $\delta$ is strong limit, $2^\delta=\delta^{+3}$ and the tree property at…
The Robin criterion states that the Riemann hypothesis is equivalent to the inequality $\sigma(n) < e^\gamma n \log \log n$ for all $n>5040$, where $\sigma(n)$ is the sum of divisors of $n$, and $\gamma$ is the Euler--Mascheroni constant.…
A generalized divergence theorem is established allowing for domains with inner boundaries. The normal trace of a rough integrand is not a Radon measure; rather, the boundary integral is expressed via a surface functional continuous with…
G{\"o}del's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many theories-in particular, of the theory U itself-as well as it forbids to prove the normalization property for these theories, since this…
There are two basic ways of weakening the definition of the well-known metric regularity property by fixing one of the points involved in the definition. The first resulting property is called metric subregularity and has attracted a lot of…
A loss function measures the discrepancy between the true values and their estimated fits, for a given instance of data. In classification problems, a loss function is said to be proper if a minimizer of the expected loss is the true…
Similarity metric which is not positive definite, and present a general theorem which provides a large family of similarity metrics which are positive definite.
Many set theorists point to the linearity phenomenon in the hierarchy of consistency strength, by which natural theories tend to be linearly ordered and indeed well ordered by consistency strength. Why should it be linear? In this paper I…
Szemeredi's regularity lemma is one instance in a family of regularity lemmas, replacing the definition of density of a graph by a more general coefficient. Recently, Fan Chung proved another instance, a regularity lemma for clustering…
Let $(R,\fm)$ be a local ring and $\fa$ be an ideal of $R$. The inequalities $$\begin{array}{ll} \ \Ht(\fa) \leq \cd(\fa,R) \leq \ara(\fa) \leq l(\fa) \leq \mu(\fa) \end{array}$$ are known. It is an interesting and long-standing problem to…
A measurable function $\mu$ on the unit disk $\mathbb{D}$ of the complex plane with $\|\mu\|_\infty<1$ is sometimes called a Beltrami coefficient. We say that $\mu$ is trivial if it is the complex dilatation $f_{\bar z}/f_z$ of a…
In this paper, we prove the strong normalisation for Martin-L\"{o}f's Logical Framework, and suggest that {}``correct arity'', a condition weaker than well-typedness, will also guarantee the strong normalisation.
Suppose that $f(z)$ is a transcendental entire function and that the Fatou set $F(f)\neq\emptyset$. Set $$B_1(f):=\sup_{U}\frac{\sup_{z\in U}\log(|z|+3)}{\inf_{w\in U}\log(|w|+3)}$$ and $$B_2(f):=\sup_{U}\frac{\sup_{z\in…
A theorem of A. Ostrowski describing meromorphic functions f such that the family {f(kz):k in C*} is normal, is generalized to holomorphic maps from $C*$ to a projective space.
Let $g \geq 2$. A real number is said to be g-normal if its base g expansion contains every finite sequence of digits with the expected limiting frequency. Let \phi denote Euler's totient function, let \sigma be the sum-of-divisors…
We first compare several algebraic notions of normality, from a categorical viewpoint. Then we introduce an intrinsic description of Higgins' commutator for ideal-determined categories, and we define a new notion of normality in terms of…
We deal with the random combinatorial structures called assemblies. By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the…
We study the regularity properties of fermionic equilibrium states at finite positive temperature and show that they satisfy certain semiclassical bounds. As a corollary, we identify explicitly a class of positive temperature states…
In this article, we consider the family of functions $f$ analytic in the unit disk $|z|<1$ with the normalization $f(0)=0=f'(0)-1$ and satisfying the condition $\big |\big (z/f(z)\big )^{2}f'(z)-1\big |<\lambda $ for some $0<\lambda \leq…
The Central Limit Theorem states that, in the limit of a large number of terms, an appropriately scaled sum of independent random variables yields another random variable whose probability distribution tends to a stable distribution. The…