[ 講演概要 ]
Stroke is a leading cause of death all around the world. There are two main types of stroke: ischemic (blood clot preventing blood flow to a part of the brain) and hemorrhagic (bleeding in the brain). The symptoms are the same, but treatments very different. A portable "stroke classifier" would be a life-saving equipment to have in ambulances, but so far it does not exist. Electrical Impedance Tomography (EIT) is a promising and harmless imaging method for stroke classification. In EIT one attempts to recover the electric conductivity inside a domain from electric boundary measurements. This is a nonlinear and ill-posed inverse problem. The so-called Complex Geometric Optics (CGO) solutions have proven to be a useful computational tool for reconstruction tasks in EIT. A new property of CGO solutions is presented, showing that a one-dimensional Fourier transform in the spectral variable provides a connection to parallel-beam Xray tomography of the conductivity. One of the consequences of this “nonlinear Fourier slice theorem” is a novel capability to recover inclusions within inclusions in EIT. In practical imaging, measurement noise causes strong blurring in the recovered profile functions. However, machine learning algorithms can be combined with the nonlinear PDE techniques in a fruitful way. As an example, simulated strokes are classified into hemorrhagic and ischemic using EIT measurements.

[ 講演概要 ]
Rational curves play a fundamental role for the structure of a K3 surface. I will first review the general theory before focussing on the case of low degree curves where joint work with S. Rams (Krakow) extends bounds of Miyaoka and Degtyarev. Time permitting, I will also discuss the special case of smooth rational curves as well as applications to Enriques surfaces.

[ 講演概要 ]
In the field of hemodynamics, numerical models have evolved to account for the demands in speed and accuracy of modern diagnostic medicine. In this context, we studied in detail Hierarchical Model Reduction technique combined with Isogeometric Analysis (HigaMOD), a technique recently developed in [Perotto, Reali, Rusconi and Veneziani (2017)]. HigaMod is a reduction procedure used to downscale models when the phenomenon at hand presents a preferential direction of flow, e.g., when modelling the blood flow in arteries or the water flow in a channel network. The method showed a significant improvement in reducing the computational power and simulation time, while giving enough information to analyze the problem at hand.

Recently, we focused our work in solving the ADR problem and the Stokes problem in a patient-specific framework. Specifically, we evaluate the computational efficiency of HigaMod in simulating the blood flow in coronary arteries and cerebral arteries. The main goal is to assess the
mprovement that 1D enriched models can provide, with respect to traditional full models, when dealing with demanding 3D CFD simulations. The results obtained, even though preliminary, are promising [Brandes, Barbosa and Perotto (2019); Brandes, Barbosa, Perotto and Suito (2020)].

[ 講演概要 ]
The Diederich-Fornaes and Steinness indices are estimated for weakly pseudoconvex domains in complex manifolds in terms of the D'Angelo 1-form of the boundary CR manifolds. In particular, CR invariance of these indices is shown when the domain is Takeuchi 1-convex. This is a joint work with Jihun Yum (Pusan National University).

[ 講演概要 ]
量子アニーリングとは、量子情報の連続操作によって行う量子計算手法の一種であり、現在2000量子ビットを持つ量子アニーリングマシンがD-Wave Systems社によって提供されている。本講演では量子アニーリングの基本概念を概観したのち、実際の実機での構成及び量子アニーリングによる計算手法を幅広く解説する。その中で現状の課題及び未来への期待について議論したい。

[ 講演概要 ]
Berger's classification of holonomy groups of Riemannian manifolds includes exceptional cases of the Lie groups G₂ and Spin(7). Many authors have studied G₂- and Spin(7)-manifolds with torus symmetry. In this talk, we generalize the celebrated examples due to Bryant and Salamon and study G₂-manifolds with SO(3)-symmetry. Such torsion-free G₂-structures are described as a dynamical system of SU(3)-structures on an SO(3)-fibration over a 3-manifold. As a main result, we reduce this system into a constrained Hamiltonian dynamical system on the cotangent bundle over the space of all Riemannian metrics on the 3-manifold. The Hamiltonian function is very similar to that of the Hamiltonian formulation of general relativity.

