Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Tiling And Root System
Search
USAMI Kosuke
June 28, 2020
Science
0
240
Tiling And Root System
※ Docswell に移行しました
https://www.docswell.com/s/usami-k/KDE4W9-tiling-and-root-system
USAMI Kosuke
June 28, 2020
Tweet
Share
More Decks by USAMI Kosuke
See All by USAMI Kosuke
Onsager代数とその周辺 / Onsager algebra tsudoi
usamik26
0
650
Apple HIG 正式名称クイズ結果発表 / HIG Quiz Result
usamik26
0
190
ゆめみ大技林製作委員会の立ち上げの話 / daigirin project
usamik26
0
340
@ViewLoadingプロパティラッパの紹介と自前で実装する方法 / @ViewLoading property wrapper implementation
usamik26
0
490
これからUICollectionViewを実践活用する人のためのガイド / Guide to UICollectionView
usamik26
1
760
Xcodeとの最近の付き合い方のはなし / Approach To Xcode
usamik26
2
680
UICollectionView Compositional Layout
usamik26
0
800
Coding Swift with Visual Studio Code and Docker
usamik26
0
520
Swift Extension for Visual Studio Code
usamik26
2
1.1k
Other Decks in Science
See All in Science
06_浅井雄一郎_株式会社浅井農園代表取締役社長_紹介資料.pdf
sip3ristex
0
610
データベース09: 実体関連モデル上の一貫性制約
trycycle
PRO
0
980
データマイニング - ウェブとグラフ
trycycle
PRO
0
160
Trend Classification of InSAR Displacement Time Series Using SAE–CNN
satai
4
610
Gemini Prompt Engineering: Practical Techniques for Tangible AI Outcomes
mfonobong
2
150
システム数理と応用分野の未来を切り拓くロードマップ・エンターテインメント(スポーツ)への応用 / Applied mathematics for sports entertainment
konakalab
1
390
データベース06: SQL (3/3) 副問い合わせ
trycycle
PRO
1
620
データベース14: B+木 & ハッシュ索引
trycycle
PRO
0
440
03_草原和博_広島大学大学院人間社会科学研究科教授_デジタル_シティズンシップシティで_新たな_学び__をつくる.pdf
sip3ristex
0
590
論文紹介 音源分離:SCNET SPARSE COMPRESSION NETWORK FOR MUSIC SOURCE SEPARATION
kenmatsu4
0
300
データマイニング - ノードの中心性
trycycle
PRO
0
260
NASの容量不足のお悩み解決!災害対策も兼ねた「Wasabi Cloud NAS」はここがスゴイ
climbteam
0
120
Featured
See All Featured
The Illustrated Children's Guide to Kubernetes
chrisshort
48
50k
Git: the NoSQL Database
bkeepers
PRO
431
66k
The Straight Up "How To Draw Better" Workshop
denniskardys
236
140k
Stop Working from a Prison Cell
hatefulcrawdad
271
21k
Designing Experiences People Love
moore
142
24k
A Modern Web Designer's Workflow
chriscoyier
696
190k
Balancing Empowerment & Direction
lara
3
610
Raft: Consensus for Rubyists
vanstee
140
7.1k
Rebuilding a faster, lazier Slack
samanthasiow
83
9.1k
Measuring & Analyzing Core Web Vitals
bluesmoon
9
580
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
What’s in a name? Adding method to the madness
productmarketing
PRO
23
3.6k
Transcript
1/14 平面の敷き詰めとルート系 宇佐見 公輔 2020 年 06 月 28 日
日曜数学会 宇佐見 公輔 平面の敷き詰めとルート系
2/14 自己紹介 職業:プログラマ / 趣味:数学 最近の活動(登壇・ブログ・Twitter) : 四元数のはなし(2020 年 5
月 / 関西日曜数学友の会) はじめて学ぶリー環 ノート(2020 年 4 月〜 / Twitter) Ising 模型 ノート(2020 年 3 月〜4 月 / Twitter) Onsager 代数の話(2020 年 3 月 / 京都某所) はじめて学ぶリー群 ノート(2020 年 1 月〜3 月 / Twitter) リー代数と結合法則(2019 年 12 月 / Advent Calendar) 回転群のはなし(2019 年 11 月 / 関西日曜数学友の会) 行列の指数関数(2019 年 10 月 / 関西数学徒のつどい) リー代数の計算の楽しみ(2019 年 10 月 / マスパーティ) 宇佐見 公輔 平面の敷き詰めとルート系
3/14 平面の敷き詰め問題 問題 三角形を辺で折り返す操作を繰り返すとき、互いに重ならずに、 すき間なく平面を敷き詰めることができる条件は? 宇佐見 公輔 平面の敷き詰めとルート系
4/14 ヒント 三角形の各頂点に A、B、C と名前をつけておきます。 A B C 頂点 A
のまわりには、頂点 B、C は来ません。よって、∠A の整 数倍が 360◦ ちょうどになる必要があります。 (∠B、∠C も同様) 頂点 A のまわりに集まる角が奇数個の場合、辺 AB と辺 AC が 重なるため、AB = AC である必要があり、∠B = ∠C となりま す。 (B、C についても同様) 宇佐見 公輔 平面の敷き詰めとルート系
5/14 平面の敷き詰め問題の解 先ほどのヒントがあれば、あとは場合分けして解くことができ ます。 宇佐見 公輔 平面の敷き詰めとルート系
6/14 リー代数 話は変わって・・・ リー代数 ベクトル空間 =「加法」と「スカラー倍」 リー代数 = ベクトル空間 +
第 3 の演算「ブラケット積」 ブラケット積が満たすべき条件 1 [ax + by, z] = a[x, z] + b[y, z], [z, ax + by] = a[z, x] + b[z, y](双線型性) 2 [x, x] = 0 ( =⇒ [x, y] = −[y, x])(交代性) 3 [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0(Jacobi identity) 宇佐見 公輔 平面の敷き詰めとルート系
7/14 リー代数はどこで出てくるか リー代数は、代表的なものとしては以下のようなところで出てき ます。 リー群とリー代数 リー群(群構造を持つ微分多様体)の接ベクトル空間がリー代数 になります。 数理物理モデルとリー代数 例えば、強磁性体のモデルであるイジングモデルは、厳密解を リー代数を使って求めることができます。
宇佐見 公輔 平面の敷き詰めとルート系
8/14 ディンキン図形 実のところ僕は、リー群や数理物理とは無関係なところから、 リー代数に興味を持ちました。そのきっかけがディンキン図形。 Example (ディンキン図形) 宇佐見 公輔 平面の敷き詰めとルート系
9/14 ディンキン図形の種類 ディンキン図形を初めて見かけたとき、 「これはなんだろう?」と 不思議に思ったのが第一印象。 「これって数学・・・?」 その後、有限次元複素単純リー代数の分類がこの図形で行われる ことを知り、リー代数の理論に興味を持ちました。 ディンキン図形の種類(有限次元複素単純リー代数の分類) An
(n = 1, 2, 3, 4, 5, . . .) Bn (n = 2, 3, 4, 5, . . .) Cn (n = 3, 4, 5, . . .) Dn (n = 4, 5, . . .) E6, E7, E8, F4, G2 宇佐見 公輔 平面の敷き詰めとルート系
10/14 ルート系 ルート系は、ユークリッド空間内のベクトルの集合で、ある公理 を満たすものです。 ディンキン図形は、ルート系を特定のルールによって図で表現し たものです。ルート系とディンキン図形は 1 対 1 対応しています。
2 次元のルート系は、A2, B2, G2 があります。 宇佐見 公輔 平面の敷き詰めとルート系
11/14 なんか似てる 平面の敷き詰め問題の解 ルート系 宇佐見 公輔 平面の敷き詰めとルート系
12/14 平面の敷き詰めとルート系 実は対応関係があります。 (注:G2 は例外的に 2 つと対応して いる) 宇佐見 公輔
平面の敷き詰めとルート系
13/14 空間の敷き詰め この対応関係は 2 次元だけでなく、より高い次元でも成り立ち ます。 問題 三角錐を面で折り返す(鏡映)操作を繰り返すとき、互いに重な らずに、すき間なく空間を埋め尽くすことができる条件は? 3
次元のルート系は、A3, B3, C3 があります。このそれぞれにつ いて、3 次元空間を埋め尽くす三角錐が対応しており、上記の問 題の解はその 3 通りです。 4 次元以上でも同様です。単体(三角形や三角錐)を超平面で鏡 映する操作を繰り返すとき、互いに重ならずに、すき間なく空間 を埋め尽くすことができるものは、その次元のルート系と対応し ています。 宇佐見 公輔 平面の敷き詰めとルート系
14/14 参考文献 松澤淳一、特異点とルート系、朝倉書店(すうがくの風景シ リーズ 6) 松澤淳一、数学セミナー 2009 年 10 月号
ディンキン図形と ルート系、日本評論社 宇佐見 公輔 平面の敷き詰めとルート系