학과 세미나 및 콜로퀴엄
Most multi-armed bandit and reinforcement learning algorithms typically rely on full optimism, using confidence bonuses large enough to upper-bound unknown values with high probability. This talk presentsquasi-optimism, a new exploration principle that permits a controlled degree of underestimation while retaining provably optimal regret guarantees. We first introduce the principle in tabular reinforcement learning, where a simple inverse-count bonus achieves minimax-optimal regret without empirical-variance estimation, and then discuss its extension to distributional and instance-dependent regret guarantees in bandits and reinforcement learning. Finally, we extend quasi-optimism to linear contextual bandits through a quadratic–linear bonus. Despite not being pointwise optimistic, the new linear bandit algorithm simultaneously achieves minimax and margin-dependent regret guarantees under a single gap-agnostic tuning, while substantially reducing unnecessary exploration in empirical evaluations. Together, these results suggest that full optimism is not necessary for exploration to be both theoretically optimal and practically effective.
This talk is based on the following recent works:
Oh & Lee,Linear Contextual Bandits with Quasi-Optimism, 2026.
Lee & Oh, Unified Framework of Distributional Regret in Multi-Armed Bandits and Reinforcement Learning, COLT 2026.Lee & Oh,Minimax Optimal Reinforcement Learning with Quasi-Optimism, ICLR 2025.
Zeta and L-functions have been classically associated, first to schemes of finite type over Z, and then to the l-adic cohomology of smooth projective varieties over a global field. In the latter definition, independence from l and actual existence remain partly conjectural in characteristic 0.
In these lectures, I will explain how to associate unconditionally an L-function to objects in triangulated categories of motives. For the motive of a smooth projective variety this definition differs from the one above in general, but only up to a finite number of Euler factors. This might be useful to tackle the Beilinson conjectures.
Singularly perturbed differential equations arise in many problems in fluid mechanics and related areas, where small diffusivity or viscosity can generate sharp boundary, interior, and corner layers. These multiscale structures present significant challenges for both classical numerical methods and standard neural network approaches.
We develop neural network methods that use asymptotic analysis to identify and incorporate the dominant structure of singular layers directly into the approximation. By explicitly incorporating the leading singular components into the neural network ansatz, the trainable component is used primarily to approximate the smoother part of the solution. We also consider conservative formulations based on finite volume residuals, which incorporate local flux balance into the learning framework. Numerical examples for a range of singularly perturbed problems demonstrate the accuracy and robustness of these approaches as the perturbation parameter tends to zero.
Zeta and L-functions have been classically associated, first to schemes of finite type over Z, and then to the l-adic cohomology of smooth projective varieties over a global field. In the latter definition, independence from l and actual existence remain partly conjectural in characteristic 0.
In these lectures, I will explain how to associate unconditionally an L-function to objects in triangulated categories of motives. For the motive of a smooth projective variety this definition differs from the one above in general, but only up to a finite number of Euler factors. This might be useful to tackle the Beilinson conjectures.
This talk surveys major developments in the stability analysis of nonlinear waves in fluid dynamics. We begin with classical energy methods, which provide robust global $L^2$-bounds and nonlinear stability but often do not capture detailed spatial behavior or sharp decay rates. In many problems on unbounded domains, the absence of a spectral gap also prevents the direct use of standard semigroup theory.Pointwise semigroup methods overcome this difficulty through detailed Green’s function estimates, revealing how perturbations propagate, spread, and decay. Although powerful and sharp, this approach is often technically demanding and requires substantial spectral and resolvent information.We then discuss compactified spectral methods, a more recent and unified framework in which spatial transformations, weighted spaces, and compactification convert the original problem into a spectral or coercivity problem on a bounded interval. This can reveal an effective spectral gap, or a comparable coercive structure, even when none is apparent in the original formulation.These three approaches will be illustrated through examples from fluid mechanics, with the aim of providing a conceptual roadmap for modern stability analysis in nonlinear PDE.
Vertex algebras first appeared in physics as the algebraic structures of 2D CFT (conformal field theory) and were mathematically defined by Borcherds in 1986 during the resolution of the Moonshine conjecture. Since then, the theory has been developed from both mathematical and mathematical physical perspectives. In this talk, we introduce the structural characteristics and complexity of vertex algebras, as well as the interesting phenomena and research topics arising from them.
Geometric group theory, as the name suggests, uses invariants of a geometric nature, e.g., Cayley graphs and growth, to study finitely generated groups. The study of nilpotency, especially the works of Gromov and Bass–Guivarc'h, revealed the importance of LCS ranks, numerical invariants computed from the lower central series. Unfortunately, LCS ranks are notoriously hard to compute explicitly, so they are usually replaced by more tractable approximations: the Chen ranks. Works by Papadima and Suciu showed that Chen ranks connect directly to algebro-geometric objects: Koszul modules and resonance loci. I will explain how Koszul modules and their resonance varieties can be used to prove Green's conjecture on the syzygies of canonical curves, via vanishing theorems for vector bundles.
In this second talk, we apply the channel of energy method to the nonlinear analysis of radial Type II blow-up for the three-dimensional focusing energy-critical wave equation. We discuss how radiation estimates interact with concentration and compactness to produce rigidity, and how this leads to the classification of possible blow-up profiles. Finally, we relate these ideas to the soliton resolution picture for bounded radial solutions.
[References]
1. T. Duyckaerts, C. E. Kenig, F. Merle, Universality of blow-up profile for small radial Type II blow-up solutions of the energy-critical wave equation, J. Eur. Math. Soc. 13 (2011), 533–599.
2. T. Duyckaerts, C. E. Kenig, F. Merle, Classification of radial solutions of the focusing, energy-critical wave equation, Cambridge J. Math. 1 (2013), 75–144.
This talk explores the intricate interplay between the intrinsic geometry of complex projective varieties
and the homological invariants of their defining ideals. We focus on the structure of syzygies—encoding higher
order algebraic relations among defining equations—and the Castelnuovo–Mumford regularity, a key invariant
governing the complexity of embedded varieties. Finally, we survey classic and recent developments regarding
linear syzygies, the status of the Eisenbud–Goto conjecture, and the higher syzygies of secant varieties.
