Searcharxiv⌕ Search

arXiv subjects

Liqun Qi

Publications and source records attributed to Liqun Qi.

At least 109 records · Page 6Linked to original sources

Stochastic $R_0$ Tensors to Stochastic Tensor Complementarity Problems

The main purpose of this paper is devoted to an introduction of the stochastic tensor complementarity problem. We consider the expected residual minimization formulation of the stochastic tensor complementarity problem. We show that the solution set of the expected residual minimization problem is nonempty and bounded, if the associated tensor is an $R_0$ tensor. We also prove that the associated tensor being a stochastic $R_0$ tensor is a necessary and sufficient condition for the solution set of the expected residual minimization problem to be nonempty and bounded.

math.OC↗

M-eigenvalues of Riemann Curvature Tensor of Conformally Flat Manifolds

We generalized Xiang, Qi and Wei's results on the M-eigenvalues of Riemann curvature tensor to higher dimensional conformal flat manifolds. The expression of M-eigenvalues and M-eigenvectors are found in our paper. As a special case, M-eigenvalues of conformal flat Einstein manifold have also been discussed, and the conformal the invariance of M-eigentriple has been found. We also discussed the relationship between M-eigenvalue and sectional curvature of a Riemannian manifold. We proved that the M-eigenvalue can determine the Riemann curvature tensor uniquely and generalize the real M-eigenvalue to complex cases. In the last part of our paper, we give an example to compute the M-eigentriple of de Sitter spacetime which is well-known in general relativity.

math.DG↗

An Irreducible Function Basis of Isotropic Invariants of A Third Order Three-Dimensional Symmetric Tensor

In this paper, we present an eleven invariant isotropic irreducible function basis of a third order three-dimensional symmetric tensor. This irreducible function basis is a proper subset of the Olive-Auffray minimal isotropic integrity basis of that tensor. The octic invariant and a sextic invariant in the Olive-Auffray integrity basis are dropped out. This result is of significance to the further research of irreducible function bases of higher order tensors.

math-ph↗

Isotropic Polynomial Invariants of the Hall Tensor

The Hall tensor emerges from the study of the Hall effect, an important magnetic effect observed in electric conductors and semiconductors. The Hall tensor is third order and three dimensional, whose first two indices are skew-symmetric. In this paper, we investigate the isotropic polynomial invariants of the Hall tensor by connecting it with a second order tensor via the third order Levi-Civita tensor. We propose a minimal isotropic integrity basis with 10 invariants for the Hall tensor. Furthermore, we prove that this minimal integrity basis is also an irreducible isotropic function basis of the Hall tensor.

math-ph↗

Minimal Integrity Bases of Invariants of Second Order Tensors in a Flat Riemannian Space

In this paper, we study invariants of second order tensors in an $n$-dimensional flat Riemannian space. We define eigenvalues, eigenvectors and characteristic polynomials for second order tensors in such an $n$-dimensional Riemannian space and show that the coefficients of the characteristic polynomials are real polynomial invariants of that tensor. Then we give minimal integrity bases for second order symmetric and antisymmetric tensors, respectively, and study their special cases in the Minkowski space and applications in electrodynamics, etc.

math-ph↗

A Lower Bound for the Cardinality of Function Basis of Tensor Invariants

In this article, we give a proof for that the cardinality of a function basis of the invariants for a finite dimensional real vector space by a compact group is lower bounded by the intuitive difference of the dimensions of the vector space and the group. An application is given to the space of third order three dimensional symmetric and traceless tensors, showing that each minimal integrity basis is an irreducible function basis, which solves a problem in applied mechanics.

math.AG↗

Stationary probability vectors of higher-order two-dimensional transition probability tensors

