Source author record

Seonghak Kim

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

12 published item(s)

preprint2026arXiv

Irregular Diffusions and Loss of Regularity in Polyconvex Gradient Flows

We investigate diffusion-type partial differential equations that are irregular in the sense that they admit weak solutions which are nowhere smooth, even for prescribed smooth data. By reformulating these equations as first-order partial differential relations and adapting the method of convex integration, we develop a construction scheme based on new geometric structures, referred to as $\mathcal{T}_N$-configurations, together with a simplified structural hypothesis on the diffusion functions, termed Condition $O_N$. Under this condition, we show that the associated initial and boundary value problems with certain smooth initial-boundary data admit infinitely many Lipschitz weak solutions that are nowhere $C^1$. We further analyze specific $\mathcal{T}_N$-configurations and establish nondegeneracy conditions that are essential for verifying Condition $O_N$. As an application, we construct examples of strongly polyconvex energy functionals whose gradient flows generate irregular diffusion equations, thereby revealing a failure of regularity and uniqueness even within the class of polyconvex gradient flows.

preprint2020arXiv

A$^3$: Accelerating Attention Mechanisms in Neural Networks with Approximation

With the increasing computational demands of neural networks, many hardware accelerators for the neural networks have been proposed. Such existing neural network accelerators often focus on popular neural network types such as convolutional neural networks (CNNs) and recurrent neural networks (RNNs); however, not much attention has been paid to attention mechanisms, an emerging neural network primitive that enables neural networks to retrieve most relevant information from a knowledge-base, external memory, or past states. The attention mechanism is widely adopted by many state-of-the-art neural networks for computer vision, natural language processing, and machine translation, and accounts for a large portion of total execution time. We observe today's practice of implementing this mechanism using matrix-vector multiplication is suboptimal as the attention mechanism is semantically a content-based search where a large portion of computations ends up not being used. Based on this observation, we design and architect A3, which accelerates attention mechanisms in neural networks with algorithmic approximation and hardware specialization. Our proposed accelerator achieves multiple orders of magnitude improvement in energy efficiency (performance/watt) as well as substantial speedup over the state-of-the-art conventional hardware.

preprint2016arXiv

Convex integration with linear constraints and its applications

We study solutions of the first order partial differential inclusions of the form $\nabla u\in K$, where $u:Ω\subset\mathbb{R}^n\to\mathbb{R}^m$ and $K$ is a set of $m\times n$ real matrices, and derive a companion version to the result of {Müller and Šverák} [20], concerning a general linear constraint on the components of $\nabla u$. We then consider two applications: the vectorial eikonal equation and a $T_4$-configuration both under linear constraints.

preprint2016arXiv

Non-parabolic diffusion problems in one space dimension

We study some non-parabolic diffusion problems in one-space dimension, where the diffusion flux exhibits forward and backward nature of the Perona-Malik, Höllig or non-Fourier type. Classical weak solutions to such problems are constructed in a way to capture some expected and unexpected properties, including anomalous asymptotic behaviors and energy dissipation or allocation. Specific properties of solutions will depend on the type of the diffusion flux, but the primary method of our study relies on reformulating diffusion equations involved as an inhomogeneous partial differential inclusion and on constructing solutions from the differential inclusion by a combination of the convex integration and Baire's category methods. In doing so, we introduce the appropriate notion of subsolutions of the partial differential inclusion and their transition gauge, which plays a pivotal role in dealing with some specific features of the constructed weak solutions.

preprint2016arXiv

Two-phase forward solutions for one-dimensional forward-backward parabolic equations with linear convection and reaction

We study the existence and properties of Lipschitz continuous weak solutions to the Neumann boundary value problem for a class of one-dimensional quasilinear forward-backward diffusion equations with linear convection and reaction. The diffusion flux function is assumed to be of a forward-backward type that contains two forward-diffusion phases. We prove that, for all smooth initial data, there exists at least one weak solution whose spatial derivative stays in the two forward phases. Also, for all smooth initial data that have a derivative value lying in a certain phase transition range, we show that there exist infinitely many such solutions that exhibit instantaneous phase transitions between the two forward phases. Moreover, we introduce the notion of transition gauge for such forward solutions and prove that the gauge of all constructed two-phase forward solutions can be arbitrarily close to a certain fixed constant.

preprint2016arXiv

Weak solutions for one-dimensional non-convex elastodynamics

We explore local existence and properties of classical weak solutions to the initial-boundary value problem of a one-dimensional quasilinear equation of elastodynamics with non-convex stored-energy function, a model of phase transitions in elastic bars proposed by Ericksen [19]. The instantaneous formation of microstructures of local weak solutions is observed for all smooth initial data with initial strain having its range overlapping with the phase transition zone of the Piola-Kirchhoff stress. As byproducts, it is shown that such a problem admits a local weak solution for all smooth initial data and local weak solutions that are smooth for a short period of time and exhibit microstructures thereafter for some smooth initial data. In a parallel way, we also include some results concerning one-dimensional quasilinear hyperbolic-elliptic equations.

preprint2015arXiv

Convex integration and infinitely many weak solutions to the Perona-Malik equation in all dimensions

We prove that for all smooth nonconstant initial data the initial-Neumann boundary value problem for the Perona-Malik equation in image processing possesses infinitely many Lipschitz weak solutions on smooth bounded convex domains in all dimensions. Such existence results have not been known except for the one-dimensional problems. Our approach is motivated by reformulating the Perona-Malik equation as a nonhomogeneous partial differential inclusion with linear constraint and uncontrollable components of gradient. We establish a general existence result by a suitable Baire's category method under a pivotal density hypothesis. We finally fulfill this density hypothesis by convex integration based on certain approximations from an explicit formula of lamination convex hull of some matrix set involved.

preprint2015arXiv

On Lipschitz solutions for some forward-backward parabolic equations

We investigate the existence and properties of Lipschitz solutions for some forward-backward parabolic equations in all dimensions. Our main approach to existence is motivated by reformulating such equations into partial differential inclusions and relies on a Baire's category method. In this way, the existence of infinitely many Lipschitz solutions to certain initial-boundary value problem of those equations is guaranteed under a pivotal density condition. Finally, we study two important cases of forward-backward anisotropic diffusion in which the density condition can be realized and therefore the existence results follow together with micro-oscillatory behavior of solutions. The first case is a generalization of the Perona-Malik model in image processing and the other that of Höllig's model related to the Clausius-Duhem inequality in the second law of thermodynamics.

preprint2013arXiv

Radial weak solutions for the Perona-Malik equation as a differential inclusion

The Perona-Malik equation is an ill-posed forward-backward parabolic equation with major application in image processing. In this paper we study the Perona-Malik type equation and show that, in all dimensions, there exist infinitely many radial weak solutions to the homogeneous Neumann boundary problem for any smooth nonconstant radially symmetric initial data. Our approach is to reformulate the $n$-dimensional equation into a one-dimensional equation, to convert the one-dimensional problem into a differential inclusion problem, and to apply a Baire's category method to generate infinitely many solutions.