SearcharxivSearch

arXiv subjects

Hyungryul Baik

Publications and source records attributed to Hyungryul Baik.

At least 19 recordsLinked to original sources

HypLTSF: A Hyperbolic Geometric View of Multi-Scale Hierarchies for Long-Term Time Series Forecasting

Multi-scale modeling has become an effective approach for long-term time series forecasting, capturing temporal patterns that range from fine-grained local dynamics to coarse global trends. Representations across these temporal scales are inherently hierarchical, with coarser scales abstracting and aggregating information from finer ones. While existing approaches readily exchange information across these scales, the hierarchy itself is typically left as an emergent byproduct of such interactions rather than captured as a geometric structure in its own right. In this paper, we introduce HypLTSF, a framework that endows the multi-scale hierarchy with a concrete geometric form by embedding scale-wise representations into the Poincaré ball, whose exponentially expanding volume naturally accommodates hierarchical structures. To align this geometry with the temporal hierarchy, HypLTSF imposes two constraints: (1) a radial constraint that orders embeddings by their level of abstraction, and (2) an angular constraint that groups fine-scale patterns sharing a common coarser-scale ancestor. Extensive experiments on long-term time series forecasting benchmarks show that HypLTSF achieves state-of-the-art performance, suggesting that explicitly modeling the multi-scale hierarchy as a geometric structure is effective for forecasting.

cs.LG

Uniform Perfectness and Centers in Sublinearly Morse Boundaries

The $κ$--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 uniformly perfect Morse boundaries, we ask when uniform perfectness of visual boundary data detects $κ$--center exhaustivity. Two locally finite trees show that fixed-basepoint uniform perfectness is insufficient and, when $κ$ is unbounded, a basepoint-independent absolute annular cutoff is not necessary. For locally finite trees, center exhaustivity is equivalent to fixed-basepoint uniform perfectness and $κ$--radial accessibility. Under explicit uniform visual-data hypotheses, analogous conditions imply center exhaustivity through a chosen boundary stratum in proper geodesic spaces; a normalized all-basepoint criterion is also obtained. Finally, we characterize the metric transforms $ϕ$ for which one distortion function, depending only on $ϕ$, works for every identity $(Z,d)\to(Z,ϕ\circ d)$, and analyze the resulting metrics on rooted $q$--ary trees.

math.GT

Lean-GAP: A Dataset of Formalized Graduate Algebra Problems

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 pipeline consisting of PDF-to-LaTeX preprocessing, autoformalization into Lean 4, and verification of informal-formal correspondence. While the preprocessing and autoformalization stages can be largely automated, we find that verification remains the most subtle and labor-intensive component, requiring careful human oversight. Our contributions include (i) the construction of a structured dataset of formalized exercises, (ii) a systematic methodology for formalizing textbook mathematics, and (iii) an analysis of recurring challenges in the formalization process. We also compare the performance of different autoformalization models and highlight key bottlenecks in translating informal statements into formal language.

cs.LO

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.

cs.CL

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

We study the acylindrical hyperbolicity of the outer automorphism group of a right-angled Artin group $A_Γ$. When the defining graph $Γ$ has no SIL-pair (separating intersection of links), we obtain a necessary and sufficient condition for $\mathrm{Out}(A_Γ)$ to be acylindrically hyperbolic. As a corollary, if $Γ$ is a random connected graph satisfying a certain probabilistic condition, then $\mathrm{Out}(A_Γ)$ is not acylindrically hyperbolic with high probability. When $Γ$ has a maximal SIL-pair system, we derive a classification theorem for partial conjugations. Such a classification theorem allows us to show that the acylindrical hyperbolicity of $\mathrm{Out}(A_Γ)$ is closely related to the existence of a specific type of partial conjugations.

math.GR

Normal generators for mapping class groups

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 asymptotic translation lengths on the Teichmüller space and the curve graph of the underlying surface. We also discuss several open questions.

math.GT

Co-Hopfianity is not a profinite property

