1/3

セミナー情報2015年5⽉

セミナー⼀覧

2015.5.1 | セミナー

ロジックセミナー（15:00--【会場：合同棟1201】）
講演者１： ⼩俣 安彦 ⽒（東北⼤学⼤学院理学研究科）
題⽬：無限ゲームとRamseyの定理
講演者２： 藤原 誠 ⽒（北陸先端科学技術⼤学院⼤学）
題⽬：An arithmetical hierarchy of logical principles and reverse mathematics
概要：
It has been established that there is a strong connection between an arithmetical hierarchy of logical principles and the hierarchy inclassical (Friedman-Simpson) reverse mathematics. In this talk, we would give an overview of the research on this topic and introduce
some recent developments on the hierarchy of logical principles.
ロジックセミナーの情報はこちら
2015.5.5 | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】）
休み
2015.5.7 | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：物部 治徳 ⽒（明治⼤学先端数理科学インスティテュート研究推進員）
題⽬：⾮対称な反応項を持つある２成分系の急速反応極限
概要：
近年、D. Hilhorstらをはじめ反応拡散系における``急速反応極限"の解析が進められ, 様々な極限問題が出現することが報告されている。 ただし、多くの結果は反応項にある種の対称性があり、 その対称性を崩した場合に関する解析結果はほとんど報告させていない。 そこで、我々は⾮対称性が極限問題に及ぼす影響を調べるために、 ⾮対称なべき乗を急速反応項に持つある⼆成分系の極限問題の考察を⾏った。 その結果、べき乗の指数の組み合わせを変えることで、少なくとも ３タイプの極限問題が導出されることがわかった。 本講演では主定理とともに極限問題と指数の関係性について報告させて頂く。 なお、本研究は飯⽥雅⼈⽒(宮崎⼤学)、⼆宮広和⽒(明治⼤学)、村川秀樹⽒(九州⼤学) との共同研究である。
応⽤数学セミナーの情報はこちら
2015.5.8 | セミナー

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者： 佐藤隆 ⽒（東北⼤学⼤学院理学研究科）

題⽬：Problems in Reverse Mathematics to be solved
ロジックセミナーの情報はこちら
2015.5.11 | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者： ⼭崎 隆雄 ⽒（東北⼤学⼤学院理学研究科）
題⽬：A survey on Tate's conjectures and motives over a ﬁnite ﬁeld

⽉曜解析セミナー（14:00--15:30【会場：数学棟209】）
講演者：杉⼭ 由恵 ⽒（九州⼤学 ⼤学院数理学研究院）
題⽬：Global existence and ﬁnite time blow-up of solutions tothe Keller-Segel systems coupled with the Navier-Stokes ﬂuid

2015.5.12 | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】）
講演者：福島 ⻯輝 ⽒ (京都⼤学数理解析研究所)
題⽬：Anderson模型の固有値の揺らぎについて
概要：
Anderson模型とはランダムポテンシャルを伴うSchrodinger作⽤素である。 本講演ではこれを有界領域を近似する細かい格⼦の上で考えて、格⼦間隔2/3を ⼩さくした極限を考える。このような設定では多くの場合に作⽤素が適当な意味で ランダムでない平均化された作⽤素に収束する、均質化（homogenization）と 呼ばれる現象が起こることが知られている。これは確率論的には⼤数の法則に あたるが、今回は固有値に関してはさらに中⼼極限定理にあたることが成り⽴つ ことを⽰した。この種の問題は摂動論的に扱われることが多く、⼩沢真や Guillaume Balの先⾏結果があるが、証明の構造上Green関数の⼆乗可積分性が 必要になることから結果は低次元に限られている。今回はマルチンゲール 中⼼極限定理を使う確率論的アプローチを考え、⾼次元の場合にも結果を 得ることができた。本講演はUCLAのMarek BiskupとWierstrass研究所の Wolfgang Konigとの共同研究に基づく。
2015.5.14| セミナー

代数セミナー(13:30--16:45【会場：数学棟209】)
2講演あります。
（1）13:30--15:00
講演者：跡部発 ⽒ （京都⼤学）

題⽬：The local Gan-Gross-Prasad conjecture for simplectic-metaplectic groups
概要：
B. H. Gross と D. Prasad は Waldspurger の結果の⼀般化として、特殊直交群に関して、 あるL関数の特殊値と保型表現の周期との関係を予想した。
Gan-Gross-Prasad により、 その予想は各古典群の４つの場合に拡張された。彼らは局所的な予想も同時に与えた。 これは局所的な表現の分岐則とlocal root number との関係を与える予想である。 ４つの局所版において、３つは Waldspurger, Moeglin-Waldspurger, Beuzart-Plessis, Gan-Ichinoらによって証明された。本講演では、局所版の最後の⼀つである、 シンプレクティック群の場合について紹介する。また、局所テータリフトに関するD. Prasad の予想も紹介する。
（2）15:15--16:45
講演者：Kimball Martin ⽒ （University of Oklahoma）
題⽬：Congruences and nonvanishing of twisted L-values
概要：
Central L-values of elliptic curves, at least conjecturally, contain important arithmetic data of these curves. I will explain how one can study
the arithmetic of these central L-values in families of quadratic twists by associating elliptic curves with 3 kinds of modular forms: integral
weight, half-integral weight, and quaternionic. The half-integral weight and quaternionic forms yield two diﬀerent arithmetic interpretationsof these central L-values. We will look at speciﬁc examples and see how, at least in certain families, one can get very explicit information
about nonvanishing of L-values and congruences mod p. Finally, I will sketch some conjectural generalizations to higher dimensions.
代数セミナーの情報はこちら

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
休み
応⽤数学セミナーの情報はこちら
2015.5.15 | セミナー

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者：リ ブンケン (李⽂娟) ⽒（東北⼤学⼤学院理学研究科）

