Related papers: Proof mining in $L^p$ spaces

The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive systems, but also, more generally, when dealing with systems…

It is shown that a Banach space admits an equivalent norm whose modulus of uniform convexity has power-type p if and only if it is Markov p-convex. Counterexamples are constructed to natural questions related to isomorphic uniform convexity…

We give a positive solution for the hyperplane conjecture of quotient spaces F of $L_p$, where $1<p\kll\infty$. \[ vol(B_F)^{\frac{n-1}{n}} \kl c_0 \pl p' \pl \sup_{H \p hyperplane} vol(B_F\cap H) \pl.\] This result is extended to Banach…

We present a short, direct proof of the uniform convexity of L^p spaces for 1<p<\infty.

Viewing formal mathematical proofs as logical terms provides a powerful and elegant basis for analyzing how human experts tend to structure proofs and how proofs can be structured by automated methods. We pursue this approach by (1)…

We review various characterizations of uniform convexity and smoothness on norm balls in finite-dimensional spaces and connect results stemming from the geometry of Banach spaces with \textit{scaling inequalities} used in analysing the…

Formally verifying the correctness of mathematical proofs is more accessible than ever, however, the learning curve remains steep for many of the state-of-the-art interactive theorem provers (ITP). Deriving the most appropriate subsequent…

We extend the constructive dependent type theory of the Logical Framework $\mathsf{LF}$ with monadic, dependent type constructors indexed with predicates over judgements, called Locks. These monads capture various possible proof attitudes…

In this research we introduce the Banach space valued $H^p$ spaces with $A_p$ weight, and prove the following results: Let $\mathbb{A}$ and $\mathbb{B}$ Banach spaces, and $T$ be a convolution operator mapping $\mathbb{A}$-valued functions…

The purpose of this note is to present two elementary, but useful, facts concerning actions on uniformly convex spaces. We demonstrate how each of them can be used in an alternative proof of the triviality of the first $L_p$-cohomology of…

In the current work, we propose a generalization of angles and orthogonality from $L^2$ to generic Banach spaces, starting from a $L^p$ version of the Pythagorean theorem, $p\in [1,\infty)$. The starting point is conservation of energy…

The emergence of tools based on artificial intelligence has also led to the need of producing explanations which are understandable by a human being. In most approaches, the system is considered a black box, making it difficult to generate…

There are several characterizations of coarse embeddability of a discrete metric space into a Hilbert space. In this note we give such characterizations for general metric spaces. By applying these results to the spaces $L_p(\mu)$, we get…

We prove that any convex-like structure in the sense of Nate Brown is affinely and isometrically isomorphic to a closed convex subset of a Banach space. This answers an open question of Brown. As an intermediate step, we identify Brown's…

Let $1\le p\le q<\infty$ and let $X$ be a $p$-convex Banach function space over a $\sigma$-finite measure $\mu$. We combine the structure of the spaces $L^p(\mu)$ and $L^q(\xi)$ for constructing the new space $S_{X_p}^{\,q}(\xi)$, where…

The Banach space $L^p(X,\mu)$, for $X$ a compact Hausdorff measure space, is considered as a special kind of quasi *-algebra (called CQ*-algebra) over the C*-algebra $C(X)$ of continuous functions on $X$. It is shown that, for $p \geq 2$,…

We use the Gowers block Ramsey theorem to characterize Banach spaces containing isomorphs of $\ell_p$ (for some $1 \leq p < \infty$) or $c_0$.

Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_\alpha\}_{\alpha\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1)…

We prove that, given any covering of any separable infinite-dimensional uniformly rotund and uniformly smooth Banach space $X$ by closed balls each of positive radius, some point exists in $X$ which belongs to infinitely many balls.

A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…