arXiv subjects

Tetsuji Tokihiro

Publications and source records attributed to Tetsuji Tokihiro.

At least 37 records · Page 2Linked to original sources

arXiv2015

Algebraic entropy of an extended Hietarinta-Viallet equation

We introduce a series of discrete mappings, which is considered to be an extension of the Hietarinta-Viallet mapping with one parameter. We obtain the algebraic entropy for this mapping by obtaining the recurrence relation for the degrees of the iterated mapping. For some parameter values the mapping has a confined singularity, in which case the mapping is equivalent to a recurrence relation between irreducible polynomials. For other parameter values, the mapping does not pass the singularity confinement test. The properties of irreducibility and co-primeness of the terms play crucial roles in the discussion.

math-ph↗

arXiv2015

Integrability criterion in terms of coprime property for the discrete Toda equation

We reformulate the singularity confinement of the discrete Toda equation. We prove the co-primeness property, which has been introduced in our previous paper (arXiv:1311.0060) as one of the integrability criteria, for the discrete Toda equation. We study three types of boundary conditions (semi-infinite, molecule, periodic) for the discrete Toda equation, and prove that the same co-primeness property holds for all the types of boundaries. (v2: typos corrected, final version to appear in J. Math. Phys.)

math-ph↗

arXiv2014

Singularities of the discrete KdV equation and the Laurent property

We study the distribution of singularities for partial difference equations, in particular, the bilinear and nonlinear form of the discrete version of the Korteweg-de Vries (dKdV) equation. By the Laurent property, the irreducibility, and the co-primeness of the terms of the bilinear dKdV equation, we clarify the relationship of these properties with the appearance of zeros in the time evolution. The results are applied to the nonlinear dKdV equation and we formulate the famous integrability criterion (singularity confinement test) for nonlinear partial difference equations with respect to the co-primeness of the terms. (v2,v3,v4: minor revisions have been made)

nlin.SI↗

arXiv2014

Irreducibility and co-primeness as an integrability criterion for discrete equations

We study the Laurent property, the irreducibility and co-primeness of discrete integrable and non-integrable equations. First we study a discrete integrable equation related to the Somos-4 sequence, and also a non-integrable equation as a comparison. We prove that the conditions of irreducibility and co-primeness hold only in the integrable case. Next, we generalize our previous results on the singularities of the discrete Korteweg-de Vries (dKdV) equation. In our previous paper (arXiv:1311.0060), we described the singularity confinement test (one of the integrability criteria) using the Laurent property, and the irreducibility, and co-primeness of the terms in the bilinear dKdV equation, in which we only considered simplified boundary conditions. This restriction was needed to obtain simple (monomial) relations between the bilinear form and the nonlinear form of the dKdV equation. In this paper, we prove the co-primeness of the terms in the nonlinear dKdV equation for general initial conditions and boundary conditions, by using the localization of Laurent rings and the interchange of the axes. We assert that co-primeness of the terms can be used as a new integrability criterion, which is a mathematical re-interpretation of the confinement of singularities in the case of discrete equations. v2, v3: minor revisions

math-ph↗

arXiv2014

Discrete Painleve equations and discrete KdV equation over finite fields

