Showing 1–45 of 45 results for author: Alves, M M

A general framework for inexact splitting algorithms with relative errors and applications to Chambolle-Pock and Davis-Yin methods

Authors: M. Marques Alves, Dirk A. Lorenz, Emanuele Naldi

Abstract: In this work we apply the recently introduced framework of degenerate preconditioned proximal point algorithms to the hybrid proximal extragradient (HPE) method for maximal monotone inclusions. The latter is a method that allows inexact proximal (or resolvent) steps where the error is controlled by a relative-error criterion. Recently the HPE framework has been extended to the Douglas-Rachford met… ▽ More In this work we apply the recently introduced framework of degenerate preconditioned proximal point algorithms to the hybrid proximal extragradient (HPE) method for maximal monotone inclusions. The latter is a method that allows inexact proximal (or resolvent) steps where the error is controlled by a relative-error criterion. Recently the HPE framework has been extended to the Douglas-Rachford method by Eckstein and Yao. In this paper we further extend the applicability of the HPE framework to splitting methods. To that end we use the framework of degenerate preconditioners that allows to write a large class of splitting methods as preconditioned proximal point algorithms. In this way we modify many splitting methods such that one or more of the resolvents can be computed inexactly with an error that is controlled by an adaptive criterion. Further, we illustrate the algorithmic framework in the case of Chambolle-Pock's primal dual hybrid gradient method and the Davis-Yin's forward Douglas-Rachford method. In both cases, the inexact computation of the resolvent shows clear advantages in computing time and accuracy. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 33 pages, 6 figures

A strongly convergent inertial inexact proximal-point algorithm for monotone inclusions with applications to variational inequalities

Authors: M. Marques Alves, J. E. Navarro Caballero, R. T. Marcavillaca

Abstract: We propose an inertial variant of the strongly convergent inexact proximal-point (PP) method of Solodov and Svaiter (2000) for monotone inclusions. We prove strong convergence of our main algorithm under less restrictive assumptions on the inertial parameters when compared to previous analysis of inertial PP-type algorithms, which makes our method of interest even in finite-dimensional settings. W… ▽ More We propose an inertial variant of the strongly convergent inexact proximal-point (PP) method of Solodov and Svaiter (2000) for monotone inclusions. We prove strong convergence of our main algorithm under less restrictive assumptions on the inertial parameters when compared to previous analysis of inertial PP-type algorithms, which makes our method of interest even in finite-dimensional settings. We also performed an iteration-complexity analysis and applied our main algorithm to variational inequalities for monotone operators, obtaining strongly convergent (inertial) variants of Korpolevich's extragradient, forward-backward and Tseng's modified forward-backward methods. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Partial actions of inverse categories and their algebras

Authors: Marcelo M. Alves, Willian G. G. Velasco

Abstract: In this work we introduce partial and global actions of inverse categories on posets in two variants, fibred actions and actions by symmetries. We study in detail actions of an inverse category $\mathcal{C}$ on specific subposets of the poset of finite subsets of $\mathcal{C}$, the Bernoulli actions. We show that to each fibred action of an inverse category on a poset there corresponds another inv… ▽ More In this work we introduce partial and global actions of inverse categories on posets in two variants, fibred actions and actions by symmetries. We study in detail actions of an inverse category $\mathcal{C}$ on specific subposets of the poset of finite subsets of $\mathcal{C}$, the Bernoulli actions. We show that to each fibred action of an inverse category on a poset there corresponds another inverse category, the semidirect product associated to the action. The Bernoulli actions give rise to the Szendrei expansions of $\mathcal{C}$, which define a endofunctor of the category of inverse categories. We extend the concept of enlargement from inverse semigroup theory to, and we show that if $\mathcal{D}$ is an enlargement of $\mathcal{C}$ then their Cauchy completions are equivalent categories; in particular, some pairs corresponding to partial and global Bernoulli actions are enlargements. We conclude by studying convolution algebras of finite inverse categories and showing that if $\mathcal{D}$ is an enlargement of $\mathcal{C}$ then their convolution algebras are Morita equivalent. Furthermore, using Kan extensions we also analyze the infinite case. △ Less

Submitted 21 May, 2024; originally announced May 2024.

MSC Class: 18B40; 20M18; 20M30; 16W22

A search-free $O(1/k^{3/2})$ homotopy inexact proximal-Newton extragradient algorithm for monotone variational inequalities

Authors: M. Marques Alves, João M. Pereira, Benar F. Svaiter

Abstract: We present and study the iteration-complexity of a relative-error inexact proximal-Newton extragradient algorithm for solving smooth monotone variational inequality problems in real Hilbert spaces. We removed a search procedure from Monteiro and Svaiter (2012) by introducing a novel approach based on homotopy, which requires the resolution (at each iteration) of a single strongly monotone linear v… ▽ More We present and study the iteration-complexity of a relative-error inexact proximal-Newton extragradient algorithm for solving smooth monotone variational inequality problems in real Hilbert spaces. We removed a search procedure from Monteiro and Svaiter (2012) by introducing a novel approach based on homotopy, which requires the resolution (at each iteration) of a single strongly monotone linear variational inequality. For a given tolerance $ρ>0$, our main algorithm exhibits pointwise $O\left(\frac{1}ρ\right)$ and ergodic $O\left(\frac{1}{ρ^{2/3}}\right)$ iteration-complexities. From a practical perspective, preliminary numerical experiments indicate that our main algorithm outperforms some previous proximal-Newton schemes. △ Less

Submitted 14 April, 2024; v1 submitted 10 August, 2023; originally announced August 2023.

MSC Class: 49M15; 90C06; 68Q25; 47N10

Morita equivalence and globalization for partial Hopf actions on nonunital algebras

Authors: Marcelo Muniz Alves, Tiago Luiz Ferrazza