In this paper we investigate stationary probability vectors of higher-order two-dimensional symmetric transition probability tensors. We show that there are two special symmetric transition probability tensors of order $m$ dimension 2, which have and only have two stationary probability vectors; and any other symmetric transition probability tensor of order $m$ dimension 2 has a unique stationary probability vector. As a byproduct, we obtain that any symmetric transition probability tensor of order $m$ dimension 2 has a unique positive stationary probability vector; and that any symmetric irreducible transition probability tensor of order $m$ dimension 2 has a unique stationary probability vector.

math.SP↗

On the M-eigenvalues of elasticity tensor and the strong ellipticity condition

Strong ellipticity is an important property in the elasticity theory. In 2009, M-eigenvalues were introduced for the elasticity tensor. It was shown that M-eigenvalues are invariant under coordinate system choices, and the strong ellipticity condition holds if and only if all the M-eigenvalues of the elasticity tensor are positive. Thus, M-eigenvalues are some intrinsic parameters of the elasticity tensor. In this paper, we show that the M-eigenvalues of the elasticity tensor are closely related with some elastic moduli, such as the bulk modulus, the shear modulus, Lamé's first parameter, the P-wave modulus, etc, and the positiveness of the M-eigenvalues are corresponding to some existing conditions for strong ellipticity in some special cases, such as the isotropic case, the cubic case, the polar anisotropic case and the tetragonal case. We also present new sufficient conditions for the strong ellipticity of the orthotropic case. These, in a certain sense, further reveal the physical meanings of M-eigenvalues.

math.RA↗

Regularly Decomposable Tensors and Classical Spin States

A spin-$j$ state can be represented by a symmetric tensor of order $N=2j$ and dimension $4$. Here, $j$ can be a positive integer, which corresponds to a boson; $j$ can also be a positive half-integer, which corresponds to a fermion. In this paper, we introduce regularly decomposable tensors and show that a spin-$j$ state is classical if and only if its representing tensor is a regularly decomposable tensor. In the even-order case, a regularly decomposable tensor is a completely decomposable tensor but not vice versa; a completely decomposable tensors is a sum-of-squares (SOS) tensor but not vice versa; an SOS tensor is a positive semi-definite (PSD) tensor but not vice versa. In the odd-order case, the first row tensor of a regularly decomposable tensor is regularly decomposable and its other row tensors are induced by the regular decomposition of its first row tensor. We also show that complete decomposability and regular decomposability are invariant under orthogonal transformations, and that the completely decomposable tensor cone and the regularly decomposable tensor cone are closed convex cones. Furthermore, in the even-order case, the completely decomposable tensor cone and the PSD tensor cone are dual to each other. The Hadamard product of two completely decomposable tensors is still a completely decomposable tensor. Since one may apply the positive semi-definite programming algorithm to detect whether a symmetric tensor is an SOS tensor or not, this gives a checkable necessary condition for classicality of a spin-$j$ state. Further research issues on regularly decomposable tensors are also raised.

quant-ph↗

A Quadratic Penalty Method for Hypergraph Matching

Hypergraph matching is a fundamental problem in computer vision. Mathematically speaking, it maximizes a polynomial objective function, subject to assignment constraints. In this paper, we reformulate the hypergraph matching problem as a sparse constrained tensor optimization problem. The optimality conditions are characterized based on the sparse constrained optimization theory. By dropping the sparsity constraint, we show that the resulting relaxation problem can recover the global minimizer of the original problem. The critical step in solving the original problem is to identify the location of nonzero entries (referred as support set) in a global minimizer. Inspired by such observations, we penalize the equality constraints and apply the quadratic penalty method to solve the relaxation problem. Under reasonable assumptions, we show that the support set of the global minimizer in hypergraph matching problem can be correctly identified when the number of iterations is sufficiently large. A projected gradient method is applied as a subsolver to solve the quadratic penalty subproblem. Numerical results demonstrate that the exact recovery of support set indeed happens, and the proposed algorithms are efficient in terms of both accuracy and speed.

math.OC↗

Transposes, L-Eigenvalues and Invariants of Third Order Tensors

