Showing 1–50 of 69 results for author: González, C

Solenoids in automorphism groups of evolution algebras

Authors: Yolanda Cabrera Casado, Maria Inez Cardoso Gonçalves, Daniel Gonçalves, Dolores Martín Barquero, Cándido Martín González, Iván Ruiz Campos

Abstract: Let A be an evolution algebra (possibly infinite-dimensional) equipped with a fixed natural basis B, and let E be the associated graph defined by Elduque and Labra. We describe the group of automorphisms of A that are diagonalizable with respect to B. This group arises as the inverse limit of a functor (a diagram) from the category associated with the graph E to the category of groups. In certain… ▽ More Let A be an evolution algebra (possibly infinite-dimensional) equipped with a fixed natural basis B, and let E be the associated graph defined by Elduque and Labra. We describe the group of automorphisms of A that are diagonalizable with respect to B. This group arises as the inverse limit of a functor (a diagram) from the category associated with the graph E to the category of groups. In certain cases, this group can be realized as a dyadic solenoid. Additionally, we investigate the automorphisms that permute (and possibly scale) the elements of B. In particular, for algebras satisfying the 2LI condition, we provide a complete description of their automorphism group. △ Less

Submitted 20 May, 2025; originally announced May 2025.

MSC Class: 05C25; 08A35; 17A36; 17A60; 17D92

On the socle of a class of Steinberg algebras

Authors: Lisa Orloff Clark, Cristóbal Gil Canto, Dolores Martín Barquero, Cándido Martín González, Iván Ruiz Campos

Abstract: We study minimal left ideals in Steinberg algebras of Hausdorff groupoids. We establish a relationship between minimal left ideals in the algebra and open singletons in the unit space of the groupoid. We apply this to obtain results about the socle of Steinberg algebras under certain hypotheses. This encompasses known results about Leavitt path algebras and improves on Kumjian-Pask algebra results… ▽ More We study minimal left ideals in Steinberg algebras of Hausdorff groupoids. We establish a relationship between minimal left ideals in the algebra and open singletons in the unit space of the groupoid. We apply this to obtain results about the socle of Steinberg algebras under certain hypotheses. This encompasses known results about Leavitt path algebras and improves on Kumjian-Pask algebra results to include higher-rank graphs that are not row-finite. △ Less

Submitted 21 February, 2025; originally announced February 2025.

Comments: 13 pages

MSC Class: 16S99; 22A22; 16D25; 16D70; 18B40; 46L55; 16S88

On positive decompositions and proper splittings of Hermitian operators

Authors: Guillermina Fongi, María Celeste Gonzalez

Abstract: In this article we study different aspects of Hermitian operators applying the concept of positive decompositions. On the one hand, we characterize the positivity of an Hermitian operator by means of a norm condition where the factors of certain pseudo polar decomposition of the operator, are involved. On the other hand, we relate the concept of positive orthogonal decomposition of Hermitian opera… ▽ More In this article we study different aspects of Hermitian operators applying the concept of positive decompositions. On the one hand, we characterize the positivity of an Hermitian operator by means of a norm condition where the factors of certain pseudo polar decomposition of the operator, are involved. On the other hand, we relate the concept of positive orthogonal decomposition of Hermitian operators to the notion of proper splittings of operators. Furthermore, we present a sufficient condition for the convergence of proper splittings for general bounded linear operators on Hilbert spaces. △ Less

Submitted 30 December, 2024; originally announced December 2024.

Comments: 15 pages

MSC Class: 47A05; 47B02; 47B15

Geometric phase and holonomy in the space of 2-by-2 symmetric operators

Authors: Jakub Rondomanski, José D. Cojal González, Jürgen P. Rabe, Carlos-Andres Palma, Konrad Polthier

Abstract: We present a non-trivial metric tensor field on the space of 2-by-2 real-valued, symmetric matrices whose Levi-Civita connection renders frames of eigenvectors parallel. This results in fundamental reimagining of the space of symmetric matrices as a curved manifold (rather than a flat vector space) and reduces the computation of eigenvectors of one-parameter-families of matrices to a single comput… ▽ More We present a non-trivial metric tensor field on the space of 2-by-2 real-valued, symmetric matrices whose Levi-Civita connection renders frames of eigenvectors parallel. This results in fundamental reimagining of the space of symmetric matrices as a curved manifold (rather than a flat vector space) and reduces the computation of eigenvectors of one-parameter-families of matrices to a single computation of eigenvectors at an initial point, while the rest are obtained by the parallel transport ODE. Our work has important applications to vibrations of physical systems whose topology is directly explained by the non-trivial holonomy of the spaces of symmetric matrices. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Splitting methods with complex coefficients for linear and nonlinear evolution equations

Authors: Sergio Blanes, Fernando Casas, Cesareo Gonzalez, Mechthild Thalhammer

Abstract: This contribution is dedicated to the exploration of exponential operator splitting methods for the time integration of evolution equations. It entails the review of previous achievements as well as the depiction of novel results. The standard class of splitting methods involving real coefficients is contrasted with an alternative approach that relies on the incorporation of complex coefficients.… ▽ More This contribution is dedicated to the exploration of exponential operator splitting methods for the time integration of evolution equations. It entails the review of previous achievements as well as the depiction of novel results. The standard class of splitting methods involving real coefficients is contrasted with an alternative approach that relies on the incorporation of complex coefficients. In view of long-term computations for linear evolution equations, it is expedient to distinguish symmetric, symmetric-conjugate, and alternating-conjugate schemes. The scope of applications comprises high-order reaction-diffusion equations and complex Ginzburg-Landau equations, which are of relevance in the theories of patterns and superconductivity. Time-dependent Gross-Pitaevskii equations and their parabolic counterparts, which model the dynamics of Bose-Einstein condensates and arise in ground state computations, are formally included as special cases. Numerical experiments confirm the validity of theoretical stability conditions and global error bounds as well as the benefits of higher-order complex splitting methods in comparison with standard schemes. △ Less

Submitted 16 October, 2024; originally announced October 2024.

Hopf algebras and associative representations of two-dimensional evolution algebras

Authors: Yolanda Cabrera Casado, María Inez Cardoso Gonçalves, Daniel Gonçalves, Dolores Martín Barquero, Cándido Martín González, Iván Ruiz Campos

Abstract: In this paper, we establish a connection between evolution algebras of dimension two and Hopf algebras, via the algebraic group of automorphisms of an evolution algebra. Initially, we describe the Hopf algebra associated with the automorphism group of a 2-dimensional evolution algebra. Subsequently, for a 2-dimensional evolution algebra $A$ over a field $K$, we detail the relation between the al… ▽ More In this paper, we establish a connection between evolution algebras of dimension two and Hopf algebras, via the algebraic group of automorphisms of an evolution algebra. Initially, we describe the Hopf algebra associated with the automorphism group of a 2-dimensional evolution algebra. Subsequently, for a 2-dimensional evolution algebra $A$ over a field $K$, we detail the relation between the algebra associated with the (tight) universal associative and commutative representation of $A$, referred to as the (tight) $p$-algebra, and the corresponding Hopf algebra, $\mathcal{H}$, representing the affine group scheme $\text{Aut}(A)$. Our analysis involves the computation of the (tight) $p-$algebra associated with any 2-dimensional evolution algebra, whenever it exists. We find that $\text{Aut}(A)=1$ if and only if there is no faithful associative and commutative representation for $A$. Moreover, there is a faithful associative and commutative representation for $A$ if and only if $\mathcal{H}\not\cong K$ and $\text{char} (K)\neq 2$, or $\mathcal{H}\not\cong K(ε)$ (the dual numbers algebra) and $\mathcal{H}\not\cong K$ in case of $\text{char} (K)= 2$. Furthermore, if $A$ is perfect and has a faithful tight $p$-algebra, then this $p$-algebra is isomorphic to $\mathcal{H}$ (as algebras). Finally, we derive implications for arbitrary finite-dimensional evolution algebras. △ Less

