Related papers: The Conway-Sloane calculus for 2-adic lattices
In this note not intended for publication, it is observed that a wellnigh trivial application of the ergodic theorem of Karlsson-Ledrappier yields a strong LLN for arbitrary concave moments.
Wigner limits are given formally as the difference between a lattice sum, associated to a positive definite quadratic form, and a corresponding multiple integral. To define these limits, which arose in work of Wigner on the energy of static…
In 1957, Hadwiger conjectured that every convex body in $\mathbb{R}^d$ can be covered by $2^d$ translates of its interior. For over 60 years, the best known bound was of the form $O(4^d \sqrt{d} \log d)$, but this was recently improved by a…
An iterative formula based on Newton Method alone is presented for the iterative solutions of equations that ensures convergence in cases where the traditional Newton Method may fail to converge to the desired root. In addition, the method…
This is a survey article on the Hardy-Littlewood conjecture about primes in quadratic progressions. We recount the history and quote some results approximating this hitherto unresolved conjecture.
We explore Leibniz's understanding of the differential calculus, and argue that his methods were more coherent than is generally recognized. The foundations of the historical infinitesimal calculus of Newton and Leibniz have been a target…
I. M. Milin proposed, in his 1971 paper, a system of inequalities for the logarithmic coefficients of normalized univalent functions on the unit disk of the complex plane. This is known as the Lebedev-Milin conjecture and implies the…
Applying recent ideas of Carlet, Dubrovin and Zhang (to appear), who, following a suggestion of Eguchi and Yang (hep-th/9407134), study the logarithm of the Lax operator of the Toda lattice, we show that the equivariant Toda lattice…
In this paper, we present a novel method to compute an explicit formula for the inverse of the confluent Vandermonde matrices. Our proposed results may have many interesting perspectives in diverse areas of mathematics and natural sciences,…
Myriad articles are devoted to Mertens's theorem. In yet another, we merely wish to draw attention to a proof by Hardy, which uses a Tauberian theorem of Landau that "leads to the conclusion in a direct and elegant manner". Hardy's proof is…
We use the large deviation approach to sum rules pioneered by Gamboa, Nagel and Rouault to prove higher order sum rules for orthogonal polynomials on the unit circle. In particular, we prove one half of a conjectured sum rule of Lukic in…
John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.
We consider an algebra of (classical or virtual) tangles over an ordered circuit operad and introduce Conway-type invariants of tangles which respect this algebraic structure. The resulting invariants contain both the coefficients of the…
It is shown how Dedekind cuts can be used to introduce the extended real numbers along with sound arithmetic laws via one simple rule for the addition of sets. The crucial idea is that the use of the lower and the upper part of the cuts,…
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affine variant of this logic. We prove that the (untyped) terms…
These pages contain a short overview on the state of the art of efficient numerical analysis methods that solve systems of multivariate polynomial equations. We focus on the work of Steve Smale who initiated this research framework, and on…
The paper describes two iterative algorithms for solving general systems of M simultaneous linear algebraic equations (SLAE) with real matrices of coefficients. The system can be determined, underdetermined, and overdetermined. Linearly…
In this note, we construct explicit bases for spaces of overconvergent $p$-adic modular forms when $p=2,3$ and study their stability under the Atkin operator. The resulting extension of the algorithms of Lauder is illustrated with…
We obtain new concavity results, up to a suitable transformation, for a class of quasi-linear equations in a convex domain involving the $p$-Laplace operator and a general nonlinearity satisfying concavity type assumptions. This provides an…
A proof for a conjecture by Shadrin and Zvonkine, relating the entries of a matrix arising in the study of Hurwitz numbers to a certain sequence of rational numbers, is given. The main tools used are iteration matrices of formal power…