arXiv subjects

Stephen Simons

Publications and source records attributed to Stephen Simons.

At least 19 recordsLinked to original sources

arXiv2024

Faces of quasidensity

This paper is about the maximally monotone and quasidense subsets of the product of a real Banach space and its dual. We discuss six subclasses of the maximal monotone sets that are equivalent to the quasidense ones. We define the Gossez extension to the dual of a maximally monotone set, and give nine equivalent characterizations of an element of this set in the quasidense case. We discuss maximally monotone sets of "type (NI)'' (one of the six classes referred to above) and we show that the "tail operator'' is not of type (NI), but it is the Gossez extension of a maximally monotone set that is of type (NI). We generalize Rockafellar's surjectivity theorem for maximally monotone subsets of reflexive Banach spaces to maximally monotone subsets of type (NI) of general Banach spaces. We discuss a generalization of the Brezis-Browder theorem on monotone linear subspaces of reflexive spaces to the nonreflexive situation. We also discuss briefly maximally monotone subsets of "type (D)'' and "type (WD)'' (two more of the six classes referred to above).

math.FA↗

arXiv2022

Touching multifunctions on a Hilbert space

We introduce the concept of the touching of two multifunctions on a real Hilbert space, and deduce that certain multifunctions on the space have a unique fixed point. These result are applied to the theory of genaralized cycles and generalized gap vectors for the composition of the projections onto a finite number of closed convex space in a real Hilbert space.

math.FA↗

arXiv2021

$m$th roots of the identity operator and the geometry conjecture

In this paper, we give three different new proofs of the validity of the geometry conjecture about cycles of projections onto nonempty closed, convex subsets of a Hilbert space. The first uses a simple minimax theorem, which depends on the finite dimensional Hahn-Banach theorem. The second uses Fan's inequality, which has found many applications in optimization and mathematical economics. The third uses three results on maximally monotone operators on a Hilbert space.

math.FA↗

arXiv2020

Uncertainty-based Modulation for Lifelong Learning

The creation of machine learning algorithms for intelligent agents capable of continuous, lifelong learning is a critical objective for algorithms being deployed on real-life systems in dynamic environments. Here we present an algorithm inspired by neuromodulatory mechanisms in the human brain that integrates and expands upon Stephen Grossberg\'s ground-breaking Adaptive Resonance Theory proposals. Specifically, it builds on the concept of uncertainty, and employs a series of neuromodulatory mechanisms to enable continuous learning, including self-supervised and one-shot learning. Algorithm components were evaluated in a series of benchmark experiments that demonstrate stable learning without catastrophic forgetting. We also demonstrate the critical role of developing these systems in a closed-loop manner where the environment and the agent\'s behaviors constrain and guide the learning process. To this end, we integrated the algorithm into an embodied simulated drone agent. The experiments show that the algorithm is capable of continuous learning of new tasks and under changed conditions with high classification accuracy (greater than 94 percent) in a virtual environment, without catastrophic forgetting. The algorithm accepts high dimensional inputs from any state-of-the-art detection and feature extraction algorithms, making it a flexible addition to existing systems. We also describe future development efforts focused on imbuing the algorithm with mechanisms to seek out new knowledge as well as employ a broader range of neuromodulatory processes.

cs.LG↗

arXiv2019

A stand-alone analysis of quasidensity

In this paper we consider the "quasidensity" of a subset of the product of a Banach space and its dual, and give a connection between quasidense sets and sets of "type (NI)". We discuss "coincidence sets" of certain convex functions and prove two sum theorems for coincidence sets. We obtain new results on the Fitzpatrick extension of a closed quasidense monotone multifunction. The analysis in this paper is self-contained, and independent of previous work on "Banach SN spaces". This version differs from the previous version because it is shown that the (well known) equivalence of quasidensity and "type (NI)" for maximally monotone sets is not true without the monotonicity assumption and that the appendix has been moved to the end of Section 10, where it rightfully belongs.

math.FA↗

arXiv2018

Gossez's skew linear map and its pathological maximally monotone multifunctions

In this note, we give a generalization of Gossez's example of a maximally monotone multifunction such that the closure of its range is not convex, using more elementary techniques than in Gossez's original papers. We also discuss some new properties of Gossez's skew linear operator and its adjoint. While most of this paper uses elementary functional analysis, we correlate our results with those obtained by using the Stone-Cech compactification of the integers.

math.FA↗

arXiv2017

Quasidensity: a survey and some examples

In three previous papers, we discussed quasidense multifunctions from a Banach space into its dual, or, equivalently, quasidense subsets of the product of a Banach space and its dual. In this paper, we survey (without proofs) some of the main results about quasidensity, and give some simple limiting examples in Hilbert spaces, reflexive Banach spaces, and nonreflexive Banach spaces.

math.FA↗

arXiv2016

Quasidense monotone multifunctions