Submitted 26 July, 2024; v1 submitted 22 July, 2024; originally announced July 2024.

MSC Class: 17A60; 17A36; 17D92; 16T05

An interdisciplinary data-science approach to managing natural hazards risk

Authors: Cristobal Pais, Minho Kim, John Radke, Marta C. Gonzalez

Abstract: Natural hazard risk management is a demanding interdisciplinary task. It requires domain knowledge, integration of robust computational methods, and effective use of complex datasets. However, existing solutions tend to focus on specific aspects, data, or methods, limiting their impact and applicability. Here, we present a general data-driven framework to support risk assessment and policy making… ▽ More Natural hazard risk management is a demanding interdisciplinary task. It requires domain knowledge, integration of robust computational methods, and effective use of complex datasets. However, existing solutions tend to focus on specific aspects, data, or methods, limiting their impact and applicability. Here, we present a general data-driven framework to support risk assessment and policy making illustrating its usage in the context of fire hazard by integrating three unique datasets of fire behavior, street network, and census data for the whole state of California. We show that integrating spatial complexity by including a fire behavior layer and a socio-demographic layer changes the universal function observed in previous optimization frameworks that only work with the accessibility of facilities. These results open avenues for the future development of flexible interdisciplinary frameworks in natural hazards management using complex large-scale data. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 17 pages, 6 figures

Ternary mappings of some evolution algebras

Authors: Candido Martin Gonzalez, Jacques Rabie, Juana Sanchez-Ortega

Abstract: The group scheme of ternary automorphisms of a perfect finite dimensional evolution algebra A is computed. The main advantage of using group schemes is that it allows to apply the Lie functor to determine the Lie algebra of ternary derivations of A. Using the generalised inverse of a matrix, we provide a precise classification of all ternary derivations of an arbitrary finite-dimensional evolution… ▽ More The group scheme of ternary automorphisms of a perfect finite dimensional evolution algebra A is computed. The main advantage of using group schemes is that it allows to apply the Lie functor to determine the Lie algebra of ternary derivations of A. Using the generalised inverse of a matrix, we provide a precise classification of all ternary derivations of an arbitrary finite-dimensional evolution algebra A. The ternary derivations of all 2-dimensional evolution algebras are also computed. △ Less

Submitted 16 May, 2024; originally announced May 2024.

MSC Class: Primary 17A36; 17D92. Secondary 17D99

Centroid and algebraic properties of evolution algebras through graphs

Authors: Yolanda Cabrera Casado, Maria Inez Cardoso Gonçalves, Daniel Gonçalves, Dolores Martín Barquero, Cándido Martín González, Iván Ruiz Campos

Abstract: The leitmotiv of this paper is linking algebraic properties of an evolution algebra with combinatorial properties of the (possibly several) graphs that one can associate to the algebra. We link nondegeneracy, zero annihilator, absorption property, von Neumann regularity, and primeness with suitable properties in the associated graph. In the presence of semiprimeness, the property of primeness is e… ▽ More The leitmotiv of this paper is linking algebraic properties of an evolution algebra with combinatorial properties of the (possibly several) graphs that one can associate to the algebra. We link nondegeneracy, zero annihilator, absorption property, von Neumann regularity, and primeness with suitable properties in the associated graph. In the presence of semiprimeness, the property of primeness is equivalent to any associated graph being downward directed. We also provide a description of the prime ideals in an evolution algebra and prove that certain algebraic properties, such as semiprimeness and perfection, can not be characterized in combinatorial terms. We describe the centroid of evolution algebras as constant functions along the connected components of its associated graph. The dimension of the centroid of a zero annihilator algebra $A$ agrees with the cardinal of the connected components of any possible graph associated to $A$. This is the combinatorial expression of an algebraic uniqueness property in the decomposition of $A$ as indecomposable algebras with $1$-dimensional centroid. △ Less

Submitted 16 April, 2024; v1 submitted 12 April, 2024; originally announced April 2024.

Proper splittings of Hilbert space operators

Authors: Guillermina Fongi, María Celeste Gonzalez

Abstract: Proper splittings of operators are commonly used to study the convergence of iterative processes. In order to approximate solutions of operator equations, in this article we deal with proper splittings of closed range bounded linear operators defined on Hilbert spaces. We study the convergence of general proper splittings of operators in the infinite dimensional context. We also propose some parti… ▽ More Proper splittings of operators are commonly used to study the convergence of iterative processes. In order to approximate solutions of operator equations, in this article we deal with proper splittings of closed range bounded linear operators defined on Hilbert spaces. We study the convergence of general proper splittings of operators in the infinite dimensional context. We also propose some particular splittings for special classes of operators and we study different criteria of convergence and comparison for them. In some cases, these criteria are given under hypothesis of operator order relations. In addition, we relate these results with the concept of the symmetric approximation of a frame in a Hilbert space. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 19 pages

MSC Class: 47A05; 47B02; 06A06

The algebraic entropies of the Leavitt path algebra and the graph algebras agree

Authors: Wolfgang Bock, Cristóbal Gil Canto, Dolores Martín Barquero, Cándido Martín González, Iván Ruiz Campos, Alfilgen Sebandal

Abstract: In this note we prove that the algebras $L_K(E)$ and $KE$ have the same entropy. Entropy is always referred to the standard filtrations in the corresponding kind of algebra. The main argument leans on (1) the holomorphic functional calculus; (2) the relation of entropy with suitable norm of the adjacency matrix; and (3) the Cohn path algebras which yield suitable bounds for the algebraic entropies… ▽ More In this note we prove that the algebras $L_K(E)$ and $KE$ have the same entropy. Entropy is always referred to the standard filtrations in the corresponding kind of algebra. The main argument leans on (1) the holomorphic functional calculus; (2) the relation of entropy with suitable norm of the adjacency matrix; and (3) the Cohn path algebras which yield suitable bounds for the algebraic entropies. △ Less

Submitted 5 March, 2024; v1 submitted 15 January, 2024; originally announced February 2024.

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

Modelling physical activity profiles in COPD patients: a fully functional approach to variable domain functional regression models

Authors: Pavel Hernandez-Amaro, Maria Durban, M. Carmen Aguilera-Morillo, Cristobal Esteban Gonzalez, Inmaculada Arostegui

Abstract: Physical activity plays a significant role in the well-being of individuals with Chronic obstructive Pulmonary Disease (COPD). Specifically, it has been directly associated with changes in hospitalization rates for these patients. However, previous investigations have primarily been conducted in a cross-sectional or longitudinal manner and have not considered a continuous perspective. Using the te… ▽ More Physical activity plays a significant role in the well-being of individuals with Chronic obstructive Pulmonary Disease (COPD). Specifically, it has been directly associated with changes in hospitalization rates for these patients. However, previous investigations have primarily been conducted in a cross-sectional or longitudinal manner and have not considered a continuous perspective. Using the telEPOC program we use telemonitoring data to analyze the impact of physical activity adopting a functional data approach. However, Traditional functional data methods, including functional regression models, typically assume a consistent data domain. However, the data in the telEPOC program exhibits variable domains, presenting a challenge since the majority of functional data methods, are based on the fact that data are observed in the same domain. To address this challenge, we introduce a novel fully functional methodology tailored to variable domain functional data, eliminating the need for data alignment, which can be computationally taxing. Although models designed for variable domain data are relatively scarce and may have inherent limitations in their estimation methods, our approach circumvents these issues. We substantiate the effectiveness of our methodology through a simulation study, comparing our results with those obtained using established methodologies. Finally, we apply our methodology to analyze the impact of physical activity in COPD patients using the telEPOC program's data. Software for our method is available in the form of R code on request at \url{https://github.com/Pavel-Hernadez-Amaro/V.D.F.R.M-new-estimation-approach.git}. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Symmetric-conjugate splitting methods for evolution equations of parabolic type

