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

The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program semantics. This paper explains a formalization in the Coq proof assistant of a monad equipped with…

In this article, we first try to make the known analogy between convexity and plurisubharmonicity more precise. Then we introduce a notion of strict plurisubharmonicity analogous to strict convexity, and we show how this notion can be used…

For 1 ≤ p < ∞, it is known that the set K^*_p contains of all Lambert multipliers acting between L^p-spaces is a Banach space. In this study, we introduce a new induced norm by conditional expectation operators to show that K^*_p is a…

Many of the known complemented subspaces of L_p have realizations as sequence spaces. In this paper a systematic approach to defining these spaces which uses partitions and weights is introduced. This approach gives a unified description of…

We prove implicit function theorems for mappings on topological vector spaces over valued fields. In the real and complex cases, we obtain implicit function theorems for mappings from arbitrary (not necessarily locally convex) topological…

When optimization theorists consider optimization problems in infinite dimensional spaces, they need to deal with closed convex subsets(usually cones) which mostly have empty interior. These subsets often prevent optimization theorists from…

In this paper structure of infinite dimensional Banach spaces is studied by using an asymptotic approach based on stabilization at infinity of finite dimensional subspaces which appear everywhere far away. This leads to notions of…

In this paper we apply methods of proof mining to obtain a highly uniform effective rate of asymptotic regularity for the Ishikawa iteration associated to nonexpansive self-mappings of convex subsets of a class of uniformly convex geodesic…

We study linear control systems in infinite--dimensional Banach spaces governed by analytic semigroups. For $p\in[1,\infty]$ and $\alpha\in\RR$ we introduce the notion of $L^p$--admissibility of type $\alpha$ for unbounded observation and…

We survey discrete and continuous model-theoretic notions which have important connections to general topology. We present a self-contained exposition of several interactions between continuous logic and $C_p$-theory which have applications…

The paper makes the first steps into the study of extensions ("twisted sums") of noncommutative $L^p$-spaces regarded as Banach modules over the underlying von Neumann algebra $\mathcal M$. Our approach combines Kalton's description of…

We establish an explicit characterisation of L\'evy measures on both $L^p$-spaces and UMD Banach spaces. In the case of $L^p$-spaces, L\'evy measures are characterised by an integrability condition, which directly generalises the known…

Argument mining is natural language processing technology aimed at identifying arguments in text. Furthermore, the approach is being developed to identify the premises and claims of those arguments, and to identify the relationships between…

Let $G$ be a finitely generated, infinite group, let $p>1$, and let $L^p(G)$ denote the Banach space $\{\sum_{x\in G} a_xx \mid \sum_{x\in G} |a_x |^p < \infty \}$. In this paper we will study the first cohomology group of $G$ with…

The aim of this paper is to present a tool used to show that certain Banach spaces can be endowed with $C^k$ smooth equivalent norms. The hypothesis uses particular countable decompositions of certain subsets of $B_{X^*}$, namely…

One of the main methods for computational interpretation of a text is mapping it into a vector in some embedding space. Such vectors can then be used for a variety of textual processing tasks. Recently, most embedding spaces are a product…

We introduce stronger versions of the usual notions of martingale type p <= 2 and cotype q >= 2 of a Banach space X and show that these concepts are equivalent to uniform p-smoothness and q-convexity, respectively. All these are metric…

We use the compactness theorem of continuous logic to give a new proof that $L^r([0,1]; \mathbb{R})$ isometrically embeds into $L^p([0,1]; \mathbb{R})$ whenever $1 \leq p \leq r \leq 2$. We will also give a proof for the complex case. This…

Over extended systems of finite type arithmetic, we utilize a formal representation of the outer measure to define a translation which allows for the systematic formalization of probabilistic statements. As a main result, this translation…

We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof…