arXiv subjects
Publications and source records attributed to Yisheng Song.
For a 4th order 3-dimensional symmetric tensor with its some entries $1$ or $-1$, we show the analytic sufficient and necessary conditions of its positive definiteness. By applying these conclusions, several strict inequalities is bulit for ternary quartic homogeneous polynomials.
In this paper, the analytic sufficient and necessary conditions are obtained for the CP conserving two-Higgs-doublet potential to be bounded from below by using the co-positivity of tensors. This is achieved by treating the potential as a quartic homogeneous polynomial about the moduli of the two Higgs doublet fields, where the 'angles' is described as the misalignment of the two doublets, then solving three minimum problems with respect to the misalignment. Finally, the analytic conditions are established with the help of the corresponding theory and methods of higher order tensors.
The most general scalar potential of two real scalar fields and a Higgs boson is a quartic homogeneous polynomial about 3 variables, which defines a 4th order 3 dimensional symmetric tensor. Hence, the boundedness from below of such a scalar potential involves the positive (semi-)definiteness of the corresponding tensor. So, we mainly discuss analytical expressions of positive (semi-)definiteness for such a special 4th order 3-dimension symmetric tensor in this paper. Firstly, an analytically necessary and sufficient condition is given to test the positive (semi-)definiteness of a 4th order 2 dimensional symmetric tensor. Furthermore, by means of such a result, the necessary and sufficient conditions of the boundedness from below are obtained for a general scalar potential of two real scalar fields and the Higgs boson.
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.
The mathematical model of multiple microscopic particles potentials corresponds to a fourth order symmetric tensor with a particular structure in particle physics. In this paper, we mainly dedicate to the study of copositivity for a class of tensors defined by the scalar dark matter with the standard model Higgs and an inert doublet and a complex singlet. With the help of its structure, we obtain the necessary and sufficient conditions, which attains the analytic conditions required by the physical problems. At the same time, this analytic expression provides how to determine a unique solution of the corresponding tensor complementarity problem with a parameter.
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.
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.
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.
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.
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 $λ$.
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.
This paper deals with the class of Q-tensors, that is, a Q-tensor is a real tensor $\mathcal{A}$ such that the tensor complementarity problem $(\q, \mathcal{A})$: $$\mbox{ finding } \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, $$ has a solution for each vector $\q \in \mathbb{R}^n$. Several subclasses of Q-tensors are given: P-tensors, R-tensors, strictly semi-positive tensors and semi-positive R$_0$-tensors. We prove that a nonnegative tensor is a Q-tensor if and only if all of its principal diagonal entries are positive, and so the equivalence of Q-tensor, R-tensors, strictly semi-positive tensors is showed if they are nonnegative tensors. We also show that a tensor is a R$_0$-tensor if and only if the tensor complementarity problem $(\0, \mathcal{A})$ has no non-zero vector solution, and a tensor is a R-tensor if and only if it is a R$_0$-tensor and the tensor complementarity problem $(\e, \mathcal{A})$ has no non-zero vector solution, where $\e=(1,1\cdots,1)^\top$.
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.
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.
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.
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.
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.
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.