Seminário de Lógica Matemática

On the Halpern method with adaptive anchoring parameters

Videoconferência

Por Pedro Pinto (Technische Universität Darmstadt).

In this talk, I will present a proof mining analysis of a recent result by He, Xu, Dong, and Mei [1], which introduces an accelerated version of the Halpern iteration with adaptively chosen anchoring parameters. Our quantitative study extends the convergence result from its original framework in Hilbert spaces to the broader nonlinear setting of Hadamard spaces. This generalization is achieved through a combination of certain optimizations and the elimination of weak compactness arguments, enabling the extraction of simple rates of metastability and fast rates of asymptotic regularity. This talk reports on recent joint work with Nicholas Pischke.

References:

  • [1] S. He, H.-K. Xu, Q.-L. Dong, and N. Mei. Convergence analysis of the Halpern iteration with adaptive anchoring parameters. Mathematics of Computation, 93:327–345, 2024.
  • [2] P. Pinto, and N. Pischke. On the Halpern method with adaptive anchoring parameters. Oberwolfach Preprint OWP-2024-11, 2024.
  • [3] U. Kohlenbach. Some logical metatheorems with applications in functional analysis. Transactions of the American Mathematical Society, 357(1):89–128, 2005.
  • [4] U. Kohlenbach. Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Springer Monographs in Mathematics. Springer-Verlag Berlin Heidelberg, 2008.
  • [5] F. Ferreira, L. Leuștean, and P. Pinto. On the removal of weak compactness arguments in proof mining. Advances in Mathematics, 354, 2019. 106728.

Transmissão via Zoom (pw: 919 4789 5133). 

15h00
CEMS.UL - Centro de Estudos Matemáticos
Logótipo do projeto

Formação no âmbito da 22.ª edição do projeto "Observar e Aprender", com inscrições até 10 de fevereiro.

Seminário de Análise e Equações Diferenciais, por Mitchell A. Taylor (ETH Zurich).

Fotografia de João Paulo Dias

O Departamento de Matemática convida à participação neste evento especial de comemoração dos 80 anos do Professor João Paulo Dias, que reúne amigos e colaboradores do docente.

Mestrado em Bioestatística | Unidade Curricular: Seminário de Bioestatística - 2.º ano, 1.º semestre.

Título/data/local do evento e fotografia de livros abertos sobre uma mesa

A jornada de um mestrado ou doutoramento vai além dos desafios académicos - envolve também gerir emoções e lidar com pressões que podem impactar o desempenho e o bem-estar.

Título e datas de candidaturas aos prémios, sobre uma imagem abstrata

Candidaturas abertas até 14 de fevereiro - em 2025, serão atribuídos 26 Prémios e 52 Menções Honrosas.

Fotografia de Carlos Paredes

Concerto no âmbito do programa Música na Universidade de Lisboa.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

Consegue comunicar eficazmente a sua investigação de doutoramento em 3 minutos?

Título do curso, sobre uma fotografia do Large Hadron Collider

The objective of the course is to introduce the physics, analysis methods and results on the physics areas covered by the LHC experiments.

Seminário de Geometria e Física, por Alejandro Calleja (Univ. Complutense, Madrid).

A reunião, aberta a toda a comunidade estudantil, tem como objetivo esclarecer os mecanismos processuais de formalização de todas as realidades associativas existentes, a potencial criação de novas e a implementação e funcionamento futuros do FAC

Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).

Título/data/local do evento e fotografia do orador

Talk @DI, por Alex Davidson (DI/FCUL).

Banner do Dia do DEGGE 2025.

Um evento dedicado às três áreas de estudo do Dia do Departamento de Engenharia Geográfica, Geofísica e Energia: Engenharia da Energia e Ambiente; Meteorologia, Oceanografia e Geofísica; Engenharia Geoespacial.

Título/data do programa, logótipo da ULisboa e fotografia de jovem a ouvir música de olhos fechados

Uma introdução à prática de meditação onde vais aprender a gerir as tuas emoções, pensamentos e desenvolver um relacionamento saudável contigo e com os outros - inscrições até 21 de fevereiro.

Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).

Pormenor de pessoa sentada a ler um livro

Maiores de 50 anos - Candidaturas até 14 de fevereiro.

Título/data/local do evento e fotografia de vegetais

Workshop hands-on, dirigido a todos os estudantes da ULisboa.

Logótipo do evento

An annual event aimed to promote the research done by CIÊNCIAS Researchers in the field of Biotechnology, with a special emphasis on Blue and Green biotechnological solutions for a sustainable tomorrow.

NCPInTheHouse 2025

Registration on the workshop is free but mandatory - deadline: 24 February.

Se queres saber mais informações sobre os cursos de CIÊNCIAS, não deixes de participar!

Título "Bolsas Alumni Solidárias" e fotografia de grupo de alunos

As candidaturas decorrem até 28 de fevereiro.

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 4.º concurso decorre até 28 de fevereiro.

Pormenor de membro de orquestra

Concerto no âmbito do programa Música na Universidade de Lisboa.

Microplásticos em suspensão no oceano

O curso tem como objetivo dar formação sobre a problemática da contaminação por detritos de plástico dos nossos ecossistemas, bem como alertar para os potenciais efeitos deletérios nos organismos - candidaturas até 05 de fevereiro

Páginas