Related papers: A direct approach to the rational normal form

This note presents a simple, universal closed form for the powers of any square matrix. A diligent search of the internet gave no indication that the form is known.

With the aid of utilising tensor products, we give a simplified proof to the fundamental theorem of Benedetto and Fickus about the existence and characterisation of finite, normalised tight frames. We also establish unit-norm tensor…

We derive the necessary and sufficient conditions for the simple eigenvalues of rational matrix functions with symmetry structure to have the same normwise condition number with respect to arbitrary and structure-preserving perturbations.…

Our goal in this work is to found a closed form for rational generat- ing functions, these generate a various families of polynomials and generalized polynomials, in order to get the general recursive formula satisfied by these polynomials.

We establish a real version of Turrittin's result on polynomial and formal normal forms of linear systems of ODEs with meromorphic coefficients. Both the normal forms or the transformations used have only real coefficients. In order to…

The authors review results implicit in their recent paper [2] on the product/quotient representation of rationals by rationals of the type $( an + b )/ ( An+ B )$ and give a detailed account of a particular related non-intuitive…

We investigate the non-diagonal normal forms of a quadratic form on R^n, in particular for n=3. For this case it is shown that the set of normal forms is the closure of a 5-dimensional submanifold in the 6-dimensional Grassmannian of…

It is known that any symmetric matrix $M$ with entries in $\R[x]$ and which is positive semi-definite for any substitution of $x\in\R$, has a Smith normal form whose diagonal coefficients are constant sign polynomials in $\R[x]$. We…

The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but…

Let X be a variety over a number field and let f: X --> X be an "interesting" rational self-map with a fixed point q. We make some general remarks concerning the possibility of using the behaviour of f near q to produce many rational points…

A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. It is described by a system of four quadratic equations with respect to six…

Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is…

We study a relationship between rational proper maps of balls in different dimensions and strongly plurisubharmonic exhaustion functions of the unit ball induced by such maps. Putting the unique critical point of this exhaustion function at…

We provide a sufficient condition for solvability of a system of real quadratic equations $p_i(x)=y_i$, $i=1, \ldots, m$, where $p_i: {\mathbb R}^n \longrightarrow {\mathbb R}$ are quadratic forms. By solving a positive semidefinite…

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

We show that the problem of constructing a real rational knot of a reasonably low degree can be reduced to an algebraic problem involving the pure braid group: expressing an associated element of the pure braid group in terms of the…

Using half-integral weight modular forms we give a criterion for the existence of real quadratic $p$-rational fields. For $p=5$ we prove the existence of infinitely many real quadratic $p$-rational fields.

In this paper we present some linear algebra behind quadratic parts of quadratically flat complex points of codimension two real submanifold in a complex manifold. Assuming some extra nondegenericity and using the result of Hong, complete…

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…

Recently the author used certain quaternion orders to demonstrate the universality of some quaternary quadratic forms. Here a further study is done on one of these orders analogous to Hurwitz's proof of the formula for the number of…