Given a euclidean vector space V = (V,〈〉) and a linear map η: V ∧ V → V, the anti-commutative algebra (V,η) is called dissident in case η(v ∧ w) ∉ ℝv ⊕ ℝw for each pair of non-proportional vectors (v,w) ∈ $V^2$. For any dissident algebra (V,η) and any linear form ξ: V ∧ V → ℝ, the vector space ℝ × V, endowed with the multiplication (α,v)(β,w) = (αβ -〈v,w〉+ ξ(v ∧ w), αw + βv + η(v ∧ w)), is a quadratic division algebra. Up to isomorphism, each real quadratic division algebra arises in this way. Vector...

Our article contributes to the classification of dissident maps on ℝ ⁷, which in turn contributes to the classification of 8-dimensional real division algebras. We study two large classes of dissident maps on ℝ ⁷. The first class is formed by all composed dissident maps, obtained from a vector product on ℝ ⁷ by composition with a definite endomorphism. The second class is formed by all doubled dissident maps, obtained as the purely imaginary parts of the structures of those 8-dimensional...

Let $T$ be a tree with $n$ vertices. To each edge of $T$ we assign a weight which is a positive definite matrix of some fixed order, say, $s$. Let $D_{ij}$ denote the sum of all the weights lying in the path connecting the vertices $i$ and $j$ of $T$. We now say that $D_{ij}$ is the distance between $i$ and $j$. Define $D:=\left[D_{ij}\right]$, where $D_{ii}$ is the $s\times s$ null matrix and for $i\ne j$, $D_{ij}$ is the distance between $i$ and $j$. Let $G$ be an arbitrary connected weighted graph with $n$ vertices, where each weight is a positive definite matrix of order $s$. If $i$ and...

Let $p^{\text{'}}$ and $q^{\text{'}}$ be points in ${ℝ}^n$. Write $p^{\text{'}}\sim q^{\text{'}}$ if $p^{\text{'}}-q^{\text{'}}$ is a multiple of $(1,...,1)$. Two different points $p$ and $q$ in ${ℝ}^n/\sim$ uniquely determine a tropical line $L(p,q)$ passing through them and stable under small perturbations. This line is a balanced unrooted semi-labeled tree on $n$ leaves. It is also a metric graph. If some representatives $p^{\text{'}}$ and $q^{\text{'}}$ of $p$ and $q$ are the first and second columns of some real normal idempotent order $n$ matrix $A$, we prove that the tree $L(p,q)$ is described by a matrix $F$, easily obtained from $A$. We also prove that...

In this article, we formalize the definition of divisible ℤ-module and its properties in the Mizar system [3]. We formally prove that any non-trivial divisible ℤ-modules are not finitely-generated.We introduce a divisible ℤ-module, equivalent to a vector space of a torsion-free ℤ-module with a coefficient ring ℚ. ℤ-modules are important for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [15], cryptographic systems with lattices [16] and coding theory [8].

In this paper we consider D-optimal and highly D-efficient chemical balance weighing designs. The errors are assumed to be equally non-negatively correlated and to have equal variances. Some necessary and sufficient conditions under which a design is D*-optimal design (regular D-optimal design) are proved. It is also shown that in many cases D*-optimal design does not exist. In many of those cases the designs constructed by Masaro and Wong (2008) and some new designs are shown to be highly D-efficient....

The Bruhat order is defined in terms of an interchange operation on the set of permutation matrices of order $n$ which corresponds to the transposition of a pair of elements in a permutation. We introduce an extension of this partial order, which we call the stochastic Bruhat order, for the larger class ${\Omega }_n$ of doubly stochastic matrices (convex hull of $n\times n$ permutation matrices). An alternative description of this partial order is given. We define a class of special faces of ${\Omega }_n$ induced by permutation matrices,...

The present paper focuses on the dynamics of doubly stochastic quadratic operators (d.s.q.o) on a finite-dimensional simplex. We prove that if a d.s.q.o. has no periodic points then the trajectory of any initial point inside the simplex is convergent. We show that if d.s.q.o. is not a permutation then it has no periodic points on the interior of the two dimensional (2D) simplex. We also show that this property fails in higher dimensions. In addition, the paper also discusses the dynamics classifications...