SearcharxivSearch

arXiv subjects

Tetsuji Tokihiro

Publications and source records attributed to Tetsuji Tokihiro.

At least 19 recordsLinked to original sources

A Structure-Preserving Stagewise Rescaling Algorithm for a Two-Dimensional Nonlocal MEMS Equation in an Asymptotically Constant-Feedback Regime

Nonlocal MEMS equations exhibit finite-time quenching, or touchdown, which is difficult to capture numerically. We study a stagewise rescaling algorithm for a two-dimensional nonlocal MEMS equation in an asymptotically constant-feedback touchdown regime. The equation is not exactly invariant under the $A^{3/2}$--$A^3$ scaling used here; the scaling is justified when the reciprocal-integral feedback $K(t)=1+\int_\Omega(1-u)^{-1}dx$ remains bounded and converges to a finite positive limit, as in the single-point touchdown profiles of Duong--Zaag. In this regime the leading-order core dynamics reduce to a local MEMS equation with an asymptotically constant coefficient. Using a fixed-stage scaling of the deficit variable, we obtain a gradient flow for a rescaled energy at frozen amplitude and prove an exact energy dissipation identity within each stage. We introduce a minimizing-movement stage solver and derive a discrete energy inequality. Since strict monotonicity need not hold across stage transitions, we separate the switch and outer-update defects and prove an exact defect balance. Under a uniform switch-defect estimate, this yields quantitative almost monotonicity and a defect-aware criterion for nonexistence of a global admissible continuation. The numerical section is organized around reproducible two-dimensional reference computations: a full-domain stagewise run showing trigger detection, fixed-stage energy decay, and geometric accumulation of physical time, and a direct fixed-domain energy check. These tests are not used as proof of the bounded-window criterion; instead, they report finite-feedback diagnostics and identify the ideal-transfer switch-energy diagnostics required for a posteriori verification.

math.NA

Sector-dominant graph-local drivers for path-window barrier Hamiltonians on the Boolean hypercube

We study finite-size adiabatic state preparation on Boolean hypercubes using graph-local drivers built from sector/path coordinates related to monotone Gray-code representatives. The construction is not presented as a new all-$n$ Gray-code existence theorem; rather, it provides finite representatives, explicitly checked through the cases used in the numerical experiments, for testing problem-dependent graph-local drivers. For ordinary diagonal-cost transverse-field annealing, the ordering does not yield a robust advantage, and we include this negative result as a baseline. For non-diagonal target Hamiltonians whose geometry is expressed in the same sector/path coordinates, hybrid drivers combining sector, path-window, and small transverse-field components can substantially improve the final ground-state fidelity in centered barrier instances. Reproduction runs from the accompanying code confirm a representative centered original-window barrier value of approximately \(0.9799\) for the fixed-control hybrid parameters \((w,\alpha,\epsilon)=(8,0.50,0.15)\), while also showing that the improvement is target-class dependent. Randomized and ablation controls indicate that the dominant contribution is the sector-preserving skeleton, with strict one-bit completion acting as a secondary refinement. We provide code, finite certificates, CSV files, validation logs, and reproduction scripts to make the finite-size claims traceable.

quant-ph

Integrable cellular automata on finite fields of order $2^n$

This paper explores cellular automata (CA) constructed from Yang-Baxter maps over finite fields $F_{2^n}$. We define $R$-matrices using a map $f$ on $F_{2^n}$ and establish necessary and sufficient conditions for $f$ to satisfy the Yang-Baxter equation. We show that these conditions become remarkably streamlined in characteristic two. An exhaustive search for bijective solutions in fields of order 4, 8, and 16 yields 16, 736, and 269,056 maps, respectively. Analysis of the resulting CA under helical boundary conditions reveals a consistent alignment between the temporal period and the field order. We propose the conjecture that this periodic identity holds generally for $F_{2^n}$, supported by analytical proofs for $n=2$ and $n=3$. Our results further indicate that bijectivity is a fundamental requirement for this periodic behavior.

nlin.SI

Generalized FDNF fuzzification of elementary cellular automata and its nonlinear pattern dynamics

Fuzzy disjunctive normal form (FDNF) gives the canonical multi-affine extension of an elementary cellular automaton (ECA) rule to the unit cube. Although it preserves the Boolean rule on binary states, its multi-affine structure can smooth high-contrast CA patterns and restrict continuous-state dynamics. We introduce generalized FDNF rules \[ \widetilde f_k^{g,u,v,w}(x,y,z) = g\left(f_k(u(x),v(y),w(z))\right), \] where the transformations $g,u,v,w: [0,1] \to [0,1]$ fix the endpoints. The identity maps recover ordinary FDNF, while threshold-like, discontinuous, non-monotone, and expanding choices yield rule-preserving fuzzy ECAs. We demonstrate, in representative rules, that the transformation shape strongly affects pattern dynamics: threshold-like maps promote ECA-like pattern recovery, parameter deformations interpolate toward FDNF-like smoothing, and discontinuities induce gap-generated regimes. Pattern changes are summarized by contrast, fuzziness, and a finite-resolution participation-type support exponent. In three-cell systems, an expanding non-monotone transformation yields stable period-six cycles for rule 210, verified by interval arithmetic, coexisting with an expanding invariant line set; rules 51 and 85 inherit one-dimensional expanding dynamics. The framework provides a rule-preserving bridge from Boolean cellular automata to fuzzy and continuous-state nonlinear dynamics.