[ 講演概要 ]
Since its discovery, the cluster algebra has been developed with friutful connections with other branches of mathematics, unifying several combinatorial operations as well as their positivity notions. A mutation loop induces several dynamical systems via cluster transformations, and they form a group which can be seen as a combinatorial generalization of the mapping class groups of marked surfaces.
We introduce a new property of mutation loops called the sign stability, with a focus on an asymptotic behavior of the iteration of the tropicalized cluster X-transformation. A sign-stable mutation loop has a numerical invariant which we call the "cluster stretch factor", in analogy with the stretch factor of a pseudo-Anosov mapping class on a marked surface. We compute the algebraic entropies of the cluster A- and X-transformations induced by a sign-stable mutation loop, and conclude that these two coincide with the logarithm of the cluster stretch factor. This talk is based on a joint work with Shunsuke Kano.

[ 講演概要 ]
For a one-body Schr\"odinger operator with an attractive slowly decaying potential the scattering matrix is well-defined at the energy zero, and the structure of its singularities is well-studied. The usual (non-relativistic) model for the Hydrogen atom is a particular example of such Schr\"odinger operator.
Less is known on scattering at a two-cluster threshold of an $N$-body Schr\"odinger operator for which the effective interaction between the two bound clusters is attractive Coulombic. An example of interest is scattering at a two-cluster threshold of a neutral atom/molecule. We present results of an ongoing joint work with X.P. Wang on the subject, including a version of the Sommerfeld uniqueness result and its applications.
We shall also present general results on spectral theory at a two-cluster threshold (not requiring the effective interaction to be attractive Coulombic). This includes a general structure theorem on the bound and resonance states at the threshold as well as a resolvent expansion in weighted spaces above the threshold (under more restrictive conditions). Applications to scattering theory will be indicated.

[ 講演概要 ]
Around twenty years ago, Nori introduced a tannakian category of mixed motives over a subfield of the complex numbers, thus giving the first unconditional construction of the motivic Galois group. In this series of lectures, I will first survey on Nori's theory and its relationship to other categories of motives. I will then explain how to extend his construction to functions fields and why the resulting tannakian group governs
algebraic relations between period functions.
This last part is based on an ongoing work with Peter Jossen.

[ 講演概要 ]
製造業は、大きな変革期を迎えている。かつての製造業は、物理的なプロセスのみでメカニカル製品のみ存在していたが、IT（情報技術）の導入により、第1次製造業IT革命（1960～1970年代）、第2次製造業IT革命（1980～2000年代）を経て、今日は、AI/IoTによる第3次革命製造業革命の時代を迎えている。現在の製造業現場、製品に組み込まれたセンサー、プロセッサー、ソフトウェアによって、クラウド上に製品データを収集し分析可能になっている。本講義では、このような製造業IT革命の歴史をふまえ「スマートコネクテッドプロダクト」の概念について述べる。

[ 講演概要 ]
Around twenty years ago, Nori introduced a tannakian category of mixed motives over a subfield of the complex numbers, thus giving the first unconditional construction of the motivic Galois group. In this series of lectures, I will first survey on Nori's theory and its relationship to other categories of motives. I will then explain how to extend his construction to functions fields and why the resulting tannakian group governs
algebraic relations between period functions.
This last part is based on an ongoing work with Peter Jossen.

[ 講演概要 ]
Around twenty years ago, Nori introduced a tannakian category of mixed motives over a subfield of the complex numbers, thus giving the first unconditional construction of the motivic Galois group. In this series of lectures, I will first survey on Nori's theory and its relationship to other categories of motives. I will then explain how to extend his construction to functions fields and why the resulting tannakian group governs
algebraic relations between period functions.
This last part is based on an ongoing work with Peter Jossen.

[ 講演概要 ]
The magnitude homology and the blurred magnitude homology are novel notions of homology theory for general metric spaces coined by Leinster et al. They are expected to be dealt with in the context of Topological Data Analysis since its original idea is based on a kind of "persistence of points clouds". However, little property of them has been revealed. In this talk, we see that the blurred magnitude homology is trivial when a metric space is contractible by a distance decreasing homotopy. We use techniques from singular homology theory.

