Related papers: Integer-valued valuations
Let $L$ be a countable language. We characterize, in terms of definable closure, those countable theories $\Sigma$ of $\mathcal{L}_{\omega_1, \omega}(L)$ for which there exists an $S_\infty$-invariant probability measure on the collection…
Non-positive at infinity valuations are a class of real plane valuations which have a nice geometrical behavior. They are divided in three types. We study the dual graphs of non-positive at infinity valuations and give an algorithm for…
The ring of integer-valued polynomials on an arbitrary integral domain is well-studied. In this paper we initiate and provide motivation for the study of integer-valued polynomials on commutative rings and modules. Several examples are…
This paper concerns generalized differential characterizations of maximal monotone set-valued mappings. Using advanced tools of variational analysis, we establish coderivative criteria for maximal monotonicity of set-valued mappings, which…
Problems in econometrics, insurance, reliability engineering, and statistics quite often rely on the assumption that certain functions are non-decreasing. To satisfy this requirement, researchers frequently model the underlying phenomena…
In this article, logarithmically complete monotonicity properties of some functions such as $\frac1{[\Gamma(x+1)]^{1/x}}$, $\frac{[{\Gamma(x+\alpha+1)}]^{1/(x+\alpha)}}{[{\Gamma(x+1)}]^{1/x}}$, $\frac{[\Gamma(x+1)]^{1/x}}{(x+1)^\alpha}$ and…
We sketch a tentative proof of P-completeness for the $\beta$-convertibility problem on untyped planar (a.k.a. ordered or non-commutative) $\lambda$-terms.
Symmetry groups allow to transform solutions of differential equations continuously into other solutions. This property can be used for the observability analysis of infinite-dimensional systems with input and output. In this contribution,…
We state and prove a general summation identity. The identity is then applied to derive various summation formulas involving the generalized harmonic numbers and related quantities. Interesting results, mostly new, are obtained for both…
We construct valuations on the space of finite-valued convex functions using integration of differential forms over the differential cycle associated to a convex function. We describe the kernel of this procedure and show that the…
This paper shows how techniques for linear dynamical systems can be used to reason about the behavior of general loops. We present two main results. First, we show that every loop that can be expressed as a transition formula in linear…
In this paper we define a continuous version of multiple zeta functions. They can be analytically continued to meromorphic functions on $\mathbb{C}^r$ with only simple poles at some special hyperplanes. The evaluations of these functions at…
Two types of finite series of products of harmonic numbers involving nonnegative integer powers are evaluated, also yielding two other important harmonic number identities. The recursion formulas for these sums are derived, which are easily…
We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of $\pi$ or $\log(2)$. In order to perform these simplifications, we view the series as specializations of…
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic…
In the paper, the authors introduce a matrix-parametrized generalization of the multinomial probability mass function that involves a ratio of several multivariate gamma functions. They show the logarithmic complete monotonicity of this…
In this paper, we prove logarithmically complete monotonicity properties of certain ratios of the $k$-gamma function. As a consequence, we deduce some inequalities involving the $k$-gamma and $k$-trigamma functions.
We consider nested sums involving the Pochhammer symbol at infinity and rewrite them in terms of a small set of constants, such as powers of $\pi,$ $\log(2)$ or zeta values. In order to perform these simplifications, we view the series as…
Stability of the zero solution plays an important role in the investigation of positive systems. In this note, we revisit the $\mu$-stability of positive nonlinear systems with unbounded time-varying delays. The system is modelled by…
We exhibit invariants of smooth projective algebraic varieties with integer values, whose nonvanishing modulo p prevents the existence of an action without fixed points of certain finite p-groups. The case of base fields of characteristic p…