Related papers: Dominating the Erdos-Moser theorem in reverse math…
We use the framework of reverse mathematics to address the question of, given a mathematical problem, whether or not it is easier to find an infinite partial solution than it is to find a complete solution. Following Flood, we say that a…
Determining the matrix multiplication exponent $\omega$ is one of the greatest open problems in theoretical computer science. We show that it is impossible to prove $\omega = 2$ by starting with structure tensors of modules of fixed degree…
We develop a general framework for infinite-dimensional Ramsey theory with and without pigeonhole principle, inspired by Gowers' Ramsey-type theorem for block sequences in Banach spaces and by its exact version proved by Rosendal. In this…
We prove that unique ergodicity of tensor product of $C^*$-dynamical system implies its strictly weak mixing. By means of this result a uniform weighted ergodic theorem with respect to $S$-Besicovitch sequences for strictly weak mixing…
Ramsey theory is a central and active branch of combinatorics. Although Ramsey numbers for graphs have been extensively investigated since Ramsey's work in the 1930s, there is still an exponential gap between the best known lower and upper…
The tree theorem for pairs ($\mathsf{TT}^2_2$), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binary tree $2^{<\omega}$, there is a set of nodes isomorphic to…
Bass and Pardoux (1987) deduce from the Krein-Rutman theorem a reverse ergodic theorem for a sub-probability transition function, which turns out to be a key tool in proving uniqueness of reflecting Brownian Motion in cones in Kwon and…
With subrecoil-laser-cooled atoms one may reach nano-Kelvin temperatures while the ergodic properties of these systems do not follow usual statistical laws. Instead, due to an ingenious trapping mechanism in momentum space,…
In this paper we examine the reverse mathematical strength of a variation of Hindman's Theorem HT constructed by essentially combining HT with the Thin Set Theorem TS to obtain a principle which we call thin-HT. thin-HT says that every…
We prove an inverse function theorem of Nash-Moser type for maps between Fr\'echet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome…
Recently, adversarial deception becomes one of the most considerable threats to deep neural networks. However, compared to extensive research in new designs of various adversarial attacks and defenses, the neural networks' intrinsic…
We construct an $\ll^2$-solution (also known as a weakly low solution) to ${\mathrm{D}^2}$ within ${\mathrm{B}\Sigma^0_{3}}$ and prove the $\ll^2$-basis theorem for $\mathrm{RT}^2$ over ${\mathrm{B}\Sigma^0_{3}}$. The $\ll^2$-basis theorem…
This paper presents a reverse mathematical analysis of several forms of the sorites paradox. We first illustrate how traditional formulations are reliant on H\"older's Representation Theorem for ordered Archimedean groups. While this is…
We study the notions of weak rational ergodicity and rational weak mixing as defined by Jon Aaronson. We prove that various families of infinite measure-preserving rank-one transformations possess (or do not posses) these properties, and…
We consider the Arveson-Douglas conjecture on the essential normality of homogeneous submodules corresponding to algebraic subvarieties of the unit ball. We prove that the property of essential normality is preserved by isomorphisms between…
We introduce the definability strength of combinatorial principles. In terms of definability strength, a combinatorial principle is strong if solving a corresponding combinatorial problem could help in simplifying the definition of a…
We call \emph{Alphabet model} a generalization to N types of particles of the classic ABC model. We have particles of different types stochastically evolving on a one dimensional lattice with an exchange dynamics. The rates of exchange are…
We prove the equivariant divergence formula for the axiom A flow attractors, which is a recursive formula for perturbation of transfer operators of physical measures along center-unstable manifolds. Hence the linear response acquires an…
Ramsey's theorem for $n$-tuples and $k$-colors ($\mathsf{RT}^n_k$) asserts that every k-coloring of $[\mathbb{N}]^n$ admits an infinite monochromatic subset. We study the proof-theoretic strength of Ramsey's theorem for pairs and two…
I present an inverse function theorem for differentiable maps between Frechet spaces which contains the classical theorem of Nash and Moser as a particular case. In contrast to the latter, the proof does not rely on the Newton iteration…