Showing 1–50 of 62 results for author: Figueiredo, M

The only Class 0 Flower snark is the smallest

Authors: Guilherme Adamatti Bridi, André Luis Alves Martins, Franklin de Lima Marquezino, Celina Miraglia Herrera de Figueiredo

Abstract: Graph pebbling is a game played on graphs with pebbles on their vertices. A pebbling move removes two pebbles from one vertex and places one pebble on an adjacent vertex. The pebbling number is the smallest $t$ so that from any initial configuration of $t$ pebbles it is possible, after a sequence of pebbling moves, to place a pebble on any given target vertex. Graphs whose pebbling number is equal… ▽ More Graph pebbling is a game played on graphs with pebbles on their vertices. A pebbling move removes two pebbles from one vertex and places one pebble on an adjacent vertex. The pebbling number is the smallest $t$ so that from any initial configuration of $t$ pebbles it is possible, after a sequence of pebbling moves, to place a pebble on any given target vertex. Graphs whose pebbling number is equal to the number of vertices are called Class~$0$ and provide a challenging set of graphs that resist being characterized. In this note, we answer a question recently proposed by the pioneering study on the pebbling number of snark graphs: we prove that the smallest Flower snark $J_3$ is Class~$0$, establishing that $J_3$ is in fact the only Class~$0$ Flower snark. △ Less

Submitted 2 June, 2025; v1 submitted 28 May, 2025; originally announced May 2025.

Comments: 8 pages, 5 figures. Corrected typos, and added final remarks. Supplementary software available at https://github.com/gabridi/pebbling_unsolvability

On soluble groups in which commutators have prime power order

Authors: Mateus Figueiredo, Pavel Shumyatsky

Abstract: The article deals with finite groups in which commutators have prime power order (CPPO-groups). We show that if G is a soluble CPPO-group, then the order of the commutator subgroup G' is divisible by at most two primes. The article deals with finite groups in which commutators have prime power order (CPPO-groups). We show that if G is a soluble CPPO-group, then the order of the commutator subgroup G' is divisible by at most two primes. △ Less

Submitted 4 August, 2024; originally announced August 2024.

The sandwich problem for odd-hole-free and even-hole-free graphs

Authors: Kathie Cameron, Aristotelis Chaniotis, Celina M. H. de Figueiredo, Sophie Spirkl

Abstract: For a property $\mathcal{P}$ of graphs, the $\mathcal{P}$-\textsc{Sandwich-Problem}, introduced by Golumbic and Shamir (1993), is the following: Given a pair of graphs $(G_1, G_2)$ on the same vertex set $V$, does there exist a graph $G$ such that $V(G)=V$, $E(G_{1})\subseteq E(G) \subseteq E(G_{2})$, and $G$ satisfies $\mathcal{P}$? A {\em hole} in a graph is an induced subgraph which is a cycle… ▽ More For a property $\mathcal{P}$ of graphs, the $\mathcal{P}$-\textsc{Sandwich-Problem}, introduced by Golumbic and Shamir (1993), is the following: Given a pair of graphs $(G_1, G_2)$ on the same vertex set $V$, does there exist a graph $G$ such that $V(G)=V$, $E(G_{1})\subseteq E(G) \subseteq E(G_{2})$, and $G$ satisfies $\mathcal{P}$? A {\em hole} in a graph is an induced subgraph which is a cycle of length at least four. An odd (respectively even) hole is a hole of odd (respectively even) length. Given a class of graphs $\mathcal{C}$ and a graph $G$ we say that $G$ is {\em $\mathcal{C}$-free} if it contains no induced subgraph isomorphic to a member of $\mathcal{C}$. In this paper we prove that if $\mathcal{P}$ is the property of being odd-hole-free or the property of being even-hole-free, then the $\mathcal{P}$-\textsc{Sandwich-Problem} is NP-hard. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Finite groups in which every commutator has prime power order

Authors: Mateus Figueiredo, Pavel Shumyatsky

