BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Ulrich Kohlenbach

Ulrich Kohlenbach contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.FAmath.CAmath.DSmath.OC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2022arXiv

R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces

We analyze a proof of Bruck to obtain an explicit rate of asymptotic regularity for Cesàro means in uniformly convex Banach spaces. Our rate will only depend on a norm bound and a modulus $η$ of uniform convexity. One ingredient for the proof by Bruck is a result of Pisier, which shows that every uniformly convex (in fact every uniformly nonsquare) Banach space has some Rademacher type $q>1$ with a suitable constant $C_q$. We explicitly determine $q$ and $C_q$, which only depend on the single value $η(1)$ of our modulus. Beyond these specific results, we summarize how work of Bruck has inspired developments in the proof mining program, which applies tools from logic to obtain results in various areas of mathematics.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Quantitative translations for viscosity approximation methods in hyperbolic spaces

In the setting of hyperbolic spaces, we show that the convergence of Browder-type sequences and Halpern iterations respectively entail the convergence of their viscosity version with a Rakotch map. We also show that the convergence of a hybrid viscosity version of the Krasnoselskii-Mann iteration follows from the convergence of the Browder type sequence. Our results follow from proof-theoretic techniques (proof mining). From an analysis of theorems due to T. Suzuki, we extract a transformation of rates for the original Browder type and Halpern iterations into rates for the corresponding viscosity versions. We show that these transformations can be applied to earlier quantitative studies of these iterations. From an analysis of a theorem due to H.-K. Xu, N. Altwaijry and S. Chebbi, we obtain similar results. Finally, in uniformly convex Banach spaces we study a strong notion of accretive operator due to Brezis and Sibony and extract an uniform modulus of uniqueness for the property of being a zero point. In this context, we show that it is possible to obtain Cauchy rates for the Browder type and the Halpern iterations (and hence also for their viscosity versions).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Rates of convergence for iterative solutions of equations involving set-valued accretive operators

This paper studies proofs of strong convergence of various iterative algorithms for computing the unique zeros of set-valued accretive operators that also satisfy some weak form of uniform accretivity at zero. More precisely, we extract explicit rates of convergence from these proofs which depend on a modulus of uniform accretivity at zero, a concept first introduced by A. Koutsoukou-Argyraki and the first author in 2015. Our highly modular approach, which is inspired by the logic-based proof mining paradigm, also establishes that a number of seemingly unrelated convergence proofs in the literature are actually instances of a common pattern.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The finitary content of sunny nonexpansive retractions

We use techniques of proof mining to extract a uniform rate of metastability (in the sense of Tao) for the strong convergence of approximants to fixed points of uniformly continuous pseudocontractive mappings in Banach spaces which are uniformly convex and uniformly smooth, i.e. a slightly restricted form of the classical result of Reich. This is made possible by the existence of a modulus of uniqueness specific to uniformly convex Banach spaces and by the arithmetization of the use of the limit superior. The metastable convergence can thus be proved in a system which has the same provably total functions as first-order arithmetic and therefore one may interpret the resulting proof in Gödel's system $T$ of higher-type functionals. The witness so obtained is then majorized (in the sense of Howard) in order to produce the final bound, which is shown to be definable in the subsystem $T_1$. This piece of information is further used to obtain rates of metastability to results which were previously only analyzed from the point of view of proof mining in the context of Hilbert spaces, i.e. the convergence of the iterative schemas of Halpern and Bruck.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Effective metastability of Halpern iterates in CAT(0) spaces

This paper provides an effective uniform rate of metastability (in the sense of Tao) on the strong convergence of Halpern iterations of nonexpansive mappings in CAT(0) spaces. The extraction of this rate from an ineffective proof due to Saejung is an instance of the general proof mining program which uses tools from mathematical logic to uncover hidden computational content from proofs. This methodology is applied here for the first time to a proof that uses Banach limits and hence makes a substantial reference to the axiom of choice.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On Tao's "finitary" infinite pigeonhole principle

In 2007, Terence Tao wrote on his blog an essay about soft analysis, hard analysis and the finitization of soft analysis statements into hard analysis statements. One of his main examples was a quasi-finitization of the infinite pigeonhole principle IPP, arriving at the &#34;finitary&#34; infinite pigeonhole principle FIPP1. That turned out to not be the proper formulation and so we proposed an alternative version FIPP2. Tao himself formulated yet another version FIPP3 in a revised version of his essay. We give a counterexample to FIPP1 and discuss for both of the versions FIPP2 and FIPP3 the faithfulness of their respective finitization of IPP by studying the equivalences IPP <-> FIPP2 and IPP <-> FIPP3 in the context of reverse mathematics. In the process of doing this we also introduce a continuous uniform boundedness principle CUB as a formalization of Tao&#39;s notion of a correspondence principle and study the strength of this principle and various restrictions thereof in terms of reverse mathematics, i.e., in terms of the &#34;big five&#34; subsystems of second order arithmetic.

0 citations0 reviewsNo code linkedOpen access