极速滚球-beplay滚球玩法刺激-beplay体育官网网页版等您来挑战！

Pure Mathematics

2160-7583

Scientific Research Publishing

10.12677/PM.2023.1312388

PM-78622

PM20231200000_70710374.pdf

数学与物理

张量互补问题解集的一些性质 Some Prooreties of Solution Sets for Tensor Complementarity Problems

李

雪艳

¹ ²

null

重庆师范大学数学科学学院，重庆

08 12 2023

13 12 3749 3761

2014

This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

张量互补问题成为现如今张量理论研究的热点课题之一，其主体结构为各种结构结构张量的性质及其与张量互补问题的相互联系，从而得到互补问题解集的性质。在这篇论文中，我们主要研究了列充分张量的部分性质。讨论列充分张量对角元素的特性。该研究将列充分的性质从矩阵扩展到张量。同时通过引入辅助矩阵，得到偶阶行对角张量互补问题与线性互补问题之间的关系，将张量互补问题解集的有限性和唯一性与其对应的辅助矩阵和主化矩阵互补问题的有限性和唯一性相联系。 The problem of tensor complementarity has become one of the hot topics in tensor theory. Its main structure is the properties of various structural tensors and their interrelation with the tensor complementation problem, so as to obtain the properties of the solution set of the complementary problem. In this paper, we mainly study the partial properties of column sufficient tensors. Discuss the properties of diagonal elements of column sufficient tensors. This study extends the properties of column sufficient from matrices to tensors. At the same time, by introducing auxiliary matrix, we get the relationship between even order row diagonal tensor complementarity problem and linear complementarity problem. The finiteness and uniqueness of the tensor complementarity problem are related to the finiteness and uniqueness of its corresponding auxiliary matrix and principal matrix complementarity problem.

列充分张量，辅助矩阵，张量互补问题, Column Sufficient Tensors The Auxiliary Matrix Tensor Complementarity Problems

摘要

关键词

列充分张量，辅助矩阵，张量互补问题

Some Prooreties of Solution Sets for Tensor Complementarity Problems<sup> </sup>

Xueyan Li

College of Mathematical Sciences, Chongqing Normal University, Chongqing

Received: Nov. 21^st, 2023; accepted: Dec. 22^nd, 2023; published: Dec. 29^th, 2023

ABSTRACT

The problem of tensor complementarity has become one of the hot topics in tensor theory. Its main structure is the properties of various structural tensors and their interrelation with the tensor complementation problem, so as to obtain the properties of the solution set of the complementary problem. In this paper, we mainly study the partial properties of column sufficient tensors. Discuss the properties of diagonal elements of column sufficient tensors. This study extends the properties of column sufficient from matrices to tensors. At the same time, by introducing auxiliary matrix, we get the relationship between even order row diagonal tensor complementarity problem and linear complementarity problem. The finiteness and uniqueness of the tensor complementarity problem are related to the finiteness and uniqueness of its corresponding auxiliary matrix and principal matrix complementarity problem.

Keywords:Column Sufficient Tensors, The Auxiliary Matrix, Tensor Complementarity Problems

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

张量互补问题是一类涉及函数由张量定义的非线性互补问题，它也是线性互补问题的自然推广。Song和qi [ 1 ] 将线性互补问题推广到张量互补问题，这是一类特殊的非线性互补问题，用 TCP ( q , A ) 表示：找一 x ∈ R n ，使得

TCP ( q , A ) : x ≥ 0 , q + A x m − 1 ≥ 0 , x T ( q + A x m − 1 ) = 0 .

对每一个 q ∈ R n ，都有解。

众所周知，线性互补问题在工程和经济学中有着广泛而重要的应用(Cottle等 [ 2 ] 和Han等 [ 3 ] )。张量互补问题是受结构化张量研究的启发，从张量界中涌现出来的一个新课题，是LCP的自然推广。毫无疑问，各种结构张量的性质在张量互补问题的研究中发挥了重要作用 [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] 。近年来，随着人们对多线性代数资产的兴趣逐渐集中在高阶张量 [ 1 ] 上，越来越多的特殊矩阵被扩展到高阶结构张量 [ 9 ] [ 10 ] [ 11 ] [ 12 ] 。正半定对称张量由Song在 [ 13 ] 引入，证明了对称情况下(严格)半正张量和(严格)协正张量之间的等价性。Song等在 [ 1 ] 中研究了R0张量，证明了 A 是R0张量当且仅当 TCP ( 0 , A ) 只有零解。了 A 是R张量当且仅当 TCP ( e , A ) 只有唯一解。Song和qi [ 14 ] 中研究了列充分张量构成了广泛的张量，其中包括作为特殊情况的正半定张量。给出了列充分张量的继承性和不变性。然后给出了对称列充分张量的各种谱性质。证明了偶阶对称列充分张量的所有h特征值都是非负的，其所有z特征值在奇阶情况下都是非负的。在此基础上，定义了列充分张量的一个新子类和张量的残差。证明张量属于子类当且仅当它的残差是有限数。Luo等 [ 15 ] 提出了z张量，研究了具有z张量 TCP ( q , A ) 的最稀疏解及其计算方法。Palpandi [ 16 ] 将非退化矩阵的概念推广到张量，然后研究了非退化张量互补问题解集的有限性质。当张量互补问题的涉及张量是秩一对称张量的正线性组合时，我们证明了张量互补问题的解集是凸的，当张量正半定时，张量互补问题具有全局唯一性可解的性质。最后，研究了带附加条件的对称P张量具有全局唯一性可解的性质。