[ 講演概要 ]
Guillermou associated sheaves to exact Lagrangian submanifolds in cotangent bundles and proved topological properties of the Lagrangian submanifolds. In this talk, I will give an estimate on the displacement energy of rational Lagrangian immersions in cotangent bundles with intersection number estimates via microlocal sheaf theory. This result overlaps with results by Chekanov, Liu, and Akaho via Floer theory. This is joint work with Yuichi Ike.

[ 講演概要 ]
Stein's method is a powerful tool to proving distributional approximations with error bounds. In this talk, we present two recent developments of Stein's method for high order approximations. (1) Together with Li Luo and Qi-Man Shao, we consider skewness correction in normal approximation. We prove a refined Cram\'er-type moderate deviation result for a class of statistics possessing a local structure. We discuss applications to $k$-runs, U-statistics and subgraph counts. (2) Together with Anton Braverman and Jim Dai, we derive and justify new diffusion approximations with state-dependent diffusion coefficients for stationary distributions of Markov chains. We discuss applications to the Erlang-C system, a hospital inpatient flow model and the auto-regressive model.

[ 講演概要 ]
We define fractional Pearson diffusions [5,7,8] by non-Markovian time change in the corresponding Pearson diffusions [1,2,3,4]. They are governed by the time-fractional diffusion equations with polynomial coefficients depending on the parameters of the corresponding Pearson distribution. We present the spectral representation of transition densities of fractional Pearson diffusions, which depend heavily on the structure of the spectrum of the infinitesimal generator of the corresponding non-fractional Pearson diffusion. Also, we present the strong solutions of the Cauchy problems associated with heavy-tailed fractional Pearson diffusions and the correlation structure of these diffusions [6] .
Continuous time random walks have random waiting times between particle jumps. We define the correlated continuous time random walks (CTRWs) that converge to fractional Pearson diffusions (fPDs) [9,10,11]. The jumps in these CTRWs are obtained from Markov chains through the Bernoulli urn-scheme model, Wright-Fisher model and Ehrenfest-Brillouin-type models. The jumps are correlated so that the limiting processes are not Lévy but diffusion processes with non-independent increments.

This is a joint work with M. Meerschaert (Michigan State University, USA), I. Papic (University of Osijek, Croatia), N.Suvak (University of Osijek, Croatia) and A. Sikorskii (Michigan State University and Arizona University, USA).

References:
[1] Avram, F., Leonenko, N.N and Suvak, N. (2013), On spectral analysis of heavy-tailed Kolmogorov-Pearson diffusion, Markov Processes and Related Fields, Volume 19, N 2 , 249-298
[2] Avram, F., Leonenko, N.N and Suvak, N., (2013), Spectral representation of transition density of Fisher-Snedecor diffusion, Stochastics, 85 (2013), no. 2, 346—369
[3] Bourguin, S., Campese, S., Leonenko, N. and Taqqu,M.S. (2019) Four moments theorems on Markov chaos, Annals of Probability, 47, N3, 1417–1446
[4] Kulik, A.M. and Leonenko, N.N. (2013) Ergodicity and mixing bounds for the Fisher-Snendecor diffusion, Bernoulli, Vol. 19, No. 5B, 2294-2329
[5] Leonenko, N.N., Meerschaert, M.M and Sikorskii, A. (2013) Fractional Pearson diffusions, Journal of Mathematical Analysis and Applications, vol. 403, 532-546
[6] Leonenko, N.N., Meerschaert, M.M and Sikorskii, A. (2013) Correlation Structure of Fractional Pearson diffusion, Computers and Mathematics with Applications, 66, 737-745
[7] Leonenko,N.N., Meerschaert,M.M., Schilling,R.L. and Sikorskii, A. (2014) Correlation Structure of Time-Changed Lévy Processes, Communications in Applied and Industrial Mathematics, Vol. 6 , No. 1, p. e-483 (22 pp.)
[8] Leonenko, N.N., Papic, I., Sikorskii, A. and Suvak, N. (2017) Heavy-tailed fractional Pearson diffusions, Stochastic Processes and their Applications, 127, N11, 3512-3535
[9] Leonenko, N.N., Papic, I., Sikorskii, A. and Suvak, N. (2018) Correlated continuous time random walks and fractional Pearson diffusions, Bernoulli, Vol. 24, No. 4B, 3603-3627
[10] Leonenko, N.N., Papic, I., Sikorskii, A. and Suvak, N. (2019) Ehrenfest-Brillouin-type correlated continuous time random walks and fractional Jacoby diffusion, Theory Probablity and Mathematical Statistics, Vol. 99,123-133.
[11] Leonenko, N.N., Papic, I., Sikorskii, A. and Suvak, N. (2019) Approximation of heavy-tailed fractional Pearson diffusions in Skorokhod topology, submitted

