Related papers: Perron matrix semigroups
A closed convex conic subset $\mathcal{S}$ of the positive semidefinite (PSD) cone is rank-one generated (ROG) if all of its extreme rays are generated by rank-one matrices. The ROG property of $\mathcal{S}$ is closely related to the…
We prove that every reversible Markov semigroup which satisfies a Poincar\'e inequality satisfies a matrix-valued Poincar\'e inequality for Hermitian $d\times d$ matrix valued functions, with the same Poincar\'e constant. This generalizes…
A semigroup is completely simple if it has no proper ideals and contains a primitive idempotent. We say that a completely simple semigroup $S$ is a homogeneous completely simple semigroup if any isomorphism between finitely generated…
Using the Perron-Frobenius eigenfunction and eigenvalue, each finite irreducible nonnegative matrix $A$ can be transformed into a probability kernel $P$. This was generalized by David Vere-Jones who gave necessary and sufficient conditions…
Given a semigroup $S$, a diagonal subsemigroup $\rho$ is defined to be a reflexive and compatible relation on $S$, i.e. a subsemigroup of the direct square $S\times S$ containing the diagonal $\{ (s,s)\colon s\in S\}$. When $S$ is finite,…
An algebraic group is called semi-reductive if it is a semi-direct product of a reductive subgroup and the unipotent radical. Such a semi-reductive algebraic group naturally arises and also plays a key role in the study of modular…
We introduce so-called cone topologies of paratopological groups, which are a wide way to construct counterexamples, especially of examples of compact-like paratopological groups with discontinuous inversion. We found a simple interplay…
A semigroup is called $E$-$separated$ if for any distinct idempotents $x,y\in X$ there exists a homomorphism $h:X\to Y$ to a semilattice $Y$ such that $h(x)\ne h(y)$. Developing results of Putcha and Weissglass, we characterize…
Let $x_1, \dots, x_n$ be points in a metric space and define the distance matrix $D \in \mathbb{R}^{n \times n}$ by ${D}_{ij} = d(x_i, x_j)$. The Perron-Frobenius Theorem implies that there is an eigenvector $v \in \mathbb{R}^n_{}$ with…
Considered is the multiplicative semigroup of ratios of products of principal minors bounded over all positive definite matrices. A long history of literature identifies various elements of this semigroup, all of which lie in a…
A numerical semigroup is called cyclotomic if its corresponding numerical semigroup polynomial $P_S(x)=(1-x)\sum_{s\in S}x^s$ is expressable as the product of cyclotomic polynomials. Ciolan, Garc\'ia-S\'anchez, and Moree conjectured that…
A set is called semidefinite representable or semidefinite programming (SDP) representable if it can be represented as the projection of a higher dimensional set which is represented by some Linear Matrix Inequality (LMI). This paper…
Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ a partition of $X$. Denote by $T(X)$ the full transformation semigroup on $X$, and $T(X, \mathcal{P})$ the subsemigroup of $T(X)$ consisting of all transformations that…
We investigate semigroups $S$ which have the property that every subsemigroup of $S\times S$ which contains the diagonal $\{ (s,s)\colon s\in S\}$ is necessarily a congruence on $S$. We call such $S$ a DSC semigroup. It is well known that…
We prove some eigenvalue inequalities for positive semidefinite matrices partitioned into four blocks. The inradius of the numerical range of the off-diagonal block contributes to these estimates. Some related norm inequalities are given…
A Riemann surface $\mathcal{S}$ having field of moduli $\mathbb{R}$, but not a field of definition, is called \emph{pseudoreal}. This means that $\mathcal{S}$ has anticonformal automorphisms, but non of them is an involution. We call a…
The work proves that, for three-dimensional upper triangular groups over a field of odd characteristic with an abelian unipotent subgroup, the ring of invariants is polynomial if and only if the unipotent subgroup is generated by…
Let G be a connected reductive group. Recall that a G-variety X is called spherical if X is normal and a Borel subgroup of G has an open orbit on X. To a spherical homogeneous G-space one assigns certain combinatorial invariants: the weight…
The saddle point matrices arising from many scientific computing fields have block structure $ W= \left(\begin{array}{cc} A & B\\ B^T & C \end{array} \right) $, where the sub-block $A$ is symmetric and positive definite, and $C$ is…
Let $k$ be a field and $n,a,b$ natural numbers. A matrix pencil $P$ is given by $n$ matrices of the same size with coefficients in $k$, say by $(b\times a)$-matrices, or, equivalently, by $n$ linear transformations $\alpha_i\:k^a \to k^b$…