Source author record

Yisheng Song

Yisheng Song appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2026arXiv

Interval B-Tensors and Interval Double B-Tensors

This paper systematically investigates the properties and characterization of interval B-tensors and interval double B-tensors. We propose verifiable necessary and sufficient conditions that allow for determining whether an entire interval tensor family belongs to these classes based solely on its extreme point tensors. The study elucidates profound connections between these interval tensors and other structured ones such as interval Z-tensors and P-tensors, while also providing simplified criteria for special cases like circulant structures. Furthermore, under the condition of even order and symmetry, we prove that interval B-tensors (double B-tensors) ensure the property of being an interval P-tensor. This work extends interval matrix theory to tensors, offering new analytical tools for fields such as polynomial optimization and complementarity problems involving uncertainty.

preprint2022arXiv

A Comprehensive Survey of Few-shot Learning: Evolution, Applications, Challenges, and Opportunities

Few-shot learning (FSL) has emerged as an effective learning method and shows great potential. Despite the recent creative works in tackling FSL tasks, learning valid information rapidly from just a few or even zero samples still remains a serious challenge. In this context, we extensively investigated 200+ latest papers on FSL published in the past three years, aiming to present a timely and comprehensive overview of the most recent advances in FSL along with impartial comparisons of the strengths and weaknesses of the existing works. For the sake of avoiding conceptual confusion, we first elaborate and compare a set of similar concepts including few-shot learning, transfer learning, and meta-learning. Furthermore, we propose a novel taxonomy to classify the existing work according to the level of abstraction of knowledge in accordance with the challenges of FSL. To enrich this survey, in each subsection we provide in-depth analysis and insightful discussion about recent advances on these topics. Moreover, taking computer vision as an example, we highlight the important application of FSL, covering various research hotspots. Finally, we conclude the survey with unique insights into the technology evolution trends together with potential future research opportunities in the hope of providing guidance to follow-up research.

preprint2020arXiv

Copositivity of Three-Dimensional Symmetric Tensors

In this paper, we seek analytically checkable necessary and sufficient condition for copositivity of a three-dimensional symmetric tensor. We first show that for a general third order three-dimensional symmetric tensor, this means to solve a quartic equation and some quadratic equations. All of them can be solved analytically. Thus, we present an analytical way to check copositivity of a third order three dimensional symmetric tensor. Then, we consider a model of vacuum stability for $\mathbb{Z}_3$ scalar dark matter. This is a special fourth order three-dimensional symmetric tensor. We show that an analytically expressed necessary and sufficient condition for this model bounded from below can be given, by using a result given by Ulrich and Watson in 1994.

preprint2020arXiv

Positivity Conditions for Cubic, Quartic and Quintic Polynomials

We present a necessary and sufficient condition for a cubic polynomial to be positive for all positive reals. We identify the set where the cubic polynomial is nonnegative but not all positive for all positive reals, and explicitly give the points where the cubic polynomial attains zero. We then reformulate a necessary and sufficient condition for a quartic polynomial to be nonnegative for all positive reals. From this, we derive a necessary and sufficient condition for a quartic polynomial to be nonnegative and positive for all reals. Our condition explicitly exhibits the scope and role of some coefficients, and has strong geometrical meaning. In the interior of the nonnegativity region for all reals, there is an appendix curve. The discriminant is zero at the appendix, and positive in the other part of the interior of the nonnegativity region. By using the Sturm sequences, we present a necessary and sufficient condition for a quintic polynomial to be positive and nonnegative for all positive reals. We show that for polynomials of a fixed even degree higher than or equal to four, if they have no real roots, then their discriminants take the same sign, which depends upon that degree only, except on an appendix set of dimension lower by two, where the discriminants attain zero.

preprint2019arXiv

Analytical expressions of copositivity for 4th order symmetric tensors and applications

In particle physics, scalar potentials have to be bounded from below in order for the physics to make sense. The precise expressions of checking lower bound of scalar potentials are essential, which is an analytical expression of checking copositivity and positive definiteness of tensors given by such scalar potentials. Because the tensors given by general scalar potential are 4th order and symmetric, our work mainly focuses on finding precise expressions to test copositivity and positive definiteness of 4th order tensors in this paper. First of all, an analytically sufficient and necessary condition of positive definiteness is provided for 4th order 2 dimensional symmetric tensors. For 4th order 3 dimensional symmetric tensors, we give two analytically sufficient conditions of (strictly) cpositivity by using proof technique of reducing orders or dimensions of such a tensor. Furthermore, an analytically sufficient and necessary condition of copositivity is showed for 4th order 2 dimensional symmetric tensors. We also give several distinctly analytically sufficient conditions of (strict) copositivity for 4th order 2 dimensional symmetric tensors. Finally, we apply these results to check lower bound of scalar potentials, and to present analytical vacuum stability conditions for potentials of two real scalar fields and the Higgs boson.

