九州大学 組合せ数学セミナー
～ Combinatorics Seminar in Kyushu University ～
過去のセミナー/2010年度
をテンプレートにして作成
開始行:
* 2010年度 組合せ数学セミナー [#h6f7d21c]
-世話人: 溝口 佳寛（九大数理），坂内 英一（九大数理），谷...
** 第5回 2011年 1月 8日(土) [#ta858a14]
-場所: 九州大学
[[伊都キャンパス:http://www.math.kyushu-u.ac.jp/pages/acc...
-時間: 12:40-17:40
//-講演者: Kissani Perera （九大数理），須田庄（東北大情...
-&ref(combsem1005.pdf,,,PDFファイル);
-プログラム
||~講演者|~タイトル|
|12:40-12:45|>|開会宣言（谷口 哲至）|
|12:45-13:35|[[Kissani Perera>#perera-05]]|The algorithm ...
|13:45-14:35|[[野崎 寛>#nozaki-05]]|距離集合と Larman-Rog...
|14:45-15:35|[[須田 庄>#suda-05]]|複素球面上のデザインと...
|15:45-16:35|[[木本 一史>#kimoto-05]]|一般化内容多項式|
|16:45-17:35|[[山田拓身>#yamada-05]]|不定値計量におけるヴ...
|17:35-17:40|>|総括（坂内 英一）|
#br
-アブストラクト
***Kissani Perera （九州大学大学院 数理学府）[#perera-05]
-タイトル: The algorithm to minimize the sum of squares o...
-アブストラクト:
M. Lazić [2006] has defined Laplacian energy of an undire...
By using this definition we realized that Laplacian energ...
Our objective is to find the graphs with minimum Laplacia...
Inorder to minimize the sum of squares of eigen values we...
Asahiro et.all.[2007] has considered minimization of maxi...
We followed their algorithm to solve the above minimizati...
***野崎 寛（東北大学大学院 情報学研究科）[#nozaki-05]
-タイトル: 距離集合と Larman-Rogers-Seidel の定理の一般化
-アブストラクト:
ユークリッド空間 &mimetex(\mathbb{R}^d); 上の有限集合が '...
互いに異なる2点間の距離の種類が '''s''' 個である時を言う。
例えば，正方形の頂点集合は，辺と対角線にあたる2種類の距離...
2距離集合であると言える。
&mimetex(\mathbb{R}^d); 上の '''s''' 距離集合には元の個数...
'''d''' と '''s''' を固定した時に，元の個数が最大になる '...
距離集合の基本的な問題である。
Larman-Rogers-Seidel は，次元に対してある程度大きい2距離...
距離の二乗比が，整数比になるという強い結果を与えた。
つまり，元の個数が 2'''d'''+4 以上の2距離集合に対して，
'''a''', '''b''' をその2つの距離としたときに，
&mimetex(a^2/b^2=(k-1)/k);となる整数 '''k''' が存在すると...
この講演では，その定理の任意の '''s''' への拡張を紹介し，
その証明を与えることを目標とする。
***須田 庄（東北大学大学院 情報学研究科）[#suda-05]
-タイトル: 複素球面上のデザインとコードについて
-アブストラクト:
1977年、Delsarte, Seidel, Goethals によって実ユークリッド...
本講演では複素ユークリッド空間の単位球面上の有限部分集合...
更に複素球面上のデザインと実球面上、複素射影空間上のデザ...
***木本 一史（琉球大学理学部）[#kimoto-05]
-タイトル: 一般化内容多項式
-アブストラクト:
内容多項式(content polynomial)とは分割（のヤング図形）か...
たとえばヤング図形の（書き込む数字の上限を決めたときの）...
本講演では，内容多項式が「&mimetex{\alpha};行列式が生成す...
ことを立脚点とした内容多項式の一つの一般化について紹介す...
***山田 拓身（島根大学総合理工学部）[#yamada-05]
-タイトル: 不定値計量におけるヴァイツェンベック公式の応用
-アブストラクト:
リーマン幾何学の重要な公式の一つとして、ヴァイツェンベッ...
これは微分形式にラプラス作用素を作用させたものが２つの微...
２つのうち一つは曲率を含むため、適当な曲率条件のもと、幾...
本講演ではリーマン幾何学の場合の説明と、
不定値計量である擬リーマン幾何学の場合のヴァイツェンベッ...
#br
** 第4回 2010年11月20日(土) [#q3a752ce]
&color(blue){（今回は，「[[&color(blue){論理と計算セミナ...
-場所: 九州大学
[[伊都キャンパス:http://www.math.kyushu-u.ac.jp/pages/acc...
-時間: 9:25-18:05
-&ref(combsem1004.pdf,,,PDFファイル);
-プログラム
||~講演者|~タイトル|
|9:25-9:30|>|開会宣言（谷口 哲至）|
|9:30-10:00|[[佐野 良夫>#sano-04]]|グラフの競争数|
|10:00-10:30|[[小畑 智博>#obata-04]]|ポリヘクスグラフの異...
|10:45-11:15|[[奈良 知惠>#nara-04]]|最小面積の境界をもつ...
|11:15-11:45|[[井口 修一>#inokuchi-04]]|可逆な線形ハイブ...
|13:30-14:30|[[井田 哲雄>#ida-04]]|代数的折紙計算論からの...
|14:45-15:15|[[川崎 英文>#kawasaki-04]]|1次元折り紙の平坦...
|15:15-15:45|[[春名 太一>#haruna-04]]|Canonical Structure...
|15:45-16:15|[[井原 健太郎>#ihara-04]]|Computations of mu...
|16:30-17:00|[[小野 克彦>#ono-04]]|ある自己相反多項式の零...
|17:00-17:30|[[篠原 雅史>#shinohara-04]]|低い次元の距離集...
|17:30-18:00|[[古澤 仁>#furusawa-04]]|任意の上限について...
|18:00-18:05|>|総括（溝口 佳寛）|
#br
*** 佐野 良夫（浦項工科大学）[#sano-04]
-タイトル: グラフの競争数
-アブストラクト:
1968年 J. E. Cohen は、生態学の問題と関連して、
有向グラフに対して定義される「競争グラフ」という概念を導...
その競争グラフの概念をもとに、1978年 F. S. Roberts は、
（無向）グラフに対して「競争数」と呼ばれる数を定義した。
1982年に R. J. Opsut はグラフの競争数を求める計算問題はＮ...
一般のグラフに対して、この競争数を求めるのは難しい問題で...
本発表では、このグラフの競争数について、
今までに知られている結果および発表者が最近得た結果につい...
*** 小畑 智博（九州大学大学院 数理学府）[#obata-04]
-タイトル: ポリヘクスグラフの異性体
-アブストラクト:
ポリヘクスグラフの考察は、
化学分野におけるベンゼノイド炭化水素と関連し、応用が期待...
そのため、ポリヘクスグラフ異性体の数え上げは、
化学・数学の両側から挑戦されている。
今回は、ポリヘクスグラフの数え上げの様々な手法の中から、
いくつかを紹介する。
*** 奈良 知惠（東海大学 理学部）[#nara-04]
-タイトル: 最小面積の境界をもつ３次元空間分割とケルヴィン...
-アブストラクト:
「３次元空間を等体積の立体で分割して、
境界の面積の平均値を最小にせよ」という問題に対して、
各立体は「合同な多面体」という条件のもとに、
ケルヴィン予想の切頭八面体に関連した結果について述べる
（伊藤仁一氏との共同研究）。
*** 井口 修一（九州大学大学院 数理学研究院）[#inokuchi-04]
-タイトル: 可逆な線形ハイブリッドセルオートマトン
-アブストラクト:
セルオートマトンは、一般に、単一の局所遷移規則を用いて定...
複数の局所遷移規則で定義されるハイブリッドセルオートマト...
このうち、3近傍局所遷移規則を2つ用いた90／150ハイブリッド...
balancedな規則を用いたハイブリッドセルオートマトンの可逆...
ここでは、balancedな局所遷移規則の一部であり、
90,150を含む線形な局所遷移規則を用いたハイブリッドセルオ...
これらの可逆性について議論し、具体的な構成方法について述...
また、その個数を示す。
*** 井田 哲雄（筑波大学大学院 システム情報工学研究科）[#i...
-タイトル: 代数的折紙計算論からの話題
-アブストラクト:
藤田の折紙の折り方原理は，ユークリッド幾何学で用いる，
定規とコンパスの作図より強力である，
折紙の構成手順はグラフ書換や項書換でモデル化できる，
折紙幾何定理の自動証明ができるなどはその一例である．
折紙をコンピュータを援用して研究すると，美しい画像が容易...
さらに深い数学的な理解が可能になってくる．
本講演では，開発中の計算折紙のシステムを活用しつつ，
いくつか興味深い実例を用いて，背後にある代数的なモデルの...
*** 川崎 英文（九州大学大学院 数理学研究院）[#kawasaki-04]
-タイトル: 1次元折り紙の平坦折りについて
-アブストラクト:
閉区間 &mimetex{[v_0,v_n]}; の節点 &mimetex(v_0<v_1<...<v...
に山谷が与えられたものを1D折り紙とよび、
それを平坦に折りたたむ問題を考察する。
この問題を考える際に重要な役割を演じるのが「端折り」と「...
端折りは、一番端の枝がその隣の枝より短いか等しいときに、
それを折りたたんで1本の枝にする操作である。
また、クリンプは隣接する3本の枝のうち中央の枝が一番短く、
その両端の山谷が異なるとき、それらを折りたたんで1本の枝に...
Arkin 他（2004）は平坦可折な1D折り紙は端折りとクリンプで...
しかしながら、その証明の一部に論理のギャップがあるため、
本発表では、平坦可折性の組み合わせ的定義を与え、厳密な証...
さらに、1D折り紙の両端点を同一視した1D閉折り紙について、
平坦可折ならばクリンプのみで折りたためることを示す。
*** 春名 太一（神戸大学大学院 理学研究科，JSTさきがけ）[#...
-タイトル: Canonical Structure Obtained from Dual View on...
-アブストラクト:
A system of interacting elements can be represented by
a directed graph so that elements are nodes and interacti...
elements is an arc. In real view on directed graphs each ...
a point, each arc represents some kind of interaction bet...
and nothing more. However, in many real systems, each ele...
own intra-node process. Hence we can interpret interactio...
elements as interface between two intra-node processes. T...
on directed graphs can be formulated in the framework of ...
In particular, we use left Kan extensions to construct a ...
expression for dual view. We show that a new notion of co...
which we call lateral connectedness (LC) emerges as a can...
obtained from dual view. We discuss applications of LC to...
complex networks.
*** 井原 健太郎（浦項工科大学）[#ihara-04]
-タイトル: Computations of multiple periods of weight two...
-アブストラクト:
In [1], we introduced the 'multiple L-function' associate...
a tuple of elliptic cusp forms, which generalize the usua...
associated to a cusp form, and gave an explicit descripti...
function in terms of the iterated period integrals introd...
Manin in [2]. This generalizes the classical expression o...
Mellin transformation of a cusp form in terms of its L-fu...
~
In this talk, we consider the space spanned by all critic...
of multiple L-function associated to the tuple of cusp fo...
in the space of cusp forms of weight two and of fixed lev...
can show that the space becomes a subalgebra of the field...
numbers under the rule of 'shuffle product'. We first exp...
there are many linear relations among multiple L-values o...
where degree means the number of variables of L-function,...
coincides with the number of iteration of the iterated in...
Manin. Next, we show a data of numerical computation. The...
contains the sequence of dimensions of the degree n-compo...
algebra (for small levels). This experiment may suggests ...
algebra structure is quite simple and interesting in some...
will state a conjecture for the number of algebra generat...
case of small levels. (The results in the talk is include...
~
[1] Y.Choie, K.Ihara; Iterated period integrals and multi...
L-functions, preprint (2010).~
[2] Y.I.Manin; Iterated Shimura integrals (2005).~
[3] K.Ihara; Algebra structure of period spaces of weight...
forms, in preparation.
*** 小野 克彦（九州大学大学院 数理学府）[#ono-04]
-タイトル: ある自己相反多項式の零点の配置について
-アブストラクト:
1999年にDuursmaが代数曲線上のゼータ多項式の類似として定義...
符号理論のゼータ多項式の特徴から導いた自己相反多項式が持...
予想を交え紹介する。
*** 篠原 雅史（鈴鹿工業高等専門学校）[#shinohara-04]
-タイトル: 低い次元の距離集合の有限性について
-アブストラクト:
'''d'''-次元ユークリッド空間上の有限部分集合 '''X''' が '...
'''X''' の中の相異なる二点間の距離が丁度 '''k''' 種類出て...
相似な 2 つの集合を同型とする.
ここでは主に, 同型類の個数がいつ有限個になるか, という問...
'''k'''=2 のとき, Einhorn-Shoenberg (1966) は
'''d'''+2 点以上の 2-距離集合は有限個であることを示した.
'''d'''+1 点の 2-距離集合は無限に存在するので,
この値は有限と無限の境界を与えている.
（regular simplex に上手く一点を加えてあげれば,
無限個の非同型な 2-距離集合が作れる.）
本講演では低い次元（直線や円周）上の距離集合についての結...
特に, この場合の '''k'''-距離集合に対し, 有限と無限の境界...
*** 古澤 仁（鹿児島大学大学院 理工学研究科）[#furusawa-04]
-タイトル: 任意の上限について素な完備べき等左半環の多重関...
-アブストラクト:
第5回論理と計算に関するセミナーにおいて，
完備べき等左半環の関係による表現と多重関係による表現につ...
2種類の表現で相違点がはっきするような数学的な性質は無いの...
このことをきっかけに考察した結果，
任意の上限について素な完備べき等左半環を考えると，
関係的表現は一般には得られない一方で，多重関係的表現は得...
しかも表現における上限が集合和で与えられることが分かった...
本研究は鳥取環境大学の西澤弘毅氏との共同研究である．
#br
** 第3回 2010年 9月 1日(水) [#j9c5c167]
-場所: 九州大学
[[西新プラザ:http://www.kyushu-u.ac.jp/university/institu...
-時間: 12:40-17:40
-&ref(combsem1002.pdf,,,PDFファイル);
//-講演者: 原田 哲夫（久留米高専），田上 真（東北大理），...
-プログラム
||~講演者|~タイトル|
|12:40-12:45|>|開会宣言（谷口 哲至）|
|12:45-13:35|[[田上 真>#tagami-03]]|Euclidean design と p...
|13:50-14:40|[[坂下 一生>#sakashita-03]]|量子回路の等価変...
|15:00-15:50|[[吉良 知文>#kira-03]]|非決定性動的計画で求...
|16:05-16:55|[[原田 哲夫>#harada-03]]|Klyachkoの定理より...
|17:05-17:35|>|Short Communication|
|17:35-17:40|>|総括（坂内 英一）|
#br
-アブストラクト
*** 田上 真（東北大学大学院 理学研究科）[#tagami-03]
-タイトル: Euclidean design と potential energy について
-アブストラクト:
Euclidean design の観点から Euclid 空間上の有限点集合と
potential energy との関係について考察する。
特に Euclidean design の立場から Euclid 空間上有限点集合の
universally optimal code の定義の一つの候補とその一つの十...
この研究は三枝崎剛氏（東北大）との共同研究である。
*** 坂下 一生（九州大学大学院 数理学府）[#sakashita-03]
-タイトル: 量子回路の等価変換と変換規則の完備化
-アブストラクト:
まず，一般的な書換え規則の完備化に関する種々の定義とその...
次に量子コンピュータの手続きを記述するために用いられる"量...
それをひとつの書換え系と捉えその変換規則を完備化すること...
*** 吉良 知文（九州大学大学院 数理学府）[#kira-03]
-タイトル: 非決定性動的計画で求める対局ゲーム必勝法
-アブストラクト:
我々が直面する意思決定問題の多くは, 決定という行為が一度...
一度とった決定の結果から生じる状況の変化に応じて何度も決...
このような問題を効率よく解決する手法の一つが動的計画法で...
本報告では非決定性状態推移システムをもつ問題に対する動的...
この研究は藤田敏治氏（九工大）との共同研究である。
*** 原田 哲夫（久留米工業高等専門学校）[#harada-03]
-タイトル: Klyachkoの定理より導かれるいくつかの不等式
-アブストラクト:
近年、KlyachkoやFultonらにより、Horn Conjectureが解かれた。
ここではまず、Horn Conjectureについて説明し、
それからいくつかの有名な不等式が導かれることや、
新しい不等式が導かれることなどを示す。
#br
** 第2回 2010年 7月10日(土) [#g79d1ee5]
-場所: 九州大学
[[西新プラザ:http://www.kyushu-u.ac.jp/university/institu...
-時間: 12:40-17:40
-&ref(combsem1002.pdf,,,PDFファイル);
-プログラム
||~講演者|~タイトル|
|12:40-12:45|>|開会宣言（谷口 哲至）|
|12:45-13:35|[[平坂 貢>#hirasaka-02]]|On balanced coheren...
|13:50-14:40|[[田中 立志>#ttanaka-02]]|多重ゼータ値のBowm...
|15:00-15:50|[[谷口 哲至>#taniguchi-02]]|Hoffman graph|
|16:05-16:55|[[宗政 昭弘>#munemasa-02]]|A characterizatio...
|17:05-17:35|>|Short Communication|
|17:35-17:40|>|総括（坂内 英一）|
#br
-アブストラクト
*** 平坂 貢（釜山大学）[#hirasaka-02]
-タイトル: On balanced coherent configurations with a fib...
-アブストラクト:
Let '''G''' be a permutation group of a finite set &mimet...
Then &mimetex(\Omega); is the disjoint union of the orbit...
Suppose that the actions of '''G''' on &mimetex(\Delta_i)...
permutation character.
Then the orbits of '''G''' acting naturally on &mimetex(\...
a balanced coherent configuration.
In this talk we focus on this situation under the assumpt...
the size of &mimetex(\Delta_i); is a prime to show some r...
This is a joint work with Reza Sharafdini.
*** 田中 立志（九州大学大学院 数理学研究院）[#ttanaka-02]
-タイトル: 多重ゼータ値のBowman-Bradleyの定理とその多重ゼ...
-アブストラクト:
BowmanとBradley(J. Combin. Theory Ser. A 97, 2002)や宗田(...
シャッフル代数のある等式を示すことで多重ゼータ値のある特...
本講演では, 彼らの結果の多重ゼータ・スター値版も成立する...
具体的には, ハーモニック代数のある等式を示し,
それを用いて多重ゼータ・スター値のある特殊値が有理数倍を...
本結果は斎藤新悟氏, 近藤宏樹氏との共同研究である.
*** 谷口 哲至（松江工業高等専門学校）[#taniguchi-02]
-タイトル: Hoffman graph
-アブストラクト:
Hoffman graph とは、Generalized line graph の一般化をする...
Hoffman graph を使うことで、
「Generalized line graph は root system &mimetex(D_n); で...
P. J. Cameron、J. M. Goethals、J. J. Seidel、E. E. Shult ...
今回の講演で、Hoffman graph とそのテクニックを紹介する。
*** 宗政 昭弘（東北大学大学院 情報学研究科）[#munemasa-02]
-タイトル: A characterization of quasi-line graphs
-アブストラクト:
点と辺からなる graph において辺をあらたに点とみなして作っ...
line graph という．Line graph のクラスを含むクラスとして，
代数的グラフ理論では generalized line graph，グラフ構造論...
quasi-line graph という，異なる一般化がなされている．Gene...
line graph を簡単に特徴付けできる道具が Hoffman graph の...
これを用いて quasi-line graph も特徴付けできることを示す．
#br
** 第1回 2010年 5月 8日(土) [#p64a8835]
-場所: 九州大学
[[西新プラザ:http://www.kyushu-u.ac.jp/university/institu...
-時間: 12:40-17:40
-&ref(combsem1001.pdf,,,PDFファイル);
-プログラム
||~講演者|~タイトル|
|12:40-12:45|>|開会宣言（谷口 哲至）|
|12:45-13:35|[[栗原 大武>#kurihara-01]]|球への埋込みを通...
|13:45-14:35|[[奥田 隆幸>#okuda-01]]|コンパクトリー群上の...
|14:45-15:35|[[溝口 佳寛>#mizoguchi-01]]|有向グラフに対す...
|15:45-16:35|[[Kissani Perera>#kissani-01]]|Laplacian ene...
|16:45-17:35|[[重住 淳一>#shigezumi-01]]|On maximality of...
|17:35-17:40|>|総括（坂内 英一）|
#br
-アブストラクト
***栗原 大武 （東北大学大学院 理学研究科）[#kurihara-01]
-タイトル: 球への埋込みを通じて得られる新しい'''Q'''多項...
-アブストラクト:
1977年にLarmanとRogersとSeidelによってユークリッド空間内...
そして2005年に坂内英一氏と坂内悦子氏によってクラス2の原始...
一方2009年に野崎寛氏によってLarman達の結果を一般の'''s'''...
本講演ではこの野崎氏の結果とクラス'''d'''の'''Q'''多項式...
それが坂内氏達の結果の一般化になっていることを見ていく。
更に逆に一般のクラスの対称なアソシエーションスキームを球...
***奥田 隆幸 （東京大学大学院 数理科学研究科）[#okuda-01]
-タイトル: コンパクトリー群上のデザインと符号についての不...
-アブストラクト:
球面上のデザインと符号の理論において、「堅いデザイン」は...
その定義には以下の重要な事実が用いられる。
すなわち、“デザイン、符号それぞれにおいてFisher型と...
またその不等式の等号成立の場合には、
デザインであることと符号であることは同値”となること...
この結果の一般化として、これまでに rank 1 のコンパクト対...
実および複素 Grassman 多様体などにおいて同様の結果が成り...
この講演では、一般のコンパクトリー群について、表現論の言...
Fisher型不等式の「コンパクトリー群」版、
またその等号成立の場合にデザインと符号が結びつくことを紹...
***溝口 佳寛 （九州大学大学院 数理学研究院）[#mizoguchi-01]
-タイトル: 有向グラフに対するスペクトラル法による分割につ...
-アブストラクト:
グラフのスペクトラル法による分割（クラスタリング）につい...
無向グラフについての理論背景と応用例の紹介, そして,
その有向グラフへの拡張可能性について述べます.
***Kissani Perera （九州大学大学院 数理学府）[#perera-01]
-タイトル: Laplacian energy of Directed Graphs
-アブストラクト:
Energy has been studied in mathematical perspective
as well as physical perspective for several years ago.
In spectral graph theory, the eigenvalues of
several kinds of matrices have been studied,
of which Laplacian matrix attracted the greatest attentio...
Recently, in 2009, Adiga considered Laplacian energy
of directed graphs using skew Laplacian matrix,
in which degree of vertex is considered as total
of the out-degree and the in-degree.
Since directed graphs play an important role in identifying
the structure of web-graphs as well as communication grap...
we consider Laplacian energy of simple directed graphs,
complete directed graphs and their line graphs and find s...
relevant to arc addition of directed graphs
by using the general definition of Laplacian(Kirchoff) ma...
Unlike in [1], we derived two types of equations for simp...
and completed directed graphs with &mimetex(n \geq 2); ve...
Our objective extended to enumerate the structure
of directed graphs using the energy concept.
For that we consider the class &mimetex(P(\alpha));
which consists of non isomorphic graphs with energy less ...
and find 47 non isomorphic directed graphs for class &mim...
''References''~
[1] C. Adiga and M. Smitha. On the skew laplacian energy ...
[2] D.M. Cvetkovic, M. Doob, and H. Sachs. Normalized cut...
In '''Spectra of Graphs''': '''Theory and Applications'''...
***重住 淳一 （九州大学大学院 数理学研究院）[#shigezumi-01]
-タイトル: On maximality of distance sets with the struct...
-アブストラクト:
In the classification of the maximal 2-distance sets,
Lisoněk considered the 2-distance sets which include
the structure of triangular graph '''T'''('''n''') (= '''...
As a generalization, we consider the maximal distance set...
In this talk, we determine the condition that the realiza...
Furthermore, we would like to talk about some maximal dis...
This is joint work with Eiichi Bannai and some members of...
of Fuculty of Science, Kyushu University.
//#br
//このセミナーについてのお問合せは**(**@**)までお願いしま...
終了行:
* 2010年度 組合せ数学セミナー [#h6f7d21c]
-世話人: 溝口 佳寛（九大数理），坂内 英一（九大数理），谷...
** 第5回 2011年 1月 8日(土) [#ta858a14]
-場所: 九州大学
[[伊都キャンパス:http://www.math.kyushu-u.ac.jp/pages/acc...
-時間: 12:40-17:40
//-講演者: Kissani Perera （九大数理），須田庄（東北大情...
-&ref(combsem1005.pdf,,,PDFファイル);
-プログラム
||~講演者|~タイトル|
|12:40-12:45|>|開会宣言（谷口 哲至）|
|12:45-13:35|[[Kissani Perera>#perera-05]]|The algorithm ...
|13:45-14:35|[[野崎 寛>#nozaki-05]]|距離集合と Larman-Rog...
|14:45-15:35|[[須田 庄>#suda-05]]|複素球面上のデザインと...
|15:45-16:35|[[木本 一史>#kimoto-05]]|一般化内容多項式|
|16:45-17:35|[[山田拓身>#yamada-05]]|不定値計量におけるヴ...
|17:35-17:40|>|総括（坂内 英一）|
#br
-アブストラクト
***Kissani Perera （九州大学大学院 数理学府）[#perera-05]
-タイトル: The algorithm to minimize the sum of squares o...
-アブストラクト:
M. Lazić [2006] has defined Laplacian energy of an undire...
By using this definition we realized that Laplacian energ...
Our objective is to find the graphs with minimum Laplacia...
Inorder to minimize the sum of squares of eigen values we...
Asahiro et.all.[2007] has considered minimization of maxi...
We followed their algorithm to solve the above minimizati...
***野崎 寛（東北大学大学院 情報学研究科）[#nozaki-05]
-タイトル: 距離集合と Larman-Rogers-Seidel の定理の一般化
-アブストラクト:
ユークリッド空間 &mimetex(\mathbb{R}^d); 上の有限集合が '...
互いに異なる2点間の距離の種類が '''s''' 個である時を言う。
例えば，正方形の頂点集合は，辺と対角線にあたる2種類の距離...
2距離集合であると言える。
&mimetex(\mathbb{R}^d); 上の '''s''' 距離集合には元の個数...
'''d''' と '''s''' を固定した時に，元の個数が最大になる '...
距離集合の基本的な問題である。
Larman-Rogers-Seidel は，次元に対してある程度大きい2距離...
距離の二乗比が，整数比になるという強い結果を与えた。
つまり，元の個数が 2'''d'''+4 以上の2距離集合に対して，
'''a''', '''b''' をその2つの距離としたときに，
&mimetex(a^2/b^2=(k-1)/k);となる整数 '''k''' が存在すると...
この講演では，その定理の任意の '''s''' への拡張を紹介し，
その証明を与えることを目標とする。
***須田 庄（東北大学大学院 情報学研究科）[#suda-05]
-タイトル: 複素球面上のデザインとコードについて
-アブストラクト:
1977年、Delsarte, Seidel, Goethals によって実ユークリッド...
本講演では複素ユークリッド空間の単位球面上の有限部分集合...
更に複素球面上のデザインと実球面上、複素射影空間上のデザ...
***木本 一史（琉球大学理学部）[#kimoto-05]
-タイトル: 一般化内容多項式
-アブストラクト:
内容多項式(content polynomial)とは分割（のヤング図形）か...
たとえばヤング図形の（書き込む数字の上限を決めたときの）...
本講演では，内容多項式が「&mimetex{\alpha};行列式が生成す...
ことを立脚点とした内容多項式の一つの一般化について紹介す...
***山田 拓身（島根大学総合理工学部）[#yamada-05]
-タイトル: 不定値計量におけるヴァイツェンベック公式の応用
-アブストラクト:
リーマン幾何学の重要な公式の一つとして、ヴァイツェンベッ...
これは微分形式にラプラス作用素を作用させたものが２つの微...
２つのうち一つは曲率を含むため、適当な曲率条件のもと、幾...
本講演ではリーマン幾何学の場合の説明と、
不定値計量である擬リーマン幾何学の場合のヴァイツェンベッ...
#br
** 第4回 2010年11月20日(土) [#q3a752ce]
&color(blue){（今回は，「[[&color(blue){論理と計算セミナ...
-場所: 九州大学
[[伊都キャンパス:http://www.math.kyushu-u.ac.jp/pages/acc...
-時間: 9:25-18:05
-&ref(combsem1004.pdf,,,PDFファイル);
-プログラム
||~講演者|~タイトル|
|9:25-9:30|>|開会宣言（谷口 哲至）|
|9:30-10:00|[[佐野 良夫>#sano-04]]|グラフの競争数|
|10:00-10:30|[[小畑 智博>#obata-04]]|ポリヘクスグラフの異...
|10:45-11:15|[[奈良 知惠>#nara-04]]|最小面積の境界をもつ...
|11:15-11:45|[[井口 修一>#inokuchi-04]]|可逆な線形ハイブ...
|13:30-14:30|[[井田 哲雄>#ida-04]]|代数的折紙計算論からの...
|14:45-15:15|[[川崎 英文>#kawasaki-04]]|1次元折り紙の平坦...
|15:15-15:45|[[春名 太一>#haruna-04]]|Canonical Structure...
|15:45-16:15|[[井原 健太郎>#ihara-04]]|Computations of mu...
|16:30-17:00|[[小野 克彦>#ono-04]]|ある自己相反多項式の零...
|17:00-17:30|[[篠原 雅史>#shinohara-04]]|低い次元の距離集...
|17:30-18:00|[[古澤 仁>#furusawa-04]]|任意の上限について...
|18:00-18:05|>|総括（溝口 佳寛）|
#br
*** 佐野 良夫（浦項工科大学）[#sano-04]
-タイトル: グラフの競争数
-アブストラクト:
1968年 J. E. Cohen は、生態学の問題と関連して、
有向グラフに対して定義される「競争グラフ」という概念を導...
その競争グラフの概念をもとに、1978年 F. S. Roberts は、
（無向）グラフに対して「競争数」と呼ばれる数を定義した。
1982年に R. J. Opsut はグラフの競争数を求める計算問題はＮ...
一般のグラフに対して、この競争数を求めるのは難しい問題で...
本発表では、このグラフの競争数について、
今までに知られている結果および発表者が最近得た結果につい...
*** 小畑 智博（九州大学大学院 数理学府）[#obata-04]
-タイトル: ポリヘクスグラフの異性体
-アブストラクト:
ポリヘクスグラフの考察は、
化学分野におけるベンゼノイド炭化水素と関連し、応用が期待...
そのため、ポリヘクスグラフ異性体の数え上げは、
化学・数学の両側から挑戦されている。
今回は、ポリヘクスグラフの数え上げの様々な手法の中から、
いくつかを紹介する。
*** 奈良 知惠（東海大学 理学部）[#nara-04]
-タイトル: 最小面積の境界をもつ３次元空間分割とケルヴィン...
-アブストラクト:
「３次元空間を等体積の立体で分割して、
境界の面積の平均値を最小にせよ」という問題に対して、
各立体は「合同な多面体」という条件のもとに、
ケルヴィン予想の切頭八面体に関連した結果について述べる
（伊藤仁一氏との共同研究）。
*** 井口 修一（九州大学大学院 数理学研究院）[#inokuchi-04]
-タイトル: 可逆な線形ハイブリッドセルオートマトン
-アブストラクト:
セルオートマトンは、一般に、単一の局所遷移規則を用いて定...
複数の局所遷移規則で定義されるハイブリッドセルオートマト...
このうち、3近傍局所遷移規則を2つ用いた90／150ハイブリッド...
balancedな規則を用いたハイブリッドセルオートマトンの可逆...
ここでは、balancedな局所遷移規則の一部であり、
90,150を含む線形な局所遷移規則を用いたハイブリッドセルオ...
これらの可逆性について議論し、具体的な構成方法について述...
また、その個数を示す。
*** 井田 哲雄（筑波大学大学院 システム情報工学研究科）[#i...
-タイトル: 代数的折紙計算論からの話題
-アブストラクト:
藤田の折紙の折り方原理は，ユークリッド幾何学で用いる，
定規とコンパスの作図より強力である，
折紙の構成手順はグラフ書換や項書換でモデル化できる，
折紙幾何定理の自動証明ができるなどはその一例である．
折紙をコンピュータを援用して研究すると，美しい画像が容易...
さらに深い数学的な理解が可能になってくる．
本講演では，開発中の計算折紙のシステムを活用しつつ，
いくつか興味深い実例を用いて，背後にある代数的なモデルの...
*** 川崎 英文（九州大学大学院 数理学研究院）[#kawasaki-04]
-タイトル: 1次元折り紙の平坦折りについて
-アブストラクト:
閉区間 &mimetex{[v_0,v_n]}; の節点 &mimetex(v_0<v_1<...<v...
に山谷が与えられたものを1D折り紙とよび、
それを平坦に折りたたむ問題を考察する。
この問題を考える際に重要な役割を演じるのが「端折り」と「...
端折りは、一番端の枝がその隣の枝より短いか等しいときに、
それを折りたたんで1本の枝にする操作である。
また、クリンプは隣接する3本の枝のうち中央の枝が一番短く、
その両端の山谷が異なるとき、それらを折りたたんで1本の枝に...
Arkin 他（2004）は平坦可折な1D折り紙は端折りとクリンプで...
しかしながら、その証明の一部に論理のギャップがあるため、
本発表では、平坦可折性の組み合わせ的定義を与え、厳密な証...
さらに、1D折り紙の両端点を同一視した1D閉折り紙について、
平坦可折ならばクリンプのみで折りたためることを示す。
*** 春名 太一（神戸大学大学院 理学研究科，JSTさきがけ）[#...
-タイトル: Canonical Structure Obtained from Dual View on...
-アブストラクト:
A system of interacting elements can be represented by
a directed graph so that elements are nodes and interacti...
elements is an arc. In real view on directed graphs each ...
a point, each arc represents some kind of interaction bet...
and nothing more. However, in many real systems, each ele...
own intra-node process. Hence we can interpret interactio...
elements as interface between two intra-node processes. T...
on directed graphs can be formulated in the framework of ...
In particular, we use left Kan extensions to construct a ...
expression for dual view. We show that a new notion of co...
which we call lateral connectedness (LC) emerges as a can...
obtained from dual view. We discuss applications of LC to...
complex networks.
*** 井原 健太郎（浦項工科大学）[#ihara-04]
-タイトル: Computations of multiple periods of weight two...
-アブストラクト:
In [1], we introduced the 'multiple L-function' associate...
a tuple of elliptic cusp forms, which generalize the usua...
associated to a cusp form, and gave an explicit descripti...
function in terms of the iterated period integrals introd...
Manin in [2]. This generalizes the classical expression o...
Mellin transformation of a cusp form in terms of its L-fu...
~
In this talk, we consider the space spanned by all critic...
of multiple L-function associated to the tuple of cusp fo...
in the space of cusp forms of weight two and of fixed lev...
can show that the space becomes a subalgebra of the field...
numbers under the rule of 'shuffle product'. We first exp...
there are many linear relations among multiple L-values o...
where degree means the number of variables of L-function,...
coincides with the number of iteration of the iterated in...
Manin. Next, we show a data of numerical computation. The...
contains the sequence of dimensions of the degree n-compo...
algebra (for small levels). This experiment may suggests ...
algebra structure is quite simple and interesting in some...
will state a conjecture for the number of algebra generat...
case of small levels. (The results in the talk is include...
~
[1] Y.Choie, K.Ihara; Iterated period integrals and multi...
L-functions, preprint (2010).~
[2] Y.I.Manin; Iterated Shimura integrals (2005).~
[3] K.Ihara; Algebra structure of period spaces of weight...
forms, in preparation.
*** 小野 克彦（九州大学大学院 数理学府）[#ono-04]
-タイトル: ある自己相反多項式の零点の配置について
-アブストラクト:
1999年にDuursmaが代数曲線上のゼータ多項式の類似として定義...
符号理論のゼータ多項式の特徴から導いた自己相反多項式が持...
予想を交え紹介する。
*** 篠原 雅史（鈴鹿工業高等専門学校）[#shinohara-04]
-タイトル: 低い次元の距離集合の有限性について
-アブストラクト:
'''d'''-次元ユークリッド空間上の有限部分集合 '''X''' が '...
'''X''' の中の相異なる二点間の距離が丁度 '''k''' 種類出て...
相似な 2 つの集合を同型とする.
ここでは主に, 同型類の個数がいつ有限個になるか, という問...
'''k'''=2 のとき, Einhorn-Shoenberg (1966) は
'''d'''+2 点以上の 2-距離集合は有限個であることを示した.
'''d'''+1 点の 2-距離集合は無限に存在するので,
この値は有限と無限の境界を与えている.
（regular simplex に上手く一点を加えてあげれば,
無限個の非同型な 2-距離集合が作れる.）
本講演では低い次元（直線や円周）上の距離集合についての結...
特に, この場合の '''k'''-距離集合に対し, 有限と無限の境界...
*** 古澤 仁（鹿児島大学大学院 理工学研究科）[#furusawa-04]
-タイトル: 任意の上限について素な完備べき等左半環の多重関...
-アブストラクト:
第5回論理と計算に関するセミナーにおいて，
完備べき等左半環の関係による表現と多重関係による表現につ...
2種類の表現で相違点がはっきするような数学的な性質は無いの...
このことをきっかけに考察した結果，
任意の上限について素な完備べき等左半環を考えると，
関係的表現は一般には得られない一方で，多重関係的表現は得...
しかも表現における上限が集合和で与えられることが分かった...
本研究は鳥取環境大学の西澤弘毅氏との共同研究である．
#br
** 第3回 2010年 9月 1日(水) [#j9c5c167]
-場所: 九州大学
[[西新プラザ:http://www.kyushu-u.ac.jp/university/institu...
-時間: 12:40-17:40
-&ref(combsem1002.pdf,,,PDFファイル);
//-講演者: 原田 哲夫（久留米高専），田上 真（東北大理），...
-プログラム
||~講演者|~タイトル|
|12:40-12:45|>|開会宣言（谷口 哲至）|
|12:45-13:35|[[田上 真>#tagami-03]]|Euclidean design と p...
|13:50-14:40|[[坂下 一生>#sakashita-03]]|量子回路の等価変...
|15:00-15:50|[[吉良 知文>#kira-03]]|非決定性動的計画で求...
|16:05-16:55|[[原田 哲夫>#harada-03]]|Klyachkoの定理より...
|17:05-17:35|>|Short Communication|
|17:35-17:40|>|総括（坂内 英一）|
#br
-アブストラクト
*** 田上 真（東北大学大学院 理学研究科）[#tagami-03]
-タイトル: Euclidean design と potential energy について
-アブストラクト:
Euclidean design の観点から Euclid 空間上の有限点集合と
potential energy との関係について考察する。
特に Euclidean design の立場から Euclid 空間上有限点集合の
universally optimal code の定義の一つの候補とその一つの十...
この研究は三枝崎剛氏（東北大）との共同研究である。
*** 坂下 一生（九州大学大学院 数理学府）[#sakashita-03]
-タイトル: 量子回路の等価変換と変換規則の完備化
-アブストラクト:
まず，一般的な書換え規則の完備化に関する種々の定義とその...
次に量子コンピュータの手続きを記述するために用いられる"量...
それをひとつの書換え系と捉えその変換規則を完備化すること...
*** 吉良 知文（九州大学大学院 数理学府）[#kira-03]
-タイトル: 非決定性動的計画で求める対局ゲーム必勝法
-アブストラクト:
我々が直面する意思決定問題の多くは, 決定という行為が一度...
一度とった決定の結果から生じる状況の変化に応じて何度も決...
このような問題を効率よく解決する手法の一つが動的計画法で...
本報告では非決定性状態推移システムをもつ問題に対する動的...
この研究は藤田敏治氏（九工大）との共同研究である。
*** 原田 哲夫（久留米工業高等専門学校）[#harada-03]
-タイトル: Klyachkoの定理より導かれるいくつかの不等式
-アブストラクト:
近年、KlyachkoやFultonらにより、Horn Conjectureが解かれた。
ここではまず、Horn Conjectureについて説明し、
それからいくつかの有名な不等式が導かれることや、
新しい不等式が導かれることなどを示す。
#br
** 第2回 2010年 7月10日(土) [#g79d1ee5]
-場所: 九州大学
[[西新プラザ:http://www.kyushu-u.ac.jp/university/institu...
-時間: 12:40-17:40
-&ref(combsem1002.pdf,,,PDFファイル);
-プログラム
||~講演者|~タイトル|
|12:40-12:45|>|開会宣言（谷口 哲至）|
|12:45-13:35|[[平坂 貢>#hirasaka-02]]|On balanced coheren...
|13:50-14:40|[[田中 立志>#ttanaka-02]]|多重ゼータ値のBowm...
|15:00-15:50|[[谷口 哲至>#taniguchi-02]]|Hoffman graph|
|16:05-16:55|[[宗政 昭弘>#munemasa-02]]|A characterizatio...
|17:05-17:35|>|Short Communication|
|17:35-17:40|>|総括（坂内 英一）|
#br
-アブストラクト
*** 平坂 貢（釜山大学）[#hirasaka-02]
-タイトル: On balanced coherent configurations with a fib...
-アブストラクト:
Let '''G''' be a permutation group of a finite set &mimet...
Then &mimetex(\Omega); is the disjoint union of the orbit...
Suppose that the actions of '''G''' on &mimetex(\Delta_i)...
permutation character.
Then the orbits of '''G''' acting naturally on &mimetex(\...
a balanced coherent configuration.
In this talk we focus on this situation under the assumpt...
the size of &mimetex(\Delta_i); is a prime to show some r...
This is a joint work with Reza Sharafdini.
*** 田中 立志（九州大学大学院 数理学研究院）[#ttanaka-02]
-タイトル: 多重ゼータ値のBowman-Bradleyの定理とその多重ゼ...
-アブストラクト:
BowmanとBradley(J. Combin. Theory Ser. A 97, 2002)や宗田(...
シャッフル代数のある等式を示すことで多重ゼータ値のある特...
本講演では, 彼らの結果の多重ゼータ・スター値版も成立する...
具体的には, ハーモニック代数のある等式を示し,
それを用いて多重ゼータ・スター値のある特殊値が有理数倍を...
本結果は斎藤新悟氏, 近藤宏樹氏との共同研究である.
*** 谷口 哲至（松江工業高等専門学校）[#taniguchi-02]
-タイトル: Hoffman graph
-アブストラクト:
Hoffman graph とは、Generalized line graph の一般化をする...
Hoffman graph を使うことで、
「Generalized line graph は root system &mimetex(D_n); で...
P. J. Cameron、J. M. Goethals、J. J. Seidel、E. E. Shult ...
今回の講演で、Hoffman graph とそのテクニックを紹介する。
*** 宗政 昭弘（東北大学大学院 情報学研究科）[#munemasa-02]
-タイトル: A characterization of quasi-line graphs
-アブストラクト:
点と辺からなる graph において辺をあらたに点とみなして作っ...
line graph という．Line graph のクラスを含むクラスとして，
代数的グラフ理論では generalized line graph，グラフ構造論...
quasi-line graph という，異なる一般化がなされている．Gene...
line graph を簡単に特徴付けできる道具が Hoffman graph の...
これを用いて quasi-line graph も特徴付けできることを示す．
#br
** 第1回 2010年 5月 8日(土) [#p64a8835]
-場所: 九州大学
[[西新プラザ:http://www.kyushu-u.ac.jp/university/institu...
-時間: 12:40-17:40
-&ref(combsem1001.pdf,,,PDFファイル);
-プログラム
||~講演者|~タイトル|
|12:40-12:45|>|開会宣言（谷口 哲至）|
|12:45-13:35|[[栗原 大武>#kurihara-01]]|球への埋込みを通...
|13:45-14:35|[[奥田 隆幸>#okuda-01]]|コンパクトリー群上の...
|14:45-15:35|[[溝口 佳寛>#mizoguchi-01]]|有向グラフに対す...
|15:45-16:35|[[Kissani Perera>#kissani-01]]|Laplacian ene...
|16:45-17:35|[[重住 淳一>#shigezumi-01]]|On maximality of...
|17:35-17:40|>|総括（坂内 英一）|
#br
-アブストラクト
***栗原 大武 （東北大学大学院 理学研究科）[#kurihara-01]
-タイトル: 球への埋込みを通じて得られる新しい'''Q'''多項...
-アブストラクト:
1977年にLarmanとRogersとSeidelによってユークリッド空間内...
そして2005年に坂内英一氏と坂内悦子氏によってクラス2の原始...
一方2009年に野崎寛氏によってLarman達の結果を一般の'''s'''...
本講演ではこの野崎氏の結果とクラス'''d'''の'''Q'''多項式...
それが坂内氏達の結果の一般化になっていることを見ていく。
更に逆に一般のクラスの対称なアソシエーションスキームを球...
***奥田 隆幸 （東京大学大学院 数理科学研究科）[#okuda-01]
-タイトル: コンパクトリー群上のデザインと符号についての不...
-アブストラクト:
球面上のデザインと符号の理論において、「堅いデザイン」は...
その定義には以下の重要な事実が用いられる。
すなわち、“デザイン、符号それぞれにおいてFisher型と...
またその不等式の等号成立の場合には、
デザインであることと符号であることは同値”となること...
この結果の一般化として、これまでに rank 1 のコンパクト対...
実および複素 Grassman 多様体などにおいて同様の結果が成り...
この講演では、一般のコンパクトリー群について、表現論の言...
Fisher型不等式の「コンパクトリー群」版、
またその等号成立の場合にデザインと符号が結びつくことを紹...
***溝口 佳寛 （九州大学大学院 数理学研究院）[#mizoguchi-01]
-タイトル: 有向グラフに対するスペクトラル法による分割につ...
-アブストラクト:
グラフのスペクトラル法による分割（クラスタリング）につい...
無向グラフについての理論背景と応用例の紹介, そして,
その有向グラフへの拡張可能性について述べます.
***Kissani Perera （九州大学大学院 数理学府）[#perera-01]
-タイトル: Laplacian energy of Directed Graphs
-アブストラクト:
Energy has been studied in mathematical perspective
as well as physical perspective for several years ago.
In spectral graph theory, the eigenvalues of
several kinds of matrices have been studied,
of which Laplacian matrix attracted the greatest attentio...
Recently, in 2009, Adiga considered Laplacian energy
of directed graphs using skew Laplacian matrix,
in which degree of vertex is considered as total
of the out-degree and the in-degree.
Since directed graphs play an important role in identifying
the structure of web-graphs as well as communication grap...
we consider Laplacian energy of simple directed graphs,
complete directed graphs and their line graphs and find s...
relevant to arc addition of directed graphs
by using the general definition of Laplacian(Kirchoff) ma...
Unlike in [1], we derived two types of equations for simp...
and completed directed graphs with &mimetex(n \geq 2); ve...
Our objective extended to enumerate the structure
of directed graphs using the energy concept.
For that we consider the class &mimetex(P(\alpha));
which consists of non isomorphic graphs with energy less ...
and find 47 non isomorphic directed graphs for class &mim...
''References''~
[1] C. Adiga and M. Smitha. On the skew laplacian energy ...
[2] D.M. Cvetkovic, M. Doob, and H. Sachs. Normalized cut...
In '''Spectra of Graphs''': '''Theory and Applications'''...
***重住 淳一 （九州大学大学院 数理学研究院）[#shigezumi-01]
-タイトル: On maximality of distance sets with the struct...
-アブストラクト:
In the classification of the maximal 2-distance sets,
Lisoněk considered the 2-distance sets which include
the structure of triangular graph '''T'''('''n''') (= '''...
As a generalization, we consider the maximal distance set...
In this talk, we determine the condition that the realiza...
Furthermore, we would like to talk about some maximal dis...
This is joint work with Eiichi Bannai and some members of...
of Fuculty of Science, Kyushu University.
//#br
//このセミナーについてのお問合せは**(**@**)までお願いしま...
ページ名:
