一般社団法人 日本数学会 Application Server

# アブストラクト事後公開 — 2017年度秋季総合分科会(於:山形大学)

## 応用数学分科会

 特別講演 指定した成分数の2-因子と次数和条件 千葉周也 (熊本大先端科学) O. Ore (1960) proved that if the degree sum of every pair of non-adjacent vertices is at least the order of the graph, then the graph is hamiltonian. The study of sufficient conditions on degrees for the existence of a Hamilton cycle started from such a classical result. In this talk, as one of the generalizations of Ore’s theorem, we focus on degree sum conditions for the existence of a 2-factor with a specified number of components in general simple graphs, bipartite graphs and directed graphs, and we survey results including recent progress on the research field. We also discuss the difference from the results on Hamilton cycles. PDF 特別講演 サドルが紡ぐ縁 —えにし—: 精度保証付き数値計算と力学系 松江　要 (九大IMI／九大I2CNER) Validated computations (rigorous numerics) have been applied to dynamical systems, such as the existence of equilibria, periodic orbits, connecting orbits and bifurcations and so on as well as their stability, for a couple of decades. I believe that one of true significance of rigorous numerics to dynamical systems is validation of objects which are very difficult to detect from both mathematical and numerical approach. The root will be either reduction of problems to fixed point problems for nonlinear maps or analysis based on saddle-type equilibria or invariant sets. In this talk, I develop an overview of rigorous numerics to dynamical systems derived from saddles in terms of topological tools such as isolating blocks, cones and Lyapunov functions, as well as various results by analytic approach. PDF 特別講演 Hilbert–Schmidt 積分作用素論による遅延座標埋め込み再考: 経験的モデリングのための力学再構成に向けて 中野直人 (JSTさきがけ／北大理) Delay embedding is well-known for non-linear time-series analysis, and it is used in several research fields such as physics, informatics, neuroscience and so on. The celebrated theorem of Takens ensures validity of the delay embedding analysis: embedded data preserves topological properties, which the original dynamics possesses, if one embeds into some phase space with sufficiently high dimension. This means that, for example, an attractor can be reconstructed by the delay coordinate system topologically. However, configuration of an embedded dataset may easily vary with the delay width and the delay dimension, namely, “the way of embedding”. In a practical sense, this sensitivity may cause degradation of reliability of the method, therefore it is natural to require robustness of the result obtained by the embedding method in certain sense. In this study, we investigate the mathematical structure of the framework of delay-embedding analysis to provide Ansatz to choose the appropriate way of embedding, in order to utilise for time-series prediction. In short, mathematical theories of the Hilbert–Schmidt integral operator and the corresponding Sturm–Liouville eigenvalue problem underlie the framework. Using these mathematical theories, one can derive error estimates of mode decomposition obtained by the present method and can obtain the phase-space reconstruction by using the leading modes of the decomposition. In this talk, we will show some results for some numerical and experimental datasets to validate the present method. PDF 1. Constructions of Ramanujan graphs and related results 佐竹翔平 (神戸大システム情報) Ramanujan graph were defined by Lubotzky–Phillips–Sarnak in 1988. It is well known that Ramanujan graphs have nice properties as networks. In combinatorics, to give explicit constructions of Ramanujan graphs is recognized as a very interesting problems. In this talk, we give some explicit constructions of Ramanujan graphs as Cayley graphs over finite fields and rings. Moreover, we will discuss some properties which our graphs have. PDF 2. 完全二部グラフの順序付けと長方形RAIDへの応用 足立智子 (東邦大理) We replace the problem of the RAID system in computer science with the problem of cyclic orderings in graph theory. We pay attention to constructions of cyclic orderings called cluttered orderings. There have been several studies on cluttered orderings of the complete bipartite graph $K_{\ell,\ell}$. Mueller et al. presented cluttered orderings in the case of $\ell = 3t, 10t$. In this paper, we investigate cluttered orderings of the complete bipartite graph $K_{\ell, m}$. PDF 3. On the number of perfect matchings of line graphs 藤村　丞 (福岡大情報基盤センター)・​白石修二 (福岡大理) We give a method for counting perfect matchings in line graphs. Consequently, for graphs $G$ of maiximum degree at most 3, we give a closed formula for the number of perfect matchings in $L(G)$. PDF 4. Impurity of projective planar graphs 向江頼士 (木更津工高専)・​佐野照和 (木更津工高専) We shall determine the impurity of projective planar graphs. The concept of impurity is related to edge-maximal graphs. PDF 5. 離散的オイラー積分と数え上げ問題への応用 田中康平 (信州大経済) This talk introduces the integration theory with respect to the Euler characteristics of posets (categories), as a discrete analog of Baryshnikov and Ghrist’s work on topological Euler calculus. As its application, we consider the counting problem in sensor network theory. We enumerate targets which lie on an acyclic network graph with sensors detecting the targets, by using discrete Euler calculus. PDF 6. 包除積分の単調性と interaction operator 本田あおい (九工大情報工)・​岡崎悦明 (ファジィシステム研) We have proposed the inclusion-exclusion integral which is an integral with respect to monotone measure and interaction operator. In this talk, we show a concrete way of construction of interaction operator based on t-norm and give a sufficient condition for monotonicity of the inclusion-exclusion integral. Moreover we give several examples of the operators which satisfy this sufficient condition. PDF 7. 制限付きロンサム行列の数え上げ 佐々木義卓 (大阪体育大)・​大野泰生 (東北大理) A lonesum matrix is a (0,1)-matrix which can be uniquely reconstructed from its row and column sums. We plan to talk about counting restricted lonesum matrices. We also discuss recurrence formulas for poly-Bernoulli numbers which derived from such counting formulas. PDF 8. Simple non-confusing travel groupoid の特徴づけと cycle上の数え上げ 水澤篤彦・​松本ディオゴけんじ (芝浦工大工) A travel groupoid is an algebraic structure which has information of a graph and walks (paths) on the graph. We study a special travel groupoid called a simple non-confusing travel groupoid and characterize it by spanning trees on the graph associated to the simple non-confusing groupoid. We also count the number of simple non-confusing groupoids on cycle graphs. PDF 9. Continuous flattening of $\alpha$-trapezoidal polyhedra 松原和樹 (中央学院大商)・​奈良知惠 (明大MIMS) It was proved that any orthogonal polyhedron is continuously flattened by using a property of a rhombus. We investigated the method precisely, and found that there are infinitely many ways to flatten such polyhedra. In this talk, we prove that the infimum of the area of moving creases is zero for $\alpha$-trapezoidal polyhedra. As a by-product we provide a continuous flattening motion whose area of moving creases is arbitrarily small for more general types of polyhedra. PDF 10. A new forbidden subgraph for 5-contractible edges 安藤　清 (国立情報学研／JST ERATO) An edge of a $k$-connected graph is said to be $k$-contractible if the contraction of the edge results in a $k$-connected graph. A $k$-connected graph with no $k$-contractible edge is said to be contraction-critically $k$-connected. Kawarabayashi showed that $K_1+(P_3\cup K_2)$ is a forbidden subgraph of contraction-critically $5$-connected graphs. We present a new forbidden subgraph which has $K_1+(P_3\cup K_2)$. This is an extension of the previous result due to Kawarabayashi. PDF 11. Rainbow forbidden subgraphs in edge-colored graphs 斎藤　明 (日大文理)・​C. Magnant (Georgia Southern Univ.) A pair $(G, c)$ of a graph and an edge-coloring $c\colon E(G)\to\mathbf{N}$ is called an edge-colored graph. If $c$ is an injection, we say that $(G, c)$ is a rainbow graph. For a connected graph $H$, an edge-colored graph $(G, c)$ is said to be rainbow $H$-free if $G$ does not contain a rainbow subgraph which is isomorphic to $H$. By definition, if $H'$ is a connected subgraph of $H$, every rainbow $H'$-free graph is rainbow $H$-free. In this talk, we report a reverse phenomenon. Let $K_{1,k}^+$ denote the graph of order $k+2$ which is obtained from $K_{1,k}$ by performing a simple subdivision to one edge. Then we show that every rainbow $K_{1,k}^+$-free complete graph edge-colored in sufficiently many colors is rainbow $K_{1,k}$-free. We also show that for a connected graph $H$ and a connected proper subgraph $H'$, if every rainbow $H$-free complete graph edge-colored in sufficiently many colors is rainbow $H$-reee, then $(H', H)=(K_{1,k}, K_{1,k}^+)$ for some $k$. PDF 12. 辺着色グラフの次数条件と閉路の存在について 藤田慎也 (横浜市大国際総合) In this talk, some recent results on degree conditions for properly colored cycles and rainbow cycles in edge-colored graphs will be reviewed. PDF 13. On series parallel orders and strict-double-bound graphs 土屋守正 (東海大理)・​田代慎一郎 (東海大理) For a poset $P$, the strict-double-bound graph (sDB-graph sDB(P)) is the graph on $V(P)$ for which vertices $u$ and $v$ of sDB(P) are adjacent if and only if $u$ is not $v$ and there exist $x$ and $y$ in $V(P)$ distinct from $u$ and $v$ such that $x$ is a lower bound of $u,v$ and $y$ is an upper bound of $u,v$. For a poset $P$, $P$ is a series parallel order if $P$ contains no induced subposet isomorphic to the $N$-poset. We obtain the following result. For a series parallel order $P$, if $P_3$ is an induced subgraph of a component with at least four vertices of sDB(P), then $P_3$ is contained $C_4$, $K_4-e$, $K_{1,3}$ or $3$-pan as an induced subgraph. PDF 14. Universal tree-based networkの最小サイズについて 早水桃子 (統計数理研／JSTさきがけ)・​鍛冶静雄 (山口大理／JSTさきがけ)・​藤重　悟 (京大数理研／京大名誉教授) A tree-based network on a set X of leaves is said to be universal if any rooted binary phylogenetic tree on X can be its base tree. In my earlier work, the concept of universal tree-based networks was defined and it was shown that there exist infinitely many universal tree-based networks for any number |X| of leaves. In this talk, I will discuss the minimum size of universal tree-based networks. This talk is based on joint work with Satoru Fujishige (RIMS, Kyoto University) and Shizuo Kaji (Yamaguchi University, JST PRESTO). PDF 15. 有限グラフ上の四元数Szegedyウォークと第2種重み付きゼータ関数 三橋秀生 (法政大理工)・​今野紀雄 (横浜国大理工)・​松江　要 (九大IMI／九大I2CNER)・​佐藤　巖 (小山工高専) We define a quaternionic analogue 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 show a quaternionic analogue 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 manner of obtaining eigenvectors corresponding to right eigenvalues derived from those of doubly weighted matrix. PDF 16. A generalized Bartholdi zeta function of a graph 佐藤　巖 (小山工高専)・​三橋秀生 (法政大理工)・​森田英章 (室蘭工大工) We define an $(n+1)$-variable Bartholdi zeta function and an $(n+1)$-variable Bartholdi $L$-function of a graph $G$, and give determinant expressions of them. We present a decomposition formula for the $(n+1)$-variable Bartholdi zeta function of a regular covering of $G$. Furthermore, we express the $(n+1)$-variable Bartholdi zeta function of a regular covering of $G$ as a product of its $(n+1)$-variable Bartholdi $L$-functions. PDF 17. Partition-based quantum walk 今野紀雄 (横浜国大工)・​R. Portugal (LNCC)・​佐藤　巌 (小山工高専)・​瀬川悦生 (東北大情報) We introduce an extension model called partition-based quantum walk, which includes most quantum walk models driven by two local operators, such as the coined model, Szegedy’s model, and the 2-tessellable staggered model. We show that all those families of quantum walk models using two local operators are unitary equivalent. The new framework is based on two equivalence-class partitions of the computational basis, which establishes the notion of local dynamics. PDF 18. 単体的量子ウォーク version 2 —グラフ上coined walkとの対応— 松江　要 (九大IMI／九大I2CNER)・​小栗栖修 (金沢大理工)・​瀬川悦生 (東北大情報) We propose a new version of quantum walks on simplicial complexes (named simplicial quantum walk), which is an alternative of preceding studies by authors. We show that it is unitary equivalent to a bipartite walk on associated bipartite graphs, coined quantum walk on a graph. Moreover, if simplicial complexes are orientable, the simplicial quantum walk is unitary equivalent to coined quantum walk on a graph with duplication structure. PDF 19. 単体的量子探索 松江　要 (九大IMI／九大I2CNER)・​小栗栖修 (金沢大理工)・​瀬川悦生 (東北大情報) Here 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. PDF 20. A periodicity of the Grover walk on Bethe trees 吉江佑介 (東北大情報)・​瀬川悦生 (東北大情報)・​谷口哲至 (広島工大工)・​久保田匠 (東北大情報) A Bethe tree is a rooted tree such that in each level the vertices have equal degree. In this paper we focus on the periodicity of the Grover walk on Bethe trees. The Grover walk is a kind of quantum walks on graphs, and the time evolution operator of the Grover walk is determined by the graph. A periodicity is a special feature of quantum walk, and we have found some graphs to induce a periodic Grover walk. We find the classes of Bethe trees which induce a periodic Grover walk under an assumption. PDF 21. 2次元4状態量子ウォークの局在化について 船川大樹 (北大理)・​布田　徹 (北大理)・​笹山智司 (北大理)・​鈴木章斗 (信州大工) We consider a discrete-time 2-dimensional 4-state quantum walk. The evolution of the quantum walk is described by a unitary operator $U$, which is the product of a space-dependent coin operator and a shift operator weighted with probabilities $q_1$ and $q_2$. Supposing that the coin operator and the shift operator are self-adjoint and unitary, Fuda, Funakawa, and Suzuki proved that localization occurs $|q| = \sqrt{|q_1|^2 + |q_2|^2}$ is sufficiently small. In this talk, we study about the localization without smallness of $|q|$. PDF 22. 1次元スプリット・ステップ量子ウォークの弱極限分布 布田　徹 (北大理)・​船川大樹 (北大理)・​鈴木章斗 (信州大工) In this talk, we consider a discrete-time one-dimensional two-state quantum walk called a split-step quantum walk. The evolution operator of the split-step quantum walk is defined by the product of a shift operator and a space-dependent coin operator. Weak limit theorem of the split-step quantum walk and its explicit limit distribution are presented. PDF 23. 超群とグラフ上の酔歩 一階智弘 (名大多元数理)・​澤田友佑 (名大多元数理) Wildberger gave a way to construct a finite hypergroup from a random walk on a certain kind of finite graphs. His method is applicable to a random walk on a certain kind of infinite graphs. In this talk, we formulate his method and give some examples that produce hypergroups and that do not produce hypergroups. PDF 24. 拡張ニュートン法とフラクタル (実関数の場合) 堀口俊二 The convergences of the extended Newton method to the roots of different initial values cause catastrophe, chaos, and fractals. PDF 25. パーシステントホモロジーと機械学習を用いたデータ解析 大林一平 (東北大AIMR) In this talk, I will show you methods of data analysis using persistent homology and machine learning. Persistent homology enables us to describe the shape of data quantitatively from the viewpoint of homology and it is useful to study heterogeneous geometric structures. Machine learning enables us to detect characteristic patterns from data. By the combination of persistence homology and machine learning, we can quantitatively and statistically find characteristic geometric pattern hidden behind the data. Persistence Image and linear machine learning models are used for our methods. This combination gives us a very intuitive visualization of the learned result. “Inverse Problem” techniques for persistence diagrams are also effectively used to visualize the learned result. PDF 26. 微分方程式整数型解法と差分方程式と数論との接点 坂口文則 (福井大工) A integer-type algorithm for accurately solving linear ODEs by means only of four arithmetic operations among integers had been proposed by the author. Some direct ‘decipherments’ of numerical results by this algorithm enable us to see what is the essence of the accuracy of this algorithm, because this algorithm uses ‘exact’ Gaussian-integer-valued expansion coefficient sequences. By the decipherments, in this study, it turned out that this algorithm is closely related to number theory, in that a numerical expansion coefficient sequence by this algorithm is a rational linear combination of rational solution sequences of homogeneous linear difference equations with non-constant rational coefficients which accurately approximates their finite-norm irrational linear combination described in terms of algebraic extension of rational field. The relationship of this algorithm to continued fractions can be explained in this context. PDF 27. 非線形自律系の定常解を追跡する一計算法 三宅常時 (宇部工高専)・​勝田祐司 (宇部工高専) A computational method for equilibria of a nonlinear autonomous system is considered by using bisection method. The method led to analyze dynamical behavior and qualitative properties of the autonomous system. PDF 28. スケール不変性を利用した爆発レートの数値的推定について 穴田浩一 (早大高等学院)・​石渡哲哉 (芝浦工大システム理工)・​牛島健夫 (東京理大理工) In this talk, we proposed a numerical method for estimating blow-up rate of blow-up solutions for a class of nonlinear evolution equations which have a scaling invariance. To use this scaling invariance we adopt the rescaling algorithm to the problems and numerically estimate the blow-up rates. Applying the method to several examples, we examine the effectiveness of the method. PDF 29. 形状微分を用いた周期定常渦斑の数値計算 宇田智紀 (京大理) We propose a new shape derivative formula for contour integrals with logarithmic kernels which yields a numerical scheme to compute vortex patch equilibria. Owing to its simplicity, any steady configuration of point vortices can be extended to that of vortex patches. As a test problem, a periodic array of vortex patches is considered to show the efficiency of the new formula. PDF 30. de Sitter時空における半線形Klein–Gordon方程式の初期値問題における数値安定性について 土屋拓也 (早大理工)・​中村　誠 (山形大理) The numerical analysis of the Cauchy problem for semi-linear Klein–Gordon equation in the de Sitter spacetime is considered. The solution of the equation expresses the property of expansion or contraction depending on conditions. Some of the terms in the equation present the dissipative and antidissipative effects. Since it is difficult to study the property and the effects analytically, we investigate them with numerical simulations. In addition, we study the numerical stability of the solutions. PDF 31. 測地線によるEinstein方程式の数値解の検証 浦川遼介 (早大理工)・​土屋拓也 (早大理工)・​米田　元 (早大理工) When we search for numerical solutions to the Einstein’s equation, we typically monitor the conservation of the constraints as a sanity check against numerical errors in the solution. The conservation of constraints is a necessary but not sufficient condition for the solutions to the Einstein’s equation. We propose a method by using the geodesic equation to improve the reliability of the solution. PDF 32. Hilbert空間における線形作用素に対する逆作用素ノルム評価の改良 木下武彦・​渡部善隆 (九大情報基盤研究開発センター)・​中尾充宏 (早大理工) We propose a computer-assisted procedure to prove the invertibility of a linear operator in a Hilbert space and to compute a verified norm bound of its inverse. A number of the authors have previously proposed two verification approaches that are based on projection and constructive a priori error estimates. The approach of the present talk is expected to bridge the gap between the two previous procedures in actual numerical verifications. Several verification examples that confirm the actual effectiveness of the proposed procedure are reported. PDF 33. 放物型方程式に対する有限要素法の時間について一様な誤差評価 剱持智哉 (東大数理) We consider the finite element approximation for the linear homogeneous parabolic problem with the homogeneous Neumann boundary condition. We assume that the elliptic operator in the equation does not have lower order terms, that is, the operator is not positive definite. In this case, both exact and approximate solutions are globally bounded; thus the error is also bounded uniformly in time. However, in many literature, they use the Gronwall inequality, which causes the exponentially increasing term with respect to the time variable. As far as we know, there are no literature on time-global error estimates for these problems. In this talk, we present the time-global $L^\infty$-$L^p$-error estimates for sufficiently smooth initial data. PDF 34. $N$次元球状領域上のPoisson方程式に対する不連続Galerkin法 千葉悠喜 (東大数理)・​齊藤宣一 (東大数理) It is useful to make numerical method for nonlinear PDEs in higher dimension for researching critical phenomena of it. So, we consider a spherically symmetric Poisson equation in $N$-dimensional ball. The previous study proposed finite element method using weight function $x^{N-1}$ and showed optimal weighted $L^2$ error estimate. However, there is a disadvantage of increasing error near origin. The another approach to use weight function $x$ showed optimal $L^\infty$ error estimate. In this paper, we see the PDE as singularly perturbed convection-diffusion equation through later approach, and apply discontinuous Galerkin method to it. We show some estimates and offer some numerical results. PDF 35. Delay equations for reinfection dynamics 中田行彦 (島根大総合理工) “Re”infection of recovered individuals, as a consequence of waning immunity and change of his/her susceptibility add further complexity in understanding disease transmission dynamics, forming a delayed feedback from infective population to susceptible population. In this talk we discuss dynamical aspects of a series of epidemic models, paying attention to reinfection dynamics, formulated by delay differential equations (DDE) and renewal equations (RE). We introduce a mathematical model by delay differential equations to provide a possible explanation of periodic outbreak of a childhood disease observed in Japan. Simple threshold dynamics is shown for a general SIS epidemic model formulated by a nonlinear renewal equation. On the other hand, we shall show that heterogeneous susceptibility can induce epidemic, after approaching to the trivial equilibrium. PDF 36. 3変数反応拡散系における余次元2分岐の解析的および数値的考察 鈴木宏昌 (滋賀大教育)・​西浦廉政 (東北大AIMR) We study the stability and the bifurcation structure of standing pulse solutions to a singularly perturbed three-component reaction-diffusion system. We can show the detailed information of dependence on the parameters about the stability properties and the bifurcation structure. PDF 37. トーラス幾何による$N$点渦環の安定化 清水雄貴 (京大理)・​坂上貴之 (京大理) On a plane and a sphere, an $N$-ring is unstable for $N>7$. We introduce on the inner side of a toroidal surface, however, an $N$-ring is stable when the aspect ratio of the torus is sufficiently large for any fixed $N$. PDF 38. 制限$n$体問題の非可積分性 柴山允瑠 (京大情報) We prove the non-integrability of the spacial $n$-body problem. In order to prove it, we focus on the singularity of the extended differential equations and then apply the Morales–Ramis theory to it. We also discuss the non-integrability of the spacial restricted $n+1$-body problem. PDF 39. Stationary problem of a diffusive prey-predator system with protection zones 大枝和浩 (早大GEC) This talk is concerned with the Neumann problem of a diffusive Lotka–Volterra prey-predator system with finitely many protection zones for the prey species. We discuss the stability of non-negative constant solutions. Moreover, we study the existence and non-existence of positive stationary solutions by applying the bifurcation theory. PDF 40. An action functional approach to localized patterns in a three-component FitzHugh–Nagumo model 寺本　敬 (旭川医科大医)・​P. van Heijster (Queensland Univ. of Tech.)・​Chao-Nien Chen (Nat. Tsing-Hua Univ.)・​西浦廉政 (東北大AIMR) We analyze the stationary localized patterns in a singularly perturbed three-component FitzHugh–Nagumo model. We derive explicit conditions for the existence and stability of these type of localized solutions by combining geometric singular perturbation techniques and an action functional approach. The action functional replaces the Melnikov integral approach and Evans function computation to derive existence conditions and critical information on the stability of the localized patterns. PDF 41. 骨代謝モデリング —動的平衡の崩壊 鈴木　貴 (阪大基礎工) We study break down of bone metabolism, using mathematical modeling. The principal part of this model is composed of two pathways of maturation, that is, from pre-osteoblast to osteoblast and from pre-osteoclast to osteoclast. There is also a pathway of acceleration to the formation of pre-osteoclast by pre-osteoblast. This pathway is evoked by a cytokine, called RANKL. Experimental data, on the other hand, suggest a differentiation annihilation factor, to the maturation pathways above. Here we formulate the above feedback loops as a system of ordinary differential equations, pick up dynamical equilibria, and study their break down. PDF 42. 細胞シグナルモデリング —減衰振動の再現性 鈴木　貴 (阪大基礎工) The transcription factor NF-kB induces expression of multiple genes by shuttling between cytoplasm and nucleus. Previous studies have reported that the transcription of target gene is activated by phosphorylation of NF-kB, and decreased by dephosphorylation. In this study, we constructed a new mathematical model considering phosphorylation and mathematically analyzed how the phosphorylation of NF-kB effects on the oscillation phenomena. As a result, our new model, explained an appearance of a stable periodic orbit, which appeared in a transitional manner in response to the attenuation of an external stimulus, and also indicated that the NF-kB oscillation occurred by attracting to the periodic orbit. PDF 43. ナノ微粒子ミクロ相分離における縞模様からタマネギ型への形態遷移モデリング 西浦廉政 (東北大AIMR)・​E. Avalos (東北大AIMR)・​寺本　敬 (旭川医科大医)・​藪浩 (東北大AIMR) Annealing of copolymers has become a tool of great importance to reconfigure nanoparticles. We present experimental results of annealing copolymer nanoparticles and a mathematical model to describe the morphological transformation from lamellae to onion. A good correspondence between experimental findings and predictions of the model is observed. The model based on an appropriate free energy leads to a set of Cahn–Hilliard equations that correctly describes the dynamical transformation from lamellae particles to onion and reverse onion-like particles, regardless of the nature of the annealing process. This universality makes possible to describe a variety of experimental conditions involving nanoparticles underlying a heating process. A notable advantage of the proposed approach is that it makes possible to selectively control the interaction between the confined copolymer and the surrounding media. PDF