We exhibit two finitely generated residually finite groups $G$ and $H$ with isomorphic profinite completions $\widehat{G} \cong \widehat{H}$, such that $G$ is co-Hopfian while $H$ is not. The construction utilizes Wise's residually finite version of the Rips construction applied to a finitely presented acyclic group $U$ with trivial profinite completion and a strong universality property. A key feature of our approach is the construction of $H$ as a preimage subgroup of $G$ which is conjugate to a proper subgroup of itself. This renders the non-co-Hopfianity of $H$ immediate without requiring a detailed structural analysis of the Rips kernel.

math.GR

Optimizing the Upper-Bound Constant for the Crossing Number of Polynomial Curve Systems

Baader, Jörg, and Parlier recently established an upper bound for the crossing number of curve systems of size $m\asymp g^{1+α}$ on a genus $g$ surface, obtaining a leading coefficient of $9/4=2.25$. Their construction relies on fibre surfaces associated with complete bipartite graphs and uses a symmetric parameter choice corresponding to the central binomial coefficient. In this note, we optimize their construction by relaxing the parameter symmetry and solving the resulting entropy balance problem. We show that for every $α>0$ and every $\varepsilon>0$, \[ \mathrm{Cr}\bigl(g,\lfloor g^{1+α}\rfloor\bigr) \ \le\ (C_\star+\varepsilon)\,α^2\, g^{1+2α}(\log g)^2 \qquad (g\ \text{sufficiently large}), \] where \[ C_\star\ =\ \inf_{0<x\le 1/2}\ \frac{2x}{H(x)^2} \ \approx\ 1.5805443269, \qquad H(x)=-x\log x-(1-x)\log(1-x). \] This reduces the previous constant by about $30\%$ while staying within the same topological framework.

math.GT

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

Let $G$ be a random group in Gromov's density model $G(m,d,L)$ with $d<\tfrac12$. We prove a sharp quantitative constraint on products of conjugates equal to the identity: for every $n\ge1$ and $\varepsilon>0$, with overwhelming probability as $L\to\infty$, any tight word \[ W=\prod_{i=1}^n h_i^{-1} g h_i =1 \quad\text{in } G \] (with $g\neq 1$ as a word) satisfies the inequality \[ \sum_{i=1}^n \len{h_i} \;>\; \frac{1-2d-\varepsilon}{2}\,L \;-\; \frac{n}{2}\,\len{g}. \] The proof is a short van Kampen diagram argument: Ollivier's sharp isoperimetric inequality forces a 2-cell contributing a large portion of its boundary to the outer boundary, and a simple boundary block-counting estimate yields this corridor-type lower bound. As consequences we obtain uniform short-witness exclusions and width--length tradeoffs for generalized torsion at every density $d<\tfrac12$. We also deduce that random groups have no generalized torsion of any fixed width as a corollary of the recent first-order transfer theorem of Kharlampovich, Miasnikov, and Sklinos.

math.GR

Simple length spectra as moduli for hyperbolic surfaces and rigidity of length identities

In this article, we revisit classical length identities enjoyed by simple closed curves on hyperbolic surfaces. We state and prove the rigidity of such identities over Teichmüller spaces. Due to this rigidity, certain collections of simple closed curves which minimally intersect are characterized on generic hyperbolic surfaces by their lengths. As an application, we construct a meagre set $V$ in the Teichmüller space of a topological orientable surface $S$, possibly of infinite type. Then the isometry class of a (Nielsen-convex) hyperbolic structure on $S$ outside $V$ is characterized by its unmarked simple length spectrum. Namely, we show that the simple length spectra can be used as moduli for generic hyperbolic surfaces. In the case of compact surfaces, an analogous result using length spectra was obtained by Wolpert.

math.GT

TopoCL: Topological Contrastive Learning for Time Series

