-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
160 lines (137 loc) · 5.47 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
<!DOCTYPE html>
<html lang="en">
<head>
<title>Yuma Mizuno</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<style>
body {
font-family: Arial, Helvetica, sans-serif;
max-width: 750px;
margin: auto;
}
.header {
padding: 35px;
text-align: start;
background: #ffffff;
color: #000000;
}
.header h1 {
font-size: 25px;
}
.navbar {
overflow: hidden;
background-color: #333;
}
.navbar a {
float: left;
display: block;
color: white;
text-align: center;
padding: 14px 20px;
text-decoration: none;
}
.navbar a.right {
float: right;
}
.navbar a:hover {
background-color: #ddd;
color: black;
}
* {
box-sizing: border-box;
}
.main {
background-color: white;
padding: 20px;
}
</style>
</head>
<body>
<div class="header">
<h1>Yuma Mizuno</h1>
</div>
<div class="navbar">
<a href="#profile">Profile</a>
<!-- <a href="index.html">Home</a> -->
<a href="#cv">CV</a>
<a href="#paper">Papers</a>
<a href="#other">Others</a>
<!--<a href="programs.html">Programs</a>-->
</div>
<div class="main">
<h2 id="profile">Profile</h2>
<p>Postdoc<br>
School of Mathematics and Statistics,<br>
University College Dublin</p>
<p><b>Email:</b> [email protected]</p>
<p><b>Address:</b> Belfield, Dublin 4, Ireland. </p>
<p><a href="https://researchmap.jp/yuma_mizuno">https://researchmap.jp/yuma_mizuno</a></p>
<h2 id="cv">CV</h2>
<a href="CV/CV.pdf">CV.pdf</a></p>
<h2>Research Interest</h2>
<ul>
<li>cluster algebras</li>
<li>and their relation to low-dimensional topology, representation theory, integrable systems, and mathematical physics</li>
</ul>
<h2 id="paper">Preprints</h2>
<ol>
<li>
Periodic Y-systems and Nahm sums: the rank 2 case, arXiv:2301.13239.
</li>
</ol>
<h2>Publications</h2>
<ol>
<li>
Remarks on Nahm sums for symmetrizable matrices,
The Ramanujan Journal, 66, 62 (2025).
(Program:
<a href="https://github.com/yuma-mizuno/modular-search-for-Nahm-sums-with-symmetrizers">
https://github.com/yuma-mizuno/modular-search-for-Nahm-sums-with-symmetrizers</a>,
<a href=modular_nahm_112.csv>Table 2 </a> and
<a href=modular_nahm_221.csv>Table 3</a> in CSV format).
</li>
<li>
q-Painlevé equations on cluster Poisson varieties via toric geometry, Selecta Mathematica. New Series, 30, 19 (2024).
</li>
<li>
Difference equations arising from cluster algebras, Journal of Algebraic Combinatorics, 54, 295-351.
</li>
<li>
Exponents associated with Y-systems and their relationship with q-series. SIGMA Symmetry Integrability Geom. Methods Appl., 16:028, 42 pages, 2020.
</li>
<li>
Jacobian matrices of Y-seed mutations, Advances in Applied Mathematics, 115:101987, 2020.
</li>
<li>
Quiver mutation sequences and q-binomial identities, joint work with Akishi Kato and Yuji Terashima, International Mathematics Research Notices, 2018(23):7335-7358, 2018.
</li>
</ol>
<h2>Slides</h2>
<ol>
<li>
トーリック曲面のブローアップの変異とq-Painlevé系
(Mutations of blowups of toric surfaces and q-Painlevé systems),
函数方程式論サマーセミナー, August 11th 2022,
<a href=slide/2022Hakodate.pdf>slide</a> (Japanese)
</li>
</ol>
<h2 id="other">Others</h2>
<p>My thesis: <a href =thesis.pdf>Difference equations arising from cluster algebras</a>.</p>
<p> The data of solutions of Q-systems computed by the fermionic formulas: <a href=solutionQ_unrestricted.json>json file</a>.
See Theorem 13.11 in <a href=https://arxiv.org/abs/1010.1344>the paper</a> written by Kuniba, Nakanishi, and Suzuki for
a mathematical explanation.
These data was used for computing the exponents in the paper
<i>Exponents associated with Y-systems and their relationship with q-series</i>.
</p>
<p>
I'm interested in formalising mathematics. I formalized
<a href=https://github.com/yuma-mizuno/lean-cluster-algebra>the definition of cluster algebras</a>
in <a href="https://leanprover-community.github.io/">Lean</a>.
I also made some contributions to <a href=>mathlib</a> (the Lean mathematical library). The main one is to write a library for
<a href=https://leanprover-community.github.io/mathlib_docs/category_theory/bicategory/basic.html>bicategories</a>, including
<a href=https://leanprover-community.github.io/mathlib_docs/category_theory/bicategory/coherence.html>the coherence theorem</a>.
</p>
</div>
</body>
</html>