Related papers: The end-parameters of a Leonard pair
We prove the undecidability of the third order pattern matching problem in typed lambda-calculi with dependent types and in those with type constructors by reducing the second order unification problem to them.
A linking pairing is a symetric bilinear pairing lambda: GxG --> Q/Z on a finite abelian group. The set of isomorphism classes of linking pairings is a non-cancellative monoid E under orthogonal sum, which is infinitely generated and…
The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector space, without placing any restrictions on the dimension of the space or on the base field. We define a…
Given $\lambda\in(0, 1)$, let $E_\lambda$ be the self-similar set generated by the iterated function system $\{x/3,(x+\lambda)/3,(x+2)/3\}$. Then $E_\lambda$ is a self-similar set with overlaps. We obtain the necessary and sufficient…
It is known that the quaternion algebras are central simple algebras and also clifford algebras. In this paper, we introduce a new class of quaternions called Lucas-Leonardo p-quaternions and derive several fundamental properties of these…
Here we examine various aspects of the pairing mechanism for two models, the two-dimensional and two-leg ladder Hubbard models. Both of these models exhibit pairing correlations with d_{x^2-y^2} symmetry. However, the undoped insulating…
The $q$-Onsager algebra $\mathcal O_q$ is defined by two generators $A$, $A^*$ and two relations, called the $q$-Dolan/Grady relations. Recently P. Baseilhac and S. Kolb found an automorphism $L$ of $\mathcal O_q$, that fixes $A$ and sends…
In this letter, a definition of the higher dimensional Lax pair for a lower dimensional system which may be a chaotic system is given. A special concrete (2+1)-dimensional Lax pair for a general (1+1)-dimensional three order autonomous…
We extend the results of T. Giordano, I. F. Putnam, C. F. Skau contained in ``$\mathbb Z^d$-odometers and cohomology", Groups Geom. Dyn. 13 (2019), no. 3, P. 909-938, on characterization of conjugacy, isomorphism, and continuous orbit…
Let $k$ be a field of any characteristic, $V$ a finite-dimensional vector space over $k$, and $S^d(V^*)$ be the $d$-th symmetric power of the dual space $V^*$. Given a linear map $\varphi$ on $V$ and an eigenvector $w$ of $\varphi$, we…
In this paper, we present several algorithms for dealing with graded components of Laurent polynomial rings. To be more precise, let $S$ be the Laurent polynomial ring $k[x_1,...,x_{r},x_{r+1}^{\pm 1},..., x_n^{\pm 1}]$, $k$ algebraicaly…
A large family of linear codes with flexible parameters from almost bent functions and perfect nonlinear functions are constructed and their parameters are determined. Some constructed linear codes and their related codes are optimal in the…
Let L be a finite dimensional simple Lie algebra over an algebraically closed field of characteristic p>3. We prove in this paper that if all tori of maximal dimansion in the semisimple p-envelope of L are standard, the L is up to…
Linear Parameter-Varying (LPV) systems with piecewise differentiable parameters is a class of LPV systems for which no proper analysis conditions have been obtained so far. To fill this gap, we propose an approach based on the theory of…
Topological transforms have been very useful in statistical analysis of shapes or surfaces without restrictions that the shapes are diffeomorphic and requiring the estimation of correspondence maps. In this paper we introduce two…
We consider self-similar continua possessing finite intersection property and prove intersection graph criterion for self-similar dendrites, finite order Theorem for such continua satisfying open set condition in $\mathbb{R}^n$ and…
This paper deals with analytic families of holomorphic iterated function systems. Using real analyticity of the pressure function (which we prove), we establish a classification theorem for analytic families of holomorphic iterated function…
We study the Mahler measures of certain families of Laurent polynomials in two and three variables. Each of the known Mahler measure formulas for these families involves $L$-values of at most one newform and/or at most one quadratic…
The object of this paper is to describe an explicit two--parameter family of logarithmic flat connections over the complex projective plane. These connections have dihedral monodromy and their polar locus is a prescribed quintic composed of…
New low-order $H(\textrm{div})$-conforming finite elements for symmetric tensors are constructed in arbitrary dimension. The space of shape functions is defined by enriching the symmetric quadratic polynomial space with the $(d+1)$-order…