Pub Date : 2024-08-08DOI: 10.1016/j.laa.2024.08.004
A graph G is k-factor-critical if has a perfect matching for any subset S of with . An integer k-matching of G is a function satisfying for all , where is the set of edges incident with v. An integer k-matching h of G is called perfect if . A graph G has the strong parity property if for every subset S of with even size, G has a spanning subgraph F with minimum degree at least one such that for all and for all . In this paper, we provide edge number and spectral conditions for the k-factor-criticality, perfect integer k-matching and strong parity property of a graph, respectively.
如果对于 V(G) 的任意子集 S,|S|=k,G-S 有一个完美匹配,则图 G 是 k 因子临界图。如果∑e∈E(G)h(e)=k|V(G)|/2,则称 G 的整数 k 匹配为完美匹配。如果对于 V(G) 的每一个偶数大小的子集 S,G 都有一个最小度至少为 1 的跨子图 F,且对于所有 v∈S 的 dF(v)≡1(mod2)和对于所有 u∈V(G)﹨S 的 dF(u)≡0(mod2),则图 G 具有强奇偶性属性。本文分别为图的 k 因子临界、完美整数 k 匹配和强奇偶性属性提供了边数和谱条件。
{"title":"Perfect integer k-matching, k-factor-critical, and the spectral radius of graphs","authors":"","doi":"10.1016/j.laa.2024.08.004","DOIUrl":"10.1016/j.laa.2024.08.004","url":null,"abstract":"<div><p>A graph <em>G</em> is <em>k</em>-factor-critical if <span><math><mi>G</mi><mo>−</mo><mi>S</mi></math></span> has a perfect matching for any subset <em>S</em> of <span><math><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> with <span><math><mo>|</mo><mi>S</mi><mo>|</mo><mo>=</mo><mi>k</mi></math></span>. An integer <em>k</em>-matching of <em>G</em> is a function <span><math><mi>h</mi><mo>:</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>→</mo><mo>{</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>k</mi><mo>}</mo></math></span> satisfying <span><math><msub><mrow><mo>∑</mo></mrow><mrow><mi>e</mi><mo>∈</mo><mi>Γ</mi><mo>(</mo><mi>v</mi><mo>)</mo></mrow></msub><mi>h</mi><mo>(</mo><mi>e</mi><mo>)</mo><mo>≤</mo><mi>k</mi></math></span> for all <span><math><mi>v</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, where <span><math><mi>Γ</mi><mo>(</mo><mi>v</mi><mo>)</mo></math></span> is the set of edges incident with <em>v</em>. An integer <em>k</em>-matching <em>h</em> of <em>G</em> is called perfect if <span><math><msub><mrow><mo>∑</mo></mrow><mrow><mi>e</mi><mo>∈</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo></mrow></msub><mi>h</mi><mo>(</mo><mi>e</mi><mo>)</mo><mo>=</mo><mi>k</mi><mo>|</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>/</mo><mn>2</mn></math></span>. A graph <em>G</em> has the strong parity property if for every subset <em>S</em> of <span><math><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> with even size, <em>G</em> has a spanning subgraph <em>F</em> with minimum degree at least one such that <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>F</mi></mrow></msub><mo>(</mo><mi>v</mi><mo>)</mo><mo>≡</mo><mn>1</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mn>2</mn><mo>)</mo></math></span> for all <span><math><mi>v</mi><mo>∈</mo><mi>S</mi></math></span> and <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>F</mi></mrow></msub><mo>(</mo><mi>u</mi><mo>)</mo><mo>≡</mo><mn>0</mn><mspace></mspace><mo>(</mo><mrow><mi>mod</mi></mrow><mspace></mspace><mn>2</mn><mo>)</mo></math></span> for all <span><math><mi>u</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>﹨</mo><mi>S</mi></math></span>. In this paper, we provide edge number and spectral conditions for the <em>k</em>-factor-criticality, perfect integer <em>k</em>-matching and strong parity property of a graph, respectively.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141993599","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-08-08DOI: 10.1016/j.laa.2024.08.006
The statement of the Karpelevič theorem concerning the location of the eigenvalues of stochastic matrices in the complex plane (known as the Karpelevič region) is long and complicated and his proof methods are, at best, nebulous. Fortunately, an elegant simplification of the statement was provided by Ito—in particular, Ito's theorem asserts that the boundary of the Karpelevič region consists of arcs whose points satisfy a polynomial equation that depends on the endpoints of the arc. Unfortunately, Ito did not prove his version and only showed that it is equivalent.
More recently, Johnson and Paparella showed that points satisfying Ito's equation belong to the Karpelevič region. Although not the intent of their work, this initiated the process of proving Ito's theorem and hence providing another proof of the Karpelevič theorem.
The purpose of this work is to continue this effort by showing that an arc appears in the prescribed sector. To this end, it is shown that there is a continuous function such that , , where is a Type I reduced Ito polynomial. It is also shown that these arcs are simple. Finally, an elementary argument is given to show that points on the boundary of the Karpelevič region are extremal whenever .
卡尔佩列维奇定理关于随机矩阵特征值在复平面中的位置(称为卡尔佩列维奇区域)的陈述冗长而复杂,其证明方法充其量也只是模糊不清。特别是,伊藤的定理断言卡尔佩列维奇区域的边界由弧线组成,而弧线的点满足多项式方程,该方程取决于弧线的端点。最近,约翰逊和帕帕雷拉证明了满足伊藤方程的点属于卡尔佩列夫区域。尽管这并不是他们工作的初衷,但这开启了证明伊藤定理的进程,从而为卡尔佩列维奇定理提供了另一个证明。为此,本文证明了存在连续函数 λ:[0,1]⟶C ,使得 PI(λ(α))=0, ∀α∈[0,1] ,其中 PI 是 I 型还原伊藤多项式。同时还证明了这些弧是简单的。最后,给出了一个基本论证,证明只要 n>3 时,卡尔佩列维奇区域边界上的点都是极值。
{"title":"Demystifying the Karpelevič theorem","authors":"","doi":"10.1016/j.laa.2024.08.006","DOIUrl":"10.1016/j.laa.2024.08.006","url":null,"abstract":"<div><p>The statement of the Karpelevič theorem concerning the location of the eigenvalues of stochastic matrices in the complex plane (known as the Karpelevič region) is long and complicated and his proof methods are, at best, nebulous. Fortunately, an elegant simplification of the statement was provided by Ito—in particular, Ito's theorem asserts that the boundary of the Karpelevič region consists of arcs whose points satisfy a polynomial equation that depends on the endpoints of the arc. Unfortunately, Ito did not prove his version and only showed that it is equivalent.</p><p>More recently, Johnson and Paparella showed that points satisfying Ito's equation belong to the Karpelevič region. Although not the intent of their work, this initiated the process of proving Ito's theorem and hence providing another proof of the Karpelevič theorem.</p><p>The purpose of this work is to continue this effort by showing that an arc appears in the prescribed sector. To this end, it is shown that there is a continuous function <span><math><mi>λ</mi><mo>:</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo><mo>⟶</mo><mi>C</mi></math></span> such that <span><math><msup><mrow><mi>P</mi></mrow><mrow><mi>I</mi></mrow></msup><mo>(</mo><mi>λ</mi><mo>(</mo><mi>α</mi><mo>)</mo><mo>)</mo><mo>=</mo><mn>0</mn></math></span>, <span><math><mo>∀</mo><mi>α</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></math></span>, where <span><math><msup><mrow><mi>P</mi></mrow><mrow><mi>I</mi></mrow></msup></math></span> is a Type I reduced Ito polynomial. It is also shown that these arcs are simple. Finally, an elementary argument is given to show that points on the boundary of the Karpelevič region are extremal whenever <span><math><mi>n</mi><mo>></mo><mn>3</mn></math></span>.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142012318","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-08-07DOI: 10.1016/j.laa.2024.08.002
In 1992, Godsil and Hensel published a ground-breaking study of distance-regular antipodal covers of the complete graph that, among other things, introduced an important connection with equi-isoclinic subspaces. This connection seems to have been overlooked, as many of its immediate consequences have never been detailed in the literature. To correct this situation, we first describe how Godsil and Hensel's machine uses representation theory to construct equi-isoclinic tight fusion frames. Applying this machine to Mathon's construction produces equi-isoclinic planes in for any even prime power . Despite being an application of the 30-year-old Godsil–Hensel result, infinitely many of these parameters have never been enunciated in the literature. Following ideas from Et-Taoui, we then investigate a fruitful interplay with complex symmetric conference matrices.
{"title":"Equi-isoclinic subspaces, covers of the complete graph, and complex conference matrices","authors":"","doi":"10.1016/j.laa.2024.08.002","DOIUrl":"10.1016/j.laa.2024.08.002","url":null,"abstract":"<div><p>In 1992, Godsil and Hensel published a ground-breaking study of distance-regular antipodal covers of the complete graph that, among other things, introduced an important connection with equi-isoclinic subspaces. This connection seems to have been overlooked, as many of its immediate consequences have never been detailed in the literature. To correct this situation, we first describe how Godsil and Hensel's machine uses representation theory to construct equi-isoclinic tight fusion frames. Applying this machine to Mathon's construction produces <span><math><mi>q</mi><mo>+</mo><mn>1</mn></math></span> equi-isoclinic planes in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>q</mi><mo>+</mo><mn>1</mn></mrow></msup></math></span> for any even prime power <span><math><mi>q</mi><mo>></mo><mn>2</mn></math></span>. Despite being an application of the 30-year-old Godsil–Hensel result, infinitely many of these parameters have never been enunciated in the literature. Following ideas from Et-Taoui, we then investigate a fruitful interplay with complex symmetric conference matrices.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142097785","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-08-06DOI: 10.1016/j.laa.2024.08.001
We prove the inequality for all the eigenvalues of the Kirchhoff matrix K of a finite simple graph or quiver with vertex degrees and assuming . Without multiple connections, the inequality holds. A consequence in the finite simple graph or multi-graph case is that the pseudo determinant counting the number of rooted spanning trees has an upper bound and that counting the number of rooted spanning forests has an upper bound .
{"title":"Eigenvalue bounds of the Kirchhoff Laplacian","authors":"","doi":"10.1016/j.laa.2024.08.001","DOIUrl":"10.1016/j.laa.2024.08.001","url":null,"abstract":"<div><p>We prove the inequality <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≤</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>+</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub></math></span> for all the eigenvalues <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≤</mo><msub><mrow><mi>λ</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≤</mo><mo>⋯</mo><mo>≤</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of the Kirchhoff matrix <em>K</em> of a finite simple graph or quiver with vertex degrees <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≤</mo><msub><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≤</mo><mo>⋯</mo><mo>≤</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> and assuming <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>=</mo><mn>0</mn></math></span>. Without multiple connections, the inequality <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≥</mo><mrow><mi>max</mi></mrow><mo>(</mo><mn>0</mn><mo>,</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>−</mo><mo>(</mo><mi>n</mi><mo>−</mo><mi>k</mi><mo>)</mo><mo>)</mo></math></span> holds. A consequence in the finite simple graph or multi-graph case is that the pseudo determinant <span><math><mrow><mi>Det</mi></mrow><mo>(</mo><mi>K</mi><mo>)</mo></math></span> counting the number of rooted spanning trees has an upper bound <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msup><msubsup><mrow><mo>∏</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>n</mi></mrow></msubsup><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> and that <span><math><mrow><mi>det</mi></mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>K</mi><mo>)</mo></math></span> counting the number of rooted spanning forests has an upper bound <span><math><msubsup><mrow><mo>∏</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>n</mi></mrow></msubsup><mo>(</mo><mn>1</mn><mo>+</mo><mn>2</mn><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span>.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141979580","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-08-06DOI: 10.1016/j.laa.2024.08.003
The main purpose of this paper is to study the class of Lie-admissible algebras such that its product is a biderivation of the Lie algebra , where is the commutator of the algebra . First, we provide characterizations of algebras in this class. Furthermore, we show that this class of nonassociative algebras includes Lie algebras, symmetric Leibniz algebras, Lie-admissible left (or right) Leibniz algebras, Milnor algebras, and LR-algebras. Then, we establish results on the structure of these algebras in the case that the underlying Lie algebras are perfect (in particular, semisimple Lie algebras). In addition, we then study flexible -algebras, showing in particular that these algebras are extensions of Lie algebras in the category of flexible -algebras. Finally, we study left-symmetric -algebras, in particular we are interested in flat pseudo-Euclidean Lie algebras where the associated Levi-Civita products define -algebras on the underlying vector spaces of these Lie algebras. In addition, we obtain an inductive description of all these Lie algebras and their Levi-Civita products (in particular, for all signatures in the case of real Lie algebras).
{"title":"Nonassociative algebras of biderivation-type","authors":"","doi":"10.1016/j.laa.2024.08.003","DOIUrl":"10.1016/j.laa.2024.08.003","url":null,"abstract":"<div><p>The main purpose of this paper is to study the class of Lie-admissible algebras <span><math><mo>(</mo><mi>A</mi><mo>,</mo><mo>.</mo><mo>)</mo></math></span> such that its product is a biderivation of the Lie algebra <span><math><mo>(</mo><mi>A</mi><mo>,</mo><mo>[</mo><mspace></mspace><mo>,</mo><mspace></mspace><mo>]</mo><mo>)</mo></math></span>, where <span><math><mo>[</mo><mspace></mspace><mo>,</mo><mspace></mspace><mo>]</mo></math></span> is the commutator of the algebra <span><math><mo>(</mo><mi>A</mi><mo>,</mo><mo>.</mo><mo>)</mo></math></span>. First, we provide characterizations of algebras in this class. Furthermore, we show that this class of nonassociative algebras includes Lie algebras, symmetric Leibniz algebras, Lie-admissible left (or right) Leibniz algebras, Milnor algebras, and LR-algebras. Then, we establish results on the structure of these algebras in the case that the underlying Lie algebras are perfect (in particular, semisimple Lie algebras). In addition, we then study flexible <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>B</mi><mi>D</mi></mrow></msub></math></span>-algebras, showing in particular that these algebras are extensions of Lie algebras in the category of flexible <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>B</mi><mi>D</mi></mrow></msub></math></span>-algebras. Finally, we study left-symmetric <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>B</mi><mi>D</mi></mrow></msub></math></span>-algebras, in particular we are interested in flat pseudo-Euclidean Lie algebras where the associated Levi-Civita products define <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>B</mi><mi>D</mi></mrow></msub></math></span>-algebras on the underlying vector spaces of these Lie algebras. In addition, we obtain an inductive description of all these Lie algebras and their Levi-Civita products (in particular, for all signatures in the case of real Lie algebras).</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141979581","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-08-02DOI: 10.1016/j.laa.2024.07.023
A unified framework for the Expander Mixing Lemma for irregular graphs using adjacency eigenvalues is presented, as well as two new versions of it. While the existing Expander Mixing Lemmas for irregular graphs make use of the notion of volume (the sum of degrees within a vertex set), we instead propose to use the Perron eigenvector entries as vertex weights, which is a way to regularize the graph. This provides a new application of weight partitions of graphs. The new Expander Mixing Lemma versions are then applied to obtain several eigenvalue bounds for NP-hard parameters such as the zero forcing number, the vertex integrity and the routing number of a graph.
{"title":"A unified framework for the Expander Mixing Lemma for irregular graphs and its applications","authors":"","doi":"10.1016/j.laa.2024.07.023","DOIUrl":"10.1016/j.laa.2024.07.023","url":null,"abstract":"<div><p>A unified framework for the Expander Mixing Lemma for irregular graphs using adjacency eigenvalues is presented, as well as two new versions of it. While the existing Expander Mixing Lemmas for irregular graphs make use of the notion of volume (the sum of degrees within a vertex set), we instead propose to use the Perron eigenvector entries as vertex weights, which is a way to regularize the graph. This provides a new application of weight partitions of graphs. The new Expander Mixing Lemma versions are then applied to obtain several eigenvalue bounds for NP-hard parameters such as the zero forcing number, the vertex integrity and the routing number of a graph.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0024379524003136/pdfft?md5=a40f6c7aed91ef2696345f3c936489a0&pid=1-s2.0-S0024379524003136-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142012317","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-08-02DOI: 10.1016/j.laa.2024.07.022
Huang, McKinnon, and Satriano conjectured that if has distinct coordinates and , then a hyperplane through the origin other than contains at most of the vectors obtained by permuting the coordinates of v. We prove this conjecture.
{"title":"The fraction of an Sn-orbit on a hyperplane","authors":"","doi":"10.1016/j.laa.2024.07.022","DOIUrl":"10.1016/j.laa.2024.07.022","url":null,"abstract":"<div><p>Huang, McKinnon, and Satriano conjectured that if <span><math><mi>v</mi><mo>∈</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> has distinct coordinates and <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>, then a hyperplane through the origin other than <span><math><msub><mrow><mo>∑</mo></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>x</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>=</mo><mn>0</mn></math></span> contains at most <span><math><mn>2</mn><mo>⌊</mo><mi>n</mi><mo>/</mo><mn>2</mn><mo>⌋</mo><mo>(</mo><mi>n</mi><mo>−</mo><mn>2</mn><mo>)</mo><mo>!</mo></math></span> of the vectors obtained by permuting the coordinates of <em>v</em>. We prove this conjecture.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141942895","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-29DOI: 10.1016/j.laa.2024.07.021
In this work we consider generic losses of rank for complex valued matrix functions depending on two parameters. We give theoretical results that characterize parameter regions where these losses of rank occur. Our main results consist in showing how following an appropriate smooth SVD along a closed loop it is possible to monitor the Berry phases accrued by the singular vectors to decide if –inside the loop– there are parameter values where a loss of rank takes place. It will be needed to use a new construction of a smooth SVD, which we call the “joint-MVD” (minimum variation decomposition).
{"title":"SVD, joint-MVD, Berry phase, and generic loss of rank for a matrix valued function of 2 parameters","authors":"","doi":"10.1016/j.laa.2024.07.021","DOIUrl":"10.1016/j.laa.2024.07.021","url":null,"abstract":"<div><p>In this work we consider generic losses of rank for complex valued matrix functions depending on two parameters. We give theoretical results that characterize parameter regions where these losses of rank occur. Our main results consist in showing how following an appropriate smooth SVD along a closed loop it is possible to monitor the Berry phases accrued by the singular vectors to decide if –inside the loop– there are parameter values where a loss of rank takes place. It will be needed to use a new construction of a smooth SVD, which we call the “joint-MVD” (minimum variation decomposition).</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0024379524003112/pdfft?md5=cc53bdd710f8be0bdb4594e9d9ff6196&pid=1-s2.0-S0024379524003112-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141942962","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-26DOI: 10.1016/j.laa.2024.07.019
We establish novel two-sided bounds for the tracial seminorm of multilinear Schur multipliers that tighten previously known bounds. The result is obtained by a newly developed method based on polynomial chaoses.
{"title":"Two-sided bounds for the tracial seminorm of multilinear Schur multipliers","authors":"","doi":"10.1016/j.laa.2024.07.019","DOIUrl":"10.1016/j.laa.2024.07.019","url":null,"abstract":"<div><p>We establish novel two-sided bounds for the tracial seminorm of multilinear Schur multipliers that tighten previously known bounds. The result is obtained by a newly developed method based on polynomial chaoses.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141842728","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-26DOI: 10.1016/j.laa.2024.07.020
A linear group is called unisingular if every element of it has eigenvalue 1. In this paper we develop some general machinery for the study of unisingular irreducible linear groups. A motivation for the study of such groups comes from several sources, including algebraic geometry, Galois theory, finite group theory and representation theory. In particular, a certain aspect of the theory of abelian varieties requires the knowledge of unisingular irreducible subgroups of the symplectic groups over the field of two elements, and in this paper we concentrate on this special case of the general problem. A more special but important question is that of the existence of such subgroups in the symplectic groups of particular degrees. We answer this question for almost all degrees , specifically, the question remains open only 7 values of n.
如果一个线性群的每个元素的特征值都是 1,那么这个线性群就被称为单星群。在本文中,我们开发了一些研究单星不可还原线性群的一般机制。研究这类群的动机来自多个方面,包括代数几何、伽罗华理论、有限群理论和表示理论。特别是,无方变体理论的某个方面需要了解双元域上交点群的单星不可还原子群,本文将集中讨论一般问题的这一特例。一个更特殊但更重要的问题是,在特定度数的交映群中是否存在这样的子群。我们几乎回答了所有度数 2n<250 的问题,具体地说,只有 7 个 n 值的问题仍然悬而未决。
{"title":"Unisingular subgroups of symplectic groups over F2","authors":"","doi":"10.1016/j.laa.2024.07.020","DOIUrl":"10.1016/j.laa.2024.07.020","url":null,"abstract":"<div><p>A linear group is called <em>unisingular</em> if every element of it has eigenvalue 1. In this paper we develop some general machinery for the study of unisingular irreducible linear groups. A motivation for the study of such groups comes from several sources, including algebraic geometry, Galois theory, finite group theory and representation theory. In particular, a certain aspect of the theory of abelian varieties requires the knowledge of unisingular irreducible subgroups of the symplectic groups over the field of two elements, and in this paper we concentrate on this special case of the general problem. A more special but important question is that of the existence of such subgroups in the symplectic groups of particular degrees. We answer this question for almost all degrees <span><math><mn>2</mn><mi>n</mi><mo><</mo><mn>250</mn></math></span>, specifically, the question remains open only 7 values of <em>n</em>.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2024-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141843861","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}