20130126 の履歴(No.18)

Hakata Workshop 2013†

～ Combinatrics and its Applications～

THIS IS A PROVISIONAL VERSION

This is a satellite seminar of the 11th Japan-Korea Workshop on Algebra and Combinatorics . Our purpose of this meeting is giving an opportunity to make a speech and to commuticate with reserchers who study verious fields not only Combinatorics.

Further information is available from the organizers below.

↑

Organizers†

Yoshihiro Mizoguchi (Kyushu University),
Hayato Waki (Kyushu University),
Mitsugu Hirasaka (Pusan National University),
Tetsuji Taniguchi (Matsue College of Technology),
Osamu Shimabukuro (Sojo University)
Laboratory of Advanced Software in Mathematics, Institute of Mathematics for Industry, Kyushu University

↑

Supported by†

Global COE Program "Education and Research Hub for Mathematics-for-Industry"

↑

Date†

January 26, 2013. 9:30-18:00

↑

Location†

Seminar Room I (2F) 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 )

↑

Program†

↑

January 26 (Saturday) at Room I in Reference Eki Higashi Building.†

9:30--10:05 Akihiro Munemasa (Tohoku University)
- Complex Hadamard matrices contained in a Bose-Mesner algebra
11:00--11:35 Michael Dobbins (GAIA, Postech)
- Reducing combinatorial to projective equivalence in realizability problems for polytopes.
11:40--12:15 Aleksandar Jurišić (University of Ljubljana)
- TOWER GRAPHS AND EXTENDED GENERALIZED QUADRANGLES
12:20--15:10 Poster Session 「数学ソフトウェア紹介」(Introduction to Mathematical Software) (and break)

岩淵勇樹 (面白法人カヤック), プログラム名: GraphiCalPad
久保浩平(九州大学理学部物理学科), プログラム名: 正規圧縮距離を用いたクラスタリング
島袋修(崇城大学工学部), プログラム名: フュージョンスキームの探索
野崎寛(愛知教育大学), プログラム名: Magmaによる極大2距離集合の分類(Classification of maximal 2-distance sets by Magma)
松下昂平(九州大学大学院数理学府), プログラム名: アフィン写像を用いた補間による2次元アニメーション作成ソフトウェア
鹿間章宏(大阪大学大学院情報科学研究科), プログラム名: トーリックイデアルの二次生成判定法
照本直敏(九州大学数理学府), プログラム名: Q-det
喜友名朝也(九州大学大学院数理学府), プログラム名: PARI/GPによるE_8 lattice の部分集合の生成
谷口哲至(松江高専数理科学科), プログラム名: スターコンプリメントテクニックと最小固有値が－２以上のグラフの生成
ダハン　グザヴィエ(ＧＣＯＥ-ＭＩ), プログラム名: MAGMAによるRamanujan graphチェッカー
古川貴司(九州大学大学院数理学府), プログラム名: SSD Problem
高妻倫太郎(立命館アジア太平洋大学), プログラム名: Truffe（トリュフ）

15:15--16:15 Xiao-Dong Zhang (Shanghai Jiao Tong University)
- The algebraic connectivity of graphs
(break)
16:30--17:05 Katsuhiro Ota (Keio University)
- Clique minors, chromatic numbers for degree sequences
17:10--17:45 Yota Otachi (JAIST)
- The path-distance-width of hypercubes

↑

Abstract†

↑

Akihiro Munemasa (Tohoku University)†

Title:Complex Hadamard matrices contained in a Bose-Mesner algebra
Abstract:

A complex Hadamard matrix $H$ is an n by n matrix with complex entries with absolute value 1, such that rows are pairwise orthogonal with respect to the hermitian inner product. Recently, Ada Chan constructed a 15 by 15 complex Hadamard matrix using the adjacency matrix of the line graph of the Petersen graph. We found another such matrix, and then generalized it to an infinite family. In this talk, we focus on how to set up a system of polynomial equations for solving this kind of problem more efficiently than the naive approach. This is achieved by determining the ideal of the 3-dimensional algebraic variety consisting of the points of the form $(x+1/x,y+1/y,z+1/z,x/y+y/x,y/z+z/y,z/x+x/z)$ in the 6-dimensional space. This is a joint work with Takuya Ikuta.

↑

Michael Dobbins (GAIA, Postech)†

Title:Reducing combinatorial to projective equivalence in realizability problems for polytopes.
Abstract:

