Results 21 to 30 of about 5,889,360 (355)
Positive Inductive-Recursive Definitions [PDF]
Logical Methods in Computer Science, 2013 A new theory of data types which allows for the definition of types as initial algebras of certain functors Fam(C) -> Fam(C) is presented. This theory, which we call positive inductive-recursive definitions, is a generalisation of Dybjer and Setzer's theory of inductive-recursive definitions within which C had to be discrete -- our work can ...
Ghani, Neil +2 more
openaire +9 more sources
Ordering positive definite matrices [PDF]
Information Geometry, 2018 We introduce new partial orders on the set $S^+_n$ of positive definite matrices of dimension $n$ derived from the affine-invariant geometry of $S^+_n$. The orders are induced by affine-invariant cone fields, which arise naturally from a local analysis of the orders that are compatible with the homogeneous geometry of $S^+_n$ defined by the natural ...
Mostajeran, C, Sepulchre, R
openaire +3 more sources
Entropy, 2022 In the spectral analysis of operators associated with Sturm–Liouville-type boundary value problems for fractional differential equations, the problem of positive definiteness or the problem of Hermitian nonnegativity of the corresponding kernels plays an
Mukhamed Aleroev, Temirkhan Aleroev
doaj +1 more source
One-Step Recurrences for Stationary Random Fields on the Sphere [PDF]
, 2016 Recurrences for positive definite functions in terms of the space dimension have been used in several fields of applications. Such recurrences typically relate to properties of the system of special functions characterizing the geometry of the underlying
Beatson, R. K., Castell, W. zu
core +1 more source
Extending positive definiteness [PDF]
Transactions of the American Mathematical Society, 2011 The main result of the paper gives criteria for extendibility of sesquilinear form-valued mappings defined on symmetric subsets of *-semigroups to positive definite ones. By specifying this we obtain new solutions of: * the truncated complex moment problem, * the truncated multidimensional trigonometric moment problem, * the truncated two-sided complex
Cichoń, Dariusz +2 more
openaire +4 more sources
V-singular values of rectangular tensors and their applications
Journal of Inequalities and Applications, 2019 The positive definiteness of rectangular tensors has wide applications in solid mechanics and quantum physics. By modifying the existing definition of singular value for rectangular tensors, some V-singular value inclusion sets for rectangular tensors ...
Jun He +3 more
doaj +1 more source
An optimal Z-eigenvalue inclusion interval for a sixth-order tensor and its an application
AIMS Mathematics, 2022 An optimal Z-eigenvalue inclusion interval for a sixth-order tensor is presented. As an application, a sufficient condition for the positive definiteness of a sixth-order real symmetric tensor (also a homogeneous polynomial form) is obtained, which is ...
Tinglan Yao
doaj +1 more source
Propagation of regularity and positive definiteness: a constructive approach [PDF]
, 2018 We show that, for positive definite kernels, if specific forms of regularity (continuity, Sn-differentiability or holomorphy) hold locally on the diagonal, then they must hold globally on the whole domain of positive-definiteness.
J. Buescu, A. Paixao, C. Oliveira
semanticscholar +1 more source
Networks and Heterogeneous Media, 2014 We study spring-block systems which are equivalent to the P1-finite element methods forthe linear elliptic partial differential equation of second orderand for the equations of linear elasticity.Each derived spring-block system is consistent with the ...
Hirofumi Notsu, Masato Kimura
doaj +1 more source
Open Mathematics, 2021 Positive definite polynomials are important in the field of optimization. ℋ-tensors play an important role in identifing the positive definiteness of an even-order homogeneous multivariate form.
Sun Deshu, Bai Dongjian
doaj +1 more source