Pub Date : 2024-07-06DOI: 10.1016/j.laa.2024.06.028
In this paper, we study the representation of an infinite-dimensional Lie algebra related to the q-analog Virasoro-like Lie algebra. We give the necessary and sufficient conditions for the highest weight irreducible module of to be a Harish-Chandra module. We prove that the Verma -module is either irreducible or has the corresponding irreducible highest weight -module that is a Harish-Chandra module. We also give the maximal proper submodule of the Verma module and the e-character of the irreducible highest weight -module when the highest weight ϕ satisfies some natural conditions. Furthermore, we give the classification of the Harish-Chandra -modules with nontrivial central charge.
{"title":"Representations of the C-series related to the q-analog Virasoro-like Lie algebra","authors":"","doi":"10.1016/j.laa.2024.06.028","DOIUrl":"10.1016/j.laa.2024.06.028","url":null,"abstract":"<div><p>In this paper, we study the representation of an infinite-dimensional Lie algebra <span><math><mi>C</mi></math></span> related to the q-analog Virasoro-like Lie algebra. We give the necessary and sufficient conditions for the highest weight irreducible module <span><math><mi>V</mi><mo>(</mo><mi>ϕ</mi><mo>)</mo></math></span> of <span><math><mi>C</mi></math></span> to be a Harish-Chandra module. We prove that the Verma <span><math><mi>C</mi></math></span>-module <span><math><mover><mrow><mi>V</mi></mrow><mrow><mo>¯</mo></mrow></mover><mo>(</mo><mi>ϕ</mi><mo>)</mo></math></span> is either irreducible or has the corresponding irreducible highest weight <span><math><mi>C</mi></math></span>-module <span><math><mi>V</mi><mo>(</mo><mi>ϕ</mi><mo>)</mo></math></span> that is a Harish-Chandra module. We also give the maximal proper submodule of the Verma module <span><math><mover><mrow><mi>V</mi></mrow><mrow><mo>¯</mo></mrow></mover><mo>(</mo><mi>ϕ</mi><mo>)</mo></math></span> and the <em>e</em>-character of the irreducible highest weight <span><math><mi>C</mi></math></span>-module <span><math><mi>V</mi><mo>(</mo><mi>ϕ</mi><mo>)</mo></math></span> when the highest weight <em>ϕ</em> satisfies some natural conditions. Furthermore, we give the classification of the Harish-Chandra <span><math><mi>C</mi></math></span>-modules with nontrivial central charge.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"699 ","pages":"Pages 331-354"},"PeriodicalIF":1.0,"publicationDate":"2024-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141588541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-06DOI: 10.1016/j.laa.2024.07.001
Nicola Guglielmi, Stefano Sicilia
Spectral clustering is a well-known technique which identifies clusters in an undirected graph, with vertices and weight matrix , by exploiting its graph Laplacian . In particular, the clusters can be identified by the knowledge of the eigenvectors associated with the smallest non zero eigenvalues of , say (recall that ). Identifying is an essential task of a clustering algorithm, since if is close to the reliability of the method is reduced. The -th spectral gap is often considered as a stability indicator. This difference can be seen as an unstructured distance between and an arbitrary symmetric matrix with vanishing -th spectral gap. A more appropriate structured distance to ambiguity such that represents the Laplacian of a graph has been proposed in Andreotti et al. (2021) . This is defined as the minimal distance between and Laplacians of graphs with the same vertices and edges, but with weights that are perturbed such that the -th spectral gap vanishes. In this article we consider a slightly different approach, still based on the reformulation of the problem into the minimization of a suitable functional in the eigenvalues. After determining the gradient system associated with this functional, we introduce a low-rank projected system, suggested by the underlying low-rank structure of the extremizers of the problem. The integration of this low-rank system, requires both a moderate computational effort and a memory requirement, as it is shown in some illustrative numerical examples.
{"title":"A low-rank ODE for spectral clustering stability","authors":"Nicola Guglielmi, Stefano Sicilia","doi":"10.1016/j.laa.2024.07.001","DOIUrl":"https://doi.org/10.1016/j.laa.2024.07.001","url":null,"abstract":"Spectral clustering is a well-known technique which identifies clusters in an undirected graph, with vertices and weight matrix , by exploiting its graph Laplacian . In particular, the clusters can be identified by the knowledge of the eigenvectors associated with the smallest non zero eigenvalues of , say (recall that ). Identifying is an essential task of a clustering algorithm, since if is close to the reliability of the method is reduced. The -th spectral gap is often considered as a stability indicator. This difference can be seen as an unstructured distance between and an arbitrary symmetric matrix with vanishing -th spectral gap. A more appropriate structured distance to ambiguity such that represents the Laplacian of a graph has been proposed in Andreotti et al. (2021) . This is defined as the minimal distance between and Laplacians of graphs with the same vertices and edges, but with weights that are perturbed such that the -th spectral gap vanishes. In this article we consider a slightly different approach, still based on the reformulation of the problem into the minimization of a suitable functional in the eigenvalues. After determining the gradient system associated with this functional, we introduce a low-rank projected system, suggested by the underlying low-rank structure of the extremizers of the problem. The integration of this low-rank system, requires both a moderate computational effort and a memory requirement, as it is shown in some illustrative numerical examples.","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"5 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141587729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-06DOI: 10.1016/j.laa.2024.07.003
In the Analytic Hierarchy Process (AHP) the efficient vectors for a pairwise comparison matrix (PC matrix) are based on the principle of Pareto optimal decisions. To infer the efficiency of a vector for a PC matrix we construct a directed Hamiltonian cycle of a certain digraph associated with the PC matrix and the vector. We describe advantages of using this process over using the strong connectivity of the digraph. As an application of our process we find efficient vectors for a PC matrix, A, obtained from a consistent one by perturbing three entries above the main diagonal and the corresponding reciprocal entries, in a way that there is a square submatrix of A of order 2 containing three of the perturbed entries and not containing a diagonal entry of A. For completeness, we include examples showing conditions under which, when deleting a certain entry of an efficient vector for the square matrix A of order n, we have a non-efficient vector for the corresponding square principal submatrix of order n-1 of A.
在层次分析法(AHP)中,成对比较矩阵(PC 矩阵)的有效向量是基于帕累托最优决策原则。为了推断 PC 矩阵向量的效率,我们构建了与 PC 矩阵和向量相关联的某个数图的有向哈密顿循环。我们描述了使用这一过程比使用数图的强连接性更有优势。作为我们过程的一个应用,我们为 PC 矩阵 A 找到了有效的向量,该矩阵是通过扰动主对角线上方的三个条目和相应的倒数条目从一致矩阵中得到的,其方式是 A 的阶数为 2 的正方形子矩阵包含三个扰动条目,且不包含 A 的对角线条目。为完整起见,我们举例说明在删除 n 阶正方形矩阵 A 的有效向量的某个条目时,A 的 n-1 阶正方形主子矩阵相应的非有效向量的条件。
{"title":"Positive vectors, pairwise comparison matrices and directed Hamiltonian cycles","authors":"","doi":"10.1016/j.laa.2024.07.003","DOIUrl":"10.1016/j.laa.2024.07.003","url":null,"abstract":"<div><p>In the Analytic Hierarchy Process (AHP) the efficient vectors for a pairwise comparison matrix (PC matrix) are based on the principle of Pareto optimal decisions. To infer the efficiency of a vector for a PC matrix we construct a directed Hamiltonian cycle of a certain digraph associated with the PC matrix and the vector. We describe advantages of using this process over using the strong connectivity of the digraph. As an application of our process we find efficient vectors for a PC matrix, A, obtained from a consistent one by perturbing three entries above the main diagonal and the corresponding reciprocal entries, in a way that there is a square submatrix of A of order 2 containing three of the perturbed entries and not containing a diagonal entry of A. For completeness, we include examples showing conditions under which, when deleting a certain entry of an efficient vector for the square matrix A of order n, we have a non-efficient vector for the corresponding square principal submatrix of order n-1 of A.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"699 ","pages":"Pages 312-330"},"PeriodicalIF":1.0,"publicationDate":"2024-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0024379524002854/pdfft?md5=275e7043d1166d9276511bf66ea2c7ed&pid=1-s2.0-S0024379524002854-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141587727","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-06DOI: 10.1016/j.laa.2024.07.002
A P-matrix is a matrix all of whose principal minors are positive. We demonstrate that the fractional powers of a P-matrix are also P-matrices. This insight allows us to affirmatively address a longstanding conjecture raised in Hershkowitz and Johnson (1986) [8]: It is shown that if is a P-matrix for all positive integers k, then the eigenvalues of A are positive.
{"title":"P-matrix powers","authors":"","doi":"10.1016/j.laa.2024.07.002","DOIUrl":"10.1016/j.laa.2024.07.002","url":null,"abstract":"<div><p>A <em>P</em>-matrix is a matrix all of whose principal minors are positive. We demonstrate that the fractional powers of a <em>P</em>-matrix are also <em>P</em>-matrices. This insight allows us to affirmatively address a longstanding conjecture raised in Hershkowitz and Johnson (1986) <span><span>[8]</span></span>: It is shown that if <span><math><msup><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msup></math></span> is a <em>P</em>-matrix for all positive integers <em>k</em>, then the eigenvalues of <em>A</em> are positive.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"699 ","pages":"Pages 355-366"},"PeriodicalIF":1.0,"publicationDate":"2024-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141587728","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-03DOI: 10.1016/j.laa.2024.06.027
We show that the Heisenberg Lie algebras over a field of characteristic admit a family of restricted Lie algebras, and we classify all such non-isomorphic restricted Lie algebra structures. We use the ordinary 1- and 2-cohomology spaces with trivial coefficients to compute the restricted 1- and 2-cohomology spaces of these restricted Heisenberg Lie algebras. We describe the restricted 1-dimensional central extensions, including explicit formulas for the Lie brackets and -operators.
{"title":"On the cohomology of restricted Heisenberg Lie algebras","authors":"","doi":"10.1016/j.laa.2024.06.027","DOIUrl":"10.1016/j.laa.2024.06.027","url":null,"abstract":"<div><p>We show that the Heisenberg Lie algebras over a field <span><math><mi>F</mi></math></span> of characteristic <span><math><mi>p</mi><mo>></mo><mn>0</mn></math></span> admit a family of restricted Lie algebras, and we classify all such non-isomorphic restricted Lie algebra structures. We use the ordinary 1- and 2-cohomology spaces with trivial coefficients to compute the restricted 1- and 2-cohomology spaces of these restricted Heisenberg Lie algebras. We describe the restricted 1-dimensional central extensions, including explicit formulas for the Lie brackets and <span><math><msup><mrow><mo>⋅</mo></mrow><mrow><mo>[</mo><mi>p</mi><mo>]</mo></mrow></msup></math></span>-operators.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"699 ","pages":"Pages 295-309"},"PeriodicalIF":1.0,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141587730","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1016/j.laa.2024.06.024
Kensuke Aishima
In this paper, we prove strong consistency of an estimator by the truncated singular value decomposition for a multivariate errors-in-variables linear regression model with collinearity. This result is an extension of Gleser's proof of the strong consistency of total least squares solutions to the case with modern rank constraints. While the usual discussion of consistency in the absence of solution uniqueness deals with the minimal norm solution, the contribution of this study is to develop a theory that shows the strong consistency of a set of solutions. The proof is based on properties of orthogonal projections, specifically properties of the Rayleigh-Ritz procedure for computing eigenvalues. This makes it suitable for targeting problems where some row vectors of the matrices do not contain noise. Therefore, this paper gives a proof for the regression model with the above condition on the row vectors, resulting in a natural generalization of the strong consistency for the standard TLS estimator.
{"title":"Strong consistency of an estimator by the truncated singular value decomposition for an errors-in-variables regression model with collinearity","authors":"Kensuke Aishima","doi":"10.1016/j.laa.2024.06.024","DOIUrl":"https://doi.org/10.1016/j.laa.2024.06.024","url":null,"abstract":"In this paper, we prove strong consistency of an estimator by the truncated singular value decomposition for a multivariate errors-in-variables linear regression model with collinearity. This result is an extension of Gleser's proof of the strong consistency of total least squares solutions to the case with modern rank constraints. While the usual discussion of consistency in the absence of solution uniqueness deals with the minimal norm solution, the contribution of this study is to develop a theory that shows the strong consistency of a set of solutions. The proof is based on properties of orthogonal projections, specifically properties of the Rayleigh-Ritz procedure for computing eigenvalues. This makes it suitable for targeting problems where some row vectors of the matrices do not contain noise. Therefore, this paper gives a proof for the regression model with the above condition on the row vectors, resulting in a natural generalization of the strong consistency for the standard TLS estimator.","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"8 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141513562","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1016/j.laa.2024.06.025
Eric Ramos , Graham White
In this paper we look at the families of random walks arising from FI-graphs. One may think of these objects as families of nested graphs, each equipped with a natural action by a symmetric group , such that these actions are compatible and transitive. Families of graphs of this form were introduced by the authors in [9], while a systematic study of random walks on these families were considered in [10]. In the present work, we illustrate that these random walks never exhibit the so-called product condition, and therefore also never display total variation cutoff as defined by Aldous and Diaconis [1]. In particular, we provide a large family of algebro-combinatorially motivated examples of collections of Markov chains which satisfy some well-known algebraic heuristics for cutoff, while not actually having the property.
{"title":"Excessive symmetry can preclude cutoff","authors":"Eric Ramos , Graham White","doi":"10.1016/j.laa.2024.06.025","DOIUrl":"10.1016/j.laa.2024.06.025","url":null,"abstract":"<div><p>In this paper we look at the families of random walks arising from FI-graphs. One may think of these objects as families of nested graphs, each equipped with a natural action by a symmetric group <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, such that these actions are compatible and transitive. Families of graphs of this form were introduced by the authors in <span>[9]</span>, while a systematic study of random walks on these families were considered in <span>[10]</span>. In the present work, we illustrate that these random walks never exhibit the so-called product condition, and therefore also never display total variation cutoff as defined by Aldous and Diaconis <span>[1]</span>. In particular, we provide a large family of algebro-combinatorially motivated examples of collections of Markov chains which satisfy some well-known algebraic heuristics for cutoff, while not actually having the property.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"699 ","pages":"Pages 277-294"},"PeriodicalIF":1.0,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141500556","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-26DOI: 10.1016/j.laa.2024.06.022
Vanni Noferini , María C. Quintana
It is known that the generating function associated with the enumeration of non-backtracking walks on finite graphs is a rational matrix-valued function of the parameter; such function is also closely related to graph-theoretical results such as Ihara's theorem and the zeta function on graphs. In Grindrod et al. [13], the radius of convergence of the generating function was studied for simple (i.e., undirected, unweighted and with no loops) graphs, and shown to depend on the number of cycles in the graph. In this paper, we use technologies from the theory of polynomial and rational matrices to greatly extend these results by studying the radius of convergence of the corresponding generating function for general, possibly directed and/or weighted, graphs. We give an analogous characterization of the radius of convergence for directed (unweighted or weighted) graphs, showing that it depends on the number of cycles in the undirectization of the graph. We also consider backtrack-downweighted walks on unweighted digraphs, and we prove a version of Ihara's theorem in that case. Finally, for weighted directed graphs, we provide for the first time an exact formula for the radius of convergence, improving a previous result that exhibited a lower bound, and we also prove a version of Ihara's theorem.
{"title":"Generating functions of non-backtracking walks on weighted digraphs: Radius of convergence and Ihara's theorem","authors":"Vanni Noferini , María C. Quintana","doi":"10.1016/j.laa.2024.06.022","DOIUrl":"https://doi.org/10.1016/j.laa.2024.06.022","url":null,"abstract":"<div><p>It is known that the generating function associated with the enumeration of non-backtracking walks on finite graphs is a rational matrix-valued function of the parameter; such function is also closely related to graph-theoretical results such as Ihara's theorem and the zeta function on graphs. In Grindrod et al. <span>[13]</span>, the radius of convergence of the generating function was studied for simple (i.e., undirected, unweighted and with no loops) graphs, and shown to depend on the number of cycles in the graph. In this paper, we use technologies from the theory of polynomial and rational matrices to greatly extend these results by studying the radius of convergence of the corresponding generating function for general, possibly directed and/or weighted, graphs. We give an analogous characterization of the radius of convergence for directed (unweighted or weighted) graphs, showing that it depends on the number of cycles in the undirectization of the graph. We also consider backtrack-downweighted walks on unweighted digraphs, and we prove a version of Ihara's theorem in that case. Finally, for weighted directed graphs, we provide for the first time an exact formula for the radius of convergence, improving a previous result that exhibited a lower bound, and we also prove a version of Ihara's theorem.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"699 ","pages":"Pages 72-106"},"PeriodicalIF":1.0,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0024379524002763/pdfft?md5=cac16eb3054eb6231f0700f90e0e55f9&pid=1-s2.0-S0024379524002763-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141541163","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-26DOI: 10.1016/j.laa.2024.06.023
Sasmita Barik , Rajiv Mishra , Sukanta Pati
Let G be a simple connected graph and be the adjacency matrix of G. A diagonal matrix with diagonal entries ±1 is called a signature matrix. If is nonsingular and is entrywise nonnegative for some signature matrix S, then X can be viewed as the adjacency matrix of a unique weighted graph. It is called the inverse of G, denoted by . A graph G is said to have the reciprocal eigenvalue property (property(R)) if is nonsingular, and is an eigenvalue of whenever λ is an eigenvalue of . Further, if λ and have the same multiplicity for each eigenvalue λ, then G is said to have the strong reciprocal eigenvalue property (property (SR)). It is known that for a tree T, the following conditions are equivalent: a) is isomorphic to T, b) T has property (R), c) T has property (SR) and d) T is a corona tree (it is a tree which is obtained from another tree by adding a new pendant at each vertex).
Studies on the inverses, property (R) and property (SR) of bipartite graphs are available in the literature. However, their studies for the non-bipartite graphs are rarely done. In this article, we study the inverse and property (SR) for non-bipartite graphs. We first introduce an operation, which helps us to study the inverses of non-bipartite graphs. As a consequence, we supply a class of non-bipartite graphs for which the inverse graph exists and is isomorphic to G. It follows that each graph G in this class has property (SR).
{"title":"On non-bipartite graphs with strong reciprocal eigenvalue property","authors":"Sasmita Barik , Rajiv Mishra , Sukanta Pati","doi":"10.1016/j.laa.2024.06.023","DOIUrl":"10.1016/j.laa.2024.06.023","url":null,"abstract":"<div><p>Let <em>G</em> be a simple connected graph and <span><math><mi>A</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> be the adjacency matrix of <em>G</em>. A diagonal matrix with diagonal entries ±1 is called a signature matrix. If <span><math><mi>A</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is nonsingular and <span><math><mi>X</mi><mo>=</mo><mi>S</mi><mi>A</mi><msup><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><msup><mrow><mi>S</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup></math></span> is entrywise nonnegative for some signature matrix <em>S</em>, then <em>X</em> can be viewed as the adjacency matrix of a unique weighted graph. It is called the inverse of <em>G</em>, denoted by <span><math><msup><mrow><mi>G</mi></mrow><mrow><mo>+</mo></mrow></msup></math></span>. A graph <em>G</em> is said to have the reciprocal eigenvalue property (property(R)) if <span><math><mi>A</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is nonsingular, and <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><mi>λ</mi></mrow></mfrac></math></span> is an eigenvalue of <span><math><mi>A</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> whenever <em>λ</em> is an eigenvalue of <span><math><mi>A</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. Further, if <em>λ</em> and <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><mi>λ</mi></mrow></mfrac></math></span> have the same multiplicity for each eigenvalue <em>λ</em>, then <em>G</em> is said to have the strong reciprocal eigenvalue property (property (SR)). It is known that for a tree <em>T</em>, the following conditions are equivalent: a) <span><math><msup><mrow><mi>T</mi></mrow><mrow><mo>+</mo></mrow></msup></math></span> is isomorphic to <em>T</em>, b) <em>T</em> has property (R), c) <em>T</em> has property (SR) and d) <em>T</em> is a corona tree (it is a tree which is obtained from another tree by adding a new pendant at each vertex).</p><p>Studies on the inverses, property (R) and property (SR) of bipartite graphs are available in the literature. However, their studies for the non-bipartite graphs are rarely done. In this article, we study the inverse and property (SR) for non-bipartite graphs. We first introduce an operation, which helps us to study the inverses of non-bipartite graphs. As a consequence, we supply a class of non-bipartite graphs for which the inverse graph <span><math><msup><mrow><mi>G</mi></mrow><mrow><mo>+</mo></mrow></msup></math></span> exists and <span><math><msup><mrow><mi>G</mi></mrow><mrow><mo>+</mo></mrow></msup></math></span> is isomorphic to <em>G</em>. It follows that each graph <em>G</em> in this class has property (SR).</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"699 ","pages":"Pages 107-128"},"PeriodicalIF":1.0,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141513565","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-25DOI: 10.1016/j.laa.2024.06.021
M.H. Bien , V.M. Tam , D.C.M. Tri , L.Q. Truong
Let F be a field and a quadratic polynomial in with . We denote by the algebra of all infinite upper triangular matrices over the field F. A matrix is called a quadratic matrix with respect to if . In this paper, we first investigate the subgroup in generated by all quadratic matrices with respect to and then present some applications.
{"title":"Products of infinite upper triangular quadratic matrices","authors":"M.H. Bien , V.M. Tam , D.C.M. Tri , L.Q. Truong","doi":"10.1016/j.laa.2024.06.021","DOIUrl":"10.1016/j.laa.2024.06.021","url":null,"abstract":"<div><p>Let <em>F</em> be a field and <span><math><mi>q</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> a quadratic polynomial in <span><math><mi>F</mi><mo>[</mo><mi>x</mi><mo>]</mo></math></span> with <span><math><mi>q</mi><mo>(</mo><mn>0</mn><mo>)</mo><mo>≠</mo><mn>0</mn></math></span>. We denote by <span><math><msub><mrow><mi>T</mi></mrow><mrow><mo>∞</mo></mrow></msub><mo>(</mo><mi>F</mi><mo>)</mo></math></span> the algebra of all infinite upper triangular matrices over the field <em>F</em>. A matrix <span><math><mi>A</mi><mo>∈</mo><msub><mrow><mi>T</mi></mrow><mrow><mo>∞</mo></mrow></msub><mo>(</mo><mi>F</mi><mo>)</mo></math></span> is called a quadratic matrix with respect to <span><math><mi>q</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> if <span><math><mi>q</mi><mo>(</mo><mi>A</mi><mo>)</mo><mo>=</mo><mn>0</mn></math></span>. In this paper, we first investigate the subgroup in <span><math><msub><mrow><mi>T</mi></mrow><mrow><mo>∞</mo></mrow></msub><mo>(</mo><mi>F</mi><mo>)</mo></math></span> generated by all quadratic matrices with respect to <span><math><mi>q</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> and then present some applications.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"699 ","pages":"Pages 59-71"},"PeriodicalIF":1.0,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510214","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}