* 2012年度 組合せ数学セミナー [#o3645a24]
-世話人: [[溝口 佳寛:http://imi.kyushu-u.ac.jp/~ym/]]（九大IMI），平坂 貢（釜山大／九大数理），[[谷口 哲至:http://researchmap.jp/tetsuzit-14/]]（松江高専），島袋 修（崇城大），[[三枝崎 剛:https://sites.google.com/site/tmiezakij/]]（大分高専）
Organizers:~
[[Yoshihiro Mizoguchi:http://imi.kyushu-u.ac.jp/~ym/]] (Kyushu University),~
Mitsugu Hirasaka (Pusan National University / Kyushu University),~
[[Tetsuji Taniguchi:http://researchmap.jp/tetsuzit-14/]] (Matsue College of Technology),~
Osamu Shimabukuro (Sojo University),~
[[Tsuyoshi Miezaki:https://sites.google.com/site/tmiezaki/]] (Oita National College of Technology)
-アドバイザー: 坂内 英一（上海交通大学／九州大学）
Advisary:~
Eiichi Bannai (Shanhai Jiao Tong University / Kyushu University)
*** 第3回 2012年 9月22日(土) [#i5thpna4]
-場所：未定
-時間：13:00-18:00
-講演者：溝口 佳寛(九大数理), 末竹 千博(大分大), 籾原 幸二(熊本大), 菊田 俊幸（大阪工大）
-プログラム(Program)
||~講演者(Speaker)|~タイトル(Title)|
||>|~アブストラクト(Abstract)|
|時間未定|>|開会宣言（谷口 哲至）&br; Opening (Tetsuji Taniguchi)|
|時間未定|[[溝口 佳寛>#mizoguchi-03]]&br; (Yoshihiro Mizoguchi)| Roach型グラフの固有多項式とグラフ分割について |
|時間未定|[[末竹 千博>#suetake-03]]&br; (Chihiro Suetake)| TBA |
|時間未定|[[籾原 幸二>#momihara-03]]&br; (Koji Momihara)| TBA |
|時間未定|[[菊田 俊幸>#kikuta-03]]&br; (Toshiyuki Kikuta)|Ramanujan型の合同式の多変数化について &br; (On a generalization of Ramanujan type congruences to the case of several variables)|
|時間未定|>|総括（溝口 佳寛）&br; Closing (Yoshihiro Mizoguchi)|
#br
-アブストラクト(Abstract)
***溝口 佳寛(九大数理) [#mizoguchi-03]
Yoshihiro Mizoguchi (Kyushu University)
-タイトル(Title): Roach型グラフの固有多項式とグラフ分割について
-アブストラクト(Abstract):
***末竹 千博(大分大)[#suetake-03]
Chihiro Suetake (Oita University)
-タイトル(Title):
-アブストラクト(Abstract):
***籾原 幸二(熊本大)[#momihara-03]
Koji Momihara (Kumamoto University)
-タイトル(Title):
-アブストラクト(Abstract):
***菊田 俊幸（大阪工大)[#kikuta-03]
Toshiyuki Kikuta (Osaka Institute Of Technology)
-タイトル(Title): Ramanujan型の合同式の多変数化について~
(On a generalization of Ramanujan type congruences to the case of several variables)
-アブストラクト(Abstract):
Ramanujanの合同式としてよく知られているように、重さ12のEisenstein級数と、
Ramanujanのデルタ関数の各Fourier係数が素数691を法として合同になる。
これはEisenstein級数とカスプ形式の間の合同関係の一例である。本講演では、
次数2のSiegelモジュラー群およびHermiteモジュラー群に対するEisenstein級数
と、あるカスプ形式の間に合同関係があることが分かったので報告する。さらに、
この結果の簡単な応用として、k番目の一般Bernoulli数の分子を割る素数があれば、
重さkの非自明なHermiteカスプ形式の存在が分かるということを述べる。
尚、以上の結果は長岡昇勇氏との共同研究によって得られたものである。
時間があれば、その他、多変数モジュラー形式の合同に関する結果を報告したい。
#br
** 第2回 2012年 7月14日(土) [#v2625a3f]
-場所: 九州大学 [[西新プラザ:http://www.kyushu-u.ac.jp/university/institution-use/nishijin/index.htm]] 大講義室A(2F)~
(Location: Lecture Hall A, [[Nishijin Plaza:http://www.kyushu-u.ac.jp/university/institution-use/nishijin/english.htm]], Kyushu University)
-時間: 13:00-18:00
-講演者: 生田 卓也（神戸学院大），松下 昂平（九大数理），野口 健太（慶応大），城本 啓介（熊本大），鍛冶 静雄（山口大）
-&ref(combsem1202.pdf,,,PDFファイル);
-プログラム(Program)
||~講演者(Speaker)|~タイトル(Title)|
|12:55-13:00|>|開会宣言（谷口 哲至）&br; Opening (Tetsuji Taniguchi)|
|13:00-13:45|[[生田 卓也>#ikuta-02]]&br; (Takuya Ikuta)|The Nomura algebra of some type II matrices|
|13:50-14:35|[[松下 昂平>#matsushita-02]]&br; (Kohei Matsushita)|変換行列による補間で作成されたアニメーションの特徴づけについて&br; (On characterization of the animation created by interpolation used a transform matrix)|
|14:40-15:25|[[野口 健太>#noguchi-02]]&br; (Noguchi Kenta)|グラフの最小種数埋め込みとその性質&br; (Minimum genus embeddings of graphs and their characteristics)|
|15:35-16:25|[[城本 啓介>#shiromoto-02]]&br; (Keisuke Shiromoto)|有限環上の符号とマトロイド&br; (Codes over rings and matroids)|
|16:30-17:20|[[鍛冶 静雄>#kaji-02]]&br; (Shizuo Kaji)|An invitation to Schubert calculus|
|17:20-17:25|>|総括（溝口 佳寛）&br; Closing (Yoshihiro Mizoguchi)|
#br
-アブストラクト(Abstract)
***生田 卓也 (神戸学院大学)[#ikuta-02]
Takuya Ikuta (Kobe Gakuin University)
-タイトル(Title): The Nomura algebra of some type II matrices
-アブストラクト(Abstract):
type II 行列から野村代数を定義できる。
この野村代数は、Bose-Mesner 代数に一致することが知られている。
この講演では、次の 2 点について話をします。~
(1) ある特別な type II 行列を考えて、Bose-Mesner 代数を決定する。~
(2) 24次の Hadamard 行列に対する Bose-Mesner 代数を決定する。
***松下 昂平 (九州大学大学院 数理学府)[#matsushita-02]
Kohei Matsushita (Kyushu University)
-タイトル(Title): 変換行列による補間で作成されたアニメーションの特徴づけについて~
(On characterization of the animation created by interpolation used a transform matrix)
-アブストラクト(Abstract):
コンピュータグラフィックスにおいてオブジェクトの移動を補間してアニメーションを作成する方法として，
時間 '''t''' でパラメータづけされた変換行列に対して，
'''t''' を連続的に変化させることで移動を実現する手法がいくつか知られている．
しかし，このような変換行列で実現した変形の良さについて数学的な特徴づけがあまり議論されていない．
本講演では，いくつかの観点から変形の良さについて数学的な定義を与え，それらの評価について紹介する．
***野口 健太 (慶應義塾大学)[#noguchi-02]
Noguchi Kenta (Keio University)
-タイトル(Title): グラフの最小種数埋め込みとその性質~
(Minimum genus embeddings of graphs and their characteristics)
-アブストラクト(Abstract):
位相幾何学的グラフ理論において，グラフの閉曲面への埋め込みとは，
グラフ '''G''' を閉曲面 &mimetex(F^2); 上に辺の交差なく描くことをいう．
'''G''' の埋め込みのうち，最も種数が小さい閉曲面への埋め込みを '''G''' の最小種数埋め込みという．
オイラーの公式により種数の下界が計算できるのであるが，
完全グラフや完全 2 部グラフなど代表的なグラフの族においては，
頂点数が小さいときの例外を除いて下界である種数の閉曲面に埋め込みが実現できることが知られている．
最小種数埋め込みの例を構成するのには current graph という構造が使われており，
とても強力な武器となっている．
本講演では，current graph から得られるグラフとその埋め込みの性質を紹介する．
***城本 啓介 (熊本大学)[#shiromoto-02]
Keisuke Shiromoto (Kumamoto University)
-タイトル(Title): 有限環上の符号とマトロイド質~
(Codes over rings and matroids)
-アブストラクト(Abstract):
We consider a class of generalizations of matroids, called demi-matroids,
which have a duality property. This talk shall give some fundamental results
on demi-matroids including duality theorems, et al., and a construction of
demi-matroids from linear codes over finite quasi-Frobenius rings. Then we
apply some results on demi-matroids to linear codes over these rings and
show duality theorems such as a Wei-type duality of generalized Hamming
weights for these codes.
***鍛冶 静雄 (山口大学)[#kaji-02]
Shizuo Kaji (Yamaguchi University)
-タイトル(Title): An invitation to Schubert calculus
-アブストラクト(Abstract):
「3次元ユークリッド空間内に与えられた、一般の位置にある4本の直線全てに交わる直線は何本引けるか？」
19世紀後半、H. Schubert はこの種の "数え上げ幾何" の問題を数多く考察した。
その素朴な設定と技巧的な解決手法は、ヒルベルトの第15問題を通して交叉理論の問題に定式化され、
現在は、代数幾何学・トポロジー・組合わせ論・表現論・数理物理…
などの交差点をなす "シューベルトカルキュラス" という分野を形成している。
特に組合わせ論とは、対称関数・コクセター群・ヤング図形などを通して深く関連しており、
たくさんの問題を提供している。
この講演では、トポロジーと組合わせ論との関わりを中心にシューベルトカルキュラスを紹介する事を目標とする。
また、講演者が断念しているいくつかの問題を提出したいと考えている。
#br
** 第1回 2012年 6月 2日(土) [#m79deba8]
-場所: 九州大学 [[西新プラザ:http://www.kyushu-u.ac.jp/university/institution-use/nishijin/index.htm]] 中会議室(2F)~
(Location: Meeting Room, [[Nishijin Plaza:http://www.kyushu-u.ac.jp/university/institution-use/nishijin/english.htm]], Kyushu University)
-時間: 13:00-18:00
-講演者: 島袋修（崇城大），田坂浩二（九大数理），城戸浩章（福岡大），秋山正和（九大IMI）
-&ref(combsem1201.pdf,,,PDFファイル);
-プログラム(Program)
||~講演者(Speaker)|~タイトル(Title)|
|12:55-13:00|>|開会宣言（谷口 哲至）&br; Opening (Tetsuji Taniguchi)|
|13:00-13:50|[[島袋 修>#shimabukuro-01]]&br; (Osamu Shimabukuro)|ジョンソンスキームのモジュラー隣接代数の構造について&br; (On structures of modular adjacency algebras of Johnson schemes)|
|14:05-14:55|[[田坂 浩二>#tasaka-01]]&br; (Koji Tasaka)|The formulas of representing integers as sums of squares|
|15:25-16:15|[[城戸 浩章>#kido-01]]&br; (Hiroaki Kido)|一般アダマール行列のサイズの拡張について&br; (On the extension of sizes of generalized Hadamard matrices)|
|16:30-17:20|[[秋山 正和>#akiyama-01]]&br; (Masakazu Akiyama)|A Mathematical Model of Cleavage|
||>|総括（溝口 佳寛）&br; Closing (Yoshihiro Mizoguchi)|
#br
-アブストラクト(Abstract)
***島袋 修 (崇城大学)[#shimabukuro-01]
Osamu Shimabukuro (Sojo University)
-タイトル(Title): ジョンソンスキームのモジュラー隣接代数の構造について~
(On structures of modular adjacency algebras of Johnson schemes)
-アブストラクト(Abstract):
We consider algebras over a field of characteristic '''p''' which
are generated by adjacency algebras of Johnson schemes.
If the algebra is semisimple, the structure is the same as that
of the well-known Bose-Mesner algebras.
We determine the structure of the algebra when it is not semisimple.
***田坂 浩二 (九州大学大学院 数理学府)[#tasaka-01]
Koji Tasaka (Kyushu University)
-タイトル(Title): The formulas of representing integers as sums of squares
-アブストラクト(Abstract):
ある自然数を '''s''' 個の平方数の和で表す方法の個数の明示公式
の研究は1800年前後からなされており, 数論の古典的な問題の一つである.
これに対し, 今回, '''s''' が8の倍数のときに新たな公式が見つかったので, それを
紹介する.
***城戸 浩章 (福岡大学)[#kido-01]
Hiroaki Kido (Fukuoka University)
-タイトル(Title): 一般アダマール行列のサイズの拡張について~
(On the extension of sizes of generalized Hadamard matrices)
-アブストラクト(Abstract):
一般の有限群において、その元を成分とする正方行列がアダマール行列の類似の性質をみたすとき、
一般アダマール行列といいます。
本講演では、有限体の加法群について、
既に得られた一般アダマール行列からさらに大きなサイズの一般アダマール行列を得る方法について紹介します。
***秋山 正和 (九州大学 マス・フォア・インダストリ研究所)[#akiyama-01]
Masakazu Akiyama (Kyushu University)
-タイトル(Title): A Mathematical Model of Cleavage
-アブストラクト(Abstract):
卵割とは発生の初期段階において、受精卵が全体のサイズをほぼ一定に保ちつつ、
分裂を繰り返しながら、細胞数を増やしていく過程である。
この間、割球同士の配置やタイミングがいかに調整されて、自己を複雑に形作るのかは謎とされている。
このような発生現象は一般的に、遺伝子すなわち分子レベルの情報で決まっていると考えられがちである。
しかしながら、黒田玲子氏(東京大)が行った巻貝に対する一連の実験[1]からもわかるように、
物理的な外力が巻貝の巻き方を反転させることから、発生は遺伝子の情報がすべてを決めているのではなく、
より単純な別の原理により起こっているに違いない。
我々は図1のようなウニとナマコの卵割パターンについて、
卵内の分裂装置の位置が卵の形状とモルフォゲンにより決まっているという単純な仮説を立て、
数値シミュレーションを行った。
その結果、このような複雑な形状を持つ卵割を再現することができた。
ウニ卵の動物極･植物極付近にはそれぞれ異なる拡散性の化学物質が存在していることがわかっている。
ここでは、これらが中心体の動きに影響を与えるという仮説を用いた。
例えば、中心体に対して動物極からの化学物質が忌避性を、植物極からの化学物質が誘因性を持った場合、
図2にあるような複雑なウニの卵割が再現できた。
上段は実際の卵割、下段はシミュレーションであり、16細胞期のような複雑な形状を持つ場合でさえ、
中心体の方向性だけでなく、小割球-中割球-大割球までもが再現できている。このことからわかるとおり、
卵割の再現は化学物質の拡散現象が重要であると考えることができる。
本発表ではモデルをより深く掘り下げて紹介するとともに、ナマコへのモデルの適用性なども紹介する。
#ref(figure1.png,nolink,173x100)
#ref(figure2.png,nolink,450x161)
''参考文献''~
[1] Chiral blastomere arrangement dictates zygotic left-right asymmetry pathway in snails, Nature 462, 790-794, 10 December 2009.
