本文印刷
全画面プリント
東京確率論セミナー
過去の記録 ～05/23｜次回の予定｜今後の予定 05/24～
| 開催情報 | 月曜日 16:00～17:30 数理科学研究科棟(駒場) 126号室 |
|---|---|
| 担当者 | 佐々田槙子、中島秀太（明治大学）、星野壮登（東京科学大学） |
| セミナーURL | https://sites.google.com/view/tokyo-probability-seminar23/ |
2025年04月14日(月)
16:00-17:30 数理科学研究科棟(駒場) 126号室
15:15〜 ２階のコモンルームでTea timeを行います。ぜひこちらにもご参加ください。
星野壮登 氏 (東京科学大学)
On the proofs of BPHZ theorem and future progress
15:15〜 ２階のコモンルームでTea timeを行います。ぜひこちらにもご参加ください。
星野壮登 氏 (東京科学大学)
On the proofs of BPHZ theorem and future progress
[ 講演概要 ]
Hairer’s theory of regularity structures (2014) provides a robust framework to guarantee the renormalizability of stochastic partial differential equations (SPDEs). This theory is established in several steps, among which the final and most technically involved step is the proof of the so-called "BPHZ theorem." There are two main approaches to this proof: a graph-theoretic approach developed by Chandra and Hairer (2016+), and a Malliavin calculus-based inductive approach introduced by Linares, Otto, Tempelmayr, and Tsatsoulis (2024). As for Gaussian noises, the latter is simpler and more inductive. While the language used by Otto and his coauthors is different from that of regularity structures, similar arguments have been formulated in the language of regularity structures by Hairer and Steele (2024) and Bailleul and Hoshino (2023+) by different approaches. In this talk, I will first give an overview of the theory of regularity structures, then compare the outlines of the proofs of BPHZ theorem. If time permits, I will also discuss some current researches and future problems.
Hairer’s theory of regularity structures (2014) provides a robust framework to guarantee the renormalizability of stochastic partial differential equations (SPDEs). This theory is established in several steps, among which the final and most technically involved step is the proof of the so-called "BPHZ theorem." There are two main approaches to this proof: a graph-theoretic approach developed by Chandra and Hairer (2016+), and a Malliavin calculus-based inductive approach introduced by Linares, Otto, Tempelmayr, and Tsatsoulis (2024). As for Gaussian noises, the latter is simpler and more inductive. While the language used by Otto and his coauthors is different from that of regularity structures, similar arguments have been formulated in the language of regularity structures by Hairer and Steele (2024) and Bailleul and Hoshino (2023+) by different approaches. In this talk, I will first give an overview of the theory of regularity structures, then compare the outlines of the proofs of BPHZ theorem. If time permits, I will also discuss some current researches and future problems.
