新着情報

新着情報

代数特別セミナー(7/25)

この講演は最初の一時間はイントロです。その後、休憩をはさんで証明も含めた詳しいお話をしていただきます。

2013年 7月25日 木曜
場所:D509
時間 16:00-17:00 + 17:10-
講演者: 安福 悠(日本大学)
タイトル:軌道の点の座標表示の桁数


アブストラクト: 代数多様体上の自己写像 f: X -> X と有理点 P に対し, 軌道を P, f(P), f(f(P)), ... で定義する.この講演では,射影空間上の自己写像の軌道の点を座標表示したとき,座標の桁数が大体同じ位になっていくことについてお話する.Vojta予想というディオファントス幾何の大変深遠な予想を仮定することで,一般の射や有理写像に関し結果を得られる.また,予想を仮定せずに導ける具体例も,構築することができる.より多くの例の構築には,力学系モーデル・ラング問題の解決とも関連があるので,時間があればこの問題についても触れたい.

連絡先 秋山茂樹 (内線4395)

 

計算数学セミナー(7月19日)

今回のご講演は,学群(部)4 年生や大学院生の方々を主な対象に,入門的解説も含めてお願いしております.多数の方々のご来聴を歓迎します.


タイトル: グレブナ基底を用いたパラメトリック整数計画アルゴリズムについて

