Hyungryul Baik

activity

20242026

collaborators

11 papers

math.GT2026

Uniform Perfectness and Centers in Sublinearly Morse Boundaries

Hyungryul Baik

The $I^º$ --Morse boundary was introduced for CAT(0) spaces by Qing and Rafi and extended to proper geodesic spaces by Qing, Rafi, and Tiozzo. Motivated by Han and Liu's work on unif…

cs.LO2026

Lean-GAP: A Dataset of Formalized Graduate Algebra Problems

Seewoo Lee, Byung-Hak Hwang, Hyojae Lim +10

We present Lean-GAP (Lean-Graduate Agebra Problems), 430 formalized graduate-level algebra problems from the textbook Abstract Algebra by Dummit and Foote. We develop a scalable pi…

math.GR2026

Acylindrical hyperbolicity of outer automorphism groups of right-angled Artin groups

Hyungryul Baik, Junseok Kim

We study the acylindrical hyperbolicity of the outer automorphism group of a right-angled Artin group $A_{I^} $ . When the defining graph $I^$ has no SIL-pair (separating intersection…

math.GT2026

Normal generators for mapping class groups

Hyungryul Baik, Dongryul M. Kim

In this chapter, we discuss normal generators for mapping class groups of surfaces. Especially, we focus on the relation between normal generation of a mapping class with its asymp…

math.GR2026

Co-Hopfianity is not a profinite property

Hyungryul Baik, Wonyong Jang

We exhibit two finitely generated residually finite groups $G$ and $H$ with isomorphic profinite completions $G ≅ H$ , such that $G$ is co-Hopfian while $H$ …

math.GR2026

Random Groups at Density $d < 1/2$ : Sharp Length Inequalities for Generalized Torsion and a Fixed-width Exclusion via First-order Transfer

Hyungryul Baik

Let $G$ be a random group in Gromov's density model $G (m, d, L)$ with $d < \frac{1}{2}$ . We prove a sharp quantitative constraint on products of conjugates equal to the identity: for ever…

Uniform Perfectness and Centers in Sublinearly Morse Boundaries

Lean-GAP: A Dataset of Formalized Graduate Algebra Problems

Acylindrical hyperbolicity of outer automorphism groups of right-angled Artin groups

Normal generators for mapping class groups

Co-Hopfianity is not a profinite property

Random Groups at Density d<1/2: Sharp Length Inequalities for Generalized Torsion and a Fixed-width Exclusion via First-order Transfer

Random Groups at Density $d < 1/2$ : Sharp Length Inequalities for Generalized Torsion and a Fixed-width Exclusion via First-order Transfer