Determining if there is a polytope of any combinatorial type that satisfies some given property is made difficult by the fact that there are polytopes with realization spaces that are homotopic to any primary semialgebraic set. I will show how, for certain properties, this can be reduced to finding such realizations among projective equivalence classes of polytopes, which are much nicer spaces. An application of this answers a question posed by Bernt Lindström in 1971, that there does exist a polytope without an antiprism.

↑

Aleksandar Jurišić (University of Ljubljana)†

Title:TOWER GRAPHS AND EXTENDED GENERALIZED QUADRANGLES
Abstract:

Let $\Gamma$ be a complete multipartite graph with at least two parts and each part of size at least $2$ . For example, $K_{t\times n}$ ,i.e., the complement of $t$ copies of $K_n$ , and $t,n \ge 2$ . Then the local graphs and the $\mu$ -graphs (that is the graphs induced on the common neighbours of two vertices at distance $2$ ) are again complete multipartite. They are actually the same graphs, in our example $K_{(t-1)\times n}$ . If $t\ge 3$ , then the geodesic closure ofany $\mu$ -graph is the graph we started with. Let now $\Gamma$ be the point graph of a generalized quadrangle GQ $(s,t)$ . Then $\Gamma$ is strongly regular like the complete multipartite graph (its valency is $s(t+1)$ , while the number of triangles on an edge in (a) $\Gamma$ is $s-1$ , and (b) the complement of $\Gamma$ is $t+1$ ). Its $\mu$ -graphs are $K_{1\times (t+1)}$ and when the generalized quadrangle is regular, the convex closures of $\mu$ -graphs are $K_{2\times (t+1)}$ . We study a family of graphs, denoted by ${\cal F}$ , with the following properties

(i) their $\mu$ -graphs are complete multipartite,

(ii) there exist adjacent vertices $x$ , $y$ and a vertex $z$ at distance $2$ from both $x$ , $y$ in $\Gamma$ , and the number $\alpha_\G=\alpha(x,y,z)$ of common neighbours of these vertices does not depend on a choice of such a triple.

This is a generalization of the study of extended generalized quadrangles in it is intimately connected with even more general study of locally strongly regular graphs. We report on our progress of the classification of the family ${\cal F}$ .

↑

Xiao-Dong Zhang (Shanghai Jiao Tong University)†

Title:The algebraic connectivity of graphs
Abstract:

Let $G$ be a simple graph of order $n$ and $L(G)=D(G)-A(G)$ be its Laplacian matrix, where $D(G)$ and $A(G)$ are the degree diagonal and adjacency matrices, respectively. The the second smallest eigenvalue of $L(G)$ is called the algebraic connectivity of $G.$ In this talk, we survey some new results and progress on the algebraic connectivity. In particular, we present some relationships between the algebraic connectivity and the graph parameters, such as the clique number, the matching number, the independence number, the isoperimetric number, etc.

↑

Katsuhiro Ota (Keio University)†

Title:Clique minors, chromatic numbers for degree sequences
Abstract:

For a given graph $G$ , let $\chi(G)$ and $h(G)$ denote the chromatic number, and the maximum size of clique minors of $G$ , respectively. The well-known Hadwiger's conjecture (1943) states that $\chi(G)\le h(G)$ holds for every graph $G$ , which is wide open for the graphs with $\chi(G)\ge 7$ . In 2005, Robertson posed the "Hadwiger's conjecture for degree sequences." For a graphical degree sequence $D$ , let $\chi(D)$ and $h(D)$ denote the maximum $\chi(G)$ and $h(G)$ , respectively, among the graphs $G$ having degree sequence $D$ . Robertson's conjecture states that $\chi(D)\le h(D)$ for any degree sequence $D$ . This conjecture was recently confirmed by Dvořák and Mohar by showing strongly that $\chi(D)\le h'(D)$ , where $h'(D)$ is the maximum size of topological clique minors of graphs having degree sequence $D$ . In this talk, we give an alternative and very short proof of Robertson's conjecture. Also, we shall discuss the values of $\chi(D)$ , $h(D)$ and $h'(D)$ for some $D$ . These results are based on a joint work with Guantao Chen and Ryo Hazama.

↑

Yota Otachi (JAIST)†

Title: The path-distance-width of hypercubes
Abstract:

The path-distance-width of a connected graph $G$ is the minimum integer $w$ satisfying that there is a nonempty subset of $S \subseteq V(G)$ such that the number of the vertices with distance $i$ from $S$ is at most $w$ for any nonnegative integer $i$ . We present a general lower bound on the path-distance-width of graph, and determine the path-distance-width of hypercubes by using the lower bound. We also discuss the applicability of the lower bound to other graphs.