Related papers: Rokhlin's signature theorems
Karush's proof of McMillan's theorem is recast as an argument involving polynomials with non-commuting indeterminates certain evaluations of which yield the Kraft sums of codes, proving a strengthened version of McMillan's theorem.
On the one hand, ordered completion is a fundamental technique in equational theorem proving that is employed by automated tools. On the other hand, their complexity makes such tools inherently error prone. As a remedy to this situation we…
Using classical results of Rogers bounding the $L^2$-norm of Siegel transforms, we give bounds on the heights of approximate integral solutions of quadratic equations and error terms in the quantiative Oppenheim theorem of…
We give a general proof of the strong consistency of the Maximum Likelihood Estimator for the case of independent non-identically distributed (i.n.i.d) data, assuming that the density functions of the random variables follow a particular…
Inspired by a recent preprint of N. Curien, we provided what may be a new and elementary proof of the Law of Large Numbers.
In this brief note, there is a short recollection of my scientific interactions with the great Russian mathematician Sergey Konstantinovich Godunov.
I expound here in a more detailed way a proof of an important Serini's theorem, which I have already sketched in a previous Note. Two related questions are briefly discussed.
We prove the Kirillov-Reshetikhin conjecture for all untwisted quantum affine algebras : we prove that the character of Kirillov-Reshetikhin modules solve the Q-system and we give an explicit formula for the character of their tensor…
The purpose of this expository note is to give the proof of a theorem of Bourgain with some additional details and updated notation. The theorem first appeared as an appendix to the breakthrough paper by Friedgut, \emph{Sharp Thresholds of…
In the note, the author discovers an explicit formula for computing Bernoulli numbers in terms of Stirling numbers of the second kind.
Fast-slow systems are notoriously difficult to analyze with rigorous numerics, since the qualitative properties of the solution space change fundamentally when the so-called small parameter $\epsilon$ is varied from 0 to small non-zero…
We obtain the sharp estimates on the growth of the uniform norm of orthonormal polynomials for measures satisfying the Steklov condition. This improves the earlier results by Rakhmanov and completely settles a problem by Steklov. The sharp…
We introduce CSLib, an open-source framework for proving computer-science-related theorems and writing formally verified code in the Lean proof assistant. CSLib aims to be for computer science what Lean's Mathlib is for mathematics. Mathlib…
In this paper I will review the Rossiter-McLaughlin (RM) effect; its history, how it manifests itself during stellar eclipses and planetary transits, and the increasingly important role its measurements play in guiding our understanding of…
These notes were written as supplementary material for a five-hour lecture series presented at the Centre de Recerca Mathem\`atica at the Universitat Aut\`onoma de Barcelona from the 13th to the 17th of March 2017. The intention of these…
We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $\Sigma ^N$, where $N$ is…
F. Rohrlich has recently published two papers, including the paper under review, advocating a particular delay-differential equation as an approximate equation of motion for classical charged particles, which he characterizes as providing a…
This volume contains the proceedings of an International Workshop on Idempotent and Tropical Mathematics and Problems of Mathematical Physics, held at the Independent University of Moscow, Russia, on August 25-30, 2007.
Markov Chain Monte Carlo (MCMC) is an invaluable means of inference with complicated models, and Hamiltonian Monte Carlo, in particular Riemannian Manifold Hamiltonian Monte Carlo (RMHMC), has demonstrated impressive success in many…
In a strengthening of the G-Signature Theorem of Atiyah and Singer, we compute, at least in principle (modulo certain torsion of exponent dividing a power of the order of G), the class in equivariant K-homology of the signature operator on…