Related papers: How to recognize a Leonard pair

The first steps towards linearisation of partial orders and equivalence relations are described. The definitions of partial orders and equivalence relations (on sets) are formulated in a way that is standard in category theory and that…

We present pictorial means of distinguishing contravariant vectors (or simply vectors) from covariant vectors (or linear forms). When one depicts vector as the directed segment, then the pictorial image of a linear form is a family of…

The paper presents the classification of matrix valued superpotentials corresponding to shape invariant systems of Schr\"odinger equations. All inequivalent irreducible matrix superpotentials realized by matrices of arbitrary dimension with…

Let F be a finite extension of Qp and G be GL(2,F). When V is the tensor product of three admissible, irreducible, finite dimensional representations of G, the space of G-invariant linear forms has dimension at most one. When a non zero…

Linear systems often involve, as a basic building block, solutions of equations of the form \begin{align*} A_Sx_S&+A_Px_P =0\\ A'_Sx_S & =0, \end{align*} where our primary interest might be in the vector variable $x_P.$ Usually, neither…

We consider all compatible topologies of an arbitrary finite-dimensional vector space over a non-trivial valuation field whose metric completion is a locally compact space. We construct the canonical lattice isomorphism between the lattice…

Fix a nonnegative integer $d$, a field $\mathbb{F}$, and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$. Let $T$ denote an invertible upper triangular matrix in ${\rm Mat}_{d+1}(\mathbb{F})$. Using $T$ we construct three flags on…

Let $A$ be a, not necessarily closed, linear relation in a Hilbert space $\sH$ with a multivalued part $\mul A$. An operator $B$ in $\sH$ with $\ran B\perp\mul A^{**}$ is said to be an operator part of $A$ when $A=B \hplus (\{0\}\times \mul…

Let $n,p,r$ be positive integers with $n \geq p\geq r$. A rank-$\overline{r}$ subset of $n$ by $p$ matrices (with entries in a field) is a subset in which every matrix has rank less than or equal to $r$. A classical theorem of Flanders…

Let $V$ be a vector space over a field $\mathbb F$ with scalar product given by a nondegenerate sesquilinear form whose matrix is diagonal in some basis. If $\mathbb F=\mathbb C$, then we give canonical matrices of isometric and selfadjoint…

Let A be an n by d matrix having full rank n. An orthogonal dual A^{\perp} of A is a (d-n) by d matrix of rank (d-n) such that every row of A^{\perp} is orthogonal (under the usual dot product) to every row of A. We define the orthogonal…

A Lax pair for the additive difference Painlev\'e equation of type $E_7^{(1)}$ is explicitly obtained as certain linear difference equations of scalar form. The compatibility of the Lax pair is proved by using certain characterization of…

A subset X of a vector space V is said to have the "Separation Property" if it separates linear forms in the following sense: given a pair (a, b) of linearly independent forms on V there is a point x on X such that a(x)=0 and b(x) is not…

It is shown that the Lax pair equation dL/dt = [L,A] can be given a neat tensorial interpretation for finite-dimensional quadratic Hamiltonians. The Lax matrices L and A are shown to arise from third rank tensors on the configuration space.…

A signed graph is a graph with edges marked positive and negative; it is unbalanced if some cycle has negative sign product. We introduce the concept of vector valued switching function in signed graphs, which extends the concept of…

We provide a characterization of the finite dimensionality of vector spaces in terms of the right-sided invertibility of linear operators on them.

This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal structures, lovely pairs, fields with Mann groups, and…

Let $\mathcal{L}_n$ denote the set of all paths from $[0,0]$ to $[n, n]$ which consist of either unit north steps $N$ or unit east steps $E$ or, equivalently, the set of all words $L \in \{E,N\}^*$ with $n$ $E$'s and $n$ $N$'s. Given $L \in…

A novel factorization for the sum of two single-pair matrices is established as product of lower-triangular, tridiagonal, and upper-triangular matrices, leading to semi-closed-form formulas for tridiagonal matrix inversion. Subsequent…

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…