arXiv subjects
Publications and source records attributed to Solomon Vishkautsan.
We generalize the solution of linear recurrence relations from fields to central division algebras, adapting the standard tools of companion matrices and characteristic polynomials to the non-commutative setting. We then solve linear recurrences of order 2 over octonion division algebras.
We investigate the properties of multivariate polynomials evaluated at points with commuting coordinates over division rings and octonion algebras. Given a division ring $D$, this set of points is denoted by $D_c^n$, and in the special case of $D=\mathbb{H}$, Alon and Paran showed that its points correspond to the maximal left ideals of $\mathbb{H}[x_1,\dots,x_n]$. Here we show that if a polynomial $f$ vanishes at $\vec{a} \in D_c^n$, then any left multiple $gf$ also vanishes at $\vec{a}$. Consequently, over a central division algebra or an octonion algebra, any root of $f$ in $D_c^n$ is also a root of its (reduced) norm. We apply these evaluation properties to discrete algebraic dynamics, proving that if a point in $D_c^n$ is a fixed point of an $n$-tuple $T=(f_1,\dots,f_n)$ of polynomials in $n$ variables, then it is a fixed point of $T^{\circ m}$ for any positive integer $m$.
In this paper, we provide an explicit method for determining the zero set of monic quadratic general polynomials over Cayley--Dickson algebras with any base field of characteristic not equal to $2$. For the special case of locally-complex Cayley--Dickson algebras over the reals, we prove that every such polynomial always has a root. We prove the existence of right eigenvalues for any $2 \times 2$ matrix over Cayley's Octonions (the real octonion division algebra), and our root-finding method allows the computation of some of the right eigenvalues.
Over a composition algebra $A$, a polynomial $f(x) \in A[x]$ has a root $α$ if and only $f(x)=g(x)\cdot (x-α)$ for some $g(x) \in A[x]$. We examine whether this is true for general Cayley-Dickson algebras. The conclusion is that it is when $f(x)$ is linear or monic quadratic, but it is false in general. Similar questions about the connections between $f$ and its companion $C_f(x)=f(x)\cdot \overline{f(x)}$ are studied. Finally, we compute the left eigenvalues of $2\times 2$ octonion matrices.
We study how the field of definition of a rational function changes under iteration. We provide a complete classification of polynomials with the property that the field of definition of one of their iterates drops in degree (over a given base field). We show with families of examples that this characterization does not hold for rational functions. Finally, we also classify fractional linear transformations with this property.
This paper is devoted to several new results concerning (standard) octonion polynomials. The first is the determination of the roots of all right scalar multiples of octonion polynomials. The roots of left multiples are also discussed, especially over fields of characteristic not 2. We then turn to study the dynamics of monic quadratic real octonion polynomials, classifying the fixed points into attracting, repelling and ambivalent, and concluding with a discussion on the behavior of pseudo-periodic points.
We study the roots of polynomials over Cayley--Dickson algebras over an arbitrary field and of arbitrary dimension. For this purpose we generalize the concept of spherical roots from quaternion and octonion polynomials to this setting, and demonstrate their basic properties. We show that the spherical roots (but not all roots) of a polynomial $f(x)$ are also roots of its companion polynomial $C_f(x)$ (defined to be the norm of $f(x)$). For locally-complex Cayley--Dickson algebras, we show that the spherical roots of $f'(x)$ (defined formally) belong to the convex hull of the roots of $C_f(x)$, and we also prove that all roots of $f'(x)$ are contained in the snail of $f(x)$, as defined by Ghiloni and Perotti for quaternions. The latter two results generalize the classical Gauss--Lucas theorem to the locally-complex Cayley--Dickson algebras, and we also generalize Jensen's classical theorem on real polynomials to this setting.
We study the discrete dynamics of standard (or left) polynomials $f(x)$ over division rings $D$. We define their fixed points to be the points $λ\in D$ for which $f^{\circ n}(λ)=λ$ for any $n \in \mathbb{N}$, where $f^{\circ n}(x)$ is defined recursively by $f^{\circ n}(x)=f(f^{\circ (n-1)}(x))$ and $f^{\circ 1}(x)=f(x)$. Periodic points are similarly defined. We prove that $λ$ is a fixed point of $f(x)$ if and only if $f(λ)=λ$, which enables the use of known results from the theory of polynomial equations, to conclude that any polynomial of degree $m \geq 2$ has at most $m$ conjugacy classes of fixed points. We also consider arbitrary periodic points, and show that in general, they do not behave as in the commutative case. We provide a sufficient condition for periodic points to behave as expected.
We provide a complete classification of possible graphs of rational preperiodic points of quadratic rational functions defined over the rationals with a rational periodic critical point of period 3, under two assumptions: that these functions have no periodic points of period at least 5 and the conjectured enumeration of points on a certain genus 6 affine plane curve. We show that there are exactly six such possible graphs, and that rational functions satisfying the conditions above have at most eleven rational preperiodic points.
Let $ϕ$ be a an endomorphism of degree $d\geq{2}$ of the projective line, defined over a number field $K$. Let $S$ be a finite set of places of $K$, including the archimedean places, such that $ϕ$ has good reduction outside of $S$. The article presents two main results: the first result is a bound on the number of $K$-rational preperiodic points of $ϕ$ in terms of the cardinality of the set $S$ and the degree $d$ of the endomorphism $ϕ$. This bound is quadratic in terms of $d$ which is a significant improvement to all previous bounds on the number of preperiodic points in terms of the degree $d$. For the second result, if we assume that there is a $K$-rational periodic point of period at least two, then there exists a bound on the number of $K$-rational preperiodic points of $ϕ$ that is linear in terms of the degree $d$.
We provide an explicit bound on the number of periodic points of a rational function defined over a number field, where the bound depends only on the number of primes of bad reduction and the degree of the function, and is linear in the degree. More generally, we show that there exists an explicit uniform bound on the number of periodic points for any rational function in a given finitely generated semigroup (under composition) of rational functions of degree at least 2. We show that under stronger assumptions the dependence on the degree of the map in the bounds can be removed.
We provide a complete classification of possible graphs of rational preperiodic points of endomorphisms of the projective line of degree 2 defined over the rationals with a rational periodic critical point of period 2, under the assumption that these maps have no periodic points of period at least 7. We explain how this extends results of Poonen on quadratic polynomials. We show that there are 13 possible graphs, and that such maps have at most 9 rational preperiodic points. We provide data related to the analogous classification of graphs of endomorphisms of degree 2 with a rational periodic critical point of period 3 or 4.
A case study of arithmetic dynamics over the rationals on the Markoff surface is presented, in particular the local-global dynamical property of strong residual periodicity. The dynamical system induced by the composition of any two of the reflections from the three special points at infinity on the Markoff surface is shown to be strongly residually periodic. This residual periodicity is explained by the existence of periodic conic sections of the Markoff surface with no rational points. It is also proven that cutting these conic sections from the surface eliminates strong residual periodicity.
We study dynamical systems induced by birational automorphisms on smooth cubic surfaces defined over a number field $K$. In particular we are interested in the product of non-commuting birational Geiser involutions of the cubic surface. We present results describing the sets of $K$ and $\bar{K}$-periodic points of the system, and give a necessary and sufficient condition for a dynamical local-global property called strong residual periodicity. Finally, we give a dynamical result relating to the Mordell--Weil problem on cubic surfaces.