Degree complexity of birational maps related to matrix inversion: symmetric case

DOI10.1007/S00209-010-0821-3MaRDI QIDQ415470zbMATH OpenOpenAlexFDO

Authors Tuyen Trung Truong

Publication date 8 May 2012

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1005.4520

zbMATH Keywords

birational mappingsdegree complexitymatrix inversionsymmetric matrices

Mathematics Subject Classification ID

Theory of matrix inversion and generalized inverses (15A09) Dynamical systems over complex numbers (37F99)

Abstract: For $qgeq3$, we let $mathcal{S}_q$ denote the projectivization of the set of symmetric $qimesq$ matrices with coefficients in $mathbbC$. We let $I(x)=(x_{i,j}{)}^{-1}$ denote the matrix inversion, and we let $J(x)=(x_{i,j}^{-1})$ be the matrix whose entries are the reciprocals of the entries of $x$. We let $K|mathcal{S}_q=IcircJ:mathcal{S}_{q}ightarrowmathcal{S}_q$ denote the restriction of the composition $IcircJ$ to $mathcal{S}_q$. This is a birational map whose properties have attracted some attention in statistical mechanics. In this paper we compute the degree complexity of $K|mathcal{S}_q$, thus confirming a conjecture of Angles d'Auriac, Maillard, and Viallet in [J. Phys. A: Math. Gen. 39 (2006), 3641--3654].

Review text

Let \(\mathcal M_q\) be the space of \(q\times q\) complex matrices and \(K : \mathbb P (\mathcal M_q)\to \mathbb P (\mathcal M_q)\) the birational map defined by \(K= I\circ J\), where \(J((x_{i, j})_{1\leq i,j\leq q})= (x_{i,j}^{-1})_{1\leq i,j\leq q}\) and \(I\) is the map that sends a matrix to its inverse. The map \(K\) is of interest in statistical mechanics. The degree complexity of \(K\) is the exponential rate of growth of the degrees of the iterates of \(K\): \(\delta(K)= \lim_{n\to \infty} (\mathrm{deg} K^n)^{1/n}\). The main result of the paper is a determination of the degree complexity of \(K\) when restricted to the \(K\)-invariant subspace of symmetric matrices \(\mathcal S_q\). The author verifies a conjecture made in [\textit{J.-C. Anglès d'Auriac, J. M. Maillard, J.M.} and \textit{C. M. Viallet}, J. Phys. A, Math. Gen., No 39, 3641--3654 (2006; Zbl 1086.14504)] that predicts that the degree complexity \(\delta(K)\) equals to \(\delta(K| \mathcal S_q)\). Further, the author proves that \(\delta(K)\) is the largest modulus of the roots of the polynomial \(\lambda^2-(q^2-4q+2)\lambda+1\). The proof relies on blowing up suitable subvarieties to obtain a model \(Z\to \mathbb{P}\mathcal (S_q)\) such that \(\delta(K)\) is the spectral radius of the pullback of the lifted map \(K_Z^*: \mathrm{Pic } Z\to \mathrm{Pic } Z\). Unlike previous known cases, the proof does not rely on showing that \(K_Z\) is algebraically stable, but on a careful study of the action of iterates \(K_Z^n\) on exceptional surfaces.

Recommendations

• Degree complexity of birational maps related to matrix inversion
• On the degree growth of birational mappings in higher dimension
• Degree growth of matrix inversion: birational maps of symmetric, cyclic matrices
• On the complexity of some birational transformations
• Degree complexity of a family of birational maps. II: Exceptional cases

Cites work

• A classification of four-state spin edge Potts models
• Algebraic entropy
• An upper bound for the topological entropy of a rational mapping
• Birational mappings and matrix subalgebra from the chiral Potts model
• Degree complexity of birational maps related to matrix inversion
• Degree growth of matrix inversion: birational maps of symmetric, cyclic matrices
• scientific article; zbMATH DE number 854100 (Why is no real title available?)
• On the complexity of some birational transformations
• On the degree growth of birational mappings in higher dimension

Cited in

(8)

• Cohomology rings of spaces of generic bipolynomials and extended affine Weyl groups of A series
• Degree complexity of birational maps related to matrix inversion
• The simplicity of the first spectral radius of a meromorphic map
• Dynamical invariants of monomial correspondences
• On the complexity of some birational transformations
• Algebraic billiards in the Fermat hyperbola
• The proof of the Kontsevich periodicity conjecture on noncommutative birational transformations.
• Degree growth of matrix inversion: birational maps of symmetric, cyclic matrices

This page was built for publication: Degree complexity of birational maps related to matrix inversion: symmetric case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q415470)