In this paper, we calculate the absolute tensor square of the Dirichlet L-functions and show that it is expressed as an Euler product over pairs of primes. The method is to construct an equation to link primes to a se...In this paper, we calculate the absolute tensor square of the Dirichlet L-functions and show that it is expressed as an Euler product over pairs of primes. The method is to construct an equation to link primes to a series which has the factors of the absolute tensor product of the Dirichlet L-functions. This study is a generalization of Akatsuka’s theorem on the Riemann zeta function, and gives a proof of Kurokawa’s prediction proposed in 1992.展开更多
Some theorems of compactly supported non-tensor product form two-dimension Daubechies wavelet were analysed carefully. Compactly supported non-tensor product form two-dimension wavelet was constructed, then non-tensor...Some theorems of compactly supported non-tensor product form two-dimension Daubechies wavelet were analysed carefully. Compactly supported non-tensor product form two-dimension wavelet was constructed, then non-tensor product form two dimension wavelet finite element was used to solve the deflection problem of elastic thin plate. The error order was researched. A numerical example was given at last.展开更多
We show that the matrix (or more generally tensor) product states in a finite translation invariant system can be accurately constructed from a same set of local matrices (or tensors) that are determined from an i...We show that the matrix (or more generally tensor) product states in a finite translation invariant system can be accurately constructed from a same set of local matrices (or tensors) that are determined from an infinite lattice system in one or higher dimensions. This provides an efficient approach for studying translation invariant tensor product states in finite lattice systems. Two methods are introduced to determine the size-independent local tensors.展开更多
2-frames in 2-Hilbert spaces are studied and some results on it are presented. The tensor product of 2-frames in 2-Hilbert spaces is introduced. It is shown that the tensor product of two 2-frames is a 2-frame for the...2-frames in 2-Hilbert spaces are studied and some results on it are presented. The tensor product of 2-frames in 2-Hilbert spaces is introduced. It is shown that the tensor product of two 2-frames is a 2-frame for the tensor product of Hilbert spaces. Some results on tensor product of 2-frames are established.展开更多
A kind of mixed tensor product negative Bemstein-B6zier basis function is presented in this paper. Some important prop- erties of this kind of basis function are discussed and mixed tensor product negative Bemstein-B6...A kind of mixed tensor product negative Bemstein-B6zier basis function is presented in this paper. Some important prop- erties of this kind of basis function are discussed and mixed tensor product negative Bemstein-B6zier is defined based on it. The ba- sic properties of the such surface are discussed. Via de Casteljan algorithm, the evaluation algorithm and subdivision algorithm for mixed tensor product negative Bernstein-B6zier surfaces are derived as extensions of the algorithms of B6zier curves and negative Bernstein curves.展开更多
In this paper twe prove that the inverse limit of metra-projective modules (meta-injective modules resp. ) is also meta-projective (meta-injective resp. ). Let K be a field f R1, R2 be K-algebras, we also obtain a suf...In this paper twe prove that the inverse limit of metra-projective modules (meta-injective modules resp. ) is also meta-projective (meta-injective resp. ). Let K be a field f R1, R2 be K-algebras, we also obtain a sufficient condition for lgldim (R1 R2,)≥lgldim R1+lgldimR2, and wgldim (R1 R2) ≥wgldimR1展开更多
This paper investigates the networked evolutionary model based on snow-drift game with the strategy of rewards and penalty. Firstly, by using the semi-tensor product of matrices approach, the mathematical model of the...This paper investigates the networked evolutionary model based on snow-drift game with the strategy of rewards and penalty. Firstly, by using the semi-tensor product of matrices approach, the mathematical model of the networked evolutionary game is built. Secondly, combined with the matrix expression of logic, the mathematical model is expressed as a dynamic logical system and next converted into its evolutionary dynamic algebraic form. Thirdly, the dynamic evolution process is analyzed and the final level of cooperation is discussed. Finally, the effects of the changes in the rewarding and penalty factors on the level of cooperation in the model are studied separately, and the conclusions are verified by examples.展开更多
The fourth-order B spline wavelet scaling functions are used to solve the two-dimensional unsteady diffusion equation. The calculations from a case history indicate that the method provides high accuracy and the compu...The fourth-order B spline wavelet scaling functions are used to solve the two-dimensional unsteady diffusion equation. The calculations from a case history indicate that the method provides high accuracy and the computational efficiency is enhanced due to the small matrix derived from this method.The respective features of 3-spline wavelet scaling functions,4-spline wavelet scaling functions and quasi-wavelet used to solve the two-dimensional unsteady diffusion equation are compared. The proposed method has potential applications in many fields including marine science.展开更多
In this paper, we propose and analyze a tensor product subdivision scheme which is the extension of three point scheme for curve modeling. The usefulness of the scheme is illustrated by considering different examples ...In this paper, we propose and analyze a tensor product subdivision scheme which is the extension of three point scheme for curve modeling. The usefulness of the scheme is illustrated by considering different examples along with its application in surface modeling.展开更多
We shall give natural generalized solutions of Hadamard and tensor products equations for matrices by the concept of the Tikhonov regularization combined with the theory of reproducing kernels.
We treat infinite horizon optimal control problems by solving the associated stationary Bellman equation numerically to compute the value function and an optimal feedback law.The dynamical systems under consideration ...We treat infinite horizon optimal control problems by solving the associated stationary Bellman equation numerically to compute the value function and an optimal feedback law.The dynamical systems under consideration are spatial discretizations of non linear parabolic partial differential equations(PDE),which means that the Bellman equation suffers from the curse of dimensionality.Its non linearity is handled by the Policy Iteration algorithm,where the problem is reduced to a sequence of linear equations,which remain the computational bottleneck due to their high dimensions.We reformulate the linearized Bellman equations via the Koopman operator into an operator equation,that is solved using a minimal residual method.Using the Koopman operator we identify a preconditioner for operator equation,which deems essential in our numerical tests.To overcome computational infeasability we use low rank hierarchical tensor product approximation/tree-based tensor formats,in particular tensor trains(TT tensors)and multi-polynomials,together with high-dimensional quadrature,e.g.Monte-Carlo.By controlling a destabilized version of viscous Burgers and a diffusion equation with unstable reaction term numerical evidence is given.展开更多
In this research, we explore the properties and applications of the mapping cone and its variant, the pinched mapping cone. The mapping cone is a construction that arises naturally in algebraic topology and is used to...In this research, we explore the properties and applications of the mapping cone and its variant, the pinched mapping cone. The mapping cone is a construction that arises naturally in algebraic topology and is used to study the homotopy type of spaces. It has several key properties, including its homotopy equivalence to the cofiber of a continuous map, and its ability to compute homotopy groups using the long exact sequence associated with the cofiber. We also provide an overview of the properties and applications of the mapping cone and the pinched mapping cone in algebraic topology. This work highlights the importance of these constructions in the study of homotopy theory and the calculation of homotopy groups. The study also points to the potential for further research in this area which includes the study of higher homotopy groups and the applications of these constructions to other areas of mathematics.展开更多
The problem of solving type-2 fuzzy relation equations is investigated. In order to apply semi-tensor product of matrices, a new matrix analysis method and tool, to solve type-2 fuzzy relation equations, a type-2 fuzz...The problem of solving type-2 fuzzy relation equations is investigated. In order to apply semi-tensor product of matrices, a new matrix analysis method and tool, to solve type-2 fuzzy relation equations, a type-2 fuzzy relation is decomposed into two parts as principal sub-matrices and secondary sub-matrices; an r-ary symmetrical-valued type-2 fuzzy relation model and its corresponding symmetrical-valued type-2 fuzzy relation equation model are established. Then, two algorithms are developed for solving type-2 fuzzy relation equations, one of which gives a theoretical description for general type-2 fuzzy relation equations; the other one can find all the solutions to the symmetrical-valued ones. The results can improve designing type-2 fuzzy controllers, because it provides knowledge to search the optimal solutions or to find the reason if there is no solution. Finally some numerical examples verify the correctness of the results/algorithms.展开更多
This paper studies the multi-degree reduction of tensor product B(?)zier surfaces with any degree interpolation conditions of four corners, which is urgently to be resolved in many CAD/CAM systems. For the given condi...This paper studies the multi-degree reduction of tensor product B(?)zier surfaces with any degree interpolation conditions of four corners, which is urgently to be resolved in many CAD/CAM systems. For the given conditions of corners interpolation, this paper presents one intuitive method of degree reduction of parametric surfaces. Another new approximation algorithm of multi-degree reduction is also presented with the degree elevation of surfaces and the Chebyshev polynomial approximation theory. It obtains the good approximate effect and the boundaries of degree reduced surface can preserve the prescribed continuities. The degree reduction error of the latter algorithm is much smaller than that of the first algorithm. The error bounds of degree reduction of two algorithms are also presented .展开更多
This paper proposes a new matrix product, namely, semi-tensor product. It is a general-ization of the conventional matrix product. Meanwhile, it is also closely related to Kronecker (tensor) product of matrices. The p...This paper proposes a new matrix product, namely, semi-tensor product. It is a general-ization of the conventional matrix product. Meanwhile, it is also closely related to Kronecker (tensor) product of matrices. The purpose of introducing this product is twofold: (i) treat multi-dimensional da-ta; (ii) treat nonlinear problems in a linear way. Then the computer and numerical methods can be easily used for solving nonlinear problems. Properties and formulas are deduced. As an application, the Morgan's problem for control systems is formulated as a numerically solvable problem.展开更多
In this paper a comprehensive introduction for modeling and control of networked evolutionary games (NEGs) via semi-tensor product (STP) approach is presented. First, we review the mathematical model of an NEG, wh...In this paper a comprehensive introduction for modeling and control of networked evolutionary games (NEGs) via semi-tensor product (STP) approach is presented. First, we review the mathematical model of an NEG, which consists of three ingredients: network graph, fundamental network game, and strategy updating rule. Three kinds of network graphs are considered, which are i) undirected graph for symmetric games; ii) directed graph for asymmetric games, and iii) d-directed graph for symmetric games with partial neighborhood information. Three kinds of fundamental evolutionary games (FEGs) are discussed, which are i) two strategies and symmetric (S-2); ii) two strategies and asymmetric (A-2); and iii) three strategies and symmetric (S-3). Three strategy updating rules (SUR) are introduced, which are i) Unconditional Imitation (UI); ii) Fermi Rule(FR); iii) Myopic Best Response Adjustment Rule (MBRA). First, we review the fundamental evolutionary equation (FEE) and use it to construct network profile dynamics (NPD)of NEGs. To show how the dynamics of an NEG can be modeled as a discrete time dynamics within an algebraic state space, the fundamental evolutionary equation (FEE) of each player is discussed. Using FEEs, the network strategy profile dynamics (NSPD) is built by providing efficient algorithms. Finally, we consider three more complicated NEGs: i) NEG with different length historical information, ii) NEG with multi-species, and iii) NEG with time-varying payoffs. In all the cases, formulas are provided to construct the corresponding NSPDs. Using these NSPDs, certain properties are explored. Examples are presented to demonstrate the model constructing method, analysis and control design technique, and to reveal certain dynamic behaviors of NEGs.展开更多
This paper investigates the transition function and the reachability conditions of finite automata by using a semitensor product of matrices, which is a new powerful matrix analysis tool. The states and input symbols ...This paper investigates the transition function and the reachability conditions of finite automata by using a semitensor product of matrices, which is a new powerful matrix analysis tool. The states and input symbols are first expressed in vector forms, then the transition function is described in an algebraic form. Using this algebraic representation, a sufficient and necessary condition of the reachability of any two states is proposed, based on which an algorithm is developed for discovering all the paths from one state to another. Furthermore, a mechanism is established to recognize the language acceptable by a finite automaton. Finally, illustrative examples show that the results/algorithms presented in this paper are suitable for both deterministic finite automata (DFA) and nondeterministic finite automata (NFA).展开更多
文摘In this paper, we calculate the absolute tensor square of the Dirichlet L-functions and show that it is expressed as an Euler product over pairs of primes. The method is to construct an equation to link primes to a series which has the factors of the absolute tensor product of the Dirichlet L-functions. This study is a generalization of Akatsuka’s theorem on the Riemann zeta function, and gives a proof of Kurokawa’s prediction proposed in 1992.
文摘Some theorems of compactly supported non-tensor product form two-dimension Daubechies wavelet were analysed carefully. Compactly supported non-tensor product form two-dimension wavelet was constructed, then non-tensor product form two dimension wavelet finite element was used to solve the deflection problem of elastic thin plate. The error order was researched. A numerical example was given at last.
基金supported by the National Natural Science Foundation of Chinathe National Program for Basic Research of the Ministry of Science and Technology of China
文摘We show that the matrix (or more generally tensor) product states in a finite translation invariant system can be accurately constructed from a same set of local matrices (or tensors) that are determined from an infinite lattice system in one or higher dimensions. This provides an efficient approach for studying translation invariant tensor product states in finite lattice systems. Two methods are introduced to determine the size-independent local tensors.
文摘2-frames in 2-Hilbert spaces are studied and some results on it are presented. The tensor product of 2-frames in 2-Hilbert spaces is introduced. It is shown that the tensor product of two 2-frames is a 2-frame for the tensor product of Hilbert spaces. Some results on tensor product of 2-frames are established.
文摘A kind of mixed tensor product negative Bemstein-B6zier basis function is presented in this paper. Some important prop- erties of this kind of basis function are discussed and mixed tensor product negative Bemstein-B6zier is defined based on it. The ba- sic properties of the such surface are discussed. Via de Casteljan algorithm, the evaluation algorithm and subdivision algorithm for mixed tensor product negative Bernstein-B6zier surfaces are derived as extensions of the algorithms of B6zier curves and negative Bernstein curves.
文摘In this paper twe prove that the inverse limit of metra-projective modules (meta-injective modules resp. ) is also meta-projective (meta-injective resp. ). Let K be a field f R1, R2 be K-algebras, we also obtain a sufficient condition for lgldim (R1 R2,)≥lgldim R1+lgldimR2, and wgldim (R1 R2) ≥wgldimR1
文摘This paper investigates the networked evolutionary model based on snow-drift game with the strategy of rewards and penalty. Firstly, by using the semi-tensor product of matrices approach, the mathematical model of the networked evolutionary game is built. Secondly, combined with the matrix expression of logic, the mathematical model is expressed as a dynamic logical system and next converted into its evolutionary dynamic algebraic form. Thirdly, the dynamic evolution process is analyzed and the final level of cooperation is discussed. Finally, the effects of the changes in the rewarding and penalty factors on the level of cooperation in the model are studied separately, and the conclusions are verified by examples.
文摘The fourth-order B spline wavelet scaling functions are used to solve the two-dimensional unsteady diffusion equation. The calculations from a case history indicate that the method provides high accuracy and the computational efficiency is enhanced due to the small matrix derived from this method.The respective features of 3-spline wavelet scaling functions,4-spline wavelet scaling functions and quasi-wavelet used to solve the two-dimensional unsteady diffusion equation are compared. The proposed method has potential applications in many fields including marine science.
文摘In this paper, we propose and analyze a tensor product subdivision scheme which is the extension of three point scheme for curve modeling. The usefulness of the scheme is illustrated by considering different examples along with its application in surface modeling.
文摘We shall give natural generalized solutions of Hadamard and tensor products equations for matrices by the concept of the Tikhonov regularization combined with the theory of reproducing kernels.
基金support from the Research Training Group“Differential Equation-and Data-driven Models in Life Sciences and Fluid Dynamics:An Interdisciplinary Research Training Group(DAEDALUS)”(GRK 2433)funded by the German Research Foundation(DFG).
文摘We treat infinite horizon optimal control problems by solving the associated stationary Bellman equation numerically to compute the value function and an optimal feedback law.The dynamical systems under consideration are spatial discretizations of non linear parabolic partial differential equations(PDE),which means that the Bellman equation suffers from the curse of dimensionality.Its non linearity is handled by the Policy Iteration algorithm,where the problem is reduced to a sequence of linear equations,which remain the computational bottleneck due to their high dimensions.We reformulate the linearized Bellman equations via the Koopman operator into an operator equation,that is solved using a minimal residual method.Using the Koopman operator we identify a preconditioner for operator equation,which deems essential in our numerical tests.To overcome computational infeasability we use low rank hierarchical tensor product approximation/tree-based tensor formats,in particular tensor trains(TT tensors)and multi-polynomials,together with high-dimensional quadrature,e.g.Monte-Carlo.By controlling a destabilized version of viscous Burgers and a diffusion equation with unstable reaction term numerical evidence is given.
文摘In this research, we explore the properties and applications of the mapping cone and its variant, the pinched mapping cone. The mapping cone is a construction that arises naturally in algebraic topology and is used to study the homotopy type of spaces. It has several key properties, including its homotopy equivalence to the cofiber of a continuous map, and its ability to compute homotopy groups using the long exact sequence associated with the cofiber. We also provide an overview of the properties and applications of the mapping cone and the pinched mapping cone in algebraic topology. This work highlights the importance of these constructions in the study of homotopy theory and the calculation of homotopy groups. The study also points to the potential for further research in this area which includes the study of higher homotopy groups and the applications of these constructions to other areas of mathematics.
基金This work was partially supported by the Natural Science Foundation of China (No. 611 74094) the Tianjin Natural Science Foundation of China (No. 13JCYBJC1 7400) the Program for New Century Excellent Talents in University of China (No. NCET-10-0506).
文摘The problem of solving type-2 fuzzy relation equations is investigated. In order to apply semi-tensor product of matrices, a new matrix analysis method and tool, to solve type-2 fuzzy relation equations, a type-2 fuzzy relation is decomposed into two parts as principal sub-matrices and secondary sub-matrices; an r-ary symmetrical-valued type-2 fuzzy relation model and its corresponding symmetrical-valued type-2 fuzzy relation equation model are established. Then, two algorithms are developed for solving type-2 fuzzy relation equations, one of which gives a theoretical description for general type-2 fuzzy relation equations; the other one can find all the solutions to the symmetrical-valued ones. The results can improve designing type-2 fuzzy controllers, because it provides knowledge to search the optimal solutions or to find the reason if there is no solution. Finally some numerical examples verify the correctness of the results/algorithms.
基金This work was supported by the National Natural Science Foundation of China (Grant No. 69973041) Natural Science Foundation of Zhejiang Province (Grant No. 698025) and the Foundation of State Key Basic Research 973 Project (Grant No. G1998030600).
文摘This paper studies the multi-degree reduction of tensor product B(?)zier surfaces with any degree interpolation conditions of four corners, which is urgently to be resolved in many CAD/CAM systems. For the given conditions of corners interpolation, this paper presents one intuitive method of degree reduction of parametric surfaces. Another new approximation algorithm of multi-degree reduction is also presented with the degree elevation of surfaces and the Chebyshev polynomial approximation theory. It obtains the good approximate effect and the boundaries of degree reduced surface can preserve the prescribed continuities. The degree reduction error of the latter algorithm is much smaller than that of the first algorithm. The error bounds of degree reduction of two algorithms are also presented .
基金This work was supported by the National Natural Science Foundation of China ( Grant Nos. G69774008, G59837270) National 973 Project (Grant No. G1998020308) National Key Project of China.
文摘This paper proposes a new matrix product, namely, semi-tensor product. It is a general-ization of the conventional matrix product. Meanwhile, it is also closely related to Kronecker (tensor) product of matrices. The purpose of introducing this product is twofold: (i) treat multi-dimensional da-ta; (ii) treat nonlinear problems in a linear way. Then the computer and numerical methods can be easily used for solving nonlinear problems. Properties and formulas are deduced. As an application, the Morgan's problem for control systems is formulated as a numerically solvable problem.
基金This work was partially supported by National Natural Science Foundation of China (Nos. 61273013, 61333001, 61104065, 61322307).
文摘In this paper a comprehensive introduction for modeling and control of networked evolutionary games (NEGs) via semi-tensor product (STP) approach is presented. First, we review the mathematical model of an NEG, which consists of three ingredients: network graph, fundamental network game, and strategy updating rule. Three kinds of network graphs are considered, which are i) undirected graph for symmetric games; ii) directed graph for asymmetric games, and iii) d-directed graph for symmetric games with partial neighborhood information. Three kinds of fundamental evolutionary games (FEGs) are discussed, which are i) two strategies and symmetric (S-2); ii) two strategies and asymmetric (A-2); and iii) three strategies and symmetric (S-3). Three strategy updating rules (SUR) are introduced, which are i) Unconditional Imitation (UI); ii) Fermi Rule(FR); iii) Myopic Best Response Adjustment Rule (MBRA). First, we review the fundamental evolutionary equation (FEE) and use it to construct network profile dynamics (NPD)of NEGs. To show how the dynamics of an NEG can be modeled as a discrete time dynamics within an algebraic state space, the fundamental evolutionary equation (FEE) of each player is discussed. Using FEEs, the network strategy profile dynamics (NSPD) is built by providing efficient algorithms. Finally, we consider three more complicated NEGs: i) NEG with different length historical information, ii) NEG with multi-species, and iii) NEG with time-varying payoffs. In all the cases, formulas are provided to construct the corresponding NSPDs. Using these NSPDs, certain properties are explored. Examples are presented to demonstrate the model constructing method, analysis and control design technique, and to reveal certain dynamic behaviors of NEGs.
基金Acknowledgements This work was supported by the National Natural Science Foundation of China (Grant No. 61174094), and the Tianjin Natural Science Foundation of China under (14JCYBJC18700 and 13JCY- BJC17400).
文摘This paper investigates the transition function and the reachability conditions of finite automata by using a semitensor product of matrices, which is a new powerful matrix analysis tool. The states and input symbols are first expressed in vector forms, then the transition function is described in an algebraic form. Using this algebraic representation, a sufficient and necessary condition of the reachability of any two states is proposed, based on which an algorithm is developed for discovering all the paths from one state to another. Furthermore, a mechanism is established to recognize the language acceptable by a finite automaton. Finally, illustrative examples show that the results/algorithms presented in this paper are suitable for both deterministic finite automata (DFA) and nondeterministic finite automata (NFA).