-
L-functional analysis
Authors:
Eder Kikianty,
Miek Messerschmidt,
Luan Naude,
Mark Roelands,
Christopher Schwanke,
Walt van Amstel,
Jan Harm van der Walt,
Marten Wortel
Abstract:
Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital $f$-algebra $\mathbb{L}$; such an algebra can be represented as a suitable space of continuous functions. We set up the basic theory of $\mathbb{L}$-normed and…
▽ More
Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital $f$-algebra $\mathbb{L}$; such an algebra can be represented as a suitable space of continuous functions. We set up the basic theory of $\mathbb{L}$-normed and $\mathbb{L}$-Banach spaces and bounded operators between them, we discuss the $\mathbb{L}$-valued analogues of the classical $\ell^p$-spaces, and we prove the analogue of the Hahn-Banach theorem. We also discuss the basics of the theory of $\mathbb{L}$-Hilbert spaces, including projections onto convex subsets and the Riesz Representation theorem.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Implementing Immune Repertoire Models Using Weighted Finite State Machines
Authors:
Gijs Schröder,
Inge MN Wortel,
Johannes Textor
Abstract:
The adaptive immune system's T and B cells can be viewed as large populations of simple, diverse classifiers. Artificial immune systems (AIS) $\unicode{x2013}$ algorithmic models of T or B cell repertoires $\unicode{x2013}$ are used in both computational biology and natural computing to investigate how the immune system adapts to its changing environments. However, researchers have struggled to bu…
▽ More
The adaptive immune system's T and B cells can be viewed as large populations of simple, diverse classifiers. Artificial immune systems (AIS) $\unicode{x2013}$ algorithmic models of T or B cell repertoires $\unicode{x2013}$ are used in both computational biology and natural computing to investigate how the immune system adapts to its changing environments. However, researchers have struggled to build such systems at scale. For string-based AISs, finite state machines (FSMs) can store cell repertoires in compressed representations that are orders of magnitude smaller than explicitly stored receptor sets. This strategy allows AISs with billions of receptors to be generated in a matter of seconds. However, to date, these FSM-based AISs have been unable to deal with multiplicity in input data. Here, we show how weighted FSMs can be used to represent cell repertoires and model immunological processes like negative and positive selection, while also taking into account the multiplicity of input data. We use our method to build simple immune-inspired classifier systems that solve various toy problems in anomaly detection, showing how weights can be crucial for both performance and robustness to parameters. Our approach can potentially be extended to increase the scale of other population-based machine learning algorithms such as learning classifier systems.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
Order isomorphisms on order intervals of atomic JBW-algebras
Authors:
Mark Roelands,
Marten Wortel
Abstract:
In this paper a full description of order isomorphisms between effect algebras of atomic JBW-algebras is given. We will derive a closed formula for the order isomorphisms on the effect algebra of type I factors by proving that the invertible part of the effect algebra of a type I factor is left invariant. This yields an order isomorphism on the whole cone, for which a characterisation exists. Furt…
▽ More
In this paper a full description of order isomorphisms between effect algebras of atomic JBW-algebras is given. We will derive a closed formula for the order isomorphisms on the effect algebra of type I factors by proving that the invertible part of the effect algebra of a type I factor is left invariant. This yields an order isomorphism on the whole cone, for which a characterisation exists. Furthermore, we will show that the obtained formula for the order isomorphism on the invertible part can be extended to the whole effect algebra again. As atomic JBW-algebras are direct sums of type I factors and order isomorphisms factor through the direct sum decomposition, this yields the desired description.
△ Less
Submitted 13 April, 2021; v1 submitted 9 November, 2019;
originally announced November 2019.
-
Coupled fast and slow feedbacks lead to continual evolution: A general modeling approach
Authors:
Meike T. Wortel,
Han Peters,
Nils Chr. Stenseth
Abstract:
The Red Queen Hypothesis, which suggests that continual evolution can result from solely biotic interactions, has been studied in macroevolutionary and microevolutionary contexts. While the latter has been effective in describing examples in which evolution does not cease, describing which properties lead to continual evolution or to stasis remains a major challenge. In many contexts it is unclear…
▽ More
The Red Queen Hypothesis, which suggests that continual evolution can result from solely biotic interactions, has been studied in macroevolutionary and microevolutionary contexts. While the latter has been effective in describing examples in which evolution does not cease, describing which properties lead to continual evolution or to stasis remains a major challenge. In many contexts it is unclear which assumptions are necessary for continual evolution, and whether described behavior is robust under perturbations. Our aim here is to prove continual evolution under minimal conditions and in a general framework, thus automatically obtaining robustness. We show that the combination of a fast positive and a slow negative feedback causes continual evolution with a single evolving trait, provided the ecological timescale is sufficiently separated from the timescales of mutations and negative feedback. Our approach and results form a next step towards a deeper understanding of the evolutionary dynamics resulting from biotic interactions.
△ Less
Submitted 7 January, 2019;
originally announced January 2019.
-
Lexicographic cones and the ordered projective tensor product
Authors:
Marten Wortel
Abstract:
We introduce lexicographic cones, a method of assigning an ordered vector space $\Lex(S)$ to a poset $S$, generalising the standard lexicographic cone. These lexicographic cones are then used to prove that the projective tensor cone of two arbitrary cones is a cone, and to find a new characterisation of finite-dimensional vector lattices.
We introduce lexicographic cones, a method of assigning an ordered vector space $\Lex(S)$ to a poset $S$, generalising the standard lexicographic cone. These lexicographic cones are then used to prove that the projective tensor cone of two arbitrary cones is a cone, and to find a new characterisation of finite-dimensional vector lattices.
△ Less
Submitted 12 December, 2018;
originally announced December 2018.
-
Hilbert isometries and maximal deviation preserving maps on JB-algebras
Authors:
Mark Roelands,
Marten Wortel
Abstract:
In this paper we characterize the surjective linear variation norm isometries on JB-algebras. Variation norm isometries are precisely the maps that preserve the maximal deviation, the quantum analogue of the standard deviation, which plays an important role in quantum statistics. Consequently, we characterize the Hilbert's metric isometries on cones in JB-algebras.
In this paper we characterize the surjective linear variation norm isometries on JB-algebras. Variation norm isometries are precisely the maps that preserve the maximal deviation, the quantum analogue of the standard deviation, which plays an important role in quantum statistics. Consequently, we characterize the Hilbert's metric isometries on cones in JB-algebras.
△ Less
Submitted 20 June, 2019; v1 submitted 30 June, 2017;
originally announced June 2017.
-
Equivalence after extension and Schur coupling coincide for inessential operators
Authors:
S. ter Horst,
M. Messerschmidt,
A. C. M. Ran,
M. Roelands,
M. Wortel
Abstract:
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible op…
▽ More
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible operators. In this paper we prove that the implication EAE $\Rightarrow$ SC also holds for inessential Banach space operators. The inessential operators were introduced as a generalization of the compact operators, and include, besides the compact operators, also the strictly singular and strictly co-singular operators; in fact they form the largest ideal such that the invertible elements in the associated quotient algebra coincide with (the equivalence classes of) the Fredholm operators.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
Riesz-Kantorovich formulas for operators on multi-wedged spaces
Authors:
Christopher Schwanke,
Marten Wortel
Abstract:
We introduce the notions of multi-suprema and multi-infima for vector spaces equipped with a collection of wedges, generalizing the notions of suprema and infima in ordered vector spaces. Multi-lattices are vector spaces closed under multi-suprema and multi-infima and are thus an abstraction of vector lattices. The Riesz decomposition property in the multi-wedged setting is also introduced, leadin…
▽ More
We introduce the notions of multi-suprema and multi-infima for vector spaces equipped with a collection of wedges, generalizing the notions of suprema and infima in ordered vector spaces. Multi-lattices are vector spaces closed under multi-suprema and multi-infima and are thus an abstraction of vector lattices. The Riesz decomposition property in the multi-wedged setting is also introduced, leading to Riesz-Kantorovich formulas for multi-suprema and multi-infima in certain spaces of operators.
△ Less
Submitted 19 September, 2016;
originally announced September 2016.
-
Hilbert and Thompson isometries on cones in JB-algebras
Authors:
Bas Lemmens,
Mark Roelands,
Marten Wortel
Abstract:
Hilbert's and Thompson's metric spaces on the interior of cones in JB-algebras are important examples of symmetric Finsler spaces. In this paper we characterize the Hilbert's metric isometries on the interiors of cones in JBW-algebras, and the Thompson's metric isometries on the interiors of cones in JB-algebras. These characterizations generalize work by Bosché on the Hilbert and Thompson isometr…
▽ More
Hilbert's and Thompson's metric spaces on the interior of cones in JB-algebras are important examples of symmetric Finsler spaces. In this paper we characterize the Hilbert's metric isometries on the interiors of cones in JBW-algebras, and the Thompson's metric isometries on the interiors of cones in JB-algebras. These characterizations generalize work by Bosché on the Hilbert and Thompson isometries on symmetric cones, and work by Hatori and Molnár on the Thompson isometries on the cone of positive self-adjoint elements in a unital $C^*$-algebra. To obtain the results we develop a variety of new geometric and Jordan algebraic techniques.
△ Less
Submitted 30 June, 2017; v1 submitted 12 September, 2016;
originally announced September 2016.
-
The intrinsic metric on the unit sphere of a normed space
Authors:
Miek Messerschmidt,
Marten Wortel
Abstract:
Let $S$ denote the unit sphere of a real normed space. We show that the intrinsic metric on $S$ is strongly equivalent to the induced metric on $S$. Specifically, for all $x,y\in S$, \[ \|x-y\|\leq d(x,y)\leq\sqrt{2}π\|x-y\|, \] where $d$ denotes the intrinsic metric on $S$.
Let $S$ denote the unit sphere of a real normed space. We show that the intrinsic metric on $S$ is strongly equivalent to the induced metric on $S$. Specifically, for all $x,y\in S$, \[ \|x-y\|\leq d(x,y)\leq\sqrt{2}π\|x-y\|, \] where $d$ denotes the intrinsic metric on $S$.
△ Less
Submitted 8 March, 2017; v1 submitted 26 October, 2015;
originally announced October 2015.
-
Denjoy-Wolff theorems for Hilbert's and Thompson's metric spaces
Authors:
Bas Lemmens,
Brian Lins,
Roger Nussbaum,
Marten Wortel
Abstract:
We study the dynamics of fixed point free map**s on the interior of a normal, closed cone in a Banach space that are nonexpansive with respect to Hilbert's metric or Thompson's metric. We establish several Denjoy-Wolff type theorems that confirm conjectures by Karlsson and Nussbaum for an important class of nonexpansive map**s. We also extend and put into a broader perspective results by Gaube…
▽ More
We study the dynamics of fixed point free map**s on the interior of a normal, closed cone in a Banach space that are nonexpansive with respect to Hilbert's metric or Thompson's metric. We establish several Denjoy-Wolff type theorems that confirm conjectures by Karlsson and Nussbaum for an important class of nonexpansive map**s. We also extend and put into a broader perspective results by Gaubert and Vigeral concerning the linear escape rate of such nonexpansive map**s.
△ Less
Submitted 14 June, 2016; v1 submitted 4 October, 2014;
originally announced October 2014.
-
Isometries of infinite dimensional Hilbert geometries
Authors:
Bas Lemmens,
Mark Roelands,
Marten Wortel
Abstract:
In this paper we extend results by De la Harpe concerning the isometries of strictly convex Hilbert geometries, and the characterisation of the isometry groups of Hilbert geometries on finite dimensional simplices, to infinite dimensions. The proofs rely on a mix of geometric and functional analytic methods.
In this paper we extend results by De la Harpe concerning the isometries of strictly convex Hilbert geometries, and the characterisation of the isometry groups of Hilbert geometries on finite dimensional simplices, to infinite dimensions. The proofs rely on a mix of geometric and functional analytic methods.
△ Less
Submitted 1 March, 2017; v1 submitted 16 May, 2014;
originally announced May 2014.
-
Crossed products of Banach algebras. II
Authors:
Marcel de Jeu,
Miek Messerschmidt,
Marten Wortel
Abstract:
In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper the theory is developed further. We consider the dependence of the crossed product on the class $\mathcal{R}$ and its essential uniqueness. Next we study gener…
▽ More
In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper the theory is developed further. We consider the dependence of the crossed product on the class $\mathcal{R}$ and its essential uniqueness. Next we study generalized Beurling algebras: weighted Bochner spaces of $A$-valued functions on $G$ with a continuous multiplication. Though not Banach algebras in general, they are isomorphic to a crossed product of a Banach algebra, and the earlier work therefore predicts the structure of their representations. Classical results for the usual Beurling (Banach) algebras of scalar valued functions are then retrieved as special cases. We also show how, e.g., an anti-covariant pair of anti-representations of $A$ and $G$ can be viewed as a covariant pair for a related Banach algebra dynamical system, so that the earlier work becomes applicable to classes of such other pairs. After including material on the representations of the projective tensor product of Banach algebras, we combine this idea with the results already obtained and describe the two-sided modules over the generalized Beurling algebras, where again specializing to the scalars gives a classical result.
△ Less
Submitted 10 May, 2013;
originally announced May 2013.
-
Compact groups of positive operators on Banach lattices
Authors:
Marcel de Jeu,
Marten Wortel
Abstract:
In this paper we study groups of positive operators on Banach lattices. If a certain factorization property holds for the elements of such a group, the group has a homomorphic image in the isometric positive operators which has the same invariant ideals as the original group. If the group is compact in the strong operator topology, it equals a group of isometric positive operators conjugated by a…
▽ More
In this paper we study groups of positive operators on Banach lattices. If a certain factorization property holds for the elements of such a group, the group has a homomorphic image in the isometric positive operators which has the same invariant ideals as the original group. If the group is compact in the strong operator topology, it equals a group of isometric positive operators conjugated by a single central lattice automorphism, provided an additional technical assumption is satisfied, for which we again have only examples. We obtain a characterization of positive representations of a group with compact image in the strong operator topology, and use this for normalized symmetric Banach sequence spaces to prove an ordered version of the decomposition theorem for unitary representations of compact groups. Applications concerning spaces of continuous functions are also considered.
△ Less
Submitted 29 May, 2012; v1 submitted 7 December, 2011;
originally announced December 2011.
-
Positive representations of finite groups in Riesz spaces
Authors:
Marcel de Jeu,
Marten Wortel
Abstract:
In this paper, which is part of a study of positive representations of locally compact groups in Banach lattices, we initiate the theory of positive representations of finite groups in Riesz spaces. If such a representation has only the zero subspace and possibly the space itself as invariant principal bands, then the space is Archimedean and finite dimensional. Various notions of irreducibility o…
▽ More
In this paper, which is part of a study of positive representations of locally compact groups in Banach lattices, we initiate the theory of positive representations of finite groups in Riesz spaces. If such a representation has only the zero subspace and possibly the space itself as invariant principal bands, then the space is Archimedean and finite dimensional. Various notions of irreducibility of a positive representation are introduced and, for a finite group acting positively in a space with sufficiently many projections, these are shown to be equal. We describe the finite dimensional positive Archimedean representations of a finite group and establish that, up to order equivalence, these are order direct sums, with unique multiplicities, of the order indecomposable positive representations naturally associated with transitive $G$-spaces. Character theory is shown to break down for positive representations. Induction and systems of imprimitivity are introduced in an ordered context, where the multiplicity formulation of Frobenius reciprocity turns out not to hold.
△ Less
Submitted 17 February, 2012; v1 submitted 21 September, 2011;
originally announced September 2011.
-
Crossed products of Banach algebras. I
Authors:
Sjoerd Dirksen,
Marcel de Jeu,
Marten Wortel
Abstract:
We construct a crossed product Banach algebra from a Banach algebra dynamical system $(A,G,α)$ and a given uniformly bounded class $R$ of continuous covariant Banach space representations of that system. If $A$ has a bounded left approximate identity, and $R$ consists of non-degenerate continuous covariant representations only, then the non-degenerate bounded representations of the crossed product…
▽ More
We construct a crossed product Banach algebra from a Banach algebra dynamical system $(A,G,α)$ and a given uniformly bounded class $R$ of continuous covariant Banach space representations of that system. If $A$ has a bounded left approximate identity, and $R$ consists of non-degenerate continuous covariant representations only, then the non-degenerate bounded representations of the crossed product are in bijection with the non-degenerate $R$-continuous covariant representations of the system. This bijection, which is the main result of the paper, is also established for involutive Banach algebra dynamical systems and then yields the well-known representation theoretical correspondence for the crossed product $C^*$-algebra as commonly associated with a $C^*$-algebra dynamical system as a special case. Taking the algebra $A$ to be the base field, the crossed product construction provides, for a given non-empty class of Banach spaces, a Banach algebra with a relatively simple structure and with the property that its non-degenerate contractive representations in the spaces from that class are in bijection with the isometric strongly continuous representations of $G$ in those spaces. This generalizes the notion of a group $C^*$-algebra, and may likewise be used to translate issues concerning group representations in a class of Banach spaces to the context of a Banach algebra, simpler than $L^1(G)$, where more functional analytic structure is present.
△ Less
Submitted 15 August, 2011; v1 submitted 27 April, 2011;
originally announced April 2011.
-
Extending representations of normed algebras in Banach spaces
Authors:
Sjoerd Dirksen,
Marcel de Jeu,
Marten Wortel
Abstract:
Let X be a non-degenerate left Banach module over a normed algebra A having a bounded approximate left identity. We show that, if A is a left ideal of a larger algebra, then this representation can be extended to a representation of the larger algebra. Based on this result, we study in detail the existence and properties of representations of the various centralizer algebras of A which are compa…
▽ More
Let X be a non-degenerate left Banach module over a normed algebra A having a bounded approximate left identity. We show that, if A is a left ideal of a larger algebra, then this representation can be extended to a representation of the larger algebra. Based on this result, we study in detail the existence and properties of representations of the various centralizer algebras of A which are compatible with the original representation of A. As a special case we obtain that, if A embeds as a topological algebra into the bounded operators on X, then the left centralizer algebra of $A$ embeds as a topological algebra as the left normalizer of the image, and the double centralizer algebra of A embeds as a topological algebra as the normalizer of the image. We also consider ordered and involutive contexts, and cover the right-sided cases, which are not always the obvious analogues of the left-sided cases, in detail as well.
△ Less
Submitted 22 May, 2009; v1 submitted 21 April, 2009;
originally announced April 2009.