本文印刷
全画面プリント
過去の記録
過去の記録 ～12/07｜本日 12/08 | 今後の予定 12/09～
2021年06月23日(水)
代数学コロキウム
17:00-18:00 オンライン開催
今井 湖都 氏 (東京大学大学院数理科学研究科)
Ramification groups of some finite Galois extensions of maximal nilpotency class over local fields of positive characteristic (Japanese)
今井 湖都 氏 (東京大学大学院数理科学研究科)
Ramification groups of some finite Galois extensions of maximal nilpotency class over local fields of positive characteristic (Japanese)
[ 講演概要 ]
Galois extensions of local fields is one of the most important subjects in the field of number theory. A ramification filtration is a filtration of a Galois group used to investigate the ramification of the extension. It is particularly useful when the extension is wildly ramified. In this talk, we examine the ramification groups of finite Galois extensions over complete discrete valuation fields of characteristic $p>0$. Brylinski calculated the ramification groups in the case where the Galois groups are abelian. We extend the results of Brylinski to some non-abelian cases where the Galois groups are of order $\leq p^{p+1}$ and of maximal nilpotency class.
Galois extensions of local fields is one of the most important subjects in the field of number theory. A ramification filtration is a filtration of a Galois group used to investigate the ramification of the extension. It is particularly useful when the extension is wildly ramified. In this talk, we examine the ramification groups of finite Galois extensions over complete discrete valuation fields of characteristic $p>0$. Brylinski calculated the ramification groups in the case where the Galois groups are abelian. We extend the results of Brylinski to some non-abelian cases where the Galois groups are of order $\leq p^{p+1}$ and of maximal nilpotency class.
離散数理モデリングセミナー
18:00-19:30 オンライン開催
Zoomを用いてオンラインで行います．参加希望の方はウィロックスまでZoomのリンクをお尋ねください．
Alexander STOKES 氏 (University College London)
Singularity confinement in delay-differential Painlevé equations (English)
Zoomを用いてオンラインで行います．参加希望の方はウィロックスまでZoomのリンクをお尋ねください．
Alexander STOKES 氏 (University College London)
Singularity confinement in delay-differential Painlevé equations (English)
[ 講演概要 ]
Singularity confinement is a phenomenon first proposed as an integrability criterion for discrete systems, and has been used to great effect to obtain discrete analogues of the Painlevé differential equations. Its geometric interpretation has played a role in novel connections between discrete integrable systems and birational algebraic geometry, including Sakai's geometric framework and classification scheme for discrete Painlevé equations.
Examples of delay-differential equations, which involve shifts and derivatives with respect to a single independent variable, have been proposed as analogues of the Painlevé equations according to a number of viewpoints. Among these are observations of a kind of singularity confinement and it is natural to ask whether this could lead to the development of a geometric theory of delay-differential Painlevé equations.
In this talk we review previously proposed examples of delay-differential Painlevé equations and what is known about their singularity confinement behaviour, including some recent results establishing the existence of infinite families of confined singularities. We also propose a geometric interpretation of these results in terms of mappings between jet spaces, defining certain singularities analogous to those of interest in the singularity analysis of discrete systems, and what it means for them to be confined.
Singularity confinement is a phenomenon first proposed as an integrability criterion for discrete systems, and has been used to great effect to obtain discrete analogues of the Painlevé differential equations. Its geometric interpretation has played a role in novel connections between discrete integrable systems and birational algebraic geometry, including Sakai's geometric framework and classification scheme for discrete Painlevé equations.
Examples of delay-differential equations, which involve shifts and derivatives with respect to a single independent variable, have been proposed as analogues of the Painlevé equations according to a number of viewpoints. Among these are observations of a kind of singularity confinement and it is natural to ask whether this could lead to the development of a geometric theory of delay-differential Painlevé equations.
In this talk we review previously proposed examples of delay-differential Painlevé equations and what is known about their singularity confinement behaviour, including some recent results establishing the existence of infinite families of confined singularities. We also propose a geometric interpretation of these results in terms of mappings between jet spaces, defining certain singularities analogous to those of interest in the singularity analysis of discrete systems, and what it means for them to be confined.
2021年06月22日(火)
数値解析セミナー
17:00-18:30 オンライン開催
鈴木大慈 氏 (東京大学大学院情報理工学系研究科)
深層ニューラルネットワークの近似理論と適応能力 (Japanese)
https://forms.gle/HwetNGXCzbCyMC7B7
鈴木大慈 氏 (東京大学大学院情報理工学系研究科)
深層ニューラルネットワークの近似理論と適応能力 (Japanese)
[ 講演概要 ]
ReLU活性化関数を用いた深層ニューラルネットワークの学習能力について，特にスパース推定との関係を通して理論解析結果を述べる．深層学習の学習能力の高さは，その基底を対象の関数に合わせて生成するところにあり，それはモデルが非凸であることが本質的に重要である．これはスパース推定による基底選択と共通点が多く，縮小ランク回帰やL0-正則化学習といった，モデルが非凸であるスパース推定と結び付けてその優位性を調べることが可能である．本研究では，そのような視点に基づき，深層学習のBesov空間における近似精度および推定精度を解析する．また，非等方的平滑性や変動平滑性を持つBesov空間といった種々のBesov空間の変種における近似理論およびそれを用いた推定理論を紹介し，深層学習がいかに対象の関数の情報を用いてその他の推定量を優越しうるかを説明する．時間があれば，無限次元勾配ランジュバン動力学を用いた勾配法の離散時間近似および収束理論も紹介し，それを用いた推定量の推定精度解析と深層学習の特徴量学習による優位性についても述べる．
[ 参考URL ]ReLU活性化関数を用いた深層ニューラルネットワークの学習能力について，特にスパース推定との関係を通して理論解析結果を述べる．深層学習の学習能力の高さは，その基底を対象の関数に合わせて生成するところにあり，それはモデルが非凸であることが本質的に重要である．これはスパース推定による基底選択と共通点が多く，縮小ランク回帰やL0-正則化学習といった，モデルが非凸であるスパース推定と結び付けてその優位性を調べることが可能である．本研究では，そのような視点に基づき，深層学習のBesov空間における近似精度および推定精度を解析する．また，非等方的平滑性や変動平滑性を持つBesov空間といった種々のBesov空間の変種における近似理論およびそれを用いた推定理論を紹介し，深層学習がいかに対象の関数の情報を用いてその他の推定量を優越しうるかを説明する．時間があれば，無限次元勾配ランジュバン動力学を用いた勾配法の離散時間近似および収束理論も紹介し，それを用いた推定量の推定精度解析と深層学習の特徴量学習による優位性についても述べる．
https://forms.gle/HwetNGXCzbCyMC7B7
作用素環セミナー
16:45-18:15 オンライン開催
Johannes Christensen 氏 (KU Leuven)
KMS spectra for group actions on compact spaces (English)
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
Johannes Christensen 氏 (KU Leuven)
KMS spectra for group actions on compact spaces (English)
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
トポロジー火曜セミナー
17:00-18:30 オンライン開催
参加を希望される場合は、セミナーのホームページから参加登録を行って下さい。
小林 竜馬 氏 (石川工業高等専門学校)
On infinite presentations for the mapping class group of a compact non orientable surface and its twist subgroup (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
参加を希望される場合は、セミナーのホームページから参加登録を行って下さい。
小林 竜馬 氏 (石川工業高等専門学校)
On infinite presentations for the mapping class group of a compact non orientable surface and its twist subgroup (JAPANESE)
[ 講演概要 ]
An infinite presentation for the mapping class group of any compact orientable surface was given by Gervais, and then a simpler one by Luo. Using these results, an infinite presentation for the mapping class group of any compact non orientable surfaces with boundary less than or equal to one was given by Omori (Tokyo University of Science), and then one with boundary more than or equal to two by Omori and the speaker. In this talk, we first introduce an infinite presentation for the twisted subgroup of the mapping class group of any compact non orientable surface. I will also present four simple infinite presentations for the mapping group of any compact non orientable surface, which are an improvement of the one given by Omori and the speaker. This work includes a joint work with Omori.
[ 参考URL ]An infinite presentation for the mapping class group of any compact orientable surface was given by Gervais, and then a simpler one by Luo. Using these results, an infinite presentation for the mapping class group of any compact non orientable surfaces with boundary less than or equal to one was given by Omori (Tokyo University of Science), and then one with boundary more than or equal to two by Omori and the speaker. In this talk, we first introduce an infinite presentation for the twisted subgroup of the mapping class group of any compact non orientable surface. I will also present four simple infinite presentations for the mapping group of any compact non orientable surface, which are an improvement of the one given by Omori and the speaker. This work includes a joint work with Omori.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Lie群論・表現論セミナー
17:00-18:00 数理科学研究科棟(駒場) Online号室
森田陽介 氏 (京都大学大学院理学研究科)
非簡約な部分群の Cartan 射影とコンパクト Clifford-Klein 形の存在問題 (Japanese)
森田陽介 氏 (京都大学大学院理学研究科)
非簡約な部分群の Cartan 射影とコンパクト Clifford-Klein 形の存在問題 (Japanese)
[ 講演概要 ]
G を簡約 Lie 群、H を G の閉部分群、Γ を G の離散部分群とする。小林-Benoistの判定法によれば、Γ の G/H への作用の固有性は、H と Γ の Cartan 射影によって決定される。非簡約な部分群の Cartan 射影は大抵計算が困難だが、中には具体的に計算可能な例もある。そうした部分群を利用して、コンパクトな Clifford-Klein 形を持たない簡約型等質空間の例が得られることを紹介する。
G を簡約 Lie 群、H を G の閉部分群、Γ を G の離散部分群とする。小林-Benoistの判定法によれば、Γ の G/H への作用の固有性は、H と Γ の Cartan 射影によって決定される。非簡約な部分群の Cartan 射影は大抵計算が困難だが、中には具体的に計算可能な例もある。そうした部分群を利用して、コンパクトな Clifford-Klein 形を持たない簡約型等質空間の例が得られることを紹介する。
2021年06月17日(木)
応用解析セミナー
16:00-17:00 オンライン開催
柴田将敬 氏 (名城大学理工学部)
メトリックグラフ上の半線形楕円型方程式の正値解について (Japanese)
https://forms.gle/apD358V3Jn3ztKVK8
柴田将敬 氏 (名城大学理工学部)
メトリックグラフ上の半線形楕円型方程式の正値解について (Japanese)
[ 講演概要 ]
メトリックグラフとは、辺と頂点の集合であるグラフにおいて、各辺の長さを考え、各辺と区間と同一視したものである。その上の半線形楕円型方程式は、グラフの辺の数だけ未知関数を持つ常微分方程式系に帰着される。本講演では、特異極限問題を考え、最小エネルギー解に代表される正値解の漸近挙動や解構造について考察する。そして、解が集中する位置や解の個数とメトリックグラフの幾何的な情報との関係について、得られている結果を紹介する。本研究は、倉田和浩氏(東京都立大学)との共同研究に基づく。
[ 参考URL ]メトリックグラフとは、辺と頂点の集合であるグラフにおいて、各辺の長さを考え、各辺と区間と同一視したものである。その上の半線形楕円型方程式は、グラフの辺の数だけ未知関数を持つ常微分方程式系に帰着される。本講演では、特異極限問題を考え、最小エネルギー解に代表される正値解の漸近挙動や解構造について考察する。そして、解が集中する位置や解の個数とメトリックグラフの幾何的な情報との関係について、得られている結果を紹介する。本研究は、倉田和浩氏(東京都立大学)との共同研究に基づく。
https://forms.gle/apD358V3Jn3ztKVK8
情報数学セミナー
16:50-18:35 オンライン開催
Zoomでの開催
藤原 洋 氏 (株式会社ブロードバンドタワー)
機械学習からディープラーニングへ (Japanese)
https://docs.google.com/forms/d/1zdmPdHWcVgH6Sn62nVHNp0ODVBJ7fyHKJHdABtDd_Tw
Zoomでの開催
藤原 洋 氏 (株式会社ブロードバンドタワー)
機械学習からディープラーニングへ (Japanese)
[ 講演概要 ]
現代AIの基本は、ディープラーニングであるが、これを基本としたAI技術基盤が存在する。そこで、今回は、最初に本技術基盤の第２層に相当するAIライブラリレイヤについて、機械学習ライブラリの実例を示す。また、ディープラーニングは、ニューラルネットワークを対象にした多層構造の機械学習モデルに基づいているが、機械学習から如何にしてディープラーニングに到達するかについて概観する。
[ 参考URL ]現代AIの基本は、ディープラーニングであるが、これを基本としたAI技術基盤が存在する。そこで、今回は、最初に本技術基盤の第２層に相当するAIライブラリレイヤについて、機械学習ライブラリの実例を示す。また、ディープラーニングは、ニューラルネットワークを対象にした多層構造の機械学習モデルに基づいているが、機械学習から如何にしてディープラーニングに到達するかについて概観する。
https://docs.google.com/forms/d/1zdmPdHWcVgH6Sn62nVHNp0ODVBJ7fyHKJHdABtDd_Tw
2021年06月16日(水)
代数学コロキウム
17:00-18:00 オンライン開催
寺門 康裕 氏 (National Center for Theoretical Sciences)
Hecke eigensystems of automorphic forms (mod p) of Hodge type and algebraic modular forms (Japanese)
寺門 康裕 氏 (National Center for Theoretical Sciences)
Hecke eigensystems of automorphic forms (mod p) of Hodge type and algebraic modular forms (Japanese)
[ 講演概要 ]
In a 1987 letter to Tate, Serre showed that the prime-to-p Hecke eigensystems arising in the space of mod p modular forms are the same as those appearing in the space of automorphic forms on a quaternion algebra. This result is regarded as a mod p analogue of the Jacquet-Langlands correspondence. In this talk, we give a generalization of Serre's result to the Hecke eigensystems of mod p automorphic forms on a Shimura variety of Hodge type with good reduction at p. This is joint work with Chia-Fu Yu.
In a 1987 letter to Tate, Serre showed that the prime-to-p Hecke eigensystems arising in the space of mod p modular forms are the same as those appearing in the space of automorphic forms on a quaternion algebra. This result is regarded as a mod p analogue of the Jacquet-Langlands correspondence. In this talk, we give a generalization of Serre's result to the Hecke eigensystems of mod p automorphic forms on a Shimura variety of Hodge type with good reduction at p. This is joint work with Chia-Fu Yu.
統計数学セミナー
14:30-16:00 数理科学研究科棟(駒場) 号室
Zoomで配信します。 参加希望の方は以下のGoogle Formより２日前までにご登録ください。
Hiroki Masuda 氏 (Kyushu University)
Levy-Ornstein-Uhlenbeck Regression
https://docs.google.com/forms/d/e/1FAIpQLSfkHbmXT_3kHkBIUedzNSFqQ6QxuZzUQ9_qOgc8HqtZsKHTPQ/viewform
Zoomで配信します。 参加希望の方は以下のGoogle Formより２日前までにご登録ください。
Hiroki Masuda 氏 (Kyushu University)
Levy-Ornstein-Uhlenbeck Regression
[ 講演概要 ]
Asia-Pacific Seminar in Probability and Statistics (APSPS)
https://sites.google.com/view/apsps/home
We will present some of recent developments in parametric inference for a linear regression model driven by a non-Gaussian stable Levy process, when the process is observed at high frequency over a fixed time period. The model depends on a covariate process and the finite-dimensional parameter: the stability index (activity index) and the scale in the noise term, and the (auto)regression coefficients in the trend term, all being unknown. The maximum-likelihood estimator is shown to be asymptotically mixed-normally distributed with maximum concentration property. In order to bypass possible multiple-root problem and heavy numerical optimization, we also consider some easily computable initial estimator with which the one-step improvement does work. The asymptotic properties hold true in a unified manner regardless of whether the model is stationary and/or ergodic, almost without taking care of character of the
covariate process. Also discussed will be model-selection issues and some possible model extensions.
[ 参考URL ]Asia-Pacific Seminar in Probability and Statistics (APSPS)
https://sites.google.com/view/apsps/home
We will present some of recent developments in parametric inference for a linear regression model driven by a non-Gaussian stable Levy process, when the process is observed at high frequency over a fixed time period. The model depends on a covariate process and the finite-dimensional parameter: the stability index (activity index) and the scale in the noise term, and the (auto)regression coefficients in the trend term, all being unknown. The maximum-likelihood estimator is shown to be asymptotically mixed-normally distributed with maximum concentration property. In order to bypass possible multiple-root problem and heavy numerical optimization, we also consider some easily computable initial estimator with which the one-step improvement does work. The asymptotic properties hold true in a unified manner regardless of whether the model is stationary and/or ergodic, almost without taking care of character of the
covariate process. Also discussed will be model-selection issues and some possible model extensions.
https://docs.google.com/forms/d/e/1FAIpQLSfkHbmXT_3kHkBIUedzNSFqQ6QxuZzUQ9_qOgc8HqtZsKHTPQ/viewform
2021年06月15日(火)
作用素環セミナー
16:45-18:15 オンライン開催
鈴木悠平 氏 (北海道大学)
$C^*$-simplicity has no local obstruction
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
鈴木悠平 氏 (北海道大学)
$C^*$-simplicity has no local obstruction
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
トポロジー火曜セミナー
17:00-18:00 オンライン開催
参加を希望される場合は、セミナーのホームページから参加登録を行って下さい。
佐藤 尚倫 氏 (早稲田大学)
Direct decompositions of groups of piecewise linear homeomorphisms of the unit interval (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
参加を希望される場合は、セミナーのホームページから参加登録を行って下さい。
佐藤 尚倫 氏 (早稲田大学)
Direct decompositions of groups of piecewise linear homeomorphisms of the unit interval (JAPANESE)
[ 講演概要 ]
In this talk, we consider subgroups of the group PLo(I) of piecewise linear orientation-preserving homeomorphisms of the unit interval I = [0, 1] that are differentiable everywhere except at finitely many real numbers, under the operation of composition. We provide a criterion for any two subgroups of PLo(I) which are direct products of finitely many indecomposable non-commutative groups to be non-isomorphic. As its application we give a necessary and sufficient condition for any two subgroups of the R. Thompson group F that are stabilizers of finite sets of numbers in the interval (0, 1) to be isomorphic.
[ 参考URL ]In this talk, we consider subgroups of the group PLo(I) of piecewise linear orientation-preserving homeomorphisms of the unit interval I = [0, 1] that are differentiable everywhere except at finitely many real numbers, under the operation of composition. We provide a criterion for any two subgroups of PLo(I) which are direct products of finitely many indecomposable non-commutative groups to be non-isomorphic. As its application we give a necessary and sufficient condition for any two subgroups of the R. Thompson group F that are stabilizers of finite sets of numbers in the interval (0, 1) to be isomorphic.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Lie群論・表現論セミナー
17:00-18:00 数理科学研究科棟(駒場) Online号室
小林俊行 氏 (東大数理)
極限代数と緩増加表現 (Japanese)
小林俊行 氏 (東大数理)
極限代数と緩増加表現 (Japanese)
[ 講演概要 ]
次の4つの（見かけ上は無関係な）4つのトピックについての新しい関係について話す予定です。
1．（解析） 等質空間上のユニタリ表現が緩増加
2．（組合せ論） 凸多面体
3．（トポロジー）極限代数
4．（シンプレクティック幾何学）余随伴軌道の幾何学的量子化
次の4つの（見かけ上は無関係な）4つのトピックについての新しい関係について話す予定です。
1．（解析） 等質空間上のユニタリ表現が緩増加
2．（組合せ論） 凸多面体
3．（トポロジー）極限代数
4．（シンプレクティック幾何学）余随伴軌道の幾何学的量子化
2021年06月14日(月)
複素解析幾何セミナー
10:30-12:00 オンライン開催
小池 貴之 氏 (大阪市立大学)
Projective K3 surfaces containing Levi-flat hypersurfaces (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
小池 貴之 氏 (大阪市立大学)
Projective K3 surfaces containing Levi-flat hypersurfaces (Japanese)
[ 講演概要 ]
In May 2017, I reported on the gluing construction of a K3 surface at Seminar on Geometric Complex Analysis.
Here, by the gluing construction of a K3 surface, I mean the construction of a K3 surface by holomorphically gluing two open complex surfaces which are the complements of tubular neighborhoods of elliptic curves included in the blow-ups of the projective planes by nine points.
As of 2017, it was an open problem whether a projective K3 surface can be obtained by the gluing construction. Recently, I and Takato Uehara found a very concrete way to construct a projective K3 surface by the gluing method. As a corollary, we obtained the existence of non-Kummer projective K3 surface with compact Levi-flat hypersurfaces.
In this talk, I will explain the detail of the concrete gluing construction of such a K3 surface.
[ 参考URL ]In May 2017, I reported on the gluing construction of a K3 surface at Seminar on Geometric Complex Analysis.
Here, by the gluing construction of a K3 surface, I mean the construction of a K3 surface by holomorphically gluing two open complex surfaces which are the complements of tubular neighborhoods of elliptic curves included in the blow-ups of the projective planes by nine points.
As of 2017, it was an open problem whether a projective K3 surface can be obtained by the gluing construction. Recently, I and Takato Uehara found a very concrete way to construct a projective K3 surface by the gluing method. As a corollary, we obtained the existence of non-Kummer projective K3 surface with compact Levi-flat hypersurfaces.
In this talk, I will explain the detail of the concrete gluing construction of such a K3 surface.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
代数幾何学セミナー
17:00-18:00 数理科学研究科棟(駒場) 号室
京大と共催です。いつもと日時が異なります。
原和平 氏 (University of Glasgow)
Rank two weak Fano bundles on del Pezzo threefolds of degree 5 (日本語)
Zoom
京大と共催です。いつもと日時が異なります。
原和平 氏 (University of Glasgow)
Rank two weak Fano bundles on del Pezzo threefolds of degree 5 (日本語)
[ 講演概要 ]
射影化したとき反標準因子がネフかつ巨大になるようなベクトル束を弱Fanoベクトル束という．
本講演では，福岡氏，石川氏との共同研究で得られた，次数5の3次元del Pezzo多様体上の階数2のベクトル束の分類結果を紹介する．
今回は特に，導来圏の例外生成列を用いたベクトル束の分解を得る方法と，それを応用して得られるモジュライ空間についての諸結果に話題を絞って，証明を詳しく紹介したい．
[ 参考URL ]射影化したとき反標準因子がネフかつ巨大になるようなベクトル束を弱Fanoベクトル束という．
本講演では，福岡氏，石川氏との共同研究で得られた，次数5の3次元del Pezzo多様体上の階数2のベクトル束の分類結果を紹介する．
今回は特に，導来圏の例外生成列を用いたベクトル束の分解を得る方法と，それを応用して得られるモジュライ空間についての諸結果に話題を絞って，証明を詳しく紹介したい．
Zoom
2021年06月10日(木)
情報数学セミナー
16:50-18:35 オンライン開催
Zoomでの開催
藤原 洋 氏 (株式会社ブロードバンドタワー)
AIの技術基盤と基礎となる機械学習 (Japanese)
https://docs.google.com/forms/d/1zdmPdHWcVgH6Sn62nVHNp0ODVBJ7fyHKJHdABtDd_Tw
Zoomでの開催
藤原 洋 氏 (株式会社ブロードバンドタワー)
AIの技術基盤と基礎となる機械学習 (Japanese)
[ 講演概要 ]
AI技術の基本は、ディープラーニングであるが、これを基本としたAI技術基盤を俯瞰する。本技術基盤は、既にある通信プロトコルでのOSIモデルの7層構造やIoTプットフォームとしての3層構造と異なり、４層構造が、最適であると考えられる。また、ディープラーニングは、ニューラルネットワークを対象にした多層構造の機械学習モデルに基づいている。そこで、本講では、現代AIの技術基盤の4層構成を定義し、基礎となる機械学習の原理とそのライブラリ構成について概観する。
[ 参考URL ]AI技術の基本は、ディープラーニングであるが、これを基本としたAI技術基盤を俯瞰する。本技術基盤は、既にある通信プロトコルでのOSIモデルの7層構造やIoTプットフォームとしての3層構造と異なり、４層構造が、最適であると考えられる。また、ディープラーニングは、ニューラルネットワークを対象にした多層構造の機械学習モデルに基づいている。そこで、本講では、現代AIの技術基盤の4層構成を定義し、基礎となる機械学習の原理とそのライブラリ構成について概観する。
https://docs.google.com/forms/d/1zdmPdHWcVgH6Sn62nVHNp0ODVBJ7fyHKJHdABtDd_Tw
2021年06月09日(水)
代数幾何学セミナー
15:00-16:00 数理科学研究科棟(駒場) 122号室
京大と共催です。
Andrea Fanelli 氏 (Bordeaux)
Rational simple connectedness and Fano threefolds (English)
Zoom
京大と共催です。
Andrea Fanelli 氏 (Bordeaux)
Rational simple connectedness and Fano threefolds (English)
[ 講演概要 ]
The notion of rational simple connectedness can be seen as an algebro-geometric analogue of simple connectedness in topology. The work of de Jong, He and Starr has already produced several recent studies to understand this notion.
In this talk I will discuss the joint project with Laurent Gruson and Nicolas Perrin to study rational simple connectedness for Fano threefolds via explicit methods from birational geometry.
[ 参考URL ]The notion of rational simple connectedness can be seen as an algebro-geometric analogue of simple connectedness in topology. The work of de Jong, He and Starr has already produced several recent studies to understand this notion.
In this talk I will discuss the joint project with Laurent Gruson and Nicolas Perrin to study rational simple connectedness for Fano threefolds via explicit methods from birational geometry.
Zoom
2021年06月08日(火)
解析学火曜セミナー
16:00-17:30 オンライン開催
昨年度までと開始時間が異なるのでご注意ください
清水一慶 氏 (大阪大学)
Local well-posedness for the Landau-Lifshitz equation with helicity term (Japanese)
https://forms.gle/nc85Mw9Jd6NgJzT98
昨年度までと開始時間が異なるのでご注意ください
清水一慶 氏 (大阪大学)
Local well-posedness for the Landau-Lifshitz equation with helicity term (Japanese)
[ 講演概要 ]
We consider the initial value problem for the Landau-Lifshitz equation with helicity term (chiral interaction term), which arises from the Dzyaloshinskii-Moriya interaction. We show that it is locally well-posed in Sobolev spaces $H^s$ when $s>2$. The key idea is to reduce the problem to a system of semi-linear Schr\"odinger equations, called modified Schr\"odinger map equation. The problem here is that the helicity term appears as quadratic derivative nonlinearities, which is known to be difficult to treat as perturbation of the free evolution. To overcome that, we consider them as magnetic terms, then apply the energy method by introducing the differential operator associated with magnetic potentials.
[ 参考URL ]We consider the initial value problem for the Landau-Lifshitz equation with helicity term (chiral interaction term), which arises from the Dzyaloshinskii-Moriya interaction. We show that it is locally well-posed in Sobolev spaces $H^s$ when $s>2$. The key idea is to reduce the problem to a system of semi-linear Schr\"odinger equations, called modified Schr\"odinger map equation. The problem here is that the helicity term appears as quadratic derivative nonlinearities, which is known to be difficult to treat as perturbation of the free evolution. To overcome that, we consider them as magnetic terms, then apply the energy method by introducing the differential operator associated with magnetic potentials.
https://forms.gle/nc85Mw9Jd6NgJzT98
トポロジー火曜セミナー
17:00-18:00 オンライン開催
参加を希望される場合は、セミナーのホームページから参加登録を行って下さい。
松下 尚弘 氏 (琉球大学)
Graphs whose Kronecker coverings are bipartite Kneser graphs (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
参加を希望される場合は、セミナーのホームページから参加登録を行って下さい。
松下 尚弘 氏 (琉球大学)
Graphs whose Kronecker coverings are bipartite Kneser graphs (JAPANESE)
[ 講演概要 ]
Kronecker coverings are bipartite double coverings of graphs which are canonically determined. If a graph G is non-bipartite and connected, then there is a unique bipartite double covering of G, and the Kronecker covering of G coincides with it.
In general, there are non-isomorphic graphs although they have the same Kronecker coverings. Therefore, for a given bipartite graph X, it is a natural problem to classify the graphs whose Kronecker coverings are isomorphic to X. Such a classification problem was actually suggested by Imrich and Pisanski, and has been settled in some cases.
In this lecture, we classify the graphs whose Kronecker coverings are bipartite Kneser graphs H(n, k). The Kneser graph K(n, k) is the graph whose vertex set is the family of k-subsets of the n-point set {1, …, n}, and two vertices are adjacent if and only if they are disjoint. The bipartite Kneser graph H(n, k) is the Kronecker covering of K(n, k). We show that there are exactly k graphs whose Kronecker coverings are H(n, k) when n is greater than 2k. Moreover, we determine their automorphism groups and chromatic numbers.
[ 参考URL ]Kronecker coverings are bipartite double coverings of graphs which are canonically determined. If a graph G is non-bipartite and connected, then there is a unique bipartite double covering of G, and the Kronecker covering of G coincides with it.
In general, there are non-isomorphic graphs although they have the same Kronecker coverings. Therefore, for a given bipartite graph X, it is a natural problem to classify the graphs whose Kronecker coverings are isomorphic to X. Such a classification problem was actually suggested by Imrich and Pisanski, and has been settled in some cases.
In this lecture, we classify the graphs whose Kronecker coverings are bipartite Kneser graphs H(n, k). The Kneser graph K(n, k) is the graph whose vertex set is the family of k-subsets of the n-point set {1, …, n}, and two vertices are adjacent if and only if they are disjoint. The bipartite Kneser graph H(n, k) is the Kronecker covering of K(n, k). We show that there are exactly k graphs whose Kronecker coverings are H(n, k) when n is greater than 2k. Moreover, we determine their automorphism groups and chromatic numbers.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
作用素環セミナー
16:45-18:15 オンライン開催
Hannes Thiel 氏 (TU Dresden)
The generator rank of $C^*$-algebras (English)
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
Hannes Thiel 氏 (TU Dresden)
The generator rank of $C^*$-algebras (English)
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
数値解析セミナー
16:30-18:00 オンライン開催
曽我幸平 氏 (慶應義塾大学理工学部)
Action minimizing random walks and numerical analysis of Hamilton-Jacobi equations (Japanese)
https://forms.gle/kjhqne4nV6fqEFWB8
曽我幸平 氏 (慶應義塾大学理工学部)
Action minimizing random walks and numerical analysis of Hamilton-Jacobi equations (Japanese)
[ 講演概要 ]
1階のHamilton-Jacobi方程式は様々な文脈で現れる完全非線形PDEであり，粘性解と呼ばれる弱解クラスで盛んに研究されている．例えば，解析力学の一部として1997年に登場した弱KAM理論においては，1階のHamilton-Jacobi方程式の粘性解だけでなくその1階微分と特性曲線の情報が本質的に活用される．1階のHamilton-Jacobi方程式の解を具体的に構成する手法(粘性消去法/割引消去法/離散近似法など)はよく知られているが，粘性解・1階微分・特性曲線の全てを同時に構成することは非自明である．本講演では，一般の空間次元で時間依存するTonelli型のHamiltonianが生成するHamilton-Jacobi方程式に対して，最も初等的な差分法によって，粘性解・1階微分・特性曲線の全てを同時に構成する手法を紹介する．収束証明のポイントは，離散近似問題を非一様ランダムウォークの最適制御問題に書き直し，変分法と確率論の議論を援用することである．時間が許せば，弱KAM理論への応用についても触れる．
[ 参考URL ]1階のHamilton-Jacobi方程式は様々な文脈で現れる完全非線形PDEであり，粘性解と呼ばれる弱解クラスで盛んに研究されている．例えば，解析力学の一部として1997年に登場した弱KAM理論においては，1階のHamilton-Jacobi方程式の粘性解だけでなくその1階微分と特性曲線の情報が本質的に活用される．1階のHamilton-Jacobi方程式の解を具体的に構成する手法(粘性消去法/割引消去法/離散近似法など)はよく知られているが，粘性解・1階微分・特性曲線の全てを同時に構成することは非自明である．本講演では，一般の空間次元で時間依存するTonelli型のHamiltonianが生成するHamilton-Jacobi方程式に対して，最も初等的な差分法によって，粘性解・1階微分・特性曲線の全てを同時に構成する手法を紹介する．収束証明のポイントは，離散近似問題を非一様ランダムウォークの最適制御問題に書き直し，変分法と確率論の議論を援用することである．時間が許せば，弱KAM理論への応用についても触れる．
https://forms.gle/kjhqne4nV6fqEFWB8
Lie群論・表現論セミナー
17:00-18:00 数理科学研究科棟(駒場) Online号室
甘中 一輝 氏 (理化学研究所 数理創造プログラム)
3次元コンパクト反ド・ジッター多様体の安定固有値の重複度
(Japanese)
甘中 一輝 氏 (理化学研究所 数理創造プログラム)
3次元コンパクト反ド・ジッター多様体の安定固有値の重複度
(Japanese)
[ 講演概要 ]
擬リーマン局所対称空間とは
半単純対称空間$G/H$の不連続群$\Gamma$による商多様体$\Gamma\backslash G/H$の事である。
小林俊行は擬リーマン局所対称空間の（ラプラシアンのような）内在的微分作用素のスペクトル解析の研究を創始した。古典的なリーマン多様体の設定とは異なり、擬リーマン局所対称空間のラプラシアンはもはや楕円型微分作用素ではない。
そのスペクトル解析において、Kassel・小林による先駆的研究に続き、リーマン多様体の設定とは異なる新たな現象が近年発見されつつある。例えば、Kassel・小林は$\Gamma$を変形させた時の$\Gamma\backslash G/H$の内在的微分作用素の固有値の振る舞いを研究した。特別な場合として$3$次元コンパクト反ド・ジッター多様体$\Gamma\backslash \mathrm{SO}(2,2)/\mathrm{SO}(2,1)$
の（双曲型）ラプラシアンの無限個の安定固有値を発見した([Adv.\ Math.\ 2016])。
本講演では、反ド・ジッター多様体の設定で安定固有値の重複度についての最近の結果について説明したい。
擬リーマン局所対称空間とは
半単純対称空間$G/H$の不連続群$\Gamma$による商多様体$\Gamma\backslash G/H$の事である。
小林俊行は擬リーマン局所対称空間の（ラプラシアンのような）内在的微分作用素のスペクトル解析の研究を創始した。古典的なリーマン多様体の設定とは異なり、擬リーマン局所対称空間のラプラシアンはもはや楕円型微分作用素ではない。
そのスペクトル解析において、Kassel・小林による先駆的研究に続き、リーマン多様体の設定とは異なる新たな現象が近年発見されつつある。例えば、Kassel・小林は$\Gamma$を変形させた時の$\Gamma\backslash G/H$の内在的微分作用素の固有値の振る舞いを研究した。特別な場合として$3$次元コンパクト反ド・ジッター多様体$\Gamma\backslash \mathrm{SO}(2,2)/\mathrm{SO}(2,1)$
の（双曲型）ラプラシアンの無限個の安定固有値を発見した([Adv.\ Math.\ 2016])。
本講演では、反ド・ジッター多様体の設定で安定固有値の重複度についての最近の結果について説明したい。
2021年06月07日(月)
複素解析幾何セミナー
10:30-12:00 オンライン開催
馬場 蔵人 氏 (東京理科大学)
Calabi-Yau structure and Bargmann type transformation on the Cayley projective plane (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
馬場 蔵人 氏 (東京理科大学)
Calabi-Yau structure and Bargmann type transformation on the Cayley projective plane (Japanese)
[ 講演概要 ]
In this talk, I would like to discuss a problem of the geometric quantization for the Cayley projective plane. Our purposes are to show the existence of a Calabi-Yau structure on the punctured cotangent bundle of the Cayley projective plane, and to construct a Bargmann type transformation between a space of holomorphic functions on the bundle and the $L_2$-space on the Cayley projective space. The transformation gives a quantization of the geodesic flow in terms of one parameter group of elliptic Fourier integral operators. This talk is based on a joint work with Kenro Furutani (Osaka City University Advanced Mathematical Institute): arXiv:2101.07505.
[ 参考URL ]In this talk, I would like to discuss a problem of the geometric quantization for the Cayley projective plane. Our purposes are to show the existence of a Calabi-Yau structure on the punctured cotangent bundle of the Cayley projective plane, and to construct a Bargmann type transformation between a space of holomorphic functions on the bundle and the $L_2$-space on the Cayley projective space. The transformation gives a quantization of the geodesic flow in terms of one parameter group of elliptic Fourier integral operators. This talk is based on a joint work with Kenro Furutani (Osaka City University Advanced Mathematical Institute): arXiv:2101.07505.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
2021年06月03日(木)
情報数学セミナー
16:50-18:35 オンライン開催
Zoomでの開催
藤原 洋 氏 (株式会社ブロードバンドタワー)
ＡＩの過去・現在・未来 (Japanese)
https://docs.google.com/forms/d/1zdmPdHWcVgH6Sn62nVHNp0ODVBJ7fyHKJHdABtDd_Tw
Zoomでの開催
藤原 洋 氏 (株式会社ブロードバンドタワー)
ＡＩの過去・現在・未来 (Japanese)
[ 講演概要 ]
機械学習と深層学習の登場で、AIは、コンピュータサイエンスの研究対象から、実用段階に入った。そして、あらゆる学術分野・産業分野における研究対象、事業対象へと変貌を遂げた。本講義では、今日のAI研究とAIビジネスの過去・現在・未来について展望する。
[ 参考URL ]機械学習と深層学習の登場で、AIは、コンピュータサイエンスの研究対象から、実用段階に入った。そして、あらゆる学術分野・産業分野における研究対象、事業対象へと変貌を遂げた。本講義では、今日のAI研究とAIビジネスの過去・現在・未来について展望する。
https://docs.google.com/forms/d/1zdmPdHWcVgH6Sn62nVHNp0ODVBJ7fyHKJHdABtDd_Tw
2021年06月02日(水)
代数幾何学セミナー
15:00-16:00 数理科学研究科棟(駒場) 号室
京大と共催です。
青木孔 氏 (東大数理)
Quasiexcellence implies strong generation (日本語)
Zoom
京大と共催です。
青木孔 氏 (東大数理)
Quasiexcellence implies strong generation (日本語)
[ 講演概要 ]
BondalとVan den Berghは（小さい）三角圏からの反変関手がいつ表現可能かという問題の考察の中で、対象が三角圏を強生成(strongly generate)することの定義を導入した。強生成する対象が存在するときは良い表現可能性定理が成立する。
どのような有限次元Noetherスキームに対してその連接層の導来圏が強生成であるかについてはBondal–Van den Bergh以降Rouquier, Keller–Van den Bergh, Aihara–Takahashi, Iyengar–Takahashiなどにより多くの結果が得られていたが、最近Neemanは別の手法を用いてそれをalterationが適用できる分離Noetherスキームに対して示した。それを講演者はGabberのweak local uniformizationを用いることでさらに分離的準優秀スキームにまで拡張した。講演ではこの結果およびその証明の手法を紹介する。
[ 参考URL ]BondalとVan den Berghは（小さい）三角圏からの反変関手がいつ表現可能かという問題の考察の中で、対象が三角圏を強生成(strongly generate)することの定義を導入した。強生成する対象が存在するときは良い表現可能性定理が成立する。
どのような有限次元Noetherスキームに対してその連接層の導来圏が強生成であるかについてはBondal–Van den Bergh以降Rouquier, Keller–Van den Bergh, Aihara–Takahashi, Iyengar–Takahashiなどにより多くの結果が得られていたが、最近Neemanは別の手法を用いてそれをalterationが適用できる分離Noetherスキームに対して示した。それを講演者はGabberのweak local uniformizationを用いることでさらに分離的準優秀スキームにまで拡張した。講演ではこの結果およびその証明の手法を紹介する。
Zoom
< 前へ 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191 次へ >
