Related papers: Dominating the Erdos-Moser theorem in reverse math…
The current paper is devoted to the investigation of the general form of the energy-momentum pseudotensor (pEMT) and the corresponding superpotential for the wide class of theories. The only requirement for such a theory is the general…
A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on $\Z/N\Z$ introduced by Gowers in his proof of Szemer\'edi's…
In this paper we study a new ideal $\mathcal{WR}$. The main result is the following: an ideal is not weakly Ramsey if and only if it is above $\mathcal{WR}$ in the Kat\v{e}tov order. Weak Ramseyness was introduced by Laflamme in order to…
Deviation of ergodic sums is studied for substitution dynamical systems with a matrix that admits eigenvalues of modulus 1. We consider the corresponding eigenfunctions, and in Theorem 1.1 we prove that the limit inferior of the ergodic…
We show that Kelley-Morse set theory does not prove the class Fodor principle, the assertion that every regressive class function $F:S\to\text{Ord}$ defined on a stationary class $S$ is constant on a stationary subclass. Indeed, it is…
We study the problem on the weak-star decomposability of a topological $\mathbb{N}_{0}$-dynamical system $(\Omega,\varphi)$, where $\varphi$ is an endomorphism of a metric compact set $\Omega$, into ergodic components in terms of the…
Several recent results provide theoretical insights into the phenomena of adversarial examples. Existing results, however, are often limited due to a gap between the simplicity of the models studied and the complexity of those deployed in…
A conjecture of Alon, Pach and Solymosi, which is equivalent to the celebrated Erd\H{o}s-Hajnal Conjecture, states that for every tournament $S$ there exists $\epsilon(S)>0$ such that if $T$ is an $n$-vertex tournament that does not…
This work studies existence and regularity questions for attracting invariant tori in three dimensional dissipative systems of ordinary differential equations. Our main result is a constructive method of computer assisted proof which…
We present a fully extrinsic, parametrization-free variant of tensor calculus on embedded, possibly evolving, submanifolds with boundary in arbitrary dimension and codimension. The proposed approach is component-free and, for general rank…
The Ginsburg--Sands theorem from topology states that every infinite topological space has an infinite subspace homeomorphic to exactly one of the following five topologies on $\omega$: indiscrete, discrete, initial segment, final segment,…
We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any…
Let $\mathcal{S} = \{ \tau_n \}_{n=1}^\infty \subset (0,T)$ be an arbitrary countable (dense) set. We show that for any given initial density and momentum, the compressible Euler system admits (infinitely many) admissible weak solutions…
The paper studies continutity of Moser nonlinearity in two dimensions with respect to weak convergence. Unlike the critical nonlinearity in the Sobolev inequality, which lacks weak continuity at any point, Moser functional fails to be…
A very nice result of B\'ar\'any and Lehel asserts that every finite subset $X$ or $\mathbb R^d$ can be covered by $f(d)$ $X$-boxes (i.e. each box has two antipodal points in $X$). As shown by Gy\'arf\'as and P\'alv\H{o}lgyi this result…
The Abraham--Minkowski momentum controversy is the outwardly visible symptom of an inconsistency in the use of the energy-momentum tensor in the case of a plane quasimonochromatic field in a simple linear dielectric. We show that the Gordon…
In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on on how to weaken the assumption while preserving the conclusion. A main cause of…
In this paper we study ergodic backward stochastic differential equations (EBSDEs) dropping the strong dissipativity assumption needed in the previous work. In other words we do not need to require the uniform exponential decay of the…
We prove a strong version of quantum ergodicity for linear hyperbolic maps of the torus (``cat maps''). We show that there is a density one sequence of integers so that as N tends to infinity along this sequence, all eigenfunctions of the…
We develop a theory of ergodicity for a class of random dynamical systems where the driving noise is not white. The two main tools of our analysis are the strong Feller property and topological irreducibility, introduced in this work for a…