Completely positive trace preserving maps are widely used in quantum information theory. These are mostly studied using the master equation perspective. A central part in this theory is to study whether a given system of dynamical maps is Markovian or non-Markovian. We study the problem when the underlying Hilbert space is of infinite dimension. We construct a sufficient condition for checking P (resp. CP) divisibility of dynamical maps. We construct several examples where the underlying Hilbert space may not be of finite dimension. We also give a special emphasis on Gaussian dynamical maps and get a version of our result in it.
{"title":"Divisibility of infinite dimensional dynamical maps","authors":"Bihalan Bhattacharya , Uwe Franz , Saikat Patra , Ritabrata Sengupta","doi":"10.1016/j.laa.2026.01.020","DOIUrl":"10.1016/j.laa.2026.01.020","url":null,"abstract":"<div><div>Completely positive trace preserving maps are widely used in quantum information theory. These are mostly studied using the master equation perspective. A central part in this theory is to study whether a given system of dynamical maps <span><math><mo>{</mo><msub><mrow><mi>Λ</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>:</mo><mi>t</mi><mo>≥</mo><mn>0</mn><mo>}</mo></math></span> is Markovian or non-Markovian. We study the problem when the underlying Hilbert space is of infinite dimension. We construct a sufficient condition for checking P (resp. CP) divisibility of dynamical maps. We construct several examples where the underlying Hilbert space may not be of finite dimension. We also give a special emphasis on Gaussian dynamical maps and get a version of our result in it.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"736 ","pages":"Pages 13-44"},"PeriodicalIF":1.1,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146070979","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 : 2026-05-01Epub Date: 2026-01-26DOI: 10.1016/j.laa.2026.01.027
Fredy Yip
The sum of the maximum and minimum eigenvalues, and the odd girth of a graph both measure bipartiteness. We seek to relate these measures. In particular, for an odd integer , let denote the supremum of over graphs without odd cycles of length less than k. The example of the k-cycle shows that . In their recent work, Abiad, Taranchuk, and Van Veluw showed that and asked to determine the asymptotics of . Using approximation theory, we show that , giving a tight upper bound up to a poly-logarithmic factor.
{"title":"On the sum of the largest and smallest eigenvalues of graphs with high odd girth","authors":"Fredy Yip","doi":"10.1016/j.laa.2026.01.027","DOIUrl":"10.1016/j.laa.2026.01.027","url":null,"abstract":"<div><div>The sum <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of the maximum and minimum eigenvalues, and the odd girth of a graph both measure bipartiteness. We seek to relate these measures. In particular, for an odd integer <span><math><mi>k</mi><mo>≥</mo><mn>3</mn></math></span>, let <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> denote the supremum of <span><math><mfrac><mrow><msub><mrow><mi>λ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow><mrow><mi>n</mi></mrow></mfrac></math></span> over graphs without odd cycles of length less than <em>k</em>. The example of the <em>k</em>-cycle <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> shows that <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≥</mo><mi>Ω</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mo>−</mo><mn>3</mn></mrow></msup><mo>)</mo></math></span>. In their recent work, Abiad, Taranchuk, and Van Veluw showed that <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≤</mo><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>)</mo></math></span> and asked to determine the asymptotics of <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>. Using approximation theory, we show that <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≤</mo><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mo>−</mo><mn>3</mn></mrow></msup><msup><mrow><mo>(</mo><mi>log</mi><mo></mo><mi>k</mi><mo>)</mo></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></math></span>, giving a tight upper bound up to a poly-logarithmic factor.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"736 ","pages":"Pages 1-12"},"PeriodicalIF":1.1,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146070978","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 : 2026-05-01Epub Date: 2026-01-26DOI: 10.1016/j.laa.2026.01.023
Amir Rehman, S. Pirzada
Let G be a graph of size m and be the spectral radius of its adjacency matrix. Let be the graph obtained from k triangles and a quadrilateral sharing a common vertex. The graph is also called the fish graph. Let be the graph obtained by joining each vertex of to isolated vertices. Li and Peng (2022) solved the spectral Turán problem for intersecting odd cycles and Desai (2024) determined the unique graph with maximum spectral radius among all graphs that do not contain intersecting even cycles, for n sufficiently large. Further, Li, Lu and Peng (2023) determined the unique m-edge graph with maximum spectral radius forbidding two intersecting triangles at a common vertex. Now, a natural question that arises is determining the maximum spectral radius for graphs that avoid intersecting cycles, with at least one of odd length and at least one of even length. In this paper, we address this question by investigating the spectral extremal problem for the graph formed by the intersection of an even cycle and an odd cycle at a common vertex. We show that if G is an -free graph of size , then , with equality if and only if .
{"title":"Spectral extremal problem for intersecting one even and one odd cycle","authors":"Amir Rehman, S. Pirzada","doi":"10.1016/j.laa.2026.01.023","DOIUrl":"10.1016/j.laa.2026.01.023","url":null,"abstract":"<div><div>Let <em>G</em> be a graph of size <em>m</em> and <span><math><mi>ρ</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> be the spectral radius of its adjacency matrix. Let <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> be the graph obtained from <em>k</em> triangles and a quadrilateral sharing a common vertex. The graph <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> is also called the fish graph. Let <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi><mo>,</mo><mn>2</mn></mrow></msub></math></span> be the graph obtained by joining each vertex of <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> to <span><math><mi>n</mi><mo>−</mo><mn>2</mn></math></span> isolated vertices. Li and Peng (2022) solved the spectral Turán problem for intersecting odd cycles and Desai (2024) determined the unique graph with maximum spectral radius among all graphs that do not contain intersecting even cycles, for <em>n</em> sufficiently large. Further, Li, Lu and Peng (2023) determined the unique <em>m</em>-edge graph with maximum spectral radius forbidding two intersecting triangles at a common vertex. Now, a natural question that arises is determining the maximum spectral radius for graphs that avoid intersecting cycles, with at least one of odd length and at least one of even length. In this paper, we address this question by investigating the spectral extremal problem for the graph formed by the intersection of an even cycle and an odd cycle at a common vertex. We show that if <em>G</em> is an <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>-free graph of size <span><math><mi>m</mi><mo>≥</mo><mn>44</mn></math></span>, then <span><math><mi>ρ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mfrac><mrow><mn>1</mn><mo>+</mo><msqrt><mrow><mn>4</mn><mi>m</mi><mo>−</mo><mn>3</mn></mrow></msqrt></mrow><mrow><mn>2</mn></mrow></mfrac></math></span>, with equality if and only if <span><math><mi>G</mi><mo>≅</mo><msub><mrow><mi>S</mi></mrow><mrow><mfrac><mrow><mi>m</mi><mo>+</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>,</mo><mn>2</mn></mrow></msub></math></span>.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"736 ","pages":"Pages 45-53"},"PeriodicalIF":1.1,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146070980","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 : 2026-04-15Epub Date: 2026-01-14DOI: 10.1016/j.laa.2026.01.009
Daryl Q. Granario
A complex matrix A is said to be coninvolutory if A is nonsingular and its inverse is its conjugate . We show that every complex matrix A with is a product of four coninvolutory matrices. We also characterize matrices that are products of three coninvolutory matrices. Finally, we give a concanonical form characterization for matrices that are sums of two coninvolutory matrices.
{"title":"On products and sums of coninvolutory matrices","authors":"Daryl Q. Granario","doi":"10.1016/j.laa.2026.01.009","DOIUrl":"10.1016/j.laa.2026.01.009","url":null,"abstract":"<div><div>A complex matrix <em>A</em> is said to be coninvolutory if <em>A</em> is nonsingular and its inverse is its conjugate <span><math><mover><mrow><mi>A</mi></mrow><mo>‾</mo></mover></math></span>. We show that every complex matrix <em>A</em> with <span><math><mo>|</mo><mi>det</mi><mo></mo><mi>A</mi><mo>|</mo><mo>=</mo><mn>1</mn></math></span> is a product of four coninvolutory matrices. We also characterize matrices that are products of three coninvolutory matrices. Finally, we give a concanonical form characterization for matrices that are sums of two coninvolutory matrices.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"735 ","pages":"Pages 175-187"},"PeriodicalIF":1.1,"publicationDate":"2026-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146036364","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 : 2026-04-15Epub Date: 2026-01-13DOI: 10.1016/j.laa.2026.01.010
Qingxiang Xu
Let be the set of all adjointable operators on a Hilbert -module H. For each , denotes its adjoint operator, and is the positive square root of . We establish simplified formulas for the matched projection of an idempotent as where I is the identity operator on H. These explicit expressions facilitate the straightforward derivation of several known properties of .
设L(H)是Hilbert C _ -模H上所有可伴随算子的集合。对于每一个T∈L(H), T _表示它的伴随算子,|T|是T _ T的正平方根。我们建立了幂等Q∈L(H) asm(Q)=I+|Q |−|I−Q|2= I+|Q|−|I−Q|2=2+|Q+Q |−|2−(Q+Q)|4的匹配投影m(Q)的简化公式,其中I是H上的恒等算子。这些显式表达式有助于直接推导出m(Q)的几个已知性质。
{"title":"Some simplified formulas for the matched projection of an idempotent","authors":"Qingxiang Xu","doi":"10.1016/j.laa.2026.01.010","DOIUrl":"10.1016/j.laa.2026.01.010","url":null,"abstract":"<div><div>Let <span><math><mi>L</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span> be the set of all adjointable operators on a Hilbert <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span>-module <em>H</em>. For each <span><math><mi>T</mi><mo>∈</mo><mi>L</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span>, <span><math><msup><mrow><mi>T</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> denotes its adjoint operator, and <span><math><mo>|</mo><mi>T</mi><mo>|</mo></math></span> is the positive square root of <span><math><msup><mrow><mi>T</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mi>T</mi></math></span>. We establish simplified formulas for the matched projection <span><math><mi>m</mi><mo>(</mo><mi>Q</mi><mo>)</mo></math></span> of an idempotent <span><math><mi>Q</mi><mo>∈</mo><mi>L</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span> as<span><span><span><math><mi>m</mi><mo>(</mo><mi>Q</mi><mo>)</mo><mo>=</mo><mfrac><mrow><mi>I</mi><mo>+</mo><mo>|</mo><msup><mrow><mi>Q</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>|</mo><mo>−</mo><mo>|</mo><mi>I</mi><mo>−</mo><msup><mrow><mi>Q</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>|</mo></mrow><mrow><mn>2</mn></mrow></mfrac><mo>=</mo><mfrac><mrow><mi>I</mi><mo>+</mo><mo>|</mo><mi>Q</mi><mo>|</mo><mo>−</mo><mo>|</mo><mi>I</mi><mo>−</mo><mi>Q</mi><mo>|</mo></mrow><mrow><mn>2</mn></mrow></mfrac><mo>=</mo><mfrac><mrow><mn>2</mn><mo>+</mo><mo>|</mo><mi>Q</mi><mo>+</mo><msup><mrow><mi>Q</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>|</mo><mo>−</mo><mo>|</mo><mn>2</mn><mo>−</mo><mo>(</mo><mi>Q</mi><mo>+</mo><msup><mrow><mi>Q</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>)</mo><mo>|</mo></mrow><mrow><mn>4</mn></mrow></mfrac><mo>,</mo></math></span></span></span> where <em>I</em> is the identity operator on <em>H</em>. These explicit expressions facilitate the straightforward derivation of several known properties of <span><math><mi>m</mi><mo>(</mo><mi>Q</mi><mo>)</mo></math></span>.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"735 ","pages":"Pages 105-111"},"PeriodicalIF":1.1,"publicationDate":"2026-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146036322","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 : 2026-04-15Epub Date: 2026-01-15DOI: 10.1016/j.laa.2026.01.014
James Demmel , Ioana Dumitriu , Ryan Schneider
This paper explores a key question in numerical linear algebra: how can we compute projectors onto the deflating subspaces of a regular matrix pencil , in particular without using matrix inversion or defaulting to an expensive Schur decomposition? We focus specifically on spectral projectors, whose associated deflating subspaces correspond to sets of eigenvalues/eigenvectors. In this work, we present a high-level approach to this problem that combines rational function approximation with an inverse-free arithmetic of Benner and Byers [Numerische Mathematik 2006]. The result is a numerical framework that captures existing inverse-free methods, generates an array of new options, and provides straightforward tools for pursuing efficiency on structured problems (e.g., definite pencils). To exhibit the efficacy of this framework, we consider a handful of methods in detail, including Implicit Repeated Squaring and iterations based on the matrix sign function.
{"title":"Fast and inverse-free algorithms for deflating subspaces","authors":"James Demmel , Ioana Dumitriu , Ryan Schneider","doi":"10.1016/j.laa.2026.01.014","DOIUrl":"10.1016/j.laa.2026.01.014","url":null,"abstract":"<div><div>This paper explores a key question in numerical linear algebra: how can we compute projectors onto the deflating subspaces of a regular matrix pencil <span><math><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>)</mo></math></span>, in particular without using matrix inversion or defaulting to an expensive Schur decomposition? We focus specifically on <em>spectral</em> projectors, whose associated deflating subspaces correspond to sets of eigenvalues/eigenvectors. In this work, we present a high-level approach to this problem that combines rational function approximation with an inverse-free arithmetic of Benner and Byers [Numerische Mathematik 2006]. The result is a numerical framework that captures existing inverse-free methods, generates an array of new options, and provides straightforward tools for pursuing efficiency on structured problems (e.g., definite pencils). To exhibit the efficacy of this framework, we consider a handful of methods in detail, including Implicit Repeated Squaring and iterations based on the matrix sign function.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"735 ","pages":"Pages 222-258"},"PeriodicalIF":1.1,"publicationDate":"2026-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146036319","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 : 2026-04-15Epub Date: 2026-01-13DOI: 10.1016/j.laa.2026.01.004
Shib Sankar Saha , Swarup Kumar Panda
The energy of a hypergraph is defined as the sum of the absolute values of the eigenvalues of its adjacency matrix . In 2022, K. Cardoso et al. showed through examples that removing an arbitrary hyperedge from a hypergraph may increase, decrease, or leave its energy unchanged. In this article, we prove that for a k-uniform complete hypergraph and a 3-uniform complete bipartite hypergraph, the energy always decreases when an arbitrary hyperedge is deleted. Furthermore, we establish both lower and upper bounds for the energy of k-uniform hypergraphs in terms of the minimum degree and the strong chromatic number.
{"title":"Bounds on hypergraph energy and its variation under arbitrary hyperedge deletion","authors":"Shib Sankar Saha , Swarup Kumar Panda","doi":"10.1016/j.laa.2026.01.004","DOIUrl":"10.1016/j.laa.2026.01.004","url":null,"abstract":"<div><div>The energy of a hypergraph <span><math><mi>H</mi></math></span> is defined as the sum of the absolute values of the eigenvalues of its adjacency matrix <span><math><mi>A</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span>. In 2022, K. Cardoso et al. showed through examples that removing an arbitrary hyperedge from a hypergraph may increase, decrease, or leave its energy unchanged. In this article, we prove that for a <em>k</em>-uniform complete hypergraph and a 3-uniform complete bipartite hypergraph, the energy always decreases when an arbitrary hyperedge is deleted. Furthermore, we establish both lower and upper bounds for the energy of <em>k</em>-uniform hypergraphs in terms of the minimum degree and the strong chromatic number.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"735 ","pages":"Pages 31-56"},"PeriodicalIF":1.1,"publicationDate":"2026-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145969254","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 : 2026-04-15Epub Date: 2026-01-13DOI: 10.1016/j.laa.2026.01.007
Diego Aranda-Orna , Alejandra S. Córdova-Martínez
The aim of this paper is to define and study the constructions of alternating and symmetric (super)powers of metric generalized Jordan (super)pairs. These constructions are obtained by transference via the Faulkner construction. The construction of tensor (super)products for metric generalized Jordan (super)pairs is revisited. We always assume that the characteristic of the base field is different from 2; in case of positive characteristic, sometimes we require that the characteristic is large enough to allow nondegeneracy of certain bilinear forms.
{"title":"Alternating and symmetric superpowers of metric generalized Jordan superpairs","authors":"Diego Aranda-Orna , Alejandra S. Córdova-Martínez","doi":"10.1016/j.laa.2026.01.007","DOIUrl":"10.1016/j.laa.2026.01.007","url":null,"abstract":"<div><div>The aim of this paper is to define and study the constructions of alternating and symmetric (super)powers of metric generalized Jordan (super)pairs. These constructions are obtained by transference via the Faulkner construction. The construction of tensor (super)products for metric generalized Jordan (super)pairs is revisited. We always assume that the characteristic of the base field <span><math><mi>F</mi></math></span> is different from 2; in case of positive characteristic, sometimes we require that the characteristic is large enough to allow nondegeneracy of certain bilinear forms.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"735 ","pages":"Pages 57-104"},"PeriodicalIF":1.1,"publicationDate":"2026-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145969255","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 : 2026-04-15Epub Date: 2026-01-14DOI: 10.1016/j.laa.2026.01.011
Daniel Kressner , David Persson , André Uschmajew
Randomized methods, such as the randomized SVD (singular value decomposition) and Nyström approximation, are an effective way to compute low-rank approximations of large matrices. Motivated by applications to operator learning, Boullé and Townsend (FoCM, 2023) recently proposed an infinite-dimensional extension of the randomized SVD for a Hilbert–Schmidt operator that invokes randomness through a Gaussian process with a covariance operator . While the non-isotropy introduced by allows one to incorporate prior information on , an unfortunate choice may lead to unfavorable performance and large constants in the error bounds. In this work, we introduce a novel infinite-dimensional extension of the randomized SVD that does not require such a choice and enjoys error bounds that match those for the finite-dimensional case. Our extension implicitly uses isotropic random vectors, reflecting a choice commonly made in the finite-dimensional case. In fact, the theoretical results of this work show how the usual randomized SVD applied to a discretization of approaches our infinite-dimensional extension as the discretization gets refined, both in terms of error bounds and the Wasserstein distance. We also present and analyze a novel extension of the Nyström approximation for self-adjoint positive semi-definite trace class operators.
{"title":"On the randomized SVD in infinite dimensions","authors":"Daniel Kressner , David Persson , André Uschmajew","doi":"10.1016/j.laa.2026.01.011","DOIUrl":"10.1016/j.laa.2026.01.011","url":null,"abstract":"<div><div>Randomized methods, such as the randomized SVD (singular value decomposition) and Nyström approximation, are an effective way to compute low-rank approximations of large matrices. Motivated by applications to operator learning, Boullé and Townsend (FoCM, 2023) recently proposed an infinite-dimensional extension of the randomized SVD for a Hilbert–Schmidt operator <span><math><mi>A</mi></math></span> that invokes randomness through a Gaussian process with a covariance operator <span><math><mi>K</mi></math></span>. While the non-isotropy introduced by <span><math><mi>K</mi></math></span> allows one to incorporate prior information on <span><math><mi>A</mi></math></span>, an unfortunate choice may lead to unfavorable performance and large constants in the error bounds. In this work, we introduce a novel infinite-dimensional extension of the randomized SVD that does not require such a choice and enjoys error bounds that match those for the finite-dimensional case. Our extension implicitly uses isotropic random vectors, reflecting a choice commonly made in the finite-dimensional case. In fact, the theoretical results of this work show how the usual randomized SVD applied to a discretization of <span><math><mi>A</mi></math></span> approaches our infinite-dimensional extension as the discretization gets refined, both in terms of error bounds and the Wasserstein distance. We also present and analyze a novel extension of the Nyström approximation for self-adjoint positive semi-definite trace class operators.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"735 ","pages":"Pages 259-286"},"PeriodicalIF":1.1,"publicationDate":"2026-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146036320","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 : 2026-04-15Epub Date: 2026-01-14DOI: 10.1016/j.laa.2026.01.013
John Bamberg , Jesse Lansdown
We describe the spreading property for finite transitive permutation groups in terms of properties of their associated coherent configurations, in much the same way that separating and synchronising groups can be described via properties of their orbital graphs. We also show how the other properties in the synchronisation hierarchy naturally fit inside this framework. This combinatorial description allows for more efficient computational tools, and we deduce that every spreading permutation group of degree at most 8191 is a I-group. We also consider design-orthogonality more generally for noncommutative homogeneous coherent configurations.
{"title":"The synchronisation hierarchy via coherent configurations","authors":"John Bamberg , Jesse Lansdown","doi":"10.1016/j.laa.2026.01.013","DOIUrl":"10.1016/j.laa.2026.01.013","url":null,"abstract":"<div><div>We describe the spreading property for finite transitive permutation groups in terms of properties of their associated coherent configurations, in much the same way that separating and synchronising groups can be described via properties of their orbital graphs. We also show how the other properties in the synchronisation hierarchy naturally fit inside this framework. This combinatorial description allows for more efficient computational tools, and we deduce that every spreading permutation group of degree at most 8191 is a <span><math><mi>Q</mi></math></span>I-group. We also consider design-orthogonality more generally for noncommutative homogeneous coherent configurations.</div></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":"735 ","pages":"Pages 203-221"},"PeriodicalIF":1.1,"publicationDate":"2026-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146036318","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}