Oberwolfach Publications
http://publications.mfo.de:80
The DSpace digital repository system captures, stores, indexes, preserves, and distributes digital research material.Fri, 26 Jul 2024 23:56:56 GMT2024-07-26T23:56:56ZOberwolfach Publicationshttp://publications.mfo.de/themes/Mirage2/images/apple-touch-icon.png
http://publications.mfo.de:80
The Alternating Halpern-Mann Iteration for Families of Maps
http://publications.mfo.de/handle/mfo/4157
The Alternating Halpern-Mann Iteration for Families of Maps
Firmino, Paulo; Pinto, Pedro
We generalize the alternating Halpern-Mann iteration to countably infinite families of nonexpansive maps and prove its strong convergence towards a common fixed point in the general nonlinear setting of Hadamard spaces. Our approach is based on a quantitative perspective which allowed to circumvent prevalent troublesome arguments and in the end provide a simple convergence proof. In that sense, discussing both the asymptotic regularity and the strong convergence of the iteration in quantitative terms, we furthermore provide low complexity uniform rates of convergence and of metastability (in the sense of T. Tao). In CAT(0) spaces, we obtain linear and quadratic uniform rates of convergence. Our results are made possible by proof-theoretical insights of the research program proof mining and extend several previous theorems in the literature.
Mon, 15 Jul 2024 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41572024-07-15T00:00:00ZFirmino, PauloPinto, PedroWe generalize the alternating Halpern-Mann iteration to countably infinite families of nonexpansive maps and prove its strong convergence towards a common fixed point in the general nonlinear setting of Hadamard spaces. Our approach is based on a quantitative perspective which allowed to circumvent prevalent troublesome arguments and in the end provide a simple convergence proof. In that sense, discussing both the asymptotic regularity and the strong convergence of the iteration in quantitative terms, we furthermore provide low complexity uniform rates of convergence and of metastability (in the sense of T. Tao). In CAT(0) spaces, we obtain linear and quadratic uniform rates of convergence. Our results are made possible by proof-theoretical insights of the research program proof mining and extend several previous theorems in the literature.Proof Mining and the Convex Feasibility Problem : the Curious Case of Dykstra's Algorithm
http://publications.mfo.de/handle/mfo/4156
Proof Mining and the Convex Feasibility Problem : the Curious Case of Dykstra's Algorithm
Pinto, Pedro
In a recent proof mining application, the proof-theoretical analysis of Dykstra's cyclic projections algorithm resulted in quantitative information expressed via primitive recursive functionals in the sense of Gödel. This was surprising as the proof relies on several compactness principles and its quantitative analysis would require the functional interpretation of arithmetical comprehension. Therefore, a priori one would expect the need of Spector’s bar-recursive functionals. In this paper, we explain how the use of bounded collection principles allows for a modified intermediate proof justifying the finitary results obtained, and discuss the approach in the context of previous eliminations of weak compactness arguments in proof mining.
Mon, 15 Jul 2024 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41562024-07-15T00:00:00ZPinto, PedroIn a recent proof mining application, the proof-theoretical analysis of Dykstra's cyclic projections algorithm resulted in quantitative information expressed via primitive recursive functionals in the sense of Gödel. This was surprising as the proof relies on several compactness principles and its quantitative analysis would require the functional interpretation of arithmetical comprehension. Therefore, a priori one would expect the need of Spector’s bar-recursive functionals. In this paper, we explain how the use of bounded collection principles allows for a modified intermediate proof justifying the finitary results obtained, and discuss the approach in the context of previous eliminations of weak compactness arguments in proof mining.Free Boundary Problems in Fluid Dynamics
http://publications.mfo.de/handle/mfo/4155
Free Boundary Problems in Fluid Dynamics
Ai, Albert; Alazard, Thomas; Ifrim, Mihaela; Tataru, Daniel
This book, originating from a seminar held at Oberwolfach in 2022, introduces to state-of-the-art methods and results in the study of free boundary problems which are arising from compressible as well as from incompressible Euler’s equations in general. A particular set of such problems is given by gaseous stars considered in a vacuum (modeled via the compressible Euler equations) as well as water waves in their full generality (seen as recasts of incompressible irrotational Euler equations). This is a broad research area which is highly relevant to many real life problems, and in which substantial progress has been made in the last decade.
Oberwolfach Seminar 2243a: Free Boundary Problems in Fluid Dynamics
Thu, 20 Jun 2024 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41552024-06-20T00:00:00ZAi, AlbertAlazard, ThomasIfrim, MihaelaTataru, DanielThis book, originating from a seminar held at Oberwolfach in 2022, introduces to state-of-the-art methods and results in the study of free boundary problems which are arising from compressible as well as from incompressible Euler’s equations in general. A particular set of such problems is given by gaseous stars considered in a vacuum (modeled via the compressible Euler equations) as well as water waves in their full generality (seen as recasts of incompressible irrotational Euler equations). This is a broad research area which is highly relevant to many real life problems, and in which substantial progress has been made in the last decade.On Overgroups of Distinguished Unipotent Elements in Reductive Groups and Finite Groups of Lie Type
http://publications.mfo.de/handle/mfo/4153
On Overgroups of Distinguished Unipotent Elements in Reductive Groups and Finite Groups of Lie Type
Bate, Michael; Böhm, Sören; Martin, Benjamin; Röhrle, Gerhard
Suppose G is a simple algebraic group defined over an algebraically closed field of good characteristic p. In 2018 Korhonen showed that if H is a connected reductive subgroup of G which contains a distinguished unipotent element u of G of order p, then H is G-irreducible in the sense of Serre. We present a short and uniform proof of this result using so-called good A1 subgroups of G, introduced by Seitz. We also formulate a counterpart of Korhonen’s theorem for overgroups of u which are finite groups of Lie type. Moreover, we generalize both results above by removing the restriction on the order of u under a mild condition on p depending on the rank of G, and we present an analogue of Korhonen’s theorem for Lie algebras.
Tue, 18 Jun 2024 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41532024-06-18T00:00:00ZBate, MichaelBöhm, SörenMartin, BenjaminRöhrle, GerhardSuppose G is a simple algebraic group defined over an algebraically closed field of good characteristic p. In 2018 Korhonen showed that if H is a connected reductive subgroup of G which contains a distinguished unipotent element u of G of order p, then H is G-irreducible in the sense of Serre. We present a short and uniform proof of this result using so-called good A1 subgroups of G, introduced by Seitz. We also formulate a counterpart of Korhonen’s theorem for overgroups of u which are finite groups of Lie type. Moreover, we generalize both results above by removing the restriction on the order of u under a mild condition on p depending on the rank of G, and we present an analogue of Korhonen’s theorem for Lie algebras.Geometric, Algebraic, and Topological Combinatorics
http://publications.mfo.de/handle/mfo/4147
Geometric, Algebraic, and Topological Combinatorics
The 2023 Oberwolfach meeting "Geometric, Algebraic, and Topological
Combinatorics''
was organized by Gil Kalai (Jerusalem), Isabella Novik (Seattle),
Francisco Santos (Santander), and Volkmar Welker (Marburg). It covered
a wide variety of aspects of Discrete Geometry, Algebraic Combinatorics
with geometric flavor, and Topological Combinatorics. Some of the
highlights of the conference were (1) Federico Ardila and Tom Braden
discussed recent exciting developments in the intersection theory of matroids;
(2) Stavros Papadakis and Vasiliki Petrotou presented their proof of the
Lefschetz property for spheres, and, more generally, for pseudomanifolds and
cycles (this second part is joint with Karim Adiprasito); (3) Gaku Liu reported
on his joint work with Spencer Backman that establishes the existence of a
regular unimodular triangulation of an arbitrary matroid base polytope.
Sun, 01 Jan 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41472023-01-01T00:00:00ZThe 2023 Oberwolfach meeting "Geometric, Algebraic, and Topological
Combinatorics''
was organized by Gil Kalai (Jerusalem), Isabella Novik (Seattle),
Francisco Santos (Santander), and Volkmar Welker (Marburg). It covered
a wide variety of aspects of Discrete Geometry, Algebraic Combinatorics
with geometric flavor, and Topological Combinatorics. Some of the
highlights of the conference were (1) Federico Ardila and Tom Braden
discussed recent exciting developments in the intersection theory of matroids;
(2) Stavros Papadakis and Vasiliki Petrotou presented their proof of the
Lefschetz property for spheres, and, more generally, for pseudomanifolds and
cycles (this second part is joint with Karim Adiprasito); (3) Gaku Liu reported
on his joint work with Spencer Backman that establishes the existence of a
regular unimodular triangulation of an arbitrary matroid base polytope.Randomness is Natural - an Introduction to Regularisation by Noise
http://publications.mfo.de/handle/mfo/4146
Randomness is Natural - an Introduction to Regularisation by Noise
Djurdjevac, Ana; Elad Altman, Henri; Rosati, Tommaso
Differential equations make predictions on the future state of a system given the present. In order to get a sensible prediction, sometimes it is necessary to include randomness in differential equations, taking microscopic effects into account. Surprisingly, despite the presence of randomness, our probabilistic prediction of future states is stable with respect to changes in the surrounding environment, even if the original prediction was unstable. This snapshot will unveil the core mathematical mechanism underlying this "regularisation by noise" phenomenon.
Wed, 22 May 2024 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41462024-05-22T00:00:00ZDjurdjevac, AnaElad Altman, HenriRosati, TommasoDifferential equations make predictions on the future state of a system given the present. In order to get a sensible prediction, sometimes it is necessary to include randomness in differential equations, taking microscopic effects into account. Surprisingly, despite the presence of randomness, our probabilistic prediction of future states is stable with respect to changes in the surrounding environment, even if the original prediction was unstable. This snapshot will unveil the core mathematical mechanism underlying this "regularisation by noise" phenomenon.Mini-Workshop: Homological Aspects for TDLC-Groups
http://publications.mfo.de/handle/mfo/4137
Mini-Workshop: Homological Aspects for TDLC-Groups
This mini-workshop aimed at bringing together experts and early career researchers on finiteness conditions for discrete groups, and experts on varying aspects of locally compact groups to find a common framework to develop a systematic theory of homological finiteness conditions for totally disconnected locally compact groups. Whereas the homological theory of
finiteness conditions of discrete groups is well developed and the structure theory of totally disconnected locally compact
groups has seen some important breakthroughs in the last decade, the homological theory for (non-compact) totally disconnected locally compact groups is an emerging research area. Specific
topics include finiteness conditions for locally compact groups, Mackey functors
and Bredon cohomology for topological groups, connections to condensed mathematics, connections to $\ell^2$-invariants and $\Sigma$-invariants.
Sun, 01 Jan 2023 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41372023-01-01T00:00:00ZThis mini-workshop aimed at bringing together experts and early career researchers on finiteness conditions for discrete groups, and experts on varying aspects of locally compact groups to find a common framework to develop a systematic theory of homological finiteness conditions for totally disconnected locally compact groups. Whereas the homological theory of
finiteness conditions of discrete groups is well developed and the structure theory of totally disconnected locally compact
groups has seen some important breakthroughs in the last decade, the homological theory for (non-compact) totally disconnected locally compact groups is an emerging research area. Specific
topics include finiteness conditions for locally compact groups, Mackey functors
and Bredon cohomology for topological groups, connections to condensed mathematics, connections to $\ell^2$-invariants and $\Sigma$-invariants.On Dykstra’s Algorithm with Bregman Projections
http://publications.mfo.de/handle/mfo/4134
On Dykstra’s Algorithm with Bregman Projections
Pinto, Pedro; Pischke, Nicholas
We provide quantitative results on the asymptotic behavior of Dykstra’s algorithm with Bregman projections, a combination of the well-known Dykstra’s algorithm and the method of cyclic Bregman projections, designed to find best approximations and solve the convex feasibility problem in a non-Hilbertian setting. The result we provide arise through the lens of proof mining, a program in mathematical logic which extracts computational information from non-effective proofs. Concretely, we provide a highly uniform and computable rate of metastability of low complexity and, moreover, we also specify general circumstances in which one can obtain full and effective rates of convergence. As a byproduct of our quantitative analysis, we also for the first time establish the strong convergence of Dykstra’s method with Bregman projections in infinite dimensional (reflexive) Banach spaces.
Tue, 16 Apr 2024 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41342024-04-16T00:00:00ZPinto, PedroPischke, NicholasWe provide quantitative results on the asymptotic behavior of Dykstra’s algorithm with Bregman projections, a combination of the well-known Dykstra’s algorithm and the method of cyclic Bregman projections, designed to find best approximations and solve the convex feasibility problem in a non-Hilbertian setting. The result we provide arise through the lens of proof mining, a program in mathematical logic which extracts computational information from non-effective proofs. Concretely, we provide a highly uniform and computable rate of metastability of low complexity and, moreover, we also specify general circumstances in which one can obtain full and effective rates of convergence. As a byproduct of our quantitative analysis, we also for the first time establish the strong convergence of Dykstra’s method with Bregman projections in infinite dimensional (reflexive) Banach spaces.Waves and Incidences
http://publications.mfo.de/handle/mfo/4133
Waves and Incidences
Yung, Po-Lam
The wave equation in Euclidean spaces describes many natural phenomena such as sound, light, or water waves. We explore how its solutions are related to the geometric problem of how long thin cylinders can intersect each other and discuss a related open problem.
Tue, 09 Apr 2024 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41332024-04-09T00:00:00ZYung, Po-LamThe wave equation in Euclidean spaces describes many natural phenomena such as sound, light, or water waves. We explore how its solutions are related to the geometric problem of how long thin cylinders can intersect each other and discuss a related open problem.Ky Fan Theorem for Sphere Bundles
http://publications.mfo.de/handle/mfo/4131
Ky Fan Theorem for Sphere Bundles
Panina, Gaiane; Živaljević, Rade
The classic Ky Fan theorem is a combinatorial equivalent of Borsuk-Ulam theorem. It is a generalization and extension of Tucker’s lemma and, just like its predecessor, it pinpoints important properties of antipodal colorings of vertices of a triangulated sphere Sn. Here we describe generalizations of Ky Fan theorem for the case when the sphere is replaced by the total space of a triangulated sphere bundle.
Fri, 05 Apr 2024 00:00:00 GMThttp://publications.mfo.de/handle/mfo/41312024-04-05T00:00:00ZPanina, GaianeŽivaljević, RadeThe classic Ky Fan theorem is a combinatorial equivalent of Borsuk-Ulam theorem. It is a generalization and extension of Tucker’s lemma and, just like its predecessor, it pinpoints important properties of antipodal colorings of vertices of a triangulated sphere Sn. Here we describe generalizations of Ky Fan theorem for the case when the sphere is replaced by the total space of a triangulated sphere bundle.