Related papers: Canonical Forms for Unitary Congruence and *Congru…
Stringy canonical forms are a class of integrals that provide $\alpha'$-deformations of the canonical form of any polytopes. For generalized associahedra of finite-type cluster algebra, there exist completely rigid stringy integrals, whose…
Let $\mathbb F$ be a field of characteristic not $2$, and let $(A,B)$ be a pair of $n\times n$ matrices over $\mathbb F$, in which $A$ is symmetric and $B$ is skew-symmetric. A canonical form of $(A,B)$ with respect to congruence…
We study deformations of closed string theory by primary fields of conformal weight $(1,1)$, using conformal techniques on the complex plane. A canonical surface integral formalism for computing commutators in a non-holomorphic theory is…
A $n\times n$ matrix $A$ has normal defect one if it is not normal, however can be embedded as a north-western block into a normal matrix of size $(n+1)\times (n+1)$. The latter is called a minimal normal completion of $A$. A construction…
For a normal subvariety $V$ of ${\bf C}^n$ with a good ${\bf C}^*$-action we give a simple characterization for when it has only log canonical, log terminal or rational singularities. Moreover we are able to give formulas for the…
This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative…
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…
Let $A$ be an algebra over a commutative ring $k$. We prove that braidings on the category of $A$-bimodules are in bijective correspondence to canonical R-matrices, these are elements in $A\ot A\ot A$ satisfying certain axioms. We show that…
Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics…
The Jordan normal form for a matrix over an arbitrary field and the canonical form for a pair of matrices under contragredient equivalence are derived using Ptak's duality method.
The results of the renormalization group are commonly advertised as the existence of power law singularities near critical points. The classic predictions are often violated and logarithmic and exponential corrections are treated on a…
Following some past advances, we reformulate a large class of linear continuum science equations in the format of the extended abstract theory of composites so that we can apply this theory to better understand and efficiently solve those…
In this paper, we give the complete structures of the equivalence canonical form of four matrices over an arbitrary division ring. As applications, we derive some practical necessary and sufficient conditions for the solvability to some…
It is well-known that $AB$ and $BA$ are similar when $A$ and $B$ are complex square Hermitian matrices. In this note we answer a question of F. Zhang by demonstrating that similarity can fail if $A$ is Hermitian and $B$ is normal. Perhaps…
We strengthen the standard bifurcation theorems for saddle-node, transcritical, pitchfork, and period-doubling bifurcations of maps. Our new formulation involves adding one or two extra terms to the standard truncated normal forms with…
We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight…
In this survey paper we study parametric versions of writing a matrix in $SL_n (\mathbb{C})$ as a product of lower and upper unitriangular matrices in interchanging order as well as generalizations to other classical groups. We give an…
We generalize the theory of base norm spaces to the complex case, and further to the noncommutative setting relevant to `quantum convexity'. In particular, we establish the duality between complex Archimedean order unit spaces and complex…
We derive the canonical forms for a pair of $n\times n$ complex matrices $(E,Q)$ under transformations $(E,Q) \rightarrow (UEV,U^{-T}QV)$, and $(E,Q) \rightarrow (UEV,U^{-*}QV)$, where $U$ and $V$ are nonsingular complex matrices. We, in…
V.I. Arnold [Russian Math. Surveys 26(2) (1971) 29-43] constructed a miniversal deformation of a square complex matrix under similarity; that is, a simple normal form to which not only a given square matrix A but all matrices B close to it…