arXiv subjects

Kaname Matsue

Publications and source records attributed to Kaname Matsue.

28 records · Page 2Linked to original sources

arXiv2017

Numerical validation of blow-up solutions with quasi-homogeneous compactifications

We provide a numerical validation method of blow-up solutions for finite dimensional vector fields admitting asymptotic quasi-homogeneity at infinity. Our methodology is based on quasi-homogeneous compactifications containing a new compactification, which shall be called a quasi-parabolic compactification. Divergent solutions including blow-up solutions then correspond to global trajectories of associated vector fields with appropriate time-variable transformation tending to equilibria on invariant manifolds representing infinity. We combine standard methodology of rigorous numerical integration of differential equations with Lyapunov function validations around equilibria corresponding to divergent directions, which yields rigorous upper and lower bounds of blow-up times as well as rigorous profile enclosures of blow-up solutions.

math.NA↗

arXiv2017

Quaternionic quantum walks of Szegedy type and zeta functions of graphs

We define a quaternionic extension of the Szegedy walk on a graph and study its right spectral properties. The condition for the transition matrix of the quaternionic Szegedy walk on a graph to be quaternionic unitary is given. In order to derive the spectral mapping theorem for the quaternionic Szegedy walk, we derive a quaternionic extension of the determinant expression of the second weighted zeta function of a graph. Our main results determine explicitly all the right eigenvalues of the quaternionic Szegedy walk by using complex right eigenvalues of the corresponding doubly weighted matrix. We also show the way to obtain eigenvectors corresponding to right eigenvalues derived from those of doubly weighted matrix.

math-ph↗

arXiv2017

On blow-up solutions of differential equations with Poincaré-type compactifications

We provide explicit criteria for blow-up solutions of autonomous ordinary differential equations. Ideas are based on the quasi-homogeneous desingularization (blowing-up) of singularities and compactifications of phase spaces, which suitably desingularize singularities at infinity. We derive several type of compactifications and show that dynamics at infinity is qualitatively independent of the choice of such compactifications. We also show that hyperbolic invariant sets, such as equilibria and periodic orbits, at infinity induce blow-up solutions with specific blow-up rates. In particular, blow-up solutions can be described as trajectories on stable manifolds of equilibria at infinity for associated vector fields. Finally, we demonstrate blow-up solutions of several differential equations.

math.DS↗

arXiv2016

Numerical validation of blow-up solutions of ordinary differential equations

This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on compactifications and the Lyapunov function validation method. The necessary criteria for this construction can be verified using interval arithmetic techniques. Some numerical examples are presented to demonstrate the applicability of our method.

math.NA↗

arXiv2016

Hierarchical structures of amorphous solids characterized by persistent homology

This article proposes a topological method that extracts hierarchical structures of various amorphous solids. The method is based on the persistence diagram (PD), a mathematical tool for capturing shapes of multiscale data. The input to the PDs is given by an atomic configuration and the output is expressed as 2D histograms. Then, specific distributions such as curves and islands in the PDs identify meaningful shape characteristics of the atomic configuration. Although the method can be applied to a wide variety of disordered systems, it is applied here to silica glass, the Lennard-Jones system, and Cu-Zr metallic glass as standard examples of continuous random network and random packing structures. In silica glass, the method classified the atomic rings as short-range and medium-range orders and unveiled hierarchical ring structures among them. These detailed geometric characterizations clarified a real space origin of the first sharp diffraction peak and also indicated that PDs contain information on elastic response. Even in the Lennard-Jones system and Cu-Zr metallic glass, the hierarchical structures in the atomic configurations were derived in a similar way using PDs, although the glass structures and properties substantially differ from silica glass. These results suggest that the PDs provide a unified method that extracts greater depth of geometric information in amorphous solids than conventional methods.

cond-mat.soft↗

arXiv2016

On the construction of Lyapunov functions with computer assistance

Computer assisted procedures of Lyapunov functions defined in given neighborhoods of fixed points for flows and maps are discussed. We provide a systematic methodology for constructing explicit ranges where quadratic Lyapunov functions exist in two stages; negative definiteness of associating matrices and direct approach. We note that the former is equivalent to the procedure of cones describing enclosures of the stable and the unstable manifolds of invariant sets, which gives us flexible discussions of asymptotic behavior not only around equilibria for flows but also fixed points for maps. Additionally, our procedure admits a re-parameterization of trajectories in terms of values of Lyapunov functions. Several verification examples are shown for discussions of applicability.

math.NA↗

arXiv2016

A note on the spectral mapping theorem of quantum walk models

We discuss the description of eigenspace of a quantum walk model $U$ with an associating linear operator $T$ in abstract settings of quantum walk including the Szegedy walk on graphs. In particular, we provide the spectral mapping theorem of $U$ without the spectral decomposition of $T$. Arguments in this direction reveal the eigenspaces of $U$ characterized by the generalized kernels of linear operators given by $T$.

math-ph↗

arXiv2016

Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach

We provide a rigorous numerical computation method to validate periodic, homoclinic and heteroclinic orbits as the continuation of singular limit orbits for the fast-slow system $x' = f(x,y,ε), y' = εg(x,y,ε)$ with one-dimensional slow variable $y$. Our validation procedure is based on topological tools called isolating blocks, cone condition and covering relations. Such tools provide us with existence theorems of global orbits which shadow singular orbits in terms of a new concept, the covering-exchange. Additional techniques called slow shadowing and $m$-cones are also developed. These techniques give us not only generalized topological verification theorems, but also easy implementations for validating trajectories near slow manifolds in a wide range, via rigorous numerics. Our procedure is available to validate global orbits not only for sufficiently small $ε> 0$ but all $ε$ in a given half-open interval $(0,ε_0]$. Several sample verification examples are shown as a demonstration of applicability.

math.DS↗

arXiv2015

Quantum walks on simplicial complexes

We construct a new type of quantum walks on simplicial complexes as a natural extension of the well-known Szegedy walk on graphs. One can numerically observe that our proposing quantum walks possess linear spreading and localization as in the case of the Grover walk on lattices. Moreover, our numerical simulation suggests that localization of our quantum walks reflect not only topological but also geometric structures. On the other hand, our proposing quantum walk contains an intrinsic problem concerning exhibition of nontrivial behavior, which is not seen in typical quantum walks such as Grover walks on graphs.

math-ph↗

arXiv2015

Numerical studies of the optimization of the first eigenvalue of the heat diffusion in inhomogeneous media

In this paper, we study optimization of the first eigenvalue of the heat equation with spatially nonuniform conductivity on a bounded domain under several constraints for the conductivity. We consider this problem in various boundary conditions and various type of topology of domains. As a result, we numerically observe several common criteria of the conductivity for optimizing eigenvalues in terms of corresponding eigenfunctions, which are independent of topology of domains and boundary conditions. The geometric characterization of optimizers are also numerically observed.

math.OC↗