SearcharxivSearch

arXiv subjects

Yuri B. Suris

Publications and source records attributed to Yuri B. Suris.

At least 19 recordsLinked to original sources

Conserved quantities of discretizations by polarization

Recently, a family of unconventional integrators for higher order ODEs with polynomial vector fields was proposed, based on the polarization of vector fields. The simplest instance is the by now famous Kahan discretization for first order ODEs with quadratic vector fields. All these integrators possess remarkable conservation properties. In particular, for the first and the second order Hamiltonian ODEs, the discretization by polarization possesses an integral of motion and an invariant volume form. In this note, we extend our previously proposed algebraic approach to derivation of these integrals to discretizations of ODEs of an arbitrary order. For all orders $\ge 3$, these integrals are new.

nlin.SI

Geometry of two- and three-dimensional integrable systems related to affine Weyl groups $W(E_8^{(1)})$ and $W(E_7^{(1)})$

We find a general framework for the construction of birational involutions on two- and three-dimensional varieties obtained from $\mathbb P^2$, $\mathbb P^1\times \mathbb P^1$, and $\mathbb P^3$ by blow-up at nine, respectively eight points. Each such involution is based on a divisor class with a one-dimensional linear system with a generic element of genus zero. Classical Manin involutions represent the simplest particular case. Novel, more sophisticated cases identified here include birational involutions of $\mathbb P^2$ along conics and along nodal cubic curves, as well as birational involutions of $\mathbb P^3$ along quadratic cones and along Cayley nodal cubic surfaces. We prove a general formula for the induced action of geometric birational involutions on the respective Picard group, and give a general result about decomposition of translational elements of the respective affine Weyl group of symmetries into a product of two geometric birational involutions.

nlin.SI

Geometry of autonomous discrete Painlevé equations related to the Weyl group $W(E_8^{(1)})$

Discrete Painlevé equations are integrable two-dimensional birational maps associated to a family of generalized Halphen surfaces. The latter can be seen either as $\mathbb P^2$ blown up at nine points or as $\mathbb P^1\times\mathbb P^1$ blown up at eight points. These maps become autonomous if the blow-up points are in a special position (support a pencil of cubic curves in $\mathbb P^2$, respectively a pencil of biquadratic curves in $\mathbb P^1\times\mathbb P^1$), so that the generalized Halphen surfaces become rational elliptic surfaces. In the generic case, the symmetry of a discrete Painlevé equation is the Weyl group $W(E_8^{(1)})$. One has a system of commuting maps which correspond to translational elements of $W(E_8^{(1)})$ associated to the roots of the lattice $E_8^{(1)}$. In the present note, we give a geometric construction of these commuting maps. For this, we use some novel birational involutions based on the above mentioned pencils of curves.

nlin.SI

Invariant volume form for 3D QRT maps

Recently, we proposed a three-dimensional generalization of QRT maps. These novel maps can be associated with pairs of pencils of quadrics in $\mathbb P^3$. By construction, these maps have two rational integrals (parameters of both pencils). In the present paper, we find an invariant volume form for these maps, thus finally establishing their integrability.

nlin.SI

Discrete Painlevé equations and pencils of quadrics in $\mathbb P^3$

Discrete Painlevé equations constitute a famous class of integrable non-autonomous second order difference equations. A classification scheme proposed by Sakai interprets a discrete Painlevé equation as a birational map between generalized Halphen surfaces (surfaces obtained from $\mathbb P^1\times\mathbb P^1$ by blowing up at eight points). We propose a novel geometric interpretation of discrete Painlevé equations, where the family of generalized Halphen surfaces is replaced by a pencil of quadrics in $\mathbb P^3$. A discrete Painlevé equation is viewed as an autonomous birational transformation of $\mathbb P^3$ that preserves the pencil and maps each quadric of the pencil to a different one, according to a Möbius transformation of the pencil parameter. Thus, our scheme is based on the classification of pencils of quadrics in $\mathbb P^3$.

nlin.SI