Universal time series representation learning is challenging but valuable in real-world applications such as classification, anomaly detection, and forecasting. Recently, contrastive learning (CL) has been actively explored to tackle time series representation. However, a key challenge is that the data augmentation process in CL can distort seasonal patterns or temporal dependencies, inevitably leading to a loss of semantic information. To address this challenge, we propose Topological Contrastive Learning for time series (TopoCL). TopoCL mitigates such information loss by incorporating persistent homology, which captures the topological characteristics of data that remain invariant under transformations. In this paper, we treat the temporal and topological properties of time series data as distinct modalities. Specifically, we compute persistent homology to construct topological features of time series data, representing them in persistence diagrams. We then design a neural network to encode these persistent diagrams. Our approach jointly optimizes CL within the time modality and time-topology correspondence, promoting a comprehensive understanding of both temporal semantics and topological properties of time series. We conduct extensive experiments on four downstream tasks-classification, anomaly detection, forecasting, and transfer learning. The results demonstrate that TopoCL achieves state-of-the-art performance.

cs.LG

On the asymptotic translation lengths on the sphere complexes and the generalized fibered cone

In this paper, we study the asymptotic translation lengths on the sphere complexes of monodromies of a manifold fibered over the circle. Given a compact mapping torus, we define a cone in the first cohomology which we call the generalized fibered cone, and show that every primitive integral element gives a fibration over the circle. Moreover, we prove that the generalized fibered cone is a rational slice of Fried's cone, which is defined as the dual of homological directions, an analogue of Thurston's fibered cone. As a consequence of our description of the generalized fibered cone, we provide each proper subcone of the generalized fibered cone with a uniform upper bound for asymptotic translation lengths of monodromies on sphere complexes of fibers in the proper subcone. Our upper bound is purely in terms of the dimension of the proper subcone. We also deduce similar estimates for asymptotic translation lengths of some mapping classes on finite graphs constructed in the works of Dowdall--Kapovich--Leininger, measured on associated free-splitting complexes and free-factor complexes. Moreover, as an application of our result, we prove that the asymptote for the minimal asymptotic translation length of the genus $g$ handlebody group on the disk complex is $1/g^2$, the same as the one on the curve complex.

math.GT

Reconstruction of Anosov flows from infinity

Every pseudo-Anosov flow $ϕ$ in a closed $3$-manifold $M$ gives rise to an action of $π_1(M)$ on a circle $S^{1}_{\infty}(ϕ)$ from infinity \cite{Fen12}, with a pair of invariant \emph{almost} laminations. From certain actions on $S^{1}$ with invariant almost laminations, we reconstruct flows and manifolds realizing these actions, including all orientable transitive pseudo-Anosov flows in closed $3$-manifolds. Our construction provides a geometry model for such flows and manifolds induced from $\mathcal{D} \times \mathcal{D}$, where $\mathcal{D}$ is the Poincaré disk with $\partial \mathcal{D}$ identified with $S^{1}_{\infty}(ϕ)$. In addition, our result applies to Cannon conjecture under the assumption that certain group-equivariant sphere-filling Peano curve exists, which offers a description of orientable quasigeodesic pseudo-Anosov flows in hyperbolic $3$-manifolds in terms of group actions on $\partial \mathbb{H}^{3} \times \partial \mathbb{H}^{3} \times \partial \mathbb{H}^{3}$.

math.GT

On the kernel of actions on asymptotic cones

Any finitely generated group $G$ acts on its asymptotic cones in natural ways. The purpose of this paper is to calculate the kernel of such actions. First, we show that when $G$ is acylindrically hyperbolic, the kernel of the natural action on every asymptotic cone coincides with the unique maximal finite normal subgroup $K(G)$ of $G$. Secondly, we use this equivalence to interpret the kernel of the actions on asymptotic cones as the kernel of the actions on many spaces at "infinity". For instance, if $G \curvearrowright M$ is a non-elementary convergence group, then we show that the kernel of actions on the limit set $L(G)$ coincides with the kernel of the action on asymptotic cones. Similar results can also be established for the non-trivial Floyd boundary and the $\mathrm{CAT}(0)$ groups with the visual boundary, contracting boundary, and sublinearly Morse boundary. Additionally, the results are extended to another action on asymptotic cones, called Paulin's construction. In the last section, we calculate the kernel on asymptotic cones for various groups, and as an application, we show that the cardinality of the kernel can determine whether the group admits non-elementary action under some mild assumptions.