Authors: Sergio Blanes, Fernando Casas, Cesáreo González, Mechthild Thalhammer

Abstract: The present work provides a comprehensive study of symmetric-conjugate operator splitting methods in the context of linear parabolic problems and demonstrates their additional benefits compared to symmetric splitting methods. Relevant applications include nonreversible systems and ground state computations for linear Schrödinger equations based on the imaginary time propagation. Numerical examples… ▽ More The present work provides a comprehensive study of symmetric-conjugate operator splitting methods in the context of linear parabolic problems and demonstrates their additional benefits compared to symmetric splitting methods. Relevant applications include nonreversible systems and ground state computations for linear Schrödinger equations based on the imaginary time propagation. Numerical examples confirm the favourable error behaviour of higher-order symmetric-conjugate splitting methods and illustrate the usefulness of a time stepsize control, where the local error estimation relies on the computation of the imaginary parts and thus requires negligible costs. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: Paper to be published in Journal of Computational Dynamics

MSC Class: 65J10; 65L04; 65M12

Symmetric functions in noncommuting variables in superspace

Authors: Diego Arcis, Camilo González, Sebastián Márquez

Abstract: In 2004, Rosas and Sagan developed the theory of symmetric functions in noncommuting variables, achieving results analogous to classical symmetric functions. On the other hand, in 2004, Desrosiers, Lapointe and Mathieu introduced the theory of symmetric functions in superspace, which involve both commuting and anticommuting variables, extending the classic theory. Here, we introduce symmetric func… ▽ More In 2004, Rosas and Sagan developed the theory of symmetric functions in noncommuting variables, achieving results analogous to classical symmetric functions. On the other hand, in 2004, Desrosiers, Lapointe and Mathieu introduced the theory of symmetric functions in superspace, which involve both commuting and anticommuting variables, extending the classic theory. Here, we introduce symmetric functions in noncommuting variables in superspace. We define the classical symmetric functions in noncommuting variables to superspace: monomials, power sums, elementaries and complete homogeneous, which generalize both the ones studied by Rosas and Sagan and the ones studied by Desrosiers, Lapointe and Mathieu. We also define Schur--type functions in noncommuting variables in superspace. △ Less

Submitted 22 November, 2024; v1 submitted 1 December, 2023; originally announced December 2023.

Comments: 9 figures

MSC Class: 05E05

On some structural properties of evolution algebras

Authors: Yolanda Cabrera Casado, Dolores Martín Barquero, Cándido Martín González, Alicia Tocino

Abstract: We consider the intersection $\mathfrak{M}(A)$ of all maximal ideals of an evolution algebra $A$ and study the structure of the quotient $A/\M(A)$. In a previous work, maximal ideals have been related to hereditary subsets of a graph associated to the given algebra. We investigate the superfluous members both in the family of maximal ideals and also in the set of hereditary subsets of the associat… ▽ More We consider the intersection $\mathfrak{M}(A)$ of all maximal ideals of an evolution algebra $A$ and study the structure of the quotient $A/\M(A)$. In a previous work, maximal ideals have been related to hereditary subsets of a graph associated to the given algebra. We investigate the superfluous members both in the family of maximal ideals and also in the set of hereditary subsets of the associated graphs. By using subdirect products we state a structure theorem for arbitrary evolution algebras (arbitrary dimensions and ground field). Specializing in the perfect finite-dimensional case, we obtain a direct sum decomposition instead of a subdirect product and also a uniqueness property. We also study some examples in which Grassmanians appear in a natural way and others that exhibit a richer structure with a nonzero semisimple part that is non-associative. △ Less

Submitted 22 December, 2023; v1 submitted 31 October, 2023; originally announced November 2023.

Comments: We rewritten and added some relevant parts of the paper. We also changed the tittle according to the new concepts and results. The system doesn't allow us to replace it. We are going to upload a new version that is called "Reductive radical of evolution algebras"

MSC Class: 17A60; 17D92; 16T05; 05C25

Algebraic characterisations of path algebras

Authors: Dolores Martín Barquero, Cándido Martín González, Iván Ruiz Campos

Abstract: The theory of path algebras is usually circunscripted to the study of representations, usually linked to finite graphs. In our work, we focus on studying the structure of path algebras over a field associated to arbitrary graphs. We characterise perfection (simplicity, primitivity, primeness and semiprimeness) and finitness conditions (artinianity, semiartinianity and noetherianity) in terms of ge… ▽ More The theory of path algebras is usually circunscripted to the study of representations, usually linked to finite graphs. In our work, we focus on studying the structure of path algebras over a field associated to arbitrary graphs. We characterise perfection (simplicity, primitivity, primeness and semiprimeness) and finitness conditions (artinianity, semiartinianity and noetherianity) in terms of geometric conditions in the associated graph. In order to do so, we also compute the socle and the Jacobson radical of a path algebra. In addition, we study the centroid of any path algebra and the extended centroid and central closure of the path algebra of a cycle. We obtain two structure theorems, one for semiprime path algebras, and another for noetherian ones. Semiprime path algebras are direct sum of simple, prime and primitive algebras, and noetherian path algebras modulo its radical will be isomorphic to upper triangular formal matrix algebras, they can also be seen as direct sums of path algebras of cycles and copies of the ground field itself. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 27 pages and 2 figures

MSC Class: 16P20; 16P40; 16N60

Generalization of splitting methods based on modified potentials to nonlinear evolution equations of parabolic and Schrödinger type

Authors: Sergio Blanes, Fernando Casas, Cesáreo González, Mechthild Thalhammer

Abstract: The present work is concerned with the extension of modified potential operator splitting methods to specific classes of nonlinear evolution equations. The considered partial differential equations of Schr{ö}dinger and parabolic type comprise the Laplacian, a potential acting as multiplication operator, and a cubic nonlinearity. Moreover, an invariance principle is deduced that has a significant i… ▽ More The present work is concerned with the extension of modified potential operator splitting methods to specific classes of nonlinear evolution equations. The considered partial differential equations of Schr{ö}dinger and parabolic type comprise the Laplacian, a potential acting as multiplication operator, and a cubic nonlinearity. Moreover, an invariance principle is deduced that has a significant impact on the efficient realisation of the resulting modified operator splitting methods for the Schr{ö}dinger case.} Numerical illustrations for the time-dependent Gross--Pitaevskii equation in the physically most relevant case of three space dimensions and for its parabolic counterpart related to ground state and excited state computations confirm the benefits of the proposed fourth-order modified operator splitting method in comparison with standard splitting methods. The presented results are novel and of particular interest from both, a theoretical perspective to inspire future investigations of modified operator splitting methods for other classes of nonlinear evolution equations and a practical perspective to advance the reliable and efficient simulation of Gross--Pitaevskii systems in real and imaginary time. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: 30 pages, 6 figures

Neural Networks for Fast Optimisation in Model Predictive Control: A Review

Authors: Camilo Gonzalez, Houshyar Asadi, Lars Kooijman, Chee Peng Lim

