Related papers: On Realization and Isomorphism Problems for Formal…
We investigate the problem of completing partial matrices to rank-one matrices in the standard simplex. The motivation for studying this problem comes from statistics: A lack of eligible completion can provide a falsification test for…
It is proved that for any prime integer $p$ and each field $F$ of characteristic $p$, there exists a centrally essential $F$-algebra which is not a PI-ring and is not algebraic over its center. Victor Markov is supported by the Russian…
Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…
The algebraic structure of V.P. Potapov's Fundamental Matrix Inequality (FMI) is discussed and its interpolation meaning is analyzed. Functional model spaces are involved. A general Abstract Interpolation Problem is formulated which seems…
Automorphisms of structural matrix algebras in block upper triangular form has been studied recently in \cite{Akkurt E-M Barker 2}, and this work is a follow-up paper of that study. The aim of this paper is to explain the topic in a much…
We study the algebraic and geometric properties of the integral closure of different rings of functions on a real algebraic variety : the regular functions and the continuous rational functions.
We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this…
We study triples of graded rings defined over the deformation spaces for certain one-parameter families of Calabi-Yau threefolds. These rings are analogues of the rings of modular forms, quasi-modular forms and almost-holomorphic modular…
The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…
We give an overview on recent results concerning additive unit representations. Furthermore the solutions of some open questions are included. The central problem is whether and how certain rings are (additively) generated by their units.…
This paper studies the set of equivalent realizations of isostatic frameworks in two dimensions, and algorithms for finding all such realizations. We show that an isostatic framework has an even number of equivalent realizations that…
Complexity problems associated with finite rings and finite semigroups, particularly semigroups of matrices over a field and the Rees matrix semigroups, are examined. Let M_nF be the ring of n x n matrices over the finite field F and let…
We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2x2-matrix…
This paper establishes mixed multiplicity formulas concerning the relationship between mixed multiplicities of modules and mixed multiplicities of rings via rank of modules.
We describe a generalized formalism, addressing the fundamental problem of reflection and transmission of complex optical waves at a plane dielectric interface. Our formalism involves the application of generalized operator matrices to the…
A ring $R$ with center $C$ is said to be \textit{centrally essential} if the module $R_C$ is an essential extension of the module $C_C$. In the paper, we study groups whose group algebras over fields are centrally essential rings. We focus…
Perfect ideals $I$ of grade $3$ in a local ring $(R,\mathfrak{m},\Bbbk)$ can be classified based on multiplicative structures on $\text{Tor}^R_{\bullet}(R/I,\Bbbk)$. The classification is incomplete in the sense that it remains open which…
This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…
We propose a novel matrix regularization for tensor fields. In this regularization, tensor fields are described as rectangular matrices and both area-preserving diffeomorphisms and local rotations of the orthonormal frame are realized as…
The main goal of the paper is the discussion of a deeper interaction between matrix theory over polynomial rings over a field and typical methods of commutative algebra and related algebraic geometry. This is intended in the sense of…