Related papers: Canonical Forms of Matrices Determining Analytical…
We consider a classical N. Steenrod's problem on realization of homology classes by images of the fundamental classes of manifolds. It is well-known that each integral homology class can be realized with some multiplicity as an image of the…
The aim of this paper is to introduce and study a large class of $\mathfrak{g}$-module algebras which we call factorizable by generalizing the Gauss factorization of (square or rectangular) matrices. This class includes coordinate algebras…
The unification problem in a propositional logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a unifier of F. When a unifiable formula has minimal complete…
We give a canonical form for a complex matrix, whose square is normal, under transformations of unitary similarity as well as a canonical form for a real matrix, whose square is normal, under transformations of orthogonal similarity.
Conditions for the existence of K\"ahler-Einstein metrics and central K\"ahler metrics [MS] along with examples, both old and new, are given on classes of Lorentzian $4$-manifolds with two distinguished vector fields. The results utilize…
To a complex symplectic manifold X we associate a canonical quantization algebroid. Our construction is similar to that of Polesello-Schapira's deformation-quantization algebroid, but the deformation parameter is no longer central. If X is…
A new class of structured matrices is presented and a closed form formula for their determinant is established. This formula has strong connections with the one for Vandermonde matrices.
We consider three forms of composition of matroids, each of which extends the category of bimatroids to a rigid monoidal category. Many well-known constructions are functorial or defined by morphisms in these categories. Motivating examples…
In this paper, we study a structured family of matrices whose entries are given by products of $k$-Fibonacci and $k$-Lucas numbers. For this family, we obtain explicit and unified formulas for several classical matrix invariants, including…
This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…
Let $n$ be a positive integer and let $f_1, \ldots, f_r$ be polynomials in $n^2$ indeterminates over an algebraically closed field $K$. We describe an algorithm to decide if the invertible matrices contained in the variety of $f_1, \ldots,…
Many methods for the verification of complex computer systems require the existence of a tractable mathematical abstraction of the system, often in the form of an automaton. In reality, however, such a model is hard to come up with, in…
We consider the set of $n\times n$ matrices with rational entries having numerator and denominator of size at most $H$ and obtain upper and lower bounds on the number of such matrices of a given rank and then apply them to count such…
We introduce the notions of $d$-orthostochastic, $d$-unistochastic, and $d$-qustochastic matrices. These are the particular cases of $F^d$-bistochastic matrices where $F$ is real or complex numbers or quaternions. The concept is motivated…
We give canonical forms of selfadjoint and isometric operators on a complex vector space $U$ with scalar product given by a positive semidefinite Hermitian form, and of Hermitian forms on $U$. For an arbitrary system of semiunitary spaces…
We study the concept of canonical characteristic set of a characterizable differential ideal. We propose an efficient algorithm that transforms any characteristic set into the canonical one. We prove the basic properties of canonical…
This manuscript explores many convolution (restricted summation) type sequences via certain types of matrix based factorizations that can be used to express their generating functions. The last primary (non-appendix) section of the thesis…
Canonical metrics and conformal invariants are presented for closed oriented even-dimensional manifolds with non-degenerate conformal structures and in particular for compact Riemann surfaces.
We define canonical bases of the higher-level q-deformed Fock space modules of the affine Lie algebra sl(n)^. This generalizes the result of Leclerc and Thibon for the case of level 1. We express the transition matrices between the…
We classify the matrices M which correspond to finite categories