Related papers: A case study for $\zeta(4)$
We establish a new class of relations among the multiple zeta values \zeta(k_1,k_2,...,k_n), which we call the cyclic sum identities. These identities have an elementary proof, and imply the "sum theorem" for multiple zeta values. They also…
Determining identifiability of causal effects from observational data under latent confounding is a central challenge in causal inference. For linear structural causal models, identifiability of causal effects is decidable through symbolic…
A non-trivial symbolic machinery is presented that can rephrase algorithmically a finite set of nested hypergeometric products in appropriately designed difference rings. As a consequence, one obtains an alternative representation in terms…
In this work we introduce a structured signaling game, an extension of the classical signaling game with a similarity structure between meanings in the context, along with a variant of the Rational Speech Act (RSA) framework which we call…
We introduce an algebraic formulation of cyclic sum formulas for multiple zeta values and for multiple zeta-star values. We also present an algebraic proof of cyclic sum formulas for multiple zeta values and for multiple zeta-star values by…
The alternating zeta function zeta*(s) = 1 - 2^{-s} + 3^{-s} - ... is related to the Riemann zeta function by the identity (1-2^{1-s})zeta(s) = zeta*(s). We deduce the vanishing of zeta*(s) at each nonreal zero of the factor 1-2^{1-s}…
Reasoning is fundamental to human intelligence, and critical for problem-solving, decision-making, and critical thinking. Reasoning refers to drawing new conclusions based on existing knowledge, which can support various applications like…
This study concerns (not necessarily commutative) Hecke rings associated with certain algebras and describes a formal Dirichlet series with coefficients in the Hecke rings, which can be used to generalize Shimura's series. Considering the…
We prove new upper bounds on the number of representations of rational numbers $\frac{m}{n}$ as a sum of $4$ unit fractions, giving five different regions, depending on the size of $m$ in terms of $n$. In particular, we improve the most…
As a by-product of a finite-size Bethe Ansatz calculation in statistical mechanics, Doochul Kim has established, by an indirect route, three mathematical identities rather similar to the conjugate modulus relations satisfied by the elliptic…
In this paper, we give an elementary account into Zagier's formula for multiple zeta values involving Hoffman elements. Our approach allows us to obtain direct proof in a special case via rational zeta series involving the coefficient…
The cyclic insertion conjecture of Borwein, Bradley, Broadhurst and Lison\v{e}k states that inserting all cyclic shifts of some fixed blocks of 2's into the multiple zeta value {\zeta}(1,3,...,1,3) gives an explicit rational multiple of a…
By combining classical techniques together with two novel asymptotic identities contained in [FL], we analyse certain single sums of Riemann-zeta type. In addition, we analyse Euler-Zagier double exponential sums for particular values of…
In this paper we shall prove that every Witten multiple zeta value of weight w>3 attached to sl(4) at nonnegative integer arguments is a finite rational linear combinations of MZVs of the weight w and the depths three or less, except for…
The aim of this paper is to derive a summation formula for the alternating infinite series and an expression for zeta function by using hyperbolic secant random variables. These identities involve Euler numbers and are obtained by computing…
In this paper, we give a purely algebraic proof of an identity coming directly from Euler's reflection formula for the gamma function. Our proof uses Hoffman's harmonic algebra and some binomial identities.
With this paper we introduce a new series representation of $\zeta(3)$, which is based on the Clausen representation of odd integer zeta values. Although, relatively fast converging series based on the Clausen representation exist for…
The Logic of Proofs, LP, and other justification logics can have self-referential justifications of the form t:A. Such self-referential justifications are necessary for the realization of S4 in LP. Yu discovered prehistoric cycles in a…
In this paper, we evaluate some series via the WZ method, and confirm several previous conjectures. For example, we prove the following two identities conjectured by the second author: $$\sum_{k=0}^{\infty} \frac{(28k^2 + 10k + 1)…
We use visible point vector identities to examine polylogarithms in the neighbourhood of the Riemann zeta function zeroes. New formulas limiting to the trivial zeroes and to the critical line on the zeta function are given. Similar results…