相关论文: A lower bound on Gowers' FIN_k theorem

The main result of this paper is a functional limit theorem for the sine-process. In particular, we study the limit distribution, in the space of trajectories, for the number of particles in a growing interval. The sine-process has the…

This work is motivated by the problem of finding the limit of the applicability of the first incompleteness theorem ($\sf G1$). A natural question is: can we find a minimal theory for which $\sf G1$ holds? We examine the Turing degree…

Geoffrion's theorem is a fundamental result from mathematical programming assessing the quality of Lagrangian relaxation, a standard technique to get bounds for integer programs. An often implicit condition is that the set of feasible…

We analyze Ekeland's variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $\Pi^1_1$-${\sf CA}_0$, a strong theory of second-order arithmetic, while natural…

An abstract version of Galvin's lemma is proven, within the framework of the theory of Ramsey spaces. Some instances of it are explored.

We show a short proof of Higman's lemma using Friedman's adjacent Ramsey theorem for pairs. This provides an alternative proof of the known upper bound for the reverse mathematical status of Higman's lemma and that of its miniaturised…

In special relativity a gyroscope that is suspended in a torque-free manner will precess as it is moved along a curved path relative to an inertial frame S. We explain this effect, which is known as Thomas precession, by considering a real…

We prove the following version generalization of the Gronwall inequality: Let $\mathbf X$ be a Banach space and $U\subset \mathbf X$ an open convex set in $\mathbf X$. Let $f,g\colon [a,b]\times U\to \mathbf X$ be continuous functions and…

(This text is a survey written for the Bourbaki seminar on the work of F. Manners.) Gowers uniformity norms are the central objects of higher order Fourier analysis, one of the cornerstones of additive combinatorics, and play an important…

We derive a discrete version of the stochastic Gronwall Lemma found in [Scheutzow, IDAQP, 2013]. The proof is based on a corresponding deterministic version of the discrete Gronwall Lemma and an inequality bounding the supremum in terms of…

In this note we announce the proof of the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s => 3; this is new for s => 4, the cases s = 1,2,3 having been previously established. More precisely we outline a proof (details of which…

Given a Finsler space, we introduce a system of partial differential equations, called the Landsberg equation. Based on a careful analysis of the Landsberg equation and the observation that the solution space is invariant under the linear…

When the Canonical Ramsey's Theorem by Erd\H{o}s and Rado is applied to regressive functions one obtains the Regressive Ramsey's Theorem by Kanamori and McAloon. Taylor proved a "canonical" version of Hindman's Theorem, analogous to the…

The Gromoll-Meyer's generalized Morse lemma (so called splitting lemma) near degenerate critical points on Hilbert spaces, which is one of key results in infinite dimensional Morse theory, is usually stated for at least $C^2$-smooth…

The Cram\'er-Granville conjecture is an upper bound on prime gaps, $g_n = p_{n+1} - p_n < \cCramer \, \log^2 p_n$ for some constant $\cCramer \geq 1$. Using a formula of Selberg, we first prove the weaker summed version: $\sum_{n=1}^N g_n <…

The system of undetermined coefficients of a bifurcation problem G[z]=0 in Banach spaces is investigated for proving the existence of families of solution curves by use of the implicit function theorem. The main theorem represents an…

A number of landmark existence theorems of nonlinear functional analysis follow in a simple and direct way from the basic separation of convex closed sets in finite dimension via elementary versions of the Knaster-Kuratowski-Mazurkiewicz…

Gowers introduced the notion of uniformity norm $\|f\|_{U^k(G)}$ of a bounded function $f:G\rightarrow\mathbb{R}$ on an abelian group $G$ in order to provide a Fourier-theoretic proof of Szemeredi's Theorem, that is, that a subset of the…

We give an alternative proof of W. T. Gowers' theorem on block bases by reducing it to a discrete analogue on specific countable nets. We also give a Ramsey type result on k-tuples of block sequences in a normed linear space with a Schauder…

Restriction is a natural quasi-order on $d$-way tensors. We establish a remarkable aspect of this quasi-order in the case of tensors over a fixed finite field -- namely, that it is a well-quasi-order: it admits no infinite antichains and no…