在线性互补问题(LCP)理论中，Cottle等 [ 17 ] 引入列充分矩阵来研究LCP解集的凸性。这个矩阵类及其子类已经被研究了几十年，因为它是科学计算、复杂性理论和数学中很流行线性互补问题的理论基础。Cottle，Richard W [ 18 ] 给出了列充分矩阵的一些基本性质。建立PPM所需的一些不变性定理。给出了具有行充分矩阵的lcp的主旋转方法。Valiaho [ 19 ] 利用主枢轴研究了列充分矩阵新的判别矩阵类的准则，并与已有的准则进行了比较。

列充分张量作为特殊结构张量的一大类，在偶阶对称的条件下，它包括了Hilbert张量，对角占优的非负对角项张量，B张量，二重B张量，拟二重B张量，非负对角项H张量，P张量，强Hankel张量，m张量，和正柯西张量等结构化张量。所以其性质和应用具有很高的研究价值。为了更好地理解结构张量，丰富张量互补问题的理论，受到线性互补问题中列充分矩阵研究的启发 [ 17 ] [ 20 ] [ 21 ] ，本文对列充分张量进行了研究，同时与张量互补问题相联系，利用结构张量的性质，可以在张量互补问题上得到了许多好的结果。本文通过引入辅助矩阵，得到偶阶行对角张量互补问题与线性互补问题之间的关系。

本文主要结构如下：在第2节中，我们给出了部分预备知识。在第3.1节中，我们研究了列充分张量的部分性质。讨论列充分张量对角元素的特性。在第3.2节中，我们研究了张量的性质以及 TCP ( q , A ) 解的性质。在这种情况下，我们考虑了辅助矩阵的形成。考虑了非退化张量与非退化矩阵的关系，讨论辅助矩阵为非退化矩阵，则对应张量是否为非退化张量。辅助问题的解集有限，则对应张量互补问题的解集是否有限。还将张量互补问题解集的有限性和唯一性与其对应的辅助矩阵和主化矩阵互补问题的有限性和唯一性相联系。讨论其等价性。

2. 预备知识

我们首先介绍本文中使用的一些基本符号。我们考虑有实数的张量、矩阵和向量。对于正整数n，[n]表示集合 { 1 , 2 , ⋯ , n } ； R n 表示n维欧氏空间；我们用 A , B , C , ⋯ 表示张量， A , B , C , ⋯ 表示矩阵， x , y , z , ⋯ 表示向量， x , y , z , ⋯ 表示实数。|x|定义为向量 ( | x 1 | , | x 2 | , ⋯ , | x n | ) T ； T m , n 为m维n阶实张量集合；单位张量 I m = ( δ i 1 ⋯ i m ) ∈ T m , n ，定义为 R n = { x ∈ R n : x ≥ 0 } ； δ i 1 ⋯ i m = { 1 : i 1 = ⋯ = i m 0 : 其他。

对于 x ∈ R n ， A ∈ T m , n ， A x m − 1 ∈ R n 定义为

( A x m − 1 ) i = ∑ i 2 , i 3 , ⋯ , i m = 1 n a i i 2 i 3 ⋯ i m x i 2 x i 3 ⋯ x i m ，对于所有 i ∈ [ n ] 。

且 A x m ∈ R ，定义为

x T A x m − 1 = A x m = ∑ i 1 , i 2 , i 3 , ⋯ , i m = 1 n a i 1 i 2 i 3 ⋯ i m x i 1 x i 2 ⋯ x i m .

定义2.1 ( [ 6 ] )令 A ∈ T m , n ，我们定义

ψ A ( x ) : R n ↦ R n : ψ A ( x ) = x * ( A x m − 1 )

其中*为Hadamard积，定义为 ( u * v ) i = ( u i ⋅ v i ) 。

定义2.2 ( [ 6 ] ) (i) 令 A ∈ T m , n ，对任意 x ∈ R n \ { 0 } ，存在

i ∈ [ n ] 使得 x i ≠ 0 且 x i ( A x m − 1 ) i > ( ≥ 0 ) .

我们称 A 为 P ( P 0 ) 张量。

( [ 21 ] ) (ii) 令 A ∈ T m , n ，若 A 所有非对角元素非正，即，

a i 1 ⋯ i m ≤ 0 其中 δ i 1 ⋯ i m = 0 .

我们称 A 为z张量。

( [ 22 ] ) (iii) 令 A ∈ T m , n ，若 x ∈ R n ，满足

x i ( A x m − 1 ) i ≤ 0 , ∀ i ∈ [ n ] ⇒ A x m − 1 = 0 , ∀ i ∈ [ n ] .

我们称 A 为列充分*张量。

( [ 23 ] ) (iv) 令 A ∈ T m , n ， M ( A ) 为一 n × n 矩阵，其元素为

M ( A ) i j = a i j j ⋯ j 其中 i , j = 1 , 2 , ⋯ , n .

我们称 M ( A ) 为张量 A 的主控矩阵。

( [ 16 ] ) (v) 令 A ∈ T m , n ，若 x ∈ R n ，满足

x i ( A x m − 1 ) i = 0 , ∀ i ∈ [ n ] ⇒ x = 0 .

我们称 A 为非退化张量。

( [ 16 ] ) (vi) 令 A ∈ T m , n ，若 x ∈ R n ，满足

x i ( A x m − 1 ) i ≤ 0 , ∀ i ∈ [ n ] ⇒ x i ( A x m − 1 ) i = 0 , ∀ i ∈ [ n ] .

我们称 A 为列充分张量．

定义2.3 ( [ 22 ] )令 A ∈ T m , n ， N = ( m + n − 2 n − 1 ) ，给一个向量 x = ( x 1 , x 2 , ⋯ , x n ) T ∈ R n ， y = ( y 1 , ⋯ , y n , y n + 1 , ⋯ , y N ) ∈ R N 使得

A x m − 1 = A y , A ∈ R n × N .

这里每个 y i 都被赋值到 x 1 , x 2 , ⋯ , x n 中的相应单项式中。则辅助矩阵定义为 A ¯ = ( A O ) ，其中O为 ( N − n ) × N 的零矩阵。对于 q ∈ R n ，构建

q ¯ ∈ R N ，其中 q ¯ i = { q i ; ∀ i ∈ [ n ] 0 ; ∀ i ∈ [ N ] \ [ n ]

则：

q ¯ = ( q 0 ) .

其中0为 ( N − n ) 阶零向量。那么， LCP ( q ¯ , A ¯ ) 为：找一个 y , w ∈ R N ，使得

y ≥ 0 , w = A ¯ y + q ¯ ≥ 0 , y T w = 0 .

LCP ( q ¯ , A ¯ ) 被称为 TCP ( q , A ) 的辅助问题。

定义2.4 ( [ 24 ] )设 A ∈ T m , n ， A 称为行对角张量，当且仅当 A = M ( A ) I m ，其中 I m 为m维n阶单位张量。

引理2.5 ( [ 23 ] )设 A ∈ T m , n ， A 且为偶阶行对角张量，则以下结论等价：

A 为非退化张量。

M ( A ) 为非退化矩阵。

M ( A ) 具有有限性质。

A 具有有限性质。

引理2.6 ( [ 2 ] 定理3.6.3)设 A ∈ R n × n ，则以下等价：

A为非退化矩阵。

对 q ∈ R n ， LCP ( q , A ) 的解为有限集(可能为空)。

3. 主要结论 3.1. 列充分张量

定理3.1 若 A ∈ T m , n ，为列充分张量，则 A 的行对角元素非负。

证明. 令 A 为一列充分张量假设存在 k ∈ [ n ] ，使得

a k k ⋯ k < 0 ,

设 x = e ( k ) ，则

( A x m − 1 ) k = a k k ⋯ k .

这表明

x k ( A x m − 1 ) k ≤ 0.

因为 A 是列充分的，所以

x k ( A x m − 1 ) k = 0.

那么

A x m − 1 = 0.

但是

( A x m − 1 ) k < 0.

与条件矛盾，

所以 a k k ⋯ k ≥ 0 。得证。

3.2. 辅助矩阵 3.2.1. 辅助矩阵的相关结果

定理3.2 让 A ∈ T m , n ，m为偶数，若 A ¯ 是非退化矩阵，则 A 为非退化张量。

证明. 令 A ¯ 为一非退化矩阵，则对于

y ∈ R N , y i ( A ¯ y ) i = 0 , ∀ i ∈ [ N ] ⇒ y = 0 .

对于

x ∈ R n , x i ( A x m − 1 ) = 0 , ∀ i ∈ [ n ] ⇒ x i m − 1 ( A x m − 1 ) i = 0 , ∀ i ∈ [ N ] .

因为 A ¯ 是 A 的辅助矩阵，所以对于所有的 y ∈ R n ，我们可以得到

y i ( A ¯ y ) i = 0 ，

使得

( A x m − 1 ) i = ( A y ) i 且 y i ( A y ) i = x i m − 1 ( A x m − 1 ) i ，

因此：

x i m − 1 ( A x m − 1 ) i = 0 ⇔ y i ( A ¯ y ) i = 0 , ∀ i ∈ [ n ] .

根据 A ¯ 的定义我们有

y i ( A ¯ y ) i = 0 , ∀ i ∈ [ N ] \ [ n ] .

所以我们可得到

y i ( A ¯ y ) i = 0 , ∀ i ∈ [ N ] .

由于 A ¯ 是非退化的，则有

y = 0 .

即

x i m − 1 = 0 , ∀ i ∈ [ n ] .

可得 x = 0 。所以 A 为非退化张量。

以上结论反推不一定成立。可由以下例子得出。

例1 A = a i 1 i 2 i 3 ∈ T 3 , 2 ， a 111 = 1 ， a 112 = 1 ， a 212 = 1 ， a 222 = − 1 ，其余元素为0。则 A x 2 是 x 1 , x 2 的2次齐次多项式。

A x 2 = ( x 1 2 + x 1 x 2 − x 2 2 + x 1 x 2 ) = ( 1 0 1 0 − 1 1 ) ( x 1 2 x 2 2 x 1 x 2 ) = ( 1 0 1 0 − 1 1 ) ( y 1 y 2 y 3 )

其中 y 1 = x 1 2 , y 2 = x 2 2 , y 3 = x 1 x 2 。

x T A x 2 = ( x 1 3 + x 1 2 x 2 − x 2 3 + x 1 x 2 2 )

当

x i ( A x 2 ) i = 0 。

即

{ x 1 3 + x 1 2 x 2 = 0 ⇒ x 1 = 0 或 x 1 = − x 2 x 2 2 x 1 − x 2 3 = 0 ⇒ x 2 = 0 或 x 2 = x 1

1) x 1 = 0 , x 2 = 0 ，此时 x 1 = x 2 = 0 。

2) x 1 = 0 , x 2 = x 1 ，此时 x 1 = x 2 = 0 。

3) x 2 = 0 , x 2 = − x 1 ，此时 x 1 = x 2 = 0 。

