-
An inexact inertial projective splitting algorithm with strong convergence
Authors:
M. Marques Alves,
J. E. Navarro Caballero,
R. T. Marcavillaca
Abstract:
We propose and study a strongly convergent inexact inertial projective splitting (PS) algorithm for finding zeros of composite monotone inclusion problems involving the sum of finitely many maximal monotone operators. Strong convergence of the iterates is ensured by projections onto the intersection of appropriately defined half-spaces, even in the absence of inertial effects. We also establish it…
▽ More
We propose and study a strongly convergent inexact inertial projective splitting (PS) algorithm for finding zeros of composite monotone inclusion problems involving the sum of finitely many maximal monotone operators. Strong convergence of the iterates is ensured by projections onto the intersection of appropriately defined half-spaces, even in the absence of inertial effects. We also establish iteration-complexity results for the proposed PS method, which likewise hold without requiring inertial terms. The algorithm includes two inertial sequences, controlled by parameters satisfying mild conditions, while preserving strong convergence and enabling iteration-complexity analysis. Furthermore, for more structured monotone inclusion problems, we derive two variants of the main algorithm that employ forward-backward and forward-backward-forward steps.
△ Less
Submitted 7 July, 2025;
originally announced July 2025.
-
On partial representations of pointed Hopf algebras
Authors:
Arthur Rezende Alves Neto,
Marcelo Muniz Alves
Abstract:
Partial representations of Hopf algebras were motivated by the theory of partial representations of groups. Alves, Batista e Vercruysse introduced partial representations of a Hopf algebra and showed that, as in the case of partial groups actions, a partial $H$-action on an algebra $A$ leads to a partial representation on the algebra of linear endomorphisms of $A$, and a left module $M$ over the p…
▽ More
Partial representations of Hopf algebras were motivated by the theory of partial representations of groups. Alves, Batista e Vercruysse introduced partial representations of a Hopf algebra and showed that, as in the case of partial groups actions, a partial $H$-action on an algebra $A$ leads to a partial representation on the algebra of linear endomorphisms of $A$, and a left module $M$ over the partial smash product of $A$ by $H$ carries also a partial representation of $H$ on its algebra of linear endomorphisms. Moreover, partial representations of $H$ correspond to left modules over a Hopf algebroid $H_{par}$. It is known from a result by Dokuchaev, Exel and Piccione that when $H$ is the algebra of a finite group $G$, then $H_{par}$ is isomorphic to the algebra of a finite groupoid determined by $G$. In this work we show that if $H$ is a pointed Hopf algebra with finite group $G$ of grouplikes then $H_{par}$ can be written as a direct sum of unital ideals indexed by the components of the same groupoid associated to the group $G$.
△ Less
Submitted 5 February, 2025;
originally announced February 2025.
-
A relative-error inexact ADMM splitting algorithm for convex optimization with inertial effects
Authors:
M. Marques Alves,
M. Geremia
Abstract:
We propose a new relative-error inexact version of the alternating direction method of multipliers (ADMM) for convex optimization. We prove the asymptotic convergence of our main algorithm as well as pointwise and ergodic iteration-complexities for residuals. We also justify the effectiveness of the proposed algorithm through some preliminary numerical experiments on regression problems.
We propose a new relative-error inexact version of the alternating direction method of multipliers (ADMM) for convex optimization. We prove the asymptotic convergence of our main algorithm as well as pointwise and ergodic iteration-complexities for residuals. We also justify the effectiveness of the proposed algorithm through some preliminary numerical experiments on regression problems.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
From curve shortening to flat link stability and Birkhoff sections of geodesic flows
Authors:
Marcelo R. R. Alves,
Marco Mazzucchelli
Abstract:
We employ the curve shortening flow to establish three new results on the dynamics of geodesic flows of closed Riemannian surfaces. The first one is the stability, under $C^0$-small perturbations of the Riemannian metric, of certain flat links of closed geodesics. The second one is a forced existence theorem for closed connected orientable Riemannian surfaces: for surfaces of positive genus, the e…
▽ More
We employ the curve shortening flow to establish three new results on the dynamics of geodesic flows of closed Riemannian surfaces. The first one is the stability, under $C^0$-small perturbations of the Riemannian metric, of certain flat links of closed geodesics. The second one is a forced existence theorem for closed connected orientable Riemannian surfaces: for surfaces of positive genus, the existence of a contractible simple closed geodesic $γ$ forces the existence of infinitely many closed geodesics intersecting $γ$ in every primitive free homotopy class of loops; for the 2-sphere, the existence of two disjoint simple closed geodesics forces the existence of a third one intersecting both. The final result asserts the existence of Birkhoff sections for the geodesic flow of any closed connected orientable Riemannian surface.
△ Less
Submitted 21 May, 2025; v1 submitted 21 August, 2024;
originally announced August 2024.
-
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 this 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 1 April, 2025; v1 submitted 8 July, 2024;
originally announced July 2024.
-
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.
-
Expanding the Katz Index for Link Prediction: A Case Study on a Live Fish Movement Network
Authors:
Michael-Sam Vidza,
Marcin Budka,
Wei Koong Chai,
Mark Thrush,
Mickael Teixeira Alves
Abstract:
In aquaculture, disease spread models often neglect the dynamic interactions between farms, hindering accuracy. This study enhances the Katz index (KI) to incorporate spatial and temporal patterns of fish movement, improving the prediction of farms susceptible to disease via live fish transfers. We modified the Katz index to create models like the Weighted Katz Index (WKI), Edge Weighted Katz Inde…
▽ More
In aquaculture, disease spread models often neglect the dynamic interactions between farms, hindering accuracy. This study enhances the Katz index (KI) to incorporate spatial and temporal patterns of fish movement, improving the prediction of farms susceptible to disease via live fish transfers. We modified the Katz index to create models like the Weighted Katz Index (WKI), Edge Weighted Katz Index (EWKI), and combined models (e.g., KIEWKI). These incorporate spatial distances and temporal movement patterns for a comprehensive aquaculture network connection prediction framework. Model performance was evaluated using precision, recall, F1-scores, AUPR, and AUROC. The EWKI model significantly outperformed the traditional KI and other variations. It achieved high precision (0.988), recall (0.712), F1-score (0.827), and AUPR (0.970). Combined models (KIEWKI, WKIEWKI) approached, but couldn't surpass, EWKI performance. This study highlights the value of extending Katz index models to improve disease spread predictions in aquaculture networks. The EWKI model's performance demonstrates an innovative and flexible approach to tackling spatial challenges within network analysis.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
C^0-stability of topological entropy for Reeb flows in dimension 3
Authors:
Marcelo R. R. Alves,
Lucas Dahinden,
Matthias Meiwes,
Abror Pirnapasov
Abstract:
We study stability properties of the topological entropy of Reeb flows on contact 3-manifolds with respect to the C^0-distance on the space of contact forms. Our main results show that a C^\infty-generic contact form on a closed co-oriented contact 3-manifold (Y,ξ) is a lower semi-continuity point for the topological entropy, seen as a functional on the space of contact forms of (Y,ξ) endowed with…
▽ More
We study stability properties of the topological entropy of Reeb flows on contact 3-manifolds with respect to the C^0-distance on the space of contact forms. Our main results show that a C^\infty-generic contact form on a closed co-oriented contact 3-manifold (Y,ξ) is a lower semi-continuity point for the topological entropy, seen as a functional on the space of contact forms of (Y,ξ) endowed with the C^0-distance.
We also study the stability of the topological entropy of geodesic flows of Riemannian metrics on closed surfaces. In this setting, we show that a non-degenerate Riemannian metric on a closed surface S is a lower semi-continuity point of the topological entropy, seen as a functional on the space of Riemannian metrics on S endowed with the C^0-distance.
△ Less
Submitted 17 December, 2023; v1 submitted 20 November, 2023;
originally announced November 2023.
-
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.
-
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.
-
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.
-
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.
-
Braid stability and the Hofer metric
Authors:
Marcelo R. R. Alves,
Matthias Meiwes
Abstract:
In this article we show that the braid type of a set of $1$-periodic orbits of a non-degenerate Hamiltonian diffeomorphism on a surface is stable under perturbations which are sufficiently small with respect to the Hofer metric $d_{\rm Hofer}$. We call this new phenomenon braid stability for the Hofer metric.
We apply braid stability to study the stability of the topological entropy…
▽ More
In this article we show that the braid type of a set of $1$-periodic orbits of a non-degenerate Hamiltonian diffeomorphism on a surface is stable under perturbations which are sufficiently small with respect to the Hofer metric $d_{\rm Hofer}$. We call this new phenomenon braid stability for the Hofer metric.
We apply braid stability to study the stability of the topological entropy $h_{\rm top}$ of Hamiltonian diffeomorphisms on surfaces with respect to small perturbations with respect to $d_{\rm Hofer}$. We show that $h_{\rm top}$ is lower semicontinuous on the space of Hamiltonian diffeomorphisms of a closed surface endowed with the Hofer metric, and on the space of compactly supported diffeormophisms of the two-dimensional disk $\mathbb{D}$ endowed with the Hofer metric. This answers the two-dimensional case of a question of Polterovich.
En route to proving the lower semicontinuity of $h_{\rm top}$ with respect to $d_{\rm Hofer}$, we prove that the topological entropy of a diffeomorphism $φ$ on a compact surface can be recovered from the topological entropy of the braid types realised by the periodic orbits of $φ$.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
$C^0$-Robustness of topological entropy for geodesic flows
Authors:
Marcelo R. R. Alves,
Lucas Dahinden,
Matthias Meiwes,
Louis Merlin
Abstract:
In this paper, we study the regularity of topological entropy, as a function on the space of Riemannian metrics endowed with the $C^0$ topology. We establish several instances of entropy robustness (persistence of entropy non-vanishing after small $C^0$ perturbations).
A large part of this paper is dedicated to metrics on the 2-dimensional torus, for which our main results are that metrics with…
▽ More
In this paper, we study the regularity of topological entropy, as a function on the space of Riemannian metrics endowed with the $C^0$ topology. We establish several instances of entropy robustness (persistence of entropy non-vanishing after small $C^0$ perturbations).
A large part of this paper is dedicated to metrics on the 2-dimensional torus, for which our main results are that metrics with a contractible closed geodesic have robust entropy (thus generalizing and quantifying a result of Denvir-Mackay) and that metrics with robust positive entropy on the torus are $C^{\infty}$ generic. Moreover, we quantify the asymptotic behavior of volume entropy in the TeichmÃŒller space of hyperbolic metrics on a punctured torus, which bounds from below the topological entropy for these metrics.
For general closed manifolds of dimension at least 2 we prove that the set of metrics with robust and high positive entropy is $C^0$-large in the sense that it is dense, contains cones and arbitrarily large balls.
△ Less
Submitted 8 September, 2021;
originally announced September 2021.
-
Entropy collapse versus entropy rigidity for Reeb and Finsler flows
Authors:
Alberto Abbondandolo,
Marcelo R. R. Alves,
Murat Saglam,
Felix Schlenk
Abstract:
On every closed contact manifold there exist contact forms with volume one whose Reeb flows have arbitrarily small topological entropy. In contrast, for many closed manifolds there is a uniform positive lower bound for the topological entropy of (not necessarily reversible) normalized Finsler geodesic flows.
On every closed contact manifold there exist contact forms with volume one whose Reeb flows have arbitrarily small topological entropy. In contrast, for many closed manifolds there is a uniform positive lower bound for the topological entropy of (not necessarily reversible) normalized Finsler geodesic flows.
△ Less
Submitted 1 September, 2023; v1 submitted 1 March, 2021;
originally announced March 2021.
-
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.
-
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.
-
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.
-
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.
-
Reeb orbits that force topological entropy
Authors:
Marcelo R. R. Alves,
Abror Pirnapasov
Abstract:
We develop a forcing theory of topological entropy for Reeb flows in dimension $3$. A transverse link $L$ in a closed contact $3$-manifold $(Y,ξ)$ is said to force topological entropy if $(Y,ξ)$ admits a Reeb flow with vanishing topological entropy, and every Reeb flow on $(Y,ξ)$ realizing $L$ as a set of periodic Reeb orbits has positive topological entropy. Our main results establish topological…
▽ More
We develop a forcing theory of topological entropy for Reeb flows in dimension $3$. A transverse link $L$ in a closed contact $3$-manifold $(Y,ξ)$ is said to force topological entropy if $(Y,ξ)$ admits a Reeb flow with vanishing topological entropy, and every Reeb flow on $(Y,ξ)$ realizing $L$ as a set of periodic Reeb orbits has positive topological entropy. Our main results establish topological conditions on a transverse link $L$ which imply that $L$ forces topological entropy. These conditions are formulated in terms of two Floer theoretical invariants: the cylindrical contact homology on the complement of transverse links introduced by Momin, and the strip Legendrian contact homology on the complement of transverse links. We then use these results to show that on every closed contact $3$-manifold that admits a Reeb flow with vanishing topological entropy, there exists transverse knots that force topological entropy.
△ Less
Submitted 21 April, 2020; v1 submitted 17 April, 2020;
originally announced April 2020.
-
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.
-
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.
-
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.
-
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.
-
Hyperconvergence in topological dynamics
Authors:
Josiney A. Souza,
Richard W. M. Alves
Abstract:
In this manuscript the concept of hyperspace is revisited. The main purpose is to study hyperconvergence and continuity of orbital and limit set functions for semigroup action on completely regular space. Some general facts on Hausdorff and Kuratowski hyperconvergence are presented.
In this manuscript the concept of hyperspace is revisited. The main purpose is to study hyperconvergence and continuity of orbital and limit set functions for semigroup action on completely regular space. Some general facts on Hausdorff and Kuratowski hyperconvergence are presented.
△ Less
Submitted 25 June, 2018;
originally announced June 2018.
-
Global attractors for semigroup actions on uniformizable spaces
Authors:
Josiney A. Souza,
Richard W. M. Alves
Abstract:
In this paper the notion of global attractor is extended from the setting of semigroup actions on metric spaces to the setting of semigroup actions on uniformizable spaces. General conditions for the existence of global attractor are discussed and its relationship with the global uniform attractor is presented.
In this paper the notion of global attractor is extended from the setting of semigroup actions on metric spaces to the setting of semigroup actions on uniformizable spaces. General conditions for the existence of global attractor are discussed and its relationship with the global uniform attractor is presented.
△ Less
Submitted 16 April, 2018;
originally announced April 2018.
-
Cantor-Kuratowski theorem in uniformizable spaces
Authors:
Josiney A. Souza,
Richard W. M. Alves
Abstract:
This manuscript extends the Cantor-Kuratowski intersection theorem from the setting of metric spaces to the setting of uniformizable spaces. Complete uniformizable spaces are revisited.
This manuscript extends the Cantor-Kuratowski intersection theorem from the setting of metric spaces to the setting of uniformizable spaces. Complete uniformizable spaces are revisited.
△ Less
Submitted 12 April, 2018;
originally announced April 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.
-
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.
-
A note on truncated long-range percolation with heavy tails on oriented graphs
Authors:
Caio T. M. Alves,
Marcelo Hilário,
Bernardo N. B. de Lima,
Daniel Valesin
Abstract:
We consider oriented long-range percolation on a graph with vertex set $\mathbb{Z}^d \times \mathbb{Z}_+$ and directed edges of the form $\langle (x,t), (x+y,t+1)\rangle$, for $x,y$ in $\mathbb{Z}^d$ and $t \in \mathbb{Z}_+$. Any edge of this form is open with probability $p_y$, independently for all edges. Under the assumption that the values $p_y$ do not vanish at infinity, we show that there is…
▽ More
We consider oriented long-range percolation on a graph with vertex set $\mathbb{Z}^d \times \mathbb{Z}_+$ and directed edges of the form $\langle (x,t), (x+y,t+1)\rangle$, for $x,y$ in $\mathbb{Z}^d$ and $t \in \mathbb{Z}_+$. Any edge of this form is open with probability $p_y$, independently for all edges. Under the assumption that the values $p_y$ do not vanish at infinity, we show that there is percolation even if all edges of length more than $k$ are deleted, for $k$ large enough. We also state the analogous result for a long-range contact process on $\mathbb{Z}^d$.
△ Less
Submitted 27 September, 2017;
originally announced September 2017.
-
On Moment Condition and Center Condition for Abel Equation
Authors:
Anderson L. A. de Araujo,
Abílio Lemos,
Alexandre M. Alves
Abstract:
In this paper we consider Abel equation $x' = g(t)x^2+f(t)x^3$, where $f$ and $g$ are analytical functions. We proved that if the equation has a center at $x=0$, then the Moment Conditions, i. e., $m_k=\int_{-1}^1f(t)(G(t))^kdt=0,~~k=0,1,2$, is satisfied where $G(t)=\int_{-1}^tg(s)ds$. Besides, we give partial a positive answer to a conjecture proposed by Y. Lijun and T. Yun in 2001.
In this paper we consider Abel equation $x' = g(t)x^2+f(t)x^3$, where $f$ and $g$ are analytical functions. We proved that if the equation has a center at $x=0$, then the Moment Conditions, i. e., $m_k=\int_{-1}^1f(t)(G(t))^kdt=0,~~k=0,1,2$, is satisfied where $G(t)=\int_{-1}^tg(s)ds$. Besides, we give partial a positive answer to a conjecture proposed by Y. Lijun and T. Yun in 2001.
△ Less
Submitted 2 August, 2017;
originally announced August 2017.
-
Conditions to the existence of center in planar systems and center for Abel equations
Authors:
Anderson L. A. de Araujo,
Abílio Lemos,
Alexandre M. Alves
Abstract:
Abel equations of the form $x'(t)=f(t)x^3(t)+g(t)x^2(t)$, $t \in [-a,a]$, where $a>0$ is a constant, $f$ and $g$ are continuous functions, are of interest because of their close relation to planar vector fields. If $f$ and $g$ are odd functions, we prove, in this paper, that the Abel equation has a center at the origin. We also consider a class of polynomial differential equations…
▽ More
Abel equations of the form $x'(t)=f(t)x^3(t)+g(t)x^2(t)$, $t \in [-a,a]$, where $a>0$ is a constant, $f$ and $g$ are continuous functions, are of interest because of their close relation to planar vector fields. If $f$ and $g$ are odd functions, we prove, in this paper, that the Abel equation has a center at the origin. We also consider a class of polynomial differential equations $\dot{x} = -y+P_n(x,y)$ and $\dot{y} = x+Q_n(x,y)$, where $P_n$ and $Q_n$ are homogeneous polynomials of degree $n$. Using the results obtained for Abel's equation, we obtain a new subclass of systems having a center at the origin.
△ Less
Submitted 9 July, 2017;
originally announced July 2017.
-
Dynamically exotic contact spheres in dimensions $\geq 7$
Authors:
Marcelo R. R. Alves,
Matthias Meiwes
Abstract:
We exhibit the first examples of contact structures on $S^{2n-1}$ with $n\geq 4$ and on $S^3\times S^2$, all equipped with their standard smooth structures, for which every Reeb flow has positive topological entropy. As a new technical tool for the study of the volume growth of Reeb flows we introduce the notion of algebraic growth of wrapped Floer homology. Its power stems from its stability unde…
▽ More
We exhibit the first examples of contact structures on $S^{2n-1}$ with $n\geq 4$ and on $S^3\times S^2$, all equipped with their standard smooth structures, for which every Reeb flow has positive topological entropy. As a new technical tool for the study of the volume growth of Reeb flows we introduce the notion of algebraic growth of wrapped Floer homology. Its power stems from its stability under several geometric operations on Liouville domains.
△ Less
Submitted 20 June, 2017;
originally announced June 2017.
-
Topological entropy for Reeb vector fields in dimension three via open book decompositions
Authors:
Marcelo Alves,
Vincent Colin,
Ko Honda
Abstract:
Given an open book decomposition of a contact three man-ifold (M, $ξ$) with pseudo-Anosov monodromy and fractional Dehn twist coefficient c = k n, we construct a Legendrian knot $Λ$ close to the stable foliation of a page, together with a small Legendrian pushoff $Λ$. When k $\ge$ 5, we apply the techniques of [CH2] to show that the strip Legen-drian contact homology of $Λ$ $\rightarrow$ $Λ$ is we…
▽ More
Given an open book decomposition of a contact three man-ifold (M, $ξ$) with pseudo-Anosov monodromy and fractional Dehn twist coefficient c = k n, we construct a Legendrian knot $Λ$ close to the stable foliation of a page, together with a small Legendrian pushoff $Λ$. When k $\ge$ 5, we apply the techniques of [CH2] to show that the strip Legen-drian contact homology of $Λ$ $\rightarrow$ $Λ$ is well-defined and has an exponential growth property. The work [Al2] then implies that all Reeb vector fields for $ξ$ have positive topological entropy.
△ Less
Submitted 27 May, 2017; v1 submitted 23 May, 2017;
originally announced May 2017.
-
Some results on Ricatti Equations, Floquet Theory and Applications
Authors:
Anderson L. A. de Araujo,
Abílio Lemos,
Alexandre M. Alves,
Kennedy M. Pedroso
Abstract:
In this paper, we present two new results to the classical Floquet theory, which provides the Floquet multipliers for two classes of the planar periodic system. One these results provides the Floquet multipliers independently of the solution of system. To demonstrate the application of these analytical results, we consider a cholera epidemic model with phage dynamics and seasonality incorporated.
In this paper, we present two new results to the classical Floquet theory, which provides the Floquet multipliers for two classes of the planar periodic system. One these results provides the Floquet multipliers independently of the solution of system. To demonstrate the application of these analytical results, we consider a cholera epidemic model with phage dynamics and seasonality incorporated.
△ Less
Submitted 30 October, 2017; v1 submitted 5 May, 2017;
originally announced May 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.
-
Lie structure of truncated symmetric Poisson algebras
Authors:
Ilana Zuila Monteiro Alves,
Victor Petrogradsky
Abstract:
The paper naturally continues series of works on identical relations of group rings, enveloping algebras, and other related algebraic structures. Let $L$ be a Lie algebra over a field of characteristic $p>0$. Consider its symmetric algebra $S(L)=\oplus_{n=0}^\infty U_n/U_{n-1}$, which is isomorphic to a polynomial ring. It also has a structure of a Poisson algebra, where the Lie product is traditi…
▽ More
The paper naturally continues series of works on identical relations of group rings, enveloping algebras, and other related algebraic structures. Let $L$ be a Lie algebra over a field of characteristic $p>0$. Consider its symmetric algebra $S(L)=\oplus_{n=0}^\infty U_n/U_{n-1}$, which is isomorphic to a polynomial ring. It also has a structure of a Poisson algebra, where the Lie product is traditionally denoted by $\{\ ,\ \}$. This bracket naturally induces the structure of a Poisson algebra on the ring $\mathbf{s}(L)=S(L)/(x^p\,|\, x\in L)$, which we call a truncated symmetric Poisson algebra. We study Lie identical relations of $\mathbf{s}(L)$. Namely, we determine necessary and sufficient conditions for $L$ under which $\mathbf{s}(L)$ is Lie nilpotent, strongly Lie nilpotent, solvable and strongly solvable, where we assume that $p>2$ to specify the solvability. We compute the strong Lie nilpotency class of $\mathbf{s}(L)$. Also, we prove that the Lie nilpotency class coincides with the strong Lie nilpotency class in case $p>3$.
Shestakov proved that the symmetric algebra $S(L)$ of an arbitrary Lie algebra $L$ satisfies the identity $\{x,\{y,z\}\}\equiv 0$ if, and only if, $L$ is abelian. We extend this result for the (strong) Lie nilpotency and the (strong) solvability of $S(L)$. We show that the solvability of $\mathbf{s}(L)$ and $S(L)$ in case $\mathrm{char} K=2$ is different to other characteristics, namely, we construct examples of such algebras which are solvable but not strongly solvable.
We use delta-sets for Lie algebras and the theory of identical relations of Poisson algebras. Also, we study filtrations in Poisson algebras and prove results on products of terms of the lower central series for Poisson algebras.
△ Less
Submitted 23 December, 2016;
originally announced December 2016.
-
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.
-
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.
-
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.
-
Positive topological entropy for Reeb flows on 3-dimensional Anosov contact manifolds
Authors:
Marcelo R. R. Alves
Abstract:
Let $(M, ξ)$ be a compact contact 3-manifold and assume that there exists a contact form $α_0$ on $(M, ξ)$ whose Reeb flow is Anosov. We show this implies that every Reeb flow on $(M, ξ)$ has positive topological entropy. Our argument builds on previous work of the author (https://arxiv.boxedpaper.com/abs/1410.3380) and recent work of Barthelmé and Fenley (https://arxiv.boxedpaper.com/abs/1505.07999).
This result combi…
▽ More
Let $(M, ξ)$ be a compact contact 3-manifold and assume that there exists a contact form $α_0$ on $(M, ξ)$ whose Reeb flow is Anosov. We show this implies that every Reeb flow on $(M, ξ)$ has positive topological entropy. Our argument builds on previous work of the author (https://arxiv.boxedpaper.com/abs/1410.3380) and recent work of Barthelmé and Fenley (https://arxiv.boxedpaper.com/abs/1505.07999).
This result combined with the work of Foulon and Hasselblatt (http://www.tufts.edu/as/math/Preprints/FoulonHasselblattLegendrian.pdf) is then used to obtain the first examples of hyperbolic contact 3-manifolds on which every Reeb flow has positive topological entropy.
△ Less
Submitted 10 December, 2015;
originally announced December 2015.
-
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.
-
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.
-
Existence result for a class of quasilinear elliptic equations with (p-q)-laplacian and vanishing potentials
Authors:
M. J. Alves,
R. B. Assunção,
O. H. Miyagaki
Abstract:
The main purpose of this paper is to establish the existence of positive solutions to a class of quasilinear elliptic equations involving the (p-q)-Laplacian operator. We consider a nonlinearity that can be subcritical at infinity and supercritical at the origin; we also consider potential functions that can vanish at infinity. The approach is based on variational arguments dealing with the mounta…
▽ More
The main purpose of this paper is to establish the existence of positive solutions to a class of quasilinear elliptic equations involving the (p-q)-Laplacian operator. We consider a nonlinearity that can be subcritical at infinity and supercritical at the origin; we also consider potential functions that can vanish at infinity. The approach is based on variational arguments dealing with the mountain-pass lemma and an adaptation of the penalization method. In order to overcome the lack of compactness we modify the original problem and the associated energy functional. Finally, to show that the solution of the modified problem is also a solution of the original problem we use an estimate obtained by the Moser iteration scheme.
△ Less
Submitted 26 August, 2015;
originally announced August 2015.
-
Exponential stability to the Bresse system with boundary dissipation conditions
Authors:
Margareth S. Alves,
Octavio Vera V.,
Amelie Rambaud,
Jaime Muñoz-Rivera
Abstract:
We consider the Bresse model with three control boundary conditions. We prove the exponential stability of the system using the semigroup theory of linear operators and a result obtained by Prüss.
We consider the Bresse model with three control boundary conditions. We prove the exponential stability of the system using the semigroup theory of linear operators and a result obtained by Prüss.
△ Less
Submitted 4 June, 2015;
originally announced June 2015.
-
Asymptotic behavior of an inhomogeneous flexible structure with Cattaneo type of thermal effect
Authors:
Margareth S. Alves,
Pedro R. Gamboa,
G. Gorain,
Amelie Rambaud,
Octavio V. Vera
Abstract:
We consider vibrations of an inhomogeneous flexible structure modeled by a $1$D viscoelastic equation with Kelvin-Voigt, coupled with an expected dissipative effect : heat conduction governed by Cattaneo's law (second sound). We establish the well-posedness of the system and we prove the stabilization to be exponential for one set of boundary conditions, and at least polynomial for another set of…
▽ More
We consider vibrations of an inhomogeneous flexible structure modeled by a $1$D viscoelastic equation with Kelvin-Voigt, coupled with an expected dissipative effect : heat conduction governed by Cattaneo's law (second sound). We establish the well-posedness of the system and we prove the stabilization to be exponential for one set of boundary conditions, and at least polynomial for another set of boundary conditions. Two different methods are used: the energy method and another more original, using the semigroup approach and studying the Resolvent of the system.
△ Less
Submitted 5 June, 2015; v1 submitted 4 June, 2015;
originally announced June 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.
-
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.