Abstract: Model Predictive Control (MPC) is an optimal control algorithm with strong stability and robustness guarantees. Despite its popularity in robotics and industrial applications, the main challenge in deploying MPC is its high computation cost, stemming from the need to solve an optimisation problem at each control interval. There are several methods to reduce this cost. This survey focusses on appro… ▽ More Model Predictive Control (MPC) is an optimal control algorithm with strong stability and robustness guarantees. Despite its popularity in robotics and industrial applications, the main challenge in deploying MPC is its high computation cost, stemming from the need to solve an optimisation problem at each control interval. There are several methods to reduce this cost. This survey focusses on approaches where a neural network is used to approximate an existing controller. Herein, relevant and unique neural approximation methods for linear, nonlinear, and robust MPC are presented and compared. Comparisons are based on the theoretical guarantees that are preserved, the factor by which the original controller is sped up, and the size of problem that a framework is applicable to. Research contributions include: a taxonomy that organises existing knowledge, a summary of literary gaps, discussion on promising research directions, and simple guidelines for choosing an approximation framework. The main conclusions are that (1) new benchmarking tools are needed to help prove the generalisability and scalability of approximation frameworks, (2) future breakthroughs most likely lie in the development of ties between control and learning, and (3) the potential and applicability of recently developed neural architectures and tools remains unexplored in this field. △ Less

Submitted 30 December, 2024; v1 submitted 5 September, 2023; originally announced September 2023.

Comments: 60 pages, 6 figures 3 tables. Submitted to Annual Reviews in Control

MSC Class: 93-08

Connecting ideals in evolution algebras with hereditary subsets of its associated graph

Authors: Yolanda Cabrera Casado, Dolores Martín Barquero, Cándido Martín González, Alicia Tocino

Abstract: In this article, we introduce a relation including ideals of an evolution algebra and hereditary subsets of vertices of its associated graph and establish some properties among them. This relation allows us to determine maximal ideals and ideals having the absorption property of an evolution algebra in terms of its associated graph. We also define a couple of order-preserving maps, one from the se… ▽ More In this article, we introduce a relation including ideals of an evolution algebra and hereditary subsets of vertices of its associated graph and establish some properties among them. This relation allows us to determine maximal ideals and ideals having the absorption property of an evolution algebra in terms of its associated graph. We also define a couple of order-preserving maps, one from the sets of ideals of an evolution algebra to that of hereditary subsets of the corresponding graph, and the other in the reverse direction. Conveniently restricted to the set of absorption ideals and to the set of hereditary saturated subsets, this is a monotone Galois connection. According to the graph, we characterize arbitrary dimensional finitely-generated (as algebras) evolution algebras under certain restrictions of its graph. Furthermore, the simplicity of finitely-generated perfect evolution algebras is described on the basis of the simplicity of the graph. △ Less

Submitted 29 March, 2023; v1 submitted 8 March, 2023; originally announced March 2023.

MSC Class: 17A60; 17D92; 05C25

Conservative algebras of $2$-dimensional algebras, V

Authors: Ivan Kaygorodov, Dolores Martín Barquero, Cándido Martín González

Abstract: The notion of conservative algebras appeared in a paper by Kantor in 1972. Later, he defined the conservative algebra $W(n)$ of all algebras (i.e. bilinear maps) on the $n$-dimensional vector space. If $n>1$, then the algebra $W(n)$ does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). It looks like $W(n)$ in the theory of conservative algebra… ▽ More The notion of conservative algebras appeared in a paper by Kantor in 1972. Later, he defined the conservative algebra $W(n)$ of all algebras (i.e. bilinear maps) on the $n$-dimensional vector space. If $n>1$, then the algebra $W(n)$ does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). It looks like $W(n)$ in the theory of conservative algebras plays a similar role to the role of $\mathfrak{gl}_n$ in the theory of Lie algebras. Namely, an arbitrary conservative algebra can be obtained from a universal algebra $W(n)$ for some $n \in \mathbb{N}.$ The present paper is a part of a series of papers, which dedicated to the study of the algebra $W(2)$ and its principal subalgebras. △ Less

Submitted 1 January, 2023; originally announced January 2023.

Algebraic entropy and a complete classification of path algebras over finite graphs by growth

Authors: Wolfgang Bock, Cristóbal Gil Canto, Dolores Martín Barquero, Cándido Martín González, Iván Ruiz Campos, Alfilgen Sebandal

Abstract: The Gelfand-Kirillov dimension is a well established quantity to classify the growth of infinite dimensional algebras. In this article we introduce the algebraic entropy for path algebras. For the path algebras, Leavitt path algebras and the path algebra of the extended (double) graph, we compare the Gelfand-Kirillov dimension and the entropy. We give a complete classification of path algebras ove… ▽ More The Gelfand-Kirillov dimension is a well established quantity to classify the growth of infinite dimensional algebras. In this article we introduce the algebraic entropy for path algebras. For the path algebras, Leavitt path algebras and the path algebra of the extended (double) graph, we compare the Gelfand-Kirillov dimension and the entropy. We give a complete classification of path algebras over finite graphs by dimension, Gelfand-Kirillov dimension and algebraic entropy. We show indeed how these three quantities are dependent on cycles inside the graph. Moreover we show that the algebraic entropy is conserved under Morita equivalence. In addition we give several examples of the entropy in path algebras and Leavitt path algebras. △ Less

Submitted 21 December, 2022; originally announced December 2022.

Comments: 25 pages

MSC Class: 16S88; 16P90

Conservative algebras of $2$-dimensional algebras, IV

Authors: Amir Fernández Ouaridi, Ivan Kaygorodov, Cándido Martín González

Abstract: The notion of conservative algebras appeared in a paper by Kantor in 1972. Later, he defined the conservative algebra $W(n)$ of all algebras (i.e. bilinear maps) on the $n$-dimensional vector space. If $n>1$, then the algebra $W(n)$ does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). It looks like $W(n)$ in the theory of conservative algebra… ▽ More The notion of conservative algebras appeared in a paper by Kantor in 1972. Later, he defined the conservative algebra $W(n)$ of all algebras (i.e. bilinear maps) on the $n$-dimensional vector space. If $n>1$, then the algebra $W(n)$ does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). It looks like $W(n)$ in the theory of conservative algebras plays a similar role to the role of $\mathfrak{gl}_n$ in the theory of Lie algebras. Namely, an arbitrary conservative algebra can be obtained from a universal algebra $W(n)$ for some $n \in \mathbb{N}.$ The present paper is a part of a series of papers, dedicated to the study of the algebra $W(2)$ and its principal subalgebras. △ Less

Submitted 1 December, 2022; originally announced December 2022.

Moore-Penrose inverse and partial orders on Hilbert space operators

Authors: Guillermina Fongi, María Celeste Gonzalez

Abstract: In this article we explore several aspects concerning to the Moore-Penrose inverse of a bounded linear operator. On the one hand, we study monotonicity properties of the Moore-Penrose inverse with respect to the Löwner, star, minus, sharp and diamond orders. On the other hand, we analyze the validity of the reverse order law, $B^\dagger A^\dagger=(AB)^\dagger$, under hypothesis of operator ranges… ▽ More In this article we explore several aspects concerning to the Moore-Penrose inverse of a bounded linear operator. On the one hand, we study monotonicity properties of the Moore-Penrose inverse with respect to the Löwner, star, minus, sharp and diamond orders. On the other hand, we analyze the validity of the reverse order law, $B^\dagger A^\dagger=(AB)^\dagger$, under hypothesis of operator ranges and also under hypothesis of order operators. Finally, we study the operator $B^\dagger A^\dagger$ as different weighted inverses of $AB$. △ Less

Submitted 9 November, 2022; originally announced November 2022.

Comments: 15 pages

MSC Class: 15A09; 06A06; 47A05

Central extensions of axial algebras

Authors: Ivan Kaygorodov, Cándido Martín González, Pilar Páez-Guillán

