Related papers: Explicit multidimensional Ingham--Beurling type es…
We study constrained versions of the Ingleton inequality in the entropic setting and quantify its stability under small violations of conditional independence. Although the classical Ingleton inequality fails for general entropy profiles,…
We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with…
New symmetries, norm computations and spectral information are obtained for the Leray transform on a class of unbounded hypersurfaces in $\mathbb{C}^2$. Emphasis is placed on certain distinguished measures, with results on operator norm…
In this paper, we obtain some formulas for double nonlinear Euler sums involving harmonic numbers and alternating harmonic numbers. By using these formulas, we give new closed form sums of several quadratic Euler series through Riemann zeta…
In this paper, we study some Euler-Ap\'ery-type series which involve central binomial coefficients and (generalized) harmonic numbers. In particular, we establish elegant explicit formulas of some series by iterated integrals and…
Bidirectional typechecking, in which terms either synthesize a type or are checked against a known type, has become popular for its scalability (unlike Damas-Milner type inference, bidirectional typing remains decidable even for very…
We show how information on the uniformity properties of a point set employed in numerical multidimensional integration can be used to improve the error estimate over the usual Monte Carlo one. We introduce a new measure of (non-)uniformity…
We give necessary and sufficient conditions for a regular semi-Dirichlet form to enjoy a new Feller type property, which we call \emph{weak Feller property}. Our characterization involves potential theoretic as well as probabilistic aspects…
In this paper, using generalized metric projection, we propose a new extragradient method for finding a common element of the solutions set of a generalized equilibrium problem and a variational inequality for an $\alpha$-inverse-strongly…
By changing variables in a suitable way and using dominated convergence methods, this note gives a short proof of Stirling's formula and its refinement.
In the second paper of this series we extend our Bayesian reanalysis of the evidence for a cosmic variation of the fine structure constant to the semi-parametric modelling regime. By adopting a mixture of Dirichlet processes prior for the…
We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed shift vectors and generic quadratic forms. When the shift is rational we prove a counting result which…
In this paper, we obtain some formulae for harmonic sums, alternating harmonic sums and Stirling number sums by using the method of integral representations of series. As applications of these formulae, we give explicit formula of several…
We present an explicit averaging formula in lowest order. Besides an arbitrary smearing function it contains two integrals of this function. This is necessary in order to achieve covariance. There is no need to solve any equations. In three…
A multiple Dirichlet series in two variables is constructed as a Mellin transform of a higher order Eisenstein series. It is shown to extend to a meromorphic function and satisfy two independent functional equations.
Using an integral of a hypergeometric function, we give necessary and sufficient conditions for irrationality of Euler's constant $\gamma$. The proof is by reduction to known irrationality criteria for $\gamma$ involving a Beukers-type…
We obtain explicit formulas for the Neumann coefficients and associated quantities that appear in the three-string vertex for type IIB string theory in a plane-wave background, for any value of the mass parameter mu. The derivation involves…
We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of $\pi$ or $\log(2)$. In order to perform these simplifications, we view the series as specializations of…
The purpose of this expository note is to give a proof of a Schur-type theorem that characterizes the inner functions in terms of their Taylor coefficients. In view of Beurling's theorem, this provides a sequential characterization of the…
The paper discusses sharp sufficient conditions for interpolation and sampling for functions of n variables with convex spectrum. When n=1, the classical theorems of Ingham and Beurling state that the critical values in the estimates from…