Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1410.6989

SOS-Hankel Tensors: Theory and Application

Guoyin Li·Liqun Qi·Yi Xu
View original source ↗Read source document ↗Export metadata ↓

Abstract

Hankel tensors arise from signal processing and some other applications. SOS (sum-of-squares) tensors are positive semi-definite symmetric tensors, but not vice versa. The problem for determining an even order symmetric tensor is an SOS tensor or not is equivalent to solving a semi-infinite linear programming problem, which can be done in polynomial time. On the other hand, the problem for determining an even order symmetric tensor is positive semi-definite or not is NP-hard. In this paper, we study SOS-Hankel tensors. Currently, there are two known positive semi-definite Hankel tensor classes: even order complete Hankel tensors and even order strong Hankel tensors. We show complete Hankel tensors are strong Hankel tensors, and even order strong Hankel tensors are SOS-Hankel tensors. We give several examples of positive semi-definite Hankel tensors, which are not strong Hankel tensors. However, all of them are still SOS-Hankel tensors. Does there exist a positive semi-definite non-SOS-Hankel tensor? The answer to this question remains open. If the answer to this question is no, then the problem for determining an even order Hankel tensor is positive semi-definite or not is solvable in polynomial-time. An application of SOS-Hankel tensors to the positive semi-definite tensor completion problem is discussed. We present an ADMM algorithm for solving this problem. Some preliminary numerical results on this algorithm are reported.

Explore related subjects

math.SP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Guoyin Li, Liqun Qi, Yi Xu. 2014-11-02. SOS-Hankel Tensors: Theory and Application. https://arxiv.org/abs/1410.6989

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Dirichlet--Neumann bracketing for nonlocal operators

We establish Dirichlet--Neumann bracketing for the Dirichlet eigenvalues of $ψ(-Δ)$ on bounded Lipschitz domains, where $ψ$ is an arbitrary complete Bernstein function. The eigenvalues lie between $ψ$ applied to the corresponding Neumann and Dirichlet eigenvalues of the Laplacian. Both inequalities are strict whenever $ψ$ admits no meromorphic continuation to $\mathbb C \setminus \{0\}$. The proof uses quadratic forms, operator monotonicity, and an analysis of equality in resolvent comparisons. Applying the bracketing to intervals and balls gives a unified proof of simplicity of interval eigenvalues and antisymmetry of second eigenfunctions in balls under the same condition on $ψ$. For fractional powers, these recover results of Fall, Ghimenti, Micheletti and Pistoia for the interval, and of Fall, Feulefack, Temgoua and Weth and, independently, Benedikt, Bobkov, Dhara and Girg for the ball. The argument extends these conclusions to a broader class of nonlocal operators.

math.SP↗
arXiv2026

New matrix perturbation bounds with relative strength: Perturbation of eigenspaces

Matrix perturbation bounds (such as Weyl and Davis--Kahan) are used abundantly in many areas of mathematics and data science. Many bounds (such as the above two) involve the spectral norm of the noise matrix and are sharp in worst-case analysis. In order to refine these classical bounds, we introduce a new parameter, which we refer to as the relative strength. This parameter measures the strength of the action of the noise matrix on the relevant eigenvectors of the ground matrix. It has turned out that in a number of situations, we can use the relative strength as a replacement for the spectral norm (which can be seen as the absolute strength). This has led to a number of notable improvements under certain sets of assumptions, which are frequently met in practice. A representative example is the case when the noise matrix is random. For the purpose of our study, we introduce a new method of analysis, which combines the classical contour integral argument with new (combinatorial) ideas. This method is robust and of independent interest. In the current paper, we focus on the perturbation of eigenspaces (Davis--Kahan type results). Perturbation bounds for eigenspaces are essential in statistics and theoretical computer science, and thus deserve a special treatment. Furthermore, this will lay the ground for the more technical treatment of general matrix functionals, which appears in a future paper.

math.SP↗
arXiv2026

One-dimensional optimisation of indefinite-weight principal eigenvalues with asymmetric Robin parameters and a Schrödinger-type perturbation

We study the minimisation of the positive principal eigenvalue for an indefinite-weight problem with asymmetric Robin parameters. The model is motivated by diffusive logistic equations in spatially heterogeneous environments, where the weight describes allocatable favourable resources and the Robin parameters measure boundary loss. After recalling the variational setting and the bang--bang reduction, we analyse the one-dimensional optimisation problem: the optimal favourable set is an interval, and the placement problem is reduced to a branchwise criterion. The key analytical tool is a shape-derivative formula for $a\mapstoλ(a)$, which shows that interior candidates are characterised by equality of the endpoint values of the positive eigenfunction, equivalently by the coupled transfer-matrix equations $f=0$ and $g=0$. We also introduce a Schrödinger-type extension with a fixed nonnegative background potential. In the coercive case we establish the corresponding principal-eigenvalue and bang--bang results, and in one dimension with constant potential we prove a compactness-type stability result showing that minimisers for small background potential converge, along subsequences, to minimisers of the unperturbed problem. No placement classification is claimed for general positive background potential. The computations are presented as numerical illustrations generated with an adaptive root-search protocol.

math.SP↗