preprint2019arXiv

Copositivity for 3rd order symmetric tensors and applications

The strict opositivity of 4th order symmetric tensor may apply to detect vacuum stability of general scalar potential. For finding analytical expressions of (strict) opositivity of 4th order symmetric tensor, we may reduce its order to 3rd order to better deal with it. So, it is provided that several analytically sufficient conditions for the copositivity of 3th order 2 dimensional (3 dimensional) symmetric tensors. Subsequently, applying these conclusions to 4th order tensors, the analytically sufficient conditions of copositivity are proved for 4th order 2 dimensional and 3 dimensional symmetric tensors. Finally, we apply these results to present analytical vacuum stability conditions for vacuum stability for $\mathbb{Z}_3$ scalar dark matter.

preprint2017arXiv

B tensors and tensor complementarity problems

In this paper, one of our main purposes is to prove the boundedness of solution set of tensor complementarity problem with B tensor such that the specific bounds only depend on the structural properties of tensor. To achieve this purpose, firstly, we present that each B tensor is strictly semi-positive and each B$_0$ tensor is semi-positive. Subsequencely, the strictly lower and upper bounds of different operator norms are given for two positively homogeneous operators defined by B tensor. Finally, with the help of the upper bounds of different operator norms, we show the strcitly lower bound of solution set of tensor complementarity problem with B tensor. Furthermore, the upper bounds of spectral radius and $E$-spectral radius of B (B$_0$) tensor are obtained, respectively, which achieves our another objective. In particular, such the upper bounds only depend on the principal diagonal entries of tensors.

preprint2017arXiv

Properties of Solution set of Tensor Complementarity Problem

The tensor complementarity problem is a specially structured nonlinear complementarity problem, then it has its particular and nice properties other than ones of the classical nonlinear complementarity problem. In this paper, it is proved that a tensor is an S-tensor if and only if the tensor complementarity problem is feasible, and each Q-tensor is an S-tensor. Furthermore, the boundedness of solution set of the tensor complementarity problem is equivalent to the uniqueness of solution for such a problem with zero vector. For the tensor complementarity problem with a strictly semi-positive tensor, we proved the global upper bounds for solution of such a problem. In particular, the upper bounds keep in close contact with the smallest Pareto $H-$($Z-$)eigenvalue.

preprint2017arXiv

Strictly semi-positive tensors and the boundedness of tensor complementarity problems

In this paper, we prove that all H$^+$(Z$^+$)-eigenvalues of each principal sub-tensor of a strictly semi-positive tensor are positive. We define two new constants associated with H$^+$(Z$^+$)eigenvalues of a strictly semi-positive tensor. With the help of these two constants, we establish upper bounds of an important quantity whose positivity is a necessary and sufficient condition for a general tensor to be a strictly semi-positive tensor. The monotonicity and boundedness of such a quantity are established too. Furthermore, we present global error bound analysis for a class of the nonlinear complementarity problem defined by a strictly semi-positive tensor.

preprint2017arXiv

Upper bounds for Z$_1$-eigenvalues of generalized Hilbert tensors

In this paper, we introduce the concept of Z$_1$-eigenvalue to infinite dimensional generalized Hilbert tensors (hypermatrix) $\mathcal{H}_λ^{\infty}=(\mathcal{H}_{i_{1}i_{2}\cdots i_{m}})$, $$ \mathcal{H}_{i_{1}i_{2}\cdots i_{m}}=\frac{1}{i_{1}+i_{2}+\cdots i_{m}+λ},\ λ\in \mathbb{R}\setminus\mathbb{Z}^-;\ i_{1},i_{2},\cdots,i_{m}=0,1,2,\cdots,n,\cdots, $$ and proved that its $Z_1$-spectral radius is not larger than $π$ for $λ>\frac{1}{2}$, and is at most $\fracπ{\sin{λπ}}$ for $\frac{1}{2}\geq λ>0$. Besides, the upper bound of $Z_1$-spectral radius of an $m$th-order $n$-dimensional generalized Hilbert tensor $\mathcal{H}_λ^n$ is obtained also, and such a bound only depends on $n$ and $λ$.

preprint2016arXiv

An adaptive gradient method for computing generalized tensor eigenpairs

High order tensor arises more and more often in signal processing,data analysis, higher-order statistics, as well as imaging sciences. In this paper, an adaptive gradient (AG) method is presented for generalized tensor eigenpairs. Global convergence and linear convergence rate are established under some suitable conditions. Numerical results are reported to illustrate the efficiency of the proposed method. Comparing with the GEAP method, an adaptive shifted power method proposed by Tamara G. Kolda and Jackson R. Mayo [SIAM J. Matrix Anal. Appl., 35 (2014), pp. 1563-1581], the AG method is much faster and could reach the largest eigenpair with a higher probability.

