Related papers: Solution of Mumford's second problem
We study trivial multiple zeta values in Tate algebras. These are particular examples of the multiple zeta values in Tate algebras in positive characteristic introduced by the second author. If the number of variables involved is 'not…
Consider the representation of a rational number in the form, associated with "centered" Euclidean algorithm. We prove a new formula for the limit distribution function for sequences of rationals with bounded sum of partial quotients.
We develop a unified method to study spectral determinants for several different manifolds, including spheres and hemispheres, and projective spaces. This is a direct consequence of an approach based on deriving recursion relations for the…
Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming $\omega$-string transducers as well as deterministic two-way transducers with look-ahead. In their one-way restriction, the…
In this paper a new class of modified-Hessian equations, closely related to the Optimal Transportation Equation, will be introduced and studied. In particular, the existence of globally smooth, classical solutions of these equations…
A brief and incomplete review of known integrable and (quasi)-exactly-solvable quantum models with rational (meromorphic in Cartesian coordinates) potentials is given. All of them are characterized by (i) a discrete symmetry of the…
In this article, we derive a Euler prime product formula for the magnitude of the Riemann zeta function $\zeta(s)$ valid for $\Re(s)>1$, as well as similar formulas for $\zeta(s)$ valid for an even and odd $k$th positive integer argument.…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
A rational homogeneous (of degree one) positive real matrix-valued function is presented as the Schur complement of a block of the linear pencil with positive semidefinite matrix coefficients. The partial derivative numerators of a rational…
This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…
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…
Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear…
We prove the Euler-Lagrange delta-differential equations for problems of the calculus of variations on arbitrary time scales with delta-integral functionals depending on higher-order delta derivatives.
In this paper we develop a technique of computation of correlation functions in theories with action being cubic or higher degree form in terms of discriminants of corresponding tensors. These are analogues of formula $\int \exp…
We express the Riemann zeta function $\zeta\left(s\right)$ of argument $s=\sigma+i\tau$ with imaginary part $\tau$ in terms of three absolutely convergent series. The resulting simple algorithm allows to compute, to arbitrary precision,…
This article deals with the second order linear differential equations with entire coefficients. We prove some results involving conditions on coefficients so that the order of growth of every non-trivial solution is infinite.
All solutions of the set-theoretic constant tetrahedron equation with two colors are found, and some of their properties are analyzed. The list includes 406 solutions - we call them R-operators, - most of which are degenerate…
We prove that the partial zeta function introduced in [9] is a rational function, generalizing Dwork's rationality theorem.
In this study, a recursive solution technique in conjunction with generalized integrating factors is presented and applied to address first and second order linear differential equations. This approach demonstrates practical utility in…
In this paper, we show some expressions of certain $q$-multiple zeta-star values at roots of unity. These explicit formulas are expressed by using the determinants or Bell polynomials. Explicit formulas for other types of values can be…