Abstract: Finite groups in which every element has prime power order (EPPO-groups) are nowadays fairly well understood. For instance, if $G$ is a soluble EPPO-group, then the Fitting height of $G$ is at most 3 and $|π(G)|\leqslant 2$ (Higman, 1957). Moreover, Suzuki showed that if $G$ is insoluble, then the soluble radical of $G$ is a 2-group and there are exactly eight nonabelian simple EPPO-groups. In t… ▽ More Finite groups in which every element has prime power order (EPPO-groups) are nowadays fairly well understood. For instance, if $G$ is a soluble EPPO-group, then the Fitting height of $G$ is at most 3 and $|π(G)|\leqslant 2$ (Higman, 1957). Moreover, Suzuki showed that if $G$ is insoluble, then the soluble radical of $G$ is a 2-group and there are exactly eight nonabelian simple EPPO-groups. In the present work we concentrate on finite groups in which every commutator has prime power order (CPPO-groups). Roughly, we show that if $G$ is a CPPO-group, then the structure of $G'$ is similar to that of an EPPO-group. In particular, we show that the Fitting height of a soluble CPPO-group is at most 3 and $|π(G')|\leqslant 3$. Moreover, if $G$ is insoluble, then $R(G')$ is a 2-group and $G'/R(G')$ is isomorphic to a simple EPPO-group. △ Less

Submitted 18 December, 2023; originally announced December 2023.

MaxCut on Permutation Graphs is NP-complete

Authors: Celina M. H. de Figueiredo, Alexsander A. de Melo, Fabiano S. Oliveira, Ana Silva

Abstract: In this paper, we prove that the MaxCut problem is NP-complete on permutation graphs, settling a long-standing open problem that appeared in the 1985 column of the "Ongoing Guide to NP-completeness" by David S. Johnson. In this paper, we prove that the MaxCut problem is NP-complete on permutation graphs, settling a long-standing open problem that appeared in the 1985 column of the "Ongoing Guide to NP-completeness" by David S. Johnson. △ Less

Submitted 28 February, 2022; originally announced February 2022.

Most direct product of graphs are Type 1

Authors: Diane Castonguay, Celina M. H. de Figueiredo, Luis Antonio Kowada, Caroline Reis Patrão, Diana Sasaki

Abstract: A \textit{$k$-total coloring} of a graph $G$ is an assignment of $k$ colors to its elements (vertices and edges) so that adjacent or incident elements have different colors. The total chromatic number is the smallest integer $k$ for which the graph $G$ has a $k$-total coloring. Clearly, this number is at least $Δ(G)+1$, where $Δ(G)$ is the maximum degree of $G$. When the lower bound is reached, th… ▽ More A \textit{$k$-total coloring} of a graph $G$ is an assignment of $k$ colors to its elements (vertices and edges) so that adjacent or incident elements have different colors. The total chromatic number is the smallest integer $k$ for which the graph $G$ has a $k$-total coloring. Clearly, this number is at least $Δ(G)+1$, where $Δ(G)$ is the maximum degree of $G$. When the lower bound is reached, the graph is said to be Type~1. The upper bound of $Δ(G)+2$ is a central problem that has been open for fifty years, is verified for graphs with maximum degree 4 but not for regular graphs. Most classified direct product of graphs are Type~1. The particular cases of the direct product of cycle graphs $C_m \times C_n$, for $m =3p, 5\ell$ and $8\ell$ with $p \geq 2$ and $\ell \geq 1$, and arbitrary $n \geq 3$, were previously known to be Type 1 and motivated the conjecture that, except for $C_4 \times C_4$, all direct product of cycle graphs $C_m \times C_n$ with $m,n \geq 3$ are Type 1. We give a general pattern proving that all $C_m \times C_n$ are Type 1, except for $C_4 \times C_4$. dditionally, we investigate sufficient conditions to ensure that the direct product reaches the lower bound for the total chromatic number. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Comments: 16 pages

MSC Class: 05C85; 05C15; 05C76; 05C38

Distributed Banach-Picard Iteration: Application to Distributed EM and Distributed PCA

Authors: Francisco L. Andrade, Mário A. T. Figueiredo, João Xavier

Abstract: In recent work, we proposed a distributed Banach-Picard iteration (DBPI) that allows a set of agents, linked by a communication network, to find a fixed point of a locally contractive (LC) map that is the average of individual maps held by said agents. In this work, we build upon the DBPI and its local linear convergence (LLC) guarantees to make several contributions. We show that Sanger's algorit… ▽ More In recent work, we proposed a distributed Banach-Picard iteration (DBPI) that allows a set of agents, linked by a communication network, to find a fixed point of a locally contractive (LC) map that is the average of individual maps held by said agents. In this work, we build upon the DBPI and its local linear convergence (LLC) guarantees to make several contributions. We show that Sanger's algorithm for principal component analysis (PCA) corresponds to the iteration of an LC map that can be written as the average of local maps, each map known to each agent holding a subset of the data. Similarly, we show that a variant of the expectation-maximization (EM) algorithm for parameter estimation from noisy and faulty measurements in a sensor network can be written as the iteration of an LC map that is the average of local maps, each available at just one node. Consequently, via the DBPI, we derive two distributed algorithms - distributed EM and distributed PCA - whose LLC guarantees follow from those that we proved for the DBPI. The verification of the LC condition for EM is challenging, as the underlying operator depends on random samples, thus the LC condition is of probabilistic nature. △ Less

Submitted 26 January, 2022; v1 submitted 20 June, 2021; originally announced June 2021.

Comments: 13 pages, 2 figures

Revising Johnson's table for the 21st century

Authors: Celina M. H. de Figueiredo, Alexsander A. de Melo, Diana Sasaki, Ana Silva

Abstract: What does it mean today to study a problem from a computational point of view? We focus on parameterized complexity and on Column 16 "Graph Restrictions and Their Effect" of D. S. Johnson's Ongoing guide, where several puzzles were proposed in a summary table with 30 graph classes as rows and 11 problems as columns. Several of the 330 entries remain unclassified into Polynomial or NP-complete afte… ▽ More What does it mean today to study a problem from a computational point of view? We focus on parameterized complexity and on Column 16 "Graph Restrictions and Their Effect" of D. S. Johnson's Ongoing guide, where several puzzles were proposed in a summary table with 30 graph classes as rows and 11 problems as columns. Several of the 330 entries remain unclassified into Polynomial or NP-complete after 35 years. We provide a full dichotomy for the Steiner Tree column by proving that the problem is NP-complete when restricted to Undirected Path graphs. We revise Johnson's summary table according to the granularity provided by the parameterized complexity for NP-complete problems. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Distributed Banach-Picard Iteration for Locally Contractive Maps

Authors: Francisco L. Andrade, Mário A. T. Figueiredo, João Xavier

Abstract: The Banach-Picard iteration is widely used to find fixed points of locally contractive (LC) maps. This paper extends the Banach-Picard iteration to distributed settings; specifically, we assume the map of which the fixed point is sought to be the average of individual (not necessarily LC) maps held by a set of agents linked by a communication network. An additional difficulty is that the LC map is… ▽ More The Banach-Picard iteration is widely used to find fixed points of locally contractive (LC) maps. This paper extends the Banach-Picard iteration to distributed settings; specifically, we assume the map of which the fixed point is sought to be the average of individual (not necessarily LC) maps held by a set of agents linked by a communication network. An additional difficulty is that the LC map is not assumed to come from an underlying optimization problem, which prevents exploiting strong global properties such as convexity or Lipschitzianity. Yet, we propose a distributed algorithm and prove its convergence, in fact showing that it maintains the linear rate of the standard Banach-Picard iteration for the average LC map. As another contribution, our proof imports tools from perturbation theory of linear operators, which, to the best of our knowledge, had not been used before in the theory of distributed computation. △ Less

Submitted 28 December, 2021; v1 submitted 31 March, 2021; originally announced April 2021.

Comments: 7 pages

MSC Class: 37C25

Ground states of elliptic problems over cones

Authors: Giovany M. Figueiredo, Humberto Ramos Quoirin, Kaye Silva

Abstract: Given a reflexive Banach space $X$, we consider a class of functionals $Φ\in C^1(X,\Re)$ that do not behave in a uniform way, in the sense that the map $t \mapsto Φ(tu)$, $t>0$, does not have a uniform geometry with respect to $u\in X$. Assuming instead such a uniform behavior within an open cone $Y \subset X \setminus \{0\}$, we show that $Φ$ has a ground state relative to $Y$. Some further condi… ▽ More Given a reflexive Banach space $X$, we consider a class of functionals $Φ\in C^1(X,\Re)$ that do not behave in a uniform way, in the sense that the map $t \mapsto Φ(tu)$, $t>0$, does not have a uniform geometry with respect to $u\in X$. Assuming instead such a uniform behavior within an open cone $Y \subset X \setminus \{0\}$, we show that $Φ$ has a ground state relative to $Y$. Some further conditions ensure that this relative ground state is the (absolute) ground state of $Φ$. Several applications to elliptic equations and systems are given. △ Less

Submitted 15 November, 2020; originally announced November 2020.

Multiple solutions for a Schrödinger-Bopp-Podolsky system with positive potentials

Authors: Giovany M. Figueiredo, Gaetano Siciliano

Abstract: In the paper we prove existence of solutions for a Schrödinger-Bopp-Podolsky system under positive potentials. We use the Ljusternick-Schnirelmann and Morse Theories to get multiple solutions with a priori given ``interaction energy''. In the paper we prove existence of solutions for a Schrödinger-Bopp-Podolsky system under positive potentials. We use the Ljusternick-Schnirelmann and Morse Theories to get multiple solutions with a priori given ``interaction energy''. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Existence of Positive Eigenfunctions to an Anisotropic Elliptic Operator via Sub-Super Solutions Method

Authors: Simone Ciani, Giovany M. Figueiredo, Antonio Suàrez

Abstract: Using the sub-supersolution method we study the existence of positive solutions for the anisotropic problem \begin{equation} -\sum_{i=1}^N\frac{\partial}{\partial x_i}\left( \left|\frac{\partial u}{\partial x_i}\right|^{p_i-2}\frac{\partial u}{\partial x_i}\right)=λu^{q-1} \end{equation} where $Ω$ is a bounded and regular domain of $\mathbb{R}^N$, $q>1$ and $λ>0$. Using the sub-supersolution method we study the existence of positive solutions for the anisotropic problem \begin{equation} -\sum_{i=1}^N\frac{\partial}{\partial x_i}\left( \left|\frac{\partial u}{\partial x_i}\right|^{p_i-2}\frac{\partial u}{\partial x_i}\right)=λu^{q-1} \end{equation} where $Ω$ is a bounded and regular domain of $\mathbb{R}^N$, $q>1$ and $λ>0$. △ Less

Submitted 1 April, 2020; originally announced April 2020.

Comments: 11 pages, references 16 titles

MSC Class: 35K65; 35B65; 35B45; 35K20

Multiple positive bound state solutions of a critical Choquard equation

Authors: Claudianor O. Alves, Giovany M. Figueiredo, Riccardo Molle

Abstract: IIn this paper we consider the problem $$ \left\{ \begin{array}{rcl} -Δu+V_λ(x)u=(I_μ*|u|^{2^{*}_μ})|u|^{2^{*}_μ-2}u \ \ \mbox{in} \ \ \mathbb{R}^{N},\\ u>0 \ \ \mbox{in} \ \ \mathbb{R}^{N}, \end{array} \right.\leqno{(P_λ)} $$ where $V_λ=λ+V_{0}$ with $λ\geq 0$, $V_0\in L^{N/2}(\R^N)$, $I_μ=\frac{1}{|x|^μ}$ is the Riesz potential with $0<μ<\min\{N,4\}$ and $2^{*}_μ=\frac{2N-μ}{N-2}$ with… ▽ More IIn this paper we consider the problem $$ \left\{ \begin{array}{rcl} -Δu+V_λ(x)u=(I_μ*|u|^{2^{*}_μ})|u|^{2^{*}_μ-2}u \ \ \mbox{in} \ \ \mathbb{R}^{N},\\ u>0 \ \ \mbox{in} \ \ \mathbb{R}^{N}, \end{array} \right.\leqno{(P_λ)} $$ where $V_λ=λ+V_{0}$ with $λ\geq 0$, $V_0\in L^{N/2}(\R^N)$, $I_μ=\frac{1}{|x|^μ}$ is the Riesz potential with $0<μ<\min\{N,4\}$ and $2^{*}_μ=\frac{2N-μ}{N-2}$ with $N\geq 3$. Under some smallness assumption on $V_0$ and $λ$ we prove the existence of two positive solutions of $(P_λ)$. In order to prove the main result, we used variational methods combined with degree theory. △ Less

Submitted 7 August, 2020; v1 submitted 12 December, 2018; originally announced December 2018.

Comments: In this new version, we change the title and prove two new main results with the collaboration of Professor Dr Riccardo Molle

A sub-supersolution approach for some classes of nonlocal problems involving Orlicz spaces

Authors: Giovany M. Figueiredo, Abdelkrim Moussaoui, Gelson C. G. dos Santos, Leandro S. Tavares

Abstract: In the present paper we study the existence of solutions for some nonlocal problems involving Orlicz-Sobolev spaces. The approach is based on sub-supersolutions. In the present paper we study the existence of solutions for some nonlocal problems involving Orlicz-Sobolev spaces. The approach is based on sub-supersolutions. △ Less

Submitted 21 April, 2018; originally announced April 2018.

Existence and profile of ground-state solutions to a $1-$Laplacian problem in $\mathbb{R}^N$

Authors: Claudianor O. Alves, Giovany M. Figueiredo, Marcos T. O. Pimenta

Abstract: In this work we prove the existence of ground state solutions for the following class of problems \begin{equation*} \left\{ \begin{array}{ll} \displaystyle - Δ_1 u + (1 + λV(x))\frac{u}{|u|} & = f(u), \quad x \in \mathbb{R}^N, \\ u \in BV(\mathbb{R}^N), & \end{array} \right. \label{Pintro} \end{equation*} \end{abstract} where $λ> 0$, $Δ_1$ denotes the $1-$Laplacian operator which is formally defin… ▽ More In this work we prove the existence of ground state solutions for the following class of problems \begin{equation*} \left\{ \begin{array}{ll} \displaystyle - Δ_1 u + (1 + λV(x))\frac{u}{|u|} & = f(u), \quad x \in \mathbb{R}^N, \\ u \in BV(\mathbb{R}^N), & \end{array} \right. \label{Pintro} \end{equation*} \end{abstract} where $λ> 0$, $Δ_1$ denotes the $1-$Laplacian operator which is formally defined by $Δ_1 u = \mbox{div}(\nabla u/|\nabla u|)$, $V:\mathbb{R}^N \to \mathbb{R}$ is a potential satisfying some conditions and $f:\mathbb{R} \to \mathbb{R}$ is a subcritical and superlinear nonlinearity. We prove that for $λ> 0$ large enough there exists ground-state solutions and, as $λ\to +\infty$, such solutions converges to a ground-state solution of the limit problem in $Ω= \mbox{int}( V^{-1}(\{0\}))$. △ Less

Submitted 18 April, 2018; originally announced April 2018.

Comments: arXiv admin note: text overlap with arXiv:1702.06718

MSC Class: 35J62; 35J93

Quasilinear Schrödinger-Poisson system under an exponential critical nonlinearity: existence and asymptotic of solutions

Authors: Giovany M. Figueiredo, Gaetano Siciliano

Abstract: In this paper we consider the following quasilinear Schrödinger-Poisson system in a bounded domain in $\mathbb{R}^{2}$: $$ \left\{ \begin{array}[c]{ll} - Δu +φu = f(u) &\ \mbox{in } Ω, -Δφ- \varepsilon^{4}Δ_4 φ= u^{2} & \ \mbox{in } Ω, u=φ=0 & \ \mbox{on } \partialΩ\end{array} \right. $$ depending on the parameter $\varepsilon>0$. The nonlinearity $f$ is assumed to have critical exponencial grow… ▽ More In this paper we consider the following quasilinear Schrödinger-Poisson system in a bounded domain in $\mathbb{R}^{2}$: $$ \left\{ \begin{array}[c]{ll} - Δu +φu = f(u) &\ \mbox{in } Ω, -Δφ- \varepsilon^{4}Δ_4 φ= u^{2} & \ \mbox{in } Ω, u=φ=0 & \ \mbox{on } \partialΩ\end{array} \right. $$ depending on the parameter $\varepsilon>0$. The nonlinearity $f$ is assumed to have critical exponencial growth. We first prove existence of nontrivial solutions $(u_{\varepsilon}, φ_{\varepsilon})$ and then we show that as $\varepsilon\to0^{+}$ these solutions converges to a nontrivial solution of the associated Schrödinger-Poisson system, that is by making $\varepsilon=0$ in the system above. △ Less

Submitted 20 February, 2018; originally announced February 2018.

Multiplicity of positive solutions for a quasilinear Schrödinger equation with an almost critical nonlinearity

Authors: Giovany M. Figueiredo, Uberlandio B. Severo, Gaetano Siciliano

Abstract: In this paper we prove an existence result of multiple positive solutions for the following quasilinear problem \begin{equation*} \left\{ \begin{array}[c]{ll} -Δu - Δ(u^2)u = |u|^{p-2}u & \mbox{ in } Ωu= 0 &\mbox{ on } \partialΩ, \end{array} \right. \end{equation*} where $Ω$ is a smooth and bounded domain in $\mathbb R^{N},N\geq3$. More specifically we prove that, for $p$ near the critical exponen… ▽ More In this paper we prove an existence result of multiple positive solutions for the following quasilinear problem \begin{equation*} \left\{ \begin{array}[c]{ll} -Δu - Δ(u^2)u = |u|^{p-2}u & \mbox{ in } Ωu= 0 &\mbox{ on } \partialΩ, \end{array} \right. \end{equation*} where $Ω$ is a smooth and bounded domain in $\mathbb R^{N},N\geq3$. More specifically we prove that, for $p$ near the critical exponent $22^{*}=4N/(N-2)$, the number of positive solutions is estimated below by topological invariants of the domain $Ω$: the Ljusternick-Schnirelmann category and the Poincaré polynomial. △ Less

Submitted 25 January, 2018; originally announced January 2018.

A sub-supersolution method for a class of nonlocal system involving the p(x)-Laplacian operator and applications

Authors: Gelson C. G. dos Santos, Giovany M. Figueiredo, Leandro S. Tavares

Abstract: In the present paper we study the existence of solutions for a class of nonlocal system involving the p(x)-Laplacian operator. The approach is based on a new sub-supersolution result. In the present paper we study the existence of solutions for a class of nonlocal system involving the p(x)-Laplacian operator. The approach is based on a new sub-supersolution result. △ Less

Submitted 29 October, 2017; originally announced October 2017.

Comments: arXiv admin note: text overlap with arXiv:1704.02366"

Positive ground states for a subcritical and critical coupled system involving Kirchhoff-Schrödinger equations

Authors: José Carlos de Albuquerque, João Marcos do Ó, Giovany M. Figueiredo

Abstract: In this paper we prove the existence of positive ground state solution for a class of linearly coupled systems involving Kirchhoff-Schrödinger equations. We study the subcritical and critical case. Our approach is variational and based on minimization technique over the Nehari manifold. We also obtain a nonexistence result using a Pohozaev identity type. In this paper we prove the existence of positive ground state solution for a class of linearly coupled systems involving Kirchhoff-Schrödinger equations. We study the subcritical and critical case. Our approach is variational and based on minimization technique over the Nehari manifold. We also obtain a nonexistence result using a Pohozaev identity type. △ Less

Submitted 2 June, 2018; v1 submitted 21 October, 2017; originally announced October 2017.

Comments: 14 pages

MSC Class: 35J50; 35B33; 35Q55

Existence and asymptotic behaviour of solutions for a quasi-linear schrodinger-poisson system under a critical nonlinearity

Authors: Giovany M. Figueiredo, Gaetano Siciliano

Abstract: In this paper we consider the following quasilinear Schrödinger-Poisson system $$ \left\{ \begin{array}[c]{ll} - Δu +u+φu = λf(x,u)+|u|^{2^{*}-2}u &\ \mbox{in } \mathbb{R}^{3} \\ -Δφ-\varepsilon^{4} Δ_4 φ= u^{2} & \ \mbox{in } \mathbb{R}^{3}, \end{array} \right. $$ depending on the two parameters $λ,\varepsilon>0$. We first prove that, for $λ$ larger then a certain $λ^{*}>0$, there exists a so… ▽ More In this paper we consider the following quasilinear Schrödinger-Poisson system $$ \left\{ \begin{array}[c]{ll} - Δu +u+φu = λf(x,u)+|u|^{2^{*}-2}u &\ \mbox{in } \mathbb{R}^{3} \\ -Δφ-\varepsilon^{4} Δ_4 φ= u^{2} & \ \mbox{in } \mathbb{R}^{3}, \end{array} \right. $$ depending on the two parameters $λ,\varepsilon>0$. We first prove that, for $λ$ larger then a certain $λ^{*}>0$, there exists a solution for every $\varepsilon>0$. Later, we study the asymptotic behaviour of these solutions whenever $\varepsilon$ tends to zero, and we prove that they converge to the solution of the Schrödinger-Poisson system associated. △ Less

Submitted 17 July, 2017; originally announced July 2017.

Adaptive Consensus ADMM for Distributed Optimization

Authors: Zheng Xu, Gavin Taylor, Hao Li, Mario Figueiredo, Xiaoming Yuan, Tom Goldstein

Abstract: The alternating direction method of multipliers (ADMM) is commonly used for distributed model fitting problems, but its performance and reliability depend strongly on user-defined penalty parameters. We study distributed ADMM methods that boost performance by using different fine-tuned algorithm parameters on each worker node. We present a O(1/k) convergence rate for adaptive ADMM methods with nod… ▽ More The alternating direction method of multipliers (ADMM) is commonly used for distributed model fitting problems, but its performance and reliability depend strongly on user-defined penalty parameters. We study distributed ADMM methods that boost performance by using different fine-tuned algorithm parameters on each worker node. We present a O(1/k) convergence rate for adaptive ADMM methods with node-specific parameters, and propose adaptive consensus ADMM (ACADMM), which automatically tunes parameters without user oversight. △ Less

Submitted 20 June, 2017; v1 submitted 9 June, 2017; originally announced June 2017.

Comments: ICML 2017

Nehari method for locally Lipschitz functionals with examples in problems in the space of bounded variation functions

Authors: G. M. Figueiredo, M. T. O. Pimenta

Abstract: In this work we prove some abstract results about the existence of a minimizer for locally Lipschitz functionals, without any assumption of homogeneity, over a set which has its definition inspired in the Nehari manifold. As applications we present a result of existence of ground state bounded variation solutions of problems involving the 1-Laplacian and the mean-curvature operator, where the nonl… ▽ More In this work we prove some abstract results about the existence of a minimizer for locally Lipschitz functionals, without any assumption of homogeneity, over a set which has its definition inspired in the Nehari manifold. As applications we present a result of existence of ground state bounded variation solutions of problems involving the 1-Laplacian and the mean-curvature operator, where the nonlinearity satisfies mild assumptions. △ Less

Submitted 12 April, 2017; originally announced April 2017.

MSC Class: 35J62; 35J93

A sub-super solution method for a class of nonlocal problems involving the p(x)-Laplacian operator and applications

Authors: Gelson C. G. dos Santos, Giovany M. Figueiredo, Leandro da S. Tavares

Abstract: In the present paper we study the existence of solutions for some nonlocal problems involving the p(x)-Laplacian operator. The approach is based on a new sub-supersolution method In the present paper we study the existence of solutions for some nonlocal problems involving the p(x)-Laplacian operator. The approach is based on a new sub-supersolution method △ Less

Submitted 7 April, 2017; originally announced April 2017.

An Empirical Study of ADMM for Nonconvex Problems

Authors: Zheng Xu, Soham De, Mario Figueiredo, Christoph Studer, Tom Goldstein

Abstract: The alternating direction method of multipliers (ADMM) is a common optimization tool for solving constrained and non-differentiable problems. We provide an empirical study of the practical performance of ADMM on several nonconvex applications, including l0 regularized linear regression, l0 regularized image denoising, phase retrieval, and eigenvector computation. Our experiments suggest that ADMM… ▽ More The alternating direction method of multipliers (ADMM) is a common optimization tool for solving constrained and non-differentiable problems. We provide an empirical study of the practical performance of ADMM on several nonconvex applications, including l0 regularized linear regression, l0 regularized image denoising, phase retrieval, and eigenvector computation. Our experiments suggest that ADMM performs well on a broad class of non-convex problems. Moreover, recently proposed adaptive ADMM methods, which automatically tune penalty parameters as the method runs, can improve algorithm efficiency and solution quality compared to ADMM with a non-tuned penalty. △ Less

Submitted 10 December, 2016; originally announced December 2016.

Comments: NIPS nonconvex workshop

Existence of bounded variation solutions for a $1-$Laplacian problem with vanishing potentials

Authors: G. M. Figueiredo, M. T. O. Pimenta

Abstract: In this work it is studied a quasilinear elliptic problem in the whole space $\mathbb{R}^N$ involving the $1-$Laplacian operator, with potentials which can vanish at infinity. The Euler-Lagrange functional is defined in a space whose definition resembles $BV(\mathbb{R}^N)$ and, in order to avoid working with extensions of it to some Lebesgue space, we state and prove a version of the Mountain Pass… ▽ More In this work it is studied a quasilinear elliptic problem in the whole space $\mathbb{R}^N$ involving the $1-$Laplacian operator, with potentials which can vanish at infinity. The Euler-Lagrange functional is defined in a space whose definition resembles $BV(\mathbb{R}^N)$ and, in order to avoid working with extensions of it to some Lebesgue space, we state and prove a version of the Mountain Pass Theorem without the Palais-Smale condition to Lipschitz continuous functionals. △ Less

Submitted 21 November, 2016; originally announced November 2016.

Comments: 26 pages. arXiv admin note: substantial text overlap with arXiv:1610.07369

MSC Class: 35J62; 35J20

Ground state solutions for a fractional Schrödinger equation with critical growth

Authors: Vincenzo Ambrosio, Giovany M. Figueiredo

Abstract: In this paper we investigate the existence of nontrivial ground state solutions for the following fractional scalar field equation \begin{align*} (-Δ)^{s} u+V(x)u= f(u) \mbox{ in } \mathbb{R}^{N}, \end{align*} where $s\in (0,1)$, $N> 2s$, $(-Δ)^{s}$ is the fractional Laplacian, $V: \mathbb{R}^{N}\rightarrow \mathbb{R}$ is a bounded potential satisfying suitable assumptions, and… ▽ More In this paper we investigate the existence of nontrivial ground state solutions for the following fractional scalar field equation \begin{align*} (-Δ)^{s} u+V(x)u= f(u) \mbox{ in } \mathbb{R}^{N}, \end{align*} where $s\in (0,1)$, $N> 2s$, $(-Δ)^{s}$ is the fractional Laplacian, $V: \mathbb{R}^{N}\rightarrow \mathbb{R}$ is a bounded potential satisfying suitable assumptions, and $f\in C^{1, β}(\mathbb{R}, \mathbb{R})$ has critical growth. We first analyze the case $V$ constant, and then we develop a Jeanjean-Tanaka argument \cite{JT} to deal with the non autonomous case. As far as we know, all results presented here are new. △ Less

Submitted 15 September, 2017; v1 submitted 10 November, 2016; originally announced November 2016.

Journal ref: Asymptotic Analysis 105 (3-4), pp. 159-191, (2017)

Positive solutions for the fractional Laplacian in the almost critical case in a bounded domain

Authors: G. M. Figueiredo, G. Siciliano

Abstract: We prove existence of multiple positive solutions for a {\sl fractional scalar field equation} in a bounded domain, whenever $p$ tends to the critical Sobolev exponent. By means of the "photography method", we prove that the topology of the domain furnishes a lower bound on the number of positive solutions. We prove existence of multiple positive solutions for a {\sl fractional scalar field equation} in a bounded domain, whenever $p$ tends to the critical Sobolev exponent. By means of the "photography method", we prove that the topology of the domain furnishes a lower bound on the number of positive solutions. △ Less

Submitted 28 October, 2016; originally announced October 2016.

Comments: arXiv admin note: text overlap with arXiv:0905.2358

Strauss' and Lions' type results in $BV(\mathbb{R}^N)$ with an application to $1-$Laplacian problem

Authors: G. M. Figueiredo, M. T. O. Pimenta

Abstract: In this work we state and prove versions of some classical results, in the framework of functionals defined in the space of functions of bounded variation in $\mathbb{R}^N$. More precisely, we present versions of the Radial Lemma of Strauss, the compactness of the embeddings of the space of radially symmetric functions of $BV(\mathbb{R}^N)$ in some Lebesgue spaces and also a version of the Lions L… ▽ More In this work we state and prove versions of some classical results, in the framework of functionals defined in the space of functions of bounded variation in $\mathbb{R}^N$. More precisely, we present versions of the Radial Lemma of Strauss, the compactness of the embeddings of the space of radially symmetric functions of $BV(\mathbb{R}^N)$ in some Lebesgue spaces and also a version of the Lions Lemma, proved in his celebrated paper of 1984. As an application, we state and prove a version of the Mountain Pass Theorem without the Palais-Smale condition in order to get existence of a ground-state bounded variation solution of a quasilinear elliptic problem involving the $1-$Laplacian operator in $\mathbb{R}^N$. This seems to be the very first work dealing with stationary problems involving this operator in the whole space. △ Less

Submitted 24 October, 2016; originally announced October 2016.

Comments: 16 pages

MSC Class: 35J62; 35J93

Ground state solutions for fractional scalar field equations under a general critical nonlinearity

Authors: Claudianor O. Alves, Giovany M. Figueiredo, Gaetano Siciliano

Abstract: In this paper we study existence of ground state solution to the following problem $$ (- Δ)^αu = g(u) \ \ \mbox{in} \ \ \mathbb{R}^{N}, \ \ u \in H^α(\mathbb R^N) $$ where $(-Δ)^α$ is the fractional Laplacian, $α\in (0,1)$. We treat both cases $N\geq2$ and $N=1$ with $α=1/2$. The function $g$ is a general nonlinearity of Berestycki-Lions type which is allowed to have critical growth: polynomial in… ▽ More In this paper we study existence of ground state solution to the following problem $$ (- Δ)^αu = g(u) \ \ \mbox{in} \ \ \mathbb{R}^{N}, \ \ u \in H^α(\mathbb R^N) $$ where $(-Δ)^α$ is the fractional Laplacian, $α\in (0,1)$. We treat both cases $N\geq2$ and $N=1$ with $α=1/2$. The function $g$ is a general nonlinearity of Berestycki-Lions type which is allowed to have critical growth: polynomial in case $N\geq2$, exponential if $N=1$. △ Less

Submitted 14 October, 2016; originally announced October 2016.

Sign-changing solutions for a class of zero mass nonlocal Schrödinger equations

Authors: Vincenzo Ambrosio, Giovany M. Figueiredo, Teresa Isernia, Giovanni Molica Bisci

Abstract: We consider the following class of fractional Schrödinger equations $$ (-Δ)^α u + V(x)u = K(x) f(u) \mbox{in} \mathbb{R}^{N} $$ where $α\in (0, 1)$, $N>2α$, $(-Δ)^α$ is the fractional Laplacian, $V$ and $K$ are positive continuous functions which vanish at infinity, and $f$ is a continuous function. By using a minimization argument and a quantitative deformation lemma, we obtain the existence of a… ▽ More We consider the following class of fractional Schrödinger equations $$ (-Δ)^α u + V(x)u = K(x) f(u) \mbox{in} \mathbb{R}^{N} $$ where $α\in (0, 1)$, $N>2α$, $(-Δ)^α$ is the fractional Laplacian, $V$ and $K$ are positive continuous functions which vanish at infinity, and $f$ is a continuous function. By using a minimization argument and a quantitative deformation lemma, we obtain the existence of a sign-changing solution. Furthermore, when $f$ is odd, we prove that the above problem admits infinitely many nontrivial solutions. Our result extends to the fractional framework some well-known theorems proved for elliptic equations in the classical setting. With respect to these cases studied in the literature, the nonlocal one considered here presents some additional difficulties, such as the lack of decompositions involving positive and negative parts, and the non-differentiability of the Nehari Manifold, so that a careful analysis of the fractional spaces involved is necessary. △ Less

Submitted 8 July, 2018; v1 submitted 28 September, 2016; originally announced September 2016.

Comments: Adv. Nonlinear Stud. (2018)

Existence of ground state solutions to Dirac equations with vanishing potentials at infinity

Authors: Giovany M. Figueiredo, Marcos T. O. Pimenta

Abstract: In this work we study the existence of ground-state solutions of Dirac equations with potentials which are allowed to vanish at infinity. The approach is based on minimization of the energy functional over a generalized Nehari set. Some conditions on the potentials are given in order to overcome the lack of compactness. In this work we study the existence of ground-state solutions of Dirac equations with potentials which are allowed to vanish at infinity. The approach is based on minimization of the energy functional over a generalized Nehari set. Some conditions on the potentials are given in order to overcome the lack of compactness. △ Less

Submitted 21 September, 2016; originally announced September 2016.

Comments: Accepted for publication in Journal of Differential Equations

MSC Class: 35J20; 35JXX

Adaptive ADMM with Spectral Penalty Parameter Selection

Authors: Zheng Xu, Mario A. T. Figueiredo, Tom Goldstein

Abstract: The alternating direction method of multipliers (ADMM) is a versatile tool for solving a wide range of constrained optimization problems, with differentiable or non-differentiable objective functions. Unfortunately, its performance is highly sensitive to a penalty parameter, which makes ADMM often unreliable and hard to automate for a non-expert user. We tackle this weakness of ADMM by proposing a… ▽ More The alternating direction method of multipliers (ADMM) is a versatile tool for solving a wide range of constrained optimization problems, with differentiable or non-differentiable objective functions. Unfortunately, its performance is highly sensitive to a penalty parameter, which makes ADMM often unreliable and hard to automate for a non-expert user. We tackle this weakness of ADMM by proposing a method to adaptively tune the penalty parameters to achieve fast convergence. The resulting adaptive ADMM (AADMM) algorithm, inspired by the successful Barzilai-Borwein spectral method for gradient descent, yields fast convergence and relative insensitivity to the initial stepsize and problem scaling. △ Less

Submitted 19 July, 2017; v1 submitted 23 May, 2016; originally announced May 2016.

Comments: AISTATS 2017

Multiplicity results for the fractional laplacian in expanded domains

Authors: G. M. Figueiredo, M. T. O Pimenta, G. Siciliano

Abstract: In this paper we establish the multiplicity of nontrivial weak solutions for the problem $(-Δ)^α u +u= h(u)$ in $Ω_λ$,\ $u=0$ on $\partialΩ_λ$, where $Ω_λ=λΩ$, $Ω$ is a smooth and bounded domain in $\mathbb{R}^N, N>2α$, $λ$ is a positive parameter, $α\in (0,1)$, $(-Δ)^α$ is the fractional Laplacian and the nonlinear term $h(u)$ has a subcritical growth. We use minimax methods, the Ljusternick-Schn… ▽ More In this paper we establish the multiplicity of nontrivial weak solutions for the problem $(-Δ)^α u +u= h(u)$ in $Ω_λ$,\ $u=0$ on $\partialΩ_λ$, where $Ω_λ=λΩ$, $Ω$ is a smooth and bounded domain in $\mathbb{R}^N, N>2α$, $λ$ is a positive parameter, $α\in (0,1)$, $(-Δ)^α$ is the fractional Laplacian and the nonlinear term $h(u)$ has a subcritical growth. We use minimax methods, the Ljusternick-Schnirelmann and Morse theories to get multiplicity result depending on the topology of $Ω$. △ Less

Submitted 30 November, 2015; originally announced November 2015.

Existence of least energy nodal solution with two nodal domains for a generalized Kirchhoff problem in an Orlicz Sobolev space

Authors: Giovany M. Figueiredo, Jefferson A. Santos

Abstract: We show the existence of a nodal solution with two nodal domains for a generalized Kirchhoff equation of the type $$ -M\left(\displaystyle\int_ΩΦ(|\nabla u|)dx\right)Δ_Φu = f(u) \ \ \mbox{in} \ \ Ω, \ \ u=0 \ \ \mbox{on} \ \ \partialΩ, $$ where $Ω$ is a bounded domain in $\mathbf{R}^N$, $M$ is a general $C^{1}$ class function, $f$ is a superlinear $C^{1}$ class function with subcritical growth,… ▽ More We show the existence of a nodal solution with two nodal domains for a generalized Kirchhoff equation of the type $$ -M\left(\displaystyle\int_ΩΦ(|\nabla u|)dx\right)Δ_Φu = f(u) \ \ \mbox{in} \ \ Ω, \ \ u=0 \ \ \mbox{on} \ \ \partialΩ, $$ where $Ω$ is a bounded domain in $\mathbf{R}^N$, $M$ is a general $C^{1}$ class function, $f$ is a superlinear $C^{1}$ class function with subcritical growth, $Φ$ is defined for $t\in \mathbf{R}$ by setting $ Φ(t)=\int_0^{|t|}φ(s)sds$, $Δ_Φ$ is the operator $Δ_Φu:=div(φ(|\nabla u|)\nabla u)$. The proof is based on a minimization argument and a quantitative deformation lemma. △ Less

Submitted 30 November, 2015; v1 submitted 16 November, 2015; originally announced November 2015.

Existence of solutions for a nonlinear Choquard equation with potential vanishing at infinity

Authors: Claudianor O. Alves, Giovany M. Figueiredo, Minbo Yang

Abstract: We study the following class of nonlinear Choquard equation, $$ -Δu +V(x)u =\Big( \frac{1}{|x|^μ}\ast F(u)\Big)f(u) \quad \mbox{in} \quad \R^N, $$ where $0<μ<N$, $N \geq 3$, $V$ is a continuous real function and $F$ is the primitive function of $f$. Under some suitable assumptions on the potential $V$, which include the case $V(\infty)=0$, that is, $V(x)\to 0$ as $|x|\to +\infty$, we prove existen… ▽ More We study the following class of nonlinear Choquard equation, $$ -Δu +V(x)u =\Big( \frac{1}{|x|^μ}\ast F(u)\Big)f(u) \quad \mbox{in} \quad \R^N, $$ where $0<μ<N$, $N \geq 3$, $V$ is a continuous real function and $F$ is the primitive function of $f$. Under some suitable assumptions on the potential $V$, which include the case $V(\infty)=0$, that is, $V(x)\to 0$ as $|x|\to +\infty$, we prove existence of a nontrivial solution for the above equation by penalization method. △ Less

Submitted 14 November, 2015; originally announced November 2015.

Comments: arXiv admin note: text overlap with arXiv:1506.08179 by other authors

Some remarks on the comparison principle in Kirchhoff equations

Authors: Giovany M. Figueiredo, Antonio Suarez

Abstract: In this paper we study the validity of the comparison principle and the sub-supersolution method for Kirchhoff type equations. We show that these principles do not work when the Kirchhoff function is increasing, contradicting some previous results. We give an alternative sub-supersolution method and apply it to some models. In this paper we study the validity of the comparison principle and the sub-supersolution method for Kirchhoff type equations. We show that these principles do not work when the Kirchhoff function is increasing, contradicting some previous results. We give an alternative sub-supersolution method and apply it to some models. △ Less

Submitted 7 October, 2015; originally announced October 2015.

MSC Class: 45M20; 35J25; 34B18

Multi-bump solutions for a Kirchhoff problem type

Authors: Claudianor O. Alves, Giovany M. Figueiredo

Abstract: In this paper, we are going to study the existence of solution for the following Kirchhoff problem $$ \left\{ \begin{array}{l} M\biggl(\displaystyle\int_{\mathbb{R}^{3}}|\nabla u|^{2} dx +\displaystyle\int_{\mathbb{R}^{3}} λa(x)+1)u^{2} dx\biggl) \biggl(- Δu + (λa(x)+1)u\biggl) = f(u) \mbox{ in } \,\,\, \mathbb{R}^{3}, \\ \mbox{}\\ u \in H^{1}(\mathbb{R}^{3}). \end{array} \right. $$ Assuming tha… ▽ More In this paper, we are going to study the existence of solution for the following Kirchhoff problem $$ \left\{ \begin{array}{l} M\biggl(\displaystyle\int_{\mathbb{R}^{3}}|\nabla u|^{2} dx +\displaystyle\int_{\mathbb{R}^{3}} λa(x)+1)u^{2} dx\biggl) \biggl(- Δu + (λa(x)+1)u\biggl) = f(u) \mbox{ in } \,\,\, \mathbb{R}^{3}, \\ \mbox{}\\ u \in H^{1}(\mathbb{R}^{3}). \end{array} \right. $$ Assuming that the nonnegative function $a(x)$ has a potential well with $int (a^{-1}(\{0\}))$ consisting of $k$ disjoint components $Ω_1, Ω_2, ....., Ω_k$ and the nonlinearity $f(t)$ has a subcritical growth, we are able to establish the existence of positive multi-bump solutions by variational methods. △ Less

Submitted 27 July, 2015; originally announced July 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1501.02930

Nodal solutions of a NLS equation concentrating on lower dimensional spheres

Authors: Giovany M. Figueiredo, Marcos T. O. Pimenta

Abstract: In this work we deal with a following nonlinear Schrodinger equation in dimension greater or equal to 3, with a subcritical power-type nonlinearity and a positive potential satisfying a local condition. We prove the existence and concentration of nodal solutions which concentrate around a k - dimensional sphere of RN, where k is between 1 and N-1, as a parameter goes to 0. The radius of such spher… ▽ More In this work we deal with a following nonlinear Schrodinger equation in dimension greater or equal to 3, with a subcritical power-type nonlinearity and a positive potential satisfying a local condition. We prove the existence and concentration of nodal solutions which concentrate around a k - dimensional sphere of RN, where k is between 1 and N-1, as a parameter goes to 0. The radius of such sphere is related with the local minimum of a function which takes into account the potential. Variational methods are used together with the penalization technique in order to overcome the lack of compactness. △ Less

Submitted 30 March, 2015; originally announced March 2015.

Comments: 25 pages

A multiplicity result via Ljusternick-Schnirelmann category and morse theory for a fractional schrödinger equation in $\mathbb R^{N}$

Authors: Giovany M. Figueiredo, Gaetano Siciliano

Abstract: In this work we study the following class of problems in $\mathbb R^{N}, N>2s$ $$ \varepsilon^{2s} (-Δ)^{s}u + V(z)u=f(u), \,\,\, u(z) > 0 $$ where $0<s<1$, $(-Δ)^{s}$ is the fractional Laplacian, $\varepsilon$ is a positive parameter, the potential $V:\mathbb{R}^N \to\mathbb{R}$ %is a continuous functions and the nonlinearity $f:\mathbb R \to \mathbb R$ satisfy suitable assumptions; in particula… ▽ More In this work we study the following class of problems in $\mathbb R^{N}, N>2s$ $$ \varepsilon^{2s} (-Δ)^{s}u + V(z)u=f(u), \,\,\, u(z) > 0 $$ where $0<s<1$, $(-Δ)^{s}$ is the fractional Laplacian, $\varepsilon$ is a positive parameter, the potential $V:\mathbb{R}^N \to\mathbb{R}$ %is a continuous functions and the nonlinearity $f:\mathbb R \to \mathbb R$ satisfy suitable assumptions; in particular it is assumed that $V$ achieves its positive minimum on some set $M.$ By using variational methods we prove existence, multiplicity and concentration of maxima of positive solutions when $\varepsilon\to 0^{+}$. In particular the multiplicity result is obtained by means of the Ljusternick-Schnirelmann and Morse theory, by exploiting the "topological complexity" of the set $M$. △ Less

Submitted 4 February, 2015; originally announced February 2015.

On a nonlocal multivalued problem in an Orlicz-Sobolev space via Krasnoselskii's genus

Authors: Giovany M. Figueiredo, Jefferson A. Santos

Abstract: This paper is concerned with the multiplicity of nontrivial solutions in an Orlicz-Sobolev space for a nonlocal problem involving N-functions and theory of locally Lispchitz continuous functionals. This paper is concerned with the multiplicity of nontrivial solutions in an Orlicz-Sobolev space for a nonlocal problem involving N-functions and theory of locally Lispchitz continuous functionals. △ Less

Submitted 22 January, 2015; originally announced January 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1411.3753

Journal ref: Journal of Convex Analysis - Number 2 of Volume 22 (2015)

On a Phi-Kirchhoff multivalued problem with critical growth in an Orlicz-Sobolev space

Authors: Giovany M. Figueiredo, Jefferson A. Santos

Abstract: This paper is concerned with the multiplicity of nontrivial solutions in an Orlicz-Sobolev space for a nonlocal problem with critical growth, involving N-functions and theory of locally Lispchitz continuous functionals. This paper is concerned with the multiplicity of nontrivial solutions in an Orlicz-Sobolev space for a nonlocal problem with critical growth, involving N-functions and theory of locally Lispchitz continuous functionals. △ Less

Submitted 13 November, 2014; originally announced November 2014.

Journal ref: Asymptotic Analysis, Volume 89, Number 1-2 / 2014 Pages 151-172

Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3

Authors: Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo

Abstract: A clique of a graph is a maximal set of vertices of size at least 2 that induces a complete graph. A $k$-clique-colouring of a graph is a colouring of the vertices with at most $k$ colours such that no clique is monochromatic. Défossez proved that the 2-clique-colouring of perfect graphs is a $Σ_2^P$-complete problem [J. Graph Theory 62 (2009) 139--156]. We strengthen this result by showing that i… ▽ More A clique of a graph is a maximal set of vertices of size at least 2 that induces a complete graph. A $k$-clique-colouring of a graph is a colouring of the vertices with at most $k$ colours such that no clique is monochromatic. Défossez proved that the 2-clique-colouring of perfect graphs is a $Σ_2^P$-complete problem [J. Graph Theory 62 (2009) 139--156]. We strengthen this result by showing that it is still $Σ_2^P$-complete for weakly chordal graphs. We then determine a hierarchy of nested subclasses of weakly chordal graphs whereby each graph class is in a distinct complexity class, namely $Σ_2^P$-complete, $\mathcal{NP}$-complete, and $\mathcal{P}$. We solve an open problem posed by Kratochvíl and Tuza to determine the complexity of 2-clique-colouring of perfect graphs with all cliques having size at least 3 [J. Algorithms 45 (2002), 40--54], proving that it is a $Σ_2^P$-complete problem. We then determine a hierarchy of nested subclasses of perfect graphs with all cliques having size at least 3 whereby each graph class is in a distinct complexity class, namely $Σ_2^P$-complete, $\mathcal{NP}$-complete, and $\mathcal{P}$. △ Less

Submitted 11 December, 2013; v1 submitted 7 December, 2013; originally announced December 2013.

Comments: An extended abstract of this work was accepted for presentation at Latin 2014, the 11th Latin American Symposium on Theoretical Informatics

Complexity of colouring problems restricted to unichord-free and \{square,unichord\}-free graphs

Authors: Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon

Abstract: A \emph{unichord} in a graph is an edge that is the unique chord of a cycle. A \emph{square} is an induced cycle on four vertices. A graph is \emph{unichord-free} if none of its edges is a unichord. We give a slight restatement of a known structure theorem for unichord-free graphs and use it to show that, with the only exception of the complete graph $K_4$, every square-free, unichord-free graph o… ▽ More A \emph{unichord} in a graph is an edge that is the unique chord of a cycle. A \emph{square} is an induced cycle on four vertices. A graph is \emph{unichord-free} if none of its edges is a unichord. We give a slight restatement of a known structure theorem for unichord-free graphs and use it to show that, with the only exception of the complete graph $K_4$, every square-free, unichord-free graph of maximum degree~3 can be total-coloured with four colours. Our proof can be turned into a polynomial time algorithm that actually outputs the colouring. This settles the class of square-free, unichord-free graphs as a class for which edge-colouring is NP-complete but total-colouring is polynomial. △ Less

Submitted 11 September, 2013; originally announced September 2013.

MSC Class: 05C85

Journal ref: Discrete Applied Mathematics. Volume 164, Part 1, 19 February 2014, Pages 191-199

Edge-colouring and total-colouring chordless graphs

Authors: Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon

Abstract: A graph $G$ is \emph{chordless} if no cycle in $G$ has a chord. In the present work we investigate the chromatic index and total chromatic number of chordless graphs. We describe a known decomposition result for chordless graphs and use it to establish that every chordless graph of maximum degree $Δ\geq 3$ has chromatic index $Δ$ and total chromatic number $Δ+ 1$. The proofs are algorithmic in the… ▽ More A graph $G$ is \emph{chordless} if no cycle in $G$ has a chord. In the present work we investigate the chromatic index and total chromatic number of chordless graphs. We describe a known decomposition result for chordless graphs and use it to establish that every chordless graph of maximum degree $Δ\geq 3$ has chromatic index $Δ$ and total chromatic number $Δ+ 1$. The proofs are algorithmic in the sense that we actually output an optimal colouring of a graph instance in polynomial time. △ Less

Submitted 7 September, 2013; originally announced September 2013.

MSC Class: 05C75

Journal ref: R.C.S. Machado, C.M.H. de Figueiredo and N. Trotignon. Edge-colouring and total-colouring chordless graphs, Discrete Mathematics, 313:1547-1552, 2013

Ground state solution for a Kirchhoff problem with exponential critical growth

Authors: Giovany M. Figueiredo, Uberlandio B. Severo

Abstract: We establish the existence of a positive ground state solution for a Kirchhoff problem in $\mathbb{R}^2$ involving critical exponential growth, that is, the nonlinearity behaves like $\exp(α_{0}s^{2})$ as $|s| \to \infty$, for some $α_{0}>0$. In order to obtain our existence result we used minimax techniques combined with the Trudinger-Moser inequality. We establish the existence of a positive ground state solution for a Kirchhoff problem in $\mathbb{R}^2$ involving critical exponential growth, that is, the nonlinearity behaves like $\exp(α_{0}s^{2})$ as $|s| \to \infty$, for some $α_{0}>0$. In order to obtain our existence result we used minimax techniques combined with the Trudinger-Moser inequality. △ Less

Submitted 12 May, 2013; originally announced May 2013.

Multiplicity and concentration behavior of positive solutions for a Schrodinger-Kirchhoff type problem via penalization method

Authors: Giovany M. Figueiredo, João R. Santos Júnior

Abstract: In this paper we are concerned with questions of multiplicity and concentration behavior of positive solutions of the elliptic problem $$\left\{\begin{array}{rcl} \mathcal{L}_{\varepsilon}u = f(u) \ \ \mbox{in} \ \ \mathbb{R}^3,\\ u>0 \ \ \mbox{in} \ \ \mathbb{R}^3,\\ u \in H^1 (\mathbb{R}^3), \end{array} \right.$$ where $\varepsilon$ is a small positive parameter,… ▽ More In this paper we are concerned with questions of multiplicity and concentration behavior of positive solutions of the elliptic problem $$\left\{\begin{array}{rcl} \mathcal{L}_{\varepsilon}u = f(u) \ \ \mbox{in} \ \ \mathbb{R}^3,\\ u>0 \ \ \mbox{in} \ \ \mathbb{R}^3,\\ u \in H^1 (\mathbb{R}^3), \end{array} \right.$$ where $\varepsilon$ is a small positive parameter, $f:\mathbb{R}\rightarrow \mathbb{R}$ is a continuous function, $\mathcal{L}_{\varepsilon}$ is a nonlocal operator defined by $$ \mathcal{L}_{\varepsilon} u = M \left(\frac{1}{\varepsilon} \int_{\mathbb{R}^3} |\nabla u|^2 + \frac{1}{\varepsilon^3} \int_{\mathbb{R}^3} V(x) u^{2}\right) \left[-\varepsilon^2Δu + V(x)u \right],$$ $M:\mathbb{R}_+\to \mathbb{R}_+$ and $V:\mathbb{R}^3 \to \mathbb{R}$ are continuous functions which verify some hypotheses. △ Less

Submitted 4 May, 2013; originally announced May 2013.

Comments: 32 pages

Journal ref: ESAIM: COCV 20 (2014) 389-415

Multiple solutions for a quasilinear Schrödinger equation on $\mathbb{R}^{N}$}

Authors: Claudianor O. Alves, Giovany M. Figueiredo

Abstract: The multiplicity of positive weak solutions for a quasilinear Schrödinger equations $-L_p u +(λA(x)+1)|u|^{p-2}u= h(u)$ in $\mathbb{R}^N$ is established, where $L_p u\doteq ε^{p}Δ_p u +ε^{p}Δ_p (u^2)u$, $A$ is a nonnegative continuous function and nonlinear term $h$ has a subcritical growth. We achieved our results by using minimax methods and Lusternik-Schnirelman theory of critical points. The multiplicity of positive weak solutions for a quasilinear Schrödinger equations $-L_p u +(λA(x)+1)|u|^{p-2}u= h(u)$ in $\mathbb{R}^N$ is established, where $L_p u\doteq ε^{p}Δ_p u +ε^{p}Δ_p (u^2)u$, $A$ is a nonnegative continuous function and nonlinear term $h$ has a subcritical growth. We achieved our results by using minimax methods and Lusternik-Schnirelman theory of critical points. △ Less

Submitted 19 April, 2013; originally announced April 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1304.4960

Multiplicity of solutions for a NLS equations with magnetic fields in $\mathbb{R}^{N}$}

Authors: Claudianor O. Alves, Giovany M. Figueiredo

Abstract: We investigate the multiplicity of nontrivial weak solutions for a class of complex equations. This class of problems are related with the existence of solitary waves for a nonlinear Schödinger equation. The main result is established by using minimax methods and Lusternik-Schnirelman theory of critical points. We investigate the multiplicity of nontrivial weak solutions for a class of complex equations. This class of problems are related with the existence of solitary waves for a nonlinear Schödinger equation. The main result is established by using minimax methods and Lusternik-Schnirelman theory of critical points. △ Less

Submitted 17 April, 2013; originally announced April 2013.

Multiple solutions for a NLS equation with critical growth and magnetic field

Authors: Claudianor O. Alves, Giovany M. Figueiredo

Abstract: In this paper, we are concerned with the multiplicity of nontrivial solutions for the following class of complex problems $$ (-i\nabla - A(μx))^{2}u= μ|u|^{q-2}u + |u|^{2^{*}-2}u \ \mbox{in} \ Ω, \ \ \ \ u \in H^{1}_{0}(Ω,\mathbb{C}), $$ where $Ω\subset \mathbb{R}^{N} (N \geq 4)$ is a bounded domain with smooth boundary. Using the Lusternik-Schnirelman theory, we relate the number of solutions wit… ▽ More In this paper, we are concerned with the multiplicity of nontrivial solutions for the following class of complex problems $$ (-i\nabla - A(μx))^{2}u= μ|u|^{q-2}u + |u|^{2^{*}-2}u \ \mbox{in} \ Ω, \ \ \ \ u \in H^{1}_{0}(Ω,\mathbb{C}), $$ where $Ω\subset \mathbb{R}^{N} (N \geq 4)$ is a bounded domain with smooth boundary. Using the Lusternik-Schnirelman theory, we relate the number of solutions with the topology of $Ω$. △ Less

Submitted 17 April, 2013; originally announced April 2013.

Existence and multiplicity of solutions for a prescribed mean-curvature problem with critical growth

Authors: Giovany M. Figueiredo, Marcos T. O. Pimenta

Abstract: In this work we study an existence and multiplicity result for the following prescribed mean-curvature problem with critical growth $$ \left\{\begin{array}{rl} -\mbox{div}\biggl(\frac{\nabla u}{\sqrt{1+|\nabla u|^{2}}}\biggl) = λ|u|^{q-2}u+ |u|^{2^*-2}u & \mbox{in $Ω$} u = 0 & \mbox{on $\partial Ω$}, \end{array} \right. $$ where $Ω$ is a bounded smooth domain of $\mathbb{R}^{N}$, $N\geq 3… ▽ More In this work we study an existence and multiplicity result for the following prescribed mean-curvature problem with critical growth $$ \left\{\begin{array}{rl} -\mbox{div}\biggl(\frac{\nabla u}{\sqrt{1+|\nabla u|^{2}}}\biggl) = λ|u|^{q-2}u+ |u|^{2^*-2}u & \mbox{in $Ω$} u = 0 & \mbox{on $\partial Ω$}, \end{array} \right. $$ where $Ω$ is a bounded smooth domain of $\mathbb{R}^{N}$, $N\geq 3$ and $1 < q<2$. In order to employ variational arguments, we consider an auxiliary problem which is proved to have infinitely many solutions by genus theory. A clever estimate in the gradient of the solutions of the modified problem is necessary to recover solutions of the original one. △ Less

Submitted 16 April, 2013; originally announced April 2013.

MSC Class: 35J60; 35J35