A study on the domain independence of the Laurent property, the irreducibility and the coprimeness in lattice equations
Abstract.
We study the Laurent property, the irreducibility and the coprimeness for lattice equations (partial difference equations), mainly focusing on how the choice of initial value problem (the choice of domain) affects these properties. We show that these properties do not depend on the choice of domain as long as they are considered together. In other words, these properties are inherent to a difference equation. Applying our result, we discuss the reductions of lattice equations. We show that any reduction of a Laurent system, even if the lattices have torsion elements, preserves the Laurent property.
Key words and phrases:
Laurent property; Laurent phenomenon; lattice equation; irreducibility; coprimeness2020 Mathematics Subject Classification:
39A14, 39A27, 13B301. Introduction
A difference equation is said to have the Laurent property if every iterate is expressed as a Laurent polynomial in the initial values [2]. Such a difference equation is often called a Laurent system [7, 8, 5].
This property, also known as the Laurent phenomenon, is closely related to the theory of cluster algebras. It is well known that each cluster variable is expressed as a Laurent polynomial in the initial cluster [1]. Therefore, one can generate a Laurent system using a specific sequence of mutations for a cluster algebra [4, 3]. LP (Laurent phenomenon) algebras were proposed to generalize cluster algebras [23]. The Laurent property for cluster algebras and LP algebras is shown using the Caterpillar Lemma.
A basic strategy to prove the Laurent property is to show that several iterates are mutually coprime as Laurent polynomials. For example, this idea is used in Hickerson’s method [6, 31] and the proof of the Caterpillar Lemma [2]. On the other hand, the coprimeness for a Laurent system is a global property and focuses on the coprimeness of every pair of iterates [19]. We will review the definition of the coprimeness for Laurent systems in Definition 1.16.
We say that a Laurent system satisfies the irreducibility if every iterate is irreducible (or a unit) as a Laurent polynomial in the initial variables (Definition 1.16). This property holds for many Laurent systems and often helps us show the Laurent property and the coprimeness. However, some Laurent systems are known to satisfy the coprimeness but do not have the irreducibility [22].
Some non-Laurent systems can be transformed into Laurent systems by changing dependent variables, and this procedure is called Laurentification [13, 19, 8]. The transformation of dependent variables corresponds to the singularity patterns of the original equation. Therefore, Laurentification, in conjunction with the coprimeness, reveals the (global) singularity structure for non-Laurent systems, leading to the concept of the coprimeness for non-Laurent systems [19]. In addition, this procedure allows us to compute the degree growth for the original equation [13, 20, 27]. When calculating the degree growth, we often use the tropical dynamics of the Laurentified equation.
When considering the Laurent property for lattice equations (partial difference equations), the choice of initial value problem, i.e., the choice of domain, is essential. Since an initial value problem for a lattice equation has infinitely many initial variables, some conditions on a domain are necessary when we show the Laurent property. In fact, a Laurent system often loses the Laurent property if considered on a pathological domain [25]. The conditions on a domain required for the Laurent property were first considered for several concrete lattice equations in [2] and then clearly stated for discrete Hirota bilinear equations in [25, 26]. The conditions for general lattice equations, defined in Definition 1.11, are described by the future and past light cones [9].
Some Laurent systems on multi-dimensional lattices can be obtained from a (sequence of) mutation(s) for a cluster or LP algebra. For example, Okubo constructed quivers that generate the discrete KdV (Korteweg-de Vries) equation and the Hirota-Miwa equation (the bilinear form of the discrete KP equation), respectively [28, 29], and later obtained an LP-algebraic expression of the bilinear form of the discrete BKP equation [30]. Even some non-integrable Laurent systems on multi-dimensional lattices are constructed from LP algebras [17]. Note that a cluster (or LP) algebra that generates a lattice equation defined by a single recurrence relation is not of finite rank since an initial value problem has infinitely many initial variables. On the other hand, the author and collaborators recently constructed a quiver of finite rank whose commuting sequences of mutations generate a lattice equation on [15, -case].
Proving the Laurent property for a lattice equation without constructing a cluster or LP algebra, i.e., without relying on the Caterpillar Lemma, is sometimes very difficult because no general method to show that several iterates are mutually coprime is known. In this process, we need to check that an iterate does not divide another iterate. For now, the most commonly used strategy to show this is to check that an iterate is irreducible by substituting numerical values for (some of) the initial variables or by focusing on a specific initial variable that appears only in one of two iterates. This strategy is most effective when working on a specific domain, such as a translation-invariant one [16, 17, 18].
In this paper, we consider how the choice of domain affects the Laurent property, the irreducibility and the coprimeness of an autonomous, invertible difference equation defined by a single recurrence relation. We will prove that as long as considered together, these three properties do not depend on the choice of domain (Theorem 1.18).
Let us fix notations and definitions and see what conditions we require on equations.
Notation 1.1.
Let be a lattice on which we define an equation. In this paper, we use the term “lattice” to mean a finitely generated -module.
Let be a UFD (unique factorization domain), such as , and a field. We consider the Laurent property over the coefficient ring . Let be the field of fractions of and we use to denote its algebraic closure.
We say that a nonzero element of a UFD is irreducible if does not factorize into a product of two non-unit elements. It should be noted that, according to this definition, units are also labeled “irreducible,” while in the field of algebra, units are not considered irreducible.
Remark 1.2.
In our terminology, can possess a torsion element other than . Some Laurent systems with multiple tau functions, such as the bilinear form of the discrete mKdV (modified Korteweg-de Vries) equation (Example 2.2), can be thought of as defined over a lattice with torsion elements. By the fundamental theorem of finitely generated abelian groups, taking appropriate generators, we can express as
for some . However, we do not use this expression in this paper.
Assumption 1.3.
In this paper, we will consider equations of the following form:
(1.1) |
where is an -coefficient irreducible Laurent polynomial with -variables and are shift vectors. We suppose that are all different and does depend on all of . If not, we decrease the number of variables of .
If is a Laurent monomial, then the equation defined by can be linearized using a logarithm. Therefore, we may assume that is not a Laurent monomial. In our case, is primitive over (see Definition A.1).
Moreover, we may assume that the shift vectors generate as a lattice. If not, we replace with .
Remark 1.4.
We do not explicitly exclude the cases where the numerator of has a monomial factor. However, as studied in [12] in the ordinary difference case, such a system does not satisfy the irreducibility or the coprimeness and naturally falls outside the scope of our research.
Assumption 1.5 ([26]).
We think of equation (1.1) as defining an evolution on in the direction from to . Therefore, we assume that the shift vectors are linearly independent over . That is, a relation
for implies
Definition 1.6 ([25, 26]).
Define an additive monoid as
and let “” be the binary relation on defined as
That is, holds if and only if there exist such that
By Assumption 1.5, this binary relation is a (partial) order on . Clearly, is invariant under translations on , i.e., for and , we have .
Assumption 1.7.
We assume that equation (1.1) is invertible in the following sense.
First, we assume that the set of shift vectors
has a unique minimal element (i.e., a minimum element) with respect to the order . The minimum element is not since it is the maximum. As the ordering of can be changed at will, we may assume that the minimum element is .
Solving (1.1) in the opposite direction is to solve it with respect to . Here, we suppose that (1.1) can be solved with respect to by a Laurent polynomial as
where is an -coefficient Laurent polynomial. Since is the minimum element of the set , the above equation defines an evolution in the opposite direction.
Finally, we assume that is irreducible as an -coefficient Laurent polynomial.
Remark 1.8 ([25, 26]).
All discrete Hirota bilinear equations satisfy Assumption 1.7 because of the balancing condition of the shift vectors.
Remark 1.9.
is not a Laurent monomial since is not a Laurent monomial.
Remark 1.10.
Although we assume that equation (1.1) can be solved in the opposite direction by an irreducible Laurent polynomial, we do not require the Laurent property in the opposite direction. Thus, our main theorem is valid even for equations that have the Laurent property only in one direction.
Definition 1.11 (light-cone regular domain [2, 25, 26, 9]).
A nonempty subset is said to be a light-cone regular domain for equation (1.1) if it satisfies the following conditions:
-
(1)
For any , the intersection between the domain and the past light cone emanating from is a finite set, i.e., the set
is finite.
-
(2)
For any , the future light cone emanating from is contained in the domain, i.e.,
For a light-cone regular domain , we define as
which we call the initial boundary for .
Remark 1.12.
A domain that satisfies the above conditions is sometimes called a “good domain,” which was named by the present author [25]. In this paper, however, we introduce the new term “light-cone regular,” which is more appropriate because the name represents its properties.
Remark 1.13.
Notation 1.14 (, ).
For a subset , we introduce the notation
It is obvious that for . Note that () are not always independent because they can have relations determined by equation (1.1). We will often use and in this paper. In such cases, () do not have any relation, i.e., they are algebraically independent over , and thus can be thought of as if they were independent variables.
Definition 1.15 (Laurent property).
Let be light-cone regular. Equation (1.1) has the Laurent property on if every iterate can be written as a Laurent polynomial in the initial variables, i.e.,
for all .
Definition 1.16 (irreducibility, coprimeness).
Let be light-cone regular and suppose that equation (1.1) has the Laurent property on .
As we will see in Example 2.4, a Laurent system sometimes has a unit element as an iterate. The following proposition, which we will prove in Section 3, guarantees that such a phenomenon can never occur if a Laurent system has the coprimeness.
Proposition 1.17.
Suppose that equation (1.1) has the Laurent property and the coprimeness on a light-cone regular domain . Then, for , is a unit in if and only if .
The following is our main theorem in this paper.
Theorem 1.18.
Let be light-cone regular and suppose that equation (1.1) has the Laurent property, the irreducibility and the coprimeness on . Then, for any light-cone regular domain , equation (1.1) has these three properties on , too. That is, if considered together, these three properties do not depend on the choice of light-cone regular domain.
Thanks to this theorem, once we prove that an equation has these three properties on one domain, these properties immediately follow on any light-cone regular domain.
The paper is organized as follows. Section 2 consists of examples of Laurent systems. We see that most Laurent systems in the literature satisfy the assumptions and conditions introduced in the introduction. We prove our main theorem in Section 3. Our main strategy is to substitute specific numerical values for initial variables, even in the case of general lattice equations. In Section 4, we consider reductions of Laurent systems, i.e., the procedure to obtain a difference equation defined on a lower-dimensional lattice by requiring some translation invariance on the original equation. Reductions are the most important application of showing the Laurent property on a general domain. We show in Proposition 4.2 that any reduction of a Laurent system is also a Laurent system, even if the lattices have torsion elements. In Appendix A, we recall some basic properties of Laurent polynomial rings, which play an essential role in Section 3.
2. Examples
In Section 1, we introduced some assumptions on equation (1.1). In this section, we check that many Laurent systems in the literature satisfy these conditions.
Example 2.1 (discrete KdV equation).
The bilinear form of the discrete KdV equation is
where and are nonzero constants [10]. Let be an arbitrary UFD and let be coprime to each other in . We sometimes impose a condition on such as , but in this paper, we do not need such a restriction. Let and define as
-
•
,
-
•
,
-
•
,
-
•
,
-
•
.
Using , the discrete KdV equation is written as
The graphical representation of the shift vectors is
which leads to the linear independence of over . The monoid generated by these shift vectors is
and the corresponding order on is expressed as
With respect to this order, is the minimum element of the set . Solving the discrete KdV equation in the opposite direction, we obtain
the RHS of which is an irreducible Laurent polynomial. Therefore, the discrete KdV equation satisfies all the assumptions in Section 1. It is well known that the discrete KdV equation has the Laurent property, the irreducibility and the coprimeness on any light-cone regular domain [2, 25, 19].
Example 2.2 (discrete mKdV equation).
The bilinear form of the discrete mKdV equation is written by two functions and as
where and are nonzero constants [11]. Let be an arbitrary UFD and let be coprime to each other in . Let and define as
-
•
,
-
•
,
-
•
,
-
•
,
-
•
,
where the third entries correspond to the -part. Then, the discrete mKdV equation is written by a single function () as
the RHS of which is an irreducible Laurent polynomial. Since the - and -coordinates of each generator are non-positive but do not vanish simultaneously, these shift vectors are linearly independent over . The monoid generated by the shift vectors is
and the corresponding order on is expressed as
The shift is the minimum element of the set and we can solve the equation for by an irreducible Laurent polynomial. Therefore, this equation satisfies all the assumptions in Section 1.
Remark 2.3.
Not only the discrete (modified) KdV equation but all the discrete Hirota bilinear equations, including the Hirota-Miwa equation, the bilinear form of the discrete BKP equation and their nontrivial reductions, satisfy the assumptions in Section 1.
Although our main topic in this paper is lattice equations, we do not exclude Laurent systems defined on a one-dimensional lattice. However, as the following two examples show, some Laurent systems on a one-dimensional lattice do not have the irreducibility or the coprimeness.
Example 2.4.
Let and consider the system
over the coefficient ring . It is well-known that this equation can be obtained from a cluster algebra and has the Laurent property, i.e., for all [1].
If , this system is the Lyness map [24]. It is periodic with period and has the irreducibility. In particular, it does not have the coprimeness since . Since is a unit in , this equation has a nontrivial unit as an iterate.
On the other hand, if , the equation is not periodic anymore. In this case, the equation has the irreducibility over if and only if is a power of (i.e., the first iterate is irreducible). However, the equation always has the coprimeness [22].
Example 2.5.
Consider the equation
(2.1) |
on , i.e., the initial values are . Since it can be obtained as a reduction of the Hirota-Miwa equation, this equation has the Laurent property. However, since
this equation does not satisfy the irreducibility or the coprimeness. Using
we can write the time evolution of the equation as
Let
and define for by
and
Then, the general iterate of this equation is expressed as
which implies that the exponent of each factor grows quadratically. This equation can be reduced to the Lyness map via the transformation [14].
When considering an equation on , we almost always use the domain
for some . However, some ordinary difference equations have another type of light-cone regular domains.
Example 2.6.
Consider the discrete Hirota bilinear equation
where and are nonzero constants. Then, the domain
is light-cone regular for this equation because does not appear in the RHS of the equation. The initial boundary for is
Since this equation satisfies all the assumptions in Section 1, we can apply Theorem 1.18 to this equation. That is, if it has the three properties on , then the equation also satisfies them on .
It is known that some non-integrable systems have the Laurent property, the irreducibility and the coprimeness.
Example 2.7 (extensions of the discrete Toda equation [17]).
Let , and let . Suppose that
is a power of , where stands for the greatest common divisor. Express a vector as
where is the unit vector in the -th direction. Then, an extension of the discrete Toda equation is
(2.2) |
Note that this equation has a realization as an LP-algebraic object.
Let us check that the equation satisfies all the assumptions in Section 1. Let
and define as
Using , the equation can be written as
The shift vectors are linearly independent over since their -coordinates are all negative. The monoid is written as
where the number of generators in the RHS is already minimum. The corresponding order is described explicitly as
With respect to this order, the shift vector is the minimum element of the set because of the relation
for . Solving the equation in the opposite direction, we obtain
Therefore, the equation satisfies all the assumptions in Section 1.
Example 2.8 ([21, 18, 27]).
For an even positive integer , the lattice equation
is not integrable in the sense of degree growth but passes the singularity confinement test. One of its generalizations to a higher-dimensional lattice is
where
-
•
is a positive integer,
-
•
,
-
•
are positive even integers satisfying
-
•
are variables (i.e., algebraically independent over ),
-
•
the coefficient ring is .
This equation can be Laurentified via the transformation
where
The obtained Laurent system is
(2.3) |
As far as the present author knows, equation (2.3) is the Laurent system with the most complicated concrete expression in the literature. Note that this equation does not have a cluster- or LP-algebraic expression because and do not appear in a product form, i.e., we cannot apply the Caterpillar Lemma.
Let us check that the equation satisfies all the assumptions in Section 1. Let
We do not explicitly write down the set of shift vectors, but those vectors are linearly independent over since their -coordinates are all negative. The monoid can be written as
and the minimum element of the set of shift vectors is . Solving the equation in the opposite direction, we obtain
the RHS of which is an irreducible Laurent polynomial since its degree with respect to is . Therefore, the equation satisfies all the assumptions in Section 1.
It is sometimes much easier to show the Laurent property, the irreducibility and the coprimeness on a specific domain than on a general light-cone regular domain. For example, the present author and collaborators proved these properties for equations (2.2) and (2.3) on some translation-invariant domains [17, 18]. Using Theorem 1.18, we immediately obtain these properties on any light-cone regular domain. Moreover, according to Proposition 1.17, the iterates of these equations have no unit element except on the initial boundary.
Corollary 2.9.
3. Proofs
Lemma 3.1.
Let be light-cone regular. Then, its initial boundary can be expressed as
Proof.
We only show that since the opposite is clear by definition.
Lemma 3.2.
Let be light-cone regular and let . Then, we have
for a sufficiently large .
Proof.
It is sufficient to consider the case . Take an arbitrary . Since the shift vectors generate the lattice by Assumption 1.3, there exist such that
Using
for and , we have
Therefore, if , then we have
Since and the domain is light-cone regular, it follows from condition (2) in Definition 1.11 that . ∎
Lemma 3.3.
Let be light-cone regular. Let and . If (meaning that does not hold), then is independent of the initial variable . That is, if depends on the initial variable , then .
Proof.
Let . We show that does not depend on by induction on with respect to the order .
If , then is an initial variable. Therefore, it is sufficient to consider the case . Since for all by the definition of the order , are all independent of . Hence, , which is determined by , is also independent of . ∎
Lemma 3.4.
Let be light-cone regular and assume that equation (1.1) possesses the Laurent property, the irreducibility and the coprimeness. Then, the equation also has these three properties even when considered over the coefficient ring (the field of fractions of ). That is, for any , is an irreducible element of the ring and for any pair (), and are coprime in .
Proof.
The Laurent property immediately follows from . If is irreducible, then is also irreducible as an element of , which leads to the irreducibility over . The coprimeness follows from Lemma A.3. ∎
Remark 3.5.
While the Laurent property and the coprimeness are preserved under any extension of the coefficient ring, the irreducibility is not in general. For example, the Laurent system
has the irreducibility over (or , ) but the RHS itself factorizes over . Therefore, extending the coefficient ring to an algebraically closed field from the beginning does not always work well.
Lemma 3.6.
Suppose that equation (1.1) has the Laurent property on a light-cone regular domain . Then, for any , there exists such that and is not a Laurent monomial in the initial variables.
Proof.
Seeking for a contradiction, assume that there exists such that for any , is a Laurent monomial in the initial variables. Let . Then, are all Laurent monomials. Moreover, are algebraically independent over since they have no algebraic relation. Therefore, it follows from Lemma A.12 that is not a Laurent monomial, which leads to a contradiction. ∎
Definition 3.7 ( [18]).
For a light-cone regular domain and a point , we define as
where denotes the cardinality of a set. Note that the set is always finite since is light-cone regular.
Lemma 3.8.
Let be light-cone regular and suppose that satisfy . Then, we have
and the equality holds if and only if .
Proof.
The statement immediately follows from the inclusion
∎
Lemma 3.9.
Let be light-cone regular and let be a minimal element of with respect to the order . Then, is light-cone regular, too. In particular, if , and , then .
Proof.
It is sufficient to show that is light-cone regular. Let .
Definition 3.10 (domain mutation).
We will call the above procedure to obtain from the mutation of at . We also call the mutation of at .
The term “mutation” comes from the theory of cluster algebras.
Lemma 3.11.
Let be light-cone regular and let be the mutation of at a minimal element . Then
Proof.
The statement immediately follows from Lemma 3.1. ∎
The following lemma, which gives the converse of Lemma 3.9, is helpful when one obtains a Laurent system from a cluster or LP algebra, although we do not use it in this paper.
Lemma 3.12.
Let be light-cone regular, and let . If is light-cone regular, then is minimal in .
Proof.
Remark 3.13.
The above lemma implies that when one obtains a Laurent system on a lattice from a cluster algebra as in [28, 29], any mutation-eligible vertex (meaning that the mutation there produces the equation) in each step must always be minimal in the sense that the corresponding lattice point is minimal in the domain with respect to the order .
Example 3.14.
Consider the discrete KdV equation (Example 2.1) and define as
Then, is light-cone regular (see Figure 1).
Let , which is a minimal element of . The mutation of at is
Let . Then, it follows from Figure 1 that
Let us prove Proposition 1.17.
Proof of Proposition 1.17.
The “if” part is trivial. Let . We show that is not a unit.
Let
Then, it follows from Lemma 3.3 that . Therefore, by Lemma A.8, it is sufficient to show that there exists a family of elements of such that
By Lemma 3.6, there exists such that , and is not a Laurent monomial in the initial variables. Let
Since is nothing but a translation of , the equation has the Laurent property and the coprimeness on . Moreover, is not a Laurent monomial, i.e., not a unit in this ring. It follows from the coprimeness on that is coprime to for any in the ring . Therefore, by Lemma A.8, there exists a family of elements of such that
Let us define for each as
Then, by construction, we have
(see Figure 2). Hence, is not a unit in . ∎
The following two lemmas play essential roles in the proof of Theorem 1.18.
Lemma 3.15.
Let be light-cone regular. Suppose that equation (1.1) has the Laurent property, the irreducibility and the coprimeness on . Suppose also that the equation has the Laurent property on . Let be a minimal element and let be the mutation of at , i.e.,
Then, the equation also possesses the Laurent property on .
Proof.
Let . We show by induction on that . Since the domain is fixed throughout this proof, we simply use to denote .
Step 1.
If , then the statement is clear. From here on, we only consider the case .
Step 2.
We show that .
It follows from the Laurent property on that . On the other hand, Assumption 1.7 implies that . Using the inclusion
we have
Step 3.
We show that the ring extension is a localization and that .
Since for each , it follows from the induction hypothesis that
Therefore, the extension is a localization.
Step 4.
Step 5.
From here on, we fix and show that and are coprime in . By Assumption 1.7, is irreducible but not a unit in . Therefore, it is sufficient to show that does not divide in .
Step 6.
Since has infinitely many variables, we introduce a sub-algebra with only finitely many variables. Let
Since is light-cone regular, is a finite set. By Lemma 3.3, when we think of as a rational function in (), the indices of the variables needed to express all belong to . In particular, belongs to . Moreover, since
by Assumption 1.7, also belongs to .
Step 7.
We claim that there exists a family of elements of such that
Assume this claim for the moment. Then, it follows from Lemma A.8 that does not divide in and thus does not divide in the ring , either, which completes the proof.
Therefore, it is sufficient to show the claim, i.e., to construct such a family .
Step 8.
Let us construct such .
By Lemma 3.2, we have
for a sufficiently large since the LHS is a finite set. Since the Laurent property, the irreducibility and the coprimeness are all invariant under a translation on the whole lattice, translating if necessary, we may assume without loss of generality that
By Lemma 3.4, the Laurent property, the irreducibility and the coprimeness on are all preserved under the extension of the coefficient ring from to . Therefore, , and () are all irreducible elements of . Moreover, since , and , it holds that
Thus, it follows from the coprimeness over that is coprime to any of and () in the ring .
It follows from Proposition 1.17 that is not a unit in . Thus, by Lemma A.8, there exists a family of elements of such that
We define for each as
Then, by construction, we have
which implies that does not divide .
Hence, we have and the proof is completed. ∎
Lemma 3.16.
Let be light-cone regular. Suppose that equation (1.1) has the Laurent property, the irreducibility and the coprimeness on . If the equation has the Laurent property on , then it also satisfies the other two properties on .
Proof.
First, we prove the irreducibility.
Step 1.
Let . It follows from the Laurent property on that . We show by induction on that is irreducible in . If , then the statement is clear. Thus, we only consider the case .
Step 2.
The proof of the irreducibility is complicated because we do not fix the domain . To make sure, let us describe what we assume in the induction step. Our induction hypothesis is as follows:
Let be light-cone regular and suppose that equation (1.1) has the Laurent property on . If satisfies
then is irreducible in the ring .
Step 3.
Since the set
is finite and nonempty, one can take a minimal element of this set. Note that and . If , then the statement is clear because all belong to . From here on, we only consider the case .
Let be the mutation of at , i.e.,
By Lemma 3.15, the equation has the Laurent property on and thus we have . Since , it follows from the induction hypothesis that is irreducible in .
Step 4.
It follows from Assumption 1.7 that . Consider the inclusion relations among localized rings:
By Lemma A.5, the irreducibility of in follows from the coprimeness of and in .
By Assumption 1.3, is irreducible in . Therefore, it is sufficient to show that does not divide in .
Step 5.
Since has infinitely many variables, we introduce a sub-algebra with only finitely many variables. Let
Since is light-cone regular, is a finite set. By Lemma 3.3, when we think of and as Laurent polynomials in (), the indices of the variables needed to express and all belong to . In particular, we have .
Step 6.
We claim that there exists a family of elements of such that
Assume this claim for the moment. By Lemma A.8, does not divide in the ring . Then, does not divide in , either, which completes the proof of the irreducibility. Thus, it is sufficient to construct such .
Step 7.
Let us construct such .
Equation (1.1) has the Laurent property, the irreducibility and the coprimeness on . Since is light-cone regular and is a finite set, it follows from Lemma 3.2 that
for a sufficiently large . Since the Laurent property, the irreducibility and the coprimeness are all invariant under a translation on the whole lattice, translating if necessary, we may assume without loss of generality that
Since , we have
It follows from Proposition 1.17 that is not a unit in . Thus, by Lemma A.8, there exists a family of elements of such that
Define for each as
Then, by construction, we have
which implies that does not divide . Hence, we conclude that is irreducible in and the proof of the irreducibility is finished.
Step 8.
We show the coprimeness on .
Let and let . Because of the irreducibility, are irreducible in .
Define a finite set as
Then, and are irreducible not only in but also in .
In order to show the coprimeness, it is sufficient to show that there exists a family of elements of such that
since these relations imply that does not divide by Lemma A.8. However, we can construct such in the same way as in step 3.
Hence, the proof of the coprimeness is completed. ∎
Let us show our main theorem.
Proof of Theorem 1.18.
Let be light-cone regular. By Lemma 3.16, it is sufficient to show the Laurent property on . Let . We show that .
Roughly speaking, our strategy is to construct a sequence of domain mutations from to to use Lemma 3.15. To avoid an intricate proof, we will give a proof by induction.
Step 1.
Let
and define a set of light-cone regular domains as
Note that while is defined only by the Laurent property, the definition implicitly includes the other two properties because of Lemma 3.16. For each , define a nonnegative integer as
Roughly speaking, measures the distance between the domains and (but we ignore the region outside the past light cone emanating from ).
Step 2.
We claim that there exists such that . We assume this claim for the moment and show that . Let
First, we show that . If , then . Since by the definition of , we have .
Next, we show that . Since , it follows from the definition of that
Since , we have .
Using , we conclude that and coincide in the range of the past light cone emanating from . Therefore, it follows from the Laurent property on that .
From here on, we show the claim.
Step 3.
We show that . Since is a finite set, by Lemma 3.2, we have
for a sufficiently large . Since the Laurent property is invariant under a translation on the whole lattice, we have
which implies .
Step 4.
Since , we can take that achieves the minimum value of . Let us show that . Searching for contradiction, we assume that .
Let
Then, the set is finite but nonempty since . Therefore, we can take a minimal element of .
We show that is minimal in . Suppose that satisfies . Since and , we have . On the other hand, since and , it follows from the conditions on a light-cone regular domain that . Thus, we have . Therefore, it follows from the minimality of that . Hence, is minimal in .
Let be the mutation of at . By Lemma 3.15, the equation has the Laurent property on . Moreover, since by the choice of , we have . Therefore, we have . Because of , however, must be strictly less than , which contradicts the minimality of . Hence, we conclude that and the proof is completed. ∎
4. Reductions
As shown in [26, Proposition 3.4], if a (possibly non-autonomous) discrete Hirota bilinear equation has the Laurent property on any light-cone regular domain, then its reductions also have the Laurent property. Because the proof of this proposition does not rely on the specific bilinear structure of equations, it is easy to extend this result to general equations with the Laurent property on any light-cone regular domain. Note that while it is now common, the strategy to prove the Laurent property for a lattice equation to show that an equation on a lower dimensional lattice has the Laurent property was first used in [2], where, using the Caterpillar Lemma, the Laurent property for the Hirota-Miwa equation and the bilinear form of the discrete BKP equation was proved.
Definition 4.1 (reduction. cf. [26, Definition 3.2]).
Note that we require the linear independence of over so that the obtained equation defines a proper evolution in the direction from to . If is a reduction, then, using , one can define the order and light-cone regular domains on in the same way as on .
Proposition 4.2 (cf. [26, Proposition 3.4]).
Let be a reduction of equation (1.1) and let be light-cone regular for the equation obtained by the reduction. Then, the lift of the domain is also light-cone regular for the original equation. In particular, if equation (1.1) has the Laurent property on , then the equation obtained after the reduction also has the Laurent property on .
The proof we give here is based on that of [26, Proposition 3.4]. The proposition in [26] was shown under the following conditions:
-
•
equation (1.1) is a discrete Hirota bilinear equation,
-
•
does not decrease the number of terms of the defining equation,
-
•
and are free lattices.
However, we do not use these assumptions in this paper. Since the first two assumptions were not essential even in the proof in [26], the only difficulty here is that lattices can now contain torsion elements. Moreover, we will not use the following assumptions, either.
Proof of Proposition 4.2.
Let . We show that is light-cone regular.
Step 1.
Taking generators , we can decompose as
Therefore, it is sufficient to show that is light-cone regular in the case for some .
Step 2.
Step 3.
If has finite order, then the cardinality of the set coincides with the order of . In particular, is a finite set.
From here on, we consider the case where has infinite order.
Step 4.
Let
For example, under the expression in Remark 1.2, we have
In particular, if (resp. ) is not free, then the -linear map (resp. ) is not injective. Note that this -linear map decomposes into a surjection and an injection as
where denotes the submodule consisting of the torsion elements of . For (resp. ), we use (resp. ) to denote the image of by (resp. of by ). Let
Then, is a closed convex cone.
Step 5.
Let us show that are linearly independent over .
Using , we can think of as lattice points in . Therefore, it is sufficient to show that are linearly independent over .
Suppose that satisfy
By definition, there exists such that
Since , there exists such that in . Therefore, we have
which implies
since are linearly independent over .
Step 6.
We show that is a finite set. Searching for contradiction, assume that is an infinite set.
Let . Since and is an infinite set, there exists an infinite sequence of distinct integers such that for all . Since
for all , one can show that in the same way as in the proof in [26]. Thus, there exist such that
Since has infinite order, is not . Thus, at least one of must be nonzero. Applying , we have
which contradicts step 4. Hence, is a finite set and the proof is completed. ∎
Corollary 4.3.
Example 4.4.
Let us check that a reduction of equation (2.2) to a one-dimensional free lattice has the following form:
where satisfy
Let be a reduction of (2.2) and let
As the sign of the lattice can be changed at will, we may assume that . Then, a direct calculation shows that
Since must be linearly independent over , we have
i.e.,
The GCD condition follows from the surjectivity of .
Remark 4.5.
In [26], we only consider reductions that do not reduce the number of terms of a defining bilinear equation. The Laurent property is, however, always preserved under any reduction in the sense of Definition 4.1, even if the reduction decreases the number of terms and the in Definition 4.1 is not irreducible as a Laurent polynomial in anymore. While the Laurent property is preserved under reductions, the irreducibility and the coprimeness are not in general, as seen in Example 2.5.
Remark 4.6.
In this paper, we only considered autonomous equations. However, Proposition 4.2 holds even in the non-autonomous case because we only proved that the lift of a light-cone regular domain is also light-cone regular. To consider a reduction for a non-autonomous lattice equation, we need to impose some conditions on the equation. For example, if is a reduction of a non-autonomous version () of equation (1.1), then must be -invariant, i.e., for all .
5. Conclusion
In this paper, we studied how the choice of domain for a lattice equation affects the Laurent property, the irreducibility and the coprimeness. We showed that if it has these three properties on one light-cone regular domain, a lattice equation must also satisfy them on any light-cone regular domain. That is, as long as we work on light-cone regular domains, these properties are independent of the choice of domain and are inherent to a lattice equation.
Our key idea was to show that an iterate of a general equation does not divide another iterate by constructing a family of elements of such that only the former iterate vanishes when substituting the values for the initial variables. This strategy is a theoretical generalization of substituting concrete numerical values for initial variables, which is often used for a concrete equation.
It is sometimes much easier to show these properties on a specific domain, such as a translation-invariant one. In fact, until now, these properties of some lattice equations were proved only on specific domains [16, 17, 18]. Now, our main theorem guarantees that such an equation has these properties on any light-cone regular domain.
We also considered the reductions of Laurent systems. Generalizing Proposition 3.4 in [26], we showed that any reduction of a lattice equation that satisfies the Laurent property on any light-cone regular domain must also satisfy the Laurent property, even if the lattices have torsion elements.
Showing the Laurent property for an ordinary difference equation is sometimes more difficult than for a lattice equation because an ordinary difference equation has only finitely many initial variables. We sometimes take a lattice equation with the ordinary difference equation as a reduction and show that the lattice equation has the Laurent property on the domain corresponding to the reduction. Our study in this paper allows us to replace the latter step with proving the Laurent property, the irreducibility and the coprimeness on one arbitrary light-cone regular domain.
Acknowledgement
I wish to thank Prof. M. Kanki and Prof. T. Tokihiro for their discussion and comments. This work was supported by a Grant-in-Aid for Scientific Research of Japan Society for the Promotion of Science, JSPS KAKENHI Grant Number 18K13438 and 23K12996.
Appendix A Algebraic tools used in this study
In this appendix, we recall some basic knowledge of algebra. We only give proofs of some lemmas since the others are well-known facts or can be shown in the usual way. We use to denote variables of Laurent polynomial rings. Note that in this paper, we consider units of a ring to be irreducible (Notation 1.1).
Definition A.1.
Let be a UFD. A nonzero Laurent polynomial is primitive if the GCD of all the coefficients of is . That is, is primitive if and only if cannot be divided by any element of .
Lemma A.2.
Let be a UFD and be its field of fractions.
-
(1)
Let and suppose that is primitive. If divides in the ring , then also divides in the ring . This is the Laurent polynomial version of Gauss’s Lemma.
-
(2)
Suppose that is not a Laurent monomial. Then, is irreducible in if and only if is primitive in and is irreducible in .
Lemma A.3.
Let be a UFD and be its field of fractions. If are coprime to each other, then they are also coprime as elements of .
Proof.
We show the contrapositive. Suppose that and share a nontrivial factor . Multiplying an element of if necessary, we may assume that belongs to and is primitive in . Then, it follows from Gauss’s lemma that divides both and in . Hence, and are not coprime in . ∎
Definition A.4.
Let be an integral domain and let be its field of fractions. For , the localized ring (localization) is defined as a sub-ring of as
The localized ring for is defined in the same way:
Lemma A.5.
Let be a UFD and let .
-
(1)
The localization is also a UFD.
-
(2)
Let be the set of the prime elements (up to unit multiplication) that divide . If is irreducible in the localized ring , then there exist and an irreducible element such that
In particular, if is coprime with and is irreducible in , then is also irreducible in .
Lemma A.6.
Let be a UFD (for example, ) and let . Then, the following conditions are equivalent:
-
(1)
is irreducible in .
-
(2)
is irreducible in the Laurent polynomial ring , where is an independent variable (i.e., is transcendental over ).
Lemma A.7.
Let be a UFD and let . If is coprime with in for , then is reproduced by localized rings as
Lemma A.8.
Let be a field and let be its algebraic closure. Let us use to denote variables and consider the Laurent polynomial ring .
-
(1)
For , the following three conditions are equivalent.
-
•
is a nonzero Laurent monomial in .
-
•
is a unit element of .
-
•
There does not exist a family such that
where we used “” to denote the substitution of for .
-
•
-
(2)
Let . If there exists a family such that
then does not divide in .
-
(3)
Let and suppose that is not a unit, i.e., is not a Laurent monomial. If is coprime with any of in , then there exists a family such that
-
(4)
All the above statements hold even when has infinitely many variables (i.e., ) since finitely many Laurent polynomials can contain only finitely many variables.
Remark A.9.
Lemma A.10.
Let be a field extension and let be distinct elements. Then, the following three conditions are equivalent:
-
(1)
are algebraically independent over .
-
(2)
The set of monomials
is linearly independent over .
-
(3)
The set of Laurent monomials
is linearly independent over .
Lemma A.11.
Let be a field and let be nonzero Laurent monomials. Then, are linearly independent over if and only if their total degrees are all different. Here, the total degree of a nonzero Laurent monomial (, ) is defined as .
Note that the “total degree” used in this paper differs from that introduced in [9].
Lemma A.12.
Let be a field and let be nonzero Laurent monomials. Let and consider the substitution
If are algebraically independent over and is not a Laurent monomial in , then is not a Laurent monomial in , either.
Proof.
We use the standard multi-index notation, such as
-
•
,
-
•
,
-
•
,
-
•
for .
Let us express as
where is a finite set and for . Since are algebraically independent over , Lemma A.10 implies that the set is linearly independent over . Therefore, by Lemma A.11, the total degrees of () as Laurent monomials in are all different. Thus, the expression
as an element of is unique, i.e., it is impossible to decrease the number of the terms in the RHS. Since is not a Laurent monomial in , must be greater than . Hence, has at least terms and we conclude that it is not a Laurent monomial in . ∎
References
- [1] S. Fomin, A. Zelevinsky, Cluster algebras. I: Foundations, Journal of the American Mathematical Society 15 (2002): 497–529. https://doi.org/10.1090/S0894-0347-01-00385-X
- [2] S. Fomin, A. Zelevinsky, The Laurent phenomenon, Advances in Applied Mathematics 28 (2002): 119–144. https://doi.org/10.1006/aama.2001.0770
- [3] A. P. Fordy, A. Hone, Discrete integrable systems and Poisson algebras from cluster maps, Communications in Mathematical Physics 325 (2014): 527–584. https://doi.org/10.1007/s00220-013-1867-y
- [4] A. P. Fordy, B. Marsh, Cluster mutation-periodic quivers and associated Laurent sequences, Journal of Algebraic Combinatorics 34 (2011): 19–66. https://doi.org/10.1007/s10801-010-0262-4
- [5] P. Galashin, P. Pylyavskyy, -systems, Selecta Mathematica 25 (2019): 22. https://doi.org/10.1007/s00029-019-0470-2
- [6] D. Gale, The strange and surprising saga of the Somos sequences, The Mathematical Intelligencer 13 (1991): 40–43. https://doi.org/10.1007/BF03024070
- [7] K. Hamad, P. H. van der Kamp, From discrete integrable equations to Laurent recurrences, Journal of Difference Equations and Applications, 22 (2016): 789–816. https://doi.org/10.1080/10236198.2016.1142980
- [8] K. Hamad, A. N. W. Hone, P. H. van der Kamp, G. R. W. Quispel, QRT maps and related Laurent systems, Advances in Applied Mathematics, 96 (2018): 216–248. https://doi.org/10.1016/j.aam.2017.12.006
- [9] J. Hietarinta, T. Mase, R. Willox, Algebraic entropy computations for lattice equations: why initial value problems do matter, Journal of Physics A: Mathematical and Theoretical 52 (2019): 49LT01. https://doi.org/10.1088/1751-8121/ab5238
- [10] R. Hirota, Nonlinear partial difference equations. I: A difference analogue of the Korteweg-de Vries equation, Journal of the Physical Society of Japan 43 (1977): 1424–1433. https://doi.org/10.1143/JPSJ.43.1424
- [11] R. Hirota, Discrete analogue of a generalized Toda equation, Journal of the Physical Society of Japan 50 (1981): 3785–3791.
- [12] A. N. W. Hone, Singularity confinement for maps with the Laurent property, Physics Letters. A 361 (2007): 341–345. https://doi.org/10.1016/j.physleta.2006.09.078
- [13] A. N. W. Hone, Laurent polynomials and superintegrable maps, SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 3 (2007): https://doi.org/10.3842/SIGMA.2007.022
- [14] A. N. W. Hone, T. E. Kouloukas, Deformations of cluster mutations and invariant presymplectic forms, Journal of Algebraic Combinatorics 57 (2023): https://doi.org/10.1007/s10801-022-01203-5
- [15] A. N. W. Hone, W. Kim, T. Mase, New cluster algebras from old: integrability beyond Zamolodchikov periodicity, arXiv:2403.00721. https://doi.org/10.48550/arXiv.2403.00721
- [16] R. Kamiya, M. Kanki, T. Mase, T. Tokihiro, Coprimeness-preserving non-integrable extension to the two-dimensional discrete Toda lattice equation, Journal of Mathematical Physics 58 (2017): 012702. https://dx.doi.org/10.1063/1.4973744
- [17] R. Kamiya, M. Kanki, T. Mase, N. Okubo, T. Tokihiro, Toda type equations over multi-dimensional lattices, Journal of Physics A: Mathematical and Theoretical 51 (2018): 364002. https://dx.doi.org/10.1088/1751-8121/aad375
- [18] R. Kamiya, M. Kanki, T. Mase, T. Tokihiro, Coprimeness-preserving discrete KdV type equation on an arbitrary dimensional lattice, Journal of Mathematical Physics 62 (2021): 102701. https://doi.org/10.1063/5.0034581
- [19] M. Kanki, J. Mada, T. Mase, T. Tokihiro, Irreducibility and co-primeness as an integrability criterion for discrete equations, Journal of Physics A: Mathematical and Theoretical 47 (2014): 465204. https://dx.doi.org/10.1088/1751-8113/47/46/465204
- [20] M. Kanki, T. Mase, T. Tokihiro, Algebraic entropy of an extended Hietarinta-Viallet equation, Journal of Physics A: Mathematical and Theoretical 48 (2015): 355202. https://dx.doi.org/10.1088/1751-8113/48/35/355202
- [21] M. Kanki, T. Mase, T. Tokihiro, Singularity confinement and chaos in two-dimensional discrete systems, Journal of Physics A: Mathematical and Theoretical 49 (2016): 23LT01. https://dx.doi.org/10.1088/1751-8113/49/23/23LT01
- [22] M. Kanki, T. Mase, T. Tokihiro, On the coprimeness property of discrete systems without the irreducibility condition, SIGMA 14 (2018): 065. https://dx.doi.org/10.3842/SIGMA.2018.065
- [23] T. Lam, P. Pylyavskyy, Laurent phenomenon algebras, Cambridge Journal of Mathematics 4 (2016): 121–162. https://doi.org/10.4310/CJM.2016.v4.n1.a2
- [24] R. C. Lyness, 1581. Cycles, The Mathematical Gazette 26 (1942): 62–62. https://doi.org/10.2307/3606036
- [25] T. Mase, The Laurent phenomenon and discrete integrable systems, RIMS Kôkyûroku Bessatsu B41 (2013): 43–64. http://hdl.handle.net/2433/209045
- [26] T. Mase, Investigation into the role of the Laurent property in integrability, Journal of Mathematical Physics 57 (2016): 022703. https://doi.org/10.1063/1.4941370
- [27] T. Mase, Exact calculation of degrees for lattice equations: a singularity approach, arXiv:2402.16206. https://doi.org/10.48550/arXiv.2402.16206
- [28] N. Okubo, Discrete integrable systems and cluster algebras, RIMS Kôkyûroku Bessatsu B41 (2013): 25–41. http://hdl.handle.net/2433/209046
- [29] N. Okubo, Bilinear equations and -discrete Painlevé equations satisfied by variables and coefficients in cluster algebras, Journal of Physics A: Mathematical and Theoretical 48 (2015): 355201. https://doi.org/10.1088/1751-8113/48/35/355201
- [30] N. Okubo, Laurent phenomenon algebras and the discrete BKP equation, Journal of Physics A: Mathematical and Theoretical 49 (2016): 355201 https://doi.org/10.1088/1751-8113/49/35/355201
- [31] R. M. Robinson, Periodicity of Somos sequences, Proceedings of the American Mathematical Society 116 (1992): 613–619. https://doi.org/10.2307/2159426