preprint2016arXiv

Infinite and finite dimensional generalized Hilbert tensors

In this paper, we introduce the concept of an $m$-order $n$-dimensional generalized Hilbert tensor $\mathcal{H}_{n}=(\mathcal{H}_{i_{1}i_{2}\cdots i_{m}})$, $$ \mathcal{H}_{i_{1}i_{2}\cdots i_{m}}=\frac{1}{i_{1}+i_{2}+\cdots i_{m}-m+a},\ a\in \mathbb{R}\setminus\mathbb{Z}^-;\ i_{1},i_{2},\cdots,i_{m}=1,2,\cdots,n, $$ and show that its $H$-spectral radius and its $Z$-spectral radius are smaller than or equal to $M(a)n^{m-1}$ and $M(a)n^{\frac{m}{2}}$, respectively, here $M(a)$ is a constant only dependent on $a$. Moreover, both infinite and finite dimensional generalized Hilbert tensors are positive definite for $a\geq1$. For an $m$-order infinite dimensional generalized Hilbert tensor $\mathcal{H}_{\infty}$ with $a>0$, we prove that $\mathcal{H}_{\infty}$ defines a bounded and positively $(m-1)$-homogeneous operator from $l^{1}$ into $l^{p}\ (1<p<\infty)$. The upper bounds of norm of corresponding positively homogeneous operators are obtained.

preprint2016arXiv

Infinite dimensional Hilbert tensors on spaces of analytic functions

In this paper, the $m-$order infinite dimensional Hilbert tensor (hypermatrix) is intrduced to define an $(m-1)$-homogeneous operator on the spaces of analytic functions, which is called Hilbert tensor operator. The boundedness of Hilbert tensor operator is presented on Bergman spaces $A^p$ ($p>2(m-1)$). On the base of the boundedness, two positively homogeneous operators are introduced to the spaces of analytic functions, and hence the upper bounds of norm of such two operators are found on Bergman spaces $A^p$ ($p>2(m-1)$). In particular, the norms of such two operators on Bergman spaces $A^{4(m-1)}$ are smaller than or equal to $π$ and $π^\frac1{m-1}$, respectively.

preprint2016arXiv

Pazy's fixed point theorem with respect to the partial order in uniformly convex Banach spaces

In this paper, the Pazy's Fixed Point Theorems of monotone $α-$nonexpansive mapping $T$ are proved in a uniformly convex Banach space $E$ with the partial order "$\leq$". That is, we obtain that the fixed point set of $T$ with respect to the partial order "$\leq$" is nonempty whenever the Picard iteration $\{T^nx_0\}$ is bounded for some initial point $x_0$ with $x_0\leq Tx_0$ or $Tx_0\leq x_0$. When restricting the demain of $T$ to the cone $P$, a monotone $α-$nonexpansive mapping $T$ has at least a fixed point if and only if the Picard iteration $\{T^n0\}$ is bounbed. Furthermore, with the help of the properties of the normal cone $P$, the weakly and strongly convergent theorems of the Picard iteration $\{T^nx_0\}$ are showed for finding a fixed point of $T$ with respect to the partial order "$\leq$" in uniformly convex ordered Banach space.

preprint2016arXiv

Spectral projected gradient methods for generalized tensor eigenvalue complementarity problem

This paper looks at the tensor eigenvalue complementarity problem (TEiCP) which arises from the stability analysis of finite dimensional mechanical systems and is closely related to the optimality conditions for polynomial optimization. We investigate two monotone ascent spectral projected gradient (SPG) methods for TEiCP. We also present a shifted scaling-and-projection algorithm (SPA), which is a great improvement of the original SPA method proposed by Ling, He and Qi [Comput. Optim. Appl., DOI 10.1007/s10589-015-9767-z]. Numerical comparisons with some existed gradient methods in the literature are reported to illustrate the efficiency of the proposed methods.

preprint2015arXiv

Tensor Complementarity Problem and Semi-positive Tensors

The tensor complementarity problem $(\q, \mathcal{A})$ is to $$\mbox{ find } \x \in \mathbb{R}^n\mbox{ such that }\x \geq \0, \q + \mathcal{A}\x^{m-1} \geq \0, \mbox{ and }\x^\top (\q + \mathcal{A}\x^{m-1}) = 0.$$ We prove that a real tensor $\mathcal{A}$ is a (strictly) semi-positive tensor if and only if the tensor complementarity problem $(\q, \mathcal{A})$ has a unique solution for $\q>\0$ ($\q\geq\0$), and a symmetric real tensor is a (strictly) semi-positive tensor if and only if it is (strictly) copositive. That is, for a strictly copositive symmetric tensor $\mathcal{A}$, the tensor complementarity problem $(\q, \mathcal{A})$ has a solution for all $\q \in \mathbb{R}^n$.

