-
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.
-
Qualitative analysis of HAART effects on HIV and SARS-CoV-2 coinfection
Authors:
João P. S. Maurício de Carvalho
Abstract:
HIV is known for causing the destruction of the immune system by affecting different types of cells, while SARS-CoV-2 is an extremely contagious virus that leads to the development of COVID-19. In this study, we propose a mathematical model to investigate the interaction between HIV and SARS-CoV-2 under highly active antiretroviral therapy (HAART). We determine the conditions for the endemic equil…
▽ More
HIV is known for causing the destruction of the immune system by affecting different types of cells, while SARS-CoV-2 is an extremely contagious virus that leads to the development of COVID-19. In this study, we propose a mathematical model to investigate the interaction between HIV and SARS-CoV-2 under highly active antiretroviral therapy (HAART). We determine the conditions for the endemic equilibria of both viruses, showing that transcritical bifurcations occur when the basic reproduction numbers of HIV and SARS-CoV-2 pass through 1. We set the condition for the stability of the disease-free equilibrium point of the model with coinfection as a function of the basic reproduction number $\mathcal{R}_0$. Through numerical simulations, we conclude that HAART, used to control HIV, also reduces the proliferation of SARS-CoV-2-infected cells in coinfected hosts. These findings provide important insights into the epidemiological dynamics of HIV and SARS-CoV-2 coinfection.
△ Less
Submitted 2 November, 2024;
originally announced November 2024.
-
On the control of a simplified k-e model of turbulence
Authors:
Pitágoras Pinheiro de Carvalho,
Juan Bautista Límaco Ferrel,
Enrique Fernandez-Cara
Abstract:
This paper deals with the control of a kind of turbulent flows. We consider a simplified k-e model with distributed controls, locally supported in space. We proof that the system is partially locally null-controllable, in the sense that the velocity field can be driven exactly to zero if the initial state is small enough. The proof relies on an argument where we have concatenated several technique…
▽ More
This paper deals with the control of a kind of turbulent flows. We consider a simplified k-e model with distributed controls, locally supported in space. We proof that the system is partially locally null-controllable, in the sense that the velocity field can be driven exactly to zero if the initial state is small enough. The proof relies on an argument where we have concatenated several techniques: fixed-point formulation, linearization, energy and Carleman estimates, local inversion, etc. Ths result can be viewed as a nontrivial step towards the control of turbulent fluids.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Property $(\diamond)$ for Ore extensions of small Krull dimension
Authors:
Ken Brown,
Paula A. A. B. Carvalho,
Jerzy Matczuk
Abstract:
This paper is a continuation of a project to determine which skew polynomial algebras $S = R[θ; α]$ satisfy property $(\diamond)$, namely that the injective hull of every simple $S$-module is locally artinian, where $k$ is a field, $R$ is a commutative noetherian $k$-algebra, and $α$ is a $k$-algebra automorphism of $R$. Earlier work (which we review) and further analysis done here leads us to foc…
▽ More
This paper is a continuation of a project to determine which skew polynomial algebras $S = R[θ; α]$ satisfy property $(\diamond)$, namely that the injective hull of every simple $S$-module is locally artinian, where $k$ is a field, $R$ is a commutative noetherian $k$-algebra, and $α$ is a $k$-algebra automorphism of $R$. Earlier work (which we review) and further analysis done here leads us to focus on the case where $S$ is a primitive domain and $R$ has Krull dimension 1 and contains an uncountable field. Then we show first that if $|\mathrm{Spec}(R)|$ is infinite then $S$ does not satisfy $(\diamond)$. Secondly we show that when $R = k[X]_{<X>}$ and $α(X) = qX$ where $q \in k \setminus \{0\}$ is not a root of unity then $S$ does not satisfy $(\diamond)$. This is in complete contrast to our earlier result that, when $R = k[[X]]$ and $α$ is an arbitrary $k$-algebra automorphism of infinite order, $S$ satisfies $(\diamond)$. A number of open questions are stated.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Pulse vaccination in a SIR model: global dynamics, bifurcations and seasonality
Authors:
João P. S. Maurício de Carvalho,
Alexandre A. Rodrigues
Abstract:
We analyze a periodically-forced dynamical system inspired by the SIR model with impulsive vaccination. We fully characterize its dynamics according to the proportion $p$ of vaccinated individuals and the time $T$ between doses. If the basic reproduction number is less than 1 (i.e. $\mathcal{R}_p<1$), then we obtain precise conditions for the existence and global stability of a disease-free it…
▽ More
We analyze a periodically-forced dynamical system inspired by the SIR model with impulsive vaccination. We fully characterize its dynamics according to the proportion $p$ of vaccinated individuals and the time $T$ between doses. If the basic reproduction number is less than 1 (i.e. $\mathcal{R}_p<1$), then we obtain precise conditions for the existence and global stability of a disease-free it $T$-periodic solution. Otherwise, if $\mathcal{R}_p>1$, then a globally stable $T$-periodic solution emerges with positive coordinates.
We draw a bifurcation diagram $(T,p)$ and we describe the associated bifurcations. We also find analytically and numerically chaotic dynamics by adding seasonality to the disease transmission rate. In a realistic context, low vaccination coverage and intense seasonality may result in unpredictable dynamics. Previous experiments have suggested chaos in periodically-forced biological impulsive models, but no analytic proof has been given.
△ Less
Submitted 1 August, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
On homological reduction of Poisson structures
Authors:
Pedro H. Carvalho
Abstract:
Given a $\mathfrak{g}$-action on a Poisson manifold $(M, π)$ and an equivariant map $J: M \rightarrow \mathfrak{h}^*,$ for $\mathfrak{h}$ a $\mathfrak{g}$-module, we obtain, under natural compatibility and regularity conditions previously considered by Cattaneo-Zambon, a homotopy Poisson algebra generalizing the classical BFV algebra described by Kostant-Sternberg in the usual hamiltonian setting.…
▽ More
Given a $\mathfrak{g}$-action on a Poisson manifold $(M, π)$ and an equivariant map $J: M \rightarrow \mathfrak{h}^*,$ for $\mathfrak{h}$ a $\mathfrak{g}$-module, we obtain, under natural compatibility and regularity conditions previously considered by Cattaneo-Zambon, a homotopy Poisson algebra generalizing the classical BFV algebra described by Kostant-Sternberg in the usual hamiltonian setting. As an application of our methods, we also derive homological models for the reduced spaces associated to quasi-Poisson and hamiltonian quasi-Poisson spaces.
△ Less
Submitted 11 December, 2023; v1 submitted 13 September, 2023;
originally announced September 2023.
-
Quantitative Transversal Theorems in the Plane
Authors:
Ilani Axelrod-Freed,
João Pedro Carvalho,
Yuki Takahashi
Abstract:
Hadwiger's theorem is a variant of Helly-type theorems involving common transversals to families of convex sets instead of common intersections. In this paper, we obtain a quantitative version of Hadwiger's theorem on the plane: given an ordered family of pairwise disjoint and compact convex sets in $\mathbb{R}^2$ and any real-valued monotone function on convex subsets of $\mathbb{R}^2,$ if every…
▽ More
Hadwiger's theorem is a variant of Helly-type theorems involving common transversals to families of convex sets instead of common intersections. In this paper, we obtain a quantitative version of Hadwiger's theorem on the plane: given an ordered family of pairwise disjoint and compact convex sets in $\mathbb{R}^2$ and any real-valued monotone function on convex subsets of $\mathbb{R}^2,$ if every three sets have a common transversal, respecting the order, such that the intersection of the sets with each half-plane defined by the transversal are valued at least (or at most) some constant $α,$ then the entire family has a common transversal with the same property. Unlike previous generalizations of Hadwiger's theorem, we prove that disjointness is necessary for the quantitative case. We also prove colorful versions of our results.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
On Pareto equilibria for bi-objective diffusive optimal control problems
Authors:
Pitágoras P. de Carvalho,
Enrique Fernández-Cara,
Juan Límaco,
Denilson Menezes,
Yuri Thamsten
Abstract:
We investigate Pareto equilibria for bi-objective optimal control problems. Our framework comprises the situation in which an agent acts with a distributed control in a portion of a given domain, and aims to achieve two distinct (possibly conflicting) targets. We analyze systems governed by linear and semilinear heat equations and also systems with multiplicative controls. We develop numerical met…
▽ More
We investigate Pareto equilibria for bi-objective optimal control problems. Our framework comprises the situation in which an agent acts with a distributed control in a portion of a given domain, and aims to achieve two distinct (possibly conflicting) targets. We analyze systems governed by linear and semilinear heat equations and also systems with multiplicative controls. We develop numerical methods relying on a combination of finite elements and finite differences. We illustrate the computational methods we develop via numerous experiments.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Local null controllability of a class of non-Newtonian incompressible viscous fluids
Authors:
Pitágoras de Carvalho,
Juan Límaco,
Denilson Menezes,
Yuri Thamsten
Abstract:
We investigate the null controllability property of systems that mathematically describe the dynamics of some non-Newtonian incompressible viscous flows. The principal model we study was proposed by O. A. Ladyzhenskaya, although the techniques we develop here apply to other fluids having a shear-dependent viscosity. Taking advantage of the Pontryagin Minimum Principle, we utilize a bootstrapping a…
▽ More
We investigate the null controllability property of systems that mathematically describe the dynamics of some non-Newtonian incompressible viscous flows. The principal model we study was proposed by O. A. Ladyzhenskaya, although the techniques we develop here apply to other fluids having a shear-dependent viscosity. Taking advantage of the Pontryagin Minimum Principle, we utilize a bootstrapping argument to prove that sufficiently smooth controls to the forced linearized Stokes problem exist, as long as the initial data in turn has enough regularity. From there, we extend the result to the nonlinear problem. As a byproduct, we devise a quasi-Newton algorithm to compute the states and a control, which we prove to converge in an appropriate sense. We finish the work with some numerical experiments.
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
SIR model with vaccination: bifurcation analysis
Authors:
João P. S. Maurício de Carvalho,
Alexandre A. Rodrigues
Abstract:
There are few adapted SIR models in the literature that combine vaccination and logistic growth. In this article, we study bifurcations of a SIR model where the class of Susceptible individuals grows logistically and has been subject to constant vaccination. We explicitly prove that the endemic equilibrium is a codimension two singularity in the parameter space $(\mathcal{R}_0, p)$, where…
▽ More
There are few adapted SIR models in the literature that combine vaccination and logistic growth. In this article, we study bifurcations of a SIR model where the class of Susceptible individuals grows logistically and has been subject to constant vaccination. We explicitly prove that the endemic equilibrium is a codimension two singularity in the parameter space $(\mathcal{R}_0, p)$, where $\mathcal{R}_0$ is the basic reproduction number and $p$ is the proportion of Susceptible individuals successfully vaccinated at birth.
We exhibit explicitly the Hopf, transcritical, Belyakov, heteroclinic and saddle-node bifurcation curves unfolding the singularity. The two parameters $(\mathcal{R}_0, p)$ are written in a useful way to evaluate the proportion of vaccinated individuals necessary to eliminate the disease and to conclude how the vaccination may affect the outcome of the epidemic. We also exhibit the region in the parameter space where the disease persists and we illustrate our main result with numerical simulations, emphasizing the role of the parameters.
△ Less
Submitted 25 April, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Critical and injective modules over skew polynomial rings
Authors:
Ken Brown,
Paula A. A. B. Carvalho,
Jerzy Matczuk
Abstract:
Let $R$ be a commutative local $k$-algebra of Krull dimension one, where $k$ is a field. Let $α$ be a $k$-algebra automorphism of $R$, and define $S$ to be the skew polynomial algebra $R[θ; α]$. We offer, under some additional assumptions on $R$, a criterion for $S$ to have injective hulls of all simple $S$-modules locally Artinian - that is, for $S$ to satisfy property $(\diamond)$. It is easy an…
▽ More
Let $R$ be a commutative local $k$-algebra of Krull dimension one, where $k$ is a field. Let $α$ be a $k$-algebra automorphism of $R$, and define $S$ to be the skew polynomial algebra $R[θ; α]$. We offer, under some additional assumptions on $R$, a criterion for $S$ to have injective hulls of all simple $S$-modules locally Artinian - that is, for $S$ to satisfy property $(\diamond)$. It is easy and well known that if $α$ is of finite order, then $S$ has this property, but in order to get the criterion when $α$ has infinite order we found it necessary to classify all cyclic (Krull) critical $S$-modules in this case, a result which may be of independent interest. With the help of the above we show that $\hat{S}=k[[X]][θ, α]$ satisfies $(\diamond)$ for all $k$-algebra automorphisms $α$ of $k[[X]]$.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
A QUBO Formulation for Minimum Loss Spanning Tree Reconfiguration Problems in Electric Power Networks
Authors:
Filipe F. C. Silva,
Pedro M. S. Carvalho,
Luis A. F. M. Ferreira,
Yasser Omar
Abstract:
We introduce a novel quadratic unconstrained binary optimization (QUBO) formulation for a classical problem in electrical engineering -- the optimal reconfiguration of distribution grids. For a given graph representing the grid infrastructure and known nodal loads, the problem consists in finding the spanning tree that minimizes the total link ohmic losses. A set of constraints is initially define…
▽ More
We introduce a novel quadratic unconstrained binary optimization (QUBO) formulation for a classical problem in electrical engineering -- the optimal reconfiguration of distribution grids. For a given graph representing the grid infrastructure and known nodal loads, the problem consists in finding the spanning tree that minimizes the total link ohmic losses. A set of constraints is initially defined to impose topologically valid solutions. These constraints are then converted to a QUBO model as penalty terms. The electrical losses terms are finally added to the model as the objective function to minimize. In order to maximize the performance of solution searching with classical solvers, with hybrid quantum-classical solvers and with quantum annealers, our QUBO formulation has the goal of being very efficient in terms of variables usage. A standard 33-node test network is used as an illustrative example of our general formulation. Model metrics for this example are presented and discussed. Finally, the optimal solution for this example was obtained and validated through comparison with the optimal solution from an independent method.
△ Less
Submitted 15 March, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Enumerating $k$-Naples Parking Functions Through Catalan Objects
Authors:
João Pedro Carvalho,
Pamela E. Harris,
Gordon Rojas Kirby,
Nico Tripeny,
Andrés R. Vindas-Meléndez
Abstract:
This paper studies a generalization of parking functions named $k$-Naples parking functions, where backward movement is allowed. One consequence of backward movement is that the number of ascending $k$-Naples is not the same as the number of descending $k$-Naples. This paper focuses on generalizing the bijections of ascending parking functions with combinatorial objects enumerated by the Catalan n…
▽ More
This paper studies a generalization of parking functions named $k$-Naples parking functions, where backward movement is allowed. One consequence of backward movement is that the number of ascending $k$-Naples is not the same as the number of descending $k$-Naples. This paper focuses on generalizing the bijections of ascending parking functions with combinatorial objects enumerated by the Catalan numbers in the setting of both ascending and descending $k$-Naples parking functions. These combinatorial objects include Dyck paths, binary trees, triangulations of polygons, and non-crossing partitions. Using these bijections, we enumerate both ascending and descending $k$-Naples parking functions.
△ Less
Submitted 3 September, 2021;
originally announced September 2021.
-
Counterexamples to the Colorful Tverberg Conjecture for Hyperplanes
Authors:
João Pedro Carvalho,
Pablo Soberón
Abstract:
In 2008 Karasev conjectured that for every set of $r$ blue lines, $r$ green lines, and $r$ red lines in the plane, there exists a partition of them into $r$ colorful triples whose induced triangles intersect. We disprove this conjecture for every $r$ and extend the counterexamples to higher dimensions.
In 2008 Karasev conjectured that for every set of $r$ blue lines, $r$ green lines, and $r$ red lines in the plane, there exists a partition of them into $r$ colorful triples whose induced triangles intersect. We disprove this conjecture for every $r$ and extend the counterexamples to higher dimensions.
△ Less
Submitted 18 August, 2021; v1 submitted 17 August, 2021;
originally announced August 2021.
-
On the Computation of Hierarchical Control results for One-Dimensional Transmission Line
Authors:
Pitágoras P. de Carvalho,
Olímpio P. de Sá Neto
Abstract:
In this paper, motivated by a physics problem, we investigate some numerical and computational aspects for the problem of hierarchical controllability in a one-dimensional wave equation in domains with a moving boundary. Some controls act in part of the boundary and define a strategy of equilibrium between them, considering a leader control and a follower. Thus, we introduced the concept of hierar…
▽ More
In this paper, motivated by a physics problem, we investigate some numerical and computational aspects for the problem of hierarchical controllability in a one-dimensional wave equation in domains with a moving boundary. Some controls act in part of the boundary and define a strategy of equilibrium between them, considering a leader control and a follower. Thus, we introduced the concept of hierarchical control to solve the problem and mapped the Stackelberg Strategy between these controls. A total discretization of the problem is presented for a numerical evaluation in spaces of finite dimension, an algorithm for evaluation of the problem is presented as the combination of finite element method (FEM) and finite difference method (FDM). The algorithm efficiency and computational results are illustrated for some experiments using the softwares Freefem++ and MatLab.
△ Less
Submitted 4 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.
-
A fractional-order model for CoViD-19 dynamics with reinfection and the importance of quarantine
Authors:
João P. S. Maurício de Carvalho,
Beatriz Moreira-Pinto
Abstract:
Coronavirus disease 2019 (CoViD-19) is an infectious disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Among many symptoms, cough, fever and tiredness are the most common. People over 60 years old and with associated comorbidities are most likely to develop a worsening health condition. This paper proposes a non-integer order model to describe the dynamics of CoViD-19…
▽ More
Coronavirus disease 2019 (CoViD-19) is an infectious disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Among many symptoms, cough, fever and tiredness are the most common. People over 60 years old and with associated comorbidities are most likely to develop a worsening health condition. This paper proposes a non-integer order model to describe the dynamics of CoViD-19 in a standard population. The model incorporates the reinfection rate in the individuals recovered from the disease. Numerical simulations are performed for different values of the order of the fractional derivative and of reinfection rate. The results are discussed from a biological point of view.
△ Less
Submitted 19 July, 2021; v1 submitted 9 April, 2021;
originally announced April 2021.
-
Strange attractors in a dynamical system inspired by a seasonally forced SIR model
Authors:
João P. S. Maurício de Carvalho,
Alexandre A. Rodrigues
Abstract:
We analyze a multiparameter periodically-forced dynamical system inspired in the SIR endemic model. We show that the condition on the \emph{basic reproduction number} $\mathcal{R}_0 < 1$ is not sufficient to guarantee the elimination of \emph{Infectious} individuals due to a \emph{backward bifurcation}. Using the theory of rank-one attractors, for an open subset in the space of parameters where…
▽ More
We analyze a multiparameter periodically-forced dynamical system inspired in the SIR endemic model. We show that the condition on the \emph{basic reproduction number} $\mathcal{R}_0 < 1$ is not sufficient to guarantee the elimination of \emph{Infectious} individuals due to a \emph{backward bifurcation}. Using the theory of rank-one attractors, for an open subset in the space of parameters where $\mathcal{R}_0<1$, the flow exhibits \emph{persistent strange attractors}. These sets are not confined to a tubular neighbourhood in the phase space, are numerically observable and shadow the ghost of a two-dimensional invariant torus. Although numerical experiments have already suggested that periodically-forced biological models may exhibit observable chaos, a rigorous proof was not given before. Our results agree well with the empirical belief that intense seasonality induces chaos.
This work provides a preliminary investigation of the interplay between seasonality, deterministic dynamics and the prevalence of strange attractors in a nonlinear forced system inspired by biology.
△ Less
Submitted 21 March, 2022; v1 submitted 24 March, 2021;
originally announced March 2021.
-
A novel approach to understanding CoViD-19: exploring the interplay of SARS-CoV-2 and CTL response
Authors:
João Paulo Simões Maurício de Carvalho
Abstract:
Facing a global challenge with over 6.9 million fatalities, severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), the causative agent of CoViD-19, demands novel and comprehensive approaches to understand its complex dynamics. This paper introduces a non-integer order model, capturing the intricate interplay between SARS-CoV-2 and the host's cytotoxic T lymphocytes (CTLs) response. Our work…
▽ More
Facing a global challenge with over 6.9 million fatalities, severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), the causative agent of CoViD-19, demands novel and comprehensive approaches to understand its complex dynamics. This paper introduces a non-integer order model, capturing the intricate interplay between SARS-CoV-2 and the host's cytotoxic T lymphocytes (CTLs) response. Our work reveals a unique parameter space, in which an endemic state of SARS-CoV-2 and a CTL response-free equilibrium can coexist -- a crucial finding in our quest to decipher this pervasive virus. We further explore the basic reproduction number, assessing how different model parameters can potentially inhibit or fuel the infection's progression. Through extensive numerical simulations, we scrutinize the impact of varying the order of the fractional derivative and employing diverse CTL proliferation functions. This study significantly enriches our understanding of CoViD-19 immunopathology, offering invaluable insights that could guide future research and therapeutic strategies.
△ Less
Submitted 1 June, 2023; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Stable range one for rings with central units
Authors:
Paula A. A. B. Carvalho,
Christian Lomp,
Jerzy Matczuk
Abstract:
The purpose of this paper is to give a partial positive answer to a question raised by Khurana et al. as to whether a ring $R$ with stable range one and central units is commutative. We show that this is the case under any of the following additional conditions: $R$ is semiprime or $R$ is one-sided Noetherian or $R$ has unit-stable range $1$ or $R$ has classical Krull dimension $0$ or $R$ is an al…
▽ More
The purpose of this paper is to give a partial positive answer to a question raised by Khurana et al. as to whether a ring $R$ with stable range one and central units is commutative. We show that this is the case under any of the following additional conditions: $R$ is semiprime or $R$ is one-sided Noetherian or $R$ has unit-stable range $1$ or $R$ has classical Krull dimension $0$ or $R$ is an algebra over a field $K$ such that $K$ is uncountable and $R$ has only countably many primitive ideals or $R$ is affine and either $K$ has characteristic $0$ or has infinite transcendental degree over its prime subfield or is algebraically closed. However, the general question remains open.
△ Less
Submitted 10 October, 2019;
originally announced October 2019.
-
Optimal control of the customer dynamics based on marketing policy
Authors:
S. Rosa,
P. Rebelo,
C. M. Silva,
H. Alves,
P. G. Carvalho
Abstract:
We consider an optimal control problem for a non-autonomous model of ODEs that describes the evolution of the number of customers in some firm. Namely we study the best marketing strategy. Considering a $L^2$ cost functional, we establish the existence and uniqueness of optimal solutions, using an inductive argument to obtain uniqueness on the whole interval from local uniqueness. We also present…
▽ More
We consider an optimal control problem for a non-autonomous model of ODEs that describes the evolution of the number of customers in some firm. Namely we study the best marketing strategy. Considering a $L^2$ cost functional, we establish the existence and uniqueness of optimal solutions, using an inductive argument to obtain uniqueness on the whole interval from local uniqueness. We also present some simulation results, based on our model, and compare them with results we obtain for an $L^1$ cost functional. For the $L^1$ cost functional the optimal solutions are of bang-bang type and thus easier to implement, because at every moment possible actions are chosen from a finite set of possibilities. For the autonomous case of $L^2$ problem, we show the effectiveness of the optimal control strategy against other formulations of the problem with simpler controls.
△ Less
Submitted 15 February, 2018;
originally announced February 2018.
-
A note on simple modules over quasi-local rings
Authors:
Paula A. A. B. Carvalho,
Christian Lomp,
Patrick F. Smith
Abstract:
Matlis showed that the injective hull of a simple module over a commutative Noetherian ring is Artinian. Many non-commutative Noetherian rings whose injective hulls of simple modules are locally Artinian have been extensively studied recently. This property had been denoted by property $(\diamond)$. In this paper we investigate, which non-Noetherian semiprimary commutative quasi-local rings…
▽ More
Matlis showed that the injective hull of a simple module over a commutative Noetherian ring is Artinian. Many non-commutative Noetherian rings whose injective hulls of simple modules are locally Artinian have been extensively studied recently. This property had been denoted by property $(\diamond)$. In this paper we investigate, which non-Noetherian semiprimary commutative quasi-local rings $(R, m)$ satisfy property $(\diamond)$. For quasi-local rings $(R,m)$ with $m^3=0$, we prove a characterisation of this property in terms of the dual space of $Soc(R)$. Furthermore, we show that $(R,m)$ satisfies $(\diamond)$ if and only if its associated graded ring $gr(R)$ does.
Given a field $F$ and vector spaces $V$ and $W$ and a symmetric bilinear map $β:V\times V\rightarrow W$ we consider commutative quasi-local rings of the form $F\times V \times W$, whose product is given by $(λ_1, v_1,w_1)(λ_2,v_2,w_2) = (λ_1λ_2, λ_1v_2+λ_2v_1, λ_1w_2+λ_2w_1+β(v_1,v_2))$ in order to build new examples and to illustrate our theory. In particular we prove that any quasi-local commutative ring with radical cube-zero does not satisfy $(\diamond)$ if and only if it has a factor, whose associated graded ring is of the form $F\times V \times F$ with $V$ infinite dimensional and $β$ non-degenerated.
△ Less
Submitted 28 November, 2017;
originally announced November 2017.
-
Simple modules and their essential extensions for skew polynomial rings
Authors:
Ken Brown,
Paula A. A. B. Carvalho,
Jerzy Matczuk
Abstract:
Let $R$ be a commutative Noetherian ring and $α$ an automorphism of $R$. This paper addresses the question: when does the skew polynomial ring $S = R[θ; α]$ satisfy the property $(\diamond)$, that for every simple $S$-module $V$ the injective hull $E_S(V)$ of $V$ has all its finitely generated submodules Artinian. The question is largely reduced to the special case where $S$ is primitive, for whic…
▽ More
Let $R$ be a commutative Noetherian ring and $α$ an automorphism of $R$. This paper addresses the question: when does the skew polynomial ring $S = R[θ; α]$ satisfy the property $(\diamond)$, that for every simple $S$-module $V$ the injective hull $E_S(V)$ of $V$ has all its finitely generated submodules Artinian. The question is largely reduced to the special case where $S$ is primitive, for which necessary and sufficient conditions are found, which however do not between them cover all possibilities. Nevertheless a complete characterisation is found when $R$ is an affine algebra over a field $k$ and $α$ is a $k$-algebra automorphism - in this case $(\diamond)$ holds if and only if all simple $S$-modules are finite dimensional over $k$. This leads to a discussion, involving close study of some families of examples, of when this latter condition holds for affine $k$-algebras $S = R[θ;α]$. The paper ends with a number of open questions.
△ Less
Submitted 18 May, 2017;
originally announced May 2017.
-
Robust Partial Quadratic Eigenvalue Assignment Problem: Spectrum Sensitivity Approach
Authors:
José Mário Araújo,
Carlos Eduardo Trabuco Dórea,
Luiz Marcos Garcia Gonçalves,
João Batista da Paz Carvalho,
Biswa Nath Datta
Abstract:
We propose an optimization approach to the solution of the partial quadratic eigenvalue assignment problem (PQEVAP) for active vibration control design with robustness (RPQEVAP). The proposed cost function is based on the concept of sensitivities over the sum and the product of the closed-loop eigenvalues, introduced recently in our paper. Explicit gradient formula for the solutions using state fe…
▽ More
We propose an optimization approach to the solution of the partial quadratic eigenvalue assignment problem (PQEVAP) for active vibration control design with robustness (RPQEVAP). The proposed cost function is based on the concept of sensitivities over the sum and the product of the closed-loop eigenvalues, introduced recently in our paper. Explicit gradient formula for the solutions using state feedback and derivative feedback are derived as functions of a free parameter. These formulas are then used to build algorithms to solve RPQEVAP in a numerically efficient way, with no need to compute new eigenvectors, for both state feedback and state-derivative feedback designs. Numerical experiments are carried out in order to demonstrate the effectiveness of the algorithms and to compare the proposed method with other methods in the literature, thus showing its effectiveness.
△ Less
Submitted 5 November, 2016; v1 submitted 17 September, 2016;
originally announced September 2016.
-
Ring theoretical properties of affine cellular algebras
Authors:
Paula A. A. B. Carvalho,
Steffen Koenig,
Christian Lomp,
Armin Shalile
Abstract:
As a generalisation of Graham and Lehrer's cellular algebras, affine cellular algebras have been introduced in [12] in order to treat affine versions of diagram algebras like affine Hecke algebras of type A and affine Temperley-Lieb algebras in a unifying fashion. Affine cellular algebras include Kleshchev's graded quasihereditary algebras, KLR algebras and various other classes of algebras. In th…
▽ More
As a generalisation of Graham and Lehrer's cellular algebras, affine cellular algebras have been introduced in [12] in order to treat affine versions of diagram algebras like affine Hecke algebras of type A and affine Temperley-Lieb algebras in a unifying fashion. Affine cellular algebras include Kleshchev's graded quasihereditary algebras, KLR algebras and various other classes of algebras. In this paper we will study ring theoretical properties of affine cellular algebras. We show that any affine cellular algebra $A$ satisfies a polynomial identity. Furthermore, we show that $A$ can be embedded into its asymptotic algebra if the occurring commutative affine algebra $B_j$ are reduced and the determinants of the swich matrices are non-zero divisors. As a consequence, we show that the Gelfand-Kirillov dimension of $A$ is less than or equal to the largest Krull dimension of the algebras $B_j$ and that equality hold, in case all affine cell ideals are idempotent or if the Krull dimension of the algebras $B_j$ is less than or equal to $1$. Special emphasis is given to the question when an affine cell ideal is idempotent, generated by an idempotent or finitely generated.
△ Less
Submitted 6 September, 2016;
originally announced September 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.
-
Computer-assisted independent study in mutivariate calculus
Authors:
L. Descalço,
Paula Carvalho,
J. P. Cruz,
Paula Oliveira,
Dina Seabra
Abstract:
Learning mathematics requires students to work in an independent way which is particularly challenging for such an abstract subject. Advancements in technology and, taking the student as the focus of his own learning, led to a change of paradigm in the design and development of educational contents. In this paper we describe the first experience with an interactive feedback and assessment tool (Si…
▽ More
Learning mathematics requires students to work in an independent way which is particularly challenging for such an abstract subject. Advancements in technology and, taking the student as the focus of his own learning, led to a change of paradigm in the design and development of educational contents. In this paper we describe the first experience with an interactive feedback and assessment tool (Siacua), based on parameterized math exercises, and explain how we use it to motivate student independent study in a multivariate calculus environment. We have defined an index about the subject, trying to make it consensual enough for being used in other courses about multivariate calculus. Then we have created a concept map, selected some existing parameterized true/false questions from PmatE project and classified them using our concept map, for being reused in our system. For complementing the course we have created about one hundred parameterized multiple choice question templates in system Megua and generated about one thousand instances for using in Siacua. Results based on data collected by this tool and also based on an informal survey are presented. This first experience allows us to conclude our approach has an important impact on student motivation and contributes to the success on learning multivariate calculus.
△ Less
Submitted 14 July, 2015;
originally announced July 2015.
-
A mathematical model for the customer dynamics based on marketing policy
Authors:
César M. Silva,
Silvério Rosa,
Helena Alves,
Pedro G. Carvalho
Abstract:
We consider a compartmental model to study the evolution of the number of regular customers and referral customers in some corporation. Transitions between compartments are modeled by parameters depending on the social network and the marketing policy of the corporation. We obtain some results on the asymptotic number of regular customers and referral customers in several particular scenarios. Add…
▽ More
We consider a compartmental model to study the evolution of the number of regular customers and referral customers in some corporation. Transitions between compartments are modeled by parameters depending on the social network and the marketing policy of the corporation. We obtain some results on the asymptotic number of regular customers and referral customers in several particular scenarios. Additionally we present some simulation that illustrates the behavior of the model and discuss its applicability.
△ Less
Submitted 6 March, 2015;
originally announced March 2015.
-
Extremal graphs for the sum of the two largest signless Laplacian eigenvalues
Authors:
Carla Silva Oliveira,
Leonardo de Lima,
Paula Rama,
Paula Carvalho
Abstract:
Let G be a simple graph on $n$ vertices and $e(G)$ edges. Consider $Q(G) = D + A$ as the signless Laplacian of $G$, where $A$ is the adjacency matrix and $D$ is the diagonal matrix of the vertices degree of $G$. Let $q_1(G)$ and $q_2(G)$ be the first and the second largest eigenvalues of $Q(G),$ respectively, and denote by $S_{n}^{+}$ the star graph plus one edge. In this paper, we prove that ineq…
▽ More
Let G be a simple graph on $n$ vertices and $e(G)$ edges. Consider $Q(G) = D + A$ as the signless Laplacian of $G$, where $A$ is the adjacency matrix and $D$ is the diagonal matrix of the vertices degree of $G$. Let $q_1(G)$ and $q_2(G)$ be the first and the second largest eigenvalues of $Q(G),$ respectively, and denote by $S_{n}^{+}$ the star graph plus one edge. In this paper, we prove that inequality $q_1(G)+ q_2(G) <= e(G)+3$ is tighter for the graph $S_{n}^{+}$ among all firefly graphs and also tighter to $S_{n}^{+}$ than to the graphs $K_{k} \vee \overline{K_{n-k}}$ recently presented by Ashraf, Omidi and Tayfeh-Rezaie. Also, we conjecture that the same inequality is tighter to $S_{n}^{+}$ than any other graph on $n$ vertices.
△ Less
Submitted 31 October, 2013;
originally announced October 2013.
-
Injective hulls of simple modules over differential operator rings
Authors:
Paula A. A. B. Carvalho,
Can Hatipoglu,
Christian Lomp
Abstract:
We study injective hulls of simple modules over differential operator rings $R[θ; d]$, providing necessary conditions under which these modules are locally Artinian. As a consequence we characterize Ore extensions of $S=K[x][θ;σ, d]$ for $d$ a $K$-linear derivation and $σ$ a $K$-linear automorphism of $K[x]$ such that injective hulls of simple $S$-modules are locally Artinian.
We study injective hulls of simple modules over differential operator rings $R[θ; d]$, providing necessary conditions under which these modules are locally Artinian. As a consequence we characterize Ore extensions of $S=K[x][θ;σ, d]$ for $d$ a $K$-linear derivation and $σ$ a $K$-linear automorphism of $K[x]$ such that injective hulls of simple $S$-modules are locally Artinian.
△ Less
Submitted 12 June, 2014; v1 submitted 12 November, 2012;
originally announced November 2012.
-
Monolithic modules over Noetherian Rings
Authors:
Paula A. A. B. Carvalho,
Ian M. Musson
Abstract:
We study finiteness conditions on essential extensions of simple modules over the quantum plane, the quantized Weyl algebra and Noetherian down-up algebras. The results achieved improve the ones obtained in [arXiv:0906.2930] for down-up algebras.
We study finiteness conditions on essential extensions of simple modules over the quantum plane, the quantized Weyl algebra and Noetherian down-up algebras. The results achieved improve the ones obtained in [arXiv:0906.2930] for down-up algebras.
△ Less
Submitted 9 June, 2010; v1 submitted 11 January, 2010;
originally announced January 2010.
-
Double Ore Extensions versus Iterated Ore Extensions
Authors:
Paula A. A. B. Carvalho,
Samuel A. Lopes,
Jerzy Matczuk
Abstract:
Motivated by the construction of new examples of Artin-Schelter regular algebras of global dimension four, J.J. Zhang and J. Zhang (2008) introduced an algebra extension $A_P[y_1,y_2;σ,δ,τ]$ of $A$, which they called a double Ore extension. This construction seems to be similar to that of a two-step iterated Ore extension over $A$. The aim of this paper is to describe those double Ore extensions…
▽ More
Motivated by the construction of new examples of Artin-Schelter regular algebras of global dimension four, J.J. Zhang and J. Zhang (2008) introduced an algebra extension $A_P[y_1,y_2;σ,δ,τ]$ of $A$, which they called a double Ore extension. This construction seems to be similar to that of a two-step iterated Ore extension over $A$. The aim of this paper is to describe those double Ore extensions which can be presented as iterated Ore extensions of the form $A[y_1;σ_1, δ_1][y_2;σ_2, δ_2]$. We also give partial answers to some questions posed in Zhang and Zhang (2008).
△ Less
Submitted 17 September, 2009;
originally announced September 2009.
-
Injective Modules over Down-Up Algebras
Authors:
Paula A. A. B. Carvalho,
Christian Lomp,
Dilek Pusat-Yilmaz
Abstract:
The purpose of this paper is to study finiteness conditions on injective hulls of simple modules over Noetherian Down-Up algebras. We will show that the Noetherian Down-Up algebras A(α,β,γ) which are fully bounded are precisely those which are module-finite over a central subalgebra. We show that injective hulls of simple A(α,β,γ)-modules are locally Artinian provided the roots of X^2-αX-βare di…
▽ More
The purpose of this paper is to study finiteness conditions on injective hulls of simple modules over Noetherian Down-Up algebras. We will show that the Noetherian Down-Up algebras A(α,β,γ) which are fully bounded are precisely those which are module-finite over a central subalgebra. We show that injective hulls of simple A(α,β,γ)-modules are locally Artinian provided the roots of X^2-αX-βare distinct roots of unity or both equal to one.
△ Less
Submitted 16 June, 2009;
originally announced June 2009.
-
Automorphisms of Generalized Down-Up Algebras
Authors:
Paula A. A. B. Carvalho,
Samuel A. Lopes
Abstract:
A generalization of down-up algebras was introduced by Cassidy and Shelton (J. Algebra 279 (2004), no. 1), the so-called generalized down-up algebras. We describe the automorphism group of conformal Noetherian generalized down-up algebras L(f,r,s,γ) such that r is not a root of unity, listing explicitly the elements of the group. In the last section we apply these results to Noetherian down-up a…
▽ More
A generalization of down-up algebras was introduced by Cassidy and Shelton (J. Algebra 279 (2004), no. 1), the so-called generalized down-up algebras. We describe the automorphism group of conformal Noetherian generalized down-up algebras L(f,r,s,γ) such that r is not a root of unity, listing explicitly the elements of the group. In the last section we apply these results to Noetherian down-up algebras, thus obtaining a characterization of the automorphism group of Noetherian down-up algebras A(α, β, γ) for which the roots of the polynomial X^2-αX-βare not both roots of unity.
△ Less
Submitted 22 June, 2007;
originally announced June 2007.
-
The First Birkhoff Coefficient and the Stability of 2-Periodic Orbits on Billiards
Authors:
Sylvie Oliffson Kamphorst,
Sonia Pinto de Carvalho
Abstract:
In this work we address the question of proving the stability of elliptic 2-periodic orbits for strictly convex billiards. Eventhough it is part of a widely accepted belief that ellipticity implies stability, classical theorems show that the certainty of stability relies upon more fine conditions. We present a review of the main results and general theorems and describe the procedure to fullfill…
▽ More
In this work we address the question of proving the stability of elliptic 2-periodic orbits for strictly convex billiards. Eventhough it is part of a widely accepted belief that ellipticity implies stability, classical theorems show that the certainty of stability relies upon more fine conditions. We present a review of the main results and general theorems and describe the procedure to fullfill the supplementary conditions for strictly convex billiards.
△ Less
Submitted 14 October, 2004;
originally announced October 2004.
-
Elliptic Islands on Strictly Convex Billiards
Authors:
Mario Jorge Dias Carneiro,
Sylvie Oliffson Kamphorst,
Sonia Pinto De Carvalho
Abstract:
This paper addresses the question of genericity of existence of elliptic islands for the billiard map associated to strictly convex closed curves. More precisely, we study 2-periodic orbits of billiards associated to C5 closed and strictly convex curves and show that the existence of elliptic islands is a dense property on the subset of those billiards having an elliptic 2-periodic point. Our ma…
▽ More
This paper addresses the question of genericity of existence of elliptic islands for the billiard map associated to strictly convex closed curves. More precisely, we study 2-periodic orbits of billiards associated to C5 closed and strictly convex curves and show that the existence of elliptic islands is a dense property on the subset of those billiards having an elliptic 2-periodic point. Our main tools are normal perturbations, the Birkhoff Normal Form for elliptic fixed points and Moser's Twist Theorem.
△ Less
Submitted 11 January, 2002;
originally announced January 2002.
-
Elliptic Islands on the Elliptical Stadium
Authors:
Sylvie Oliffson Kamphorst,
Sonia Pinto de Carvalho
Abstract:
We investigate the existence of elliptic islands for a special family of periodic orbits of a two-parameter family of maps corresponding to the billiard problem on the elliptical stadium. The hyperbolic or elliptical character of these orbits is also investigated. Depending on the parameters, we obtain upper bounds of ellipticity for this special family as a lower bound for chaos. On a different…
▽ More
We investigate the existence of elliptic islands for a special family of periodic orbits of a two-parameter family of maps corresponding to the billiard problem on the elliptical stadium. The hyperbolic or elliptical character of these orbits is also investigated. Depending on the parameters, we obtain upper bounds of ellipticity for this special family as a lower bound for chaos. On a different region of the parameter space, we can prove that there is no upper bound for the existence of elliptic islands. The main results we use are Birkhoff Normal Form and Moser's Twist Theorem.
△ Less
Submitted 22 September, 2000;
originally announced September 2000.
-
Down-Up Algebras and Representation Theory
Authors:
Paula A. A. B. Carvalho,
Ian M. Musson
Abstract:
A class of algebras called down-up algebras was introduced by G. Benkart and T. Roby. We classify the finite dimensional simple modules over Noetherian down-up algebras and show that in some cases every finite dimensional module is semisimple. We also study the question of when two down-up algebras are isomorphic.
A class of algebras called down-up algebras was introduced by G. Benkart and T. Roby. We classify the finite dimensional simple modules over Noetherian down-up algebras and show that in some cases every finite dimensional module is semisimple. We also study the question of when two down-up algebras are isomorphic.
△ Less
Submitted 20 March, 1999;
originally announced March 1999.