講演者: 渋田 敬史氏(九州大学 マス・フォア・インダストリ研究所

日時: 2013 年7 月19 日(金) 16:00〜17:00

場所: 自然系学系棟 D 棟 D814 セミナー室

概要:

パラメトリック整数計画問題とは線形制約の右辺ベクトルがパラメタになっているような整数計画問題である.コンパイラ最適化等への応用に動機付けられ,Feautrier のアルゴリズム,Verdoolaege のアルゴリズムなど種々のアルゴリズムが提案されているが,これらのアルゴリズムの時間計算量評価は難しい.
本講演では,Hosten-Thomas の代数的アルゴリズムによるパラメトリック整数計画問題求解法を紹介し, それがある意味で最も単純な解を計算することを示す.
また, アルゴリズムで中心的な役割を果たす標準対分解を単調論理関数双対化の観点から眺めることで,パラメトリック整数計画問題は $$2^{O(n(\log n+\log a_{\max}))}$$ 時間で解くことができることを示す(ただし, n は変数の数, $$a_{\max}$$ は行列の要素の最大絶対値, 行列のランクは定数とする) .

世話人: 田島 慎一,照井 章

連絡先照井 章 (terui at math.tsukuba.ac.jp) (at => @)


掲示・チラシはこちら:20130719-poster.pdf

筑波大学数学談話会 (7月18日)

日時: 2013年7月18日(木)15:30-17:00 ※15:00からティータイム
場所: 自然系学系棟D509

講演者: 土岡俊介 氏 (IPMU)
講演題目: 対称群のモジュラー表現論の最近の話題について

概要:
2007年から2008年の間に、RouquierとBrundan-Kleshchevによって、正標数の対称群の群代数には、非自明な次数付き代数の構造が入ることが示された。前半でその背景や意義を解説し、後半でその射影表現類似に関する柏原正樹氏とSeok-Jin Kang氏との共同研究について解説する。

第1回 つくばフレッシュマンセミナー (7月13日-15日)

研究集会「つくばフレッシュマンセミナー」を開催いたしますのでご案内申し上げます。

日時: 2013年7月13日(土) 13:50 - 7月15日(月・海の日) 17:00
場所: 筑波大学・自然系学系D棟509号室

世話人:古賀寛尚(筑波大学)・清水健一(名古屋大学)・三石史人(東北大学)

プログラムは以下のとおりです。
講演概要等は、こちらのPDFファイルをご覧ください。


■ 7月13日(土)

13:50 - 14:00
開会の挨拶

14:00 - 15:00 柴田 大樹 (筑波大学)
Algebraic Supergroups over a PID and its applications

15:15 - 16:15 森岡 悠 (学習院大学)
Scattering theory on non-compact graphs with square-lattice-like ends

16:30 - 18:00 櫻井 陽平 (筑波大学)
リッチ曲率が下に有界な境界付きリーマン多様体の剛性


■ 7月14日(日)

10:00 - 12:15 神田 遼 (名古屋大学)
Atom spectra of Grothendieck categories (※途中休憩15分有り)

14:00 - 15:00 小西 正秀 (名古屋大学)
$A_{n}^{(1)}$型巡回KLR代数の話

15:15 - 16:15 越野 克久 (筑波大学)
Topological Types of Convex Sets in Frechet Spaces

16:30 - 17:30 松田 能文 (京都大学)
円周への群作用と回転数

18:00 -
懇親会


■ 7月15日(月)

10:00 - 11:00 嶺 幸太郎 (東京大学)
Coarse幾何学と位相空間論

11:15 - 12:15 冨江 雅也 (盛岡大学)
Gray Code に関する話

14:00 - 14:30 鈴木 俊夫 (筑波大学)
ウェーブレット展開の収束条件について

14:45 - 15:45 田島 慎一 (筑波大学)
局所コホモロジーとNewton非退化な孤立特異点の計算代数解析

16:00 - 17:00 竹内 耕太 (筑波大学)
ラムゼイの定理とトポロジカルダイナミクス

代数特別セミナー (7月12日-13日)

2013年 7月12日(金) -13日(土)
場所:B722


7月12日(金)15:15-16:10
講演者: 寺井 伸浩氏 (足利工業大学)
講演題目: A note on the Diophantine equation concerning Pythagorean numbers.

ピタゴラス数 a,b,c (b 奇数) に関する Jesmanowiczの予想の類似として, 不定方程式 x^2+b^m=c^n の正の整数解は (x,m,n)=(a,2,2) だけであるという予想がある. この予想は
多くの場合に成り立つことが知られているが, 未解決の問題である. この講演では, a, b, c を a^2 + b^4=c^2 (resp. a^2 + b^2=c^4) を満たす互いに素な正の整数とするとき, いくつかの条件の下で, 不定方程式 x^2+b^m=c^n の正の整数解は (x, m,n)=(a,4,2) (resp. (a,2,4)) だけであることを示す. その証明は, 不定方程式 x^2+1=2y^n に関するリュングレン・シュテルマーの結果と初等的な方法に基づいている. 

7月13日(土) 10:00-10:50
講演者:張志鴻 Chih-Hung Chang (逢甲大學)
講演題目:Multi-layer Cellular Neural Networks: Deep and Shallow Architectures

Abstract: Allowing computers to model our world well enough to exhibit what we call intelligence has been the focus of more than half a century of research. To achieve this, it is clear that a large quantity of information about our world should somehow be stored, explicitly or implicitly, in the computer. Because it seems daunting to formalize manually all that information in a form that computers can use to answer questions and generalize to new contexts, many researchers have turned to learning algorithms to capture a large fraction of that information. Much progress has been made to understand and improve learning algorithms, but the challenge of artificial intelligence (AI) remains. Multi-layer cellular neural networks is introduced for the purpose of mimicking human brains and is widely studied in many aspects.


This presentation focuses on the mathematical foundation for multi-layer cellular neural networks. Due to the learning algorithm and training processing of the networks, the investigation of the so-called mosaic solutions is most essential. The mosaic solution space forms a sofic space in classical symbolic dynamical systems. The topological entropy, zeta function, and Hausdorff dimension are computed to describe the complexity of the mosaic solution space. Furthermore, the influence of the boundary conditions are elucidated.

7月13日(土) 11:00-11:50
講演者:魏傳昇 Chuan-Sheng Wei (逢甲大學)
講演題目:Multiple Zeta Values : Evaluations and Relations

Abstract:  The classical Euler sum is defined by

 S_{p,q}=\sum_{k=1}^{\infty}\frac{1}{k^{q } }\sum_{j=1}^{k}\frac{1}{j^{p } }


where $p$ and $q$ are positive integers with q\geq 2 for  the sake of the convergence of the double series. The evaluations of Euler sums in terms of values at positive integers of Riemann zeta function has a long story. It was first proposed in 1742 in a letter from
Goldbach to Euler.

 

Multiple zeta values are natural generalizations of the classical Euler sums. For positive integers \alpha_1,\alpha_2,\ldots,\alpha_r with \alpha_r geq 2, the multiple zeta function or r-fold Euler sum defined as

 

 \zeta(\alpha_1,\alpha_2,\ldots,\alpha_r)=\sum_{1\leq n_1<n_2<\cdots<n_r}n_1^{-\alpha_1}n_2^{\alpha_2}\cdots n_r^{-\alpha_r}

 

The concept of multiple zeta values was first introduced in the 1990s by Hoffman under the name of multiple harmonic series. After, it was found the connection to knot theory with close relation to Feynman diagram in quantum physics. Also, its evaluations as well as its relations has attracted specialists and non-specialists in mathematics and physics.

連絡先 秋山茂樹 (内線4395)