arXiv探訪

興味の赴くままに数学するだけ

収束空間論のノート

ますだらに収束構造の記事を追加しました。前に書いてたノートの書き方が不満だったのでリライトしてます。 https://mathdala.netlify.com/Convergence/Filter https://mathdala.netlify.com/Convergence/PushPullProd https://mathdala.netlify.com/Converg…

Microfacet理論の公理化について(思案中)

ますだらにノートを更新しました。 https://mathdala.netlify.com/Notes/Microfacet Eric Heitzのmicrofacet理論が面白そうなことをやっているので、これを公理化できないかと考えている記事です。Microfacet理論の論文については以下に日本語での解説があり…

加藤文元「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」感想

普段あまり啓蒙書の類は読まないのですが、数学コミュニティ? で結構話題になってたので読んでみました。 結論から述べると、本書の内容はMATH POWER 2017の講演をほぼそのまま書き下したものです。 www.youtube.com 既に数学を知っている人がもし読むので…

藤井保憲「時空と重力」感想

www.san-to.co.jp 産業図書のシリーズ「物理学の廻廊」の一冊であり、Einsteinの特殊相対性理論及びリーマン幾何学、そして一般相対性理論を僅か160ページで解説した本。記述が非常に丁寧で、図も多く、かつコンパクトに纏まっているので、この分野の入門と…

クリフォード代数の計算例

ますだらを更新 https://mathdala.netlify.com/Notes/CliffordAlgebraExamples 計算例を幾つか載せました。という定理があるので、それに繋げたいのですが、上手い基底の取り方が良く分からないというか、どう対応させればちゃんと同型が示せるのか分かって…

クリフォード代数とか

幾何代数、クリフォード代数に関する以前書いた記事シリーズ arxiv.hatenablog.com をますだらへの移植中です。まだ最初の方だけですが。 https://mathdala.netlify.com/Notes/ あと宣伝として、TeXで数式が書けるSNSでマストドンのインスタンスがあります。…

メビウス函数の計算

ますだらに記事を追加。 メビウス函数の計算 オイラー積表示のなんちゃって証明もあります。

余代数、隣接代数(Incidence Algebra)、メビウス函数

ますだらに次の2記事を挙げました。このブログやマストドンで呟いた内容も含んだ、余代数や隣接代数の入門記事です。といってもまだ未完成で、とりあえず書いた部分だけ。メビウス函数の例やオイラー積表示については、まだ細部を詰め切れてないのでもうちょ…

加群の剰余とテンソル積

2年前に考えていた疑問をずっと放置していたのが、昨日の夜に考えたら、ふと反例が出たという話。 arxiv.hatenablog.com 可換環上の加群の部分加群について、 が成り立つか否か。 この形の命題はたまに使われていて、が体のときや、加群ではなくてイデアルの…

数学サイトリンク集

ますだらにページを追加 https://mathdala.netlify.com/Links ブラウザのブックマークからいくつか抜粋してリンク集を作りました。他にもこんなサイトがあるよ、とかここが熱い、とかあったらコメントやマストドンで教えてください。あと一応、個人用です。

代数体のガロア理論

ますだらを更新しました。 https://mathdala.netlify.com/Galois/GaloisIntro 古典的なガロア理論を代数体に制限して解説してみました。分かってる人だけが読める文章な気がしないでもないですが、見通しは良くなったのではないでしょうか。議論の流れが良く…

動的ボルツマンマシン(Dynamic Boltzmann Machine)

恐神貴行の「ボルツマンマシン」を大体読んだので、その感想も踏まえて動的ボルツマンマシンについて書いてみる。 復習 「はじめに」にも書いてある通り、ボルツマンマシン(BM)は人間の神経細胞網をモデル化した機械学習のモデルだ。各ユニットが神経細胞…

数学サイト「ますだら」を作ってみた

マストドンではちらっと書いたのですが、こんなの作り始めました↓ https://mathdala.netlify.com/Galois/GaloisIntro 名前はmathdala。由来は数学+曼荼羅です。まだ何もないですが、ゆくゆくは過去の記事をまとめた文章や解説などを載せようかなと思います…

恐神貴行、ボルツマンマシン、感想(前半)

www.coronasha.co.jp タイトル通り、ボルツマンマシンのフルコースを味わえる一冊である。機械学習系の書籍を読むのはこれで2冊目になるが、この分野に関する理解が大きく進んだと思う。というのも、ボルツマンマシンは構造が単純であるにも関わらずその問題…

金谷健一「線形代数セミナー 射影、特異値分解、一般逆行列」の読書感想文

はっきり言うと、英文併記は蛇足以外の何物でもない。本文は100ページ程度なのだが、実質的には50ページ分の内容しかない。値段も2300円だが、形式的には1000円分の価値しかない。検索のキーワードとなる語彙の英語表記は嬉しいが、本文をそのまま翻訳されて…