nlin.CG

Pattern formation of elliptic particles by two-body interactions: a model for dynamics of endothelial cells in angiogenesis

A two-dimensional mathematical model for dynamics of endothelial cells in angiogenesis is investigated. Angiogenesis is a morphogenic process in which new blood vessels emerge from an existing vascular network. Recently a one-dimensional discrete dynamical model has been proposed to reproduce elongation, bifurcation, and cell motility such as cell-mixing during angiogenesis on the assumption of a simple two-body interaction between endothelial cells. The present model is its two-dimensional extension, where endothelial cells are represented as the ellipses with the two-body interactions: repulsive interaction due to excluded volume effect, attractive interaction through pseudopodia and rotation by contact. We show that the oblateness of ellipses and the magnitude of contact rotation significantly affect the shape of created vascular patterns and elongation of branches.

nlin.PS

Pattern formation of vascular network in a mathematical model of angiogenesis

We discuss the characteristics of the patterns of the vascular networks in a mathematical model for angiogenesis. Based on recent in vitro experiments, this mathematical model assumes that the elongation and bifurcation of blood vessels during angiogenesis are determined by the density of endothelial cells at the tip of the vascular network, and describes the dynamical changes in vascular network formation using a system of simultaneous ordinary differential equations. The pattern of formation strongly depends on the supply rate of endothelial cells by cell division, the branching angle, and also on the connectivity of vessels. By introducing reconnection of blood vessels, the statistical distribution of the size of islands in the network is discussed with respect to bifurcation angles and elongation factor distributions. The characteristics of the obtained patterns are analysed using multifractal dimension and other techniques.

nlin.PS

A stochastic phase model with reflective boundary and induced beating for the cardiac muscle cells

We consider the stochastic phase models for the community effect of cardiac muscle cells. The model is the extension of the stochastic integrate-and-fire model in which we incorporate the irreversibility after beating, induced beating and refractory. We focus on investigating the expectation and variance of (synchronized) beating interval. In particular, for the single-isolated cell, we obtain the closed-form expectation and variance of the beating interval, and we discover that the coefficient of variance (CV) has upper limit $\sqrt{2/3}$. For two-coupled cells, we derive the partial differential equations (PDEs) for the expected synchronized beating intervals and the distribution density of phase. Moreover, we also consider the conventional Kuramoto model for both two- and $N$-cells models, where we establish a new analysis using stochastic calculus to obtain the CV of the ''synchronized'' beating interval, and make some improvement to the literature work.

nlin.AO

Rule 184 fuzzy cellular automaton as a mathematical model for traffic flow

The rule 184 fuzzy cellular automaton is regarded as a mathematical model of traffic flow because it contains the two fundamental traffic flow models, the rule 184 cellular automaton and the Burgers equation, as special cases. We show that the fundamental diagram (flux-density diagram) of this model consists of three parts: a free-flow part, a congestion part and a two-periodic part. The two-periodic part, which may correspond to the synchronized mode region, is a two-dimensional area in the diagram, the boundary of which consists of the free-flow and the congestion parts. We prove that any state in both the congestion and the two-periodic parts is stable, but is not asymptotically stable, while that in the free-flow part is unstable. Transient behaviour of the model and bottle-neck effects are also examined by numerical simulations. Furthermore, to investigate low or high density limit, we consider ultradiscrete limit of the model and show that any ultradiscrete state turns to a travelling wave state of velocity one in finite time steps for generic initial conditions.

nlin.PS

Coprimeness-preserving discrete KdV type equation on an arbitrary dimensional lattice

We introduce an equation defined on a multi-dimensional lattice, which can be considered as an extension to the coprimeness-preserving discrete KdV like equation in our previous paper. The equation is also interpreted as a higher-dimensional analogue of the Hietarinta-Viallet equation, which is famous for its singularity confining property while having an exponential degree growth. As the main theorem we prove the Laurent and the irreducibility properties of the equation in its "tau-function" form. From the theorem the coprimeness of the equation follows. In Appendix we review the coprimeness-preserving discrete KdV like equation whichis a base equation for our main system and prove the properties such as the coprimeness.

nlin.SI

Algebraic entropy of a multi-term recurrence of the Hietarinta-Viallet type

We introduce a family of extensions of the Hietarinta-Viallet equation to a multi-term recurrence relation via a reduction from the coprimeness-preserving extension to the discrete KdV equation. The recurrence satisfies the irreducibility and the coprimeness property although it is nonintegrable in terms of an exponential degree growth. We derive the algebraic entropy of the recurrence by an elementary method of calculating the degree growth. The result includes the entropy of the original Hietarinta-Viallet equation.