Third order tensors have wide applications in mechanics, physics and engineering. The most famous and useful third order tensor is the piezoelectric tensor, which plays a key role in the piezoelectric effect, first discovered by Curie brothers. On the other hand, the Levi-Civita tensor is famous in tensor calculus. In this paper, we study third order tensors and (third order) hypermatrices systematically, by regarding a third order tensor as a linear operator which transforms a second order tensor into a first order tensor, or a first order tensor into a second order tensor. For a third order tensor, we define its transpose, kernel tensor and L-eigenvalues. Here, "L" is named after Levi-Civita. The transpose of a third order tensor is uniquely defined. In particular, the transpose of the piezoelectric tensor is the inverse piezoelectric tensor (the electrostriction tensor). The kernel tensor of a third order tensor is a second order positive semi-definite symmetric tensor, which is the product of that third order tensor and its transpose. We define L-eigenvalues, singular values, C-eigenvalues and Z-eigenvalues for a third order tensor. They are all invariants of that third order tensor. For a third order partially symmetric tensor, we give its eigenvector decomposition. The piezoelectric tensor, the inverse piezoelectric tensor, and third order symmetric tensors are third order partially symmetric tensors. We make a conjecture a third order symmetric tensor has seven independent invariants. We raise the questions on how may independent invariants a third order tensor, a third order partially symmetric tensor and a third order cyclically symmetric tensor may have respectively.

math-ph↗

How entangled can a multi-party system possibly be?

The geometric measure of entanglement of a pure quantum state is defined to be its distance to the space of product (seperable) states. Given an $n$-partite system composed of subsystems of dimensions $d_1,\ldots, d_n$, an upper bound for maximally allowable entanglement is derived in terms of geometric measure of entanglement. This upper bound is characterized exclusively by the dimensions $d_1,\ldots, d_n$ of composite subsystems. Numerous examples demonstrate that the upper bound appears to be reasonably tight.

quant-ph↗

Positive Definiteness of Paired Symmetric Tensors and Elasticity Tensors

In this paper, we consider higher order paired symmetric tensors and strongly paired symmetric tensors. Elasticity tensors and higher order elasticity tensors in solid mechanics are strongly paired symmetric tensors. A (strongly) paired symmetric tensor is said to be positive definite if the homogeneous polynomial defined by it is positive definite. Positive definiteness of elasticity and higher order elasticity tensors is strong ellipticity in solid mechanics, which plays an important role in nonlinear elasticity theory. We mainly investigate positive definiteness of fourth order three dimensional and sixth order three dimensional (strongly) paired symmetric tensors. We first show that the concerned (strongly) paired symmetric tensor is positive definite if and only if its smallest $M$-eigenvalue is positive. Second, we propose several necessary and sufficient conditions under which the concerned (strongly) paired symmetric tensor is positive definite. Third, we study the conditions under which the homogeneous polynomial defined by a fourth order three dimensional or sixth order three dimensional (strongly) paired symmetric tensor can be written as a sum of squares of polynomials, and further, propose several necessary and/or sufficient conditions to judge whether the concerned (strongly) paired symmetric tensors are positive definite or not. Fourth, by using semidefinite relaxation we propose a sequential semidefinite programming method to compute the smallest $M$-eigenvalue of a fourth order three dimensional (strongly) paired symmetric tensor, by which we can check positive definiteness of the concerned tensor. The preliminary numerical results demonstrate that our method is effective.

math.RA↗

On Some Sufficient Conditions for Strong Ellipticity

We establish several sufficient conditions for the strong ellipticity of any fourth-order elasticity tensor in this paper. The first presented sufficient condition is an extension of positive definite matrices, which states that the strong ellipticity holds if the unfolding matrix of this fourth-order elasticity tensor can be modified into a positive definite one by preserving the summations of some corresponding entries. An alternating projection algorithm is proposed to verify whether an elasticity tensor satisfies the first condition or not. Conditions for some special cases beyond the first sufficient condition are further investigated, which includes some important cases for the isotropic and some particular anisotropic linearly elastic materials.

math.NA↗

