Related papers: New proofs of Borwein-type algorithms for Pi
We apply an improved version of Batalin-Fradkin-Tyutin (BFT) Hamiltonian method to the a=1 chiral Schwinger Model, which is much more nontrivial than the a>1.$ one. Furthermore, through the path integral quantization, we newly resolve the…
There are several reformulations of the Vi\`ete's formula for pi that have been reported in the modern literature. In this paper we show another analog to the Vi\`ete's formula for pi by Chebyshev polynomials of the first kind.
We consider a class of piecewise hyperbolic maps from the unit square to itself preserving a contracting foliation and inducing a piecewise expanding quotient map, with infinite derivative (like the first return maps of Lorenz like flows).…
In this paper we study algorithms for tiling problems. We show that the conditions $(T1)$ and $(T2)$ of Coven and Meyerowitz, conjectured to be necessary and sufficient for a finite set $A$ to tile the integers, can be checked in time…
This paper studies the effects on Zernike coefficients of aperture scaling, translation and rotation, when a given aberrated wavefront is described on the Zernike polynomial basis. It proposes a new analytical method for computing the…
Generalized trigonometric functions are applied to the Legendre-Jacobi standard form of complete elliptic integrals, and a new form of the generalized complete elliptic integrals of the Borweins is presented. According to the form, it can…
Let $F$ be a univariate polynomial or rational fraction of degree $d$ defined over a number field. We give bounds from above on the absolute logarithmic Weil height of $F$ in terms of the heights of its values at small integers: we review…
Two different aspects of parabolic iteration in the complex upper half-plane are considered here. First, from a noncommutative probability perspective, a Berry-Esseen type estimate for the convergence speed of the monotone central limit…
Quartic eigenvalue problem $(\lambda^4 A + \lambda^3 B + \lambda^2C + \lambda D + E)x = \mathbf{0}$ naturally arises e.g. when solving the Orr-Sommerfeld equation in the analysis of the stability of the {Poiseuille} flow, in theoretical…
We obtain Azuma bounds for the probabilities of being away from the limit for a class of urn models. The method consists of relating the variables to certain linear combinations using eigenvectors of the replacement matrix, thus bringing in…
Recently, Kam Cheong Au discovered a powerful methodology of finding new Wilf-Zeilberger (WZ) pairs. He calls it WZ seeds and gives numerous examples of applications to proving longstanding conjectural identities for reciprocal powers of…
In this paper we prove some new series for $1/\pi$ as well as related congruences. We also raise several new kinds of series for $1/\pi$ and present some related conjectural congruences involving representations of primes by binary…
We investigate the Hamiltonian analysis of Nappi-Witten model (WZW action based on non semi simple gauge group) and find a time dependent non-commutativity by canonical quantization. Our procedure is based on constraint analysis of the…
We develop a general form of the Ritz method for trial functions that do not satisfy the essential boundary conditions. The idea is to treat the latter as variational constraints and remove them using the Lagrange multipliers. In…
In this work, we obtain an iterative formula that can be used for computing digits of $\pi$ and nested radicals of kind $c_n/\sqrt{2 - c_{n - 1}}$, where $c_0 = 0$ and $c_n = \sqrt{2 + c_{n - 1}}$. We also show how with the help of this…
We consider the bit complexity of computing Chow forms and their generalization to multiprojective spaces. We develop a deterministic algorithm using resultants and obtain a single exponential complexity upper bound. Earlier computational…
We prove that sufficiently many intertwining operators of type $F_4$ unitary affine VOAs satisfy polynomial energy bounds. This finishes the Wassermann type analysis of intertwining operators for all WZW-models.
In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on on how to weaken the assumption while preserving the conclusion. A main cause of…
We propose probabilistic representations for inverse Stein operators (i.e. solutions to Stein equations) under general conditions; in particular we deduce new simple expressions for the Stein kernel. These representations allow to deduce…
We describe an algorithmic method of proof compression based on the introduction of Pi_2-cuts into a cut-free LK-proof. The current approach is based on an inversion of Gentzen s cut-elimination method and extends former methods for…