Related papers: Positive definite functions on semilattices

We study a certain class $\mathcal{P}$ of positive linear functionals $\varphi$ on $L^{\infty}([1,\infty))$ for which $\varphi(f) = \alpha$ if $\lim_{x \to \infty} \frac{1}{x} \int_1^x f(t)dt = \alpha$. It turns out that translations $f(x)…

The simple product formulae for derivatives of scalar functions raised to different powers are generalized for functions which take values in the set of symmetric positive definite matrices. These formulae are fundamental in derivation of…

We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.

In this article, we study exponents which preserve complete monotonicity of functions on lattices. We prove that for any completely monotone function $f$ on a finite lattice, $f^\alpha$ is completely monotone for all $\alpha\geq c$, where…

Extending G\"odel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite…

We first introduce the arithmetic subderivative of a positive integer with respect to a non-empty set of primes. This notion generalizes the concepts of the arithmetic derivative and arithmetic partial derivative. More generally, we then…

Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…

We consider three classes of functions defined using the class $\mathcal{P}$ of all analytic functions $p(z)=1+cz+\dotsb$ on the open unit disk having positive real part and study several radius problems for these classes. The first class…

Let $L$ be a solvable Lie algebra of dimension less than or equal to 4 over finite fields. We compute and record, in explicit symbolic form, the zeta functions enumerating subalgebras or ideals of $L$, and study their properties. We also…

In this article we raise some new questions about positive definite functions on free groups, and explain how these are related to more well-known questions. The article is intended as a survey of known results that also offers some new…

The concept of permutograph is introduced and properties of integral functions on permutographs are established. The central result characterizes the class of integral functions that are representable as lattice polynomials. This result is…

A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher…

Let $S$ be a subset of a amenable group $G$ such that $e\in S$ and $S^{-1}=S$. The main result of the paper states that if the Cayley graph of $G$ with respect to $S$ has a certain combinatorial property, then every positive definite…

We consider the set of power functions defined on the set of positive real number, and their linear combinations. After recalling some properties of the gamma function, we give two general definitions of derivatives of positive and negative…

We study zeta functions enumerating subalgebras or ideals of Lie algebras over finite field of prime order $\mathbb{F}_p$. We first develop a general blueprint method for computing zeta functions of $\mathbb{F}_p$-Lie algebras, and…

This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i .…

We define a new average - termed the resolvent average - for positive semidefinite matrices. For positive definite matrices, the resolvent average enjoys self-duality and it interpolates between the harmonic and the arithmetic averages,…

We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and in which the meet operation of the semilattice coexists with a generalized distance function in a tightly coordinated way. We prove a…

Let $\Omega$ be a complex lattice which does not have complex multiplication and $\wp=\wp_\Omega$ the Weierstrass $\wp$-function associated to it. Let $D\subseteq\mathbb{C}$ be a disc and $I\subseteq\mathbb{R}$ be a bounded closed interval…

We give the definition of an invariant random positive definite function on a discrete group, generalizing both the notion of an invariant random subgroup and a character. We use von Neumann algebras to show that all invariant random…