Related papers: Random constructions for translates of non-negativ…
Some properties of $m$-density points and density-degree functions are studied. Moreover the following main results are provided: \vskip2mm \begin{itemize} \item {\it Let $\lambda$ be a continuous differential form of degree $h$ in…
Tur\'an observed that logarithmic partial sums $\sum_{n\le x}\frac{f(n)}{n}$ of completely multiplicative functions (in the particular case of the Liouville function $f(n)=\lambda(n)$) tend to be positive. We develop a general approach to…
We say that a function $\alpha(x)$ belongs to the set ${\bf A}^{(\gamma)}$ if it has an asymptotic expansion of the form $\alpha(x)\sim \sum^\infty_{i=0}\alpha_ix^{\gamma-i}$ as $x\to\infty$, which can be differentiated term by term…
In this note, as a particular case of a more general result, we obtain the following theorem: Let $\Omega\subseteq {\bf R}^n$ be a non-empty bounded open set and let $f:\overline {\Omega}\to {\bf R}^n$ be a continuous function which is…
We address the problem of constructing witnesses for nonclassical light that are applicable in state-of-the-art photon-counting devices. The key ingredient for the criteria we derive are generalized and directly measurable counting…
We give an adequate, concrete, categorical-based model for Lambda-S, which is a typed version of a linear-algebraic lambda calculus, extended with measurements. Lambda-S is an extension to first-order lambda calculus unifying two approaches…
In the literature, finite mixture models are described as linear combinations of probability distribution functions having the form $\displaystyle f(x) = \Lambda \sum_{i=1}^n w_i f_i(x)$, $x \in \mathbb{R}$, where $w_i$ are positive…
Let $k\geq 2$ be an integer and let $\lambda$ be the Liouville function. Given $k$ non-negative distinct integers $h_1,\ldots,h_k$, the Chowla conjecture claims that $\sum_{n\leq x}\lambda(n+h_1)\cdots \lambda(n+h_k)=o(x)$ as $x\to\infty$.…
The problem is sequence prediction in the following setting. A sequence $x_1,...,x_n,...$ of discrete-valued observations is generated according to some unknown probabilistic law (measure) $\mu$. After observing each outcome, it is required…
We introduce a class $\Lambda_{s}$ of functions with complicated local structure. Any function from the class belongs to one of three specifically defined types $f^s _k$, $f_+$, and $f^{-1} _+$ or is a specifically defined composition of…
We present the system $\mathtt{d}$, an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. $\mathtt{d}$ extends existing lambda-typed systems by an existential…
Denote by $\lambda(n)$ Liouville's function concerning the parity of the number of prime divisors of $n$. Using a theorem of Allouche, Mend\`es France, and Peyri\`ere and many classical results from the theory of the distribution of prime…
Let $(B,\|\cdot\|)$ be a Banach space, $(\Omega,\mathcal{F},P)$ a probability space and $L^0(\mathcal{F},B)$ the set of equivalence classes of strong random elements (or strongly measurable functions) from $(\Omega,\mathcal{F},P)$ to…
The two parallel concepts of "small" sets of the real line are meagre sets and null sets. Those are equivalent to Cohen forcing and Random real forcing for $\aleph^{\aleph_0}_0$; in spite of this similarity, the Cohen forcing and Random…
Negative probabilities have long been discussed in connection with the foundations of quantum mechanics. We have recently shown that, if signed measures are allowed on the hidden variables, the class of probability models which can be…
In this paper functions $f:D\to\mathbb{R}$ satisfying the inequality \[ f\Big(\frac{x+y}{2}\Big)\leq\frac12f(x)+\frac12f(y) +\varphi\Big(\frac{x-y}{2}\Big) \qquad(x,y\in D) \] are studied, where $D$ is a nonempty convex subset of a real…
We present the type system $\mathtt{d}$, an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. $\mathtt{d}$ extends existing lambda-typed systems by an existential…
We offer a natural and extensible measure-theoretic treatment of missingness at random. Within the standard missing data framework, we give a novel characterisation of the observed data as a stopping-set sigma algebra. We demonstrate that…
In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the lambda-calculus. Typing derivations are presented using proof…
The class of composite likelihood functions provides a flexible and powerful toolkit to carry out approximate inference for complex statistical models when the full likelihood is either impossible to specify or unfeasible to compute.…