Discrete Painlevé equations from pencils of quadrics in $\mathbb P^3$ with branching generators

In this paper we extend the novel approach to discrete Painlevé equations initiated in our previous work [2]. A classification scheme for discrete Painlevé equations proposed by Sakai interprets them as birational isomorphisms between generalized Halphen surfaces (surfaces obtained from $\mathbb P^1\times\mathbb P^1$ by blowing up at eight points). Sakai's classification is thus based on the classification of generalized Halphen surfaces. In our scheme, the family of generalized Halphen surfaces is replaced by a pencil of quadrics in $\mathbb P^3$. A discrete Painlevé equation is viewed as an autonomous transformation of $\mathbb P^3$ that preserves the pencil and maps each quadric of the pencil to a different one. Thus, our scheme is based on the classification of pencils of quadrics in $\mathbb P^3$. Compared to our previous work, here we consider a technically more demanding case where the characteristic polynomial $Δ(λ)$ of the pencil of quadrics is not a complete square. As a consequence, traversing the pencil via a 3D Painlevé map corresponds to a translation on the universal cover of the Riemann surface of $\sqrt{Δ(λ)}$, rather than to a Möbius transformation of the pencil parameter $λ$ as in [2].

math-ph

Dimers and M-Curves

In this paper we develop a general approach to dimer models analogous to Krichever's scheme in the theory of integrable systems. We start with a Riemann surface and the simplest generic meromorphic functions on it and demonstrate how to obtain integrable dimer models. These are dimer models on doubly periodic bipartite graphs with quasi-periodic positive weights. Dimer models with periodic weights and Harnack curves are recovered as a special case. This generalization from Harnack curves to general M-curves leads to transparent algebro-geometric structures. In particular explicit formulas for the Ronkin function and surface tension as integrals of meromorphic differentials on M-curves are obtained. Furthermore we describe the variational principle for the height function in the quasi-periodic case. Based on Schottky uniformizations of Riemann surfaces we present concrete computational results including computing the weights and sampling dimer configurations with them. The computational results are in complete agreement with the theoretical predictions.

math-ph

A new approach to integrals of discretizations by polarization

Recently, a family of unconventional integrators for ODEs with polynomial vector fields was proposed, based on the polarization of vector fields. The simplest instance is the by now famous Kahan discretization for quadratic vector fields. All these integrators seem to possess remarkable conservation properties. In particular, it has been proved that, when the underlying ODE is Hamiltonian, its polarization discretization possesses an integral of motion and an invariant volume form. In this note, we propose a new algebraic approach to derivation of the integrals of motion for polarization discretizations.

nlin.SI

Dynamical degrees of birational maps from indices of polynomials with respect to blow-ups II. 3D examples

The goal of this paper is the exact computation of the degrees $\text{deg}(f^n)$ of the iterates of birational maps $f: \mathbb{P}^N \dashrightarrow \mathbb{P}^N$. In the preceding companion paper, a new method has been proposed based on the use of indices of polynomials associated to the local blow-ups used to resolve contractions of hypersurfaces by $f$, and on the control of the factorization of pull-backs of polynomials. This leads to recurrence relations for the degrees and the indices. We apply this method to several illustrative examples in three dimensions. These examples demonstrate the flexibility of the method which, in particular, does not require the construction of an algebraically stable lift of $f$, unlike the previously known methods based on the Picard group.

math.DS

A three-dimensional generalization of QRT maps

We propose a geometric construction of three-dimensional birational maps that preserve two pencils of quadrics. The maps act as compositions of involutions, which, in turn, act along the straight line generators of the quadrics of the first pencil and are defined by the intersections with quadrics of the second pencil. On each quadric of the first pencil, the maps act as two-dimensional QRT maps. While these maps are of a pretty high degree in general, we find geometric conditions which guarantee that the degree is reduced to 3. The resulting degree 3 maps are illustrated by two known and two novel Kahan-type discretizations of three-dimensional Nambu systems, including the Euler top and the Zhukovski-Volterra gyrostat with two non-vanishing components of the gyrostatic momentum.

