- 追加された行はこの色です。
- 削除された行はこの色です。
* Hakata Workshop 2014 [#x015faae]
''～ Discrete Mathematics and its Applications～''
#br
Our purpose of this meeting is giving an opportunity to make a speech and
to communicate with researchers who study various fields not only Combinatrics.
to communicate with researchers who study various fields not only Combinatorics.
Further information is available from the organizers below.
**Organizers [#xb11a6e1]
-[[Yoshihiro Mizoguchi:http://imi.kyushu-u.ac.jp/~ym/]] (Kyushu University),~
-Hayato Waki (Kyushu University),~
-Takafumi Shibuta (Kyushu University),~
-[[Tetsuji Taniguchi:http://researchmap.jp/tetsuzit-14/]] (Matsue College of Technology),~
-Osamu Shimabukuro (Nagasaki University)
-Makoto Tagami ( Kyushu Institute of Technology),
-Hirotake Kurihara (Kitakyushu National College of Technology)
-Shuya Chiba (Kumamoto University)
-[[Laboratory of Advanced Software in Mathematics, Institute of Mathematics for Industry, Kyushu University:http://www.imi.kyushu-u.ac.jp/eng/academic_staffs/department/34]]
**Supported by [#l7bc435b]
-[[Laboratory of Advanced Software in Mathematics, Institute of Mathematics for Industry, Kyushu University:http://imi.kyushu-u.ac.jp/lasm/]]
-JSPS KAKENHI(Grant-in-Aid for Exploratory Research) Grant Number 25610034.
-JSPS KAKENHI(Grant-in-Aid for Scientific Research (C)) Grant Number 25400217.
-This work was supported by JSPS KAKENHI(Grant-in-Aid for Exploratory Research) Grant Number 25610034.
-This work was supported by JSPS KAKENHI(Grant-in-Aid for Scientific Research (C)) Grant Number 25400217.
**Date [#gd461eaa]
Saturday, February 8, 2014
**Location [#vcadf025]
-Seminar Room R (4F) in Reference Eki Higashi Building.
1-16-14 Hakata-Eki-Higashi, Hakata-Ku, Fukuoka City, 812-0013
(see http://www.re-rental.com/ , [[Google maps:http://maps.google.com/maps?f=q&source=s_q&hl=en&geocode=&q=%E7%A6%8F%E5%B2%A1%E5%B8%82%E5%8D%9A%E5%A4%9A%E5%8C%BA%E5%8D%9A%E5%A4%9A%E9%A7%85%E6%9D%B11%E4%B8%81%E7%9B%AE16-14&aq=&sll=33.590188,130.425417&sspn=0.012888,0.021157&ie=UTF8&hq=&hnear=%E6%97%A5%E6%9C%AC,+%E7%A6%8F%E5%B2%A1%E7%9C%8C%E7%A6%8F%E5%B2%A1%E5%B8%82%E5%8D%9A%E5%A4%9A%E5%8C%BA%E5%8D%9A%E5%A4%9A%E9%A7%85%E6%9D%B1%EF%BC%91%E4%B8%81%E7%9B%AE%EF%BC%91%EF%BC%96%E2%88%92%EF%BC%91%EF%BC%94&ll=33.591064,130.424795&spn=0.012887,0.021157&z=16]] )
**Program [#w1b0acb9]
TBA
||~Speaker|~Title|
|9:15--9:20|>|Opening (Tetsuji Taniguchi)|
|9:20--10:00| Shoichi Tsuchiya (Tokyo University of Science)|[[On Halin graphs and generalized Halin graphs >#mc167ae6]]|
|10:10--10:50| Shuya Chiba (Kumamoto University)| [[On the number of components of &mimetex(2);-factors in claw-free graphs>#x53c044b]]|
|11:00--11:40| Masashi Shinohara (Shiga University)| [[On complementary Ramsey numbers>#eea845cd]]|
|13:10--14:40|>| [[Poster Session (Software in Mathematics Demonstration Track):http://imi.kyushu-u.ac.jp/lasm/conf2014/index_en.html]]|
|15:00--15:40| Michio Seto (Shimane University)|[[Graph homomorphisms and de Branges-Rovnyak theory>#oda7b3bf]]|
|15:50--16:30| Jong Hyeon Seo &br;(Pusan National University)| [[The Convergence of Relaxed Functional Iterations for Solving Quadratic Matrix Equations with an &mimetex(M);-matrix>#k18a9399]]|
|16:40--17:20| Shun'ichi Yokoyama (Kyushu University)|[[Computing resultant matrix of general multivariate polynomials and its determinant using Magma>#cef5f33d]]|
|17:20--17:30|>|Closing (Yoshihiro Mizoguchi)|
**List of Poster session speakers [#q705447a]
***[[Software in Mathematics Demonstration Track:http://imi.kyushu-u.ac.jp/lasm/conf2014/index_en.html]] [#ze523720]
+岩下 寛弥 (九州大学大学院工学府海洋システム工学専攻) HEAPモデル法によるプル型スケジューリングプログラム
+山岡 幸高 (九州大学数理学府) 構文解析に特化した翻訳ソフト
+大塚 寛 (愛媛大学理工学研究科) TRDRDに基づくサッカーの分析ソフトウェア
+Omar Rifki (Economic engineering department of Kyushu University) j Port Rob,
Get Assets Data Set
+吉野 聖人 (松江工業高等専門学校 電子制御工学科) ラプラシアン固有マップ法における評価方法及びその応用
+田中 久治 (佐賀大学大学院工学系研究科) Coq Modules for Automata and Sticker Systems
+Sang-Hyup Seo(Department of Mathematics,Pusan National University)THE MONOTONE CONVERGENCE OF NEWTON'S METHOD FOR DIFFERENTIABLE CONVEX MATRIX FUNCTIONS
**List of Poster session speakers [#u5f968b3]
**Abstract [#t8f9abfa]
***Shoichi Tsuchiya [#mc167ae6]
-Title: On Halin graphs and generalized Halin graphs
-Abstract:
A ''' Halin graph''', defined by Halin, is a plane graph &mimetex(H=T \cup C); such that &mimetex(T); is a spanning tree of &mimetex(H); with no vertices of degree &mimetex(2); where &mimetex(|T|\geq 4); and
&mimetex(C); is a cycle whose vertex set is the set of leaves of &mimetex(T);.
On the other hand, ''' generalized Halin graph''' is a graph &mimetex(H=T \cup C); such that &mimetex(T); is a spanning tree of &mimetex(H); with no vertices of degree &mimetex(2); where &mimetex(|T|\geq 4); and &mimetex(C); is a cycle whose vertex set is the set of leaves of &mimetex(T);.
Note that some generalized Halin graphs may not be plane graphs, (for example, Petersen graph is a generalized Halin graph which is not planar).
In this talk, we introduce some known results on Halin graphs and generalized Halin graphs.
After that, we investigate difference between Halin graphs and generalized Halin graphs.
***Shuya Chiba [#x53c044b]
-Title: On the number of components of &mimetex(2);-factors in claw-free graphs
-Abstract:
We consider only finite graphs without loops.
A graph &mimetex(G); is said to be '''claw-free''' if &mimetex(G); has no induced subgraph isomorphic to &mimetex(K_{1, 3});
(here &mimetex(K_{1, 3}); denotes the complete bipartite graph with partite sets of cardinalities &mimetex(1); and &mimetex(3);, respectively).
A &mimetex(2);-'''factor''' of a graph &mimetex(G); is a spanning subgraph of &mimetex(G); in which every component is a cycle.
It is a well-known
conjecture that every &mimetex(4);-connected claw-free graph is Hamiltonian
due to Matthews and Sumner
[Hamiltonian results in &mimetex(K_{1,3});-free graphs,
'''J. Graph Theory''' ''8'' (1984) 139--146].
Since a Hamilton cycle is a &mimetex(2);-factor with one component,
there are many results on the upper bounds of the number of components in &mimetex(2);-factors of claw-free graphs.
In this talk, we will present some recent results on the relationship between the number of components of a &mimetex(2);-factor and
the minimum degree of a graph.
**Abstract [#t8f9abfa]
***Masashi Shinohara [#eea845cd]
-Title: On complementary Ramsey numbers
-Abstract: In this talk, we propose a new generalization of Ramsey numbers which seems to be untreated in the literature.Instead of requiring the existence of a monochromatic clique, we consider the existence of a clique which avoids one of the colors in an edge coloring.These numbers are called complementary Ramsey numbers, and we derive their basic properties.We also establish their connections to graph factorizations. This is a joint work with Akihiro Munemasa.
***Michio Seto [#oda7b3bf]
-Title: Graph homomorphisms and de Branges-Rovnyak theory
-Abstract:
In 1960's, de Branges and Rovnyak developed a theory dealing with
Hilbert space embedding &mimetex(H_1);&mimetex(\rightarrow);&mimetex(H_2);. In this talk, comparing
with theory of univalent functions, a de Branges-Rovnyak framework for study
of graph homomorphisms will be suggested. This is joint work with S. Suda
and T. Taniguchi.
***Jong Hyeon Seo [#k18a9399]
-Title: The Convergence of Relaxed Functional Iterations for Solving Quadratic
Matrix Equations with an &mimetex(M);-matrix
-Abstract:
In stochastic areas, to find a special solution of a '''quadratic matrix equation''' (QME) under probabilistic constraints is one of important issues. In this paper, first, we show the monotonic convergence of the '''successive approximation method''' (SAM) to the minimal nonnegative solution of QME under nonnegativity constraints which cover two different types of QMEs from probabilistic contexts, and explain theoretically why the SAM is always faster than the '''fixed point iterative method''' (FIM) in numerical experimentations.
Second, we present a relaxed SAM which also preserves the monotonic convergence to the solution. Finally numerical experimentations give the new method actually improves convergence rate and is effective.
***Shun'ichi Yokoyama [#cef5f33d]
-Title: Computing resultant matrix of general multivariate polynomials and its determinant using Magma
-Abstract:
We produce an efficient program package to compute the resultant matrix and its determinant for a given pair of multivariate polynomials on Magma.
This package works much more faster than the Magma's built-in function "Resultant" for multivariate polynomials. We also explain some applications of
this package, and especially, try some benchmark problem for computing general formula of the discriminant.
This work is in cooperation with Kinji Kimura (Kyoto University).
