Related papers: Linear relations between logarithmic integrals of …
We derive the structural relations between nested harmonic sums and the corresponding Mellin transforms of Nielsen integrals and harmonic polylogarithms at weight {\sf w = 6}. They emerge in the calculations of massless single--scale…
The existence of sufficiently many finite order meromorphic solutions of a differential equation, or difference equation, or differential-difference equation, appears to be a good indicator of integrability. In this paper, we investigate…
Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence. We propose a natural notion of logical relations able to deal with…
In this paper, we give evaluations of integrals involving the arctan and the logarithm functions, and present several new summation identities for odd harmonic numbers and Milgram constants. These summation identities can be expressed as…
We develop a linear-algebraic framework for dimensional analysis in systems with constraints, particularly when variables are numerous or related by implicit relations so that direct elimination is impractical. By expressing both…
$q$-analogs of sum equals integral relations $\sum_{n\in\mathbb{Z}}f(n)=\int_{-\infty}^\infty f(x)dx$ for sinc functions and binomial coefficients are studied. Such analogs are already known in the context of $q$-hypergeometric series. This…
A central problem of linear algebra is solving linear systems. Regarding linear systems as equations over general semirings (V,otimes,oplus,0,1) instead of rings or fields makes traditional approaches impossible. Earlier work shows that the…
We derive the structural relations between the Mellin transforms of weighted Nielsen integrals emerging in the calculation of massless or massive single--scale quantities in QED and QCD, such as anomalous dimensions and Wilson coefficients,…
We study values of generalized polylogarithms at various points and relationships among them. Polylogarithms of small weight at the points 1/2 and -1 are completely investigated. We formulate a conjecture about the structure of the linear…
In this article, we study the growth of solutions of the homogeneous complex linear differential equation \begin{equation*} f^{(k)}+A_{k-1}(z)f^{(k-1)}+\cdots+A_{1}(z)f^{\prime}+ A_{0}(z)f=0, \end{equation*}% where the coefficients…
Let $(L, v_L) / (K, v_K)$ be a finite or purely transcendental extension of real valued fields. We construct the associated integral cotangent and log cotangent complexes in terms of a MacLane-Vaqui\'e chain approximating $v_L$. This leads…
In this paper we look for the existence of large linear and algebraic structures of sequences of measurable functions with different modes of convergence. Concretely, the algebraic size of the family of sequences that are convergent in…
In this manuscript, the authors derive closed formula for definite integrals of combinations of powers and logarithmic functions of complicated arguments and express these integrals in terms of the Hurwitz zeta. These derivations are then…
Let $\mathcal{H}ol(B_d)$ denote the space of holomorphic functions on the unit ball $B_d$ of $\mathbb{C}^d$, $d\ge 1$. Given a log-convex strictly positive weight $w(r)$ on $[0,1)$, we construct a function $f\in\mathcal{H}ol(B_d)$ such that…
Closed form expressions for a logarithm of general multivector (MV) in base-free form in real geometric algebras (GAs) Cl(p,q) are presented for all n=p+q=3. In contrast to logarithm of complex numbers (isomorphic to Cl(0,1), 3D logarithmic…
We introduce an iterated integral version of (generalized) log-sine integrals (iterated log-sine integrals) and prove a relation between a multiple polylogarithm and iterated log-sine integrals. We also give a new method for obtaining…
New types of relationships between Feynman integrals are presented. It is shown that Feynman integrals satisfy functional equations connecting integrals with different values of scalar invariants and masses. A method is proposed for…
We introduce a new form of logical relation which, in the spirit of metric relations, allows us to assign each pair of programs a quantity measuring their distance, rather than a boolean value standing for their being equivalent. The…
We define analogues of higher derivatives for $F_q$-linear functions over the field of formal Laurent series with coefficients in $F_q$. This results in a formula for Taylor coefficients of a $F_q$-linear holomorphic function, a definition…
The approach to the constructing explicit solutions of the recurrence relations for multi-loop integrals are suggested. The resulting formulas demonstrate a high efficiency, at least for 3-loop vacuum integrals case. They also produce a new…