4) x 1 = − x 2 , x 2 = x 1 ，此时 x 1 = x 2 = 0 。

所以 A 为非退化张量。

现在我们构建：

A ¯ = ( 1 0 1 0 − 1 1 0 0 0 ) .

则

y T A ¯ y = ( y 1 2 + y 1 y 3 − y 2 2 + y 2 y 3 0 ) .

当 y = ( 1 − 1 − 1 ) 时， y i ( A ¯ y ) i = 0 。此时 A ¯ 不是非退化矩阵。

定理3.3 若 A ∈ T m , n 且 q ∈ R n ， LCP ( q ¯ , A ¯ ) 是 TCP ( q , A ) 问题对应的辅助问题，若 LCP ( q ¯ , A ¯ ) 的解集有限对 q ¯ ∈ R N ，则 TCP ( q , A ) 的解集有限。

证明。 SOL ( q ¯ , A ¯ ) = { y ∈ R N : y ≥ 0 , w = A ¯ y + q ¯ ≥ 0 , y T w = 0 } 的解集有限(可能为0)。即：

{ y : y ∈ SOL ( q ¯ , A ¯ ) }

为有限集。假设 TCP ( q , A ) 的解集无限，则对所有的 q ∈ R n ，

存在序列 { ω k } ，使得 x k ∈ SOL ( q , A ) ，

对每一

x k ∈ SOL ( q , A ) 我们有 y k ∈ R N ， y k ∈ SOL ( q ¯ , A ¯ ) .

那么， LCP ( q ¯ , A ¯ ) 的解集无限，矛盾。所以， TCP ( q , A ) 的解集有限。

定理3.4 让 A ∈ T m , n ，m为偶数，若 A ¯ 是列充分矩阵，则 A 为列充分张量。

证明。 A ¯ 为一列充分矩阵，则对于

y ∈ R N , y i ( A ¯ y ) i ≤ 0 , ∀ i ∈ [ N ] ⇒ y i ( A ¯ y ) i = 0 .

因为m为偶数，则对于

x ∈ R n , x i ( A x m − 1 ) i ≤ 0 , ∀ i ∈ [ n ] 。我们有 x i m − 1 ( A x m − 1 ) i ≤ 0 , ∀ i ∈ [ n ] .

因为 A ¯ 是 A 的辅助矩阵，所以对于所有的 y ∈ R n ，我们有

( A x m − 1 ) i = ( A ¯ y ) i 且 y i ( A ¯ y ) i = x i m − 1 ( A x m − 1 ) i .

所以

x i m − 1 ( A x m − 1 ) i ≤ 0 ⇔ y i ( A ¯ y ) i ≤ 0 , ∀ i ∈ [ n ] 。

根据 A ¯ 的定义我们有

y i ( A ¯ y ) i = 0 , ∀ i ∈ [ N ] \ [ n ] .

所以我们可得到

