Articles
Rigorous Numerics
- "Rigorous verification of bifurcations of differential equations via the Conley index theory"
Kaname Matsue, SIAM Journal on Applied Dynamical Systems, 10 (2011), 325--359.
- "Rigorous numerics for stationary solutions of dissipative PDEs - Existence and local dynamics - "
Kaname Matsue, NOLTA, 4 (2013), 62--79.
- "Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach"
Kaname Matsue, available on arXiv: 1507.01462, Topological Methods in Nonlinear Analysis (2017), doi=http://dx.doi.org/10.12775/TMNA.2016.072
Validation data (entire note)
fn_homoclinic: note, slow_manifold and shadowing (left), slow_manifold and shadowing (right), m-cone (left), m-cone (right), singular isolating block (left), singular isolating block (right)
- "On the construction of Lyapunov functions with computer assistance"
Kaname Matsue, Tomohiro Hiwaki and Nobito Yamamoto, available on arXiv: 1604.05953, Journal of Computational and Applied Mathematics, 319(2017), 385-412
- "Numerical validation of blow-up solutions for ordinary differential equations"
Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi and Shin'ichi Oishi, available on arXiv: 1606.03039, Journal of Computational and Applied Mathematics, 314(2017), 10-29, doi:10.1016/j.cam.2016.10.013
- "Rigorous numerics of tubular, conic, star-shaped neighborhoods of slow manifolds for fast-slow systems"
Kaname Matsue, available on arXiv: 1612.02162
- "Numerical validation of blow-up solutions with quasi-homogeneous compactifications"
Kaname Matsue and Akitoshi Takayasu, available on arXiv: 1707.05936, Numerische Mathematik, 145(2020), 605-654.
- "Rigorous numerics of finite-time singularities in dynamical systems - methodology and applications"
Kaname Matsue, available on arXiv: 1711.01911
- "微分方程式の爆発解:精度保証付き数値計算と力学系的解釈" (Blow-up solutions of differential equations: rigorous numerics and interpretation from dynamical systems)
松江 要 (in Japanese), 日本シミュレーション学会誌「シミュレーション」 (Bulletin of Japan Society for Simulation Technology "Simulation"), 37(2018), 188-196.
- "Fast-slow系における精度保証付き数値計算" (Rigorous numerics for fast-slow systems)
松江 要 (in Japanese), 『数学』(日本数学会編集), 71(2019), 252-281.
- "Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity"
Kaname Matsue and Akitoshi Takayasu, available on arXiv: 1902.01842, to appear in Journal of Computational and Applied Mathematics.
- "Rigorous Numerics for Fast-Slow Systems" (English translation of "Fast-slow系における精度保証付き数値計算" in Sugaku, Iwanami-Shoten)
Kaname Matsue, AMS.
Dynamical Systems
- "On blow-up solutions of differential equations with Poincare-type compactifications"
Kaname Matsue, available on arXiv: 1611.06346, SIAM Journal on Applied Dynamical Systems, 17(2018), 2249–2288, doi:10.1137/17M1124498
- "Toward a mathematical analysis for a model of suspension flowing down an inclined plane"
Kaname Matsue and Kyoko Tomoeda, available on arXiv: 1709.00409, Proceedings of EquaDiff 2017 Conference, 349-358
- "Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs"
Kaname Matsue, available on arXiv: 1806.08487, Journal of Differential Equations, 267(2019), 7313-7368, doi:10.1016/j.jde.2019.07.022
- (New !) "A refined asymptotic behavior of traveling wave solutions for degenerate nonlinear parabolic equations"
Yu Ichida, Kaname Matsue and Takashi Okuda Sakamoto, available on arXiv: 2008.00174
Topology Optimization
- "二値の熱伝導率を持つ領域の第一固有値に対する最適配置"
松江 要, 内藤 久資, 応用数理, 23 (no.4, 2013), 10--15.
- "Numerical studies of the optimization of the first eigenvalue of the
heat diffusion in inhomogeneous media"
Kaname Matsue, Hisashi Naito, available on arXiv: 1408.5370, Japan Journal of Industrial and Applied Mathematics, 32(2015), 489--512, doi:10.1007/s13160-015-0177-5
- "非一様拡散係数を持つ熱方程式固有値問題の第一固有値の最適化 -粘性近似問題の大域適切性-"
松江 要, 内藤 久資, RIMS Kokyuroku Bessatsu, B54-3(2016), 25--48.
Materials Science
- "Geometric frustration of icosahedron in metallic glasses"
Akihiko Hirata, L.J. Kang, Takeshi Fujita, B. Klumov, Kaname Matsue, Motoko Kotani, A.R. Yavari and MingWei Chen, Science, 341 (2013), 376--379, DOI: 10.1126/science.1232450.
- (No reviewed proceedings) "計算ホモロジーによるガラスの特徴付け"
松江 要, 平田 秋彦, 数理解析研究所講究録 2005(2016), 97--107
- "Hierarchical structures of amorphous solids characterized by persistent homology"
Yasuaki Hiraoka, Takenobu Nakamura, Akihiko Hirata, Emerson G. Escolar, Kaname Matsue and Yasumasa Nishiura, available on arXiv: 1501.03611, Proceedings of the National Academy of Sciences of the United States of America, 113(2016), 7035--7040, doi: 10.1073/pnas.1520877113
- (Monograph) "Structural analysis of metallic glasses with computational homology"
Akihiko Hirata, Kaname Matsue and MingWei Chen, "Springer Briefs in Mathematics of Materials", ISBN (online): 978-4-431-56056-2
- "原子間力顕微鏡によるナノメカニクスの現状と展望" ("Present and Future of Nanomechanics by Atomic Force Microscope", in Japanese)
中嶋 健, 伊藤 万喜子, 梁 暁斌, 松江 要, 表面科学 Vol.38, No.10, 520-525, 2017
Quantum Walks
- "Quantum walks on simplicial complexes"
Kaname Matsue, Osamu Ogurisu and Etsuo Segawa, available on arXiv: 1507.01194, Quantum Information Processing, 15(2016), 1865--1896, doi:10.1007/s11128-016-1247-6
- (No reviewed proceedings) "量子ウォーク - ダイナミクスと幾何構造 -"
松江 要, 小栗栖 修, 瀬川 悦生, 数理解析研究所講究録 1986(2016), 37--54
- "A note on the spectral mapping theorem of quantum walk models"
Kaname Matsue, Osamu Ogurisu and Etsuo Segawa, available on arXiv: 1604.00581, Interdisciplinary Information Science, 23(2017), 105--114.
- "Quaternionic quantum walks of Szegedy type and zeta functions of graphs",
Norio Konno, Kaname Matsue, Hideo Mitsuhashi and Iwao Sato, arXiv:1703.04969, Quantum Information & Computation, 17(2017), 1349--1371
- "Quantum search on simplicial complexes",
Kaname Matsue, Osamu Ogurisu and Etsuo Segawa, arXiv:1707.00156, Quantum Studies: Mathematics and Foundations (2017), https://doi.org/10.1007/s40509-017-0144-8
- "Resonant-tunneling in discrete-time quantum walk",
Kaname Matsue, Leo Matsuoka, Osamu Ogurisu and Etsuo Segawa, arXiv:1708.01052, Quantum Studies: Mathematics and Foundations (2018), https://doi.org/10.1007/s40509-017-0151-9
- (New !) "A crossover between open quantum random walks to quantum walks",
Norio Konno, Kaname Matsue and Etsuo Segawa, arXiv:2007.00940
Combustion
- (No reviewed proceedings) "数学・数理科学的アプローチの可能性 - 予混合火炎のモデル方程式を例に -" ("Potential of mathematical approach - Equations for premixed flames as an example -", summarized paper with main part written in Japanese)
松江 要, 公益社団法人自動車技術会2018年春季大会講演アブストラクト(2018), 6 pages
- (Conference Proceedings) A preprint for contributed talk in ASPACC2019.
Kaname Matsue, Shikhar Mohan and Moshe Matalon, submitted to Asia-Pacific Conference on Combustion (ASPACC) 2019.
In Preparation
- "Topological shadowing and rigorous numerics for fast-slow systems with multi-dimensional slow variables"
Kaname Matsue, in preparation.
- (Something New.)
Kaname Matsue et. al., in preparation.
Abstracts (in reverse chronological order) from 2013
- 数学・数理科学的アプローチの可能性 - 予混合火炎のモデル方程式を例に -
公益社団法人自動車技術会2018年春季大会, パシフィコ横浜, 2018. 5.23 - 5.25
- 速いレートで振る舞う振動爆発解と, 振動発散解
日本数学会2018年度年会, 東京大学, 2018. 3.15 - 3.18
- 無限遠ダイナミクスが導く解の爆発レート
日本数学会2018年度年会, 東京大学, 2018. 3.15 - 3.18
- 絶滅・コンパクトン進行波 - 精度保証付き数値計算からその先へ
2017年度応用数学合同研究集会, 龍谷大学, 2017. 12.16
- 懸濁液の数学解析〜先端付近で生じる隆起現象〜
2017年度応用数学合同研究集会, 龍谷大学, 2017. 12.16, with 友枝 恭子 (摂南大学)
- 擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算
2017年度応用数学合同研究集会, 龍谷大学, 2017. 12.14, with 高安 亮紀 (筑波大学)
- Mathematical treatment of flame dynamics toward foundation of combustion
FMfI2017 (Forum of Mathematics for Industry), University of Hawaii at Manoa, Hawaii, 2017. 10.23 - 10/26
- Rigorous numerics of blow-up solutions for autonomous ODEs
CSIAM2017, Huanghai Hotel, Qingdao, China, 2017. 10.15
- 有理関数ベクトル場の平衡点・無限遠付近における『型』は決められるか?
第1回JST未解決問題ワークショップ, ホテルヴィラフォンテーヌ汐留, 2017. 9.25 - 9.27
- サドルが紡ぐ縁 -えにし-: 精度保証付き数値計算と力学系
日本数学会2017年度秋季総合分科会(応用数学), 2017. 9.13
- 単体的量子探索
日本数学会2017年度秋季総合分科会(応用数学), 2017. 9.12
- 単体的量子ウォーク Version 2 -グラフ上coined walkとの対応-
日本数学会2017年度秋季総合分科会(応用数学), 2017. 9.12
- 有限進行波の精度保証付き数値計算
日本応用数理学会2017年度年会, 武蔵野大学, 2017. 9.6 - 9.8
- 擬ポアンカレコンパクト化と爆発解
日本数学会2017年度年会, 首都大学東京, 2017. 3.24 - 3.27
- コンパクト化・爆発解と特異衝撃波
日本数学会2017年度年会, 首都大学東京, 2017. 3.24 - 3.27
- What do mathematicians question ? - a personal thought -
I2CNER Institute Interest Seminar Series, International Institute for Carbon-Neutral Energy Research, Kyushu University, 2017. 1.18
- 擬ポアンカレコンパクト化と爆発解
2016年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2016. 12/15 - 12/17
- 単一粒子の懸濁液の数学解析に向けて:衝撃波・希薄波と双曲性
2016年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2016. 12/15 - 12/17, with 友枝 恭子 (摂南大学)
- Numerical validation of blow-up solutions for ODEs
SCAN2016, Department of Mathematics, UPPSALA University, Sweden, 2016. 9.26 - 9/29, with Akitoshi Takayasu, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi and Shin'ichi Oishi
- Numerical verification of existence of homoclinic orbits in dynamical systems
SCAN2016, Department of Mathematics, UPPSALA University, Sweden, 2016. 9.26 - 9/29, with Nobito Yamamoto and Shun Yamano
- Rigorous numerics of global trajectories for fast-slow systems with an explicit range of multi-scale parameter
SCAN2016, Department of Mathematics, UPPSALA University, Sweden, 2016. 9.26 - 9/29
- Slow manifoldの管状近傍の精度保証付き数値計算
日本数学会2016年度秋季総合分科会, 関西大学, 2016. 9/15 - 9/18
- 量子ウォークの固有対:詳論
日本数学会2016年度秋季総合分科会, 関西大学, 2016. 9/15 - 9/18
- Slow manifoldの「滑らかな近傍」の精度保証付き数値計算
日本応用数理学会2016年度年会, 北九州国際会議場, 2016. 9/12 - 9/14
- Rigorous numerics for fast-slow systems with an explicit multi-scale parameter range via the Covering-Exchange
The 11th AIMS Conference on Dynamical Systems, Differential Equations and Applications, Orlando, Florida, USA, 2016. 7/1 - 7/5.
- Rigorous numerics of blow-up solutions for ODEs
The 11th AIMS Conference on Dynamical Systems, Differential Equations and Applications, Orlando, Florida, USA, 2016. 7/1 - 7/5.
- 単体的複体のゼータ関数
日本数学会2016年度年会, 筑波大学, 2016. 3/16 - 3/19, with 佐藤 巌(小山高専), 瀬川 悦生(東北大)
- Covering-Exchange for fast-slow systems with multi-dimensional slow variables
日本数学会2016年度年会, 筑波大学, 2016. 3/16 - 3/19
- Covering-Exchange for fast-slow systems: 高次元系の場合
2014年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2015. 12/17 -12/19.
- 連続力学系におけるホモクリニック軌道の精度保証による検証について
2014年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2015. 12/17 -12/19, with 山野 駿, 山本 野人(電通大)
- 離散力学系における Lyapunov 関数の精度保証による構成
2014年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2015. 12/17 -12/19, with 樋脇 知広, 山本 野人(電通大)
- 単体的複体のゼータ関数
2014年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2015. 12/17 -12/19, with 佐藤 巌(小山高専), 瀬川 悦生(東北大)
- "Slow shadowing: slow manifold近くの軌道の効率的な追跡"
日本数学会2015年度秋季総合分科会(応用数学), 2015. 9/13〜9/16, 京都産業大学
- "単体的量子ウォーク:構築と問題提起"
日本数学会2015年度秋季総合分科会(応用数学), 2015. 9/13〜9/16, 京都産業大学
- "Verified numerical enclosure of blow-up time for ODEs"
日本数学会2015年度秋季総合分科会(応用数学), 2015. 9/13〜9/16, 京都産業大学, with 高安 亮紀(早稲田大), 佐々木 多希子(東京大), 田中 一成(早稲田大), 水口 信(早稲田大), 大石 進一(早稲田大)
- "Slow shadowing: 精度保証付数値計算を用いた非常に遅い軌道の効率的な追跡"
日本応用数理学会2015年度年会, 2015. 9/9〜9/11, 金沢大学
- "常微分方程式の爆発解に対する精度保証付き数値計算"
日本応用数理学会2015年度年会, 2015. 9/9〜9/11, 金沢大学, with 高安 亮紀(早稲田大), 佐々木 多希子(東京大), 田中 一成(早稲田大), 水口 信(早稲田大), 大石 進一(早稲田大)
- 常微分方程式の解の爆発時刻に対する精度保証付き数値計算
第44回数値解析シンポジウム, ぶどうの丘, 2015. 6/8-6/10, with 高安 亮紀(早稲田大), 佐々木 多希子(東京大), 田中 一成(早稲田大), 水口 信(早稲田大), 大石 進一(早稲田大)
- "Fast-slow systemにおけるホモクリニック軌道の精度保証付数値計算"
2014年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2014. 12/18-12/20.
- "計算ホモロジーによるガラスの特徴付け"
2013年度応用数学合同研究集会, 龍谷大学瀬田キャンパス, 2013. 12/19-12/21.
トップページ
Award
- 日本応用数理学会 2017年度年会若手優秀講演賞 「有限進行波の精度保証付き数値計算」, 2018年6月29日
- 日本数学会 2014年度応用数学研究奨励賞 「Fast-slow systemにおけるホモクリニック軌道の精度保証付数値計算」, 2015年3月22日
トップページ
Grants
- 「予混合乱流火炎ダイナミクスの流体力学的不安定性を基盤とした数理的普遍性の抽出」
九州大学 Progress100 (世界トップレベル研究者招へいプログラム)「若手研究者グローバルリーダー育成型」(代表:松江 要), 2018.9 ~ 2019.3
- 「斜面の状態効果がもたらす懸濁液ダイナミクスの数学解析」
日本学術振興会 科学研究費助成事業基金助成金 基盤(C) (分担者, 代表:友枝 恭子), 2018.4 ~ 2021.3
- 「力学系における特異的軌道の精度保証付き数値計算法の包括的理論の構築」
日本学術振興会 科学研究費助成事業補助金 若手研究(B) (代表:松江 要), 2017.4 ~ 2020.3
- "Mathematics of combustion towards new technology for effective power generations"
九州大学 WPI-I2CNER Competitive Funding Initiative (代表:Kaname Matsue), 2017.1 ~ 2017.3
- 文部科学省 国立大学改革強化推進補助金 (代表:松江 要), 2016.10 ~ 2017.3
トップページ