[ 講演概要 ]
機械学習が現在流行しているが、その手法にはさまざまなものがある。
本講演では、機械学習のある典型的な場合について、
その理論根拠となるはずの統計的学習理論の考え方を紹介する。
特に、深層学習（neural network）に関して、
その表現力とStone-Weierstrassの定理との関係、
一様大数の法則に関するいくつかの計算結果を紹介する。

講演者は機械学習の研究を始めたばかりの初心者であるが、機械学習の理論的研究に
は様々な数学の視点が有用ではないかと感じている。
機械学習への興味を持っていただければと思っている。

[ 講演概要 ]
In ZFC, all the large cardinals are much bigger than $\omega_1$, the least uncountable cardinal,
while without assuming the Axiom of Choice, $\omega_1$ could have some large cardinal properties.
Jech and Takeuti independently proved that if the axiom system ZFC + There is a measurable cardinal is consistent,
then so is ZF + $\omega_1$ is a measurable cardinal.
Takeuti also proved that one can replace "measurable cardinal" above with "supercompact cardinal" as well as some other large cardinals.
Woodin proved that one can reduce the assumption, i.e., the consistency of ZFC + a supercompact cardinal,
to that of ZFC + There are proper class many Woodin cardinals which are limits of Woodin cardinals,
to obtain the consistency of ZF + $\omega_1$ is a supercompact cardinal.
Furthermore, the model he constructed also satisfies the Axiom of Determinacy (AD).
In this talk, after giving some background on the connections between large cardinals and determinacy, we discuss some consequences of the axiom system ZF + $\omega_1$ is a supercompact cardinal.
This is joint work with Nam Trang.

[ 講演概要 ]
株式会社ブロードバンドタワーのAI研究拠点での活動内容を通じて、AI研究に関する動向を紹介させていただきます。また、産業界におけるAI活用に対する課題と将来展望について事例をふまえお話をさせていただきます。

[ 講演概要 ]
本講演では，x軸上に2つの端点を持ち，その端点において異なる接触角を生成する曲線に対する表面拡散を考察する．上記の自由境界値問題は，曲線に対するある汎関数の形式的なH^{-1}勾配流として導出できる．この変分構造は，同様の接触角条件を課した面積保存型曲率流でも現れるため，解の漸近挙動も類似した構造を持つことが期待される．面積保存型曲率流においては，進行波解が安定性を持つことが知られているため，本講演では，表面拡散に対する進行波解の存在性，及びその形状を解析する．特に，面積保存型曲率流においては現れない構造である，角度条件に依存した進行波解の非一意性と非凸性に焦点を当てる．尚，本講演の内容は神戸大学の高坂良史氏との共同研究に基づく．

[ 講演概要 ]
シンプレクティック・ベクトル空間の（コンパクト）部分集合に対して、シンプレクティック・ホモロジー（Floer ホモロジーの一種）を用いてそのシンプレクティック容量（capacity）を定義することができる。一般に、Floerホモロジーの定義には非線形偏微分方程式（いわゆるFloer方程式）の解の数え上げが関わるため、容量を定義から直接計算したり評価したりするのは難しい。この講演では（シンプレクティック・ベクトル空間をEuclid空間の余接空間とみなしたとき）fiberwiseに凸な集合のシンプレクティック・ホモロジーおよび容量をループ空間のホモロジーから計算する公式を示し、その応用を二つ与える。