1 Introduction

Non-commutative extensions of integrable systems are of growing interest in mathematical physics [6, 13,14,15, 18, 24, 27, 37, 41, 50, 52]. They may be considered as a useful platform to more thorough understanding of integrable quantum or statistical mechanics lattice systems, where the quantum Yang–Baxter equation [3, 38] plays a role. Recently, integrable maps with variables satisfying various commutation relations (including the canonical Weyl relations and those coming from the quantum group theory) have been studied in [4, 21, 28, 42, 57, 60].

Such a direction from commutative to non-commutative objects in the theory of integrable systems is not an isolated issue. One can say it is in mainstream of current developments in contemporary mathematics. The origins of this trend are rooted back in quantum physics, where the idea of replacing functions by not necessarily commuting operators appeared. There is a topology of non-commutative spaces, a non-commutative integration theory, a non-commutative differential geometry [11], non-commutative probability theory [63], etc. The present research aims to make a step in direction to create a kind of free integrability. The advantage of working with totally non-commutative variables has been advocated also in [26]. As the geometric research [14] suggests, the algebraic environment of our work will be the theory of Mal’cev–Neumann division rings constructed from free groups.

In this paper, we study maps obeying the Coxeter relations, which are obtained from the non-commutative discrete KP system of equations (called originally in [52] the non-Abelian Hirota–Miwa system). In the commutative case, such maps were studied in [23, 34, 59], see also [17] for a version with certain commutativity restrictions. We remark that Hirota’s discrete KP equation [31] gives as reductions majority of known integrable systems [40], both discrete and continuous. The A-type Coxeter relations [33] considered in the paper are closely related to the notion of Yang–Baxter maps (originally [22] called the set-theoretical solutions of quantum Yang–Baxter equation). We will use, well established by now [2], correspondence between the Yang–Baxter maps and the multidimensional consistency property of integrable equations on quad-graphs [1, 49].

The paper is organized as follows. In the next section, we first collect relevant results about the Mal’cev–Neumann construction of division rings. Then, we discuss the Coxeter relations in connection to the multidimensional consistency. We close the preparatory Sect. 2 with discussion of properties of a map arising from the non-Abelian Hirota–Miwa (discrete KP) system. In Sect. 3, we study the companion map to the above one. The corresponding explicit formulas in the case of periodic reduction, given in Sect. 4, generalize to fully non-commutative level the maps studied in [17, 34]. We discuss also in Sect. 5 relation of the series representing the maps to context-free languages. A surprising consequence is that, although the original non-commutative KP map is given by a rational expression, the series which give the companion map are not rational.

2 Preliminaries

2.1 The Mal’cev–Neumann construction and rational series over free group

Let \(\Bbbk \) be a field (in our case the field of rational numbers \(\mathbb {Q}\)), and let G be a group. Consider the \(\Bbbk \)-vector space \(\Bbbk [[G]]\) of formal series over G with coefficients in \(\Bbbk \), where a series \(S\in \Bbbk [[G]]\) is just a map \(G\ni g \mapsto (S,g)\in \Bbbk \) represented by

$$\begin{aligned} S = \sum _{g\in G} (S,g) g . \end{aligned}$$

The support of the series S is then the set \(\mathrm {supp}(S) = \{g \in G \, | \, (S,g) \ne 0\}\). Series with finite support can be multiplied using the formula

$$\begin{aligned} (ST,h) = \sum _{fg=h} (S,f) (T,g), \end{aligned}$$
(2.1)

and form the group algebra \(\Bbbk [G]\).

Assume that G is totally ordered by the order < compatible with its group structure, i.e.,