Abstract: In this article, we develop a further adaptation of the method of Skjelbred-Sund to construct central extensions of axial algebras. We use our method to prove that all axial central extensions (with respect to a maximal set of axes) of complex simple finite-dimensional Jordan algebras are split and that all non-split axial central extensions of dimension $n\leq 4$ over an algebraically closed fiel… ▽ More In this article, we develop a further adaptation of the method of Skjelbred-Sund to construct central extensions of axial algebras. We use our method to prove that all axial central extensions (with respect to a maximal set of axes) of complex simple finite-dimensional Jordan algebras are split and that all non-split axial central extensions of dimension $n\leq 4$ over an algebraically closed field of characteristic not $2$ are Jordan. Also, we give a classification of $2$-dimensional axial algebras and describe some important properties of these algebras. △ Less

Submitted 1 November, 2022; originally announced November 2022.

Degenerations of Poisson algebras

Authors: Hani Abdelwahab, Amir Fernández Ouaridi, Cándido Martín González

Abstract: We construct a method to obtain the algebraic classification of Poisson algebras defined on a commutative associative algebra, and we apply it to obtain the classification of the $3$-dimensional Poisson algebras. In addition, we study the geometric classification, the graph of degenerations and the closures of the orbits of the variety of $3$-dimensional Poisson algebras. Finally, we also study th… ▽ More We construct a method to obtain the algebraic classification of Poisson algebras defined on a commutative associative algebra, and we apply it to obtain the classification of the $3$-dimensional Poisson algebras. In addition, we study the geometric classification, the graph of degenerations and the closures of the orbits of the variety of $3$-dimensional Poisson algebras. Finally, we also study the algebraic classification of the Poisson algebras defined on a commutative associative null-filiform or filiform algebra and, to enrich this classification, we study the degenerations between these particular Poisson algebras. △ Less

Submitted 19 September, 2022; originally announced September 2022.

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

MSC Class: 17A30; 17A40; 17B30; 17D99; 14D06; 14L30

On simple evolution algebras of dimension two and three. Constructing simple and semisimple evolution algebras

Authors: Yolanda Cabrera Casado, Dolores Martín Barquero, Cándido Martín González, Alicia Tocino

Abstract: This work classifies three-dimensional simple evolution algebras over arbitrary fields. For this purpose, we use tools such as the associated directed graph, the moduli set, inductive limit group, Zariski topology and the dimension of the diagonal subspace. Explicitly, in the three-dimensional case, we construct some models $_i\mathbf{III}_{λ_1,\ldots,λ_n}^{p,q}$ of such algebras with… ▽ More This work classifies three-dimensional simple evolution algebras over arbitrary fields. For this purpose, we use tools such as the associated directed graph, the moduli set, inductive limit group, Zariski topology and the dimension of the diagonal subspace. Explicitly, in the three-dimensional case, we construct some models $_i\mathbf{III}_{λ_1,\ldots,λ_n}^{p,q}$ of such algebras with $1\le i\le 4$, $λ_i\in\mathbb{K}^\times$, $p,q\in\mathbb{N}$, such that any algebra is isomorphic to one (and only one) of the given in the models and we further investigate the isomorphic question within each one. Moreover, we show how to construct simple evolution algebras of higher-order from known simple evolution algebras of smaller size. △ Less

Submitted 28 June, 2022; originally announced June 2022.

MSC Class: 17A60; 17D92; 05C25

On the Hopf algebra of noncommutative symmetric functions in superspace

Authors: Diego Arcis, Camilo González, Sebastián Márquez

Abstract: We study in detail the Hopf algebra of noncommutative symmetric functions in superspace sNSym, introduced by Fishel, Lapointe and Pinto. We introduce a family of primitive elements of sNSym and extend the noncommutative elementary and power sum functions to superspace. Then, we give formulas relating these families of functions. Also, we introduce noncommutative Ribbon Schur functions in superspac… ▽ More We study in detail the Hopf algebra of noncommutative symmetric functions in superspace sNSym, introduced by Fishel, Lapointe and Pinto. We introduce a family of primitive elements of sNSym and extend the noncommutative elementary and power sum functions to superspace. Then, we give formulas relating these families of functions. Also, we introduce noncommutative Ribbon Schur functions in superspace and provide a explicit formula for their product. We show that the dual basis of these function is given by a family of the so--called fundamental quasisymmetric functions in superspace. This allows us to obtain a explicit formula for the coproduct of fundamental quasisymmetric functions in superspace. Additionally, by projecting the noncommutative Ribbon Schur functions in superspace, we define a new basis for the algebra of symmetric functions in superspace. On the other hand, we also show that sNSym can be realised as a Hopf algebra of trees. △ Less

Submitted 24 May, 2022; originally announced May 2022.

Comments: 33 pages

MSC Class: 05E05; 16T05; 16T30

On isomorphism conditions for algebra functors with applications to Leavitt path algebras

Authors: Cristóbal Gil Canto, Dolores Martín Barquero, Cándido Martín González, Iván Ruiz Campos