y i ( A ¯ y ) i ≤ 0 , ∀ i ∈ [ N ] ⇒ y i ( A ¯ y ) i = 0 .

那么

x i ( A x m − 1 ) i ≤ 0 , ∀ i ∈ [ n ] ⇒ x i ( A x m − 1 ) i = 0 .

所以 A 为列充分张量。

例2 A = a i 1 i 2 i 3 i 4 ∈ S 4 , 2 ， a 1111 = a 2222 = 1 ， a 1222 = a 2111 = − 1 ， a 1121 = 3 ， a 1112 = − 2 ， a 1211 = − 1 ，其余元素为0。则 A x 3 是 x 1 , x 2 的3次齐次多项式。

A x 3 = ( 1 ⋅ x 1 3 + − 1 ⋅ x 2 3 + 0 ⋅ x 1 2 x 2 + 0 ⋅ x 1 x 2 2 − 1 ⋅ x 1 3 + 1 ⋅ x 2 3 + 0 ⋅ x 1 2 x 2 + 0 ⋅ x 1 x 2 2 ) = ( 1 − 1 0 0 − 1 1 0 0 ) ( x 1 3 x 2 3 x 1 2 x 2 x 1 x 2 3 ) = ( 1 − 1 0 0 − 1 1 0 0 ) ( y 1 y 2 y 3 y 4 )

其中

y 1 = x 1 3 , y 2 = x 2 3 , y 3 = x 1 2 x 2 且 y 4 = x 1 x 2 2 .

令

A = ( 1 − 1 0 0 − 1 1 0 0 ) .

对于

y = ( y 1 , y 2 , y 3 , y 4 ) T ，

我们有

A x 3 = A y .

现在我们构建：

A ¯ = ( 1 − 1 0 0 − 1 1 0 0 0 0 0 0 0 0 0 0 ) .

则：

M ( A ) = ( 1 − 1 − 1 1 ) 且 B = ( 0 0 0 0 ) .

因为

x T M ( A ) x = ( x 1 2 − x 1 x 2 x 2 2 − x 1 x 2 ) .

则

