Related papers: A lower bound on Gowers' FIN_k theorem

Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman…

Let $\{ G_n\}_{n\in\w}$ be a closed tower of metrizable groups. Under a mild condition called $(GC)$ and which is strictly weaker than $PTA$ condition introduced in [22], we show that: (1) the inductive limit…

A key result in four dimensional black hole physics, since the early 1970s, is Hawking's topology theorem asserting that the cross-sections of an "apparent horizon", separating the black hole region from the rest of the spacetime, are…

This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence…

In this paper, we prove the existence of fixed points of mappings satisfying the condition (Da), a kind of generalized nonexpansive mappings, on a weakly compact convex subset in a Banach space satisfying Opial's condition. And we use…

We extend the definition of the bivariant $K$-theory $kk^{ban}$ from plain Banach algebras to Banach algebras equipped with an action of a locally compact Hausdorff group $G$. We also define a natural transformation from Lafforgue's theory…

The von Weizs\"{a}cker theorem states that every sequence of nonnegative random variables has a subsequence which is Ces\`{a}ro convergent to a nonnegative random variable which might be infinite. The goal of this note is to provide a…

There has been considerable interest in a recent preprint - arXiv/1407.3194 - describing an effect named as the Quantum Pigeonhole Principle. The classical pigeonhole principle (classical PHP) refers to a result in number theory which…

The proof, but not the statement, of Proposition 18.2 contained an error which is repaired in this version. See Remark 18.3 in this version. No other changes. We extend Greenberg's original construction to arbitrary (in particular,…

The aim of this paper is to obtain the existence of unique solution to nonlinear Cauchy-type problem. We consider the implicit nonlinear Cauchy-type problem with $\psi$-Hilfer fractional derivative. The Banach fixed point theorem is used to…

The Poincar\'e-Hopf Theorem is a conservation law for real-analytic vector fields, which are tangential to a closed surface (such as a torus or a sphere). The theorem also governs real-analytic vector fields, which are tangential to…

Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman…

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…

The central dogma of black hole physics -- which says that from the outside a black hole can be described in terms of a quantum system with exp$(\text{Area}/4G_N)$ states evolving unitarily -- has recently been supported by computations…

We will prove that $R_k(k+1,k+1)\geq 4 tw_{\lfloor k/4\rfloor -3}(2)$, where $tw$ is the tower function defined by ${tw}_1(x)=x$ and ${tw}_{i+1}(x)=2^{{tw}_i(x)}$. We also give proofs of $R_k(k+1,k+2)\geq 4 tw_{k-7}(2)$, $R_k(k+1,2k+1)\geq…

Let $(\{f_j\}_{j=1}^n, \{\tau_j\}_{j=1}^n)$ and $(\{g_k\}_{k=1}^n, \{\omega_k\}_{k=1}^n)$ be two p-orthonormal bases for a finite dimensional Banach space $\mathcal{X}$. Let $M,N\subseteq \{1, \dots, n\}$ be such that \begin{align*}…

This paper systematically studies the subset of continuous linear functionals on the projective tensor product of Banach spaces whose norms are bounded by Grothendieck's constant $K_G$. We term such functionals Grothendieck functional…

Using the Feynman-Kac and Cameron-Martin-Girsanov formulas, we obtain a generalized integral fluctuation theorem (GIFT) for discrete jump processes by constructing a time-invariable inner product. The existing discrete IFTs can be derived…

The objective of this paper is to give alternative proofs for the symmetric Poincar\'e-Birkhoff-Witt theorem utilizing the Magnus recursion formulae or Dynkin's non-commutative polynomial comparison method and simple universal algebraic…

We establish an in-in formalism for geodesic deviation as an alternative to Synge calculus, based on a covariant calculus of differential forms in tangent bundle. This derives the exact Lagrangian and equations governing the finite geodesic…