nlin.SI

Dynamical degrees of birational maps from indices of polynomials with respect to blow-ups I. General theory and 2D examples

In this paper we address the problem of computing $\text{deg}(f^n)$, the degrees of iterates of a birational map $f:\mathbb{P}^N\rightarrow\mathbb{P}^N$. For this goal, we develop a method based on two main ingredients: the factorization of a polynomial under pull-back of $f$, based on local indices of a polynomial associated to blow-ups used to resolve the contraction of hypersurfaces by $f$, and the propagation of these indices along orbits of $f$. For maps admitting algebraically stable modifications $f_X:X\rightarrow X$, where $X$ is a variety obtained from $\mathbb P^N$ by a finite number of blow-ups, this method leads to an algorithm producing a finite system of recurrent equations relating the degrees and indices of iterated pull-backs of linear polynomials. We illustrate the method by three representative two-dimensional examples. It is actually applicable in any dimension, and we will provide a number of three-dimensional examples as a separate companion paper.

math.DS

How one can repair non-integrable Kahan discretizations. II. A planar system with invariant curves of degree 6

We find a novel one-parameter family of integrable quadratic Cremona maps of the plane preserving a pencil of curves of degree 6 and of genus 1. They turn out to serve as Kahan-type discretizations of a novel family of quadratic vector fields possessing a polynomial integral of degree 6 whose level curves are of genus 1, as well. These vector fields are non-homogeneous generalizations of reduced Nahm systems for magnetic monopoles with icosahedral symmetry, introduced by Hitchin, Manton and Murray. The straightforward Kahan discretization of these novel non-homogeneous systems is non-integrable. However, this drawback is repaired by introducing adjustments of order $O(ε^2)$ in the coefficients of the discretization, where $ε$ is the stepsize.

nlin.SI

Manin involutions for elliptic pencils and discrete integrable systems

We contribute to the algebraic-geometric study of discrete integrable systems generated by planar birational maps: (a) we find geometric description of Manin involutions for elliptic pencils consisting of curves of higher degree, birationally equivalent to cubic pencils (Halphen pencils of index 1), and (b) we characterize special geometry of base points ensuring that certain compositions of Manin involutions are integrable maps of low degree (quadratic Cremona maps). In particular, we identify some integrable Kahan discretizations as compositions of Manin involutions for elliptic pencils of higher degree.

nlin.SI

How one can repair non-integrable Kahan discretizations

Kahan discretization is applicable to any system of ordinary differential equations on $\mathbb R^n$ with a quadratic vector field, $\dot{x}=f(x)=Q(x)+Bx+c$, and produces a birational map $x\mapsto \widetilde{x}$ according to the formula $(\widetilde{x}-x)/ε=Q(x,\widetilde{x})+B(x+\widetilde{x})/2+c$, where $Q(x,\widetilde{x})$ is the symmetric bilinear form corresponding to the quadratic form $Q(x)$. When applied to integrable systems, Kahan discretization preserves integrability much more frequently than one would expect a priori, however not always. We show that in some cases where the original recipe fails to preserve integrability, one can adjust coefficients of the Kahan discretization to ensure its integrability.

nlin.SI

Linear integrable systems on quad-graphs

In the first part of the paper, we classify linear integrable (multi-dimensionally consistent) quad-equations on bipartite isoradial quad-graphs in $\mathbb C$, enjoying natural symmetries and the property that the restriction of their solutions to the black vertices satisfies a Laplace type equation. The classification reduces to solving a functional equation. Under certain restriction, we give a complete solution of the functional equation, which is expressed in terms of elliptic functions. We find two real analytic reductions, corresponding to the cases when the underlying complex torus is of a rectangular type or of a rhombic type. The solution corresponding to the rectangular type was previously found by Boutillier, de Tilière and Raschel. Using the multi-dimensional consistency, we construct the discrete exponential function, which serves as a basis of solutions of the quad-equation. In the second part of the paper, we focus on the integrability of discrete linear variational problems. We consider discrete pluri-harmonic functions, corresponding to a discrete 2-form with a quadratic dependence on the fields at black vertices only. In an important particular case, we show that the problem reduces to a two-field generalization of the classical star-triangle map. We prove the integrability of this novel 3D system by showing its multi-dimensional consistency. The Laplacians from the first part come as a special solution of the two-field star-triangle map.