{ x 1 2 − x 1 x 2 ≤ 0 ⇒ x 1 ≤ 0 , x 1 ≥ x 2 或 x 1 ≥ 0 , x 1 ≤ x 2 x 2 2 − x 1 x 2 ≤ 0 ⇒ x 2 ≤ 0 , x 2 ≥ x 1 或 x 2 ≥ 0 , x 2 ≤ x 1

(1) x 1 ≤ 0 , x 2 ≤ 0 ，此时 x 1 ≥ x 2 且 x 1 ≤ x 2 ⇒ x 1 = x 2 。

(2) x 1 ≤ 0 , x 2 ≥ 0 ，此时 x 1 ≥ x 2 ⇒ x 1 = x 2 = 0 。

(3) x 1 ≥ 0 , x 2 ≤ 0 ，此时 x 1 ≤ x 2 且 x 1 ≥ x 2 ⇒ x 1 = x 2 。

(4) x 1 ≥ 0 , x 2 ≤ 0 ，此时 x 1 ≤ x 2 ⇒ x 1 = x 2 = 0 。

综上，当 x 1 = x 2 时，

x i M ( A ) x i ≤ 0 , ∀ i ∈ [ 2 ] ⇒ x i M ( A ) x i = 0 , ∀ i ∈ [ 2 ] .

则 M ( A ) 为列充分矩阵， A ¯ 为列充分张量，同时，

x A x 3 = ( x 1 4 − x 1 x 2 3 − x 1 3 x 2 + x 2 4 )

则

{ x 1 4 − x 1 x 2 3 ≤ 0 ⇒ x 1 ≤ 0 , x 1 3 ≥ x 2 3 或 x 1 ≥ 0 , x 1 3 ≤ x 2 3 x 2 2 − x 1 x 2 ≤ 0 ⇒ x 2 ≤ 0 , x 2 3 ≥ x 1 3 或 x 2 ≥ 0 , x 2 3 ≤ x 1 3

(1) x 1 ≤ 0 , x 2 ≤ 0 ，此时 x 1 3 ≥ x 2 3 且 x 1 3 ≤ x 2 3 ⇒ x 1 3 = x 2 3 ⇒ x 1 = x 2 。

(2) x 1 ≤ 0 , x 2 ≥ 0 ，此时 x 1 3 ≥ x 2 3 ⇒ x 1 = x 2 = 0 。

(3) x 1 ≥ 0 , x 2 ≤ 0 ，此时 x 1 3 ≤ x 2 3 且 x 1 3 ≥ x 2 3 ⇒ x 1 3 = x 2 3 ⇒ x 1 = x 2 。

(4) x 1 ≥ 0 , x 2 ≤ 0 ，此时 x 1 3 ≤ x 2 3 ⇒ x 1 = x 2 = 0 。

综上，当 x 1 = x 2 时，

x i A x i 3 ≤ 0 , ∀ i ∈ [ 2 ] ⇒ x i A x i 3 = 0 , ∀ i ∈ [ 2 ] .

所以 A 为列充分张量。

3.2.2. 偶数阶行对角张量的辅助问题

下面我们考虑 A 的主子矩阵 M ( A ) ，很容易得到 A = ( M ( A ) B ) 对于一些 B ∈ R ( N − n ) × ( N − n ) 且 A ¯ = ( M ( A ) B O O ) 。

根据引理2.5我们可知：对于偶数阶行对角张量而言，若其主子矩阵的线性互补问题解集具有有限性，则对应的张量互补问题解集也具有有限性。我们在这里给出这个结果的另一个证明，以使论文自成一体。

定理3.6 A ∈ T m , n 是偶数阶行对角张量，辅助矩阵 A ¯ 的形式为 A ¯ = ( M ( A ) 0 0 0 ) ，

则以下结论等价：

M ( A ) 是非退化矩阵。(b) A 是非退化张量。(c) TCP ( q , A ) 有有限解集

证明。(a) ⇒ (b)

令 A 是行对角张量，则 A = M ( A ) I m ，且

A x m − 1 = M ( A ) I m x m − 1 = M ( A ) y ，

其中 x = ( x 1 , x 2 , ⋯ , x n ) T 且 y = x [ m − 1 ] = ( x 1 m − 1 , x 2 m − 1 , ⋯ , x n m − 1 ) T 。

令 M ( A ) 为非退化矩阵，则

y i ( M ( A ) y ) i = x i m − 1 ( A x m − 1 ) i = 0 ∀ i ∈ [ n ] ⇒ x ( A x m − 1 ) = 0 ⇒ y ( A y m − 1 ) = 0 。

x ∈ R n 我们有

x i ( A ¯ x ) i = 0 ，

因为m为偶数，所以存在

y = x m − 1 = ( x 1 m − 1 , x 2 m − 1 , ⋯ , x n m − 1 ) T

使得

x i m − 1 ( M ( A ) I m x m − 1 ) i = y i ( M ( A ) y ) i = x i m − 1 ( A x m − 1 ) i .

所以

x i m − 1 ( A x m − 1 ) i = y i ( M ( A ) y ) i = 0 ∀ i ∈ [ n ] ⇒ y = 0 ⇒ x = 0 .

所以 A 为非退化张量。

(b) ⇒ (a)

令 A 是行对角张量，则 A = M ( A ) I m ，且

A x m − 1 = M ( A ) I m x m − 1 = M ( A ) y ，

其中 x = ( x 1 , x 2 , ⋯ , x n ) T 且 y = x [ m − 1 ] = ( x 1 m − 1 , x 2 m − 1 , ⋯ , x n m − 1 ) T 。

令 A 为一非退化张量，那么

x i ( A ¯ x ) i = 0 , ∀ i ∈ [ N ] ⇒ x = 0 .

假设对于一部分 y ∈ R n 找们有

y i ( M ( A ) y ) i = 0 .

因为m为偶数，所以存在

x = y [ 1 m − 1 ] = ( y 1 1 m − 1 , y 2 1 m − 1 , ⋯ , y n 1 m + 1 ) T .

使得：

y i ( M ( A ) y ) i = x i m − 1 ( M ( A ) I m x m − 1 ) i = x i m − 1 ( A x m − 1 ) i .

所以

y i ( M ( A ) y ) i = x i m − 1 ( A x m − 1 ) i = 0 ∀ i ∈ [ n ] ⇒ x = 0 ⇒ y = 0 .

所以 M ( A ) 是非退化矩阵。

(a) ⇒ (c)

令 A 是行对角张量，则 A = M ( A ) I m ，且

A x m − 1 = M ( A ) I m x m − 1 = M ( A ) y

其中 x = ( x 1 , x 2 , ⋯ , x n ) T 且 y = x [ m − 1 ] = ( x 1 m − 1 , x 2 m − 1 , ⋯ , x n m − 1 ) T 。

所以 TCP ( q , A ) 等价于

LCP ( q ¯ , M ( A ) ) = { y ∈ R N : y ≥ 0 , M ( A ) y + q ¯ ≥ 0 , y T ( M ( A ) y + q ¯ ) = 0 } .

由于 M ( A ) 是非退化矩阵，可得 LCP ( q ¯ , M ( A ) ) 有有限解集。所以 TCP ( q , A ) 有有限解集。

A 是行对角张量且 TCP ( q , A ) 为有限解集，因为 TCP ( q , A ) 等价于

LCP ( q ¯ , M ( A ) ) = { y ∈ R N : y ≥ 0 , M ( A ) y + q ¯ ≥ 0 , y T ( M ( A ) y + q ¯ ) = 0 } .

则 LCP ( q ¯ , M ( A ) ) 为有限解集，由引理2.6可得 M ( A ) 是非退化矩阵。

定理3.7 A ∈ T m , n 是偶数阶行对角张量，辅助矩阵 A ¯ 的形式为 A ¯ = ( M ( A ) 0 0 0 ) 。

则以下结论等价：

(a) M ( A ) 为列充分矩阵。(b) A 为列充分张量。

证明。(a) ⇒ (b)

令 A 是行对角张量，则 A = M ( A ) I m ，且

A x m − 1 = M ( A ) I m x m − 1 = M ( A ) y ，

其中 x = ( x 1 , x 2 , ⋯ , x n ) T 且 y = x [ m − 1 ] = ( x 1 m − 1 , x 2 m − 1 , ⋯ , x n m − 1 ) T 。

令 A 为一列充分张量，那么

x i ( A x m − 1 ) i ≤ 0 , ∀ i ∈ [ n ] ⇒ x i ( A x m − 1 ) i = 0 , ∀ i ∈ [ n ] .

那么

x i m − 1 ( A x m − 1 ) i ≤ 0 , ∀ i ∈ [ n ] ⇒ x i m − 1 ( A x m − 1 ) i = 0 , ∀ i ∈ [ n ] .

假设对于 y ∈ R n 我们有

y i ( M ( A ) y ) i ≤ 0 .

因为m为偶数，所以存在

x = y [ 1 m − 1 ] = ( y 1 1 m − 1 , y 2 1 m − 1 , ⋯ , y n 1 m + 1 ) T .

使得：

y i ( M ( A ) y ) i = x i m − 1 ( M ( A ) I m x m − 1 ) i = x i m − 1 ( A x m − 1 ) i .

所以

所以 M ( A ) 是列充分矩阵。

(b) ⇒ (a)

令 M ( A ) 为列充分矩阵，则

y i ( M ( A ) y ) i = x i m − 1 ( A x m − 1 ) i ≤ 0 , ∀ i ∈ [ n ] ⇒ x i ( A x m − 1 ) i = 0 ⇒ y i ( A y m − 1 ) i = 0.

假设对于 x ∈ R n 我们有

x i ( A x m − 1 ) i ≤ 0 ，

因为m为偶数，所以存在

y = x m − 1 = ( x 1 m − 1 , x 2 m − 1 , ⋯ , x n m − 1 ) T

使得

x i m − 1 ( M ( A ) I m x m − 1 ) i = y i ( M ( A ) y ) i = x i m − 1 ( A x m − 1 ) i .

所以

x i m − 1 ( A x m − 1 ) i = y i ( M ( A ) y ) i ≤ 0 ∀ i ∈ [ n ] ⇒ y i ( A y m − 1 ) i = 0 ⇒ x i ( A x m − 1 ) i = 0 .

所以 A 为列充分张量。

注： A ∈ T m , n 是偶数阶行对角张量，辅助矩阵 A ¯ 的形式为 A ¯ = ( M ( A ) 0 0 0 ) ，

则 M ( A ) 为列充分矩阵 ⇒ TCP ( q , A ) 对任意 q ≥ 0 只有零解。

令 A 是行对角张量，则 A = M ( A ) I m ，且

A x m − 1 = M ( A ) I m x m − 1 = M ( A ) y

其中

x = ( x 1 , x 2 , ⋯ , x n ) T 且 y = x [ m − 1 ] = ( x 1 m − 1 , x 2 m − 1 , ⋯ , x n m − 1 ) T 。

所以 TCP ( q , A ) 等价于

LCP ( q ¯ , M ( A ) ) = { y ∈ R N : y ≥ 0 , M ( A ) y + q ¯ ≥ 0 , y T ( M ( A ) y + q ¯ ) = 0 } .

由于 M ( A ) 是列充分矩阵，可得 LCP ( q ¯ , M ( A ) ) 对任意 q ≥ 0 只有零解。

所以 TCP ( q , A ) 任意 q ≥ 0 只有零解。

4. 结论

本文给出了列充分张量的一部分性质，证明了列充分张量的行对角元素是非负的。同时得到辅助矩阵与对应张量之间的关系，若辅助矩阵为非退化矩阵，则对应张量为非退化张量。辅助问题的解集有限，则对应张量互补问题的解集有限。进一步得到偶阶行对角张量互补问题与线性互补问题之间的关系，将张量互补问题解集的有限性和唯一性与其对应的辅助矩阵和主化矩阵互补问题的有限性和唯一性相联系。证明了其等价关系。那么，当辅助矩阵为P矩阵和强P矩阵时，与之对应的张量是否为P张量和强P张量呢？与之对应的张量互补问题是否具有与线性互补问题相关联的结论呢？

文章引用

李雪艳. 张量互补问题解集的一些性质Some Prooreties of Solution Sets for Tensor Complementarity Problems[J]. 理论数学, 2023, 13(12): 3749-3761. https://doi.org/10.12677/PM.2023.1312388

参考文献

References 1

Song, Y. and Qi, L. (2014) Properties of Tensor Complementarity Problem and Some Classes of Structured Ten-sors.

Cottle, R.W., Pang, J.-S. and Stone, R.E. (2009) The Linear Complementarity Problem. SIAM, Philadelphia.
https://doi.org/10.1137/1.9780898719000

Han, J., Xiu, N. and Qi, H. (2006) Nonlinear Complementarity Theory and Algorithm. Shanghai Science and Technology Press, Shanghai.

Bai, X.-L., Huang, Z.-H. and Wang, Y. (2016) Global Uniqueness and Solvability for Tensor Complementarity Problems. Journal of Optimization Theory and Applications, 170, 72-84.
https://doi.org/10.1007/s10957-016-0903-4

Gowda, M.S., Luo, Z., Qi, L. and Xiu, N. (2015) Z-Tensors and Complementarity Problems.

Luo, Z., Qi, L. and Xiu, N. (2017) The Sparsest Solutions to z-Tensor Complementarity Problems. Optimization Letters, 11, 471-482.
https://doi.org/10.1007/s11590-016-1013-9

Song, Y. and Qi, L. (2015) Properties of Some Classes of Struc-tured Tensors. Journal of Optimization Theory and Applications, 165, 854-873.
https://doi.org/10.1007/s10957-014-0616-5

Song, Y. and Qi, L. (2016) Tensor Complementarity Problem and Semi-Positive Tensors. Journal of Optimization Theory and Applications, 169, 1069-1078.
https://doi.org/10.1007/s10957-015-0800-2

Chen, H., Huang, Z.-H. and Qi, L. (2017) Copositivity Detection of Tensors: Theory and Algorithm. Journal of Optimization Theory and Applications, 174, 746-761.
https://doi.org/10.1007/s10957-017-1131-2

Chen, H. and Qi, L. (2014) Positive Definiteness and Semi-Definiteness of Even Order Symmetric Cauchy Tensors. Journal of Industrial and Management Optimization, 11, 1263-1274.
https://doi.org/10.3934/jimo.2015.11.1263

Chen, H. and Wang, Y. (2017) On Computing Mini-mal h-Eigenvalue of Sign-Structured Tensors. Frontiers of Mathematics in China, 12, 1289-1302.
https://doi.org/10.1007/s11464-017-0645-0

Chen, Z. and Qi, L. (2013) Circulant Tensors with Applications to Spectral Hypergraph Theory and Stochastic Process.

Song, Y. and Qi, L. (2016) Tensor Complementarity Problem and Semi-Positive Tensors. Journal of Optimization Theory and Applications, 169, 1069-1078.
https://doi.org/10.1007/s10957-015-0800-2

Chen, H., Qi, L. and Song, Y. (2018) Column Suﬀicient Tensors and Tensor Complementarity Problems. Frontiers of Mathematics in China, 13, 255-276.
https://doi.org/10.1007/s11464-018-0681-4

Luo, Z., Qi, L. and Xiu, N. (2017) The Sparsest Solutions to z-Tensor Complementarity Problems. Optimization Letters, 11, 471-482.
https://doi.org/10.1007/s11590-016-1013-9

Palpandi, K. and Sharma, S. (2021) Tensor Complementarity Problems with Finite Solution Sets. Journal of Optimization Theory and Applications, 190, 951-965.
https://doi.org/10.1007/s10957-021-01917-9

Cottle, R., Pang, J.-S. and Venkateswaran, V. (1989) Suﬀicient Matrices and the Linear Complementarity Problem. Linear Algebra and Its Applications, 114, 231-249.
https://doi.org/10.1016/0024-3795(89)90463-1

Väliaho, H. (1996) Criteria for Suﬀicient Matrices. Linear Algebra and Its Applications, 233, 109-129.
https://doi.org/10.1016/0024-3795(94)00058-1

Cottle, R.W. (1989) The Principal Pivoting Method Revisited. Systems Optimization Lab., Technical Report, Stanford Univ., Stanford.
https://doi.org/10.2172/6125051

Sun, J. and Huang, Z.-H. (2006) A Smoothing Newton Algorithm for the LCP with a Suﬀicient Matrix That Terminates Finitely at a Maximally Complementary Solution. Optimisation Methods and Software, 21, 597-615.
https://doi.org/10.1080/10556780600627727

Zhang, L., Qi, L. and Zhou, G. (2014) M-Tensors and Some Applications. SIAM Journal on Matrix Analysis and Applications, 35, 437-452.
https://doi.org/10.1137/130915339

Dutta, A., Deb, R. and Das, A. (2022) On Some Properties of w-Uniqueness in Tensor Complementarity Problem.

Pearson, K. (2010) Essentially Positive Tensors. International Journal of Algebra, 4, 421-427.

Qi, L. (2005) Eigenvalues of a Real Supersymmetric Tensor. Journal of Symbolic Computation, 40, 1302-1324.
https://doi.org/10.1016/j.jsc.2005.05.007