English
Related papers

Related papers: Strong algebraization of fixed point properties

200 papers

Suppose that E is a Banach space, {\tau} a topology under which the norm of E becomes {\tau}-lower semicontinuous and S a commuting family of {\tau}-continuous nonexpansive mappings defined on a {\tau}-compact convex subset C of E: It is…

Functional Analysis · Mathematics 2018-11-05 Sławomir Borzdyński

We develop an approach to choice principles and their contrapositive bar-induction principles as extensionality schemes connecting an ''intensional'' or ''effective'' view of respectively ill-and well-foundedness properties to an…

Logic in Computer Science · Computer Science 2026-01-26 Nuria Brede , Hugo Herbelin

For the spatially inhomogeneous, non-cutoff Boltzmann equation posed in the whole space $\mathbb R^3_x$, we establish pointwise lower bounds that appear instantaneously even if the initial data contains vacuum regions. Our lower bounds…

Analysis of PDEs · Mathematics 2020-05-29 Christopher Henderson , Stanley Snelson , Andrei Tarfulea

This is the first paper in a series on intrinsic Donaldson-Thomas theory, where we develop a new framework for enumerative geometry that allows the generalization of constructions and results from linear moduli stacks to general non-linear…

Algebraic Geometry · Mathematics 2025-09-12 Chenjing Bu , Daniel Halpern-Leistner , Andrés Ibáñez Núñez , Tasuki Kinjo

In this work, we improve upon the guarantees for sparse random embeddings, as they were recently provided and analyzed by Freksen at al. (NIPS'18) and Jagadeesan (NIPS'19). Specifically, we show that (a) our bounds are explicit as opposed…

Machine Learning · Computer Science 2022-02-23 Maciej Skorski , Alessandro Temperoni , Martin Theobald

Using methods developed by Robinson, we find a complete theory suitable for a first order description of infintesimal neighborhoods. We use this to construct a specialisation having universal properties and to find a recursively enumerable…

Logic · Mathematics 2007-05-23 Tristram de Piro

We study when a group of form $G\times\mathbb{Z}^m (m\geq 1)$ has the finitely generated fixed subgroup property of automorphisms ($\rm{FGFP}_a$), by using the BNS-invariant, and provide some partial answers and non-trivial examples.

Group Theory · Mathematics 2025-05-14 Jialin Lei , Jiming Ma , Qiang Zhang

Let $D$ be a bounded domain in a complex Banach space. According to the Earle-Hamilton fixed point theorem, if a holomorphic mapping $F : D \mapsto D$ maps $D$ strictly into itself, then it has a unique fixed point and its iterates converge…

Complex Variables · Mathematics 2011-05-17 David Shoikhet

We introduce a natural concept of positive definiteness for bundle maps between Fell bundles over (possibly different) discrete groups and describe several examples. Such maps induce completely positive maps between the associated full…

Operator Algebras · Mathematics 2025-07-03 Erik Bédos , Roberto Conti

We generalize the positive solution of the Frobenius conjecture and refinements thereof by studying the structure of groups that admit a fix-point-free automorphism satisfying an identity. We show, in particular, that for every polynomial…

Group Theory · Mathematics 2020-09-10 Wolfgang Alexander Moens

This work establishes a strong uniqueness property for a class of planar locally integrable vector fields. A result on pointwise convergence to the boundary value is also proved for bounded solutions.

Complex Variables · Mathematics 2007-05-23 S. Berhanu , J. Hounie

We consider the problem of recovering conditional independence relationships between $p$ jointly distributed Hilbertian random elements given $n$ realizations thereof. We operate in the sparse high-dimensional regime, where $n \ll p$ and no…

Methodology · Statistics 2023-06-26 Kartik G. Waghmare , Tomas Masak , Victor M. Panaretos

We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…

K-Theory and Homology · Mathematics 2020-01-28 Boris Goldfarb , Jonathan L. Grossman

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

Symbolic Computation · Computer Science 2012-03-19 C. Baier , N. Bertrand , Ph. Schnoebelen

Hindman's Theorem says that every finite coloring of the positive natural numbers has a monochromatic set of finite sums. Ramsey algebras, recently introduced, are structures that satisfy an analogue of Hindman's Theorem. It is an open…

Logic · Mathematics 2016-08-04 Wen Chean Teh

In this paper, we study the nonexpansive properties of metric resolvent, and present a convergence rate analysis for the associated fixed-point iterations (Banach-Picard and Krasnosel'skii-Mann types). Equipped with a variable metric, we…

Optimization and Control · Mathematics 2021-09-14 Feng Xue

The main motivation for this article is to explore the connections between the existence of certain combinatorial patterns (as in van der Corputs's theorem on arithmetic progressions of length $3$) with well-known tools and theorems for…

Logic · Mathematics 2026-03-18 Amador Martin-Pizarro , Daniel Palacín

In this paper, we prove several fixed point theorems on both of normal partially ordered Banach spaces and regular partially ordered Banach spaces by using the normality, regularity, full regularity, and chain -complete property. Then, by…

Functional Analysis · Mathematics 2017-06-22 Jinlu Li

In this paper we introduce the concept of infinite pointwise dense lineability (spaceability), and provide a criterion to obtain density from mere lineability. As an application, we study the linear and topological structures within the set…

Functional Analysis · Mathematics 2023-11-14 M. C. Calderón-Moreno , P. J. Gerlach-Mena , J. A. Prado-Bassas

In this paper, we discuss characterizations of common fixed points of commutative semigroups of nonexpansive mappings. We next prove convergence theorems to a common fixed point. We finally discuss nonexpansive retractions onto the set of…

Functional Analysis · Mathematics 2007-05-23 T. Suzuki