math.GR

Minimal asymptotic translation lengths on curve complexes and homology of mapping tori

Let $S_g$ be a closed orientable surface of genus $g > 1$. Consider the minimal asymptotic translation length $L_{\mathcal{T}}(k, g)$ on the Teichmüller space of $S_g$, among pseudo-Anosov mapping classes of $S_g$ acting trivially on a $k$-dimensional subspace of $H_1(S_g)$, $0 \le k \le 2g$. The asymptotics of $L_{\mathcal{T}}(k, g)$ for extreme cases $k = 0, 2g$ have been shown by several authors. Jordan Ellenberg asked whether there is a lower bound for $L_{\mathcal{T}}(k, g)$ interpolating the known results on $L_{\mathcal{T}}(0, g)$ and $L_{\mathcal{T}}(2g, g)$, which was affirmatively answered by Agol, Leininger, and Margalit. In this paper, we study an analogue of Ellenberg's question, replacing Teichmüller spaces with curve complexes. We provide lower and upper bound on the minimal asymptotic translation length $L_{\mathcal{C}}(k, g)$ on the curve complex, whose lower bound interpolates the known results on $L_{\mathcal{C}}(0, g)$ and $L_{\mathcal{C}}(2g, g)$. Finally, for each $g$, we construct a non-Torelli pseudo-Anosov $f_g \in \operatorname{Mod}(S_g)$ which does not normally generates $\operatorname{Mod}(S_g)$ and so that the asymptotic translation length of $f_g$ on curve complexes decays more quickly than a constant multiple of $1/g$ as $g \to \infty$. From this, we provide a restriction on how small the asymptotic translation lengths on curve complexes should be if the similar phenomenon as in the work of Lanier and Margalit on Teichmüller spaces holds for curve complexes.

math.GT

Linear growth of translation lengths of random isometries on Gromov hyperbolic spaces and Teichmüller spaces

We investigate the translation lengths of group elements that arise in random walks on the isometry groups of Gromov hyperbolic spaces. In particular, without any moment condition, we prove that non-elementary random walks exhibit at least linear growth of translation lengths. As a corollary, almost every random walk on mapping class groups eventually becomes pseudo-Anosov and almost every random walk on $\mathrm{Out}(F_n)$ eventually becomes fully irreducible. If the underlying measure further has finite first moment, then the growth rate of translation lengths is equal to the drift, the escape rate of the random walk. We then apply our technique to investigate the random walks induced by the action of mapping class groups on Teichm{ü}ller spaces. In particular, we prove the spectral theorem under finite first moment condition, generalizing a result of Dahmani and Horbez.

math.GT

Reducible normal generators for mapping class groups are abundant

In this article, we study the normal generation of the mapping class group. We first show that a mapping class is a normal generator if its restriction on the invariant subsurface normally generates the (pure) mapping class group of the subsurface. As an application, we provided a criterion for reducible mapping classes to normally generate the mapping class groups in terms of its asymptotic translation lengths on Teichmüller spaces. This is an analogue to the work of Lanier-Margalit dealing with pseudo-Anosov normal generators.

math.GT

Monodromy through bifurcation locus of the Mandelbrot set

We investigate the behavior of itinerary sequence of each point of the Julia set of $z\mapsto z^2 + c$ when the parameter $c$ in the shift locus is allowed to pass through points in the bifurcation locus $\mathcal{P}_2$, which we call ``narrow", first proposed by Dierk Schleicher in \cite{schleicher2017internal}. We first show the combinatoric and geometric properties of narrow characteristic arcs. Also, we show how the itinerary sequence changes in an algorithmic way by using lamination models proposed by Keller in \cite{keller2007invariant}. Finally, we found an equivalence relation on the set of $0$-$1$ sequences so that the changing rule is a shift invariant up to the equivalence relation. This generalizes Atela's works in \cite{atela1992bifurcations}, \cite{atela1993mandelbrot}, which dealt with the special case of the generalized rabbit polynomials.

math.DS