Related papers: Saturation of Rota's basis conjecture

We present the first results on the saturation of the f-mode instability in neutron stars, due to nonlinear mode coupling. Emission of gravitational waves drives the f-mode (fundamental mode) unstable in fast-rotating, newborn neutron…

We study a new type of normal form at a critical point of an analytic Hamiltonian. Under a Bruno condition on the frequency, we prove a convergence statement to the normal form. Using this result, we prove the Herman invariant tori…

We study the question for which commutative ring spectra $A$ the tensor of a simplicial set $X$ with $A$, $X \otimes A$, is a stable invariant in the sense that it depends only on the homotopy type of $\Sigma X$. We prove several structural…

Kolmogorov's invariant torus theorem is proved using a simple fixed point theorem.

We prove an asymptotic formula conjectured by Manin for the number of $K$-rational points of bounded height with respect to the anticanonical line bundle for arbitrary smooth projective toric varieties over a number field $K$.

We consider a typical integration of induction in saturation-based theorem provers and investigate the effects of Skolem symbols occurring in the induction formulas. In a practically relevant setting we establish a Skolem-free…

We present a new geometric proof of Stanley's monotonicity theorem for lattice polytopes, using an interpretation of $\delta$-polynomials of lattice polytopes in terms of orbifold Chow rings.

A partition is a $t$-core partition if $t$ is not one of its hook lengths. Let $c_t(N)$ be the number of $t$-core partitions of $N$. In 1999, Stanton conjectured $c_t(N) \le c_{t+1}(N)$ if $4 \le t \ne N-1$. This was proved for $t$ fixed…

We consider a rational map f:S->S of a complex projective surface together with an invariant meromorphic two form. Under a mild topological assumption on the map, we show that the zeroes of the invariant form can be eliminated by birational…

This paper combines the decomposition technique ($\sigma$-stability) in random functional analysis with the deterministic theory of asymptotically pointwise contractions to provide a complete self-contained derivation of a fixed point…

Most of the information we have about the internal rotation of stars comes from modes that are weakly affected by rotation, for example by using rotational splittings. In contrast, we present here a method, based on the asymptotic theory of…

The nonlinear saturation of the tearing mode is revisited in slab geometry by taking into account higher-order harmonics in the outer solution. The general formalism for tackling this problem in the case of a vanishing current gradient at…

We consider the compactification of Matrix theory on tori with background antisymmetric tensor field. Douglas and Hull have recently discussed how noncommutative geometry appears on the tori. In this paper, we demonstrate the concrete…

We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations…

The saturation of the tearing mode instability is described within the standard framework of reduced magnetohydrodynamics (RMHD) in the case of an $r$-dependent or of a uniform resistivity profile. Using the technique of matched asymptotic…

The estimation of local characteristics of Ito semimartingales has received a great deal of attention in both academia and industry over the past decades. In various papers limit theorems were derived for functionals of increments and…

This work gives an explicit exact expression for the Thomas precession arising in the framework of Special Theory of Relativity as the spatial rotation resulting from two subsequence Lorentz boosts. The final result for the orthogonal…

We give a short proof that Strassen's asymptotic rank conjecture implies that for every $\varepsilon > 0$ there exists a $(3/2^{2/3} + \varepsilon)^n$-time algorithm for set cover on a universe of size $n$ with sets of bounded size. This…

We establish the asymptotic expansion in $\beta$ matrix models with a confining, off-critical potential, in the regime where the support of the equilibrium measure is a union of segments. We first address the case where the filling…

We prove that, if $B_1, \dots, B_n$ are disjoint bases of a rank-$n$ matroid, then there are at least $\lfloor{\frac{n}{6 \lceil{\log n}\rceil}}\rfloor$ disjoint transversals of $(B_1, \dots, B_n)$ that are also bases.