ブロックデザインの組み合わせ

平等な組合せ ダイヤモンドゲームというボードゲームをご存知だろうか。これは一片の長さが5の正六角形の各辺から正三角形を伸ばしたグリッド状の星型の盤面を用いて3人で遊ぶゲームである。3色の駒が15個ずつ1つ置きの正三角形上に並んでおり、各プレイヤー…

循環小数の2つの周期列に関する恒等式(Midy-Lewittesの定理)について

有理数の小数展開も面白いという話を小耳にはさみ、Midyの定理を知り、その過程でLewittesの論文を読んだのでその読書感想文。 有理数を小数展開すると循環小数になる。例えば のように、小数点以下に現れる数字が一定の周期を持つ。もちろん など、有限で終…

ブログをhttps配信に設定しました

ブログの配信方法をhttpsに変更しました。セキュリティのことは良く分かりませんが時世に乗ります。新規に作るとデフォがhttpsになるそうなので。 見れなくなるコンテンツとかは多分無いです。もしお気に入りとかに登録されている方がいらっしゃれば、一応更…

フィボナッチ数はやばい~Zeckendorfの定理とKnuth積~

フィボナッチ数はやばい。とにかくやばい。 一応定義を述べておくと、フィボナッチ数とは という再帰方程式で定義される自然数の列である。最初の数個を挙げると と続いていく。これらの数が非常に多くの性質を持つことは、数学に造詣が深い人ならご存知かと…

Unityで遊ぶ ジョイスティックの設定

久しぶりにUnityを触りたくなって調べると、いつの間にかバージョンが上がって色々機能が追加されていることに気付きました。RenderPipelineがスクリプトで制御できるようになったらしく、ShaderGraphで手軽に弄れたり何やら楽しそうです。2Dの機能も結構追…

収束空間のノートについて

収束空間のノート

GitHubのConvergentSpaceを更新しました

色々と雑なままにしておくわけにもいかないので、フィルターについてほんの少しだけ記しました。まだいくつかの論文が読めてないので、あくまでも試作です。色々と構成を練りながら、取りあえず長い文章がどんな風に見えるかの確認も踏まえてです。あとあま…

GitHub+GitBook+VSCode+KaTeXによる数学文章作成について

数学文章をいかに実現するかは骨に印を刻んでいた太古の昔から続く人類の夢だったのですが、多くの人の努力があって今はその選択肢もかなり増えた気がします。「はてなブログ」もその一つであり、MathJaxを用いた数式処理システムが使われています。難しい設…

収束空間の記事を読みました

ただの感想記事です。 loveブルバキさんの「記号の世界ゟ」というブログにある収束空間に関する一連の記事を読みました。(ゟを「より」と読むなんて初めて知ったよ。) tetobourbaki.hatenablog.com tetobourbaki.hatenablog.com tetobourbaki.hatenablog.c…

GAの線型理論その3

復習(修正と加筆) のシルベスター条件とはについて を満たすこと。 最後のについてはグラミアンがゼロであってもよい。は常に直交かつ一次独立と見なしたいからである。 このとき以下が成り立つ。 補題 ベクトルの組はシルベスター条件を満たすとする。こ…

GAの線型理論その2

ブレード 以下、は全順序として、は体とする。 定義 をベクトルとする。 を-ブレード(blade)と呼ぶ。は-ブレードとする。 -ブレードは-ベクトル()となるが、まずはブレードの代数的性質から見ていこう。 補題 をゼロでないブレードとする。このとき は一…

GAの線型理論その1

環が体のとき、GAはベクトル空間としての構造を持つ。逆にベクトル空間はあるGAへの埋め込みを持ち、GAの一部としてみなすことができる。この同一視により、GAはベクトル空間としての幾何学的視点を得ることになる。すなわち、GA上に定義された様々な作用、…

非退化GAの双対構造

小ネタというか、七誌さん(七誌の開発日記)とマストドンで交わした内容について。 擬スカラー が有限集合であって、についてが常に可逆となるとき、GAは非退化(non-degenerate)であると言う。以下は非退化であるとする。 定義 を擬スカラー(pseudo-scal…

GAの計算

前回の復習 を半順序集合、をの有限部分集合全体とする。を単位的可換環としてを写像とする。に対して と定めると、任意のに対して が成り立つ。ここで と定めると、自由-加群 上に、-双線型かつ結合的な積を で定めることができる。このような代数を総じて…

サイコロゲームのシミュレーション

mathtodonネタ 次の4種類のサイコロを使ったゲームを考える。 目がのサイコロA 目がのサイコロB 目がのサイコロC 目がのサイコロD プレイヤーは4種類の中から1種類を選び対戦を行う。対戦は2人で行い、それぞれ選んだサイコロを振り、出た目が大きい方が勝ち…