Related papers: Dominating the Erdos-Moser theorem in reverse math…
We give a short proof of a sumset conjecture of Erd\"os, recently proved by Moreira, Richter and Robertson: every subset of the integers of positive density contains the sum of two infinite sets. The proof is written in the framework of…
The reversible context 2 in KAM theory refers to the situation where dim Fix G < (1/2) codim T, here Fix G is the fixed point manifold of the reversing involution G and T is the invariant torus one deals with. Up to now, the persistence of…
A cornerstone result of Erd\H os, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in $\mathbb{Z}/n$ contains a zero-sum subsequence of length $n$. While algebraic techniques have predominated in deriving many deep…
We study a stability property of probability laws with respect to small violations of algorithmic randomness. A sufficient condition of stability is presented in terms of Schnorr tests of algorithmic randomness. Most probability laws, like…
A classical result of Halmos asserts that among measure preserving transformations the weak mixing property is generic. We extend Halmos' result to the collection of ergodic extensions of a fixed, but arbitrary, ergodic transformation…
Adversarial attacks can deceive neural networks by adding tiny perturbations to their input data. Ensemble defenses, which are trained to minimize attack transferability among sub-models, offer a promising research direction to improve…
We show that for any finite-dimensional quantum systems the conserved quantities can be characterized by their robustness to small perturbations: for fragile symmetries small perturbations can lead to large deviations over long times, while…
A famous theorem of Szemer\'edi asserts that given any density $0 < \delta \leq 1$ and any integer $k \geq 3$, any set of integers with density $\delta$ will contain infinitely many proper arithmetic progressions of length $k$. For general…
The equality $(\mc{A}\n\mc{B})^\dagger = \mc{B}^\dagger \n \mc{A}^\dagger$ for any two complex tensors $\mc{A}$ and $\mc{B}$ of arbitrary order, is called as the {\it reverse-order law} for the Moore-Penrose inverse of arbitrary order…
We calibrate the reverse mathematical strength of a family of extensions of Ramsey's theorem to finite colorings of certain subsets of the natural numbers of unbounded finite dimension. Specifically, we analyze the principles…
We study a nonconventional ergodic average for asymptotically abelian weakly mixing C*-dynamical systems, related to a second iteration of Khintchine's recurrence theorem obtained by Bergelson in the measure theoretic case. A noncommutative…
The Erd\H{o}s-Hajnal Conjecture states that for every $H$ there exists a constant $\epsilon(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least…
The principle $ADS$ asserts that every linear order on $\omega$ has an infinite ascending or descending sequence. This has been studied extensively in the reverse mathematics literature, beginning with the work of Hirschfeldt and Shore. We…
A function is diagonally non-computable (d.n.c.) if it diagonalizes against the universal partial computable function. D.n.c. functions play a central role in algorithmic randomness and reverse mathematics. Flood and Towsner asked for which…
For the undamped Kepler potential the lack of precession has historically been understood in terms of the Runge-Lenz symmetry. For the damped Kepler problem this result may be understood in terms of the generalization of Poisson structure…
We show that Ramsey theory, a domain presently conceived to guarantee the existence of large homogeneous sets for partitions on k-tuples of words (for every natural number k) over a finite alphabet, can be extended to one for partitions on…
We prove an abstract Nash-Moser implicit function theorem which, when applied to control and Cauchy problems for PDEs in Sobolev class, is sharp in terms of the loss of regularity of the solution of the problem with respect to the data. The…
Embedded random matrix ensembles are generic models for describing statistical properties of finite isolated interacting quantum many-particle systems. For the simplest spinless systems, with say $m$ particles in $N$ single particle states…
We explore the properties of non-piecewise syndetic sets with positive upper density, which we call "discordant", in countably infinite amenable (semi)groups. Sets of this kind are involved in many questions of Ramsey theory and manifest…
In a previous work (arXiv:0902.3750 [hep-th]) we studied the world-sheet conformal invariance for superstrings in type IIB R-R plane-wave in semi-light-cone gauge. Here we give further justification to the results found in that work through…