Abstract: We introduce certain functors from the category of commutative rings (and related categories) to that of $\mathbb{Z}$-algebras (not necessarily associative or commutative). One of the motivating examples is the Leavitt path algebra functor $R\mapsto L_R(E)$ for a given graph $E$. Our goal is to find "descending" isomorphism results of the type: if $\mathfrak{F},\mathcal{G}$ are algebra functors an… ▽ More We introduce certain functors from the category of commutative rings (and related categories) to that of $\mathbb{Z}$-algebras (not necessarily associative or commutative). One of the motivating examples is the Leavitt path algebra functor $R\mapsto L_R(E)$ for a given graph $E$. Our goal is to find "descending" isomorphism results of the type: if $\mathfrak{F},\mathcal{G}$ are algebra functors and $K\subset K'$ a field extension, under what conditions an isomorphism $\mathfrak{F}(K')\cong \mathcal{G}(K')$ of $K'$-algebras implies the existence of an isomorphism $\mathfrak{F}(K)\cong\mathcal{G}(K)$ of $K$-algebras? We find some positive answers to that problem for the so-called "extension invariant functors" which include the functors associated to Leavitt path algebras, Steinberg algebras, path algebras, group algebras, evolution algebras and others. For our purposes, we employ an extension of the Hilbert's Nullstellensatz Theorem for polynomials in possibly infinitely many variables, as one of our main tools. We also remark that for extension invariant functors $\mathfrak{F},\mathcal{G}$, an isomorphism $\mathfrak{F}(H)\cong\mathcal{G}(H)$, for some Hopf $K$-algebra $H$, implies the existence of an isomorphism $\mathfrak{F}(S)\cong\mathcal{G}(S)$ for any commutative and unital $K$-algebra $S$. △ Less

Submitted 18 April, 2022; originally announced April 2022.

Comments: 16 pages

MSC Class: 16S88; 16S99; 18A05; 18A22

Two dimensional perfect evolution algebras over domains

Authors: Yolanda Cabrera Casado, Dolores Martín Barquero, Cándido Martín González

Abstract: We will study evolution algebras $A$ which are free modules of dimension $2$ over domains. Furthermore, we will assume that these algebras are perfect, that is $A^2=A$. We start by making some general considerations about algebras over domains: they are sandwiched between a certain essential $D$-submodule and its scalar extension over the field of fractions of the domain. We introduce the notion o… ▽ More We will study evolution algebras $A$ which are free modules of dimension $2$ over domains. Furthermore, we will assume that these algebras are perfect, that is $A^2=A$. We start by making some general considerations about algebras over domains: they are sandwiched between a certain essential $D$-submodule and its scalar extension over the field of fractions of the domain. We introduce the notion of quasiperfect algebras and modify slightly the procedure to associate a graph to an evolution algebra over a field given in \cite{ElduqueGraphs}. Essentially, we introduce color in the connecting arrows, depending on a suitable criterion related to the squares of the natural basis elements. Then we classify the algebras under scope parametrizing the isomorphic classes by convenient moduli. △ Less

Submitted 18 April, 2022; originally announced April 2022.

MSC Class: 17A60; 17D92; 13G05

On $d$-stable locally checkable problems parameterized by mim-width

Authors: Carolina Lucía Gonzalez, Felix Mann

Abstract: In this paper we continue the study of locally checkable problems under the framework introduced by Bonomo-Braberman and Gonzalez in 2020, by focusing on graphs of bounded mim-width. We study which restrictions on a locally checkable problem are necessary in order to be able to solve it efficiently on graphs of bounded mim-width. To this end, we introduce the concept of $d$-stability of a check fu… ▽ More In this paper we continue the study of locally checkable problems under the framework introduced by Bonomo-Braberman and Gonzalez in 2020, by focusing on graphs of bounded mim-width. We study which restrictions on a locally checkable problem are necessary in order to be able to solve it efficiently on graphs of bounded mim-width. To this end, we introduce the concept of $d$-stability of a check function. The related locally checkable problems contain large classes of problems, among which we can mention, for example, LCVP problems. We give an algorithm showing that these problems are XP when parameterized by the mim-width of a given binary decomposition tree of the input graph, that is, that they can be solved in polynomial time given a binary decomposition tree of bounded mim-width. We explore the relation between $d$-stable locally checkable problems and the recently introduced DN logic (Bergougnoux, Dreier and Jaffke, 2022), and show that both frameworks model the same family of problems. We include a list of concrete examples of $d$-stable locally checkable problems whose complexity on graphs of bounded mim-width was open so far. △ Less

Submitted 13 October, 2023; v1 submitted 29 March, 2022; originally announced March 2022.

MSC Class: 05C69; 05C85; 68Q25; 68R10

Locally checkable problems parameterized by clique-width

Authors: Narmina Baghirova, Carolina Lucía Gonzalez, Bernard Ries, David Schindl

Abstract: We continue the study initiated by Bonomo-Braberman and Gonzalez in 2020 on $r$-locally checkable problems. We propose a dynamic programming algorithm that takes as input a graph with an associated clique-width expression and solves a $1$-locally checkable problem under certain restrictions. We show that it runs in polynomial time in graphs of bounded clique-width, when the number of colors of the… ▽ More We continue the study initiated by Bonomo-Braberman and Gonzalez in 2020 on $r$-locally checkable problems. We propose a dynamic programming algorithm that takes as input a graph with an associated clique-width expression and solves a $1$-locally checkable problem under certain restrictions. We show that it runs in polynomial time in graphs of bounded clique-width, when the number of colors of the locally checkable problem is fixed. Furthermore, we present a first extension of our framework to global properties by taking into account the sizes of the color classes, and consequently enlarge the set of problems solvable in polynomial time with our approach in graphs of bounded clique-width. As examples, we apply this setting to show that, when parameterized by clique-width, the $[k]-$Roman domination problem is FPT, and the $k$-community problem, Max PDS and other variants are XP. △ Less

Submitted 28 June, 2022; v1 submitted 6 March, 2022; originally announced March 2022.

MSC Class: 05C69; 05C85; 68Q25; 68R10

Tensor product of evolution algebras

Authors: Yolanda Cabrera Casado, Dolores Martín Barquero, Cándido Martín González, Alicia Tocino

Abstract: The starting point of this work is that the class of evolution algebras over a fixed field is closed under tensor product. This arises questions about the inheritance of properties from the tensor product to the factors and conversely. For instance nondegeneracy, irreducibility, perfectness and simplicity are investigated. The four-dimensional case is illustrative and useful to contrast conjecture… ▽ More The starting point of this work is that the class of evolution algebras over a fixed field is closed under tensor product. This arises questions about the inheritance of properties from the tensor product to the factors and conversely. For instance nondegeneracy, irreducibility, perfectness and simplicity are investigated. The four-dimensional case is illustrative and useful to contrast conjectures so we achieve a complete classification of four-dimensional perfect evolution algebras arising as tensor product of two-dimensional ones. We find that there are 4-dimensional evolution algebras which are the tensor product of two nonevolution algebras. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Comments: 18 pages, 2 tables

MSC Class: 17A60; 17D92; 15A72; 05C25

Simultaneous orthogonalization of inner products in infinite-dimensional vector spaces

Authors: Yolanda Cabrera Casado, Cristóbal Gil Canto, Dolores Martín Barquero, Cándido Martín González

Abstract: For an arbitrary field $\mathbb{K}$ and a family of inner products in a $\mathbb{K}$-vector space $V$ of arbitrary dimension, we study necessary and sufficient conditions in order to have an orthogonal basis relative to all the inner products. If the family contains a nondegenerate element plus a compatibility condition, then under mild hypotheses the simultaneous orthogonalization can be achieved… ▽ More For an arbitrary field $\mathbb{K}$ and a family of inner products in a $\mathbb{K}$-vector space $V$ of arbitrary dimension, we study necessary and sufficient conditions in order to have an orthogonal basis relative to all the inner products. If the family contains a nondegenerate element plus a compatibility condition, then under mild hypotheses the simultaneous orthogonalization can be achieved. So we investigate several constructions whose purpose is to add a nondegenerate element to a degenerate family and we study under what conditions the enlarged family is nondegenerate. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Comments: 23 pages

MSC Class: 15A63; 11E04

Evolution algebras with one-dimensional square

Authors: Chad Brache, Dolores Martín Barquero, Cándido Martín González, Juana Sánchez-Ortega

Abstract: Evolution algebras with one dimensional square are classified using the theory of inner product spaces. More precisely, for $A$ an evolution algebra with $\dim(A^2) = 1$ and $a$ a generator of $A^2$, the product of $A$ is given by $xy = \langle x,y\rangle a$. Three broad classes of algebras are obtained: (1) $a\in\hbox{Ann}(A)$; (2) $a\notin\text{Ann}(A)$ and $a$ is isotropic relative to… ▽ More Evolution algebras with one dimensional square are classified using the theory of inner product spaces. More precisely, for $A$ an evolution algebra with $\dim(A^2) = 1$ and $a$ a generator of $A^2$, the product of $A$ is given by $xy = \langle x,y\rangle a$. Three broad classes of algebras are obtained: (1) $a\in\hbox{Ann}(A)$; (2) $a\notin\text{Ann}(A)$ and $a$ is isotropic relative to $\langle\cdot, \cdot\rangle$; (3) $a\notin\text{Ann}(A)$ and $a$ is anisotropic relative to $\langle\cdot, \cdot\rangle$. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Proper splittings and reduced solutions of matrix equations

Authors: M. Laura Arias, M. Celeste Gonzalez

Abstract: In this article we apply proper splittings of matrices to develop an iterative process to approximate solutions of matrix equations of the form TX = W. Moreover, by using the partial order induced by positive semidefinite matrices, we obtain equivalent conditions to the convergence of this process. We also include some speed comparison results of the convergence of this method. In addition, for al… ▽ More In this article we apply proper splittings of matrices to develop an iterative process to approximate solutions of matrix equations of the form TX = W. Moreover, by using the partial order induced by positive semidefinite matrices, we obtain equivalent conditions to the convergence of this process. We also include some speed comparison results of the convergence of this method. In addition, for all matrix T we propose a proper splitting based on the polar decomposition of T. △ Less

Submitted 8 February, 2021; v1 submitted 4 January, 2021; originally announced January 2021.

MSC Class: 15A06; 65F10; 15B48

Simultaneous orthogonalization of inner products over arbitrary fields

Authors: Yolanda Cabrera Casado, Cristóbal Gil Canto, Dolores Martín Barquero, Cándido Martín González

Abstract: We give necessary and sufficient conditions for a family of inner products in a finite-dimensional vector space $V$ over an arbitrary field $\mathbb{K}$ to have an orthogonal basis relative to all the inner products. Some applications to evolution algebras are also considered. We give necessary and sufficient conditions for a family of inner products in a finite-dimensional vector space $V$ over an arbitrary field $\mathbb{K}$ to have an orthogonal basis relative to all the inner products. Some applications to evolution algebras are also considered. △ Less

Submitted 11 December, 2020; originally announced December 2020.

Comments: 15 pages

MSC Class: 11E04; 15A63; 17D92; 15A20

Chains in evolution algebras

Authors: Yolanda Cabrera Casado, Maria Inez Cardoso Gonçalves, Daniel Gonçalves, Dolores Martín Barquero, Cándido Martín González

Abstract: In this work we approach three-dimensional evolution algebras from certain constructions performed on two-dimensional algebras. More precisely, we provide four different constructions producing three-dimensional evolution algebras from two-dimensional algebras. Also we introduce two parameters, the annihilator stabilizing index and the socle stabilizing index, which are useful tools in the classif… ▽ More In this work we approach three-dimensional evolution algebras from certain constructions performed on two-dimensional algebras. More precisely, we provide four different constructions producing three-dimensional evolution algebras from two-dimensional algebras. Also we introduce two parameters, the annihilator stabilizing index and the socle stabilizing index, which are useful tools in the classification theory of these algebras. Finally, we use moduli sets as a convenient way to describe isomorphism classes of algebras. △ Less

Submitted 25 August, 2020; originally announced August 2020.

Thinness of product graphs

Authors: Flavia Bonomo-Braberman, Carolina L. Gonzalez, Fabiano S. Oliveira, Moysés S. Sampaio Jr., Jayme L. Szwarcfiter

Abstract: The thinness of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. In this paper we study the thinness and its variations of graph products. We show that the thinness behaves "well" in… ▽ More The thinness of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. In this paper we study the thinness and its variations of graph products. We show that the thinness behaves "well" in general for products, in the sense that for most of the graph products defined in the literature, the thinness of the product of two graphs is bounded by a function (typically product or sum) of their thinness, or of the thinness of one of them and the size of the other. We also show for some cases the non-existence of such a function. △ Less

Submitted 16 April, 2021; v1 submitted 30 June, 2020; originally announced June 2020.

Comments: 45 pages. arXiv admin note: text overlap with arXiv:1704.00379

MSC Class: 05C76 ACM Class: G.2.2

Journal ref: Discrete Applied Mathematics 312 (2022), 52-71

Invariants ideals in Leavitt Path algebras

Authors: Cristóbal Gil Canto, Dolores Martín Barquero, Cándido Martín González

Abstract: It is known that the ideals of a Leavitt path algebra $L_K(E)$ generated by $\Pl(E)$, by $\Pc(E)$ or by $\Pec(E)$ are invariant under isomorphism. Though the ideal generated by $\Pb(E)$ is not invariant we find its \lq\lq natural\rq\rq\ replacement (which is indeed invariant): the one generated by the vertices of $\Pbp$ (vertices with pure infinite bifurcations). We also give some procedures to co… ▽ More It is known that the ideals of a Leavitt path algebra $L_K(E)$ generated by $\Pl(E)$, by $\Pc(E)$ or by $\Pec(E)$ are invariant under isomorphism. Though the ideal generated by $\Pb(E)$ is not invariant we find its \lq\lq natural\rq\rq\ replacement (which is indeed invariant): the one generated by the vertices of $\Pbp$ (vertices with pure infinite bifurcations). We also give some procedures to construct invariant ideals from previous known invariant ideals. One of these procedures involves topology, so we introduce the $\tops$ topology and relate it to annihilators in the algebraic counterpart of the work. To be more explicit: if $H$ is a hereditary saturated subset of vertices providing an invariant ideal, its exterior $\ext(H)$ in the $\tops$ topology of $E^0$ generates a new invariant ideal. The other constructor of invariant ideals is more categorical in nature. Some hereditary sets can be seen as functors from graphs to sets (for instance $\Pl$, etc). Thus a second method emerges from the possibility of applying the induced functor to the quotient graph. The easiest example is the known socle chain $\soc^{(1)}(\ )\subset\soc^{(2)}(\ )\subset\cdots$ all of which are proved to be invariant. We generalize this idea to any hereditary and saturated invariant functor. Finally we investigate a kind of composition of hereditary and saturated functors which is associative. △ Less

Submitted 23 June, 2020; originally announced June 2020.

Comments: 23 pages

MSC Class: [2020] Primary 16S88; 16D25

A new approach on locally checkable problems

Authors: Flavia Bonomo-Braberman, Carolina Lucía Gonzalez

Abstract: By providing a new framework, we extend previous results on locally checkable problems in bounded treewidth graphs. As a consequence, we show how to solve, in polynomial time for bounded treewidth graphs, double Roman domination and Grundy domination, among other problems for which no such algorithm was previously known. Moreover, by proving that fixed powers of bounded degree and bounded treewidt… ▽ More By providing a new framework, we extend previous results on locally checkable problems in bounded treewidth graphs. As a consequence, we show how to solve, in polynomial time for bounded treewidth graphs, double Roman domination and Grundy domination, among other problems for which no such algorithm was previously known. Moreover, by proving that fixed powers of bounded degree and bounded treewidth graphs are also bounded degree and bounded treewidth graphs, we can enlarge the family of problems that can be solved in polynomial time for these graph classes, including distance coloring problems and distance domination problems (for bounded distances). △ Less

Submitted 29 December, 2020; v1 submitted 31 May, 2020; originally announced June 2020.

MSC Class: 05C15; 05C69; 05C85; 68Q25; 68R10

Journal ref: Discrete Applied Mathematics 314 (2022), 53-80

On the centroid of a Leavitt path algebra

Authors: Daniel Gonçalves, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina

Abstract: We describe the centroid of some Leavitt path algebras. More precisely, we show that for Leavitt path algebras over a field $K$ that are simple its centroid is isomorphic to $K$, and for prime Leavitt path algebras its centroid is isomorphic to $K$ except if the graph is a row-finite comet, in which case the centroid is isomorphic to $K[x,x^{-1}]$. We describe the centroid of some Leavitt path algebras. More precisely, we show that for Leavitt path algebras over a field $K$ that are simple its centroid is isomorphic to $K$, and for prime Leavitt path algebras its centroid is isomorphic to $K$ except if the graph is a row-finite comet, in which case the centroid is isomorphic to $K[x,x^{-1}]$. △ Less

Submitted 13 April, 2020; originally announced April 2020.

MSC Class: 16D70; 16W99; 16S99

Multi-Macdonald polynomials

Authors: Camilo González, Luc Lapointe

Abstract: We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials depending on special alphabets. With this factorization in hand, we establish their most basic properties, such as explicit formulas for their norm-squared, evaluation… ▽ More We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials depending on special alphabets. With this factorization in hand, we establish their most basic properties, such as explicit formulas for their norm-squared, evaluation and reproducing kernel. Moreover, we show that the $q,t$-Kostka coefficients associated to the multi-Macdonald polynomials are positive and correspond to $q,t$-analogs of the dimensions of the irreducible representations of $C_n \sim S_d$, the wreath product of the cyclic group $C_n$ with the symmetric group. △ Less

Submitted 20 September, 2019; originally announced September 2019.

Characterising circular-arc contact $B_0$-VPG graphs

Authors: Flavia Bonomo-Braberman, Esther Galby, Carolina Lucía Gonzalez

Abstract: A contact $B_0$-VPG graph is a graph for which there exists a collection of nontrivial pairwise interiorly disjoint horizontal and vertical segments in one-to-one correspondence with its vertex set such that two vertices are adjacent if and only if the corresponding segments touch. It was shown by Deniz et al. that Recognition is $\mathsf{NP}$-complete for contact $B_0$-VPG graphs. In this paper w… ▽ More A contact $B_0$-VPG graph is a graph for which there exists a collection of nontrivial pairwise interiorly disjoint horizontal and vertical segments in one-to-one correspondence with its vertex set such that two vertices are adjacent if and only if the corresponding segments touch. It was shown by Deniz et al. that Recognition is $\mathsf{NP}$-complete for contact $B_0$-VPG graphs. In this paper we present a minimal forbidden induced subgraph characterisation of contact $B_0$-VPG graphs within the class of circular-arc graphs and provide a polynomial-time algorithm for recognising these graphs. △ Less

Submitted 13 September, 2019; originally announced September 2019.

Journal ref: Discrete Applied Mathematics 283 (2020), 435-443

Ternary mappings of triangular algebras

Authors: Cándido Martín González, Dolores Martín Barquero, Juana Sánchez-Ortega, Morgan Vandeyar

Abstract: We take a categorical approach to describe ternary derivations and ternary automorphisms of triangular algebras. New classes of automorphisms and derivations of triangular algebras are also introduced and studied. We take a categorical approach to describe ternary derivations and ternary automorphisms of triangular algebras. New classes of automorphisms and derivations of triangular algebras are also introduced and studied. △ Less

Submitted 30 May, 2019; originally announced May 2019.

Type $\tilde{C}$ Temperley-Lieb algebra quotients and Catalan combinatorics

Authors: Sadek Al Harbat, Camilo González, David Plaza

Abstract: We study some algebraic and combinatorial features of two algebras that arise as quotients of Temperley-Lieb algebras of type $\tilde{C}$, namely, the two-boundary Temperley-Lieb algebra and the symplectic blob algebra. We provide a monomial basis for both algebras. The elements of these bases are parameterized by certain subsets of fully commutative elements. We enumerate these elements according… ▽ More We study some algebraic and combinatorial features of two algebras that arise as quotients of Temperley-Lieb algebras of type $\tilde{C}$, namely, the two-boundary Temperley-Lieb algebra and the symplectic blob algebra. We provide a monomial basis for both algebras. The elements of these bases are parameterized by certain subsets of fully commutative elements. We enumerate these elements according to their affine length. △ Less

Submitted 17 April, 2019; originally announced April 2019.

Comments: 34 pages, many figures

Integral means inequalities, convolution, and univalent functions

Authors: Daniel Girela, Cristóbal González

Abstract: We use the Baernstein star-function to investigate several questions about the integral means of the convolution of two analytic functions in the unit disc. The theory of univalent functions plays a basic role in our work. We use the Baernstein star-function to investigate several questions about the integral means of the convolution of two analytic functions in the unit disc. The theory of univalent functions plays a basic role in our work. △ Less

Submitted 5 February, 2019; originally announced February 2019.

Comments: To appear in Journal of Function Spaces

MSC Class: 30C55; 30H10

Journal ref: Journal of Function Spaces, Article ID 7817353, Volume 2019 (2019), 5 pages

The norm and the evaluation of the Macdonald polynomials in superspace

Authors: Camilo González, Luc Lapointe

Abstract: We demonstrate the validity of previously conjectured explicit expressions for the norm and the evaluation of the Macdonald polynomials in superspace. These expressions, which involve the arm-lengths and leg-lengths of the cells in certain Young diagrams, specialize to the well known formulas for the norm and the evaluation of the usual Macdonald polynomials. We demonstrate the validity of previously conjectured explicit expressions for the norm and the evaluation of the Macdonald polynomials in superspace. These expressions, which involve the arm-lengths and leg-lengths of the cells in certain Young diagrams, specialize to the well known formulas for the norm and the evaluation of the usual Macdonald polynomials. △ Less

Submitted 14 August, 2018; originally announced August 2018.

Squares and associative representations of two dimensional evolution algebras

Authors: Maria Inez Cardoso Gonçalves, Daniel Gonçalves, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina

Abstract: We associate an square to any two dimensional evolution algebra. This geometric object is uniquely determined, does not depend on the basis and describes the structure and the behaviour of the algebra. We determine the identities of degrees at most four, as well as derivations and automorphisms. We look at the group of automorphisms as an algebraic group, getting in this form a new algebraic invar… ▽ More We associate an square to any two dimensional evolution algebra. This geometric object is uniquely determined, does not depend on the basis and describes the structure and the behaviour of the algebra. We determine the identities of degrees at most four, as well as derivations and automorphisms. We look at the group of automorphisms as an algebraic group, getting in this form a new algebraic invariant. The study of associative representations of evolution algebras is also started and we get faithful representations for most two-dimensional evolution algebras. In some cases we prove that faithful commutative and associative representations do not exist, giving raise to the class of what could be termed as "exceptional" evolution algebras (in the sense of not admitting a monomorphism to an associative algebra with deformed product). △ Less

Submitted 6 July, 2018; originally announced July 2018.

MSC Class: 17D92; 17A60; 17A36

Classification of Leavitt path algebras with two vertices

Authors: Müge Kanuni, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina

Abstract: We classify row-finite Leavitt path algebras associated to graphs with no more than two vertices. For the discussion we use the following invariants: decomposability, the $K_0$ group, $\det(N'_E)$ (included in the Franks invariants), the type, as well as the socle, the ideal generated by the vertices in cycles with no exits and the ideal generated by vertices in extreme cycles. The starting point… ▽ More We classify row-finite Leavitt path algebras associated to graphs with no more than two vertices. For the discussion we use the following invariants: decomposability, the $K_0$ group, $\det(N'_E)$ (included in the Franks invariants), the type, as well as the socle, the ideal generated by the vertices in cycles with no exits and the ideal generated by vertices in extreme cycles. The starting point is a simple linear algebraic result that determines when a Leavitt path algebra is IBN. An interesting result that we have found is that the ideal generated by extreme cycles is invariant under any isomorphism (for Leavitt path algebras whose associated graph is finite). We also give a more specific proof of the fact that the shift move produces an isomorphism when applied to any row-finite graph, independently of the field we are considering. △ Less

Submitted 14 September, 2017; v1 submitted 10 August, 2017; originally announced August 2017.

MSC Class: 16D70; 16D25; 16E20; 16D30

Levi-flat hypersurfaces and their complement in complex surfaces

Authors: Carolina Canales Gonzalez

Abstract: In this work we study analytic Levi-flat hypersurfaces in complex algebraic surfaces. First, we show that if this foliation admits chaotic dynamics (i.e. if it does not admit a transverse invariant measure), then the connected components of the complement of the hypersurface are modifications of Stein domains. This allows us to extend the CR foliation to a singular algebraic foliation on the ambie… ▽ More In this work we study analytic Levi-flat hypersurfaces in complex algebraic surfaces. First, we show that if this foliation admits chaotic dynamics (i.e. if it does not admit a transverse invariant measure), then the connected components of the complement of the hypersurface are modifications of Stein domains. This allows us to extend the CR foliation to a singular algebraic foliation on the ambient complex surface. We apply this result to prove, by contradiction, that analytic Levi-flat hypersurfaces admitting a transverse affine structure in a complex algebraic surface have a transverse invariant measure. This leads us to conjecture that Levi-flat hypersurfaces in complex algebraic surfaces that are diffeomorphic to a hyperbolic torus bundle over the circle are fibrations by algebraic curves. △ Less

Submitted 7 November, 2017; v1 submitted 25 September, 2016; originally announced September 2016.

Comments: To appear in Annales de l'Institut Fourier