Source author record

Hyungryul Baik

Hyungryul Baik appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GT math.DS math.GR Computation and Language

Catalog footprint

What is connected

9works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs

Following the recent achievement of gold-medal performance on the IMO by frontier LLMs, the community is searching for the next meaningful and challenging target for measuring LLM reasoning. Whereas olympiad-style problems measure step-by-step reasoning alone, research-level problems use such reasoning to advance the frontier of mathematical knowledge itself, emerging as a compelling alternative. Yet research-level math benchmarks remain scarce because such problems are difficult to source (e.g., Riemann Bench and FrontierMath-Tier 4 contain 25 and 50 problems, respectively). To support reliable evaluation of next-generation frontier models, we introduce Soohak, a 439-problem benchmark newly authored from scratch by 64 mathematicians. Soohak comprises two subsets. On the Challenge subset, frontier models including Gemini-3-Pro, GPT-5, and Claude-Opus-4.5 reach 30.4%, 26.4%, and 10.4% respectively, leaving substantial headroom, while leading open-weight models such as Qwen3-235B, GPT-OSS-120B, and Kimi-2.5 remain below 15%. Notably, beyond standard problem solving, Soohak introduces a refusal subset that probes a capability intrinsic to research mathematics: recognizing ill-posed problems and pausing rather than producing confident but unjustified answers. On this subset, no model exceeds 50%, identifying refusal as a new optimization target that current models do not directly address. To prevent contamination, the dataset will be publicly released in late 2026, with model evaluations available upon request in the interim.

preprint2022arXiv

Topological entropy of pseudo-Anosov maps on punctured surfaces vs. homology of mapping tori

We investigate the relation between the topological entropy of pseudo-Anosov maps on surfaces with punctures and the rank of the first homology of their mapping tori. On the surface $S$ of genus $g$ with $n$ punctures, we show that the entropy of a pseudo-Anosov map is bounded from above by $\dfrac{(k+1)\log(k+3)}{|χ(S)|}$ up to a constant multiple when the rank of the first homology of the mapping torus is $k+1$ and $k, g, n$ satisfy a certain assumption. This is a partial generalization of precedent works of Tsai and Agol-Leininger-Margalit.

preprint2021arXiv

Topological entropy of pseudo-Anosov maps from a typical Thurston's construction

In this paper, we develop a way to extract information about a random walk associated with a typical Thurston's construction. We first observe that a typical Thurston's construction entails a free group of rank 2. We also present a proof of the spectral theorem for random walks associated with Thurston's construction that have finite second moment with respect to the Teichmüller metric. Its general case was remarked by Dahmani and Horbez. Finally, under a hypothesis not involving moment conditions, we prove that random walks eventually become pseudo-Anosov. As an application, we first discuss a random analogy of Kojima and McShane's estimation of the hyperbolic volume of a mapping torus with pseudo-Anosov monodromy. As another application, we discuss non-probabilistic estimations of stretch factors from Thurston's construction and the powers for Salem numbers to become the stretch factors of pseudo-Anosovs from Thurston's construction.

preprint2020arXiv

An upper bound on the asymptotic translation lengths on the curve graph and fibered faces

We study the asymptotic behavior of the asymptotic translation lengths on the curve complexes of pseudo-Anosov monodromies in a fibered cone of a fibered hyperbolic 3-manifold $M$ with $b_1(M) \geq 2$. For a sequence $(Σ_n, ψ_n)$ of fibers and monodromies in the fibered cone, we show that the asymptotic translation length on the curve complex is bounded above by $1/χ(Σ_n)^{1+1/r}$ as long as their projections to the fibered face converge to a point in the interior, where $r$ is the dimension of the $ψ_n$-invariant homology of $Σ_n$ (which is independent of $n$). As a corollary, if $b_1(M) = 2$, the asymptotic translation length on the curve complex of such a sequence of primitive elements behaves like $1/χ(Σ_n)^{2}$. Furthermore, together with a work of E. Hironaka, our theorem can be used to determine the asymptotic behavior of the minimal translation lengths of handlebody mapping class groups and the set of mapping classes with homological dilatation one.

preprint2019arXiv

On laminar groups, Tits alternatives, and convergence group actions on $S^2$

Following previous work of the second author, we establish more properties of groups of circle homeomorphisms which admit invariant laminations. In this paper, we focus on a certain type of such groups-so-called pseudo-fibered groups, and show that many 3-manifold groups are examples of pseudo-fibered groups. We then prove that torsion-free pseudo-fibered groups satisfy a Tits alternative. We conclude by proving that a purely hyperbolic pseudo-fibered group acts on the 2-sphere as a convergence group. This leads to an interesting question if there are examples of pseudo-fibered groups other than 3-manifold groups.

preprint2016arXiv

Is a typical bi-Perron number a pseudo-Anosov dilatation?

In this note, we deduce a partial answer to the question in the title. In particular, we show that asymptotically almost all bi-Perron algebraic unit whose characteristic polynomial has degree at most $2n$ do not correspond to dilatations of pseudo-Anosov maps on a closed orientable surface of genus $n$ for $n\geq 10$. As an application of the argument, we also obtain a statement on the number of closed geodesics of the same length in the moduli space of area one abelian differentials for low genus cases.

preprint2014arXiv

Fuchsian Groups, Circularly Ordered Groups, and Dense Invariant Laminations on the Circle

We propose a program to study groups acting faithfully on S^1 in terms of number of pairwise transverse dense invariant laminations. We give some examples of groups which admit a small number of invariant laminations as an introduction to such groups. Main focus of the present paper is to characterize Fuchsian groups in this scheme. We prove a group acting on S^1 is conjugate to a Fuchsian group if and only if it admits three very-full laminations with a variation of the transversality condition. Some partial results toward a similar characterization of hyperbolic 3-manifold groups which fiber over the circle have been obtained. This work was motivated by the universal circle theory for tautly foliated 3-manifolds developed by Thurston and Calegari-Dunfield.

preprint2013arXiv

Introduction to Chabauty topology and Pictures of the Chabauty space of C*

The aim of this paper is to provide a gentle introduction to Chabauty topology, while very little background knowledge is assumed. As an example, we provide pictures for the Chabauty space of C*. Note that the description of this space is not new; however the pictures are novel.

preprint2012arXiv

The Space of Geometric Limits of One-generator Closed Subgroups of PSL2(R)

We give a complete description of the closure of the space of one-generator closed subgroups of PSL2(R) for the Chabauty topology, by computing explicitly the matrices associated with elements of Aut(D) = PSL2(R), and finding quantities parametrizing the limit cases. Along the way, we investigate under what conditions sequences of maps transform convergent sequences of closed subsets of the domain into convergent sequences of closed subsets of the range. In particular, this allows us to compute certain geometric limits of PSL2(R) only by looking at the Hausdorff limit of some closed subsets of C.