Showing 1–25 of 25 results for author: Matsue, K

Characterization of Maximizers in A Non-Convex Geometric Optimization Problem With Application to Optical Wireless Power Transfer Systems

Authors: Dinh Hoa Nguyen, Kaname Matsue

Abstract: This research studies a non-convex geometric optimization problem arising from the field of optical wireless power transfer. In the considered optimization problem, the cost function is a sum of negatively and fractionally powered distances from given points arbitrarily located in a plane to another point belonging to a different plane. Therefore, it is a strongly nonlinear and non-convex programm… ▽ More This research studies a non-convex geometric optimization problem arising from the field of optical wireless power transfer. In the considered optimization problem, the cost function is a sum of negatively and fractionally powered distances from given points arbitrarily located in a plane to another point belonging to a different plane. Therefore, it is a strongly nonlinear and non-convex programming, hence posing a challenge on the characterization of its optimizer set, especially its set of global optimizers. To tackle this challenge, the bifurcation theory is employed to investigate the continuation and bifurcation structures of the Hessian matrix of the cost function. As such, two main results are derived. First, there is a critical distance between the two considered planes such that beyond which a unique global optimizer exists. Second, the exact number of maximizers is locally derived by the number of bifurcation branches determined via one-dimensional isotropic subgroups of a Lie group acting on $\mathbb{R}^2$, when the inter-plane distance is smaller than the above-mentioned critical distance. Consequently, numerical simulations and computations of bifurcation points are carried out for various configurations of the given points, whose results confirm the derived theoretical outcomes. △ Less

Submitted 21 April, 2024; originally announced April 2024.

Blow-up behavior for ODEs with normally hyperbolic nature in dynamics at infinity

Authors: Kaname Matsue

Abstract: We describe blow-up behavior for ODEs by means of dynamics at infinity with complex asymptotic behavior in autonomous systems, as well as in nonautonomous systems. Based on preceding studies, a variant of closed embeddings of phase spaces and the time-scale transformation determined by the structure of vector fields at infinity reduce our description of blow-ups to unravel the shadowing property o… ▽ More We describe blow-up behavior for ODEs by means of dynamics at infinity with complex asymptotic behavior in autonomous systems, as well as in nonautonomous systems. Based on preceding studies, a variant of closed embeddings of phase spaces and the time-scale transformation determined by the structure of vector fields at infinity reduce our description of blow-ups to unravel the shadowing property of (pre)compact trajectories on the horizon, the geometric object expressing the infinity, with the specific convergence rates. Geometrically, this description is organized by asymptotic phase of invariant sets on the horizon. Blow-up solutions in nonautonomous systems can be described in a similar way. As a corollary, normally, or partially hyperbolic invariant manifolds on the horizon possessing asymptotic phase are shown to induce blow-ups. △ Less

Submitted 24 August, 2024; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: Accepted version, which will be appeared in SIAM Journal on Applied Dynamical Systems. 42 pages, no figures, Organization as well as title are changed from v2

MSC Class: 34A26; 34C08; 34C45; 35B44; 37C60; 37D10; 58K55

Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. II -- Dynamical Correspondence

Authors: Hisatoshi Kodani, Kaname Matsue, Hiroyuki Ochiai, Akitoshi Takayasu

Abstract: In this paper, we provide a natural correspondence of eigenstructures of Jacobian matrices associated with equilibria for appropriately transformed two systems describing finite-time blow-ups for ODEs with quasi-homogeneity in an asymptotic sense. As a corollary, we see that asymptotic expansions of blow-ups proposed in Part I themselves provide a criterion of the existence of blow-ups with an int… ▽ More In this paper, we provide a natural correspondence of eigenstructures of Jacobian matrices associated with equilibria for appropriately transformed two systems describing finite-time blow-ups for ODEs with quasi-homogeneity in an asymptotic sense. As a corollary, we see that asymptotic expansions of blow-ups proposed in Part I themselves provide a criterion of the existence of blow-ups with an intrinsic gap structure of stability information among two systems. Examples provided in Part I are revisited to show the above correspondence. △ Less

Submitted 30 November, 2022; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: 51 pages. This is the first part in the present subject. Part I entitled "Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. I - Method and Justification" is also uploaded (arXiv:2211.06865). In v2, several expressions are unified

MSC Class: 34A26; 34D05; 34E05; 34E10; 58K55

Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. I -- Method and Justification

Authors: Taisei Asai, Hisatoshi Kodani, Kaname Matsue, Hiroyuki Ochiai, Takiko Sasaki

Abstract: In this paper, we provide a systematic methodology for calculating multi-order asymptotic expansion of blow-up solutions near blow-up for autonomous ordinary differential equations (ODEs). Under the specific form of the principal term of blow-up solutions for a class of vector fields, we extract algebraic objects determining all possible orders in the asymptotic expansions. Examples for calculatin… ▽ More In this paper, we provide a systematic methodology for calculating multi-order asymptotic expansion of blow-up solutions near blow-up for autonomous ordinary differential equations (ODEs). Under the specific form of the principal term of blow-up solutions for a class of vector fields, we extract algebraic objects determining all possible orders in the asymptotic expansions. Examples for calculating concrete multi-order asymptotic expansions of blow-up solutions are finally collected. △ Less

Submitted 30 November, 2022; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: 78 pages. This is the first part in the present subject. Part II entitled "Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. II - Dynamical Correspondence" is also uploaded (arXiv:2211.06868). In v2, unclear expressions are corrected

MSC Class: 34A26; 34D05; 34E05; 34E10; 58K55

A mathematical treatment of bump structure for the particle laden flows with particle features

Authors: Kaname Matsue, Kyoko Tomoeda

Abstract: In this paper, we consider the particle laden flows on a inclined plane under the effect of the gravity. It is observed from preceding experimental works that the particle-rich ridge is generated near the contact line. The bump structure observed in particle-rich ridge is studied in terms of Lax's shock waves in the mathematical theory of conservation laws. In the present study, the effect of part… ▽ More In this paper, we consider the particle laden flows on a inclined plane under the effect of the gravity. It is observed from preceding experimental works that the particle-rich ridge is generated near the contact line. The bump structure observed in particle-rich ridge is studied in terms of Lax's shock waves in the mathematical theory of conservation laws. In the present study, the effect of particles with nontrivial radii on morphology of particle laden flows is explicitly considered, and dependence of radius and concentration of particles on the bump structure is extracted. △ Less

Submitted 16 May, 2021; originally announced May 2021.

Comments: 19 pages

Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature

Authors: Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu

Abstract: In this paper, blow-up solutions of autonomous ordinary differential equations (ODEs) which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, are studied. Combining dynamical systems machinery (e.g., compactifications, time-scale desingularizations of vector fields) with tools from computer-assisted proofs (e.g., rigorous integrators, the parameteriz… ▽ More In this paper, blow-up solutions of autonomous ordinary differential equations (ODEs) which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, are studied. Combining dynamical systems machinery (e.g., compactifications, time-scale desingularizations of vector fields) with tools from computer-assisted proofs (e.g., rigorous integrators, the parameterization method for invariant manifolds), these blow-up solutions are obtained as trajectories on local stable manifolds of hyperbolic saddle equilibria at infinity. With the help of computer-assisted proofs, global trajectories on stable manifolds, inducing blow-up solutions, provide a global picture organized by global-in-time solutions and blow-up solutions simultaneously. Using the proposed methodology, intrinsic features of saddle-type blow-ups are observed: locally smooth dependence of blow-up times on initial points, level set distribution of blow-up times, and decomposition of the phase space playing a role as separatrixes among solutions, where the magnitude of initial points near those blow-ups does not matter for asymptotic behavior. Finally, singular behavior of blow-up times on initial points belonging to different family of blow-up solutions is addressed. △ Less

Submitted 30 October, 2022; v1 submitted 23 March, 2021; originally announced March 2021.

Comments: 71 pages, 15 figures. The title is changed and the contents are arranged for readability in v2

A refined asymptotic behavior of traveling wave solutions for degenerate nonlinear parabolic equations

Authors: Yu Ichida, Kaname Matsue, Takashi Okuda Sakamoto

Abstract: In this paper, we consider the asymptotic behavior of traveling wave solutions of the degenerate nonlinear parabolic equation: $u_{t}=u^{p}(u_{xx}+u)-δu$ ($δ= 0$ or $1$) for $ξ\equiv x - ct \to - \infty$ with $c>0$. We give a refined one of them, which was not obtain in the preceding work [Ichida-Sakamoto, 2020], by an appropriate asymptotic study and properties of the Lambert $W$ function. In this paper, we consider the asymptotic behavior of traveling wave solutions of the degenerate nonlinear parabolic equation: $u_{t}=u^{p}(u_{xx}+u)-δu$ ($δ= 0$ or $1$) for $ξ\equiv x - ct \to - \infty$ with $c>0$. We give a refined one of them, which was not obtain in the preceding work [Ichida-Sakamoto, 2020], by an appropriate asymptotic study and properties of the Lambert $W$ function. △ Less

Submitted 1 August, 2020; originally announced August 2020.

Comments: 9 pages

A crossover between open quantum random walks to quantum walks

Authors: Norio Konno, Kaname Matsue, Etsuo Segawa

Abstract: We propose an intermediate walk continuously connecting an open quantum random walk and a quantum walk with parameters $M\in \mathbb{N}$ controlling a decoherence effect; if $M=1$, the walk coincides with an open quantum random walk, while $M=\infty$, the walk coincides with a quantum walk. We define a measure which recovers usual probability measures on $\mathbb{Z}$ for $M=\infty$ and $M=1$ and w… ▽ More We propose an intermediate walk continuously connecting an open quantum random walk and a quantum walk with parameters $M\in \mathbb{N}$ controlling a decoherence effect; if $M=1$, the walk coincides with an open quantum random walk, while $M=\infty$, the walk coincides with a quantum walk. We define a measure which recovers usual probability measures on $\mathbb{Z}$ for $M=\infty$ and $M=1$ and we observe intermediate behavior through numerical simulations for varied positive values $M$. In the case for $M=2$, we analytically show that a typical behavior of quantum walks appears even in a small gap of the parameter from the open quantum random walk. More precisely, we observe both the ballistically moving towards left and right sides and localization of this walker simultaneously. The analysis is based on Kato's perturbation theory for linear operator. We futher analyze this limit theorem in more detail and show that the above three modes are described by Gaussian distributions. △ Less

Submitted 2 July, 2020; originally announced July 2020.

Comments: 30 pages

Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity

Authors: Kaname Matsue, Akitoshi Takayasu

Abstract: Our concerns here are blow-up solutions for ODEs with exponential nonlinearity from the viewpoint of dynamical systems and their numerical validations. As an example, the finite difference discretization of $u_t = u_{xx} + e^{u^m}$ with the homogeneous Dirichlet boundary condition is considered. Our idea is based on compactification of phase spaces and time-scale desingularization as in previous w… ▽ More Our concerns here are blow-up solutions for ODEs with exponential nonlinearity from the viewpoint of dynamical systems and their numerical validations. As an example, the finite difference discretization of $u_t = u_{xx} + e^{u^m}$ with the homogeneous Dirichlet boundary condition is considered. Our idea is based on compactification of phase spaces and time-scale desingularization as in previous works. In the present case, treatment of exponential nonlinearity is the main issue. Fortunately, under a kind of exponential homogeneity of vector field, we can treat the problem in the same way as polynomial vector fields. In particular, we can characterize and validate blow-up solutions with their blow-up times for differential equations with such exponential nonlinearity in the similar way to previous works. A series of technical treatments of exponential nonlinearity in blow-up problems is also shown with concrete validation examples. △ Less

Submitted 5 February, 2019; originally announced February 2019.

Comments: 9 pages, 2 Figures, 3 Tables

MSC Class: 34A26; 34C08; 35B44; 37B25; 37C99; 37M99; 58K55; 65D30; 65G30; 65L99; 65P99

Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs

Authors: Kaname Matsue

Abstract: Geometric treatments of blow-up solutions for autonomous ordinary differential equations and their blow-up rates are concerned. Our approach focuses on the type of invariant sets at infinity via compactifications of phase spaces, and dynamics on their center-stable manifolds. In particular, we show that dynamics on center-stable manifolds of invariant sets at infinity with appropriate time-scale d… ▽ More Geometric treatments of blow-up solutions for autonomous ordinary differential equations and their blow-up rates are concerned. Our approach focuses on the type of invariant sets at infinity via compactifications of phase spaces, and dynamics on their center-stable manifolds. In particular, we show that dynamics on center-stable manifolds of invariant sets at infinity with appropriate time-scale desingularizations as well as blowing-up of singularities characterize dynamics of blow-up solutions as well as their rigorous blow-up rates. △ Less

Submitted 22 June, 2018; originally announced June 2018.

Comments: 45 pages

MSC Class: 34A26; 34C08; 35B44; 35L67; 58K55

Rigorous numerics of finite-time singularities in dynamical systems - methodology and applications

Authors: Kaname Matsue

Abstract: This paper aims at providing rigorous numerical computation procedure for finite-time singularities in dynamical systems. Combination of time-scale desingularization as well as Lyapunov functions validation on stable manifolds of invariant sets for desingularized vector fields with standard integration procedure for ordinary differential equations give us validated trajectories of dynamical system… ▽ More This paper aims at providing rigorous numerical computation procedure for finite-time singularities in dynamical systems. Combination of time-scale desingularization as well as Lyapunov functions validation on stable manifolds of invariant sets for desingularized vector fields with standard integration procedure for ordinary differential equations give us validated trajectories of dynamical systems involving finite-time singularities. Our focus includes finite-time extinction, traveling wave solutions with half-line or compact support, and singular canards in fast-slow systems, including rigorous validations of enclosures of extinction, finite-passage times or size of supports for compactons. Such validated solutions lead to a plenty of composite wave solutions for degenerate parabolic equations, for example, with concrete information of profiles and evolutions. The present procedure also provides a universal aspect of finite-time singularities with rigorous numerics, combining with rigorous numerics of blow-up solutions in preceding works. △ Less

Submitted 6 November, 2017; originally announced November 2017.

Comments: 60 pages, 7 figures, 7 tables. Technical details for our validations are added before the release of the first version

MSC Class: 34C37; 34E17; 35B40; 35K65; 65G20; 65L05

Toward a mathematical analysis for a model of suspension flowing down an inclined plane

Authors: Kaname Matsue, Kyoko Tomoeda

Abstract: We consider the Riemann problem of the dilute approximation equations with spatiotemporally dependent volume fractions from the full model of suspension, in which the particles settle to the solid substrate and the clear liquid film flows over the sediment [Murisic et al., J. Fluid. Mech. {\bf{717}}, 203--231 (2013)]. We present a method to find shock waves, rarefaction waves for the Riemann probl… ▽ More We consider the Riemann problem of the dilute approximation equations with spatiotemporally dependent volume fractions from the full model of suspension, in which the particles settle to the solid substrate and the clear liquid film flows over the sediment [Murisic et al., J. Fluid. Mech. {\bf{717}}, 203--231 (2013)]. We present a method to find shock waves, rarefaction waves for the Riemann problem of this system. Our method is mainly based on [Smoller, Springer-Verlag, New York, second edition, (1994)]. △ Less

Submitted 1 September, 2017; originally announced September 2017.

Comments: Submitted to proceedings for EquaDiff2017

MSC Class: 03-06; 35L65

Resonant-tunneling in discrete-time quantum walk

Authors: Kaname Matsue, Leo Matsuoka, Osamu Ogurisu, Etsuo Segawa

Abstract: We show that discrete-time quantum walks on the line, $\mathbb{Z}$, behave as "the quantum tunneling". In particular, quantum walkers can tunnel through a double-well with the transmission probability $1$ under a mild condition. This is a property of quantum walks which cannot be seen on classical random walks, and is different from both linear spreadings and localizations. We show that discrete-time quantum walks on the line, $\mathbb{Z}$, behave as "the quantum tunneling". In particular, quantum walkers can tunnel through a double-well with the transmission probability $1$ under a mild condition. This is a property of quantum walks which cannot be seen on classical random walks, and is different from both linear spreadings and localizations. △ Less

Submitted 5 December, 2017; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: 14 pages, 2 figures to appear in "Quantum Studies: Mathematics and Foundations"

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

Authors: Kaname Matsue, Akitoshi Takayasu

Abstract: 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 as… ▽ More 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. △ Less

Submitted 19 July, 2017; originally announced July 2017.

Comments: 42 pages. Validation codes are available at http://www.risk.tsukuba.ac.jp/~takitoshi/codes/NVbQC.zip

MSC Class: 34A26; 34C08; 35B44; 37B25; 37C99; 37M99; 58K55; 65D30; 65G30; 65L99; 65P99

Quantum Search on Simplicial Complexes

Authors: Kaname Matsue, Osamu Ogurisu, Etsuo Segawa

Abstract: In this paper, we propose an extension of quantum searches on graphs driven by quantum walks to simplicial complexes. To this end, we newly define a quantum walk on simplicial complex which is an alternative of preceding studies by authors. We show that the quantum search on the specific simplicial complex corresponding to the triangulation of $n$-dimensional unit square driven by this new simplic… ▽ More In this paper, we propose an extension of quantum searches on graphs driven by quantum walks to simplicial complexes. To this end, we newly define a quantum walk on simplicial complex which is an alternative of preceding studies by authors. We show that the quantum search on the specific simplicial complex corresponding to the triangulation of $n$-dimensional unit square driven by this new simplicial quantum walk works well, namely, a marked simplex can be found with probability $1+o(1)$ with in a time $O(\sqrt{N})$, where $N$ is the number of simplices with the dimension of marked simplex. △ Less

Submitted 5 December, 2017; v1 submitted 1 July, 2017; originally announced July 2017.

Comments: Published in "Quantum Studies: Mathematics and Foundations"

Quaternionic quantum walks of Szegedy type and zeta functions of graphs

Authors: Norio Konno, Kaname Matsue, Hideo Mitsuhashi, Iwao Sato

Abstract: 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 z… ▽ More 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. △ Less

Submitted 3 May, 2017; v1 submitted 15 March, 2017; originally announced March 2017.

Comments: 24 pages. arXiv admin note: text overlap with arXiv:1505.00683

MSC Class: 60F05; 05C50; 15A15; 11R52

Rigorous numerics of tubular, conic, star-shaped neighborhoods of slow manifolds for fast-slow systems

Authors: Kaname Matsue

Abstract: We provide a rigorous numerical computation method to validate tubular neighborhoods of normally hyperbolic slow manifolds with the explicit radii for the fast-slow system \begin{equation*} \begin{cases} x' = f(x,y,ε), and y' =εg(x,y,ε). & \end{cases} \end{equation*} Our main focus is the validation of the continuous family of eigenpairs $\{λ_i(y;ε), u_i(y;ε)\}_{i=1}^n$ of $f_x(h_ε(y),y,ε)$ over t… ▽ More We provide a rigorous numerical computation method to validate tubular neighborhoods of normally hyperbolic slow manifolds with the explicit radii for the fast-slow system \begin{equation*} \begin{cases} x' = f(x,y,ε), and y' =εg(x,y,ε). & \end{cases} \end{equation*} Our main focus is the validation of the continuous family of eigenpairs $\{λ_i(y;ε), u_i(y;ε)\}_{i=1}^n$ of $f_x(h_ε(y),y,ε)$ over the slow manifold $S_ε= \{x = h_ε(y)\}$ admitting the graph representation. In order to obtain such a family, we apply the interval Newton-like method with rigorous numerics. The validated family of eigenvectors generates a vector bundle over $S_ε$ determining normally hyperbolic eigendirections rigorously. The generated vector bundle enables us to construct a tubular neighborhood centered at slow manifolds with explicit radii. Combining rate conditions for providing smoothness of center-(un)stable manifolds, we can validate smooth tubular neighborhoods with diffeomorphic family of affine change of coordinates, as well as several extensions such as conic and star-shaped neighborhoods. Our procedure provides a systematic construction of smooth neighborhoods of slow manifolds in an explicit range $[0,ε_0]$ of $ε$ with rigorous numerics. △ Less

Submitted 15 April, 2018; v1 submitted 7 December, 2016; originally announced December 2016.

Comments: 45 pages, 7 figures. Put the validation (raw) code at [28]. In the latest version, we have re-computed all validation results replacing CAPD library ( http://capd.ii.uj.edu.pl ) by kv library ( http://verifiedby.me/kv/ )

MSC Class: 34A26; 34A30; 37D20; 57R25; 65L11

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

Authors: Kaname Matsue

Abstract: 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 cho… ▽ More 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. △ Less

Submitted 19 March, 2017; v1 submitted 19 November, 2016; originally announced November 2016.

Comments: 40 pages. The whole contents are completely changed from ver. 2

MSC Class: 34A26; 34C08; 35B44; 35L67; 58K55

Numerical validation of blow-up solutions of ordinary differential equations

Authors: Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi

Abstract: 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 ap… ▽ More 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. △ Less

Submitted 7 November, 2016; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: Accepted version, to appear in Journal of Computational and Applied Mathematics

MSC Class: 34C08; 35B44; 37B25; 65L99

On the construction of Lyapunov functions with computer assistance

Authors: Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto

Abstract: 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 e… ▽ More 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. △ Less

Submitted 20 April, 2016; originally announced April 2016.

Comments: 37 pages. 17 figures. AIMS style files are used

MSC Class: Primary: 34D05; 37B25; Secondary: 65H10

A note on the spectral mapping theorem of quantum walk models

Authors: Kaname Matsue, Osamu Ogurisu, Etsuo Segawa

Abstract: 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 op… ▽ More 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$. △ Less

Submitted 2 April, 2016; originally announced April 2016.

Comments: 17 pages

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

Authors: Kaname Matsue

Abstract: 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 exis… ▽ More 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. △ Less

Submitted 9 February, 2016; v1 submitted 6 July, 2015; originally announced July 2015.

Comments: Rearranged whole contents of the manuscript (83 pages)

MSC Class: 34E15; 37B25; 37C29; 37C50; 37D10; 65L11

Quantum walks on simplicial complexes

Authors: Kaname Matsue, Osamu Ogurisu, Etsuo Segawa

Abstract: 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… ▽ More 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. △ Less

Submitted 3 August, 2015; v1 submitted 5 July, 2015; originally announced July 2015.

Comments: 36 pages. We found a mistake in Lemma 2.6 in the first version. In the current version we modify it

Hierarchical structures of amorphous solids characterized by persistent homology

Authors: Yasuaki Hiraoka, Takenobu Nakamura, Akihiko Hirata, Emerson G. Escolar, Kaname Matsue, Yasumasa Nishiura

Abstract: 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 identi… ▽ More 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. △ Less

Submitted 5 July, 2016; v1 submitted 15 January, 2015; originally announced January 2015.

Comments: 8 pages, 14 figures

Journal ref: Proceedings of the National Academy of Sciences (2016) vol. 113 no. 26, 7035-7040

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

Authors: Kaname Matsue, Hisashi Naito

Abstract: 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 term… ▽ More 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. △ Less

Submitted 21 April, 2015; v1 submitted 22 August, 2014; originally announced August 2014.

Comments: 22 pages, 177 figures

MSC Class: 35Q93; 49J20; 65N25; 74G15