Abstract: In this work we investigate partial actions of a Hopf algebra H on nonunital algebras and the associated partial smash products. We show that our partial actions correspond to nonunital algebras in the category of partial representations of H. The central problem of existence of a globalization for a partial action is studied in detail, and we provide sufficient conditions for the existence (and u… ▽ More In this work we investigate partial actions of a Hopf algebra H on nonunital algebras and the associated partial smash products. We show that our partial actions correspond to nonunital algebras in the category of partial representations of H. The central problem of existence of a globalization for a partial action is studied in detail, and we provide sufficient conditions for the existence (and uniqueness) of a minimal globalization for associative algebras in general. Extending previous results by Abadie, Dokuchaev, Exel and Simon, we define Morita equivalence for partial Hopf actions, and we show that if two symmetrical partial actions are Morita equivalent then their standard globalizations are also Morita equivalent. Particularizing to the case of a partial action on an algebra with local units, we obtain several strong results on equivalences of categories of modules of partial smash products of algebras and partial smash products of k-categories. △ Less

Submitted 27 October, 2022; v1 submitted 27 October, 2022; originally announced October 2022.

MSC Class: 16T05 (Primary); 16S40 (Secondary)

Projective splitting with backward, half-forward and proximal-Newton steps

Authors: M. Marques Alves

Abstract: We propose and study the weak convergence of a projective splitting algorithm for solving multi-term composite monotone inclusion problems involving the finite sum of $n$ maximal monotone operators, each of which having an inner four-block structure: sum of maximal monotone, Lipschitz continuous, cocoercive and smooth differentiable operators. We show how to perform backward and half-forward steps… ▽ More We propose and study the weak convergence of a projective splitting algorithm for solving multi-term composite monotone inclusion problems involving the finite sum of $n$ maximal monotone operators, each of which having an inner four-block structure: sum of maximal monotone, Lipschitz continuous, cocoercive and smooth differentiable operators. We show how to perform backward and half-forward steps with respect to the maximal monotone and Lipschitz$+$cocoercive components, respectively, while performing proximal-Newton steps with respect to smooth differentiable blocks. △ Less

Submitted 6 May, 2024; v1 submitted 22 August, 2022; originally announced August 2022.

Comments: Some typos corrected; Accepted in Journal of Convex Analysis; 30 pages

Quantum Inverse Semigroups

Authors: Marcelo Muniz Alves, Eliezer Batista, Francielle Kuerten Boeing

Abstract: In this work, the notion of a quantum inverse semigroup is introduced as a linearized generalization of inverse semigroups. Beyond the algebra of an inverse semigroup, which is the natural example of a quantum inverse semigroup, several other examples of this new structure are presented in different contexts, those are related to Hopf algebras, weak Hopf algebras, partial actions and Hopf categori… ▽ More In this work, the notion of a quantum inverse semigroup is introduced as a linearized generalization of inverse semigroups. Beyond the algebra of an inverse semigroup, which is the natural example of a quantum inverse semigroup, several other examples of this new structure are presented in different contexts, those are related to Hopf algebras, weak Hopf algebras, partial actions and Hopf categories. Finally, a generalized notion of local bisections are defined for commutative Hopf algebroids over a commutative base algebra giving rise to new examples of quantum inverse semigroups associated to Hopf algebroids in the same sense that inverse semigroups are related to groupoids. △ Less

Submitted 30 March, 2023; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: 1 figure. Revised version

MSC Class: 16T99 (Primary) 20M18; 18B40 (Secondary)

Variants of the A-HPE and large-step A-HPE algorithms for strongly convex problems with applications to accelerated high-order tensor methods

Authors: M. Marques Alves

Abstract: For solving strongly convex optimization problems, we propose and study the global convergence of variants of the A-HPE and large-step A-HPE algorithms of Monteiro and Svaiter. We prove linear and the superlinear $\mathcal{O}\left(k^{\,-k\left(\frac{p-1}{p+1}\right)}\right)$ global rates for the proposed variants of the A-HPE and large-step A-HPE methods, respectively. The parameter $p\geq 2$ appe… ▽ More For solving strongly convex optimization problems, we propose and study the global convergence of variants of the A-HPE and large-step A-HPE algorithms of Monteiro and Svaiter. We prove linear and the superlinear $\mathcal{O}\left(k^{\,-k\left(\frac{p-1}{p+1}\right)}\right)$ global rates for the proposed variants of the A-HPE and large-step A-HPE methods, respectively. The parameter $p\geq 2$ appears in the (high-order) large-step condition of the new large-step A-HPE algorithm. We apply our results to high-order tensor methods, obtaning a new inexact (relative-error) tensor method for (smooth) strongly convex optimization with iteration-complexity $\mathcal{O}\left(k^{\,-k\left(\frac{p-1}{p+1}\right)}\right)$. In particular, for $p=2$, we obtain an inexact Newton-proximal algorithm with fast global $\mathcal{O}\left(k^{\,-k/3}\right)$ convergence rate. △ Less

Submitted 4 October, 2021; v1 submitted 3 February, 2021; originally announced February 2021.

Comments: minor corrections; to appear in optimization methods and software

On level set type methods for elliptic Cauchy problems

Authors: A. Leitao, M. Marques Alves

Abstract: Two methods of level set type are proposed for solving the Cauchy problem for an elliptic equation. Convergence and stability results for both methods are proven, characterizing the iterative methods as regularization methods for this ill-posed problem. Some numerical experiments are presented, showing the efficiency of our approaches and verifying the convergence results. Two methods of level set type are proposed for solving the Cauchy problem for an elliptic equation. Convergence and stability results for both methods are proven, characterizing the iterative methods as regularization methods for this ill-posed problem. Some numerical experiments are presented, showing the efficiency of our approaches and verifying the convergence results. △ Less

Submitted 26 January, 2021; originally announced January 2021.

Comments: 22 pages, 7 figures

MSC Class: 65J20; 47A52

Journal ref: Inverse Problems 23 (2007), no. 5, 2207-2222

On the identification of piecewise constant coefficients in optical diffusion tomography by level set

Authors: J. P. Agnelli, A. De Cezaro, A. Leitao, M. Marques Alves

Abstract: In this paper, we propose a level set regularization approach combined with a split strategy for the simultaneous identification of piecewise constant diffusion and absorption coefficients from a finite set of optical tomography data (Neumann-to-Dirichlet data). This problem is a high nonlinear inverse problem combining together the exponential and mildly ill-posedness of diffusion and absorption… ▽ More In this paper, we propose a level set regularization approach combined with a split strategy for the simultaneous identification of piecewise constant diffusion and absorption coefficients from a finite set of optical tomography data (Neumann-to-Dirichlet data). This problem is a high nonlinear inverse problem combining together the exponential and mildly ill-posedness of diffusion and absorption coefficients, respectively. We prove that the parameter-to-measurement map satisfies sufficient conditions (continuity in the $L^1$ topology) to guarantee regularization properties of the proposed level set approach. On the other hand, numerical tests considering different configurations bring new ideas on how to propose a convergent split strategy for the simultaneous identification of the coefficients. The behavior and performance of the proposed numerical strategy is illustrated with some numerical examples. △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: 25 pages, 7 figures

MSC Class: 49N45; 65N21; 74J25

Journal ref: ESAIM: Control, Optimisation and Calculus of Variations 23 (2017), 663-683

Homology and cohomology via the partial group algebra

Authors: Marcelo Muniz Alves, Mikhailo Dokuchaev, Dessislava H. Kochloukova

Abstract: We study partial homology and cohomology from ring theoretic point of view via the partial group algebra $\mathbb{K}_{par}G$. In particular, we link the partial homology and cohomology of a group $G$ with coefficients in an irreducible (resp. indecomposable) $\mathbb{K}_{par}G$-module with the ordinary homology and cohomology groups of $G$ with in general non-trivial coefficients. Furthermore, we… ▽ More We study partial homology and cohomology from ring theoretic point of view via the partial group algebra $\mathbb{K}_{par}G$. In particular, we link the partial homology and cohomology of a group $G$ with coefficients in an irreducible (resp. indecomposable) $\mathbb{K}_{par}G$-module with the ordinary homology and cohomology groups of $G$ with in general non-trivial coefficients. Furthermore, we compare the standard cohomological dimension $cd_{ \ \mathbb{K}}(G)$ (over a field $\mathbb{K}$) with the partial cohomological dimension $cd_{ \ \mathbb{K}}^{par}(G)$ (over $\mathbb{K}$) and show that $cd_{ \ \mathbb{K}}^{par}(G) \geq cd_{ \ \mathbb{K}}(G)$ and that there is equality for $G = \mathbb{Z}$. △ Less

Submitted 9 November, 2023; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: The statement of Corollary C was changed and Section 6 was basically rewritten as several of the results there were not correct. Section 7 was removed. Some other small changes were made through the text

MSC Class: Primary 20J05; Secondary 16E30; 20J06

A relative-error inertial-relaxed inexact projective splitting algorithm

Authors: M. Marques Alves, Marina Geremia, Raul T. Marcavillaca

Abstract: For solving structured monotone inclusion problems involving the sum of finitely many maximal monotone operators, we propose and study a relative-error inertial-relaxed inexact projective splitting algorithm. The proposed algorithm benefits from a combination of inertial and relaxation effects, which are both controlled by parameters within a certain range. We propose sufficient conditions on thes… ▽ More For solving structured monotone inclusion problems involving the sum of finitely many maximal monotone operators, we propose and study a relative-error inertial-relaxed inexact projective splitting algorithm. The proposed algorithm benefits from a combination of inertial and relaxation effects, which are both controlled by parameters within a certain range. We propose sufficient conditions on these parameters and study the interplay between them in order to guarantee weak convergence of sequences generated by our algorithm. Additionally, the proposed algorithm also benefits from inexact subproblem solution within a relative-error criterion. Illustrative numerical experiments on LASSO problems indicate some improvement when compared with previous (noninertial and exact) versions of projective splitting. △ Less

Submitted 24 January, 2023; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: some typos corrected. Accepted for publication in Journal of Convex Analysis

Partial corepresentations of Hopf Algebras

Authors: Marcelo Muniz S . Alves, Eliezer Batista, Felipe Castro, Glauber Quadros, Joost Vercruysse

Abstract: We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the original Hopf algebra $H$, such that the category of regular partial $H$-comodules is isomorphic to the category of $H^{par}$-comodules. We introduce the notion… ▽ More We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the original Hopf algebra $H$, such that the category of regular partial $H$-comodules is isomorphic to the category of $H^{par}$-comodules. We introduce the notion of a Hopf coalgebroid and show that the universal coalgebra $H^{par}$ has the structure of a Hopf coalgebroid over a suitable coalgebra. △ Less

Submitted 9 March, 2021; v1 submitted 20 November, 2019; originally announced November 2019.

Comments: 41 papes, v2:several small corrections, final version as accepted for publication in Journal of Algebra

MSC Class: 16T05; 16S40

Relative-error inertial-relaxed inexact versions of Douglas-Rachford and ADMM splitting algorithms

Authors: M. Marques Alves, Jonathan Eckstein, Marina Geremia, Jefferson Melo

Abstract: This paper derives new inexact variants of the Douglas-Rachford splitting method for maximal monotone operators and the alternating direction method of multipliers (ADMM) for convex optimization. The analysis is based on a new inexact version of the proximal point algorithm that includes both an inertial step and overrelaxation. We apply our new inexact ADMM method to LASSO and logistic regression… ▽ More This paper derives new inexact variants of the Douglas-Rachford splitting method for maximal monotone operators and the alternating direction method of multipliers (ADMM) for convex optimization. The analysis is based on a new inexact version of the proximal point algorithm that includes both an inertial step and overrelaxation. We apply our new inexact ADMM method to LASSO and logistic regression problems and obtain somewhat better computational performance than earlier inexact ADMM methods. △ Less

Submitted 23 April, 2019; originally announced April 2019.

Polynomial Invariant Theory and Shape Enumerator of Self-Dual Codes in the NRT-Metric

Authors: Welington Santos, Marcelo Muniz Silva Alves

Abstract: In this paper we consider self-dual NRT-codes, that is, self-dual codes in the metric space endowed with the Niederreiter-Rosenbloom-Tsfasman (NRT-metric). We use polynomial invariant theory to describe the shape enumerator of a binary self-dual, doubly even self-dual, and doubly-doubly even self dual NRT-code $C\subseteq M_{n,2}(\mathbb{F}_{2})$. Motivated by these results we describe the number… ▽ More In this paper we consider self-dual NRT-codes, that is, self-dual codes in the metric space endowed with the Niederreiter-Rosenbloom-Tsfasman (NRT-metric). We use polynomial invariant theory to describe the shape enumerator of a binary self-dual, doubly even self-dual, and doubly-doubly even self dual NRT-code $C\subseteq M_{n,2}(\mathbb{F}_{2})$. Motivated by these results we describe the number of invariant polinomials that we must find to describe the shape enumerator of a self-dual NRT-code of $M_{n,s}(\mathbb{F}_{2})$. We define the ordered flip of a matrix $A\in M_{k,ns}(\mathbb{F}_{q})$ and present some constructions of self-dual NRT-codes over $\mathbb{F}_{q}$. We further give an application of ordered flip to the classification of bidimensional self-dual NRT-codes. △ Less

Submitted 8 April, 2019; originally announced April 2019.

MSC Class: 11T71; 68P30; 13A50

On inexact relative-error hybrid proximal extragradient, forward-backward and Tseng's modified forward-backward methods with inertial effects

Authors: M. Marques Alves, Raul T. Marcavillaca

Abstract: In this paper, we propose and study the asymptotic convergence and nonasymptotic global convergence rates (iteration-complexity) of an inertial under-relaxed version of the relative-error hybrid proximal extragradient (HPE) method for solving monotone inclusion problems. We analyze the proposed method under more flexible assumptions than existing ones on the extrapolation and relative-error parame… ▽ More In this paper, we propose and study the asymptotic convergence and nonasymptotic global convergence rates (iteration-complexity) of an inertial under-relaxed version of the relative-error hybrid proximal extragradient (HPE) method for solving monotone inclusion problems. We analyze the proposed method under more flexible assumptions than existing ones on the extrapolation and relative-error parameters. As applications, we propose and/or study inertial under-relaxed forward-backward and Tseng's modified forward-backward type methods for solving structured monotone inclusions. △ Less

Submitted 5 December, 2018; originally announced December 2018.

Dilations of partial representations of Hopf algebras

Authors: Marcelo Muniz S. Alves, Eliezer Batista, Joost Vercruysse

Abstract: We introduce the notion of a dilation for a partial representation (i.e. a partial module) of a Hopf algebra, which in case the partial representation origins from a partial action (i.e.a partial module algebra) coincides with the enveloping action (or globalization). This construction leads to categorical equivalences between the category of partial $H$-modules, a category of (global) $H$-modules… ▽ More We introduce the notion of a dilation for a partial representation (i.e. a partial module) of a Hopf algebra, which in case the partial representation origins from a partial action (i.e.a partial module algebra) coincides with the enveloping action (or globalization). This construction leads to categorical equivalences between the category of partial $H$-modules, a category of (global) $H$-modules endowed with a projection satisfying a suitable commutation relation and the category of modules over a (global) smash product constructed upon $H$, from which we deduce the structure of a Hopfish algebra on this smash product. These equivalences are used to study the interactions between partial and global representation theory. △ Less

Submitted 13 February, 2019; v1 submitted 8 February, 2018; originally announced February 2018.

Comments: 25 pages. Corrected several typos, final version to appear in Journal of the London Mathematical Society

Iteration complexity of an inexact Douglas-Rachford method and of a Douglas-Rachford-Tseng's F-B four-operator splitting method for solving monotone inclusions

Authors: M. Marques Alves, M. Geremia

Abstract: In this paper, we propose and study the iteration complexity of an inexact Douglas-Rachford splitting (DRS) method and a Douglas-Rachford-Tseng's forward-backward (F-B) splitting method for solving two-operator and four-operator monotone inclusions, respectively. The former method (although based on a slightly different mechanism of iteration) is motivated by the recent work of J. Eckstein and W.… ▽ More In this paper, we propose and study the iteration complexity of an inexact Douglas-Rachford splitting (DRS) method and a Douglas-Rachford-Tseng's forward-backward (F-B) splitting method for solving two-operator and four-operator monotone inclusions, respectively. The former method (although based on a slightly different mechanism of iteration) is motivated by the recent work of J. Eckstein and W. Yao, in which an inexact DRS method is derived from a special instance of the hybrid proximal extragradient (HPE) method of Solodov and Svaiter, while the latter one combines the proposed inexact DRS method (used as an outer iteration) with a Tseng's F-B splitting type method (used as an inner iteration) for solving the corresponding subproblems. We prove iteration complexity bounds for both algorithms in the pointwise (non-ergodic) as well as in the ergodic sense by showing that they admit two different iterations: one that can be embedded into the HPE method, for which the iteration complexity is known since the work of Monteiro and Svaiter, and another one which demands a separate analysis. Finally, we perform simple numerical experiments %on three-operator and four-operator monotone inclusions to show the performance of the proposed methods when compared with other existing algorithms. △ Less

Submitted 30 November, 2017; originally announced November 2017.

On the convergence rate of the scaled proximal decomposition on the graph of a maximal monotone operator (SPDG) algorithm

Authors: S. Costa Lima, M. Marques Alves

Abstract: Relying on fixed point techniques, Mahey, Oualibouch and Tao introduced the scaled proximal decomposition on the graph of a maximal monotone operator (SPDG) algorithm and analyzed its performance on inclusions for strongly monotone and Lipschitz continuous operators. The SPDG algorithm generalizes the Spingarn's partial inverse method by allowing scaling factors, a key strategy to speed up the con… ▽ More Relying on fixed point techniques, Mahey, Oualibouch and Tao introduced the scaled proximal decomposition on the graph of a maximal monotone operator (SPDG) algorithm and analyzed its performance on inclusions for strongly monotone and Lipschitz continuous operators. The SPDG algorithm generalizes the Spingarn's partial inverse method by allowing scaling factors, a key strategy to speed up the convergence of numerical algorithms. In this note, we show that the SPDG algorithm can alternatively be analyzed by means of the original Spingarn's partial inverse framework, tracing back to the 1983 Spingarn's paper. We simply show that under the assumptions considered by Mahey, Oualibouch and Tao, the Spingarn's partial inverse of the underlying maximal monotone operator is strongly monotone, which allows one to employ recent results on the convergence and iteration-complexity of proximal point type methods for strongly monotone operators. By doing this, we additionally obtain a potentially faster convergence for the SPDG algorithm and a more accurate upper bound on the number of iterations needed to achieve prescribed tolerances, specially on ill-conditioned problems. △ Less

Submitted 28 November, 2017; v1 submitted 27 November, 2017; originally announced November 2017.

Pointwise and ergodic convergence rates of a variable metric proximal ADMM

Authors: Max L. N. Goncalves, Jefferson G. Melo, M. Marques Alves

Abstract: In this paper, we obtain global $\mathcal{O} (1/ \sqrt{k})$ pointwise and $\mathcal{O} (1/ {k})$ ergodic convergence rates for a variable metric proximal alternating direction method of multipliers(VM-PADMM) for solving linearly constrained convex optimization problems. The VM-PADMM can be seen as a class of ADMM variants, allowing the use of degenerate metrics (defined by noninvertible linear ope… ▽ More In this paper, we obtain global $\mathcal{O} (1/ \sqrt{k})$ pointwise and $\mathcal{O} (1/ {k})$ ergodic convergence rates for a variable metric proximal alternating direction method of multipliers(VM-PADMM) for solving linearly constrained convex optimization problems. The VM-PADMM can be seen as a class of ADMM variants, allowing the use of degenerate metrics (defined by noninvertible linear operators). We first propose and study nonasymptotic convergence rates of a variable metric hybrid proximal extragradient (VM-HPE) framework for solving monotone inclusions. Then, the above-mentioned convergence rates for the VM-PADMM are obtained essentially by showing that it falls within the latter framework. To the best of our knowledge, this is the first time that global pointwise (resp. pointwise and ergodic) convergence rates are obtained for the VM-PADMM (resp. VM-HPE framework). △ Less

Submitted 4 May, 2017; v1 submitted 21 February, 2017; originally announced February 2017.

Cohomology of partial smash products

Authors: Edson Ribeiro Alvares, Marcelo Muniz Alves, Maria Julia Redondo

Abstract: We define the partial group cohomology as the right derived functor of the functor of partial invariants, we relate this cohomology with partial derivations and with the partial augmentation ideal and we show that there exists a Grothendieck spectral sequence relating cohomology of partial smash algebras with partial group cohomology and algebra cohomology. We define the partial group cohomology as the right derived functor of the functor of partial invariants, we relate this cohomology with partial derivations and with the partial augmentation ideal and we show that there exists a Grothendieck spectral sequence relating cohomology of partial smash algebras with partial group cohomology and algebra cohomology. △ Less

Submitted 21 June, 2017; v1 submitted 8 November, 2016; originally announced November 2016.

Comments: Final version to appear in the Journal of Algebra, 21 pages. Misprint corrected in page 11 and Proposition 3.3 concerning partial derivations

An Inexact Spingarn's Partial Inverse Method with Applications to Operator Splitting and Composite Optimization

Authors: S. Costa Lima, M. Marques Alves

Abstract: We propose and study the iteration-complexity of an inexact version of the Spingarn's partial inverse method. Its complexity analysis is performed by viewing it in the framework of the hybrid proximal extragradient (HPE) method, for which pointwise and ergodic iteration-complexity has been established recently by Monteiro and Svaiter. As applications, we propose and analyze the iteration-complexit… ▽ More We propose and study the iteration-complexity of an inexact version of the Spingarn's partial inverse method. Its complexity analysis is performed by viewing it in the framework of the hybrid proximal extragradient (HPE) method, for which pointwise and ergodic iteration-complexity has been established recently by Monteiro and Svaiter. As applications, we propose and analyze the iteration-complexity of an inexact operator splitting algorithm -- which generalizes the original Spingarn's splitting method -- and of a parallel forward-backward algorithm for multi-term composite convex optimization. △ Less

Submitted 30 October, 2016; originally announced October 2016.

A Quantitative Model for Predicting Cross-application Interference in Virtual Environments

Authors: Maicon Melo Alves, Lúcia Maria de Assumpção Drummond

Abstract: Cross-application interference can affect drastically performance of HPC applications when running in clouds. This problem is caused by concurrent access performed by co-located applications to shared and non-sliceable resources such as cache and memory. In order to address this issue, some works adopted a qualitative approach that does not take into account the amount of access to shared resource… ▽ More Cross-application interference can affect drastically performance of HPC applications when running in clouds. This problem is caused by concurrent access performed by co-located applications to shared and non-sliceable resources such as cache and memory. In order to address this issue, some works adopted a qualitative approach that does not take into account the amount of access to shared resources. In addition, a few works, even considering the amount of access, evaluated just the SLLC access contention as the root of this problem. However, our experiments revealed that interference is intrinsically related to the amount of simultaneous access to shared resources, besides showing that another shared resources, apart from SLLC, can also influence the interference suffered by co-located applications. In this paper, we present a quantitative model for predicting cross-application interference in virtual environments. Our proposed model takes into account the amount of simultaneous access to SLLC, DRAM and virtual network, and the similarity of application's access burden to predict the level of interference suffered by applications when co-located in a same physical machine. Experiments considering a real petroleum reservoir simulator and applications from HPCC benchmark showed that our model reached an average and maximum prediction errors around 4\% and 12\%, besides achieving an error less than 10\% in approximately 96\% of all tested cases. △ Less

Submitted 13 October, 2016; originally announced October 2016.

Comments: 14 pages, 6 figures, 6 tables

Iteration-complexity of a Rockafellar's proximal method of multipliers for convex programming based on second-order approximations

Authors: M. Marques Alves, R. D. C. Monteiro, Benar F. Svaiter

Abstract: This paper studies the iteration-complexity of a new primal-dual algorithm based on Rockafellar's proximal method of multipliers (PMM) for solving smooth convex programming problems with inequality constraints. In each step, either a step of Rockafellar's PMM for a second-order model of the problem is computed or a relaxed extragradient step is performed. The resulting algorithm is a (large-step)… ▽ More This paper studies the iteration-complexity of a new primal-dual algorithm based on Rockafellar's proximal method of multipliers (PMM) for solving smooth convex programming problems with inequality constraints. In each step, either a step of Rockafellar's PMM for a second-order model of the problem is computed or a relaxed extragradient step is performed. The resulting algorithm is a (large-step) relaxed hybrid proximal extragradient (r-HPE) method of multipliers, which combines Rockafellar's PMM with the r-HPE method. △ Less

Submitted 22 February, 2016; originally announced February 2016.

MSC Class: 90C25; 90C30; 47H05

On cyclotomic cosets and code constructions

Authors: Giuliano Gadioli La Guardia, Marcelo Muniz Silva Alves

Abstract: New properties of $q$-ary cyclotomic cosets modulo $n = q^{m} - 1$, where $q \geq 3$ is a prime power, are investigated in this paper. Based on these properties, the dimension as well as bounds for the designed distance of some families of classical cyclic codes can be computed. As an application, new families of nonbinary Calderbank-Shor-Steane (CSS) quantum codes as well as new families of convo… ▽ More New properties of $q$-ary cyclotomic cosets modulo $n = q^{m} - 1$, where $q \geq 3$ is a prime power, are investigated in this paper. Based on these properties, the dimension as well as bounds for the designed distance of some families of classical cyclic codes can be computed. As an application, new families of nonbinary Calderbank-Shor-Steane (CSS) quantum codes as well as new families of convolutional codes are constructed in this work. These new CSS codes have parameters better than the ones available in the literature. The convolutional codes constructed here have free distance greater than the ones available in the literature. △ Less

Submitted 12 November, 2015; originally announced November 2015.

Comments: Accepted for publication in Linear Algebra and its Applications

Journal ref: Linear Algebra and its Applications, v. 488, p. 302-319, 2016

Regularized HPE-type methods for solving monotone inclusions with improved pointwise iteration-complexity bounds

Authors: Maicon Marques Alves, Renato D. C. Monteiro, Benar F. Svaiter

Abstract: This paper studies the iteration-complexity of new regularized hybrid proximal extragradient (HPE)-type methods for solving monotone inclusion problems (MIPs). The new (regularized HPE-type) methods essentially consist of instances of the standard HPE method applied to regularizations of the original MIP. It is shown that its pointwise iteration-complexity considerably improves the one of the HPE… ▽ More This paper studies the iteration-complexity of new regularized hybrid proximal extragradient (HPE)-type methods for solving monotone inclusion problems (MIPs). The new (regularized HPE-type) methods essentially consist of instances of the standard HPE method applied to regularizations of the original MIP. It is shown that its pointwise iteration-complexity considerably improves the one of the HPE method while approaches (up to a logarithmic factor) the ergodic iteration-complexity of the latter method. △ Less

Submitted 8 September, 2015; originally announced September 2015.

Globalization of Twisted partial Hopf actions

Authors: Marcelo M. S. Alves, Eliezer Batista, Michael Dokuchaev, Antonio Paques

Abstract: In this work, we review some properties of twisted partial actions of Hopf algebras on unital algebras and give necessary and sufficient conditions for a twisted partial action to have a globalization. We also elaborate a series of examples. In this work, we review some properties of twisted partial actions of Hopf algebras on unital algebras and give necessary and sufficient conditions for a twisted partial action to have a globalization. We also elaborate a series of examples. △ Less

Submitted 28 February, 2015; originally announced March 2015.

Comments: 31 pages

MSC Class: 16T05; 16S40

Journal ref: J. Aust. Math. Soc. 101 (2016) 1-28

A dynamic approach to a proximal-Newton method for monotone inclusions in Hilbert spaces, with complexity O(1/n^2)

Authors: Hedy Attouch, Maicon Marques Alves, Benar F. Svaiter

Abstract: In a Hilbert setting, we introduce a new dynamical system and associated algorithms for solving monotone inclusions by rapid methods. Given a maximal monotone operator $A$, the evolution is governed by the time dependent operator $I -(I + λ(t) {A})^{-1}$, where the positive control parameter $λ(t)$ tends to infinity as $t \to + \infty$. The tuning of $ λ(\cdot) $ is done in a closed-loop way, by… ▽ More In a Hilbert setting, we introduce a new dynamical system and associated algorithms for solving monotone inclusions by rapid methods. Given a maximal monotone operator $A$, the evolution is governed by the time dependent operator $I -(I + λ(t) {A})^{-1}$, where the positive control parameter $λ(t)$ tends to infinity as $t \to + \infty$. The tuning of $ λ(\cdot) $ is done in a closed-loop way, by resolution of the algebraic equation $λ\norm{(I + λ{A})^{-1}x -x}=θ$, where $θ$ is a positive given constant. The existence and uniqueness of a strong global solution for the Cauchy problem follows from Cauchy-Lipschitz theorem. We prove the weak convergence of the trajectories to equilibria, and superlinear convergence under an error bound condition. When $A =\partial f$ is the subdifferential of a closed convex function $f$, we show a $\bigo(1/t^2)$ convergence property of $f(x(t))$ to the infimal value of the problem. Then, we introduce proximal-like algorithms which can be obtained by time discretization of the continuous dynamic, and which share the same fast convergence properties. As distinctive features, we allow a relative error tolerance for the solution of the proximal subproblem similar to the ones proposed in ~\cite{So-Sv1, So-Sv2}, and a large step condition, as proposed in~\cite{MS1,MS2}. For general convex minimization problems, the complexity is $\bigo(1/n^2)$. In the regular case, we show the global quadratic convergence of an associated proximal-Newton method. △ Less

Submitted 16 April, 2015; v1 submitted 15 February, 2015; originally announced February 2015.

Comments: Some minor changes have been made; results on superlinear and quadratic convergence have also been added, on Subsections 3.2 and 7.1, respectively

Lower Limits of Type (D) Monotone Operators in general Banach Spaces

Authors: Orestes Bueno, Yboon García, Maicon Marques Alves

Abstract: We give, for general Banach spaces, a characterization of the sequential lower limit of maximal monotone operators of type (D) and prove its representability. As a consequence, using a recent extension of the Moreau-Yosida regularization for type (D) operators, we extend to general Banach spaces the definitions of the variational sum of monotone operators and the variational composition of monoton… ▽ More We give, for general Banach spaces, a characterization of the sequential lower limit of maximal monotone operators of type (D) and prove its representability. As a consequence, using a recent extension of the Moreau-Yosida regularization for type (D) operators, we extend to general Banach spaces the definitions of the variational sum of monotone operators and the variational composition of monotone operators with continuous linear mappings, and we prove that both operators are representable. △ Less

Submitted 18 December, 2014; originally announced December 2014.

MSC Class: 46H05; 49J52; 46N10

Partial Representations of Hopf Algebras

Authors: Marcelo Muniz S. Alves, Eliezer Batista, Joost Vercruysse

Abstract: In this work, the notion of partial representation of a Hopf algebra is introduced and its relationship with partial actions of Hopf algebras is explored. Given a Hopf algebra $H$, one can associate it to a Hopf algebroid $H_{par}$ which has the universal property that each partial representation of $H$ can be factorized by an algebra morphism from $H_{par}$. We define also the category of partial… ▽ More In this work, the notion of partial representation of a Hopf algebra is introduced and its relationship with partial actions of Hopf algebras is explored. Given a Hopf algebra $H$, one can associate it to a Hopf algebroid $H_{par}$ which has the universal property that each partial representation of $H$ can be factorized by an algebra morphism from $H_{par}$. We define also the category of partial modules over a Hopf algebra $H$, which is the category of modules over its associated Hopf algebroid $H_{par}$. The Hopf algebroid structure of $H_{par}$ enables us to enhance the category of partial $H$ modules with a monoidal structure and such that the algebra objects in this category are the usual partial actions. Some examples of categories of partial $H$ modules are explored. In particular we can describe fully the category of partially $\mathbb{Z}_2$-graded modules. △ Less

Submitted 20 September, 2013; v1 submitted 6 September, 2013; originally announced September 2013.

Comments: 39 pages, version 2: some additions in the section on partial gradings and minor corrections elsewhere

MSC Class: 16T05; 16S40; 16S35; 16W50

Partial Hopf module categories

Authors: Edson R. Alvares, Marcelo M. S. Alves, Eliezer Batista

Abstract: The effectiveness of the aplication of constructions in $G$-graded $k$-categories to the computation of the fundamental group of a finite dimensional $k$-algebra, alongside with open problems still left untouched by those methods and new problems arisen from the introduction of the concept of fundamental group of a $k$-linear category, motivated the investigation of $H$-module categories, i.e., ac… ▽ More The effectiveness of the aplication of constructions in $G$-graded $k$-categories to the computation of the fundamental group of a finite dimensional $k$-algebra, alongside with open problems still left untouched by those methods and new problems arisen from the introduction of the concept of fundamental group of a $k$-linear category, motivated the investigation of $H$-module categories, i.e., actions of a Hopf algebra $H$ on a $k$-linear category. The $G$-graded case corresponds then to actions of the Hopf algebra $k^G$ on a $k$-linear category. In this work we take a step further and introduce partial $H$-module categories. We extend several results of partial $H$-module algebras to this context, such as the globalization theorem, the construction of the partial smash product and the Morita equivalence of this category with the smash product over a globalization. We also present a detailed description of partial actions of $k^G$. △ Less

Submitted 15 February, 2012; originally announced February 2012.

Comments: 28 pages

MSC Class: 16T05; 16S35; 16S40; 18E05; 16D90

Twisted partial actions of Hopf algebras

Authors: Marcelo Muniz S. Alves, Eliezer Batista, Michael Dokuchaev, Antonio Paques

Abstract: In this work, the notion of a twisted partial Hopf action is introduced as a unified approach for twisted partial group actions, partial Hopf actions and twisted actions of Hopf algebras. The conditions on partial cocycles are established in order to construct partial crossed products, which are also related to partially cleft extensions of algebras. Examples are elaborated using algebraic groups. In this work, the notion of a twisted partial Hopf action is introduced as a unified approach for twisted partial group actions, partial Hopf actions and twisted actions of Hopf algebras. The conditions on partial cocycles are established in order to construct partial crossed products, which are also related to partially cleft extensions of algebras. Examples are elaborated using algebraic groups. △ Less

Submitted 4 November, 2011; originally announced November 2011.

MSC Class: 16T05 (Primary) 16W50; 16W22; 16S35 (Secondary)

A standard form for generator matrices with respect to the Niederreiter-Rosenbloom-Tsfasman metric

Authors: Marcelo Muniz S. Alves

Abstract: In this note, we present an analogue for codes in vector spaces with a Rosenbloom-Tsfasman metric of the well-known standard form of generator matrices for codes in spaces with the Hamming metric. In this note, we present an analogue for codes in vector spaces with a Rosenbloom-Tsfasman metric of the well-known standard form of generator matrices for codes in spaces with the Hamming metric. △ Less

Submitted 11 May, 2011; originally announced May 2011.

MSC Class: 11T71

Globalization theorems for partial Hopf (co)actions, and some of their applications

Authors: Marcelo Muniz S. Alves, Eliezer Batista

Abstract: Partial actions of Hopf algebras can be considered as a generalization of partial actions of groups on algebras. Among important properties of partial Hopf actions, it is possible to prove the existence of enveloping actions, i.e., every partial Hopf action on a algebra A is induced by a Hopf action on a algebra B that contains A as a right ideal. This globalization theorem allows to extend severa… ▽ More Partial actions of Hopf algebras can be considered as a generalization of partial actions of groups on algebras. Among important properties of partial Hopf actions, it is possible to prove the existence of enveloping actions, i.e., every partial Hopf action on a algebra A is induced by a Hopf action on a algebra B that contains A as a right ideal. This globalization theorem allows to extend several results from the theory of partial group actions to the Hopf algebraic setting. In this article, we prove a dual version of the globalization theorem: that every partial coaction of a Hopf algebra admits an enveloping coaction. We also show how this works on a series of examples which go beyond partial group actions. Finally, we explore some consequences of globalization theorems in order to present versions of the duality theorems of Cohen-Montgomery and Blattner-Montgomery for partial Hopf actions. △ Less

Submitted 18 August, 2010; v1 submitted 14 May, 2010; originally announced May 2010.

Comments: A second version of the duality theorems of Blattner-Montgomery and Cohen-Montgomery is added. Paper to be published in Contemporary Mathematics

MSC Class: 16W30 (Primary); 57T05 (Secondary); 16S40; 16S35

A note on quadrangular embedding of Abelian Cayley Graphs

Authors: J. E. Strapasson, S. I. R. Costa, M. M. S. Alves

Abstract: The genus graphs have been studied by many authors, but just a few results concerning in special cases: Planar, Toroidal, Complete, Bipartite and Cartesian Product of Bipartite. We present here a derive general lower bound for the genus of a abelian Cayley graph and construct a family of circulant graphs which reach this bound. The genus graphs have been studied by many authors, but just a few results concerning in special cases: Planar, Toroidal, Complete, Bipartite and Cartesian Product of Bipartite. We present here a derive general lower bound for the genus of a abelian Cayley graph and construct a family of circulant graphs which reach this bound. △ Less

Submitted 4 January, 2016; v1 submitted 1 April, 2010; originally announced April 2010.

MSC Class: 05C50; 05E20; 52C07; 05C10

On Gossez type (D) maximal monotone operators

Authors: B. F. Svaiter, M. Marques Alves

Abstract: Gossez type (D) operators are defined in non-reflexive Banach spaces and share with the subdifferential a topological related property, characterized by bounded nets. In this work we present new properties and characterizations of these operators. The class (NI) was defined after Gossez defined the class (D) and seemed to generalize the class (D). One of our main results is the proof that these cl… ▽ More Gossez type (D) operators are defined in non-reflexive Banach spaces and share with the subdifferential a topological related property, characterized by bounded nets. In this work we present new properties and characterizations of these operators. The class (NI) was defined after Gossez defined the class (D) and seemed to generalize the class (D). One of our main results is the proof that these classes, type (D) and (NI), are identical. △ Less

Submitted 14 July, 2012; v1 submitted 30 March, 2009; originally announced March 2009.

Comments: Added one reference. Added Corollary 4.3, which is a trivial, but interesting, consequence of Lemma 4.1 and Theorem 4.2

MSC Class: 47H05; 46T99; 47N10

Journal ref: Journal of Convex Analysis, 17 (2010), pp 1077--1088

The Symmetries of the $π$-metric

Authors: Marcelo Muniz S. Alves, Luciano Panek

Abstract: Let V be an n-dimensional vector space over a finite field F_q. We consider on V the $π$-metric recently introduced by K. Feng, L. Xu and F. J. Hickernell. In this short note we give a complete description of the group of symmetries of V under the $π$-metric. Let V be an n-dimensional vector space over a finite field F_q. We consider on V the $π$-metric recently introduced by K. Feng, L. Xu and F. J. Hickernell. In this short note we give a complete description of the group of symmetries of V under the $π$-metric. △ Less

Submitted 8 January, 2009; originally announced January 2009.

Partial Hopf actions, partial invariants and a Morita context

Authors: Marcelo Muniz S. Alves, Eliezer Batista

Abstract: Partial actions of Hopf algebras can be considered as a generalization of partial actions of groups on algebras. Among important properties of partial Hopf actions, it is possible to assure the existence of enveloping actions. This allows to extend several results from the theory of partial group actions to the Hopf algebraic setting. In this article, we explore some properties of the fixed poin… ▽ More Partial actions of Hopf algebras can be considered as a generalization of partial actions of groups on algebras. Among important properties of partial Hopf actions, it is possible to assure the existence of enveloping actions. This allows to extend several results from the theory of partial group actions to the Hopf algebraic setting. In this article, we explore some properties of the fixed point subalgebra with relations to a partial action of a Hopf algebra. We also construct, for partial actions of finite dimensional Hopf algebras a Morita context relating the fixed point subalgebra and the partial smash product. This is a generalization of a well known result in the theory of Hopf algebras for the case of partial actions. Finally, we study Hopf-Galois extensions and reobtain some classical results in the partial case. △ Less

Submitted 8 October, 2009; v1 submitted 7 January, 2009; originally announced January 2009.

Comments: revised version with a new section on Partial Hopf-Galois theory added. To be published in "Algebra and Discrete Mathematics"

MSC Class: 16W30 (Primary); 57T05; 16S40; 16S35 (Secondary)

Maximal monotonicity, conjugation and the duality product in non-reflexive Banach spaces

Authors: M. Marques Alves, B. F. Svaiter

Abstract: Maximal monotone operators on a Banach space into its dual can be represented by convex functions bounded below by the duality product. It is natural to ask under which conditions a convex function represents a maximal monotone operator. A satisfactory answer, in the context of reflexive Banach spaces, has been obtained some years ago. Recently, a partial result on non-reflexive Banach spaces wa… ▽ More Maximal monotone operators on a Banach space into its dual can be represented by convex functions bounded below by the duality product. It is natural to ask under which conditions a convex function represents a maximal monotone operator. A satisfactory answer, in the context of reflexive Banach spaces, has been obtained some years ago. Recently, a partial result on non-reflexive Banach spaces was obtained. In this work we study some others conditions which guarantee that a convex function represents a maximal monotone operator in non-reflexive Banach spaces. △ Less

Submitted 23 September, 2008; originally announced September 2008.

MSC Class: 47H05; 49J52; 47N10.

Enveloping Actions for Partial Hopf Actions

Authors: Marcelo Muniz S. Alves, Eliezer Batista

Abstract: Motivated by partial group actions on unital algebras, in this article we extend many results obtained by Exel and Dokuchaev to the context of partial actions of Hopf algebras, according to Caenepeel and Jansen. First, we generalize the theorem about the existence of an enveloping action, also known as the globalization theorem. Second, we construct a Morita context between the partial smash pro… ▽ More Motivated by partial group actions on unital algebras, in this article we extend many results obtained by Exel and Dokuchaev to the context of partial actions of Hopf algebras, according to Caenepeel and Jansen. First, we generalize the theorem about the existence of an enveloping action, also known as the globalization theorem. Second, we construct a Morita context between the partial smash product and the smash product related to the enveloping action. Third, we dualize the globalization theorem to partial coactions and finally, we define partial representations of Hopf algebras and show some results relating partial actions and partial representations. △ Less

Submitted 28 July, 2008; v1 submitted 30 May, 2008; originally announced May 2008.

Comments: 27 pages; revised version with minor corrections, mainly typos

MSC Class: 16W30 (Primary); 16S40; 16S35; 58E40 (Secondary)

On the surjectivity properties of perturbations of maximal monotone operators in non-reflexive Banach spaces

Authors: M. Marques Alves, B. F. Svaiter

Abstract: We are concerned with surjectivity of perturbations of maximal monotone operators in non-reflexive Banach spaces. While in a reflexive setting, a classical surjectivity result due to Rockafellar gives a necessary and sufficient condition to maximal monotonicity, in a non-reflexive space we characterize maximality using a ``enlarged'' version of the duality mapping, introduced previously by Gosse… ▽ More We are concerned with surjectivity of perturbations of maximal monotone operators in non-reflexive Banach spaces. While in a reflexive setting, a classical surjectivity result due to Rockafellar gives a necessary and sufficient condition to maximal monotonicity, in a non-reflexive space we characterize maximality using a ``enlarged'' version of the duality mapping, introduced previously by Gossez. △ Less

Submitted 29 May, 2008; originally announced May 2008.

Comments: Submitted for publication in JNA in May 7, 2008

MSC Class: 47H05; 47H14; 49J52; 47N10;

Maximal monotone operators with a unique extension to the bidual

Authors: M. Marques Alves, B. F. Svaiter

Abstract: We present a new sufficient condition under which a maximal monotone operator $T:X\tos X^*$ admits a unique maximal monotone extension to the bidual $\widetilde T:X^{**} \rightrightarrows X^*$. For non-linear operators this condition is equivalent to uniqueness of the extension. The class of maximal monotone operators which satisfy this new condition includes class of Gossez type D maximal mon… ▽ More We present a new sufficient condition under which a maximal monotone operator $T:X\tos X^*$ admits a unique maximal monotone extension to the bidual $\widetilde T:X^{**} \rightrightarrows X^*$. For non-linear operators this condition is equivalent to uniqueness of the extension. The class of maximal monotone operators which satisfy this new condition includes class of Gossez type D maximal monotone operators, previously defined and studied by J.-P. Gossez, and all maximal monotone operators of this new class satisfies a restricted version of Brondsted-Rockafellar condition. The central tool in our approach is the $\mathcal{S}$-function defined and studied by Burachik and Svaiter in 2000 \cite{BuSvSet02}(submission date, July 2000). For a generic operator, this function is the supremum of all convex lower semicontinuous functions which are majorized by the duality product in the graph of the operator. We also prove in this work that if the graph of a maximal monotone operator is convex, then this graph is an affine linear subspace. △ Less

Submitted 29 May, 2008; originally announced May 2008.

Comments: Submitted for publication in JCA in March, 2 2008

MSC Class: 47H05; 49J52; 47N10

A new old class of maximal monotone operators

Authors: M. Marques Alves, B. F. Svaiter

Abstract: In a recent paper in Journal of Convex Analysis the authors studied, in non-reflexive Banach spaces, a class of maximal monotone operators, characterized by the existence of a function in Fitzpatrick's family of the operator which conjugate is above the duality product. This property was used to prove that such operators satisfies a restricted version of Brondsted-Rockafellar property. In this… ▽ More In a recent paper in Journal of Convex Analysis the authors studied, in non-reflexive Banach spaces, a class of maximal monotone operators, characterized by the existence of a function in Fitzpatrick's family of the operator which conjugate is above the duality product. This property was used to prove that such operators satisfies a restricted version of Brondsted-Rockafellar property. In this work we will prove that if a single Fitzpatrick function of a maximal monotone operator has a conjugate above the duality product, then all Fitzpatrick function of the operator have a conjugate above the duality product. As a consequence, the family of maximal monotone operators with this property is just the class NI, previously defined and studied by Simons. We will also prove that an auxiliary condition used by the authors to prove the restricted Brondsted-Rockafellar property is equivalent to the assumption of the conjugate of the Fitzpatrick function to majorize the duality product. △ Less

Submitted 29 May, 2008; originally announced May 2008.

Comments: Submited for publication on April 2008

MSC Class: 47H05; 49J52; 47N10

Fixed Points of Generalized Conjugations

Authors: M. Marques Alves, B. F. Svaiter

Abstract: Conjugation, or Legendre transformation, is a basic tool in convex analysis, rational mechanics, economics and optimization. It maps a function on a linear topological space into another one, defined in the dual of the linear space by coupling these space by meas of the duality product. Generalized conjugation extends classical conjugation to any pair of domains, using an arbitrary coupling fu… ▽ More Conjugation, or Legendre transformation, is a basic tool in convex analysis, rational mechanics, economics and optimization. It maps a function on a linear topological space into another one, defined in the dual of the linear space by coupling these space by meas of the duality product. Generalized conjugation extends classical conjugation to any pair of domains, using an arbitrary coupling function between these spaces. This generalization of conjugation is now being widely used in optima transportation problems, variational analysis and also optimization. If the coupled spaces are equal, generalized conjugations define order reversing maps of a family of functions into itself. In this case, is natural to ask for the existence of fixed points of the conjugation, that is, functions which are equal to their (generalized) conjugateds. Here we prove that any generalized symmetric conjugation has fixed points. The basic tool of the proof is a variational principle involving the order reversing feature of the conjugation. As an application of this abstract result, we will extend to real linear topological spaces a fixed-point theorem for Fitzpatrick's functions, previously proved in Banach spaces. △ Less

Submitted 15 February, 2008; originally announced February 2008.

Comments: 14 pages

MSC Class: 49J40; 49J52; 49J27

Bronsted-Rockafellar property and maximality of monotone operators representable by convex functions in non-reflexive Banach spaces

Authors: M. Marques Alves, B. F. Svaiter

Abstract: In this work we are concerned with maximality of monotone operators representable by certain convex functions in non-reflexive Banach spaces. We also prove that these maximal monotone operators satisfy a Bronsted-Rockafellar type property. We show that if a function in XxX^* and its conjugate are above the duality product in their respective domains, then this function represents a maximal mon… ▽ More In this work we are concerned with maximality of monotone operators representable by certain convex functions in non-reflexive Banach spaces. We also prove that these maximal monotone operators satisfy a Bronsted-Rockafellar type property. We show that if a function in XxX^* and its conjugate are above the duality product in their respective domains, then this function represents a maximal monotone operator. △ Less

Submitted 13 February, 2008; originally announced February 2008.

Comments: extends to non-reflexive Banach space a previous result proved in reflexive Banach spaces

MSC Class: 47H05; 49J52; 47N10

Journal ref: Journal of Convex Analysis, 15 (2008), No. 4, 693-706.