Related papers: The quantitative Morse theorem
The Carath\'eodory extension theorem is a fundamental result in measure theory. Often we do not know what a general measurable subset looks like. The Carath\'eodory extension theorem states that to define a measure we only need to assign…
The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.
An extension of the Wigner-Araki-Yanase theorem to multiplicative conserved quantities is presented and approximate versions of the theorem are discussed.
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula.…
In this article we give a proof of a q-analogue of the celebrated four functions theorem. This analogue was conjectured by Bjorner and includes as special cases both the four functions theorem and also Bjorner's q-analogue of the FKG…
A general theory of summation of divergent series based on the Hardy-Kolmogorov axioms is developed. A class of functional series is investigated by means of ergodic theory. The results are formulated in terms of solvability of some…
Consider a smooth, geometrically irreducible, projective curve of genus $g \ge 2$ defined over a number field of degree $d \ge 1$. It has at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show that…
This report presents a formalization of May's theorem in the proof assistant Coq. It describes how the theorem statement is first translated into Coq definitions, and how it is subsequently proved. Various aspects of the proof and related…
We introduce the notion of a Morse sequence, which provides a simple and effective approach to discrete Morse theory. A Morse sequence is a sequence composed solely of two elementary operations, that is, expansions (the inverse of a…
We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)
The purpose of this note is to present my understanding of Tim Austin's proof of the multiple ergodic theorem for commuting transformations, emphasizing on the use of joinings, extensions and factors. The existence of a sated extension,…
Let G denote either a special orthogonal group or a symplectic group defined over the complex numbers. We prove the following saturation result for G: given dominant weights \lambda^1, ..., \lambda^r such that the tensor product…
Elementary proofs of Sylvester's, Wolstenholme's, Morley's and Lehmer's congruence theorems
In this note, we give short inductive proofs of two known results on $k$-extendible graphs based on a property proved in [Qinglin Yu, A note on $n$-extendable graphs. Journal of Graph Theory, 16:349-353, 1992].
New version, including a variant of Quillen's proof of the Solomon-Tits theorem.
We develop the formal analogue of the Morse theory for a pair of commuting gradient-like vector fields. The resulting algebraic formalism turns out to be very similar to the algebra of the infrared of Gaiotto, Moore and Witten (see [GMW],…
We prove several results regarding the distribution of numbers that are the product of a prime and a $k$-th power. First, we prove an asymptotic formula for the counting function of such numbers; this generalises a result of E. Cohen. We…
We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and…
A mathematically rigorous relativistic quantum Yang-Mills theory with an arbitrary semisimple compact gauge Lie group is set up in the Hamiltonian canonical formalism. The theory is non-perturbative, without cut-offs, and agrees with the…
In this work we investigate how to quantify the coherence of quantum measurements. First, we establish a resource theoretical framework to address the coherence of measurement and show that any statistical distance can be adopted to define…