Related papers: On Scottish Book Problem 157
A paper on ordinal partitions by Erd\H{o}s and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising the partition…
We analyze a directed variation of the book embedding problem when the page partition is prespecified and the nodes on the spine must be in topological order (upward book embedding). Given a directed acyclic graph and a partition of its…
In their textbook, Suzuki and Varga [Y. Suzuki and K. Varga, {\em Stochastic Variational Approach to Quantum-Mechanical Few-Body Problems} (Springer, Berlin, 1998)] present the stochastic variational method with the correlated Gaussian…
We introduce O-systems (Definition \ref{DO}) of orthogonal transformations of ${\Bbb R}^{m}$, and establish $1-1$ correspondences both between equivalence classes of Clifford systems and that of O-systems, and between O-systems and…
The Scott rank of a countable structure is a measure, coming from the proof of Scott's isomorphism theorem, of the complexity of that structure. The Scott spectrum of a theory (by which we mean a sentence of $\mathcal{L}_{\omega_1 \omega}$)…
Stein's method (Stein, 1973; 1981) is a powerful tool for statistical applications and has significantly impacted machine learning. Stein's lemma plays an essential role in Stein's method. Previous applications of Stein's lemma either…
This is an appendix to the English translation of the book by A. A. Goldberg and I. V. Ostrovskii, Distribution of values of meromorphic functions, Moscow, Nauka, 1970. An English translation of this book is to be published soon by the AMS.…
In this article we show that the Czech mathematician Vaclav Simerka discovered the factorization of (10^17-1)/9 using a method based on the class group of binary quadratic forms more than 120 years before Shanks and Schnorr developed…
We survey facts mostly emerging from the seminal results of Alan Cobham obtained in the late sixties and early seventies. We do not attempt to be exhaustive but try instead to give some personal interpretations and some research directions.…
A possible method to solve the sign problem is developed by modifying the original theory. Considering several modifications of the partition function, the observable in the original theory is reconstructed from the identity connecting the…
This article presents a general solution to the problem of computational complexity. First, it gives a historical introduction to the problem since the revival of the foundational problems of mathematics at the end of the 19th century.…
In the book `What is Mathematics?' Richard Courant and Herbert Robbins presented a solution of a Whitney's problem of an inverted pendulum on a railway carriage moving on a straight line. Since the appearance of the book in 1941 the…
Since a few years, the Schr\"odinger problem captures the attention of a growing community of mathematicians interested in optimal transport problems. The first result of existence of a solution to this problem dates back to 1940, when…
In 1957 Leo Moser published a problem in American Mathematical Monthly asking whether knowing the set of all pairwise sums of five numbers one could determine the original numbers. Problem was quickly generalized as "Is it always possible…
A method is presented for constructing a Tunstall code that is linear time in the number of output items. This is an improvement on the state of the art for non-Bernoulli sources, including Markov sources, which require a (suboptimal)…
The theory of orthogonal polynomials on the unit circle (OPUC) dates back to Szeg\"o's work of 1915-21, and has been given a great impetus by the recent work of Simon, in particular his two-volume book [Si4], [Si5], the survey paper (or…
Let $G(q)$ be a finite group of Lie type over a field with $q$ elements, where $q$ is a prime power. The Green functions of $G(q)$, as defined by Deligne and Lusztig, are known in \textit{almost} all cases by work of Beynon--Spaltenstein,…
I show that assuming PFA, every proper Scott set is the standard system of a model of PA. A Scott set X is proper if it is arithmetically closed and the quotient Boolean algebra X/Fin is a proper partial order.
We first present a Skoda type division theorem for holomorphic sections of line bundles on a projective variety which is essentially the most general, compared to previous ones. It is derived from Varolin's theorem as a corollary. Then we…
The purpose of this note is to prove the existence of a conformal scattering operator for the cubic defocusing wave equation on a non-stationary background. The proof essentially relies on solving the characteristic initial value problem by…