-
Lexicographic products and lexicographic powers of graphs -- a walk matrix approach
Authors:
Domingos M. Cardoso,
Paula Carvalho,
Helena Gomes,
Sofia J. Pinheiro,
Paula Rama
Abstract:
The characteristic polynomial and the spectrum of the lexicographic product of graphs $H[G]$, a specific instance of the generalized composition (also called $H$-join), are explicitly determined for arbitrary graphs $H$ and $G$, in terms of the eigenvalues of $G$ and an $H[G]$ associated matrix $\widetilde{\bf W}$, which relates $H$ with $G$. This study also establishes conditions under which a ma…
▽ More
The characteristic polynomial and the spectrum of the lexicographic product of graphs $H[G]$, a specific instance of the generalized composition (also called $H$-join), are explicitly determined for arbitrary graphs $H$ and $G$, in terms of the eigenvalues of $G$ and an $H[G]$ associated matrix $\widetilde{\bf W}$, which relates $H$ with $G$. This study also establishes conditions under which a main eigenvalue of $G$ is a main or non-main eigenvalue of the matrix $\widetilde{\bf W}$, when the nullity of the graph $H$ is $η>0$. In such a case, we prove that every main eigenvalue of $G$ is an eigenvalue of $\widetilde{\bf W}$ with multiplicity at least $η$ which is non-main for $\bf \widetilde{W}$ if and only if $0$ is a non-main eigenvalue of $H$. Furthermore, the spectra of the lexicographic powers of arbitrary graphs $G$ are analysed by applying the obtained results.
△ Less
Submitted 13 June, 2025;
originally announced June 2025.
-
Multiplicity of solutions for singular elliptic problems with Stein-Weiss term
Authors:
Márcia S. B. A. Cardoso,
Edcarlos D. Silva,
Marcos. L. M. Carvalho,
Minbo Yang
Abstract:
In the present work, we establish the existence and multiplicity of positive solutions for the singular elliptic equations with a double weighted nonlocal interaction term defined in the whole space $\mathbb{R}^N$. The nonlocal term and the fact that the energy functional is not differentiable are the main difficulties for this kind of problem. We apply the Nehari method and the nonlinear Rayleigh…
▽ More
In the present work, we establish the existence and multiplicity of positive solutions for the singular elliptic equations with a double weighted nonlocal interaction term defined in the whole space $\mathbb{R}^N$. The nonlocal term and the fact that the energy functional is not differentiable are the main difficulties for this kind of problem. We apply the Nehari method and the nonlinear Rayleigh quotient to prove that our main problem has at least two positive weak solutions. Furthermore, we prove a nonexistence result related to the extreme $λ^*> 0$ given by the nonlinear Rayleigh quotient.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
Stein-Weiss problems via nonlinear Rayleigh quotient for concave-convex nonlinearities
Authors:
Edcarlos D. Silva,
Marcos. L. M. Carvalho,
Márcia S. B. A. Cardoso
Abstract:
In the present work, we consider existence and multiplicity of positive solutions for nonlocal elliptic problems driven by the Stein-Weiss problem with concave-convex nonlinearities defined in the whole space $\mathbb{R}^N$. More precisely, we consider the following nonlocal elliptic problem:
\begin{equation*}
- Δu + V(x)u = λa(x) |u|^{q-2} u + \displaystyle \int \limits_{\mathbb{R}^N}\frac{b(…
▽ More
In the present work, we consider existence and multiplicity of positive solutions for nonlocal elliptic problems driven by the Stein-Weiss problem with concave-convex nonlinearities defined in the whole space $\mathbb{R}^N$. More precisely, we consider the following nonlocal elliptic problem:
\begin{equation*}
- Δu + V(x)u = λa(x) |u|^{q-2} u + \displaystyle \int \limits_{\mathbb{R}^N}\frac{b(y)\vert u(y) \vert^p dy}{\vert x\vert^α\vert x-y\vert^μ\vert y\vert^α} b(x)\vert u\vert^{p-2}u, \,\, \hbox{in}\ \mathbb{R}^N, \,\, u\in H^1(\mathbb{R}^N),
\end{equation*}
where $λ>0, α\in (0,N), N\geq3,
0<μ<N, 0 <
μ+ 2 α< N$. Furthermore, we assume also that $V: \mathbb{R}^N \to \mathbb{R}$ is a bounded potential, $a \in{L}^r(\mathbb{R}^N), a > 0$ in $\mathbb{R}^N$ and
$b\in{L}^{t}(\mathbb{R}^N), b>0$ in $\mathbb{R}^N$ for some specific $r, t > 1$. We assume also that $1\leq q<2$ and $2_{α,μ} < p<2_{α,μ}^*$ where $2_{α,μ}=(2N-2α-μ)/N$ and $2_{α,μ}^*= (2N-2α-μ)/(N-2)$.
Our main contribution is to find the largest $λ^* > 0$ in such way that our main problem admits at least two positive solutions for each $λ\in (0, λ^*)$. In order to do that we apply the nonlinear Rayleigh quotient together with the Nehari method. Moreover, we prove a Brezis-Lieb type Lemma and a regularity result taking into account our setting due to the potentials $a, b : \mathbb{R}^N \to \mathbb{R}$.
△ Less
Submitted 9 November, 2024;
originally announced November 2024.
-
Energy-critical inhomogeneous nonlinear Schrödinger equation with two power-type nonlinearities
Authors:
Andressa Gomes,
Mykael Cardoso
Abstract:
We consider the initial value problem for the inhomogeneous nonlinear Schrödinger equation with double nonlinearities (DINLS)
\begin{equation*}
i \partial_t u + Δu = λ_1 |x|^{-b_1}|u|^{p_1}u + λ_2|x|^{-b_2}|u|^{\frac{4-2b_2}{N-2}}u,
\end{equation*} where $λ_1,λ_2\in \mathbb{R}$, $3\leq N<6$ and $0<b_1,b_2<\min\{2,\frac{6-N}{2}\}$. In this paper, we establish global well-posedness results for…
▽ More
We consider the initial value problem for the inhomogeneous nonlinear Schrödinger equation with double nonlinearities (DINLS)
\begin{equation*}
i \partial_t u + Δu = λ_1 |x|^{-b_1}|u|^{p_1}u + λ_2|x|^{-b_2}|u|^{\frac{4-2b_2}{N-2}}u,
\end{equation*} where $λ_1,λ_2\in \mathbb{R}$, $3\leq N<6$ and $0<b_1,b_2<\min\{2,\frac{6-N}{2}\}$. In this paper, we establish global well-posedness results for certain parameter regimes and prove finite-time blow-up phenomena under specific conditions. Our analysis relies on stability theory, energy estimates, and virial identities adapted to the DINLS model.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
Minimal mass blow-up solutions for a inhomogeneous NLS equation
Authors:
Mykael Cardoso,
Luiz Gustavo Farah
Abstract:
We consider the inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^N$ \begin{align}\label{inls} i \partial_t u +Δu +V(x)|u|^{\frac{4-2b}{N}}u = 0, \end{align} where $V(x) = k(x)|x|^{-b}$, with $b>0$. Under suitable assumptions on $k(x)$, we established the threshold for global existence and blow-up and then study the existence and non-existence of minimal mass blow-up solutions.
We consider the inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^N$ \begin{align}\label{inls} i \partial_t u +Δu +V(x)|u|^{\frac{4-2b}{N}}u = 0, \end{align} where $V(x) = k(x)|x|^{-b}$, with $b>0$. Under suitable assumptions on $k(x)$, we established the threshold for global existence and blow-up and then study the existence and non-existence of minimal mass blow-up solutions.
△ Less
Submitted 30 September, 2024; v1 submitted 16 August, 2024;
originally announced August 2024.
-
Normalized solutions for INLS equation with critical Hardy-Sobolev type nonlinearities
Authors:
Mykael Cardoso,
José Francisco de Oliveira,
Olímpio Miyagaki
Abstract:
We are interested in finding prescribed $L^2$-norm solutions to inhomogeneous nonlinear Schrödinger (INLS) equations. For $N\ge 3$ we treat the equation with combined Hardy-Sobolev power-type nonlinearities $$
-Δu+λu=μ|x|^{-b}|u|^{q-2}u+|x|^{-d}|u|^{2^*_{d}-2}u \;\;\mbox{in}\;\; \mathbb{R}^N,\, N\ge 3 $$ where $λ\in\mathbb{R}$, $μ>0$, $0<b,d<2$, $2+(4-2b)/N<q<2+(4-2b)/(N-2)$ and…
▽ More
We are interested in finding prescribed $L^2$-norm solutions to inhomogeneous nonlinear Schrödinger (INLS) equations. For $N\ge 3$ we treat the equation with combined Hardy-Sobolev power-type nonlinearities $$
-Δu+λu=μ|x|^{-b}|u|^{q-2}u+|x|^{-d}|u|^{2^*_{d}-2}u \;\;\mbox{in}\;\; \mathbb{R}^N,\, N\ge 3 $$ where $λ\in\mathbb{R}$, $μ>0$, $0<b,d<2$, $2+(4-2b)/N<q<2+(4-2b)/(N-2)$ and $2^*_{d}= 2(N-d)/(N-2)$ is the Hardy-Sobolev critical exponent, while for $N=2$ we investigate the equation with critical exponential growth \begin{equation}\nonumber \begin{aligned}
&-Δu+λu=|x|^{-b}f(u) \;\;\mbox{in}\;\; \mathbb{R}^2 \end{aligned} \end{equation} where the nonlinearity $f(s)$ behaves like $\exp(s^2)$ as $s\to\infty$. We extend the existence results due to Alves-Ji-Miyagaki (Calc. Var. 61, 2022) from $b =d= 0$ to the case $0 < b,d < 2$.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
On global well-posedness, scattering and other properties for infinity energy solutions to inhomogeneous NLS Equation
Authors:
Mykael Cardoso,
Roger de Moura,
Gleison Santos
Abstract:
In this work, we consider the inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^n$ \begin{align} i\partial_t u + Δu + γ|x|^{-b}|u|^α u = 0, \end{align} where $γ=\pm 1$, and $α$ and $b$ are positive numbers. Our main focus is to estabilish the global well-posedness of the INLS equation in Lorentz spaces for $0<b<2$ and $α<\frac{4-2b}{N-2}$. To achieve this, we use Strichartz estima…
▽ More
In this work, we consider the inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^n$ \begin{align} i\partial_t u + Δu + γ|x|^{-b}|u|^α u = 0, \end{align} where $γ=\pm 1$, and $α$ and $b$ are positive numbers. Our main focus is to estabilish the global well-posedness of the INLS equation in Lorentz spaces for $0<b<2$ and $α<\frac{4-2b}{N-2}$. To achieve this, we use Strichartz estimates in Lorentz spaces $L^{r,q}(\R^n)$ combined with a fixed point argument. Working on Lorentz space setting instead the classical $L^p$ is motivated by the fact that the potential $|x|^{-b}$ does not belong the usual $L^p$-space. As a consequence of the ideas developed here on the global solution study we obtain some other properties for INLS, such as, existence of self-similar solutions, scattering, wave operators and assymptotic stability.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Blow-up for the 3D intercritical inhomogeneous NLS with inverse-square potential
Authors:
Luccas Campos,
Mykael Cardoso,
Luiz Gustavo Farah
Abstract:
In this paper we study the focusing inhomogeneous 3D nonlinear Schrödinger equation with inverse-square potential in the mass-supercritical and energy-subcritical regime. We first establish local well-posedness in $\dot{H}_a^{s_c}\cap \dot{H}_a^1$, with $s_c=3/2-(2-b)/2σ$. Next, we prove the blow-up of the scaling invariant Lebesgue norm for radial solutions and also, with an additional restrictio…
▽ More
In this paper we study the focusing inhomogeneous 3D nonlinear Schrödinger equation with inverse-square potential in the mass-supercritical and energy-subcritical regime. We first establish local well-posedness in $\dot{H}_a^{s_c}\cap \dot{H}_a^1$, with $s_c=3/2-(2-b)/2σ$. Next, we prove the blow-up of the scaling invariant Lebesgue norm for radial solutions and also, with an additional restriction, in the non-radial case.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Integer eigenvalues of the $n$-Queens graph
Authors:
Domingos M. Cardoso,
Inês Serôdio Costa,
Rui Duarte
Abstract:
The $n$-Queens graph, $\mathcal{Q}(n)$, is the graph obtained from a $n\times n$ chessboard where each of its $n^2$ squares is a vertex and two vertices are adjacent if and only if they are in the same row, column or diagonal. In a previous work the authors have shown that, for $n\ge4$, the least eigenvalue of $\mathcal{Q}(n)$ is $-4$ and its multiplicity is $(n-3)^2$. In this paper we prove that…
▽ More
The $n$-Queens graph, $\mathcal{Q}(n)$, is the graph obtained from a $n\times n$ chessboard where each of its $n^2$ squares is a vertex and two vertices are adjacent if and only if they are in the same row, column or diagonal. In a previous work the authors have shown that, for $n\ge4$, the least eigenvalue of $\mathcal{Q}(n)$ is $-4$ and its multiplicity is $(n-3)^2$. In this paper we prove that $n-4$ is also an eigenvalue of $\mathcal{Q}(n)$ and its multiplicity is at least $\frac{n+1}{2}$ or $\frac{n-2}{2}$ when $n$ is odd or even, respectively. Furthermore, when $n$ is odd, it is proved that $-3,-2\ldots,\frac{n-11}{2}$ and $\frac{n-5}{2},\ldots,n-5$ are additional integer eigenvalues of $\mathcal{Q}(n)$ and a family of eigenvectors associated with them is presented. Finally, conjectures about the multiplicity of the aforementioned eigenvalues and about the non-existence of any other integer eigenvalue are stated.
△ Less
Submitted 10 May, 2023; v1 submitted 19 January, 2023;
originally announced January 2023.
-
A gradient type term for the $k$-Hessian equation
Authors:
Mykael de Araújo Cardoso,
Jefferson de Brito Sousa,
José Francisco de Oliveira
Abstract:
In this paper, we propose a gradient type term for the $k$-Hessian equation that extends for $k>1$ the classical quadratic gradient term associated with the Laplace equation. We prove that such as gradient term is invariant by the Kazdan-Kramer change of variables. As applications, we ensure the existence of solutions for a new class of $k$-Hessian equation in the sublinear and superlinear cases f…
▽ More
In this paper, we propose a gradient type term for the $k$-Hessian equation that extends for $k>1$ the classical quadratic gradient term associated with the Laplace equation. We prove that such as gradient term is invariant by the Kazdan-Kramer change of variables. As applications, we ensure the existence of solutions for a new class of $k$-Hessian equation in the sublinear and superlinear cases for Sobolev type growth. The threshold for existence is obtained in some particular cases. In addition, for the Trudinger-Moser type growth regime, we also prove the existence of solutions under either subcritical or critical conditions.
△ Less
Submitted 17 January, 2023;
originally announced January 2023.
-
Affine Lie algebras representations induced from Whittaker modules
Authors:
Maria Clara Cardoso,
Vyacheslav Futorny
Abstract:
We use induction from parabolic subalgebras with infinite-dimensional Levi factor to construct new families of irreducible representations for arbitrary Affine Kac-Moody algebra. Our first construction defines a functor from the category of Whittaker modules over the Levi factor of a parabolic subalgebra to the category of modules over the Affine Lie algebra. The second functor sends tensor produc…
▽ More
We use induction from parabolic subalgebras with infinite-dimensional Levi factor to construct new families of irreducible representations for arbitrary Affine Kac-Moody algebra. Our first construction defines a functor from the category of Whittaker modules over the Levi factor of a parabolic subalgebra to the category of modules over the Affine Lie algebra. The second functor sends tensor products of a module over the affine part of the Levi factor (in particular any weight module) and of a Whittaker module over the complement Heisenberg subalgebra to the Affine Lie algebra modules. Both functors preserves irreducibility when the central charge is nonzero.
△ Less
Submitted 13 June, 2022; v1 submitted 24 March, 2022;
originally announced March 2022.
-
Sharp bounds on the least eigenvalue of a graph determined from edge clique partitions
Authors:
Domingos M. Cardoso,
Inês Serôdio Costa,
Rui Duarte
Abstract:
Sharp bounds on the least eigenvalue of an arbitrary graph are presented. Necessary and sufficient (just sufficient) conditions for the lower (upper) bound to be attained are deduced using edge clique partitions. As an application, we prove that the least eigenvalue of the $n$-Queens' graph $\mathcal{Q}(n)$ is equal to $-4$ for every $n \ge 4$ and it is also proven that the multiplicity of this ei…
▽ More
Sharp bounds on the least eigenvalue of an arbitrary graph are presented. Necessary and sufficient (just sufficient) conditions for the lower (upper) bound to be attained are deduced using edge clique partitions. As an application, we prove that the least eigenvalue of the $n$-Queens' graph $\mathcal{Q}(n)$ is equal to $-4$ for every $n \ge 4$ and it is also proven that the multiplicity of this eigenvalue is $(n-3)^2$. Additionally, some results on the edge clique partition graph parameters are obtained.
△ Less
Submitted 24 February, 2022; v1 submitted 4 January, 2022;
originally announced January 2022.
-
Blow-up of non-radial solutions for the $L^2$ critical inhomogeneous NLS equation
Authors:
Mykael Cardoso,
Luiz Gustavo Farah
Abstract:
We consider the $L^2$ critical inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^N$ $$ i \partial_t u +Δu +|x|^{-b} |u|^{\frac{4-2b}{N}}u = 0, $$ where $N\geq 1$ and $0<b<2$. We prove that if $u_0\in H^1(\mathbb{R}^N)$ satisfies $E[u_0]<0$, then the corresponding solution blows-up in finite time. This is in sharp contrast to the classical $L^2$ critical NLS equation where this typ…
▽ More
We consider the $L^2$ critical inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^N$ $$ i \partial_t u +Δu +|x|^{-b} |u|^{\frac{4-2b}{N}}u = 0, $$ where $N\geq 1$ and $0<b<2$. We prove that if $u_0\in H^1(\mathbb{R}^N)$ satisfies $E[u_0]<0$, then the corresponding solution blows-up in finite time. This is in sharp contrast to the classical $L^2$ critical NLS equation where this type of result is only known in the radial case for $N\geq 2$.
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
-
On the Randić energy of caterpillar graphs
Authors:
Domingos M. Cardoso,
Paula Carvalho,
Roberto C. Díaz,
Paula Rama
Abstract:
A caterpillar graph $T(p_1, \ldots, p_r)$ of order $n= r+\sum_{i=1}^r p_i$, $r\geq 2$, is a tree such that removing all its pendent vertices gives rise to a path of order $r$. In this paper we establish a necessary and sufficient condition for a real number to be an eigenvalue of the Randić matrix of $T(p_1, \ldots, p_r)$. This result is applied to determine the extremal caterpillars for the Randi…
▽ More
A caterpillar graph $T(p_1, \ldots, p_r)$ of order $n= r+\sum_{i=1}^r p_i$, $r\geq 2$, is a tree such that removing all its pendent vertices gives rise to a path of order $r$. In this paper we establish a necessary and sufficient condition for a real number to be an eigenvalue of the Randić matrix of $T(p_1, \ldots, p_r)$. This result is applied to determine the extremal caterpillars for the Randić energy of $T(p_1,\ldots, p_r)$ for cases $r=2$ (the double star) and $r=3$. We characterize the extremal caterpillars for $r=2$. Moreover, we study the family of caterpillars $T\big(p,n-p-q-3,q\big)$ of order $n$, where $q$ is a function of $p$, and we characterize the extremal caterpillars for three cases: $q=p$, $q=n-p-b-3$ and $q=b$, for $b\in \{1,\ldots,n-6\}$ fixed. Some illustrative examples are included.
△ Less
Submitted 23 July, 2021;
originally announced July 2021.
-
Ruin and dividend measures in the renewal dual risk model
Authors:
Renata G. Alcoforado,
Agnieszka I. Bergel,
Rui M. R. Cardoso,
Alfredo D. Egidio dos Reis,
Eugenio V. Rodriguez-Martinez
Abstract:
In this manuscript we consider the dual risk model with financial application, where the random gains occur under a renewal process. We particularly work the Erlang(n) case for common distribution of the inter-arrival times, from there it is easy to understand that our method or procedures can be generalised to other cases under the matrix-exponential family case. We work several and different pro…
▽ More
In this manuscript we consider the dual risk model with financial application, where the random gains occur under a renewal process. We particularly work the Erlang(n) case for common distribution of the inter-arrival times, from there it is easy to understand that our method or procedures can be generalised to other cases under the matrix-exponential family case. We work several and different problems involving future dividends and ruin. We also show that our results are valid even if the usual income condition is not satisfied. In most known works under the dual model, the main target under study have been the calculation of expected discounted future dividends and optimal strategies, where the dividend calculation have been done on aggregate. We can find works, at first using the classical compound Poisson model, then some examples of other renewal Erlang models. Knowing that ruin is ultimately achieved, we find important that dividends should be evaluated on an individual basis, where the early dividend contribution for the aggregate are of utmost importance. From our calculations we can really see how much important is the contribution of the first dividend. Afonso et al. (2013) had worked similar problems for the classical compound Poisson dual model. Besides that we find explicit formulae for both the probability of getting a dividend and the distribution of the amount of a single dividend. We still work the probability distribution of the number of gains to reach a given upper target (like a constant dividend barrier) as well as for the number of gains down to ruin. We complete the study working some illustrative numerical examples that show final numbers for the several problems under study.
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
Blow-up solutions of the intercritical inhomogeneous NLS equation: the non-radial case
Authors:
Mykael Cardoso,
Luiz Gustavo Farah
Abstract:
In this paper we consider the inhomogeneous nonlinear Schrödinger (INLS) equation \begin{align}\label{inls} i \partial_t u +Δu +|x|^{-b} |u|^{2σ}u = 0, \,\,\, x \in \mathbb{R}^N \end{align} with $N\geq 3$. We focus on the intercritical case, where the scaling invariant Sobolev index $s_c=\frac{N}{2}-\frac{2-b}{2σ}$ satisfies $0<s_c<1$. In a previous work, for radial initial data in…
▽ More
In this paper we consider the inhomogeneous nonlinear Schrödinger (INLS) equation \begin{align}\label{inls} i \partial_t u +Δu +|x|^{-b} |u|^{2σ}u = 0, \,\,\, x \in \mathbb{R}^N \end{align} with $N\geq 3$. We focus on the intercritical case, where the scaling invariant Sobolev index $s_c=\frac{N}{2}-\frac{2-b}{2σ}$ satisfies $0<s_c<1$. In a previous work, for radial initial data in $\dot H^{s_c}\cap \dot H^1$, we prove the existence of blow-up solutions and also a lower bound for the blow-up rate. Here we extend these results to the non-radial case. We also prove an upper bound for the blow-up rate and a concentration result for general finite time blow-up solutions in $H^1$.
△ Less
Submitted 22 May, 2021;
originally announced May 2021.
-
A Virial-Morawetz approach to scattering for the non-radial inhomogeneous NLS
Authors:
Luccas Campos,
Mykael Cardoso
Abstract:
Consider the focusing inhomogeneous nonlinear Schrödinger equation in $H^1(\mathbb{R}^N)$, $$iu_t + Δu + |x|^{-b}|u|^{p-1}u=0,$$ when $b > 0$ and $N \geq 3$ in the intercritical case $0 < s_c <1$. In previous works, the second author, as well as Farah, Guzmán and Murphy, applied the concentration-compactness approach to prove scattering below the mass-energy threshold for radial and non-radial dat…
▽ More
Consider the focusing inhomogeneous nonlinear Schrödinger equation in $H^1(\mathbb{R}^N)$, $$iu_t + Δu + |x|^{-b}|u|^{p-1}u=0,$$ when $b > 0$ and $N \geq 3$ in the intercritical case $0 < s_c <1$. In previous works, the second author, as well as Farah, Guzmán and Murphy, applied the concentration-compactness approach to prove scattering below the mass-energy threshold for radial and non-radial data. Recently, the first author adapted the Dodson-Murphy approach for radial data, followed by Murphy, who proved scattering for non-radial solutions in the 3d cubic case, for $b<1/2$. This work generalizes the recent result of Murphy, allowing a broader range of values for the parameters $p$ and $b$, as well as allowing any dimension $N \geq 3$. It also gives a simpler proof for scattering nonradial, avoiding the Kenig-Merle road map. We exploit the decay of the nonlinearity, which, together with Virial-Morawetz-type estimates, allows us to drop the radial assumption.
△ Less
Submitted 22 April, 2021;
originally announced April 2021.
-
The H-join of arbitrary families of graphs
Authors:
Domingos M. Cardoso,
Helena Gomes,
Sofia J. Pinheiro
Abstract:
The $H$-join of a family of graphs $\mathcal{G}=\{G_1, \dots, G_p\}$, also called the generalized composition, $H[G_1, \dots, G_p]$, where all graphs are undirected, simple and finite, is the graph obtained by replacing each vertex $i$ of $H$ by $G_i$ and adding to the edges of all graphs in $\mathcal{G}$ the edges of the join $G_i \vee G_j$, for every edge $ij$ of $H$. Some well known graph opera…
▽ More
The $H$-join of a family of graphs $\mathcal{G}=\{G_1, \dots, G_p\}$, also called the generalized composition, $H[G_1, \dots, G_p]$, where all graphs are undirected, simple and finite, is the graph obtained by replacing each vertex $i$ of $H$ by $G_i$ and adding to the edges of all graphs in $\mathcal{G}$ the edges of the join $G_i \vee G_j$, for every edge $ij$ of $H$. Some well known graph operations are particular cases of the $H$-join of a family of graphs $\mathcal{G}$ as it is the case of the lexicographic product (also called composition) of two graphs $H$ and $G$, $H[G]$. During long time the known expressions for the determination of the entire spectrum of the $H$-join in terms of the spectra of its components and an associated matrix were limited to families of regular graphs. In this work, we extend such a determination, as well as the determination of the characteristic polynomial, to families of arbitrary graphs. From the obtained results, the eigenvectors of the adjacency matrix of the $H$-join can also be determined in terms of the adjacency matrices of the components and an associated matrix.
△ Less
Submitted 11 February, 2021; v1 submitted 20 January, 2021;
originally announced January 2021.
-
The main vertices of a star set and related graph parameters
Authors:
Milica Anđelić,
Domingos M. Cardoso,
Slobodan K. Simi\' c,
Zoran Stanić
Abstract:
A vertex $v \in V(G)$ is called $λ$-main if it belongs to a star set $X \subset V(G)$ of the eigenvalue $λ$ of a graph $G$ and this eigenvalue is main for the graph obtained from $G$ by deleting all the vertices in $X \setminus \{v\}$; otherwise, $v$ is $λ$-non-main. Some results concerning main and non-main vertices of an eigenvalue are deduced. For a main eigenvalue $λ$ of a graph $G$, we introd…
▽ More
A vertex $v \in V(G)$ is called $λ$-main if it belongs to a star set $X \subset V(G)$ of the eigenvalue $λ$ of a graph $G$ and this eigenvalue is main for the graph obtained from $G$ by deleting all the vertices in $X \setminus \{v\}$; otherwise, $v$ is $λ$-non-main. Some results concerning main and non-main vertices of an eigenvalue are deduced. For a main eigenvalue $λ$ of a graph $G$, we introduce the minimum and maximum number of $λ$-main vertices in some $λ$-star set of $G$ as new graph invariant parameters. The determination of these parameters is formulated as a combinatorial optimization problem based on a simplex-like approach. Using these and some related parameters we develop new spectral tools that can be used in the research of the isomorphism problem. Examples of graphs for which the maximum number of $λ$-main vertices coincides with the cardinality of a $λ$-star set are provided.
△ Less
Submitted 12 August, 2021; v1 submitted 20 December, 2020;
originally announced December 2020.
-
Spectral properties of the $n$-Queens' Graphs
Authors:
Domingos M. Cardoso,
Inês Serôdio Costa,
Rui Duarte
Abstract:
The $n$-Queens' graph, $\mathcal{Q}(n)$, is the graph associated to the $n \times n$ chessboard (a generalization of the classical $8 \times 8$ chessboard), with $n^2$ vertices, each one corresponding to a square of the chessboard. Two vertices of $\mathcal{Q}(n)$ are adjacent if and only if they are in the same row, in the same column or in the same diagonal of the chessboard. After a short overv…
▽ More
The $n$-Queens' graph, $\mathcal{Q}(n)$, is the graph associated to the $n \times n$ chessboard (a generalization of the classical $8 \times 8$ chessboard), with $n^2$ vertices, each one corresponding to a square of the chessboard. Two vertices of $\mathcal{Q}(n)$ are adjacent if and only if they are in the same row, in the same column or in the same diagonal of the chessboard. After a short overview on the main combinatorial properties of $\mathcal{Q}(n)$, its spectral properties are investigated. First, a lower bound on the least eigenvalue of an arbitrary graph is obtained using clique edge partitions and a sufficient condition for this lower bound be attained is deduced. For the particular case of $\mathcal{Q}(n)$, we prove that for every $n$, its least eigenvalue is not less than $-4$ and it is equal to $-4$ with multiplicity $(n-3)^2$, for every $n \ge 4$. Furthermore, $n-4$ is also an eigenvalue of $\mathcal{Q}(n)$, with multiplicity at least $\frac{n-2}{2}$ when $n$ is even and at least $\frac{n+1}{2}$ when $n$ is odd. A conjecture about the integer eigenvalues of $\mathcal{Q}(n)$ is presented. We finish this article with an algorithm to determine an equitable partition of the $n$-Queens' graph, $\mathcal{Q}(n)$, for $n \ge 3$, concluding that such equitable partition has $\frac{(\lceil n/2\rceil+1)\lceil n/2\rceil}{2}$ cells.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Global well-posedness and critical norm concentration for inhomogeneous biharmonic NLS
Authors:
Mykael Cardoso,
Carlos M. Guzmán,
Ademir Pastor
Abstract:
We consider the inhomogeneous biharmonic nonlinear Schrödinger (IBNLS) equation in $\mathbb{R}^N$, $$i \partial_t u +Δ^2 u -|x|^{-b} |u|^{2σ}u = 0,$$ where $σ>0$ and $b>0$. We first study the local well-posedness in $\dot H^{s_c}\cap \dot H^2 $, for $N\geq 5$ and $0<s_c<2$, where $s_c=\frac{N}{2}-\frac{4-b}{2σ}$. Next, we established a Gagliardo-Nirenberg type inequality in order to obtain suffici…
▽ More
We consider the inhomogeneous biharmonic nonlinear Schrödinger (IBNLS) equation in $\mathbb{R}^N$, $$i \partial_t u +Δ^2 u -|x|^{-b} |u|^{2σ}u = 0,$$ where $σ>0$ and $b>0$. We first study the local well-posedness in $\dot H^{s_c}\cap \dot H^2 $, for $N\geq 5$ and $0<s_c<2$, where $s_c=\frac{N}{2}-\frac{4-b}{2σ}$. Next, we established a Gagliardo-Nirenberg type inequality in order to obtain sufficient conditions for global existence of solutions in $\dot H^{s_c}\cap \dot H^2$ with $0\leq s_c<2$. Finally, we study the phenomenon of $L^{σ_c}$-norm concentration for finite time blow up solutions with bounded $\dot H^{s_c}$-norm, where $σ_c=\frac{2Nσ}{4-b}$. Our main tool is the compact embedding of $\dot L^p\cap \dot H^2$ into a weighted $L^{2σ+2}$ space, which may be seen of independent interest.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Blow-up of radial solutions for the intercritical inhomogeneous NLS equation
Authors:
Mykael Cardoso,
Luiz Gustavo Farah
Abstract:
We consider the inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^N$ $$i \partial_t u +Δu +|x|^{-b} |u|^{2σ}u = 0,$$ where $N\geq 3$, $0<b<\min\left\{\frac{N}{2},2\right\}$ and $\frac{2-b}{N}<σ<\frac{2-b}{N-2}$. The scaling invariant Sobolev space is $\dot{H}^{s_c}$ with $s_c=\frac{N}{2}-\frac{2-b}{2σ}$. The restriction on $σ$ implies $0<s_c<1$ and the equation is called intercrit…
▽ More
We consider the inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^N$ $$i \partial_t u +Δu +|x|^{-b} |u|^{2σ}u = 0,$$ where $N\geq 3$, $0<b<\min\left\{\frac{N}{2},2\right\}$ and $\frac{2-b}{N}<σ<\frac{2-b}{N-2}$. The scaling invariant Sobolev space is $\dot{H}^{s_c}$ with $s_c=\frac{N}{2}-\frac{2-b}{2σ}$. The restriction on $σ$ implies $0<s_c<1$ and the equation is called intercritical (i.e. mass-supercritical and energy-subcritical). Let $u_0\in \dot H^{s_c}\cap \dot H^1$ be a radial initial data and $u(t)$ the corresponding solution to the INLS equation. We first show that if $E[u_0]\leq 0$, then the maximal time of existence of the solution $u(t)$ is finite. Also, for all radially symmetric solution of the INLS equation with finite maximal time of existence $T^{\ast}>0$, then $\limsup_{t\rightarrow T^{\ast}}\|u(t)\|_{\dot H^{s_c}}=+\infty$. Moreover, under an additional assumption and recalling that $\dot{H}^{s_c} \subset L^{σ_c}$ with $σ_c=\frac{2Nσ}{2-b}$, we can in fact deduce, for some $γ=γ(N,σ,b)>0$, the following lower bound for the blow-up rate $$c\|u(t)\|_{\dot H^{s_c}}\geq \|u(t)\|_{L^{σ_c}}\geq |\log (T-t)|^γ,\,\,\,\mbox{ as }\,\,\,t\rightarrow T^{\ast}.$$ The proof is based on the ideas introduced for the $L^2$ super critical nonlinear Schrödinger equation in the work of Merle and Raphaël [13] and here we extend their results to the INLS setting.
△ Less
Submitted 22 May, 2021; v1 submitted 8 October, 2020;
originally announced October 2020.
-
Intercultural Science-Art Project 'Magritte Meet Science'
Authors:
Danilo Gregorin Afonso,
Mary Oluwabunmi Akinade,
Đorđe Baralić,
Demian Nahuel Goos,
Charles Gray,
Abdulganiyu Jimoh,
Lateef Olakunle Jolaoso,
Jie Li,
Sander Mack-Crane,
Aung Zaw Myint,
Kayode Oshinubi,
Matheus Pires Cardoso,
Dragana Radojičić
Abstract:
In this manuscript a joint project between young researchers from all around the world, the Intercultural Science-Art Project, is presented, in which all participants interpreted their own research with art. Art is meant in the most inclusive way possible, including drawings and digital works, but also songs and confectionary art. This project has two main goals. On the one hand it creates tools f…
▽ More
In this manuscript a joint project between young researchers from all around the world, the Intercultural Science-Art Project, is presented, in which all participants interpreted their own research with art. Art is meant in the most inclusive way possible, including drawings and digital works, but also songs and confectionary art. This project has two main goals. On the one hand it creates tools for young scientists to communicate their research to society by artistic means. On the other hand it tries to bring together different cultures and to strengthen ties between them.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
Scattering below the ground state for the intercritical non-radial inhomogeneous NLS
Authors:
Mykael Cardoso,
Luiz Gustavo Farah,
Carlos M. Guzmán,
Jason Murphy
Abstract:
We consider the focusing inhomogeneous nonlinear Schrödinger equation \[ i\partial_t u + Δu + |x|^{-b}|u|^αu = 0\quad\text{on}\quad\mathbb{R}\times\mathbb{R}^N, \] with $N\geq 2$, $0<b<\min\{\tfrac{N}{2},2\}$, and $\tfrac{4-2b}{N}<α<\tfrac{4-2b}{N-2}$. These constraints make the equation mass-supercritical and energy-subcritical. We extend the results of Farah-Guzmán and Miao-Murphy-Zheng and prov…
▽ More
We consider the focusing inhomogeneous nonlinear Schrödinger equation \[ i\partial_t u + Δu + |x|^{-b}|u|^αu = 0\quad\text{on}\quad\mathbb{R}\times\mathbb{R}^N, \] with $N\geq 2$, $0<b<\min\{\tfrac{N}{2},2\}$, and $\tfrac{4-2b}{N}<α<\tfrac{4-2b}{N-2}$. These constraints make the equation mass-supercritical and energy-subcritical. We extend the results of Farah-Guzmán and Miao-Murphy-Zheng and prove scattering below the ground state with general initial data.
△ Less
Submitted 12 July, 2020;
originally announced July 2020.
-
On well-posedness and concentration of blow-up solutions for the intercritical inhomogeneous NLS equation
Authors:
Mykael Cardoso,
Luiz Gustavo Farah,
Carlos M. Guzmán
Abstract:
We consider the focusing inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^N$ $$i \partial_t u +Δu + |x|^{-b} |u|^{2σ}u = 0,$$ where $N\geq 2$ and $σ$, $b>0$. We first obtain a small data global result in $H^1$, which, in the two spatial dimensional case, improves the third author result in [22] on the range of $b$. For $N\geq 3$ and $\frac{2-b}{N}<σ<\frac{2-b}{N-2}$, we also stud…
▽ More
We consider the focusing inhomogeneous nonlinear Schrödinger (INLS) equation in $\mathbb{R}^N$ $$i \partial_t u +Δu + |x|^{-b} |u|^{2σ}u = 0,$$ where $N\geq 2$ and $σ$, $b>0$. We first obtain a small data global result in $H^1$, which, in the two spatial dimensional case, improves the third author result in [22] on the range of $b$. For $N\geq 3$ and $\frac{2-b}{N}<σ<\frac{2-b}{N-2}$, we also study the local well posedness in $\dot H^{s_c}\cap \dot H^1 $, where $s_c=\frac{N}{2}-\frac{2-b}{2σ}$. Sufficient conditions for global existence of solutions in $\dot H^{s_c}\cap \dot H^1$ are also established, using a Gagliardo-Nirenberg type estimate. Finally, we study the $L^{σ_c}-$norm concentration phenomenon, where $σ_c=\frac{2Nσ}{2-b}$, for finite time blow-up solutions in $\dot H^{s_c}\cap \dot H^1$ with bounded $\dot H^{s_c}-$norm. Our approach is based on the compact embedding of $\dot H^{s_c}\cap \dot H^1$ into a weighted $L^{2σ+2}$ space.
△ Less
Submitted 14 April, 2020;
originally announced April 2020.
-
Blow up and scattering criteria above the threshold for the focusing inhomogeneous nonlinear Schrödinger equation
Authors:
Luccas Campos,
Mykael Cardoso
Abstract:
We consider the inhomogeneous nonlinear Schrödinger equation (INLS) in $\mathbb{R}^N$, $N \geq 1$, $$i \partial_t u + Δu + |x|^{-b} |u|^{p-1}u = 0,$$ with finite-variance initial data $u_0 \in H^1(\mathbb{R}^N)$. We extend the dichotomy between scattering and blow-up for solutions above the mass-energy threshold (and with arbitrarily large energy). We also show other two blow-up criteria, wich are…
▽ More
We consider the inhomogeneous nonlinear Schrödinger equation (INLS) in $\mathbb{R}^N$, $N \geq 1$, $$i \partial_t u + Δu + |x|^{-b} |u|^{p-1}u = 0,$$ with finite-variance initial data $u_0 \in H^1(\mathbb{R}^N)$. We extend the dichotomy between scattering and blow-up for solutions above the mass-energy threshold (and with arbitrarily large energy). We also show other two blow-up criteria, wich are valid in any mass-supercritical setting, given there is local well-posedness.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Structured Graph Learning Via Laplacian Spectral Constraints
Authors:
Sandeep Kumar,
Jiaxi Ying,
Jos'e Vin'icius de M. Cardoso,
Daniel P. Palomar
Abstract:
Learning a graph with a specific structure is essential for interpretability and identification of the relationships among data. It is well known that structured graph learning from observed samples is an NP-hard combinatorial problem. In this paper, we first show that for a set of important graph families it is possible to convert the structural constraints of structure into eigenvalue constraint…
▽ More
Learning a graph with a specific structure is essential for interpretability and identification of the relationships among data. It is well known that structured graph learning from observed samples is an NP-hard combinatorial problem. In this paper, we first show that for a set of important graph families it is possible to convert the structural constraints of structure into eigenvalue constraints of the graph Laplacian matrix. Then we introduce a unified graph learning framework, lying at the integration of the spectral properties of the Laplacian matrix with Gaussian graphical modeling that is capable of learning structures of a large class of graph families. The proposed algorithms are provably convergent and practically amenable for large-scale semi-supervised and unsupervised graph-based learning tasks. Extensive numerical experiments with both synthetic and real data sets demonstrate the effectiveness of the proposed methods. An R package containing code for all the experimental results is available at https://cran.r-project.org/package=spectralGraphTopology.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
A Unified Framework for Structured Graph Learning via Spectral Constraints
Authors:
Sandeep Kumar,
Jiaxi Ying,
José Vinícius de M. Cardoso,
Daniel Palomar
Abstract:
Graph learning from data represents a canonical problem that has received substantial attention in the literature. However, insufficient work has been done in incorporating prior structural knowledge onto the learning of underlying graphical models from data. Learning a graph with a specific structure is essential for interpretability and identification of the relationships among data. Useful stru…
▽ More
Graph learning from data represents a canonical problem that has received substantial attention in the literature. However, insufficient work has been done in incorporating prior structural knowledge onto the learning of underlying graphical models from data. Learning a graph with a specific structure is essential for interpretability and identification of the relationships among data. Useful structured graphs include the multi-component graph, bipartite graph, connected graph, sparse graph, and regular graph. In general, structured graph learning is an NP-hard combinatorial problem, therefore, designing a general tractable optimization method is extremely challenging. In this paper, we introduce a unified graph learning framework lying at the integration of Gaussian graphical models and spectral graph theory. To impose a particular structure on a graph, we first show how to formulate the combinatorial constraints as an analytical property of the graph matrix. Then we develop an optimization framework that leverages graph learning with specific structures via spectral constraints on graph matrices. The proposed algorithms are provably convergent, computationally efficient, and practically amenable for numerous graph-based tasks. Extensive numerical experiments with both synthetic and real data sets illustrate the effectiveness of the proposed algorithms. The code for all the simulations is made available as an open source repository.
△ Less
Submitted 22 April, 2019;
originally announced April 2019.
-
An overview of $(κ,τ)$-regular sets and their applications
Authors:
Domingos M. Cardoso
Abstract:
A ($κ$,$τ$)-regular set is a vertex subset S inducing a $κ$-regular subgraph such that every vertex out of S has $τ$ neighbors in S. This article is an expository overview of the main results obtained for graphs with ($κ$,$τ$)-regular sets. The graphs with classical combinatorial structures, like perfect matchings, Hamilton cycles, efficient dominating sets, etc, are characterized by ($κ$,$τ$)-reg…
▽ More
A ($κ$,$τ$)-regular set is a vertex subset S inducing a $κ$-regular subgraph such that every vertex out of S has $τ$ neighbors in S. This article is an expository overview of the main results obtained for graphs with ($κ$,$τ$)-regular sets. The graphs with classical combinatorial structures, like perfect matchings, Hamilton cycles, efficient dominating sets, etc, are characterized by ($κ$,$τ$)-regular sets whose determination is equivalent to the determination of those classical combinatorial structures. The characterization of graphs with these combinatorial structures are presented. The determination of ($κ$,$τ$)-regular sets in a finite number of steps is deduced and the main spectral properties of these sets are described.
△ Less
Submitted 31 December, 2018;
originally announced December 2018.
-
A survey on graphs with convex quadratic stability number
Authors:
Domingos M. Cardoso
Abstract:
A graph with convex quadratic stability number is a graph for which the stability number is determined by solving a convex quadratic program. Since the very beginning, where a convex quadratic programming upper bound on the stability number was introduced, a necessary and sufficient condition for this upper bound be attained was deduced. The recognition of graphs with convex quadratic stability nu…
▽ More
A graph with convex quadratic stability number is a graph for which the stability number is determined by solving a convex quadratic program. Since the very beginning, where a convex quadratic programming upper bound on the stability number was introduced, a necessary and sufficient condition for this upper bound be attained was deduced. The recognition of graphs with convex quadratic stability number has been deeply studied with several consequences from continuous and combinatorial point of view. This survey starts with an exposition of some extensions of the classical Motzkin-Straus approach to the determination of the stability number of a graph and its relations with the convex quadratic programming upper bound. The main advances, including several properties and alternative characterizations of graphs with convex quadratic stability number are described as well as the algorithmic strategies developed for their recognition. Open problems and a conjecture for a particular class of graphs, herein called adverse graphs, are presented, pointing out a research line which is a challenge between continuous and discrete problems.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
On the critical norm concentration for the inhomogeneous nonlinear Schrödinger equation
Authors:
Luccas Campos,
Mykael Cardoso
Abstract:
We consider the inhomogeneous nonlinear Schrödiger equation (INLS) in $\mathbb{R}^N$ $$i \partial u_t + Δu + |x|^{-b} |u|^{2σ}u = 0,$$ and show the $L^2$-norm concentration for the finite time blow-up solutions in the $L^2$-critical case, $σ=\frac{2-b}{N}$. Moreover, we provide an alternative for the classification of minimal mass blow-up solutions first proved by Genoud and Combet [4]. For the ca…
▽ More
We consider the inhomogeneous nonlinear Schrödiger equation (INLS) in $\mathbb{R}^N$ $$i \partial u_t + Δu + |x|^{-b} |u|^{2σ}u = 0,$$ and show the $L^2$-norm concentration for the finite time blow-up solutions in the $L^2$-critical case, $σ=\frac{2-b}{N}$. Moreover, we provide an alternative for the classification of minimal mass blow-up solutions first proved by Genoud and Combet [4]. For the case $\frac{2-b}{N} < σ< \frac{2-b}{N-2}$, we show results regarding the $L^p$-critical norm concentration, generalizing the argument of Holmer and Roudenko [16] to the INLS setting.
△ Less
Submitted 22 October, 2018;
originally announced October 2018.
-
Laplacian Distribution and Domination
Authors:
Domingos M. Cardoso,
David P. Jacobs,
Vilmar Trevisan
Abstract:
Let $m_G(I)$ denote the number of Laplacian eigenvalues of a graph $G$ in an interval $I$, and let $γ(G)$ denote its domination number. We extend the recent result $m_G[0,1) \leq γ(G)$, and show that isolate-free graphs also satisfy $γ(G) \leq m_G[2,n]$. In pursuit of better understanding Laplacian eigenvalue distribution, we find applications for these inequalities. We relate these spectral param…
▽ More
Let $m_G(I)$ denote the number of Laplacian eigenvalues of a graph $G$ in an interval $I$, and let $γ(G)$ denote its domination number. We extend the recent result $m_G[0,1) \leq γ(G)$, and show that isolate-free graphs also satisfy $γ(G) \leq m_G[2,n]$. In pursuit of better understanding Laplacian eigenvalue distribution, we find applications for these inequalities. We relate these spectral parameters with the approximability of $γ(G)$, showing that $\frac{γ(G)}{m_G[0,1)} \not\in O(\log n)$. However, $γ(G) \leq m_G[2, n] \leq (c + 1) γ(G)$ for $c$-cyclic graphs, $c \geq 1$. For trees $T$, $γ(T) \leq m_T[2, n] \leq 2 γ(G)$.
△ Less
Submitted 14 September, 2016;
originally announced September 2016.
-
On main eigenvalues of certain graphs
Authors:
Nair Abreu,
Domingos M. Cardoso,
Francisca A. M. França,
Cybele T. M. Vinagre
Abstract:
An eigenvalue of the adjacency matrix of a graph is said to be \emph{main} if the all-1 vector is not orthogonal to the associated eigenspace. In this work, we approach the main eigenvalues of some graphs. The graphs with exactly two main eigenvalues are considered and a relation between those main eigenvalues is presented. The particular case of harmonic graphs is analyzed and they are characteri…
▽ More
An eigenvalue of the adjacency matrix of a graph is said to be \emph{main} if the all-1 vector is not orthogonal to the associated eigenspace. In this work, we approach the main eigenvalues of some graphs. The graphs with exactly two main eigenvalues are considered and a relation between those main eigenvalues is presented. The particular case of harmonic graphs is analyzed and they are characterized in terms of their main eigenvalues without any restriction on its combinatorial structure. We give a necessary and sufficient condition for a graph $G$ to have $-1-λ_{\min}$ as an eigenvalue of its complement, where $λ_{\min}$ denotes the least eigenvalue of $G$. Also, we prove that among connected bipartite graphs, $K_{r,r}$ is the unique graph for which the index of the complement is equal to $-1-λ_{\min}$. Finally, we characterize all paths and all double stars (trees with diameter three) for which the smallest eigenvalue is non-main. Main eigenvalues of paths and double stars are identified.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
Spectra and Laplacian spectra of arbitrary powers of lexicographic products of graphs
Authors:
Nair Abreu,
Domingos M. Cardoso,
Paula Carvalho,
Cybele T. M. Vinagre
Abstract:
Consider two graphs $G$ and $H$. Let $H^k[G]$ be the lexicographic product of $H^k$ and $G$, where $H^k$ is the lexicographic product of the graph $H$ by itself $k$ times. In this paper, we determine the spectrum of $H^k[G]$ and $H^k$ when $G$ and $H$ are regular and the Laplacian spectrum of $H^k[G]$ and $H^k$ for $G$ and $H$ arbitrary. Particular emphasis is given to the least eigenvalue of the…
▽ More
Consider two graphs $G$ and $H$. Let $H^k[G]$ be the lexicographic product of $H^k$ and $G$, where $H^k$ is the lexicographic product of the graph $H$ by itself $k$ times. In this paper, we determine the spectrum of $H^k[G]$ and $H^k$ when $G$ and $H$ are regular and the Laplacian spectrum of $H^k[G]$ and $H^k$ for $G$ and $H$ arbitrary. Particular emphasis is given to the least eigenvalue of the adjacency matrix in the case of lexicographic powers of regular graphs, and to the algebraic connectivity and the largest Laplacian eigenvalues in the case of lexicographic powers of arbitrary graphs. This approach allows the determination of the spectrum (in case of regular graphs) and Laplacian spectrum (for arbitrary graphs) of huge graphs. As an example, the spectrum of the lexicographic power of the Petersen graph with the googol number (that is, $10^{100}$) of vertices is determined. The paper finish with the extension of some well known spectral and combinatorial invariant properties of graphs to its lexicographic powers.
△ Less
Submitted 7 November, 2015;
originally announced November 2015.
-
Injective Edge Chromatic Index of a Graph
Authors:
Domingos M. Cardoso,
J. Orestes Cerdeira,
J. Pedro Cruz,
Charles Dominic
Abstract:
Three edges $e_{1}, e_{2}$ and $e_{3}$ in a graph $G$ are consecutive if they form a path (in this order) or a cycle of length three. An injective edge coloring of a graph $G = (V,E)$ is a coloring $c$ of the edges of $G$ such that if $e_{1}, e_{2}$ and $e_{3}$ are consecutive edges in $G$, then $c(e_{1})\neq c(e_3)$. The injective edge coloring number $χ_{i}^{'}(G)$ is the minimum number of color…
▽ More
Three edges $e_{1}, e_{2}$ and $e_{3}$ in a graph $G$ are consecutive if they form a path (in this order) or a cycle of length three. An injective edge coloring of a graph $G = (V,E)$ is a coloring $c$ of the edges of $G$ such that if $e_{1}, e_{2}$ and $e_{3}$ are consecutive edges in $G$, then $c(e_{1})\neq c(e_3)$. The injective edge coloring number $χ_{i}^{'}(G)$ is the minimum number of colors permitted in such a coloring. In this paper, exact values of $χ_{i}^{'}(G)$ for several classes of graphs are obtained, upper and lower bounds for $χ_{i}^{'}(G)$ are introduced and it is proven that checking whether $χ_{i}^{'}(G)= k$ is NP-complete.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
Spectral results for the dominating induced matching problem
Authors:
Domingos M. Cardoso,
Enide A. Martins,
Luís Medina,
Oscar Rojo
Abstract:
A matching M is a dominating induced matching of a graph, if every edge of the graph is either in $M$ or has a common end-vertex with exactly one edge in $M$. The concept of complete dominating induced matching is introduced as graphs where the vertex set can be partitioned into two subsets, one of them inducing an $1$-regular graph and the other defining an independent set and such that all the r…
▽ More
A matching M is a dominating induced matching of a graph, if every edge of the graph is either in $M$ or has a common end-vertex with exactly one edge in $M$. The concept of complete dominating induced matching is introduced as graphs where the vertex set can be partitioned into two subsets, one of them inducing an $1$-regular graph and the other defining an independent set and such that all the remaining edges connect each vertex of one set to each vertex of the other. The principal eigenvectors of the adjacency, Laplacian and signless Laplacian matrices of graphs with complete dominating induced matchings are characterized and, therefore, the polynomial time recognition of graphs with complete dominating induced matchings is stated. The adjacency, Laplacian and signless Laplacian spectrum of graphs with complete dominating induced matchings are characterized. Finally, several upper and lower bounds on the cardinality of a dominating induced matching obtained from the eigenvalues of the adjacency, Laplacian and signless Laplacian matrices are deduced and examples for which some of these bounds are tight are presented.
△ Less
Submitted 12 November, 2013;
originally announced November 2013.
-
On the characteristic polynomial of Laplacian Matrices of Caterpillars
Authors:
D. M. Cardoso,
M. A. A. de Freitas,
E. A. Martins,
M. Robbinao,
B. San Martín
Abstract:
The characteristic polynomials of the adjacency matrix of line graphs of caterpillars and then the characteristic polynomials of their Laplacian or signless Laplacian matrices are characterized, using recursive formulas. Furthermore, the obtained results are applied on the determination of upper and lower bounds on the algebraic connectivity of these graphs.
The characteristic polynomials of the adjacency matrix of line graphs of caterpillars and then the characteristic polynomials of their Laplacian or signless Laplacian matrices are characterized, using recursive formulas. Furthermore, the obtained results are applied on the determination of upper and lower bounds on the algebraic connectivity of these graphs.
△ Less
Submitted 19 June, 2013;
originally announced June 2013.
-
Eigenvalues of a H-generalized join graph operation constrained by vertex subsets
Authors:
Domingos M. Cardoso,
Enide A. Martins,
Maria Robbiano,
Oscar Rojo
Abstract:
Considering a graph $H$ of order $p$, a generalized $H$-join operation of a family of graphs $G_1,..., G_p$, constrained by a family of vertex subsets $S_i \subseteq V(G_i)$, $i=1,..., p,$ is introduced. When each vertex subset $S_i$ is $(k_i,τ_i)$-regular, it is deduced that all non-main adjacency eigenvalues of $G_i$, different from $k_i-τ_i$, for $i=1,..., p,$ remain as eigenvalues of the graph…
▽ More
Considering a graph $H$ of order $p$, a generalized $H$-join operation of a family of graphs $G_1,..., G_p$, constrained by a family of vertex subsets $S_i \subseteq V(G_i)$, $i=1,..., p,$ is introduced. When each vertex subset $S_i$ is $(k_i,τ_i)$-regular, it is deduced that all non-main adjacency eigenvalues of $G_i$, different from $k_i-τ_i$, for $i=1,..., p,$ remain as eigenvalues of the graph $G$ obtained by the above mentioned operation. Furthermore, if each graph $G_i$ of the family is $k_i$-regular, for $i=1,..., p$, and all the vertex subsets are such that $S_i=V(G_i)$, the $H$-generalized join operation constrained by these vertex subsets coincides with the $H$-generalized join operation. Some applications on the spread of graphs are presented. Namely, new lower and upper bounds are deduced and a infinity family of non regular graphs of order $n$ with spread equals $n$ is introduced.
△ Less
Submitted 8 May, 2012;
originally announced May 2012.