題⽬：Inﬁnite Games and Variants of Pushdown Automata
概要：In this talk, we concentrate on inﬁnite games that are recognized by various pushdown automata (PDA), which give winning conditions ofdiﬀerent Borel complexities. First, we will review some known results on determinancy of inﬁnite games recognized by deterministic visiblyPDA, visibly PDA, deterministic PDA and deterministic higher-order PDA, all of which are eﬀectively determined. Some higher accepting
conditions for PDA and parameterized game setting will also be brieﬂy presented. Then, we will introduce inﬁnite games recognized by
2-stack visibly PDA with a Boolean combination of Sigma_1 accepting condition. We show that there is such a game with no computable
winning strategy. From the perspective of decidability and computable winning strategies in inﬁnite games, this result can be seen as anundecidable counterpart of many previous studies on games that we mentioned above. Finally, we would like to put forward several futureworks.
ロジックセミナーの情報はこちら
2015.5.18 | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者： ⼩澤 友美 ⽒（東北⼤学⼤学院理学研究科）
題⽬：L. Dieulefait, M. Dimitrov, Explicit determination of images of Galois representations attached to Hilbert modular forms, J. Number
Theory 117 (2006), 397-405
整数論セミナーの情報はこちら
2015.5.19 | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】）
散歩会
2015.5.21 | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：内藤 雄基 ⽒（愛媛⼤学理⼯学研究科）

3/3

題⽬：Threshold solutions for semilinear heat equations with polynomial decay initial data
概要：
べき乗型の⾮線形項をもつ⾮線形熱⽅程式に対する Cauchy 問題を考える． この⽅程式はスケール不変性をもち，時間⼤域解や爆発解の挙動において⾃⼰相似解が重要な役割りをすることが知られている． 本講演では，初期値にパラメータを含む Cauchy 問題を考え， パラメータを連続的に変化させたときの解の挙動について考察を⾏う． とくに，初期値が多項式のオーダーで減衰する場合のThreshold 解の 漸近的性質について得られた結果を紹介する．
応⽤数学セミナーの情報はこちら
2015.5.22 | セミナー

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者： Florian Pelupessy ⽒（東北⼤学⼤学院理学研究科）
題⽬：Primitive recursion
概要：
Because one can prove in RCA_0 that the universe of total number-theoretic functions is closed under the scheme of primitive recursion it
is of particular interest to examine what can be done using this scheme. We examine some closure properties which are a consequence of
this scheme, but are often used without accompanying proof.
ロジックセミナーの情報はこちら
2015.5.25 | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者： ⼩原 まり⼦ ⽒（東北⼤学⼤学院理学研究科）
題⽬：On Waldhausen A-theory
整数論セミナーの情報はこちら
2015.5.26 | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】）
講演者：Miklos Palﬁa ⽒ (京都⼤学)
題⽬：Gradient ﬂows in K-convex and CAT(1)-spaces
概要：We generalize the theory of gradient ﬂows of semi-convex functions established by Ambrosio-Gigli-Savaré for CAT(0)-spaces to CAT(1)spaces. We show that the so called commutativity property and semi-convexity of the squared distance function is enough to establish theuniqueness, EVI and contractivity of the gradient ﬂow similarly to the CAT(0) setting using the Moreau-Yoshida resolvent. The
commutativity property is representing the Riemannian nature of the space.
2015.5.28 | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：⽥中 視英⼦ ⽒ (東京理科⼤学)
題⽬：On positive solutions for $(p,q)$-Laplace equations with two parameters
概要：
⼆つのパラメータを持つ $(p,q)$-ラプラシアンの⼀般化された固有値問題に付随した⽅程式の正値解について紹介する。 主結果である、正値解が存在する必要⼗分条件は⼆つのパラメータが⼆本の直線と⼀本の曲線によって囲まれる （ある）平⾯内の集合内に属する、ことについて述べる予定である。
本講演はVladimir Bobkov ⽒ (Ufa Science Center of RAS) との共同研究に基づく。
応⽤数学セミナーの情報はこちら
2015.5.29 | セミナー

ロジックセミナー（14:00--15:00【会場：合同棟1201】）※開始時間が異なります
講演者： 彭 偉光 ⽒（東北⼤学⼤学院理学研究科）
題⽬：Several generalizations of Liu-Tanaka theorem
概要：In 2007, Liu and Tanaka showed that for any uniform binary AND-OR tree on the assignments that are independently distributed (ID), thedistributional complexity is achieved only if the assignments are also identically distributed (IID). In this talk, we will discuss some
generalizations of this theorem. For instance, Toshio Suzuki showed this result under a constraint on the probability at the root, and
NingNing Peng generalized this result to uniform level-by-level multi-brabching AND-OR tree.
ロジックセミナーの情報はこちら

2015/06/16 9:37