arXiv subjects

Yongseok Jang

Publications and source records attributed to Yongseok Jang.

6 recordsLinked to original sources

arXiv2026

A stable DG-POD reduced-order method for dynamic linear viscoelasticity

We present a reduced-order modeling framework based on proper orthogonal decomposition for dynamic linear viscoelasticity governed by generalized Maxwell models. The hereditary constitutive law is reformulated using internal variables, and the resulting problem is discretized in space by a symmetric interior penalty discontinuous Galerkin method and in time by either the backward Euler or Crank--Nicolson scheme. The reduced model is obtained by projecting the fully discrete system onto low-dimensional spaces constructed from displacement snapshots. For the full-order discontinuous Galerkin formulation, we show well-posedness and derive an a priori stability bound without using Gronwall's inequality. Consequently, the bound grows at most linearly, rather than exponentially, with the final time. We further derive spatial error estimates and an error decomposition that separates the effects of spatial discretization, temporal discretization, and proper orthogonal decomposition truncation. The reduced formulation replaces the large full-order systems with low-dimensional problems, enabling efficient long-time simulations. Numerical experiments verify the predicted convergence behavior, assess different inner products for constructing the reduced basis, and demonstrate accurate recovery of transient oscillations and viscoelastic relaxation with substantial computational savings, even after accounting for snapshot generation and basis construction.

math.NA↗

arXiv2026

Comonadic Morphophonology: A Compositional Framework for Context-Dependent Morphological Rules in Finnish

Composing finite-state transducers (FSTs) for context-dependent morphophonological rules -- consonant gradation, vowel harmony, possessive suffix assimilation -- leads to multiplicative state explosion; neural models sidestep the problem but provide no formal account of the rules themselves. We present the first framework where each morphophonological rule is a function from a focused local context to a single output segment -- the type of a local rule familiar from cellular automata -- and where length-changing rules compose as coKleisli arrows of a comonad. Our central contribution is the Writer comonad (DeletionSet x Zipper), a new algebraic construction that restores strict coKleisli compositionality for such rules: each rule is a coKleisli arrow, extend lifts it to a global transformation, and deletions accumulate as a monoid action rather than requiring intermediate materialization. As supporting evidence, thirteen coKleisli arrows provide an alternative formulation expressing the same morphophonological behaviors that Omorfi encodes via 874 continuation classes (67:1 reduction at the rule-representation level), and the same abstraction enables bidirectional morphology -- a MorphGenerator reuses the analysis arrows for generation. On UD Finnish-TDT, the system achieves 83.92% UPOS accuracy with rule-only disambiguation (94.66% with an external suffix tagger), validating the framework as a practical morphological engine.

cs.CL↗

arXiv2026

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↗

arXiv2021

Finite Element Approximation and Analysis of Viscoelastic Scalar Wave Propagation with Internal Variable Formulations

We consider linear scalar wave equations with a hereditary integral term of the kind used to model viscoelastic solids. The kernel in this Volterra integral is a sum of decaying exponentials (The so-called Maxwell, or Zener model) and this allows the introduction of one of two types of families of internal variables, each of which evolve according to an ordinary differential equation (ODE). There is one such ODE for each decaying exponential, and the introduction of these ODEs means that the Volterra integral can be removed from the governing equation. The two types of internal variable are distinguished by whether the unknown appears in the Volterra integral, or whether its time derivative appears; we call the resulting problems the displacement and velocity forms. We define fully discrete formulations for each of these forms by using continuous Galerkin finite element approximations in space and an implicit `Crank-Nicolson' type of finite difference method in time. We prove stability and a priori bounds, and (using the FEniCS environment, https://fenicsproject.org/) give some numerical results. These bounds do not require Grönwall's inequality and so can be regarded to be of high quality, allowing confidence in long time integration without an a priori exponential build up of error. As far as we are aware this is the first time that these two formulations have been described together with accompanying proofs of such high quality stability and error bounds. The extension of the results to vector-valued viscoelasticity problems is straightforward and summarised at the end. The numerical results are reproducible by acquiring the python sources from https://github.com/Yongseok7717, or by running a custom built docker container (instructions are given).

math.NA↗

arXiv2021

A Priori Analysis of a Symmetric Interior Penalty Discontinuous Galerkin Finite Element Method for a Dynamic Linear Viscoelasticity Model

The stress-strain constitutive law for viscoelastic materials such as soft tissues, metals at high temperature, and polymers, can be written as a Volterra integral equation of the second kind with a \emph{fading memory} kernel. This integral relationship yields current stress for a given strain history and can be used in the momentum balance law to derive a mathematical model for the resulting deformation. We consider such a dynamic linear viscoelastic model problem resulting from using a \textit{Dirichlet-Prony} series of decaying exponentials to provide the fading memory in the Volterra kernel. We introduce two types of \textit{internal variable} to replace the Volterra integral with a system of auxiliary ordinary differential equations and then use a spatially discontinuous symmetric interior penalty Galerkin (SIPG) finite element method and -- in time -- a Crank-Nicolson method to formulate the fully discrete problems: one for each type of internal variable. We present \textit{a priori} stability and error analyses without using Grönwall's inequality, and with the result that the constants in our estimates grow linearly with time rather than exponentially. In this sense the schemes are therefore suited to simulating long time viscoelastic response and this (to our knowledge) is the first time that such high quality estimates have been presented for SIPG finite element approximation of dynamic viscoelasticty problems. We also carry out a number of numerical experiments using the FEniCS environment (e.g. \url{https://fenicsproject.org}) and explain how the codes can be obtained and the results reproduced.

math.NA↗

arXiv2021

A priori error analysis for a finite element approximation of dynamic viscoelasticity problems involving a fractional order integro-differential constitutive law

We consider a fractional order viscoelasticity problem modelled by a power-law type stress relaxation function. This viscoelastic problem is a Volterra integral equation of the second kind with a weakly singular kernel where the convolution integral corresponds to fractional order differentiation/integration. We use a spatial finite element method and a finite difference scheme in time. Due to the weak singularity, fractional order integration in time is managed approximately by linear interpolation so that we can formulate a fully discrete problem. In this paper, we present a stability bound as well as a priori error estimates. Furthermore, we carry out numerical experiments with varying regularity of exact solutions at the end.

math.NA↗