Tensor absolute value equations

This paper is concerned with solving some structured multi-linear systems, which are called tensor absolute value equations. This kind of absolute value equations is closely related to tensor complementarity problems and is a generalization of the well-known absolute value equations in the matrix case. We prove that tensor absolute value equations are equivalent to some special structured tensor complementary problems. Some sufficient conditions are given to guarantee the existence of solutions for tensor absolute value equations. We also propose a Levenberg-Marquardt-type algorithm for solving some given tensor absolute value equations and preliminary numerical results are reported to indicate the efficiency of the proposed algorithm.

math.NA↗

Octupolar Tensors for Liquid Crystals

A third-order three-dimensional symmetric traceless tensor, called the \emph{octupolar} tensor, has been introduced to study tetrahedratic nematic phases in liquid crystals. The octupolar \emph{potential}, a scalar-valued function generated on the unit sphere by that tensor, should ideally have four maxima capturing the most probable molecular orientations (on the vertices of a tetrahedron), but it was recently found to possess an equally generic variant with \emph{three} maxima instead of four. It was also shown that the irreducible admissible region for the octupolar tensor in a three-dimensional parameter space is bounded by a dome-shaped surface, beneath which is a \emph{separatrix} surface connecting the two generic octupolar states. The latter surface, which was obtained through numerical continuation, may be physically interpreted as marking a possible \emph{intra-octupolar} transition. In this paper, by using the resultant theory of algebraic geometry and the E-characteristic polynomial of spectral theory of tensors, we give a closed-form, algebraic expression for both the dome-shaped surface and the separatrix surface. This turns the envisaged intra-octupolar transition into a quantitative, possibly observable prediction. Some other properties of octupolar tensors are also studied.

math-ph↗

Spectral Analysis of Piezoelectric Tensors

A third order real tensor is called a piezoelectric-type tensor if it is partially symmetric with respect to its last two indices. The piezoelectric tensor is a piezoelectric-type tensor of dimension three. We introduce C-eigenvalues and C-eigenvectors for piezoelectric-type tensors. Here, "C" names after Curie brothers, who first discovered the piezoelectric effect. We show that C-eigenvalues always exist, they are invariant under orthonormal transformations, and for a piezoelectric-type tensor, the largest C-eigenvalue and its C-eigenvectors form the best rank-one piezoelectric-type approximation of that tensor. This means that for the piezoelectric tensor, its largest C-eigenvalue determines the highest piezoelectric coupling constant. We further show that for the piezoelectric tensor, the largest C-eigenvalue corresponds to the electric displacement vector with the largest $2$-norm in the piezoelectric effect under unit uniaxial stress, and the strain tensor with the largest $2$-norm in the converse piezoelectric effect under unit electric field vector. Thus, C-eigenvalues and C-eigenvectors have concrete physical meanings in piezoelectric effect and converse piezoelectric effect. Finally, we apply C-eigenvalues and associated C-eigenvectors for various piezoelectric crystals with different symmetries.

math-ph↗

Computing the $p$-Spectral Radii of Uniform Hypergraphs with Applications

The $p$-spectral radius of a uniform hypergraph covers many important concepts, such as Lagrangian and spectral radius of the hypergraph, and is crucial for solving spectral extremal problems of hypergraphs. In this paper, we establish a spherically constrained maximization model and propose a first-order conjugate gradient algorithm to compute the $p$-spectral radius of a uniform hypergraph (CSRH). By the semialgebraic nature of the adjacency tensor of a uniform hypergraph, CSRH is globally convergent and obtains the global maximizer with a high probability. When computing the spectral radius of the adjacency tensor of a uniform hypergraph, CSRH stands out among existing approaches. Furthermore, CSRH is competent to calculate the $p$-spectral radius of a hypergraph with millions of vertices and to approximate the Lagrangian of a hypergraph. Finally, we show that the CSRH method is capable of ranking real-world data set based on solutions generated by the $p$-spectral radius model.

math.CO↗