Related papers: REDUCE package for the indefinite and definite sum…

In this paper, we introduce an analog of Gauss sums over function fields in positive characteristic. We establish several fundamental properties, including reflection formula, Stickelberger's theorem, and Hasse-Davenport relations. In…

We study the algebraic conditions leading to the chain property of complexes for vertex operator algebra $n$-point functions with differential being defined through reduction formulas. The notion of the reduction cohomology of Riemann…

A finite-dimensional Hilbert space is usually described in terms of an orthonormal basis, but in certain approaches or applications a description in terms of a finite overcomplete system of vectors, called a finite tight frame, may offer…

A simple procedure to obtain complete, closed expressions for Lie algebra invariants is presented. The invariants are ultimately polynomials in the group parameters. The construction of finite group elements require the use of projectors,…

Two-point Feynman parameter integrals, with at most one mass and containing local operator insertions in $4+\ep$-dimensional Minkowski space, can be transformed to multi-integrals or multi-sums over hyperexponential and/or hypergeometric…

In this paper we obtain explicit formulas for the traces of Hecke operators on spaces of cusp forms in certain instances related to arithmetic triangle groups. These expressions are in terms of hypergeometric character sums over finite…

There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing…

Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation,…

In recent work, Darmon, Pozzi and Vonk explicitly construct a modular form whose spectral coefficients are $p$-adic logarithms of Gross-Stark units and Stark-Heegner points. Here we describe how this construction gives rise to a practical…

For a commutative finite $\mathbb{Z}$-algebra, i.e., for a commutative ring $R$ whose additive group is finitely generated, it is known that the group of units of $R$ is finitely generated, as well. Our main results are algorithms to…

We consider a class of sums over products of Z-sums whose arguments differ by a symbolic integer. Such sums appear, for instance, in the expansion of Gauss hypergeometric functions around integer indices that depend on a symbolic parameter.…

We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental…

Let $H_k = 1 + 1/2 + 1/3 + \cdots + 1/k$ denote the $k$th harmonic number. We present an easy-to-implement algorithm for the computation of explicit closed-form evaluations, in terms of the digamma and polygamma functions, for Euler sums of…

We give a definition of generalized hypergeometric functions over finite fields using modified Gauss sums, which enables us to find clear analogy with classical hypergeometric functions over the complex numbers. We study their fundamental…

Given a frequency $\lambda=(\lambda_n)$, we study when almost all vertical limits of a $\mathcal{H}_1$-Dirichlet series $\sum a_n e^{-\lambda_ns}$ are Riesz-summable almost everywhere on the imaginary axis. Equivalently, this means to…

Symbolic computation techniques are used to derive some closed form expressions for an analytic continuation of the Euler-Zagier zeta function evaluated at the negative integers as recently proposed by B. Sadaoui. This approach allows to…

A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced…

Let $\mathfrak g$ be a semisimple Lie algebra and $\mathfrak k\subset\mathfrak g$ be a reductive in $\mathfrak g$ subalgebra. A $(\mathfrak g, \mathfrak k)$-module is a $\mathfrak g$-module which after restriction to $\mathfrak k$ becomes a…

We propose the extension of the complex numbers to be the new domain where new concepts, like negative and imaginary probabilities, can be defined. The unit of the new space is defined as the solution of the unsolvable equation in the…

Let $\mathfrak{g}$ be a Lie algebra in characteristic zero equipped with a vector space decomposition $\mathfrak{g}=\mathfrak{g}^-\oplus \mathfrak{g}^+$, and let $s$ and $t$ be commuting formal variables. We prove that the…