math-ph

Geometry of the Kahan discretizations of planar quadratic Hamiltonian systems. II. Systems with a linear Poisson tensor

Kahan discretization is applicable to any quadratic vector field and produces a birational map which approximates the shift along the phase flow. For a planar quadratic Hamiltonian vector field with a linear Poisson tensor and with a quadratic Hamilton function, this map is known to be integrable and to preserve a pencil of conics. In the paper `Three classes of quadratic vector fields for which the Kahan discretization is the root of a generalised Manin transformation' by P. van der Kamp et al., it was shown that the Kahan discretization can be represented as a composition of two involutions on the pencil of conics. In the present note, which can be considered as a comment to that paper, we show that this result can be reversed. For a linear form $\ell(x,y)$, let $B_1,B_2$ be any two distinct points on the line $\ell(x,y)=-c$, and let $B_3,B_4$ be any two distinct points on the line $\ell(x,y)=c$. Set $B_0=\tfrac{1}{2}(B_1+B_3)$ and $B_5=\tfrac{1}{2}(B_2+B_4)$; these points lie on the line $\ell(x,y)=0$. Finally, let $B_\infty$ be the point at infinity on this line. Let $\mathfrak E$ be the pencil of conics with the base points $B_1,B_2,B_3,B_4$. Then the composition of the $B_\infty$-switch and of the $B_0$-switch on the pencil $\mathfrak E$ is the Kahan discretization of a Hamiltonian vector field $f=\ell(x,y)\begin{pmatrix}\partial H/\partial y \\ -\partial H/\partial x \end{pmatrix}$ with a quadratic Hamilton function $H(x,y)$. This birational map $Φ_f:\mathbb C P^2\dashrightarrow\mathbb C P^2$ has three singular points $B_0,B_2,B_4$, while the inverse map $Φ_f^{-1}$ has three singular points $B_1,B_3,B_5$.

nlin.SI

Geometry of the Kahan discretizations of planar quadratic Hamiltonian systems

Kahan discretization is applicable to any quadratic vector field and produces a birational map which approximates the shift along the phase flow. For a planar quadratic Hamiltonian vector field, this map is known to be integrable and to preserve a pencil of cubic curves. Generically, the nine base points of this pencil include three points at infinity (corresponding to the asymptotic directions of cubic curves) and six finite points lying on a conic. We show that the Kahan discretization map can be represented in six different ways as a composition of two Manin involutions, corresponding to an infinite base point and to a finite base point. As a consequence, the finite base points can be ordered so that the resulting hexagon has three pairs of parallel sides which pass through the three base points at infinity. Moreover, this geometric condition on the base points turns out to be characteristic: if it is satisfied, then the cubic curves of the corresponding pencil are invariant under the Kahan discretization of a planar quadratic Hamiltonian vector field.

nlin.SI

New results on integrability of the Kahan-Hirota-Kimura discretizations

R. Hirota and K. Kimura discovered integrable discretizations of the Euler and the Lagrange tops, given by birational maps. Their method is a specialization to the integrable context of a general discretization scheme introduced by W. Kahan and applicable to any vector field with a quadratic dependence on phase variables. We report several novel observations regarding integrability of the Kahan-Hirota-Kimura discretization. For several of the most complicated cases for which integrability is known (Clebsch system, Kirchhoff system, and Lagrange top), - we give nice compact formulas for some of the more complicated integrals of motion and for the density of the invariant measure, and - we establish the existence of higher order Wronskian Hirota-Kimura bases, generating the full set of integrals of motion. While the first set of results admits nice algebraic proofs, the second one relies on computer algebra.

math-ph