Related papers: Characterization of generalized quasi-arithmetic m…
On the set $\mathcal M$ of mean functions the symmetric mean of $M$ with respect to mean $M_0$ can be defined in several ways. The first one is related to the group structure on $\mathcal M$ and the second one is defined trough Gauss'…
Let $\mu$ be a positive measure on the real line with locally finite support $\Lambda$ and integer masses such that its Fourier transform in the sense of distributions is a purely point measure. An explicit form is found for an entire…
In this paper we shall consider some famous means such as arithmetic, harmonic, geometric, root-square means, etc. Some new means recently studied are also presented. Different kinds of refinement of inequalities among these means are…
We extend some approach to a family of symmetric means (i.e. symmetric functions $\mathscr{M} \colon \bigcup_{n=1}^\infty I^n \to I$ with $\min\le \mathscr{M}\le \max$; $I$ is an interval). Namely, it is known that every symmetric mean can…
This paper introduces a novel extension of Fr\'{e}chet means, called \textit{generalized Fr\'{e}chet means} as a comprehensive framework for characterizing features in probability distributions in general topological spaces. The generalized…
We study generalized means whose domain may contain unbounded sets as well. We investigate usual properties of this type of means and also new attributes that regard for such means only. We examine how a mean defined on bounded sets can be…
We introduce a new type of means. It is new in two ways: its domain consists of sets and its values are sets too. We investigate the properties and behavior of such generalization. We also present many naturally arisen examples for such…
Quasi-arithmetic means are defined for every continuous, strictly monotone function $f \colon U \rightarrow \mathbb{R}$, ($U$ -- an interval). For an $n$-tuple $a \in U^n$ with corresponding vector of weights $w=(w_1,\dots,w_n)$ ($w_i>0$,…
The goal of this note is to provide a geometric setting in which generalized arithmetic means are best predictors in an appropriate metric. This characterization provides a geometric interpretation to the concept of certainty equivalent.…
A generalized polymorphism of a predicate $P \subseteq \{0,1\}^m$ is a tuple of functions $f_1,\dots,f_m\colon \{0,1\}^n \to \{0,1\}$ satisfying the following property: If $x^{(1)},\dots,x^{(m)} \in \{0,1\}^n$ are such that…
Gauss's arithmetic-geometric mean (AGM) which is described by two variables iteration $(a_n, b_n)\rightarrow (a_{n+1}, b_{n+1})$ by $a_{n+1}=(a_n+b_n)/2,\ b_{n+1}=\sqrt{a_nb_n}$. We extend it to three variables iteration $(a_n, b_n,…
Let R+ = (0,infinity) and let M be the family of all mean values of two numbers in R+ (some examples are the arithmetic, geometric, and harmonic means). Given m1, m2 in M, we say that a function f : R+ to R+ is (m1,m2)-convex if f(m1(x,y))…
Integral means are important class of bivariate means. In this paper we prove the very general algorithm for calculation of coefficients in asymptotic expansion of integral mean. It is based on explicit solving the equation of the form…
In this paper, for $0<\alpha<1$, $p>0$ and positive semidefinite matrices $A,B\ge0$, we consider the quasi-extension $\mathcal{A}_{\alpha,p}(A,B):=((1-\alpha)A^p+\alpha B^p)^{1/p}$ of the $\alpha$-weighted arithmetic matrix mean, and the…
We express some general type of infinite series such as $$ \sum^\infty_{n=1}\frac{F(H_n^{(m)}(z),H_n^{(2m)}(z),\ldots,H_n^{(\ell m)}(z))} {(n+z)^{s_1}(n+1+z)^{s_2}\cdots (n+k-1+z)^{s_k}}, $$ where $F(x_1,\ldots,x_\ell)\in\mathbb…
Let $\alpha_1, \ldots, \alpha_m$ be two or more positive reals with sum $1$, let $C\subseteq \mathbb{R}^k$ be an open convex set, and $f: C\to \mathbb{R}^k$ be a continuous injection with convex image. For each nonempty set $S\subseteq C$,…
In this paper, for $\alpha\in(0,\infty)\setminus\{1\}$, $p>0$ and positive semidefinite matrices $A$ and $B$, we consider the quasi-extension $\mathcal{M}_{\alpha,p}(A,B):=\mathcal{M}_\alpha(A^p,B^p)^{1/p}$ of several $\alpha$-weighted…
Family of quasi-arithmetic means has a natural, partial order (point-wise order) $A^{[f]}\le A^{[g]}$ if and only if $A^{[f]}(v)\le A^{[g]}(v)$ for all admissible vectors $v$ ($f,\,g$ and, later, $h$ are continuous and monotone and defined…
The mapping $\chi_n$ from $\F_{2}^{n}$ to itself defined by $y=\chi_n(x)$ with $y_i=x_i+x_{i+2}(1+x_{i+1})$, where the indices are computed modulo $n$, has been widely studied for its applications in lightweight cryptography. However,…
Equivalence relations or, more general, quasiorders (i.e., reflexive and transitive binary relations) $\rho$ have the property that an $n$-ary operation $f$ preserves $\rho$, i.e., $f$ is a polymorphism of $\rho$, if and only if each…