相关论文: Canonical forms for complex matrix congruence and …

We develop a general theory of canonical bases for quantum symmetric pairs $(\mathbf{U}, \mathbf{U}^\imath)$ with parameters of arbitrary finite type. We construct new canonical bases for the simple integrable $\mathbf{U}$-modules and their…

This article gives conjecturally correct algorithms to construct canonical bases of the irreducible polynomial representations and the matrix coordinate rings of the nonstandard quantum groups in GCT4 and GCT7, and canonical bases of the…

Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable.…

V.I. Arnold [Russian Math. Surveys 26(2) (1971) 29-43] constructed miniversal deformations of square complex matrices under similarity. Reduction transformations to them and also to miniversal deformations of matrix pencils and matrices…

We solve direct and inverse problems for two-dimensional (quasi) canonical systems related to exponential polynomials of a specific but sufficiently general type. The approach to the inverse problem in this paper provides an interpretation…

This material is a rewriting and expansion of notes for beginning graduate students in seminars in combinatorics (Department of Mathematics, University of California San Diego). Solid skills in linear and multilinear algebra were required…

We give canonical matrices of bilinear or sesquilinear forms UxV-->C, (V/U)xV-->C, in which V is a vector space over the field C of complex numbers and U is its subspace.

It is shown how to construct a basis in which two arbitrary complex antisymmetric matrices C and C' acquire simultaneously canonical forms. The present construction is not restricted by any conditions on properties of the C^+C' matrix.…

We use Matsuki's decomposition for symmetric pairs $(G, H)$ of (not necessarily compact) reductive Lie groups to construct the radial parts for invariant differential operators acting on matrix-spherical functions. As an application, we…

In many applications, we desire neural networks to exhibit invariance or equivariance to certain groups due to symmetries inherent in the data. Recently, frame-averaging methods emerged to be a unified framework for attaining symmetries…

We consider a large class of matrix problems, which includes the problem of classifying arbitrary systems of linear mappings. For every matrix problem from this class, we construct Belitskii's algorithm for reducing a matrix to a canonical…

Beyond the crucial role they play in the foundations of the theory of overconvergent modular forms, canonical subgroups have found new applications to analytic continuation of overconvergent modular forms. For such applications, it is…

We show that the spectral theorem -- which we understand to be a statement that every self-adjoint matrix admits a certain type of canonical form under unitary similarity -- admits analogues over other $*$-algebras distinct from the complex…

We review known factorization results in quaternion matrices. Specifically, we derive the Jordan canonical form, polar decomposition, singular value decomposition, the QR factorization. We prove there is a Schur factorization for commuting…

We exhibit an explicit formula for the cardinality of solutions to a class of quadratic matrix equations over finite fields. We prove that the orbits of these solutions under the natural conjugation action of the general linear groups can…

Matrices over the dual numbers are considered. We propose an approach to classify these matrices up to similarity. Some preliminary results on the realization of this approach are obtained. In particular, we produce explicitly canonical…

We prove a series of conjectures of Enomoto and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type B. The main ingredient of the proof is a new graded Ext-algebra associated with quiver with involutions that…

We show the existence of families of orthonormal, future directed bases which allow to cast every skew-symmetric endomorphism of $\mathbb{M}^{1,n}$ ($\mathrm{SkewEnd}(\mathbb{M}^{1,n})$) in a single canonical form depending on a minimal…

In this paper, $\mathcal{P}$-canonical forms of $(A^{k})_{k}$ (or simply of the matrix $A$) are defined and some of their properties are proved. It is also shown how we can deduce from them many interesting informations about the matrix…

Propositional canonical Gentzen-type systems, introduced in 2001 by Avron and Lev, are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is…