We investigate some of the discrete Painleve equations (dPII, qPI and qPII) and the discrete KdV equation over finite fields. The first part concerns the discrete Painleve equations. We review some of the ideas introduced in our previous papers and give some detailed discussions. We first show that they are well defined by extending the domain according to the theory of the space of initial conditions. We then extend them to the field of p-adic numbers and observe that they have a property that is called an `almost good reduction' of dynamical systems over finite fields. We can use this property, which can be interpreted as an arithmetic analogue of singularity confinement, to avoid the indeterminacy of the equations over finite fields and to obtain special solutions from those defined originally over fields of characteristic zero. In the second part we study the discrete KdV equation. We review the previous discussions and present a way to resolve the indeterminacy of the equation by treating it over a field of rational functions instead of the finite field itself. Explicit forms of soliton solutions and their periods over finite fields are obtained. Note: This is a review article on the recent developments in the theory of discrete integrable equations over finite fields based on arXiv:1201.5429, arXiv:1206.4456, arXiv:1209.0223. This article is published as the proceedings of the domestic conference "The breadth and depth of nonlinear discrete integrable systems" in RIMS, Kyoto University, Japan, on August 2012.

math-ph↗

arXiv2013

The space of initial conditions and the property of an almost good reduction in discrete Painleve II equations over finite fields

Discrete versions of the Painleve equations (dPII and qPII) over finite fields are studied. We first show that they are well defined by extending the domain according to the theory of the space of initial conditions, taking the dPII equation as an example. Then we define them over the field of p-adic numbers and see that they have a property that is similar to the good reduction of dynamical systems modulo a prime. This property is called 'almost good reduction'. We study the q-discrete analogue of the Painleve II equation in this paper, following the method in our previous work (arXiv: 1206.4456), in which the discrete Painleve II equation has been treated. We can consider almost good reduction as an arithmetic analogue of the singularity confinement test. We can also obtain special solutions over finite fields from those defined over fields of characteristic zero. (v2: excluded the review of arXiv: 1206.4456) (v3: several typos are corrected) (v4: final version to appear in J. Nonlin. Math. Phys.)

nlin.SI↗

arXiv2012

Discrete Integrable Equations over Finite Fields

Discrete integrable equations over finite fields are investigated. The indeterminacy of the equation is resolved by treating it over a field of rational functions instead of the finite field itself. The main discussion concerns a generalized discrete KdV equation related to a Yang-Baxter map. Explicit forms of soliton solutions and their periods over finite fields are obtained. Relation to the singularity confinement method is also discussed.

nlin.SI↗

arXiv2012

Discrete Painleve II equation over finite fields

We investigate the discrete Painleve II equation over finite fields. We treat it over local fields and observe that it has a property that is similar to the good reduction over finite fields. We can use this property, which seems to be an arithmetic analogue of singularity confinement, to avoid the indeterminacy of the equations over finite fields and to obtain special solutions from those defined originally over fields of characteristic zero.

math-ph↗

arXiv2012

Soliton solutions of a generalized discrete KdV equation

We investigate the multi-soliton solutions to the generalized discrete KdV equation. In some cases a soliton with smaller amplitude moves faster than that with larger amplitude unlike the soliton solutions of the KdV equation. This phenomenon is intuitively understood from its ultradiscrete limit, where the system turns to the box ball system with a carrier. KEYWORDS: soliton, integrable equation, nonlinear system, discrete KdV equation, cellular automaton (v2: Final form to appear in J. Phys. Soc. Jpn.)

math-ph↗

arXiv2011

Two Point Correlation Functions for a Periodic Box-Ball System

We investigate correlation functions in a periodic box-ball system. For the second and the third nearest neighbor correlation functions, we give explicit formulae obtained by combinatorial methods. A recursion formula for a specific $N$-point functions is also presented.

nlin.SI↗

arXiv2010

Conserved quantities and generalized solutions of the ultradiscrete KdV equation

We construct generalized solutions to the ultradiscrete KdV equation, including the so-called negative solition solutions. The method is based on the ultradiscretization of soliton solutions to the discrete KdV equation with gauge transformation. The conserved quantities of the ultradiscrete KdV equation are shown to be constructed in a similar way to those for the box-ball system.

math-ph↗

arXiv2010

Existence and non-existence of global solutions for a discrete semilinear heat equation

Existence of global solutions to initial value problems for a discrete analogue of a d-dimensional semilinear heat equation is investigated. We prove that a parameter αin the partial difference equation plays exactly the same role as the parameter of nonlinearity does in the semilinear heat equation. That is, we prove non-existence of a non-trivial global solution for 0 < α\le 2/d, and, for α> 2/d, existence of non-trivial global solutions for sufficiently small initial data.

math.AP↗

arXiv2009

Correlation function for a periodic box-ball system

We investigate correlation functions in a periodic box-ball system. For the two point functions of short distance, we give explicit formulae obtained by combinatorial methods. We give expressions for general N-point functions in terms of ultradiscrete theta functions.

nlin.SI↗

arXiv2009

A stochastic optimal velocity model and its long-lived metastability

In this paper, we propose a stochastic cellular automaton model of traffic flow extending two exactly solvable stochastic models, i.e., the asymmetric simple exclusion process and the zero range process. Moreover it is regarded as a stochastic extension of the optimal velocity model. In the fundamental diagram (flux-density diagram), our model exhibits several regions of density where more than one stable state coexists at the same density in spite of the stochastic nature of its dynamical rule. Moreover, we observe that two long-lived metastable states appear for a transitional period, and that the dynamical phase transition from a metastable state to another metastable/stable state occurs sharply and spontaneously.

cond-mat.stat-mech↗

arXiv2009

Analytical study on the criticality of the Stochastic Optimal Velocity model

In recent works, we have proposed a stochastic cellular automaton model of traffic flow connecting two exactly solvable stochastic processes, i.e., the Asymmetric Simple Exclusion Process and the Zero Range Process, with an additional parameter. It is also regarded as an extended version of the Optimal Velocity model, and moreover it shows particularly notable properties. In this paper, we report that when taking Optimal Velocity function to be a step function, all of the flux-density graph (i.e. the fundamental diagram) can be estimated. We first find that the fundamental diagram consists of two line segments resembling an {\it inversed-$λ$} form, and next identify their end-points from a microscopic behaviour of vehicles. It is otable that by using a microscopic parameter which indicates a driver's sensitivity to the traffic situation, we give an explicit formula for the critical point at which a traffic jam phase arises. We also compare these analytical results with those of the Optimal Velocity model, and point out the crucial differences between them.

cond-mat.stat-mech↗

arXiv2009

Exact solution and asymptotic behaviour of the asymmetric simple exclusion process on a ring

In this paper, we study an exact solution of the asymmetric simple exclusion process on a periodic lattice of finite sites with two typical updates, i.e., random and parallel. Then, we find that the explicit formulas for the partition function and the average velocity are expressed by the Gauss hypergeometric function. In order to obtain these results, we effectively exploit the recursion formula for the partition function for the zero-range process. The zero-range process corresponds to the asymmetric simple exclusion process if one chooses the relevant hop rates of particles, and the recursion gives the partition function, in principle, for any finite system size. Moreover, we reveal the asymptotic behaviour of the average velocity in the thermodynamic limit, expanding the formula as a series in system size.

cond-mat.stat-mech↗

arXiv2009

Ultra-discrete Optimal Velocity Model: a Cellular-Automaton Model for Traffic Flow and Linear Instability of High-Flux Traffic

In this paper, we propose the ultra-discrete optimal velocity model, a cellular-automaton model for traffic flow, by applying the ultra-discrete method for the optimal velocity model. The optimal velocity model, defined by a differential equation, is one of the most important models; in particular, it successfully reproduces the instability of high-flux traffic. It is often pointed out that there is a close relation between the optimal velocity model and the mKdV equation, a soliton equation. Meanwhile, the ultra-discrete method enables one to reduce soliton equations to cellular automata which inherit the solitonic nature, such as an infinite number of conservation laws, and soliton solutions. We find that the theory of soliton equations is available for generic differential equations, and the simulation results reveal that the model obtained reproduces both absolutely unstable and convectively unstable flows as well as the optimal velocity model.

nlin.CG↗

arXiv2007

Ultradiscretization of the solution of periodic Toda equation

A periodic box-ball system (pBBS) is obtained by ultradiscretizing the periodic discrete Toda equation (pd Toda eq.). We show the relation between a Young diagram of the pBBS and a spectral curve of the pd Toda eq.. The formula for the fundamental cycle of the pBBS is obtained as a colloraly.

math-ph↗