English
Related papers

Related papers: A note on finite determinacy of matrices

200 papers

In the paper, a simple condition guaranteing the finiteness property for a bounded set of matrices is presented. Given a bounded set S of real or complex matrices, it is shown that existence of a sequence of matrix products such that the…

Functional Analysis · Mathematics 2011-11-01 Xiongping Dai , Victor Kozyakin

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…

Symbolic Computation · Computer Science 2014-09-22 Wei Zhou , George Labahn

We prove that a semigroup generated by a reversible two-state Mealy automaton is either finite or free of rank 2. This fact leads to the decidability of finiteness for groups generated by two-state or two-letter invertible-reversible Mealy…

Formal Languages and Automata Theory · Computer Science 2013-10-23 Ines Klimann

We give one more proof of the fact that symplectic matrices over real and complex fields have determinant one. While this has already been proved many times, there has been lasting interest in finding an elementary proof. Our result is…

History and Overview · Mathematics 2022-10-11 Donsub Rim

We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$. This property arose from the study of near-rings and input-output…

Group Theory · Mathematics 2022-02-11 Dominik Bernhardt , Tim Boykett , Alice Devillers , Johannes Flake , S. P. Glasby

In this paper we study S-idempotents of the group ring \mathbb{Z}_2G where G is a finite cyclic group of order n. We give a condition on n such that every nonzero idempotent element of the group ring \mathbb{Z}_2G is Smarandache idempotent…

Commutative Algebra · Mathematics 2012-01-13 Parween Ali Hummadi , Shadan Abdulkadr Osman

Under binary matrices we mean matrices whose entries take one of two values. In this paper, explicit formulae for calculating the determinant of some type of binary Toeplitz matrices are obtained. Examples of the application of the…

Rings and Algebras · Mathematics 2017-02-21 Dmitry Efimov

Over the finite field with two elements, we present a method for obtaining explicit expressions for the number of rank i matrices of the form A above B, where A is persymmetric (A matrix [a(i,j)] is persymmetric if a(i,j) = a(r,s) for i+j =…

Number Theory · Mathematics 2007-11-09 Jorgen Cherly

Say that a finite group $G$ is mixable if a product of random elements, each chosen independently from two options, can distribute uniformly on $G$. We present conditions and obstructions to mixability. We show that $2$-groups, the…

Group Theory · Mathematics 2025-01-30 Gideon Amir , Guy Blachar , Subhajit Ghosh , Uzi Vishne

We make a connection between the subgroup membership and identity problems for matrix groups and extended finite automata. We provide an alternative proof for the decidability of the subgroup membership problem for $ 2 \times 2 $ integer…

Formal Languages and Automata Theory · Computer Science 2018-07-17 Özlem Salehi , Ahmet Celal Cem Say

There are several variants of the inverse Galois problem which involve restrictions on ramification. In this paper we give sufficient conditions that a given finite group $G$ occurs infinitely often as a Galois group over the rationals…

Number Theory · Mathematics 2017-11-15 Joachim Koenig , Daniel Rabayev , Jack Sonn

In this paper we establish decomposition theorems for derivations of group rings. We provide a topological technique for studying derivations of a group ring $A[G]$ in case $G$ has finite conjugacy classes. As a result, we describe all…

Rings and Algebras · Mathematics 2023-08-02 Andronick Arutyunov , Leo Kosolapov

In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…

Logic · Mathematics 2025-03-31 Igor Klep , Marcus Tressl

We present necessary and sufficient conditions for an n\times n complex matrix B to be unitarily similar to a fixed unicellular (i.e., indecomposable by similarity) n\times n complex matrix A

Representation Theory · Mathematics 2015-03-17 Douglas Farenick , Tatiana G. Gerasimova , Nadya Shvai

We give an elementary proof of a Caratheodory-type result on the invertibility of a sum of matrices, due first to Facchini and Barioli. The proof yields a polynomial identity, expressing the determinant of a large sum of matrices in terms…

Rings and Algebras · Mathematics 2016-04-21 Justin Chen

In this paper we give necessary and sufficient trace conditions for an n by n matrix over any commutative and associative ring with unity to be a sum of k-th powers of matrices over that ring, where n,k are integers greater equal 2. We…

Number Theory · Mathematics 2007-05-23 A. S. Gadre , S. A. Katre

This brief note concerns the invertibility of certain alternant matrices. In particular those that consisting of polynomials and products of polynomials and logarithms are shown to be invertible under appropriate conditions on the degrees…

Classical Analysis and ODEs · Mathematics 2021-08-26 Jeff Ledford

Let $G$ be a connected semisimple simply connected Lie group with a compact Cartan subgroup and let $\Gamma$ be a uniform lattice in $G$. Let $\widehat{G}_d$ denote the set of equivalence classes of unitary discrete series representations…

Representation Theory · Mathematics 2025-07-10 Kaustabh Mondal , Gunja Sachdeva

Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its…

Group Theory · Mathematics 2011-10-25 Menny Aka

If $f$ is a symmetric complex-valued function on the $m$-fold Cartesian product of the set of non-negative reals and $A$ is a positive semi-definite $m\times m$ matrix with eigenvalues $\lambda_j$, we set…

Functional Analysis · Mathematics 2016-12-13 Lutz Klotz , Conrad Mädler
‹ Prev 1 8 9 10 Next ›