In this paper, we discuss quasidense multifunctions from a Banach space into its dual, and use the two sum theorems proved in a previous paper to give various characterizations of quasidensity. We investigate the Fitzpatrick extension of such a multifunction. We prove that, for closed monotone multifunctions, quasidensity implies type (FPV) and strong maximality, and that quasidensity is equivalent to type (FP). This version differs from Version 3 in that a few minor errors have been corrected.

math.FA↗

arXiv2015

Bootstrapping the Mazur--Orlicz--K\"onig theorem

In this paper, we give some extensions of K\"onig's extension of the Mazur-Orlicz theorem. These extensions include generalizations of a surprising recent result of Sun Chuanfeng, and generalizations to the product of more than two spaces of the "Hahn-Banach-Lagrange" theorem.

math.FA↗

arXiv2015

Marginable functions on Fr\'echet spaces

This paper is about the technique of {\em shadow variables} that was used in the theory of monotone operators. In this paper, we use it to show that certain results that were originally proved for lower semicontinuous convex functions are in fact true for {\em marginable} convex functions.

math.FA↗

arXiv2014

Weak subdifferentials, $r_L$-density and maximal monotonicity

In this paper, we first investigate an abstract subdifferential for which (using Ekeland's variational principle) we can prove an analog of the Br{\o}ndsted-Rockafellar property. We introduce the "$r_L$-density" of a subset of the product of a Banach space with its dual. A closed $r_L$-dense monotone set is maximally monotone, but we will also consider the case of nonmonotone closed $r_L$-dense sets. As a special case of our results, we can prove Rockafellar's result that the subdifferential of a proper convex lower semicontinuous function is maximally monotone.

math.FA↗

arXiv2014

"Densities" and maximal monotonicity I

We discuss "Banach SN spaces", which include Hilbert spaces, negative Hilbert spaces, and the product of any real Banach space with its dual. We introduce "L-positive" sets, which generalize monotone multifunctions from a Banach space into its dual. We introduce the concepts of "$r_L$-density" and its specialization "quasidensity": the closed quasidense monotone multifunctions from a Banach space into its dual form a (generally) strict subset of the maximally monotone ones, though all surjective maximally monotone and all maximally monotone multifunctions on a reflexive space are quasidense. We give a sum theorem and a parallel sum theorem for closed monotone quasidense multifunctions under very general constraint conditions. That is to say, quasidensity obeys a very nice calculus rule. We give a short proof that the subdifferential of a proper convex lower semicontinuous function on a Banach space is quasidense, and deduce generalizations of the Brezis-Browder theorem on linear relations to non reflexive Banach spaces. We also prove that any closed monotone quasidense multifunction has a number of other very desirable properties. This version differs from the previous version in the removal of Sections 13-16, part of Section 17, and Section 18.

math.FA↗

arXiv2012

Polar subspaces and automatic maximality

This paper is about certain linear subspaces of Banach SN spaces (that is to say Banach spaces which have a symmetric nonexpansive linear map into their dual spaces). We apply our results to monotone linear subspaces of the product of a Banach space and its dual. In this paper, we establish several new results and also give improved proofs of some known ones in both the general and the special contexts.

math.FA↗

arXiv2011

Linear $L$-positive sets and their polar subspaces

In this paper, we define a Banach SNL space to be a Banach space with a certain kind of linear map from it into its dual, and we develop the theory of linear $L$-positive subsets of Banach SNL spaces with Banach SNL dual spaces. We use this theory to give simplified proofs of some recent results of Bauschke, Borwein, Wang and Yao, and also of the classical Brezis-Browder theorem.

math.FA↗

arXiv2011

The asymmetric sandwich theorem

We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations of the Fenchel duality theorem. Most of the results are about affine functions defined on convex subsets of vector spaces, rather than linear functions defined on vector spaces. We consider both results that use a simple boundedness hypothesis (as in Rockafellar's version of the Fenchel duality theorem) and also results that use Baire's theorem (as in the Robinson-Attouch-Brezis version of the Fenchel duality theorem). This paper also contains some new results about metrizable topological vector spaces that are not necessarily locally convex.

math.FA↗

arXiv2010

A Brezis-Browder theorem for SSDB spaces

In this paper, we show how the Brezis-Browder theorem for maximally monotone multifunctions with a linear graph on a reflexive Banach space, and a consequence of it due to Yao, can be generalized to SSDB spaces.

math.FA↗

arXiv2009

SSDB spaces and maximal monotonicity

In this paper, we develop some of the theory of SSD spaces and SSDB spaces, and deduce some results on maximally monotone multifunctions on a reflexive Banach space.

math.FA↗

arXiv2009

Banach SSD spaces and classes of monotone sets

In this paper, we unify the theory of SSD spaces and the theory of strongly representable sets, and we apply our results to the theory of the various classes of maximally monotone sets. In particular, we prove that type (ED), dense type, type (D), type (NI) and strongly representable are equivalent concepts and, consequently, that the known properties of strongly representable sets follow from known properties of sets of type (ED).

math.FA↗