International Conference on the spectral theory of the tensor
Hongqin Li,Qingzhi Yang,Shmuel Friedland,Joshua Cooper,Wen Li,Yaotang Li,Yuhong Dai,Liping Zhang,Xiaohuan Mo,Zhening Li,Yinyu Ye,Zhi-Quan Luo,Dustin Cartwright,Wenyu Sun,Naihua Xiu,Simai He,Xinzhen Zhang
2012-01-01
Abstract:A tensor singular value decomposition based upon the *-product defined on third-order tensors by Kilmer, Martin and Perrone provides an effective means of generalizing Principal Component Analysis. This talk will focus on tensor eigendecompostions and generalized eigendecompostions under the *-product. Discusion will include an overview of the theoretical underpinings, some computational concerns and also the use of tensor eigendecompositions in a generalization of Fischer's Linear Discriminant Analysis as applied to object recognition. The number of eigenvalues of a tensor Dustin Cartwright (Yale University / MPI) Abstract I will discuss the computation of the number of eigenpairs of a generic tensor. I will also discuss what may happen for special tensors, for which the number of eigenpairs may coincide or their number may become infinite. These questions are related to the structure of the characteristic polynomial of a tensor.I will discuss the computation of the number of eigenpairs of a generic tensor. I will also discuss what may happen for special tensors, for which the number of eigenpairs may coincide or their number may become infinite. These questions are related to the structure of the characteristic polynomial of a tensor. On the Z-eigenvalues of the signless Laplacian tensor for an even uniform hypergraph An Chang (Fuzhou University) Abstract In last two decades, the spectral graph theory has become one of the most active branches in the graph theory duo to its various applications in many disciplines. In fact, it is the branch of mathematics that studies graphs by using algebraic properties of associated matrices, such as the adjacency matrix or Laplace matrix. As graphs are related to matrices , hypergraphs are in a natural way related to tensors which could reveal more higher order structures than matrices. In this talk, we generalize the signless Laplacian matrices for graphs to the signless Laplacian tensors for even uniform hypergraphs and set some fundamental properties for the spectral hypergraph theory based upon the signless Laplacian tensors. Especially, the smallest and the largest Z-eigenvalues of the signless Laplacian tensor for an even uniform hypergraph are studied and their connections with hypergraph bipartition, maximum degree and edge cut are discussed.In last two decades, the spectral graph theory has become one of the most active branches in the graph theory duo to its various applications in many disciplines. In fact, it is the branch of mathematics that studies graphs by using algebraic properties of associated matrices, such as the adjacency matrix or Laplace matrix. As graphs are related to matrices , hypergraphs are in a natural way related to tensors which could reveal more higher order structures than matrices. In this talk, we generalize the signless Laplacian matrices for graphs to the signless Laplacian tensors for even uniform hypergraphs and set some fundamental properties for the spectral hypergraph theory based upon the signless Laplacian tensors. Especially, the smallest and the largest Z-eigenvalues of the signless Laplacian tensor for an even uniform hypergraph are studied and their connections with hypergraph bipartition, maximum degree and edge cut are discussed. Eigenvalues for stochastic tensors Kungching Chang (Peking University) Abstract Basic properties of transition probability tensors, introduced by Ng et al., are studied. The uniqueness of the positive eigenvector is not necessarily true in general. Sufficient conditions on this class of tensors are investigated to ensure the uniqueness of positive Z-eigenvector. Three different methods: Contraction mappings, monotone operator, and the Brouwer index of fixed points, are applied in this study. This is a joint work with T. Zhang.Basic properties of transition probability tensors, introduced by Ng et al., are studied. The uniqueness of the positive eigenvector is not necessarily true in general. Sufficient conditions on this class of tensors are investigated to ensure the uniqueness of positive Z-eigenvector. Three different methods: Contraction mappings, monotone operator, and the Brouwer index of fixed points, are applied in this study. This is a joint work with T. Zhang. Spectra of Hypergraphs Joshua Cooper (University of South Carolina) Abstract We present a spectral theory of hypergraphs that closely parallels graph spectral theory. Classic work by Gel'fand-Kapranov-Zelevinsky and Canny, as well as more recent developments by Chang, Lim, Pearson, Qi, Zhang, and others has led to a rich understanding of “hyperdeterminants” of hypermatrices, a.k.a. multidimensional arrays. Hyperdeterminants share many properties with determinants, but the context of multilinear algebra is substantially more complicated than the linear algebra required to understand spectral graph theory (i.e., ordinary matrices). Nonetheless, it is possible to define eigenvalues of a tensor via its characteristic polynomial and variationally. We apply this notion to the “adjacency hypermatrix” of a uniform hypergraph, and prove a number of natural analogues of graph theoretic results. Computations are particularly cumbersome with hyperdeterminants, so we discuss software developed in Sage which can perform basic calculations on small hypergraphs. Open problems abound, and we present a few directions for further research. Joint work with Aaron Dutle of the University of South Carolina.We present a spectral theory of hypergraphs that closely parallels graph spectral theory. Classic work by Gel'fand-Kapranov-Zelevinsky and Canny, as well as more recent developments by Chang, Lim, Pearson, Qi, Zhang, and others has led to a rich understanding of “hyperdeterminants” of hypermatrices, a.k.a. multidimensional arrays. Hyperdeterminants share many properties with determinants, but the context of multilinear algebra is substantially more complicated than the linear algebra required to understand spectral graph theory (i.e., ordinary matrices). Nonetheless, it is possible to define eigenvalues of a tensor via its characteristic polynomial and variationally. We apply this notion to the “adjacency hypermatrix” of a uniform hypergraph, and prove a number of natural analogues of graph theoretic results. Computations are particularly cumbersome with hyperdeterminants, so we discuss software developed in Sage which can perform basic calculations on small hypergraphs. Open problems abound, and we present a few directions for further research. Joint work with Aaron Dutle of the University of South Carolina. A subspace projection method for finding the extreme Z-eigenvalues of supersymmetric positive definite tensor Yu-Hong Dai (AMSS,Chinese Academy of Sciences) Abstract A subspace projection method is presented for finding the exteme Z-eigenvalues of m-th order n-dimensional supersymmetric positive definite tensor $A$. The idea is based on the geometric properties of Z-eigenvalues and Z-eigenvectors that the shortest distance from $S=\{x\inR^n|Ax^m=c,c>0\}$ to the origin is $\sigma_{min}=(\frac{c}{\lambda_{max}})^{\frac{1}{m}}$. And the shortest distance can be obtained by projecting the original problem into a two dimension subspace in each iteration where the Z-eigenvalue of the reduced tensor can be computed directly. A subspace projection algorithm is proposed. The preliminary numerical results show that the algorithm performs very well. Some extensions are also considered. This is a joint work with Chunlin Hao.A subspace projection method is presented for finding the exteme Z-eigenvalues of m-th order n-dimensional supersymmetric positive definite tensor $A$. The idea is based on the geometric properties of Z-eigenvalues and Z-eigenvectors that the shortest distance from $S=\{x\inR^n|Ax^m=c,c>0\}$ to the origin is $\sigma_{min}=(\frac{c}{\lambda_{max}})^{\frac{1}{m}}$. And the shortest distance can be obtained by projecting the original problem into a two dimension subspace in each iteration where the Z-eigenvalue of the reduced tensor can be computed directly. A subspace projection algorithm is proposed. The preliminary numerical results show that the algorithm performs very well. Some extensions are also considered. This is a joint work with Chunlin Hao. Canonical Polyadic Decomposition and Block Term Decompositions: Uniqueness and Signal Separation Lieven De Lathauwer (KU Leuven) Abstract Canonical Polyadic Decomposition (CPD) writes a higher-order tensor as a minimal sum of rank-1 tensors. Kruskal derived the following uniqueness result. Let A, B, C denote the factor matrices in a PD of a tensor T, and let kA + kB + kC ≥ 2R+2, where kA, kB, kC denote the k-rank of A, B, C, respectively, then R is the rank of T, i.e., the PD is canonical, and this decomposition is unique. Other uniqueness conditions have been derived by Jiang and Sidiropoulos, and by De Lathauwer. These conditions are on one hand more restrictive than Kruskal’s in the sense that one of the factor matrices, say C, needs to have full column rank, which implies that the rank R may not exceed all tensor dimensions. On the other hand, the results are an order of magnitude more relaxed than Kruskal’s in terms of the conditions on A and B. In this talk we present new CPD uniqueness conditions, connecting Jiang – Sidiropoulos – De Lathauwer’s results with Kruskal’s result. We relax the condition on C, no longer requiring that it has full column rank, while making the conditions on A and B more restrictive. Part of the study leads to new Kruskal-type conditions that are more relaxed than the original. For instance, we explain that, if kA + rB + rC ≥ 2R+2, and rA + kB + rC ≥ 2R+2, and rA + rB + kC ≥ 2R+2, where rA, rB, rC denote the rank of A, B, C, respectively, then the PD is canonical and the decomposition is unique. Recently introduced Blok Term Decompositions (BTD) write a higher-order tensor as a minimal sum of tensors of certain low multilinear rank. We present generalization
What problem does this paper attempt to address?
-
Some variational principles for Z-eigenvalues of nonnegative tensors
K.C. Chang,K.J. Pearson,Tan Zhang
DOI: https://doi.org/10.1016/j.laa.2013.02.013
IF: 1.307
2013-01-01
Linear Algebra and its Applications
Abstract:Many important spectral properties of nonnegative matrices have recently been successfully extended to higher order nonnegative tensors; for example, see (Chang et al., 2008, 2011; Friedland et al., in press; Lim, 2005; Liu et al., 2010; Ng et al., 2010; Qi et al., 2007; Yang and Yang, 2010) [2], [3], [9], [17], [23], [24], [27], [28]. However, most of these results focus on the H-eigenvalues introduced by Qi (2005, 2007) [25], [26]. The key results of this paper reveal some similarities as well as some crucial differences between Z-eigenvalues and H-eigenvalues of a nonnegative tensor. In particular, neither the positive Z-eigenvalue nor the associated positive Z-eigenvector of an irreducible nonnegative tensor has to be unique in general as demonstrated by Example 2.7. Furthermore, the Collatz type min–max characterizations of the largest positive Z-eigenvalue of an irreducible nonnegative tensor is only partially true in general as seen in Theorem 4.7 and Example 4.8.
-
M-Tensors and Some Applications.
Liping Zhang,Liqun Qi,Guanglu Zhou
DOI: https://doi.org/10.1137/130915339
IF: 1.908
2014-01-01
SIAM Journal on Matrix Analysis and Applications
Abstract:We introduce M-tensors. This concept extends the concept of M-matrices. We denote Z-tensors as the tensors with nonpositive off-diagonal entries. We show that M-tensors must be Z-tensors and the maximal diagonal entry must be nonnegative. The diagonal elements of a symmetric M-tensor must be nonnegative. A symmetric M-tensor is copositive. Based on the spectral theory of nonnegative tensors, we show that the minimal value of the real parts of all eigenvalues of an M-tensor is its smallest H+-eigenvalue and also is its smallest H-eigenvalue. We show that a Z-tensor is an M-tensor if and only if all its H+-eigenvalues are nonnegative. Some further spectral properties of M-tensors are given. We also introduce strong M-tensors, and some corresponding conclusions are given. In particular, we show that all H-eigenvalues of strong M-tensors are positive. We apply this property to study the positive definiteness of a class of multivariate forms associated with Z-tensors. We also propose an algorithm for testing the positive definiteness of such a multivariate form.
-
On Eigenvalue Problems of Real Symmetric Tensors
K. C. Chang,Kelly Pearson,Tan Zhang
DOI: https://doi.org/10.1016/j.jmaa.2008.09.067
IF: 1.417
2009-01-01
Journal of Mathematical Analysis and Applications
Abstract:We use variational methods to give a positive answer to a conjecture posed by Liqun Qi [L. Qi, Eigenvalues of a real supersymmetric tensor, J. Symbolic Comput. 40 (2005) 1302–1324] regarding the real eigenvalues of certain higher order tensors.
-
Z -eigenvalues based structured tensors: ℳ_z -tensors and strong ℳ_z -tensors
Changxin Mo,Chaoqian Li,Xuezhong Wang,Yimin Wei
DOI: https://doi.org/10.1007/s40314-019-0926-1
2019-01-01
Computational and Applied Mathematics
Abstract:The positive (semi-)definiteness of even-order tensors has been widely studied in these years due to its applications in various aspects, such as spectral hypergraph theory, automatic control, polynomial theory, stochastic process, magnetic resonance imaging and so on. It has been shown that ℳ -tensors, ℬ -tensors, ℋ -tensors, Hilbert tensors and stochastic tensors can be positive definite under proper conditions. However, there are still many positive definite tensors that can not be determined by the above criteria. In this paper, we provide a new class of positive definite tensors whose non-diagonal entries can be positive compared to (strong) ℳ -tensors, and we call it strong ℳ_z -tensors, which can arise from discretizing differential equations, since it is based on Z -eigenvalues rather than H -eigenvalues traditionally. Moreover, we show that an even-order (strong) ℳ -tensor must be an (a strong) ℳ_z -tensor, which reflects the inclusion relationship between even-order ℳ -tensors and ℳ_z -tensors. We also introduce (strong) ℋ_z -tensors, as a generalization of (strong) ℳ_z -tensors, and its positive semi-definiteness (positive definiteness) has been studied. Finally, some conditions are given for a tensor to be an (a strong) ℳ_z -tensor and we use it to study the stability of a high-order nonlinear system.
-
Z-eigenvalues Based Structured Tensors: $$\mathcal {M}_z$$-Tensors and Strong $$\mathcal {M}_z$$-Tensors.
Changxin Mo,Chaoqian Li,Xuezhong Wang,Yimin Wei
DOI: https://doi.org/10.1007/s40314-019-0926-1
2019-01-01
Abstract:The positive (semi-)definiteness of even-order tensors has been widely studied in these years due to its applications in various aspects, such as spectral hypergraph theory, automatic control, polynomial theory, stochastic process, magnetic resonance imaging and so on. It has been shown that $$\mathcal {M}$$ -tensors, $$\mathcal {B}$$ -tensors, $$\mathcal {H}$$ -tensors, Hilbert tensors and stochastic tensors can be positive definite under proper conditions. However, there are still many positive definite tensors that can not be determined by the above criteria. In this paper, we provide a new class of positive definite tensors whose non-diagonal entries can be positive compared to (strong) $$\mathcal {M}$$ -tensors, and we call it strong $$\mathcal {M}_z$$ -tensors, which can arise from discretizing differential equations, since it is based on Z-eigenvalues rather than H-eigenvalues traditionally. Moreover, we show that an even-order (strong) $$\mathcal {M}$$ -tensor must be an (a strong) $$\mathcal {M}_z$$ -tensor, which reflects the inclusion relationship between even-order $$\mathcal {M}$$ -tensors and $$\mathcal {M}_z$$ -tensors. We also introduce (strong) $$\mathcal {H}_z$$ -tensors, as a generalization of (strong) $$\mathcal {M}_z$$ -tensors, and its positive semi-definiteness (positive definiteness) has been studied. Finally, some conditions are given for a tensor to be an (a strong) $$\mathcal {M}_z$$ -tensor and we use it to study the stability of a high-order nonlinear system.
-
The multiplicity of eigenvalues of nonnegative weakly irreducible tensors and uniform hypergraphs
Yi-Zheng Fan
2024-12-03
Abstract:Hu and Ye conjectured that for a $k$-th order and $n$-dimensional tensor $\mathcal{A}$ with an eigenvalue $\lambda$ and the corresponding eigenvariety $\mathcal{V}_\lambda(\mathcal{A})$, $$\mathrm{am}(\lambda) \ge \sum_{i=1}^\kappa \mathrm{dim}(V_i)(k-1)^{\mathrm{dim}(V_i)-1},$$ where $\mathrm{am}(\lambda)$ is the algebraic multiplicity of $\lambda$, and $V_1,\ldots,V_\kappa$ are all irreducible components of $\mathcal{V}_\lambda(\mathcal{A})$. In this paper, we prove that if $\mathcal{A}$ is a nonnegative weakly irreducible tensor with spectral radius $\rho$, then $\mathrm{am}(\lambda) \ge |\mathbb{V}_\lambda(\mathcal{A})|$ for all eigenvalues $\lambda$ of $\mathcal{A}$ with modulus $\rho$, where $\mathbb{V}_\lambda(\mathcal{A})$ is the projective eigenvariety of $\mathcal{A}$ associated with $\lambda$. Consequently we confirm Hu-Ye's conjecture for the above eigenvalues $\lambda$ of $\mathcal{A}$ and also the least H-eigenvalue of a weakly irreducible $Z$-tensor. We prove several equality cases in Hu-Ye's conjecture for the eigenvalues of the adjacency tensor or Laplacian tensor of uniform hypergraphs.
Combinatorics
-
The Multivariate Eigenvalues of Symmetric Tensors
Anwa Zhou,Yangyang Ni,Jinyan Fan
DOI: https://doi.org/10.1137/23m1614808
IF: 1.908
2024-10-19
SIAM Journal on Matrix Analysis and Applications
Abstract:SIAM Journal on Matrix Analysis and Applications, Volume 45, Issue 4, Page 1954-1977, December 2024. This paper studies the multivariate eigenvalue problem for symmetric tensor tuples. Basic properties of the multivariate eigenvalues are given. It is shown that both the numbers of the complex multivariate eigenvalues and eigenvectors of symmetric tensor tuples are finite in general. We formulate the tensor multivariate eigenvalue problem equivalently as polynomial optimization. The real multivariate eigenvalues can be computed sequentially. Each of them can be computed by Lasserre's hierarchy of semidefinite relaxations. We show that it has finite convergence for generic symmetric tensor tuples. Numerical experiments are presented to show the efficiency of the proposed method.
mathematics, applied
-
Circulant Tensors with Applications to Spectral Hypergraph Theory and Stochastic Process
Zhongming Chen,Liqun Qi
DOI: https://doi.org/10.48550/arXiv.1312.2752
2014-11-26
Abstract:Circulant tensors naturally arise from stochastic process and spectral hypergraph theory. The joint moments of stochastic processes are symmetric circulant tensors. The adjacency, Laplacian and signless Laplacian tensors of circulant hypergraphs are also symmetric circulant tensors. The adjacency, Laplacian and signless Laplacian tensors of directed circulant hypergraphs are circulant tensors, but they are not symmetric in general. In this paper, we study spectral properties of circulant tensors and their applications in spectral hypergraph theory and stochastic process. We show that in certain cases, the largest H-eigenvalue of a circulant tensor can be explicitly identified. In particular, the largest H-eigenvalue of a nonnegative circulant tensor can be explicitly identified. This confirms the results in circulant hypergraphs and directed circulant hypergraphs. We prove that an even order circulant B$_0$ tensor is always positive semi-definite. This shows that the Laplacian tensor and the signless Laplacian tensor of a directed circulant even-uniform hypergraph are positive semi-definite. If a stochastic process is $m$th order stationary, where $m$ is even, then its $m$th order moment, which is a circulant tensor, must be positive semi-definite. In this paper, we give various conditions for a circulant tensor to be positive semi-definite.
Spectral Theory
-
T-Quadratic Forms and Spectral Analysis of T-Symmetric Tensors
Liqun Qi,Xinzhen Zhang
DOI: https://doi.org/10.48550/arXiv.2101.10820
2021-01-26
Abstract:An $n \times n \times p$ tensor is called a T-square tensor. It arises from many applications, such as the image feature extraction problem and the multi-view clustering problem. We may symmetrize a T-square tensor to a T-symmetric tensor. For each T-square tensor, we define a T-quadratic form, whose variable is an $n \times p$ matrix, and whose value is a $p$-dimensional vector. We define eigentuples and eigenmatrices for T-square tensors. We show that a T-symmetric tensor has unique largest and smallest eigentuples, and a T-quadratic form is positive semi-definite (definite) if and only if its smallest eigentuple is nonnegative (positive). The relation between the eigen-decomposition of T-symmetric tensors, and the TSVD of general third order tensors are also studied.
Spectral Theory
-
M-tensors and the Positive Definiteness of a Multivariate Form
Liping Zhang,Liqun Qi,Guanglu Zhou
DOI: https://doi.org/10.48550/arxiv.1202.6431
2012-01-01
Abstract:We study M-tensors and various properties of M-tensors are given. Specially, we show that the smallest real eigenvalue of M-tensor is positive corresponding to a nonnegative eigenvector. We propose an algorithm to find the smallest positive eigenvalue and then apply the property to study the positive definiteness of a multivariate form.
-
Further results on eigenvalues of symmetric decomposable tensors from multilinear dynamical systems
Haibin Chen,Mengzhen Li,Hong Yan,Guanglu Zhou
DOI: https://doi.org/10.1016/j.aml.2022.107980
IF: 4.294
2022-07-01
Applied Mathematics Letters
Abstract:Eigenvalues of tensors play a crucial role in many practical problems. In this paper, we present several new properties on eigenvalues of symmetric decomposable tensors from multilinear dynamical systems. Under orthonormal conditions, we provide a new proof for a conjecture such that the spectral radius of an orthogonal decomposable tensor is included in its coefficients. Moreover, if there is a generating vector orthogonal to other generating vectors for a symmetric decomposable tensor, it is proved that the vector is an eigenvector of the tensor. As an application of the conjecture, a sufficient region is given to guarantee the asymptotically stability of the multilinear system and numerical example verifies its performance.
mathematics, applied
-
ℋ-tensors and Nonsingular ℋ-tensors
Xuezhong Wang,Yimin Wei
DOI: https://doi.org/10.1007/s11464-015-0495-6
2015-01-01
Frontiers of Mathematics in China
Abstract:The H-matrices are an important class in the matrix theory, and have many applications. Recently, this concept has been extended to higher order ?-tensors. In this paper, we establish important properties of diagonally dominant tensors and ?-tensors. Distributions of eigenvalues of nonsingular symmetric ?-tensors are given. An ?+-tensor is semi-positive, which enlarges the area of semi-positive tensor from ?-tensor to ?+-tensor. The spectral radius of Jacobi tensor of a nonsingular (resp. singular) ?-tensor is less than (resp. equal to) one. In particular, we show that a quasi-diagonally dominant tensor is a nonsingular ?-tensor if and only if all of its principal sub-tensors are nonsingular ?-tensors. An irreducible tensor Ais an ?-tensor if and only if it is quasi-diagonally dominant.
-
On eigenvalues and eigenfunctions of the operators defining multidimensional scaling on some symmetric spaces
Tianyu Ma,Eugene Stepanov
2024-01-22
Abstract:We study asymptotics of the eigenvalues and eigenfunctions of the operators used for constructing multidimensional scaling (MDS) on compact connected Riemannian manifolds, in particular on closed connected symmetric spaces. They are the limits of eigenvalues and eigenvectors of squared distance matrices of an increasing sequence of finite subsets covering the space densely in the limit. We show that for products of spheres and real projective spaces, the numbers of positive and negative eigenvalues of these operators are both infinite. We also find a class of spaces (namely $\mathbb{RP}^n$ with odd $n>1$) whose MDS defining operators are not trace class, and original distances cannot be reconstructed from the eigenvalues and eigenfunctions of these operators.
Metric Geometry
-
A new $Z$-eigenvalue inclusion theorem for tensors
Jianxing Zhao
DOI: https://doi.org/10.48550/arXiv.1705.05187
2017-05-15
Numerical Analysis
Abstract:A new $Z$-eigenvalue inclusion theorem for tensors is given and proved to be tighter than those in [G. Wang, G.L. Zhou, L. Caccetta, $Z$-eigenvalue inclusion theorems for tensors, Discrete and Continuous Dynamical Systems Series B,22(1) (2017) 187--198]. Based on this set, a sharper upper bound for the $Z$-spectral radius of weakly symmetric nonnegative tensors is obtained. Finally, numerical examples are given to show the effectiveness of the proposed bound.
-
Nonharmonic multivariate Fourier transforms and matrices: condition numbers and hyperplane geometry
Weilin Li
2024-07-15
Abstract:Consider an operator that takes the Fourier transform of a discrete measure supported in $\mathcal{X}\subset[-\frac 12,\frac 12)^d$ and restricts it to a compact $\Omega\subset\mathbb{R}^d$. We provide lower bounds for its smallest singular value when $\Omega$ is either a ball or cube of radius $m$, and under different types of geometric assumptions on $\mathcal{X}$. We first show that if distances between points in $\mathcal{X}$ are lower bounded by a $\delta$ that is allowed to be arbitrarily small, then the smallest singular value is at least $Cm^{d/2} (m\delta)^{\lambda-1}$, where $\lambda$ is the maximum number of elements in $\mathcal{X}$ contained within any ball or cube of an explicitly given radius. This estimate communicates a localization effect of the Fourier transform. While it is sharp, the smallest singular value behaves better than expected for many $\mathcal{X}$, including when we dilate a generic set by parameter $\delta$. We next show that if there is a $\eta$ such that, for each $x\in\mathcal{X}$, the set $\mathcal{X}\setminus\{x\}$ locally consists of at most $r$ hyperplanes whose distances to $x$ are at least $\eta$, then the smallest singular value is at least $C m^{d/2} (m\eta)^r$. For dilations of a generic set by $\delta$, the lower bound becomes $C m^{d/2} (m\delta)^{\lceil (\lambda-1)/d\rceil }$. The appearance of a $1/d$ factor in the exponent indicates that compared to worst case scenarios, the condition number of nonharmonic Fourier transforms is better than expected for typical sets and improve with higher dimensionality.
Numerical Analysis
-
Modified Z-eigenvalue inclusion intervals for tensors with applications
Jun He,Xiaowei Shen,Yanmin Liu
DOI: https://doi.org/10.3934/jimo.2024142
2024-10-16
Journal of Industrial and Management Optimization
Abstract:The positive definiteness of even-order tensors and asymptotically stability of time-invariant polynomial systems are usually determined by the Z-eigenvalue inclusion intervals for tensors. In this paper, exploiting the structure of tensors, we obtain some modified Z-eigenvalue inclusion intervals for tensors. As applications, a checkable sufficient condition for the positive definiteness of even-order tensors is presented. Based on the Lyapunov stability theorem and positive definiteness of tensors, the stability of the time-invariant polynomial system is also discussed.
engineering, multidisciplinary,operations research & management science,mathematics, interdisciplinary applications
-
T-square tensors—Part I: inequalities
Shih Yu Chang,Yimin Wei
DOI: https://doi.org/10.1007/s40314-022-01770-0
2022-01-01
Computational and Applied Mathematics
Abstract:The T-square operation between two third-order tensors was invented around 2011 and it arises from many applications, such as signal processing, image feature extraction, machine learning, computer vision, and the multi-view clustering problem. Although there are many pioneer works about T-square tensors, there are no works dedicated to inequalities associated with T-square tensors. In this work, we first attempt to build inequalities at the following aspects: (1) trace function nondecreasing/convexity; (2) Golden–Thompson inequality for T-square tensors; (3) Jensen’s T-square inequality; (4) Klein’s T-square inequality. All these inequalities are related to generalize celebrated Lieb’s concavity theorem from matrices to T-square tensors. This new version of Lieb’s concavity theorem under T-square tensor will be used to determine the tail bound for the maximum eigenvalue induced by independent sums of random Hermitian T-square, which is the key tool to derive various new tail bounds for random T-square tensors. Besides, Qi and Zhang (T-quadratic forms and spectral analysis of t-symmetric tensors, 2021) introduces a new concept, named eigentuple , about T-square tensors and they apply this concept to study nonnegative (positive) definite properties of T-square tensors. The final main contribution of this work is to develop the Courant–Fischer Theorem with respect to eigentuples, and this theorem helps us to understand the relationship between the minimum eigentuple and the maximum eigentuple. The main content of this paper is Part I of a serious task about T-square tensors. The Part II of this work will utilize these new inequalities and Courant–Fischer Theorem under T-square tensors to derive tail bounds of the extreme eigenvalue and the maximum eigentuple for sums of random T-square tensors, e.g., T-square tensor Chernoff and T-square tensor Bernstein bounds.
-
A survey on the spectral theory of nonnegative tensors
Kung-Ching Chang,Liqun Qi,Tan Zhang
DOI: https://doi.org/10.1002/nla.1902
2013-01-01
Numerical Linear Algebra with Applications
Abstract:This is a survey paper on the recent development of the spectral theory of nonnegative tensors and its applications. After a brief review of the basic definitions on tensors, the H-eigenvalue problem and the Z-eigenvalue problem for tensors are studied separately. To the H-eigenvalue problem for nonnegative tensors, the whole Perron-Frobenius theory for nonnegative matrices is completely extended, while to the Z-eigenvalue problem, there are many distinctions and are studied carefully in details. Numerical methods are also discussed. Three kinds of applications are studied: higher order Markov chains, spectral theory of hypergraphs, and the quantum entanglement. Copyright (C) 2013 John Wiley & Sons, Ltd.
-
Differential geometry with extreme eigenvalues in the positive semidefinite cone
Cyrus Mostajeran,Nathaël Da Costa,Graham Van Goffrier,Rodolphe Sepulchre
DOI: https://doi.org/10.1137/23M1563906
2024-02-08
Abstract:Differential geometric approaches to the analysis and processing of data in the form of symmetric positive definite (SPD) matrices have had notable successful applications to numerous fields including computer vision, medical imaging, and machine learning. The dominant geometric paradigm for such applications has consisted of a few Riemannian geometries associated with spectral computations that are costly at high scale and in high dimensions. We present a route to a scalable geometric framework for the analysis and processing of SPD-valued data based on the efficient computation of extreme generalized eigenvalues through the Hilbert and Thompson geometries of the semidefinite cone. We explore a particular geodesic space structure based on Thompson geometry in detail and establish several properties associated with this structure. Furthermore, we define a novel iterative mean of SPD matrices based on this geometry and prove its existence and uniqueness for a given finite collection of points. Finally, we state and prove a number of desirable properties that are satisfied by this mean.
Differential Geometry,Computation,Machine Learning