preprint2014arXiv

An Even Order Symmetric B Tensor is Positive Definite

It is easily checkable if a given tensor is a B tensor, or a B$_0$ tensor or not. In this paper, we show that a symmetric B tensor can always be decomposed to the sum of a strictly diagonally dominated symmetric M tensor and several positive multiples of partially all one tensors, and a symmetric B$_0$ tensor can always be decomposed to the sum of a diagonally dominated symmetric M tensor and several positive multiples of partially all one tensors. When the order is even, this implies that the corresponding B tensor is positive definite, and the corresponding B$_0$ tensor is positive semi-definite. This gives a checkable sufficient condition for positive definite and semi-definite tensors. This approach is different from the approach in the literature for proving a symmetric B matrix is positive definite, as that matrix approach cannot be extended to the tensor case.

preprint2014arXiv

Infinite and finite dimensional Hilbert tensors

For an $m$-order $n-$dimensional Hilbert tensor (hypermatrix) $\mathcal{H}_n=(\mathcal{H}_{i_1i_2\cdots i_m})$, $$\mathcal{H}_{i_1i_2\cdots i_m}=\frac1{i_1+i_2+\cdots+i_m-m+1},\ i_1,\cdots, i_m=1,2,\cdots,n$$ its spectral radius is not larger than $n^{m-1}\sin\fracπ{n}$, and an upper bound of its $E$-spectral radius is $n^{\frac{m}2}\sin\fracπ{n}$. Moreover, its spectral radius is strictly increasing and its $E$-spectral radius is nondecreasing with respect to the dimension $n$. When the order is even, both infinite and finite dimensional Hilbert tensors are positive definite. We also show that the $m$-order infinite dimensional Hilbert tensor (hypermatrix) $\mathcal{H}_\infty=(\mathcal{H}_{i_1i_2\cdots i_m})$ defines a bounded and positively $(m-1)$-homogeneous operator from $l^1$ into $l^p$ ($1<p<\infty$), and the norm of corresponding positively homogeneous operator is smaller than or equal to $\fracπ{\sqrt6}$.

preprint2014arXiv

Properties of Some Classes of Structured Tensors

In this paper, we extend some classes of structured matrices to higher order tensors. We discuss their relationships with positive semi-definite tensors and some other structured tensors. We show that every principal sub-tensor of such a structured tensor is still a structured tensor in the same class, with a lower dimension. The potential links of such structured tensors with optimization, nonlinear equations, nonlinear complementarity problems, variational inequalities and the nonnegative tensor theory are also discussed.

preprint2013arXiv

Eigenvalue analysis of constrained minimization problem for homogeneous polynomial

In this paper, the concepts of Pareto $H$-eigenvalue and Pareto $Z$-eigenvalue are introduced for studying constrained minimization problem and the necessary and sufficient conditions of such eigenvalues are given. It is proved that a symmetric tensor has at least one Pareto $H$-eigenvalue (Pareto $Z$-eigenvalue). Furthermore, the minimum Pareto $H$-eigenvalue (or Pareto $Z$-eigenvalue) of a symmetric tensor is exactly equal to the minimum value of constrained minimization problem of homogeneous polynomial deduced by such a tensor, which gives an alternative methods for solving the minimum value of constrained minimization problem. In particular, a symmetric tensor $\mathcal{A}$ is copositive if and only if every Pareto $H$-eigenvalue ($Z-$eigenvalue) of $\mathcal{A}$ is non-negative.

preprint2013arXiv

The necessary and sufficient conditions of copositive tensors

In this paper, it is proved that (strict) copositivity of a symmetric tensor $\mathcal{A}$ is equivalent to the fact that every principal sub-tensor of $\mathcal{A}$ has no a (non-positive) negative $H^{++}$-eigenvalue. The necessary and sufficient conditions are also given in terms of the $Z^{++}$-eigenvalue of the principal sub-tensor of the given tensor. This presents a method of testing (strict) copositivity of a symmetric tensor by means of the lower dimensional tensors. Also the equivalent definition of strictly copositive tensors is given on entire space $\mathbb{R}^n$.

preprint2012arXiv

Geometric measure of entanglement of multipartite mixed states

The geometric measure of entanglement of a pure state, defined by its distance to the set of pure separable states, is extended to multipartite mixed states. We characterize the nearest disentangled mixed state to a given mixed state with respect to this measure by a system of equations. The entanglement eigenvalue for a mixed state is introduced. For a given mixed state, we show that its nearest disentangled mixed state is associated with its entanglement eigenvalue.