$$\begin{aligned} \forall f,g,h\in G, \qquad f< g \quad \Rightarrow \quad {\left\{ \begin{array}{ll} fh< gh .\\ hf < hg . \end{array}\right. } \end{aligned}$$

Recall that \( P \subset G\) is well ordered if every non-empty subset of P admits a smallest element for the order of G. The set \(\Bbbk ((G,<))\) of Mal’cev–Neumann series it is the set of the series in \(\Bbbk [[G]]\) whose supports are well ordered (with respect to the given order <). One can equip \(\Bbbk ((G,<))\) with a \(\Bbbk \)-algebra structure by defining the (Cauchy) product of two Mal’cev–Neumann series S and T by (2.1). The remarkable result by Mal’cev [48], and independently by Neumann [51], is that this algebra is a division ring (skew field). Moreover, the space of Mal’cev–Neumann series is complete in the natural ultra-metric topology [51], where a sequence converges if and only if the coefficient of every monomial stabilizes.

Example 2.1

Let \(G=\mathbb {Z}\) with its standard order, then

$$\begin{aligned} \Bbbk ((\mathbb {Z},<)) = \left\{ \sum _{n=d}^\infty a_n x^n \, | \, a_n\in \Bbbk , \; d\in \mathbb {Z} \right\} , \end{aligned}$$

thus, we obtain the usual formal Laurent series (bounded from below) in one variable over \(\Bbbk \). If we took the opposite order on \(\mathbb {Z}\), we would obtain the Laurent series in \(x^{-1}\) over \(\Bbbk \).

The free group \(\Gamma = \Gamma (x_1,x_2,\dots )\) with generators \(x_1,x_2, \dots \), possibly an infinite list, can be regarded as the set of equivalence classes of finite words in the letters \(x_i\) and their formal inverses \(x_i^{-1}\), where the words are considered equivalent if one can pass from one to the other by removing (or inserting) consecutive letters of the form \(x_ix_i^{-1}\) or \(x_i^{-1}x_i\). The group operation is concatenation, and the empty word represents the identity element. By fixing a total order < in \(\Gamma \) compatible with its group structure, one can consider the corresponding Mal’cev–Neumann division ring \(\Bbbk ((\Gamma ,<))\).

There are number of ways to order free groups [62]—in fact for free groups with more than one generator there are uncountably many. The standard one, described in [5] in terms of the Magnus embedding [47], is as follows. Define the ring

$$\begin{aligned} \Lambda = \mathbb {Z}[[X_1,X_2,\dots ]] \end{aligned}$$

to be the ring of formal power series in the non-commuting variables \(X_i\), one for each generator of \(\Gamma \). If there are infinitely many variables, we only allow for expressions involving a finite set of variables to belong to \(\Lambda \), so that an element of \(\Lambda \) has only a finite number of terms of a given degree. The advantage of \(\Lambda \) is that the variables have no negative exponents (unlike in \(\Gamma \)) and so it is easier to define an ordering, without having to worry about cancellation problems. Define the (multiplicative) homomorphism \(\mu :\Gamma \rightarrow \Lambda \) which on the generators of \(\Gamma \) is given by

$$\begin{aligned}&\mu (x_i) = 1 + X_i \, ,\\&\mu (x_i^{-1}) = 1 - X_i + X_i^2 - X_i^3 + \cdots . \end{aligned}$$

To compare two elements in \(\Lambda \) write them with terms of lower degree first, and lexicographically order terms of the same degree (this is the so-called shortlex order). Then, the two elements are ordered according to the coefficient of the first term at which they differ. Finally, define the ordering on the free group \(\Gamma \) by declaring

$$\begin{aligned} v< w \quad \text {in} \quad \Gamma \Leftrightarrow \; \mu (v) < \mu (w) \quad \text {in} \quad \Lambda . \end{aligned}$$

Example 2.2

To compare \(x_1x_2^2x_1^{-1}\) and \(x_1^{-1}x_2^2x_1\), notice that the series

$$\begin{aligned} \mu (x_1x_2^2x_1^{-1})&= 1 + 2X_2 + 2X_1 X_2 - 2X_2 X_1 + X_2^2 + \cdots \\ \mu (x_1^{-1}x_2^2x_1)&= 1 + 2X_2 - 2X_1 X_2 + 2X_2 X_1 + X_2^2 + \cdots \end{aligned}$$

have different coefficients first at \(X_1X_2\). Because \(-2 < 2\) in \(\mathbb {Z}\), then we have \(x_1^{-1}x_2^2x_1 < x_1x_2^2x_1^{-1}\) .

Consider the ordered free group \((\Gamma ,<)\) with finite number of generators. The smallest sub-division ring in \(\Bbbk ((\Gamma ,<))\) containing the group algebra \(\Bbbk [\Gamma ]\) is called the division ring of fractions. It turns out that the result is independent of the particular order < used in the construction, in the sense that it is isomorphic [43] to the universal field of fractions, called also [10] the free skew field.

2.2 Coxeter relations and multidimensional consistency

Consider the group given by generators \(\langle r_1, r_2 , \dots , r_{N-1} \rangle \) subject to the following relations (of type \(A_{N-1}\)), see [33] for details

$$\begin{aligned}&r_i\circ r_i = \mathrm {id} \qquad \text {(involutivity)}, \end{aligned}$$
(2.2)
$$\begin{aligned}&r_{i}\circ r_{i+1} \circ r_{i} = r_{i+1}\circ r_{i}\circ r_{i+1}, \qquad \text {(braid relations)}, \end{aligned}$$
(2.3)
$$\begin{aligned}&r_i \circ r_j = r_j \circ r_i \quad |i-j| > 1. \end{aligned}$$
(2.4)

It is well known that such a group is isomorphic to the symmetric group \(\mathcal {S}_{N}\), and in this interpretation \(r_i\) can be identified with the transposition \((i,i+1)\). The standard geometric realization of the group is the symmetry group of the regular N-simplex, where \(r_i\) can be identified with the reflection exchanging vertices i with \(i+1\).

Let us present another geometric realization of the symmetric group, which will be used in the sequel. Consider the N-dimensional cube graph \(Q_N\), whose vertices can be identified with binary sequences of length N, and two vertices belong to an edge if their sequences differ at one place only. The edges can be given an orientation to the vertex with bigger number of ones, and the corresponding index \(i=1,\dots ,N\) indicating at which position of the sequence the transition \(0\rightarrow 1\) occurs. This way any oriented path from the initial vertex \((0,0,\dots ,0)\) to the terminal vertex \((1,1,\dots ,1)\) of the graph \(Q_N\) gives rise to a sequence \((\sigma (1),\sigma (2),\dots ,\sigma (N))\) of indices of subsequent edges, and thus to the permutation \(\sigma \in \mathcal {S}_N\). The left regular action of \(\mathcal {S}_N\) on itself gives the action on the paths. In what follows, we attach to each edge a weight, and we extend the action of the generators \(r_i\) of the symmetric group to the corresponding action on weighted paths.

Let \(\mathcal {X}\) be any set, consider map \(f:\mathcal {X} \times \mathcal {X} \ni (\textit{\textbf{x}}_1,\textit{\textbf{x}}_2) \mapsto (f_1(\textit{\textbf{x}}_1,\textit{\textbf{x}}_2), f_2(\textit{\textbf{x}}_1,\textit{\textbf{x}}_2)) \in \mathcal {X} \times \mathcal {X}\). We would like to interpret the map as providing shifts in discrete variables for fields attached to the edges of a square lattice, so that \(\textit{\textbf{x}}_{1(2)} = f_1(\textit{\textbf{x}}_1,\textit{\textbf{x}}_2)\), \(\textit{\textbf{x}}_{2(1)} = f_2(\textit{\textbf{x}}_1,\textit{\textbf{x}}_2)\) as graphically depicted in Fig. 1. In order to keep such an interpretation for multidimensional lattices, the map should satisfy compatibility conditions equivalent to the commutation of shifts in different directions.

Fig. 1
figure 1

An edge-map and its consistency around the cube

The map f is called consistent around the cube [1, 49] if for arbitrary values of the fields \((\textit{\textbf{x}}_1,\textit{\textbf{x}}_2,\textit{\textbf{x}}_3)\) attached to initial edges (containing the vertex (0, 0, 0)) of the cube \(Q_3\)

$$\begin{aligned} f_1(f_1(\textit{\textbf{x}}_1,\textit{\textbf{x}}_3), f_1(\textit{\textbf{x}}_2,\textit{\textbf{x}}_3) )&= f_1(f_1(\textit{\textbf{x}}_1,\textit{\textbf{x}}_2), f_2(\textit{\textbf{x}}_2,\textit{\textbf{x}}_3) ) {\mathop {=}\limits ^{\mathrm {def}}} \textit{\textbf{x}}_{1(23)}, \end{aligned}$$
(2.5)
$$\begin{aligned} f_1(f_2(\textit{\textbf{x}}_1,\textit{\textbf{x}}_2), f_2(\textit{\textbf{x}}_1,\textit{\textbf{x}}_3) )&= f_2(f_1(\textit{\textbf{x}}_1,\textit{\textbf{x}}_3), f_1(\textit{\textbf{x}}_2,\textit{\textbf{x}}_3) ) {\mathop {=}\limits ^{\mathrm {def}}} \textit{\textbf{x}}_{2(13)} , \end{aligned}$$
(2.6)
$$\begin{aligned} f_2(f_2(\textit{\textbf{x}}_1,\textit{\textbf{x}}_2), f_2(\textit{\textbf{x}}_1,\textit{\textbf{x}}_3) )&= f_2(f_1(\textit{\textbf{x}}_1,\textit{\textbf{x}}_2), f_2(\textit{\textbf{x}}_2,\textit{\textbf{x}}_3) ) {\mathop {=}\limits ^{\mathrm {def}}} \textit{\textbf{x}}_{3(12)}, \end{aligned}$$
(2.7)

i.e., for any final edge (containing the vertex (1, 1, 1)) of the cube two possible values of the corresponding field calculated using the map coincide, see Fig. 1. This concept is the crucial one in the theory of discrete integrable systems. In particular, it implies possibility of attaching in a consistent way values of the field on all edges of the multidimensional cube \(Q_N\) once its values on initial edges have been given.

Assume that multidimensionally consistent map f is invertible and admits existence of its unique companion map r defined by

$$\begin{aligned} r(\textit{\textbf{x}}, \textit{\textbf{y}}) = (\textit{\textbf{x}}^\prime , \textit{\textbf{y}}^\prime ), \qquad \text {where} \qquad (\textit{\textbf{y}}^\prime , \textit{\textbf{y}}) = f (\textit{\textbf{x}}, \textit{\textbf{x}}^\prime ). \end{aligned}$$
(2.8)

It is known [2] that the multidimensional consistency in that case implies braid relations for the companion map in the form

$$\begin{aligned} r_{2} \circ r_{1} \circ r_{2} = r_{1} \circ r_{2} \circ r_{1}, \qquad \text {in} \qquad \mathcal {X} \times \mathcal {X} \times \mathcal {X} , \end{aligned}$$
(2.9)

where \(r_1 = r \times \mathrm {id}_{\mathcal {X}}\) and \(r_2 = \mathrm {id}_{\mathcal {X}} \times r\).

Fig. 2
figure 2

The companion map and braid relation \(r_{2} \circ r_{1} \circ r_{2} = r_{1} \circ r_{2} \circ r_{1}\) in the edge interpretation

Actually, the connection has been formulated in [2] in terms of the Yang–Baxter relations

$$\begin{aligned} R_{12}\circ R_{13} \circ R_{23} = R_{23}\circ R_{13}\circ R_{12} \qquad \text {in} \qquad \mathcal {X} \times \mathcal {X} \times \mathcal {X} , \end{aligned}$$
(2.10)

where \(R=\pi \circ r\), \(\pi \) is the transposition (i.e., (\(R(\textit{\textbf{x}}, \textit{\textbf{y}}) = (\textit{\textbf{y}}^\prime , \textit{\textbf{x}}^\prime )\)), and subscripts denote the arguments on which R acts. We remark that eventual involutivity of r means the so-called reversibility condition

$$\begin{aligned} \pi \circ R \circ \pi \circ R = \mathrm {id}_{\mathcal {X} \times \mathcal {X} } , \end{aligned}$$
(2.11)

on the level of the corresponding Yang–Baxter map.

2.3 The non-commutative KP hierarchy and the KP map

The linear problem for the non-commutative difference KP hierarchy [17] ( see also [35] for the commutative case) reads as follows

$$\begin{aligned} \varvec{\phi }_{k+1} - \varvec{\phi }_{k(i)} = \varvec{\phi }_k u_{i,k}, \end{aligned}$$
(2.12)

here \(\varvec{\phi }_{k}(n_1,n_2, \dots )\), is kth component, \(k\in {\mathbb Z}\), of the wave function with values in a division ring, \(n_i\in {\mathbb Z}\) are independent discrete variables, and index in brackets denotes the forward shift in the corresponding variable, i.e., \(\varvec{\phi }_{k(i)}(n_1,n_2, \dots , n_i , \dots ) = \varvec{\phi }_{k}(n_1,n_2, \dots , n_i +1 ,\dots )\). The compatibility condition of Eq. (2.12) gives the so-called non-commutative difference KP hierarchy

$$\begin{aligned}&u_{j,k}u_{i,k(j)} = u_{i,k} u_{j,k(i)}, \qquad i\ne j, \end{aligned}$$
(2.13)
$$\begin{aligned}&u_{i,k(j)} + u_{j,k+1} = u_{j,k(i)} + u_{i,k+1}. \end{aligned}$$
(2.14)

It is not difficult to find explicit form of the transformation rule

$$\begin{aligned} u_{i,k(j)} = ( u_{i,k} - u_{j,k})^{-1} u_{i,k} ( u_{i,k+1} - u_{j,k+1}), \qquad i\ne j, \end{aligned}$$
(2.15)

called in [17] the non-commutative KP map. Let us attach the vector \(\textit{\textbf{u}}_i = (u_{i,k})_{k\in {\mathbb Z}}\) to the corresponding ith edge of multidimensional cube (see Fig. 1). Then, the map involves edges of a single quadrilateral of the cube. Our paper is based on the following result [16] equivalent to integrability of the non-commutative KP hierarchy

Proposition 2.1

The KP map is multidimensionally consistent.

Remark

Equations of the non-commutative discrete KP hierarchy can be obtained from the non-Abelian Hirota–Miwa system [52], see also [14] for geometric meaning of the corresponding linear problem and of the nonlinear equations in terms of the so-called Desargues maps. Notice that the KP map can be considered as two-dimensional only on the formal level of the infinite-component vector \(\textit{\textbf{u}}_i\). On the local level of the three-dimensional non-Abelian Hirota–Miwa system, its four dimensional consistency was established in [14] in connection to the Desargues theorem of projective geometry. Then, instead of the Yang–Baxter equation, one has the so-called pentagon equation [21].

Corollary 2.2

The KP map is birational with the inverse given by

$$\begin{aligned} u_{i,k} = ( u_{i,k-1(j)} - u_{j,k-1(i)}) u_{i,k(j)} ( u_{i,k(j)} - u_{j,k(i)})^{-1}. \end{aligned}$$
(2.16)

By direct calculations, along lines described in [16] for the KP map, one can show the following result.

Corollary 2.3

The inverse of the KP map is three-dimensionally consistent as well, i.e., given values \((\textit{\textbf{u}}_{i(jl)}, \textit{\textbf{u}}_{j(il)},\textit{\textbf{u}}_{l(ij)})\) on three final edges of the cube \(Q_3\), the various ways to obtain values \((\textit{\textbf{u}}_{i}, \textit{\textbf{u}}_{j},\textit{\textbf{u}}_{l})\) on the initial edges give the same result.

3 The companion of the KP map and its properties

Define the companion map to the KP map \(r :(\textit{\textbf{x}}, \textit{\textbf{y}}) \mapsto (\textit{\textbf{x}}^\prime , \textit{\textbf{y}}^\prime )\) by solution of the equations

$$\begin{aligned} x_k y_k = x_k^\prime y_k^\prime , \qquad y_k + x_{k+1} = y_k^\prime + x_{k+1}^\prime , \qquad k\in {\mathbb Z}, \end{aligned}$$
(3.1)

which is just system (2.13) and (2.14) written in new variables

$$\begin{aligned} x_k = u_{i,k}, \quad y_k = u_{j,k(i)}, \quad x^\prime _k = u_{j,k}, \quad y^\prime _k = u_{i,k(j)} \end{aligned}$$
(3.2)

for fixed pair of distinct indices ij. We assume that the arguments \((\textit{\textbf{x}}, \textit{\textbf{y}}) = (x_k,y_k)_{k\in {\mathbb Z}}\) of the map are free variables.

Notice that Eq. (3.1) does not determine the map uniquely. Given one component of the solution, \(x_0^\prime \) say, all other components can be obtained then by the twofold recursion

$$\begin{aligned} y_k^\prime = (x_k^\prime )^{-1} x_k y_k, \qquad&x_{k+1}^\prime = y_k + x_{k+1} - y_k^\prime ,&k\ge 0, \end{aligned}$$
(3.3)
$$\begin{aligned} y_{k-1}^\prime = y_{k-1} + x_k - x_k^\prime , \qquad&x_{k-1}^\prime = x_{k-1}y_{k-1}(y_{k-1}^\prime )^{-1} ,&k \le 0 \, . \end{aligned}$$
(3.4)

One can consider then \(x_0^\prime \) as free parameter (notice that the assumption \(x_0^\prime = x_0\) leads to the identity mapping). When we are interested in K-periodic solutions to the companion map equations (3.1), i.e., \(k\in {\mathbb Z}_K\), then the freedom vanishes. In this Section, we study properties of the companion map (with free parameter) which hold even without the periodicity restriction.

Define recursively polynomials

$$\begin{aligned} \mathcal {P}_{k}^{(0)} = 1, \qquad \mathcal {P}_{k}^{(\ell )} = \mathcal {P}_{k}^{(\ell - 1)} \, x_{k+\ell } + y_k \ldots y_{k+\ell -1} = x_{k+1} \ldots x_{k+\ell }+ y_{k} \mathcal {P}_{k+1}^{(\ell -1)} .\nonumber \\ \end{aligned}$$
(3.5)

In [17], it was shown that the polynomials are invariants of the companion map. Following [54], we can represent the polynomials as formal sums of all weighted paths between two vertices of the graph as on Fig. 3. This observation can be also given meaning in terms of matrices.

Proposition 3.1

The polynomial \(\mathcal {P}_{k}^{(\ell )}\) is (2, 1) element of the following product of \(2\times 2\) matrices

$$\begin{aligned} \left( \begin{array}{cc} x_k &{} 0 \\ 1 &{} y_k \end{array} \right) \left( \begin{array}{cc} x_{k+1} &{} 0 \\ 1 &{} y_{k+1} \end{array} \right) \ldots \left( \begin{array}{cc} x_{k+\ell } &{} 0 \\ 1 &{} y_{k+\ell } \end{array} \right) = \left( \begin{array}{cc} x_k \ldots x_{k+\ell } &{} 0 \\ \mathcal {P}_{k}^{(\ell )} &{} y_k \ldots y_{k+\ell } \end{array} \right) \end{aligned}$$
(3.6)

Proof

By mathematical induction using the recursive definition (3.5). The combinatorial interpretation of weighted paths in graphs in terms of matrices is standard [58, 64]. \(\square \)

Fig. 3
figure 3

The combinatorial interpretation of the polynomial \( \mathcal {P}_{k}^{(\ell )}\) as the sum over all weighted paths between two vertices (marked in black)

Corollary 3.2

Define functions \(\alpha _k(\textit{\textbf{x}},\textit{\textbf{y}}), \beta _k(\textit{\textbf{x}},\textit{\textbf{y}})\), \(k\in \mathbb {Z}\), by

$$\begin{aligned} \alpha _k(\textit{\textbf{x}},\textit{\textbf{y}})&= x_k y_k , \end{aligned}$$
(3.7)
$$\begin{aligned} \beta _k(\textit{\textbf{x}},\textit{\textbf{y}})&= y_{k} + x_ {k+1}, \end{aligned}$$
(3.8)

or using infinite matrices

$$\begin{aligned} \left( \begin{array}{ccccc} \ddots &{} \ddots &{} \ddots &{} \ddots &{} \\ \ddots &{} x_{k-1} &{} 0 &{} 0 &{} \ddots \\ \ddots &{} 1 &{} x_{k} &{} 0 &{} \ddots \\ \ddots &{} 0 &{} 1 &{} x_{k+1} &{} \ddots \\ &{} \ddots &{} \ddots &{} \ddots &{} \ddots \end{array} \right) \left( \begin{array}{ccccc} \ddots &{} \ddots &{} \ddots &{} \ddots &{} \\ \ddots &{} y_{k-1} &{} 0 &{} 0 &{} \ddots \\ \ddots &{} 1 &{} y_{k} &{} 0 &{} \ddots \\ \ddots &{} 0 &{} 1 &{} y_{k+1} &{} \ddots \\ &{} \ddots &{} \ddots &{} \ddots &{} \ddots \end{array} \right) = \left( \begin{array}{ccccc} \ddots &{} \ddots &{} \ddots &{} \ddots &{} \\ \ddots &{} \alpha _{k-1} &{} 0 &{} 0 &{} \ddots \\ \ddots &{} \beta _{k-1} &{} \alpha _{k} &{} 0 &{} \ddots \\ \ddots &{} 1 &{} \beta _{k} &{} \alpha _{k+1} &{} \ddots \\ &{} \ddots &{} \ddots &{} \ddots &{} \ddots \end{array} \right) . \end{aligned}$$

Then, the problem of finding the companion to the KP map (3.1) can be formulated as the problem of finding another solution \(x_k^\prime , y_k^\prime \) of the system (3.7) and (3.8) with the data \(\alpha _k, \beta _k\), once a solution \(x_k, y_k\) has been given or, equivalently, as a matrix refactorization problem.

Remark

It is immediate to see that the functions \(\alpha _k(\textit{\textbf{x}},\textit{\textbf{y}}), \beta _k(\textit{\textbf{x}},\textit{\textbf{y}})\) are invariant with respect to the companion map. This holds true independently of the value of the free parameter which specifies the map.

Remark

Notice that \(\mathcal {P}_{k}^{(1)} = \beta _k\), and the recurrence formula (3.5) gives

$$\begin{aligned} \mathcal {P}_{k}^{(\ell )} = \mathcal {P}_{k}^{(\ell - 1)} \beta _{k+\ell - 1} -\mathcal {P}_{k}^{(\ell -2)} \alpha _{k+\ell - 1}, \end{aligned}$$
(3.9)

which easily implies invariance of the polynomials \(\mathcal {P}_{k}^{(\ell )}\) with respect to the companion map.

Let us close this Section with similar discussion of braid relations (2.9) in the context of the companion map. Given three sets of indeterminates \((\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )= (x_k,y_k,z_k)_{k\in \mathbb {Z}}\), define (using the same symbols as above but with different number of arguments, the meaning will be clear from the context) functions \(\alpha _k(\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )\), \(\beta _k(\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )\), and \(\gamma _k(\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )\), \(k\in \mathbb {Z}\), by

$$\begin{aligned} \alpha _k(\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )= & {} x_k y_k z_k , \end{aligned}$$
(3.10)
$$\begin{aligned} \beta _k(\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )= & {} y_k z_k + x_{k+1} z_k + x_{k+1} y_{k+1}, \end{aligned}$$
(3.11)
$$\begin{aligned} \gamma _k(\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )= & {} z_k + y_{k+1} + x_ {k+2} . \end{aligned}$$
(3.12)

Proposition 3.3

The above three-argument functions \((\alpha _k, \beta _k, \gamma _k)_{k\in \mathbb {Z}} \) are invariant with respect to the maps \(r_1 = r \times \mathrm {id}\) and \(r_2 = \mathrm {id} \times r\) whose superpositions give the braid relations (2.9).

Proof

The result follows from the observation that

$$\begin{aligned} \alpha _k(\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )&= \alpha _k(\textit{\textbf{x}},\textit{\textbf{y}}) \, z_k = x_k \, \alpha _k(\textit{\textbf{y}},\textit{\textbf{z}} ), \\ \beta _k(\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )&= \beta _k( \textit{\textbf{x}},\textit{\textbf{y}}) z_k + \alpha _{k+1} (\textit{\textbf{x}},\textit{\textbf{y}}) = \alpha _{k} (\textit{\textbf{y}},\textit{\textbf{z}}) + x_{k+1} \beta _k(\textit{\textbf{y}},\textit{\textbf{z}} ) ,\\ \gamma _k(\textit{\textbf{x}},\textit{\textbf{y}},\textit{\textbf{z}} )&= z_k + \beta _{k+1}(\textit{\textbf{x}},\textit{\textbf{y}} ) = \beta _k(\textit{\textbf{y}},\textit{\textbf{z}} ) + x_{k+2}, \end{aligned}$$

and the invariance of the two-argument functions with respect to the companion map. \(\square \)

4 The companion map in the periodic reduction

4.1 Explicit formulas for periodic companion map

In this Section, we assume that the arguments \((x_k,y_k)\) of the companion map are periodic with period K, i.e., \(x_{k+K} = x_k\), \(y_{k+K} = y_k\). We will be looking for the explicit form of the map which preserves the periodicity condition, i.e., \(x_{k+K}^\prime = x_k^\prime \), \(y_{k+K}^\prime = y_k^\prime \) as well. Ruling out the identity mapping, we define \(h_k\), as it was done in the commutative case in [54], by

$$\begin{aligned} x_{k+1}^\prime = x_{k+1} + h_k^{-1}. \end{aligned}$$
(4.1)

Then, the second part of the system (3.1) gives

$$\begin{aligned} y_{k}^\prime + h_k^{-1} = y_{k} , \end{aligned}$$
(4.2)

and the first part leads to equations

$$\begin{aligned} h_k x_{k+1} + 1 = y_{k+1}h_{k+1} . \end{aligned}$$
(4.3)

In order to make subsequent formulas more readable, let us introduce the following notation

$$\begin{aligned}{}[y^{-1}x]_k^0 = 1, \qquad [y^{-1}x]_k^{n+1} = y_{k-1}^{-1}[y^{-1}x]_{k-1}^n x_k \qquad \text {where} \quad n\ge 0. \end{aligned}$$

For example

$$\begin{aligned}{}[y^{-1}x]_2^4 = y_1^{-1}y_0^{-1}y_{-1}^{-1} y_{-2}^{-1} x_{-1} x_0 x_1 x_2 \end{aligned}$$

which in \(K=2\)-periodic case should mean

$$\begin{aligned}{}[y^{-1}x]_2^4 = y_1^{-1}y_2^{-1}y_{1}^{-1} y_{2}^{-1} x_{1} x_2 x_1 x_2, \end{aligned}$$

Proposition 4.1

The formal series solution of the system (4.3) is given by

$$\begin{aligned} h_k = y_k^{-1} \sum _{n\ge 0} [y^{-1}x]_k^n = \sum _{n\ge 0} (y_{k-n} y_{k-n+1} \dots y_k)^{-1} x_{k-n+1} x_{k-n+2} \dots x_k , \end{aligned}$$
(4.4)

i.e., we regard \(h_k\) as Mal’cev–Neumann series in the symbols \(y_k^{-1}\), \(x_k\) for \(k\in \mathbb {Z}_K\).

Proof

It is convenient to introduce \(Z_k = y_k h_k\), and write down the above system in the form

$$\begin{aligned} Z_k = 1 + y_{k-1}^{-1} Z_{k-1} x_k. \end{aligned}$$
(4.5)

The above system can be solved by the successive approximation method [56, 58] starting from \(Z_k^{(0)}=0\), and proceeding recursively by

$$\begin{aligned} Z_k^{(j+1)} = 1 + y_{k-1}^{-1} Z_{k-1}^{(j)} x_{k}, \qquad j\ge 0. \end{aligned}$$

The series

$$\begin{aligned} \lim _{j\rightarrow \infty } Z_k^{(j)} = \sum _{n\ge 0} [y^{-1}x]_k^n \end{aligned}$$

is the fixed point of equation (4.5). \(\square \)

Our next step is finding the series representing inverse of the series (4.4). We introduce the following standard notation [44]. By a composition \(\alpha \) of n, denoted \(\alpha \models n\), we mean a finite sequence \(\alpha =(\alpha _1, \alpha _2 , \dots , \alpha _m)\) of positive integers with \(n = \alpha _1 + \alpha _2 + \dots + \alpha _m\). The number \(m=|\alpha |\) is called the length of the composition. Given composition \(\alpha \models n\), define

$$\begin{aligned}{}[y^{-1}x]^\alpha _k = [y^{-1}x]^{\alpha _1}_k \dots [y^{-1}x]^{\alpha _m}_k \; . \end{aligned}$$

Proposition 4.2

The inverse of the series

$$\begin{aligned} h_k= y_k^{-1} \sum _{n\ge 0} [y^{-1}x]_k^n = y_k^{-1} \left( 1 + y_{k-1}^{-1} x_k + y_{k-1}^{-1} y_{k-2}^{-1} x_{k-1} x_k + \dots \right) \end{aligned}$$

is given by

$$\begin{aligned} h_k^{-1}= & {} \left( \sum _{n\ge 0} \sum _{\alpha \models n} (-1)^{|\alpha |} [y^{-1}x]_k^\alpha \right) y_k \\= & {} \left( 1 - y_{k-1}^{-1} x_k + y_{k-1}^{-1} x_k \, y_{k-1}^{-1} x_k - y_{k-1}^{-1} y_{k-2}^{-1} x_{k-1} x_k + \dots \right) y_k. \end{aligned}$$

Proof

Let us look for the inverse of the series \(Z_k=\sum _{n\ge 0} [y^{-1}x]_k^n\) in the form \(Z_k^{-1}= \sum _{n\ge 0} c_n\), where \(c_n\) is homogeneous polynomial of degree 2n in the symbols \(y_l^{-1}\) and \(x_l\). Then, equation \(Z_k^{-1} Z_k = 1\) implies

$$\begin{aligned} c_0 = 1, \qquad c_0 [y^{-1}x]^n_k + c_1 [y^{-1}x]^{n-1}_k + \dots + c_n = 0 , \quad n>0 \;. \end{aligned}$$

The identification

$$\begin{aligned} c_n = \sum _{\alpha \models n} (-1)^{|\alpha |} [y^{-1}x]^\alpha _k \end{aligned}$$

follows by separation of the last component \(\alpha _m\) from composition \(\alpha \)

$$\begin{aligned} \sum _{\alpha \models n} (-1)^{|\alpha |} [y^{-1}x]^\alpha _k = - \sum _{i=1}^n \left( \sum _{\beta \models n-i} (-1)^{|\beta |} [y^{-1}x]^\beta _k \right) [y^{-1}x]^i_k \; . \end{aligned}$$

\(\square \)

Remark

There is a natural bijection between compositions of n and subsets of \(\{1,2,\dots , n-1\}\), see [44],

$$\begin{aligned} \alpha = (\alpha _1, \alpha _2 , \dots , \alpha _m) \mapsto \{ \alpha _1, \alpha _1+\alpha _2, \dots , \alpha _1 + \alpha _2 + \dots + \alpha _{n-1} \} , \end{aligned}$$

which gives the number \(2^{n-1}\) of compositions of n. We conclude that each homogenous term \(c_n\) has \(2^{n-1}\) summands, \(n>0\).

Remark

By separating the first components of compositions, we can check directly that the left inverse of \(Z_k\) equals its right inverse.

Finally, we can state the explicit transition formulas.

Proposition 4.3

The formal series solutions of equations (3.1) which define the companion map are given by

$$\begin{aligned} x_k^\prime&= x_k + \sum _{n\ge 0} \sum _{\alpha \models n} (-1)^{|\alpha |} [y^{-1}x]_{k-1}^\alpha y_{k-1} = x_k + y_{k-1} - y_{k-2}^{-1} x_{k-1} y_{k-1} + \dots , \end{aligned}$$
(4.6)
$$\begin{aligned} y_k^\prime&= - \sum _{n > 0} \sum _{\alpha \models n} (-1)^{|\alpha |} [y^{-1}x]_{k}^\alpha y_{k} = y_{k-1}^{-1} x_k y_k - y_{k-1}^{-1} x_k \, y_{k-1}^{-1} x_k y_k\nonumber \\&\quad + y_{k-1}^{-1} y_{k-2}^{-1} x_{k-1} x_k y_k + \dots \; . \end{aligned}$$
(4.7)

Remark

Equations (4.1)–(4.3) imply another form of the companion map

$$\begin{aligned} x_k^\prime = h_{k-1}^{-1} y_k h_k, \qquad y_k^\prime = h_{k-1} x_k h_k^{-1} . \end{aligned}$$
(4.8)

Remark

Equations (4.3) and (3.5) imply

$$\begin{aligned} h_k \, x_{k+1} x_{k+2} \dots x_{k+\ell +1} + \mathcal {P}_{k+1}^{(\ell )} = y_{k+1}y_{k+2} \dots y_{k+\ell +1} \, h_{k+\ell +1}, \end{aligned}$$

which for \(\ell =K-1\) under K-periodicity assumption leads to following equation satisfied by \(h_k\)

$$\begin{aligned} y_{k+1}y_{k+2} \dots y_{k+K} h_k = h_k \, x_{k+1} x_{k+2} \dots x_{k+K} + \mathcal {P}_{k+1}^{(K-1)} \,. \end{aligned}$$
(4.9)

By the successive approximation technique, one can obtain the same series solution (4.4). Under additional condition of centrality of the products \(x_{k+1} x_{k+2} \dots x_{k+K} \) and \(y_{k+1}y_{k+2} \dots y_{k+K}\), the above equation was considered in [17]. Then, its solution reads

$$\begin{aligned}&x_k^\prime = \left[ \mathcal {P}_{k}^{(K-1)}\right] ^{-1} y_k \mathcal {P}_{k+1}^{(K-1)}, \nonumber \\&y_k^\prime = \mathcal {P}_{k}^{(K-1)} x_k \left[ \mathcal {P}_{k+1}^{(K-1)}\right] ^{-1}, \end{aligned}$$
(4.10)

and agrees with the corresponding result obtained in the fully commutative case [34, 35].

Remark

In the periodic reduction equations (3.7) and (3.8) and the matrix refactorization problem stated in Corollary 3.2 read

$$\begin{aligned}&\left( \begin{array}{ccccc} x_1 &{}\quad 0 &{}\quad \cdots &{}\quad 0 &{}\quad 1 \\ 1 &{}\quad x_{2} &{}\quad 0 &{}\quad \cdots &{}\quad 0 \\ 0 &{}\quad 1 &{}\quad x_3 &{}\quad \ddots &{}\quad \vdots \\ \vdots &{}\quad \ddots &{}\quad \ddots &{}\quad \ddots &{}\quad 0 \\ 0 &{}\quad \cdots &{}\quad 0 &{}\quad 1 &{}\quad x_{K} \end{array} \right) \left( \begin{array}{ccccc} y_1 &{}\quad 0 &{}\quad \cdots &{}\quad 0 &{}\quad 1 \\ 1 &{}\quad y_{2} &{}\quad 0 &{}\quad \cdots &{}\quad 0 \\ 0 &{}\quad 1 &{}\quad y_3 &{}\quad \ddots &{}\quad \vdots \\ \vdots &{}\quad \ddots &{}\quad \ddots &{}\quad \ddots &{}\quad 0 \\ 0 &{}\quad \cdots &{}\quad 0 &{}\quad 1 &{}\quad y_{K} \end{array} \right) \\&\quad = \left( \begin{array}{ccccc} \alpha _1 &{}\quad 0 &{}\quad \cdots &{}\quad 1 &{}\quad \beta _K \\ \beta _1 &{}\quad \alpha _{2} &{}\quad 0 &{}\quad \cdots &{}\quad 1 \\ 1 &{}\quad \beta _2 &{}\quad \alpha _3 &{}\quad \ddots &{}\quad \vdots \\ \vdots &{}\quad \ddots &{}\quad \ddots &{}\quad \ddots &{}\quad 0 \\ 0 &{}\quad \cdots &{}\quad 1 &{}\quad \beta _{K-1} &{}\quad \alpha _{K} \end{array} \right) . \end{aligned}$$

Observe that every element \(x_k\) or \(y_k\) satisfies an equation in a form of a periodic continued fraction. For example, elimination of all variables except from \(y_1\) gives

$$\begin{aligned} y_1 = \beta _1 - \alpha _{2} \left( \beta _{2} - \alpha _{3} \left( \beta _{3} - \dots - \alpha _{K} \left( \beta _{K} - \alpha _{K-1} y_{1}^{-1} \right) ^{-1} \dots \right) ^{-1}\right) ^{-1} \end{aligned}$$

As it was observed in [19], solution of the refactorization problem can be interpreted as a non-commutative analog of the Galois theorem for periodic continued fractions. For more information concerning relation of continued fraction theory to integrable systems see for example [29, 31], and especially [53] in the context of Weyl groups. Non-commutative continued fractions and integrable systems were considered also in [12].

4.2 Warning: new “absurd formula”

It turns out that if we rewrite the basic system (4.3) in the form

$$\begin{aligned} h_k = - x_{k+1}^{-1} + y_{k+1}h_{k+1} x_{k+1}^{-1}, \end{aligned}$$
(4.11)

then the successive approximation technique gives its unique solution as

$$\begin{aligned} h_k = - \sum _{n\ge 0}[yx^{-1}]_k^n x_{k+1}^{-1}, \end{aligned}$$
(4.12)

where \([yx^{-1}]_k^n\) is defined recursively by

$$\begin{aligned} {[}yx^{-1}]_k^0 = 1, \qquad [yx^{-1}]_k^{n+1} = y_{k+1}[yx^{-1}]_{k+1}^n x_{k+2}^{-1}, \qquad n\ge 0. \end{aligned}$$

Extending the notation for compositions in the same way as in the previous case, we obtain the solution

$$\begin{aligned} x_k^\prime&=- x_{k}\sum _{n > 0} \sum _{\alpha \models n} (-1)^{|\alpha |} [yx^{-1}]_{k-1}^\alpha \nonumber \\&= x_k y_{k} x_{k+1}^{-1} - x_k y_{k} x_{k+1}^{-1} y_{k} x_{k+1}^{-1} + x_k y_{k} y_{k+1} x_{k+2}^{-1} x_{k+1}^{-1} + \dots , \end{aligned}$$
(4.13)
$$\begin{aligned} y_k^\prime&= y_k + x_{k+1} \sum _{n \ge 0} \sum _{\alpha \models n} (-1)^{|\alpha |} [yx^{-1}]_{k}^\alpha = y_k + x_{k+1} - x_{k+1} y_{k+1} x_{k+2}^{-1} + \dots \; , \end{aligned}$$
(4.14)

which seems to contradict uniqueness of the companion map.

This paradox can be explained as follows. Both expressions (4.4) and (4.12) for \(h_k\) represent Mal’cev–Neumann series in different spaces and cannot be considered simultaneously. A similar situation happens with the following Euler’s “absurd formula”

$$\begin{aligned} \sum _{n\in \mathbb {Z}}x^n = 0, \end{aligned}$$

see detailed discussion in [9]. From various aspects of the above “identity” given there, we can pick up the most relevant one in our context. When considered as rational expressions, the two parts of the series (which, however, again cannot be considered simultaneously on the series level)

$$\begin{aligned} \sum _{n\ge 0} x^n = (1-x)^{-1}, \qquad \sum _{n < 0} x^n = \sum _{n> 0} (x^{-1})^n = x^{-1} (1-x^{-1})^{-1} , \end{aligned}$$
(4.15)

summed up give the desired “result.”

One can, as a by-product of our considerations, add to the list new “absurd formula”

$$\begin{aligned} \sum _{n\in {\mathbb Z}} x^n y^n = 0, \end{aligned}$$

where x and y are non-commuting symbols (for commuting symbols it reduces to the above one). Notice that two Mal’cev–Neumann series

$$\begin{aligned} h^{(1)} = \sum _{n\ge 0} x^n y^n , \qquad h^{(2)} = - \sum _{n> 0} (x^{-1})^{n} (y^{-1})^{n}, \end{aligned}$$

\(h^{(1)} \in \mathbb {Q} (( x,y))\), and \(h^{(2)} \in \mathbb {Q} (( x^{-1},y^{-1}))\) satisfy equations

$$\begin{aligned} h^{(1)} = 1 + x h^{(1)} y, \qquad h^{(2)} = - x^{-1} y^{-1} + x^{-1} h^{(2)} y^{-1} , \end{aligned}$$

which can be easily transformed one into another.

5 The companion map and context-free languages

The present Section arose from (unsuccessful) attempts to rewrite the transformation formulas (4.6) and (4.7) in a more compact form as a rational expression. As we mentioned in Sect. 4, such formulas (4.10) have been previously obtained under the centrality assumption in [17] or in the fully commutative case in [34, 35]. The answer came from the theory of formal languages [32], where analogous questions were discussed [8, 39, 56] earlier.

To make the paper self-contained, let us recall relevant definitions [32]. For a set A, called an alphabet, we denote by \(A^*\) the set consisting of all words (finite sequences of letters in A including the empty sequence \(\lambda \)). A context-free grammar G(NARY) is given by

  1. (1)

    an alphabet N whose elements are called variables or nonterminals,

  2. (2)

    an alphabet A (disjoint from N) whose elements are called terminals,

  3. (3)

    a finite set R of rewritting rules or productions, each rule being a pair \(Y_i \rightarrow \gamma \), where \(Y_i \in N\) and \(\gamma \in (A\cup N)^*\),

  4. (4)

    an element \(Y\in N\) called the initial variable.

For two words \(\gamma _1, \gamma _2\) in \((A\cup N)^*\), we write \(\gamma _1 \Rightarrow \gamma _2\) iff \(\gamma _1 = \delta _1 Y_i \delta _2\), \(\gamma _2 = \delta _1 \gamma \delta _2\) and \(Y_i \rightarrow \gamma \) is in R. Let \({\mathop {\Rightarrow }\limits ^{*}}\) be the reflexive transitive closure of \(\Rightarrow \), then the language L(G) generated by G is

$$\begin{aligned} L(G) = \{ w\in A^* | Y {\mathop {\Rightarrow }\limits ^{*}} w \} . \end{aligned}$$

A context-free grammar is termed regular iff the right-hand side of every production belongs to \(AN \cup \lambda \). A language L is referred to as context-free or regular iff \(L=L(G)\) for some context-free or regular grammar, respectively.

To simplify formulas, in this Section we use the notation \(\bar{x}_k = y_{k-1}^{-1}\). Then, the system (4.5) reads

$$\begin{aligned} Z_k = 1 + \bar{x}_k Z_{k-1} x_k, \qquad k=1,\dots , K. \end{aligned}$$
(5.1)

Let us consider the support \(L_k\) of the series \(Z_k\) as a subset of the set \(\mathcal {X}^*_K\) consisting of all words over the alphabet \(\mathcal {X}_K = \{ x_1, \dots ,x_K, \bar{x}_1, \dots \bar{x}_K \}\).

Proposition 5.1

The language \(L_k\), \(k=1,\dots , K\), is generated by the context-free grammar with variables \(\{Y_1, Y_2, \dots , Y_K\}\), terminals \(\{ x_1, \dots ,x_K, \bar{x}_1, \dots \bar{x}_K \}\), the production rules

$$\begin{aligned} Y_i\rightarrow \lambda , \qquad Y_i\rightarrow \bar{x}_i Y_{i-1} x_i , \end{aligned}$$
(5.2)

and the initial variable \(Y_k\).

Example 5.1

In the simplest case \(K=1\), the unique solution of the equation (we skip the subscripts)

$$\begin{aligned} Z = 1 + \bar{x}Z x, \end{aligned}$$
(5.3)

is the series

$$\begin{aligned} Z= \sum _{n=0} \bar{x}^n x^n = 1 + \bar{x} x + \bar{x} \bar{x} x x + \bar{x} \bar{x} \bar{x} x x x + \dots , \end{aligned}$$
(5.4)

with the support \( L = \{ \bar{x}^n x^n \}_{n\ge 0} = \{ \lambda , \bar{x} x , \bar{x} \bar{x} x x , \bar{x} \bar{x} \bar{x} x x x ,\dots \}\). The language L is generated by the grammar with variable Y, which is also the initial symbol, terminals \(\{ \bar{x}, x\}\) and the productions

$$\begin{aligned} Y\rightarrow \lambda , \qquad Y\rightarrow \bar{x}Y x . \end{aligned}$$
(5.5)

The above language is the standard and the simplest example of a context-free language, which is not regular. In the theory of computing machines, this means that it can be accepted by a push-down automaton but cannot be accepted by a finite-state automaton (see [32] or any textbook of the theory of formal languages). This can be shown by the so-called pumping lemma, and the arguments go over to the case of languages \(L_k\). By the known relation between regular languages and rational series [8, 39, 56], the corresponding solutions \(Z_k\) to system (5.1) cannot be written as rational expressions.

Recall that to find transformation formulas we had to calculate inverses of the series \(Z_k\), \(k=1,\dots , K\). We remark that the inverse \(Z^{-1}\) of the series (5.4) was calculated in [7]. By Proposition 4.2, the support of the series \(Z_k^{-1}\) is the language

$$\begin{aligned} L_k^* = \bigcup _{n\ge 0} \{ [\bar{x}x]_k^\alpha \; | \; \alpha \models n \} , \end{aligned}$$
(5.6)

whose elements are all possible concatenations of words of \(L_k\). Notice that elements of languages \(L_k^*\) are in bijection with compositions. From that point of view, the elements of the language L of the above example can be put in bijection with generators of the algebra of the non-commutative symmetric functions [25, 44]. This Hopf algebra is a generalization of the algebra of symmetric functions [45], which plays pivotal role in the theory of KP hierarchy [46]. The corresponding extension for \(K>1\) of the Hopf algebra of the non-commutative symmetric functions together with its graded dual (quasi-symmetric functions) was the subject of [20].

6 Conclusion and open problems

Starting from periodic reduction in the KP-map for non-commuting symbols, we have constructed its companion map in terms of Mal’cev–Neumann series which cannot be reduced to rational expressions. By multidimensional consistency of the KP map, our formulas give a realization of the A-type Coxeter relations. We studied the action of the finite Coxeter group only, leaving for further research the case of affine Coxeter groups and their eventual connection [53] with non-commutative discrete Painlevé equations [18, 28, 42].

An interesting output of our research is the relation of the companion to KP map in the periodic reduction to theory of formal languages. The type of series in non-commuting variables, we have encountered in the present research, corresponds to the so-called context-free languages and push-down automata. This aspect certainly deserves deeper studies, especially in the spirit of current applications of integrable systems to combinatorics.