Related papers: Ordering Positive Definite Matrices
This paper presents an algorithmic method for generating random orthogonal matrices \(A\) that satisfy the property \(A^t S A = S\), where \(S\) is a fixed real invertible symmetric or skew-symmetric matrix. This method is significant as it…
We introduce G{\aa}rding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove…
For every finite rank k, k>1, we explicitly construct (2k)! left orders on the free group F_k of rank k. Each order is induced by a word of length 2k in which each generator of F_k and its inverse appear exactly once. For each of these…
Deciding the positivity of a sequence defined by a linear recurrence with polynomial coefficients and initial condition is difficult in general. Even in the case of recurrences with constant coefficients, it is known to be decidable only…
We construct affine charts of a smooth projective toric variety which contain its nonnegative points, and which admit a closed embedding into the total coordinate space of Cox's quotient construction. We show that such positive charts arise…
Let $\mathbb{N}^{2}_{\leqslant}$ be the set $\mathbb{N}^{2}$ with the partial order defined as the product of usual order $\leq$ on the set of positive integers $\mathbb{N}$. We study the semigroup…
In this paper, we discuss positive maps induced by (irreducibly) covariant linear operators for finite groups. The application of group theory methods allows deriving some new results of a different kind. In particular, a family of…
The covering of the affine symmetry group, a semidirect product of translations and special linear transformations, in $D \geq 3$ dimensional spacetime is considered. Infinite dimensional spinorial representations on states and fields are…
The classical Loewner's theorem states that operator monotone functions on real intervals are described by holomorphic functions on the upper half-plane. We characterize local order isomorphisms on operator domains by biholomorphic…
We introduce the notion of $GL(n)$-dependence of matrices, which is a generalization of linear dependence taking into account the matrix structure. Then we prove a theorem, which generalizes, on the one hand, the fact that $n+1$ vectors in…
We characterize real and complex functions which, when applied entrywise to square matrices, yield a positive definite matrix if and only if the original matrix is positive definite. We refer to these transformations as sign preservers.…
The variety of principal minors of $n\times n$ symmetric matrices, denoted $Z_{n}$, is invariant under the action of a group $G\subset \GL(2^{n})$ isomorphic to $\G$. We describe an irreducible $G$-module of degree $4$ polynomials…
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. This…
This survey contains a selection of topics unified by the concept of positive semi-definiteness (of matrices or kernels), reflecting natural constraints imposed on discrete data (graphs or networks) or continuous objects (probability or…
A convex cone is homogeneous if its automorphism group acts transitively on the interior of the cone, i.e., for every pair of points in the interior of the cone, there exists a cone automorphism that maps one point to the other. Cones that…
Convolution admits a natural formulation as a functional operation on matrices. Motivated by the functional and entrywise calculi, this leads to a framework in which convolution defines a matrix transform that preserves positivity. Within…
Given a topological group $G$ and a unitary representation $U$ of $G$, we consider the problem of classifying the positive operator measures which are based on a $G$-homogeneous space $X$ and covariant with respect to the representation…
The natural partial ordering of the orbit types of the action of the group of local gauge transformations on the space of connections in space-time dimension d<=4 is investigated. For that purpose, a description of orbit types in terms of…
We introduce and investigate the resolvent order, which is a binary relation on the set of firmly nonexpansive mappings. It unifies well-known orders introduced by Loewner (for positive semidefinite matrices) and by Zarantonello (for…
We determine all affinely homogeneous models for surfaces $S^2 \subset \mathbb{R}^4$, including the simply transitive models. We employ an improved power series method of equivalence, which captures invariants at the origin, creates…