Related papers: Borel Determinacy: A Streamlined Proof
Despite significant advancements in post-hoc explainability techniques for neural networks, many current methods rely on heuristics and do not provide formally provable guarantees over the explanations provided. Recent work has shown that…
After presentations of Raz and Tal's oracle separation of BQP and PH result, several people (e.g. Ryan O'Donnell, James Lee, Avishay Tal) suggested that the proof may be simplified by stochastic calculus. In this short note, we describe…
The paper the title refers to is that in {\em Proceedings of the Edinburgh Mathematical Society}, {\bf 40} (1997), 367-374. Taking it as an excuse we intend to realize a twofold purpose: to atomize that important result showing by the way…
A certain sampling process, concerning an urn with balls of two colors, proposed in 1965 by B.E. Oakley and R.L. Perry, and discussed by Peter Winkler and Martin Gardner, that has an extremely simple answer for the probability, namely the…
Modified Rayleigh conjecture (MRC) in scattering theory was proposed and justified by the author (J.Phys A, 35 (2002), L357-L361). MRC allows one to develop efficient numerical algorithms for solving boundary-value problems. It gives an…
A celebrated 1969 theorem of Michael Rabin is that the MSO theory of the real order where the monadic quantifier is allowed only to range over the sets of rational numbers, is decidable. In 1975 Saharon Shelah proved that if the monadic…
Fontaine-Mazur Conjecture is one of the core statements in modern arithmetic geometry. Several formulations were given since its original statement in 1993, and various angles have been adopted by numerous authors to try to tackle it.…
The present paper develops two concepts of pointwise differentiability of higher order for arbitrary subsets of Euclidean space defined by comparing their distance functions to those of smooth submanifolds. Results include that…
We discuss mathematical and physical arguments against continuity and in favor of discreteness, with particular emphasis on the ideas of Emile Borel (1871-1956).
Gentzen's 1936 proof of the consistency of Peano Arithmetic was a significant result in the foundations of mathematics. We provide here a modified version of the proof, based on G\"{o}del's reformulation, and including additional details…
We provide an alternative proof of the classical single-term asymptotics for Toeplitz determinants whose symbols possess Fisher-Hartwig singularities. We also relax the smoothness conditions on the regular part of the symbols and obtain an…
The aim of this paper is to use the methods and results of symplectic homogenization (see [V4]) to prove existence of periodic orbits and invariant measures with rotation number depending on the differential of the Homogenized Hamiltonian.…
In this short note we prove the Borel conjecture for a family of aspherical manifolds that includes higher graph manifolds.
The Einstein-Podolsky-Rosen (EPR) paradox was enunciated in 1935 and since then it has made a lot of ink flow. Being a subtle result, it has also been largely misunderstood. Indeed, if questioned about its solution, many physicists will…
The present work provides a definitive answer to the problem of quantifying relaxation to equilibrium of the solution to the spatially homogeneous Boltzmann equation for Maxwellian molecules. The beginning of the story dates back to a…
In a recent paper, T. Austin has proved an analogous theorem for the continuous torus of the original Junta theorem proved by Friedgut in the case of the Boolean cube. Analogous statements have been established recently in discrete cases…
Twenty years have passed since Kechris' seminal survey paper [A. S. Kechris, New directions in descriptive set theory. Bull. Symbolic Logic, 5(2):161-174, 1999]. As a follow-up of that work, we review some ot the (anti-)classification…
In Evan and Hendel's recent proof of an outstanding conjecture on the resistance distances of a family of linear 3-trees, a key technique in the proof was calculating the recursion satisfied by a family of determinants. The underlying…
Robin Milner (1984) gave a sound proof system for bisimilarity of regular expressions interpreted as processes: Basic Process Algebra with unary Kleene star iteration, deadlock 0, successful termination 1, and a fixed-point rule. He asked…
We generalise the randomness test definitions in the literature for both the Martin-L\"of and Schnorr randomness of a series of binary outcomes, in order to allow for interval-valued rather than merely precise forecasts for these outcomes,…