math-ph

On the Coprimeness Property of Discrete Systems without the Irreducibility Condition

In this article we investigate the coprimeness properties of one and two-dimensional discrete equations, in a situation where the equations are decomposable into several factors of polynomials. After experimenting on a simple equation, we shall focus on some higher power extensions of the Somos-4 equation and the (1-dimensional) discrete Toda equation. Our previous results are that all of the equations satisfy the irreducibility and the coprimeness properties if the r.h.s. is not factorizable. In this paper we shall prove that the coprimeness property still holds for all of these equations even if the r.h.s. is factorizable, although the irreducibility property is no longer satisfied.

math-ph

Toda type equations over multi-dimensional lattices

We introduce a class of recursions defined over the $d$-dimensional integer lattice. The discrete equations we study are interpreted as higher dimensional extensions to the discrete Toda lattice equation. We shall prove that the equations satisfy the coprimeness property, which is one of integrability detectors analogous to the singularity confinement test. While the degree of their iterates grows exponentially, their singularities exhibit a nature similar to that of integrable systems in terms of the coprimeness property. We also prove that the equations can be expressed as mutations of a seed in the sense of the Laurent phenomenon algebra.

math-ph

A two dimensional lattice equation as an extension of the Heideman-Hogan recurrence

We consider a two dimensional extension of the so-called linearizable mappings. In particular, we start from the Heideman-Hogan recurrence, which is known as one of the linearizable Somos-like recurrences, and introduce one of its two dimensional extensions. The two dimensional lattice equation we present is linearizable in both directions, and has the Laurent and the coprimeness properties. Moreover, its reduction produces a generalized family of the Heideman-Hogan recurrence. Higher order examples of two dimensional linearizable lattice equations related to the Dana-Scott recurrence are also discussed.

math-ph

Nonlinear forms of coprimeness preserving extensions to the Somos-$4$ recurrence and the two-dimensional Toda lattice equation --investigation into their extended Laurent properties--

Coprimeness property was introduced to study the singularity structure of discrete dynamical systems. In this paper we shall extend the coprimeness property and the Laurent property to further investigate discrete equations with complicated pattern of singularities. As examples we study extensions to the Somos-$4$ recurrence and the two-dimensional discrete Toda equation. By considering their non-autonomous polynomial forms, we prove that their tau function analogues possess the extended Laurent property with respect to their initial variables and some extra factors related to the non-autonomous terms. Using this Laurent property, we prove that these equations satisfy the extended coprimeness property. This coprimeness property reflects the singularities that trivially arise from the equations.

math-ph

Coprimeness-preserving non-integrable extension to the two-dimensional discrete Toda lattice equation

We introduce a so-called `coprimeness-preserving non-integrable' extension (another terminology is `quasi-integrable' extension) to the two-dimensional Toda lattice equation. We believe that this equation is the first example of such discrete equation defined over a three-dimensional lattice. We prove that all the iterates of the equation are irreducible Laurent polynomials of the initial data and that every pair of two iterates is co-prime, which indicate confined singularities of the equation. By reducing the equation to two- or one-dimensional lattices, we obtain coprimeness-preserving non-integrable extensions to the one-dimensional Toda lattice equation and the Somos-4 recurrence.

nlin.SI

Singularity confinement and chaos in two-dimensional discrete systems

We present a quasi-integrable two-dimensional lattice equation: i.e., a partial difference equation which satisfies a criterion of integrability, singularity confinement, although it has a chaotic aspect in the sense that the degrees of its iterates exhibit exponential growth. By systematic reduction to one-dimensional systems, it gives a hierarchy of ordinary difference equations with confined singularities, but with positive algebraic entropy including a generalized form of the Hietarinta-Viallet mapping. We believe that this is the first example of such quasi-integrable equations defined over a two-dimensional lattice.

nlin.SI

Graphs emerging from the solutions to the periodic discrete Toda equation over finite fields

The periodic discrete Toda equation defined over finite fields has been studied. We obtained the finite graph structures constructed by the network of states where edges denote possible time evolutions. We simplify the graphs by introducing a equivalence class of cyclic permutations to the initial values. We proved that the graphs are bi-directional and that they are composed of several arrays of complete graphs connected at one of their vertices.

nlin.SI

Mathematical Modelings for Angiogenesis - A Cellular Automaton Model and its Continuous Model

Based on recent experiments with time-lapse fluorescent imaging, we propose a cellular automaton model for the dynamics of vascular endothelial cells (ECs) in angiogenic morphogenesis. The model successfully reproduces cell mixing behavior, elongation and bifurcation of blood vessels. The results suggest that the two-body interaction between ECs, which is repulsive in short distance and become attractive in moderately long distance, is essential to the dynamics of ECs, in particular, to the cell mixing behavior. The corresponding analytically solvable differential equation model is also proposed.

nlin.CG