Related papers: Monotone hulls for N cap M
In some particular cases we give criteria for morphic sequences to be almost periodic (=uniformly recurrent). Namely, we deal with fixed points of non-erasing morphisms and with automatic sequences. In both cases a polynomial-time algorithm…
We study the factorial divergences of Euclidean $\phi^3_5$, a problem with connections both to high-energy multiparticle scattering in d=4 and to d=3 (or high-temperature) gauge theory, which like $\phi^3_5$ is infrared-unstable and…
We determine the parametric hull of a given volume which minimizes the total water resistance for a given speed of the ship. The total resistance is the sum of Michell's wave resistance and of the viscous resistance, approximated by…
Borel separation rank of an analytic ideal $\mathcal{I}$ on $\omega$ is the minimal ordinal $\alpha<\omega_{1}$ such that there is $\mathcal{S}\in\bf{\Sigma^0_{1+\alpha}}$ with $\mathcal{I}\subseteq \mathcal{S}$ and $\mathcal{I}^\star\cap…
We prove the Conley conjecture for negative monotone, closed symplectic manifolds, i.e., the existence of infinitely many periodic orbits for Hamiltonian diffeomorphisms of such manifolds.
There is a renewed interest in weak model sets due to their connection to $\mathcal B$-free systems, which emerged from Sarnak's program on the M\"obius disjointness conjecture. Here we continue our recent investigation [arXiv:1511.06137]…
In this paper we introduce a hydra battle. Each hydra will eventually die out, but the fact is not provable in a set theory with urelements of natural numbers and the assumption that `there exists an uncountable regular ordinal'.
In this paper, we extend a result of Eisenbud-Reeves-Totaro in the frame of ideals of Borel type. As a consequence, we obtain a linear upper bound for the regularity of a new class of ideals, called $\mathcal D$-fixed ideals.
Fix $c\in (1,23/22)$. Let $\alpha$ and $\beta$ be two distinct non-zero real numbers with $|\alpha|\neq |\beta|$. It is shown that for any measure preserving system $(X,\mathcal{X},\mu,T)$ and any $f,g\in L^{\infty}(\mu)$, the limit…
We introduce two tools, dynamical thickening and flow selectors, to overcome the infamous discontinuity of the gradient flow endpoint map near non-degenerate critical points. More precisely, we interpret the stable fibrations of certain…
In this paper, we study the mixed-integer nonlinear set given by a separable quadratic constraint on continuous variables, where each continuous variable is controlled by an additional indicator. This set occurs pervasively in optimization…
We prove homological stability for two different flavours of asymptotic monopole moduli spaces, namely moduli spaces of framed Dirac monopoles and moduli spaces of ideal monopoles. The former are Gibbons-Manton torus bundles over…
We show that there is a set which is not a set of multiple recurrence despite being a set of recurrence for nil-Bohr sets. This answers Huang, Shao, and Ye's \enquote{higher-order} version of Katznelson's Question on Bohr recurrence and…
We develop a forcing poset with finite conditions which adds a partial square sequence on a given stationary set, with adequate sets of models as side conditions. We then develop a kind of side condition product forcing for simultaneously…
Using Perron-Frobenius theorem, we prove that the results by Wilkin, Gunn and Smith [1] for the ground states of N Bose atoms rotating at the angular momentum L in a harmonic atomic trap with frequency omega interacting via attractive…
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $\omega_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not…
The Monotone Upper Bound Problem asks for the maximal number M(d,n) of vertices on a strictly-increasing edge-path on a simple d-polytope with n facets. More specifically, it asks whether the upper bound M(d,n)<=M_{ubt}(d,n) provided by…
We consider an initial data set having a continuous symmetry and a marginally outer trapped surface (MOTS) that is not preserved by this symmetry. We show that such a MOTS is unstable except in an exceptional case. In non-rotating cases we…
We discuss the Mordell-Weil sieve as a general technique for proving results concerning rational points on a given curve. In the special case of curves of genus 2, we describe quite explicitly how the relevant local information can be…
For any abelian Polish sigma-compact group H there exist a sigma-ideal Z over N and a Borel Z-approximate homomorphism f : H --> H^N which is not Z-approximable by a continuous true homomorphism g : H --> H^N.