Related papers: An Algorithm for Deciding the Summability of Bivar…
The paper gives some criteria for partial sums of rational number sequences to be not rational functions and to be not algebraic functions. As an application, we study partial sums of some famous rational number sequences in mathematical…
We describe an algorithm to decompose rational functions from which we determine the poset of groups fixing these functions.
We investigate multivariate integration for a space of infinitely times differentiable functions $\mathcal{F}_{s, \boldsymbol{u}} := \{f \in C^\infty [0,1]^s \mid \| f \|_{\mathcal{F}_{s, \boldsymbol{u}}} < \infty \}$, where $\| f…
We prove an inversion formula for summatory arithmetic functions. As an application, we obtain an arithmetic relationship between summatory Piltz divisor functions and a sum of the M\"obius function over certain integers, denoted by…
Ibeling et al. (2023). axiomatize increasingly expressive languages of causation and probability, and Mosse et al. (2024) show that reasoning (specifically the satisfiability problem) in each causal language is as difficult, from a…
An algorithm is designed which decomposes a tropical univariate rational function into a composition of tropical binomials and trinomials. When a function is monotone, the composition consists just of binomials. Similar algorithms are…
Permutation rational functions over finite fields have attracted much attention in recent years. In this paper, we introduce a class of permutation rational functions over $\mathbb F_{q^2}$, whose numerators are so-called $q$-quadratic…
The essential variables in a finite function $f$ are defined as variables which occur in $f$ and weigh with the values of that function. The number of essential variables is an important measure of complexity for discrete functions. When…
For a nice holomorphic function $f(s, z)$ in two variables, a respective holomorphic Gamma function $\Gamma = \Gamma_f$ is constructed, such that $f(s, \Gamma(s)) = \Gamma(s + 1)$. Along the way, we fall through a rabbit hole of infinite…
We study the polynomial approximation of symmetric multivariate functions and of multi-set functions. Specifically, we consider $f(x_1, \dots, x_N)$, where $x_i \in \mathbb{R}^d$, and $f$ is invariant under permutations of its $N$…
A formal series in noncommuting variables $\Sigma$ over the rationals is a mapping $\Sigma^* \to \mathbb Q$. We say that a series is commutative if the value in the output does not depend on the order of the symbols in the input. The…
Given a suitable arithmetic function h, we investigate the average order of h as it ranges over the values taken by an integral binary form F. A general upper bound is obtained for this quantity, in which the dependence upon the…
A noncommutative (nc) function in $x_1,\dots,x_g,x_1^*,\dots,x_g$ is called plurisubharmonic (plush) if its nc complex Hessian takes only positive semidefinite values on an nc neighborhood of 0. The main result of this paper shows that an…
In this paper the notion of an abstract square function (estimate) is introduced as an operator X to gamma (H; Y), where X, Y are Banach spaces, H is a Hilbert space, and gamma(H; Y) is the space of gamma-radonifying operators. By the…
This paper presents a novel algorithm for constructing a sum-of-squares (SOS) decomposition for positive semi-definite polynomials with rational coefficients. Unlike previous methods that typically yield SOS decompositions with…
Let $R$ be a commutative ring, $f \in R[X_1,\ldots,X_k]$ a multivariate polynomial, and $G$ a finite subgroup of the group of units of $R$ satisfying a certain constraint, which always holds if $R$ is a field. Then, we evaluate $\sum…
Let $k$ be an integer greater than or equal $4$. We show that if a multiplicative function $f$ satisfies \[ f(x_1^2 + x_2^2 + \dots + x_k^2) = f(x_1)^2 + f(x_2)^2 + \dots + f(x_k)^2 \] for all positive integers $x_i$'s, then $f$ is the…
In this paper, we are going to describe the solutions of the functional equation $$ \varphi\Big(\frac{x+y}{2}\Big)(f(x)+f(y))=\varphi(x)f(x)+\varphi(y)f(y) $$ concerning the unknown functions $\varphi$ and $f$ defined on an open interval.…
Given a function f: {0,1}^n \to {0,1}, the f-isomorphism testing problem requires a randomized algorithm to distinguish functions that are identical to f up to relabeling of the input variables from functions that are far from being so. An…
Divided symmetrization of a function $f(x_1,\dots,x_n)$ is symmetrization of the ratio $$DS_G(f)=\frac{f(x_1,\dots,x_n)}{\prod (x_i-x_j)},$$ where the product is taken over the set of edges of some graph $G$. We concentrate on the case when…