Related papers: A New Determinantal Formula for Three Matrices

Guided by the research line introduced by Martindale III in [1] on the study of the additivity of maps, this article aims establish condi- tions on triangular matrix rings in order that an map ' satisfying '(ab + ba) = '(a)b + a'(b) + '(b)a…

Let $n \ge 2$ be a natural number, $M$ a real $n \times n$ matrix, $s$ the sum of the entries of $M$ and $q$ the sum of their squares. With $\alpha := s/n$ and $\beta := q/n$, Gasper's determinant bound says that $ |\det M| \le…

Let $m$ be any integer $\geq 3$. We consider the polynomial equation $$X^n + a_{n-1}\cdot X^{n-1} + \dots + a_1 \cdot X + a_0 \cdot I = O,$$ over $(m \times m)$-matrices $X$ with the real entries, where $I$ is the identity matrix, $O$ is…

It is shown that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has positive coefficients when $m = 6$ and $A$ and $B$ are any two 3-by-3 complex Hermitian positive definite matrices. This case is the first that is not covered by prior,…

We study the maximum absolute value of the determinant of matrices with entries in the set of $\ell$-th roots of unity; this is a generalization of $D$-optimal designs and Hadamard's maximal determinant problem, which involves $\pm 1$…

Let $X$ be a matrix of indeterminates, $t$ an integer, and $P_t(X)$ define the ideal generated by the permanents of all $t\times t$ submatrix of $X$. $P_t(X)$ is called a permanental ideal. In this article, we study the algebras…

Given a square, nonsingular matrix of univariate polynomials $\mathbf{F}\in\mathbb{K}[x]^{n\times n}$ over a field $\mathbb{K}$, we give a deterministic algorithm for finding the determinant of $\mathbf{F}$. The complexity of the algorithm…

In the present paper we continue the study of the elementary commutator subgroups $[E(n,A),E(n,B)]$, where $A$ and $B$ are two-sided ideals of an associative ring $R$, $n\ge 3$. First, we refine and expand a number of the auxiliary results,…

We describe algorithms for computing maximal determinants of binary circulant matrices of small orders. Here "binary matrix" means a matrix whose elements are drawn from $\{0,1\}$ or $\{-1,1\}$. We describe efficient parallel algorithms for…

We give a combinatorial characterization of the identities holding in the semiring of all upper triangular Boolean $n\times n$-matrices and apply the characterization to computational complexity of identity checking, finite axiomatizability…

In this paper, we show that a map $\delta$ over a triangular ring $\mathcal{T}$ satisfying $\delta(ab+ba)=\delta(a)b+a \tau(b)+\delta(b)a+b\tau(a)$, for all $a,b\in \mathcal{T}$ and for some maps $\tau$ over $\mathcal{T}$ satisfying…

In this paper, we study the complexity of solving generic over-determined bilinear systems over a finite field $\mathbb{F}$. Given a generic bilinear sequence $B \in \mathbb{F}[\mathbf{x},\mathbf{y}]$, with respect to a partition of…

Let $p>3$ be a prime, and let $(\frac{\cdot}p)$ be the Legendre symbol. Let $A_p(x)$ denote the matrix $[x+a_{ij}]_{1\leqslant i,j\leqslant (p-1)/2}$, where $$ a_{ij}=\begin{cases} (\frac{j}{p}) &\text{if} \ i=1, \$\frac{i+j}{p}) &\text{if}…

One of the great miracles of random matrix theory is that, in the $N \to \infty$ limit, many otherwise intractable matrix problems with horrendously complicated finite-$N$ expressions admit remarkably simple and elegant asymptotic…

The resultant plays a crucial role in (computational) algebra and algebraic geometry. One of the most important and well known properties of the resultant is that it is equal to the determinant of the Sylvester matrix. In 2008, Odagiri…

We describe a MATLAB program that could produce a negative answer to the Gerstenhaber Problem by the construction of three commuting $n \times n$ matrices $A,B,C$ over a field $F$ such that the subalgebra $F[A,B,C]$ they generate has…

The generalized sequence of numbers is defined by W_{n}=pW_{n-1}+qW_{n-2} with initial conditions W_{0}=a and W_{1}=b for a,b,p,q\inZ and n\geq2, respectively. Let W_{n}=circ(W_{1},W_{2},...,W_{n}). The aim of this paper is to establish…

To construct ternary "quaternions" following Hamilton we must introduce two "imaginary "units, $q_1$ and $q_2$ with propeties $q_1^n=1$ and $q_2^m=1$. The general is enough difficult, and we consider the $m=n=3$. This case gives us the…

In 1857 Sylvester stated a result on determinants without proof that was recognized as important over the subsequent century. Thus it was a surprise to Akritas, Akritas and Malaschonok when they found only one English proof - given by…

Let $B$ be some invertible Hermitian or skew-Hermitian matrix. A matrix $A$ is called $B$-normal if $AA^\star = A^\star A$ holds for $A$ and its adjoint matrix $A^\star := B^{-1}A^HB$. In addition, a matrix $Q$ is called $B$-unitary, if…