-
From kinetic mixtures to compressible two-phase flow: A BGK-type model and rigorous derivation
Authors:
Seung Yeon Cho,
Young-Pil Choi,
Byung-Hoon Hwang,
Sihyun Song
Abstract:
We propose a BGK-type kinetic model for a binary gas mixture, designed to serve as a kinetic formulation of compressible two-phase fluid dynamics. The model features species-dependent adiabatic exponents, and the relaxation operator is constructed by solving an entropy minimization problem under moments constraints. Starting from this model, we derive the compressible two-phase Euler equations via…
▽ More
We propose a BGK-type kinetic model for a binary gas mixture, designed to serve as a kinetic formulation of compressible two-phase fluid dynamics. The model features species-dependent adiabatic exponents, and the relaxation operator is constructed by solving an entropy minimization problem under moments constraints. Starting from this model, we derive the compressible two-phase Euler equations via a formal Chapman--Enskog expansion and identify dissipative corrections of Navier--Stokes type. We then rigorously justify the Euler limit using the relative entropy method, establishing quantitative convergence estimates under appropriate regularity assumptions. Finally, we present numerical experiments based on an implicit-explicit Runge--Kutta method, which confirm the asymptotic preserving property and demonstrate the convergence from the BGK model to the isentropic two-phase Euler system in the hydrodynamic regime.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Approximate factorizations for non-symmetric jump processes
Authors:
Soobin Cho,
Renming Song
Abstract:
In this paper, we first extend the approximate factorization for purely discontinuous Markov process established in \cite{CKSV20} by getting rid of some of the conditions imposed in \cite{CKSV20}. Then we apply the approximate factorization to obtain two-sided heat kernel estimates for three classes of processes: stable-like processes with critical killings in $C^{1, {\rm Dini}}$ open sets; killed…
▽ More
In this paper, we first extend the approximate factorization for purely discontinuous Markov process established in \cite{CKSV20} by getting rid of some of the conditions imposed in \cite{CKSV20}. Then we apply the approximate factorization to obtain two-sided heat kernel estimates for three classes of processes: stable-like processes with critical killings in $C^{1, {\rm Dini}}$ open sets; killed stable-like processes in the setting of \cite{KW24} in $C^{1, \varepsilon}$ open sets; and non-symmetric stable processes in what we call $C^{1,2{\text - \rm Dini}}$ open sets. In particular, we obtain explicit sharp two-sided heat kernel estimates of killed $α$-stable processes in $C^{1, {\rm Dini}}$ open sets for all $α\in (0, 2)$ and of censored $α$-stable processes in $C^{1, {\rm Dini}}$ open sets for all $α\in (1, 2)$.
△ Less
Submitted 20 April, 2025;
originally announced April 2025.
-
Stability of Hölder regularity and weighted functional inequalities
Authors:
Soobin Cho,
Panki Kim
Abstract:
We study symmetric Dirichlet forms on metric measure spaces, which may possess both strongly local and pure-jump parts. We introduce a new formulation of a tail condition for jump measures and weighted functional inequalities. Our framework accommodates Dirichlet forms with singular jump measures and those associated with trace processes of mixed-type stable processes. Using these new weighted fun…
▽ More
We study symmetric Dirichlet forms on metric measure spaces, which may possess both strongly local and pure-jump parts. We introduce a new formulation of a tail condition for jump measures and weighted functional inequalities. Our framework accommodates Dirichlet forms with singular jump measures and those associated with trace processes of mixed-type stable processes. Using these new weighted functional inequalities, we establish stable, equivalent characterizations of Hölder regularity for caloric and harmonic functions. As an application of our main result, we prove the Hölder continuity of caloric functions for a large class of symmetric Markov processes exhibiting boundary blow-up behavior, among other results.
△ Less
Submitted 28 February, 2025;
originally announced March 2025.
-
A conservative semi-Lagrangian scheme for the ellipsoidal BGK model of the Boltzmann equation
Authors:
Sebastiano Boscarino,
Seung Yeon Cho,
Giovanni Russo,
Seok-Bae Yun
Abstract:
In this paper, we propose a high order conservative semi-Lagrangian scheme (SL) for the ellipsoidal BGK model of the Boltzmann transport equation. To avoid the time step restriction induced by the convection term, we adopt the semi-Lagrangian approach. For treating the nonlinear stiff relaxation operator with small Knudsen number, we employ high order $L$-stable diagonally implicit Runge-Kutta tim…
▽ More
In this paper, we propose a high order conservative semi-Lagrangian scheme (SL) for the ellipsoidal BGK model of the Boltzmann transport equation. To avoid the time step restriction induced by the convection term, we adopt the semi-Lagrangian approach. For treating the nonlinear stiff relaxation operator with small Knudsen number, we employ high order $L$-stable diagonally implicit Runge-Kutta time discretization or backward difference formula. The proposed implicit schemes are designed to update solutions explicitly without resorting to any Newton solver. We present several numerical tests to demonstrate the accuracy and efficiency of the proposed methods. These methods allow us to obtain accurate approximations of the solutions to the Navier-Stokes equations or the Boltzmann equation for moderate or relatively large Knudsen numbers, respectively.
△ Less
Submitted 11 February, 2025;
originally announced February 2025.
-
Heat kernel estimates for Schrödinger operators with supercritical killing potentials
Authors:
Soobin Cho,
Panki Kim,
Renming Song
Abstract:
In this paper, we study the Schrödinger operator $Δ-V$, where $V$ is a supercritical non-negative potential belonging to a large class of functions containing functions of the form $b|x|^{-(2+2β)}$, $b, β>0$. We obtain two-sided estimates on the heat kernel $p(t, x, y)$ of $Δ-V$, along with estimates for the corresponding Green function. Unlike the case of the fractional Schrödinger operator…
▽ More
In this paper, we study the Schrödinger operator $Δ-V$, where $V$ is a supercritical non-negative potential belonging to a large class of functions containing functions of the form $b|x|^{-(2+2β)}$, $b, β>0$. We obtain two-sided estimates on the heat kernel $p(t, x, y)$ of $Δ-V$, along with estimates for the corresponding Green function. Unlike the case of the fractional Schrödinger operator $-(-Δ)^{α/2}-V$, $α\in (0, 2)$, with supercritical killing potential dealt with in [11], in the present case, the heat kernel $p(t, x, y)$ decays to 0 exponentially as $x$ or $y$ tends to the origin.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Lee and Seung (2000)'s Algorithms for Non-negative Matrix Factorization: A Supplementary Proof Guide
Authors:
Sungjae Cho
Abstract:
Lee and Seung (2000) introduced numerical solutions for non-negative matrix factorization (NMF) using iterative multiplicative update algorithms. These algorithms have been actively utilized as dimensionality reduction tools for high-dimensional non-negative data and learning algorithms for artificial neural networks. Despite a considerable amount of literature on the applications of the NMF algor…
▽ More
Lee and Seung (2000) introduced numerical solutions for non-negative matrix factorization (NMF) using iterative multiplicative update algorithms. These algorithms have been actively utilized as dimensionality reduction tools for high-dimensional non-negative data and learning algorithms for artificial neural networks. Despite a considerable amount of literature on the applications of the NMF algorithms, detailed explanations about their formulation and derivation are lacking. This report provides supplementary details to help understand the formulation and derivation of the proofs as used in the original paper.
△ Less
Submitted 22 January, 2025; v1 submitted 20 January, 2025;
originally announced January 2025.
-
Stable characterization of diagonal heat kernel upper bounds for symmetric Dirichlet forms
Authors:
Soobin Cho
Abstract:
We present a stable characterization of on-diagonal upper bounds for heat kernels associated with regular Dirichlet forms on metric measure spaces satisfying the volume doubling property. Our conditions include integral bounds on the jump kernel outside metric balls, a variant of the Faber-Krahn inequality, a cutoff Sobolev inequality, and an integral control of inverse square volumes of balls wit…
▽ More
We present a stable characterization of on-diagonal upper bounds for heat kernels associated with regular Dirichlet forms on metric measure spaces satisfying the volume doubling property. Our conditions include integral bounds on the jump kernel outside metric balls, a variant of the Faber-Krahn inequality, a cutoff Sobolev inequality, and an integral control of inverse square volumes of balls with respect to the jump kernel. Crucially, we do not assume that the jump kernel has a density, and we show that these assumptions are essentially optimal.
△ Less
Submitted 12 January, 2025;
originally announced January 2025.
-
Estimation of System Parameters Including Repeated Cross-Sectional Data through Emulator-Informed Deep Generative Model
Authors:
Hyunwoo Cho,
Sung Woong Cho,
Hyeontae Jo,
Hyung Ju Hwang
Abstract:
Differential equations (DEs) are crucial for modeling the evolution of natural or engineered systems. Traditionally, the parameters in DEs are adjusted to fit data from system observations. However, in fields such as politics, economics, and biology, available data are often independently collected at distinct time points from different subjects (i.e., repeated cross-sectional (RCS) data). Convent…
▽ More
Differential equations (DEs) are crucial for modeling the evolution of natural or engineered systems. Traditionally, the parameters in DEs are adjusted to fit data from system observations. However, in fields such as politics, economics, and biology, available data are often independently collected at distinct time points from different subjects (i.e., repeated cross-sectional (RCS) data). Conventional optimization techniques struggle to accurately estimate DE parameters when RCS data exhibit various heterogeneities, leading to a significant loss of information. To address this issue, we propose a new estimation method called the emulator-informed deep-generative model (EIDGM), designed to handle RCS data. Specifically, EIDGM integrates a physics-informed neural network-based emulator that immediately generates DE solutions and a Wasserstein generative adversarial network-based parameter generator that can effectively mimic the RCS data. We evaluated EIDGM on exponential growth, logistic population models, and the Lorenz system, demonstrating its superior ability to accurately capture parameter distributions. Additionally, we applied EIDGM to an experimental dataset of Amyloid beta 40 and beta 42, successfully capturing diverse parameter distribution shapes. This shows that EIDGM can be applied to model a wide range of systems and extended to uncover the operating principles of systems based on limited data.
△ Less
Submitted 27 December, 2024;
originally announced December 2024.
-
Physics-Informed Deep Inverse Operator Networks for Solving PDE Inverse Problems
Authors:
Sung Woong Cho,
Hwijae Son
Abstract:
Inverse problems involving partial differential equations (PDEs) can be seen as discovering a mapping from measurement data to unknown quantities, often framed within an operator learning approach. However, existing methods typically rely on large amounts of labeled training data, which is impractical for most real-world applications. Moreover, these supervised models may fail to capture the under…
▽ More
Inverse problems involving partial differential equations (PDEs) can be seen as discovering a mapping from measurement data to unknown quantities, often framed within an operator learning approach. However, existing methods typically rely on large amounts of labeled training data, which is impractical for most real-world applications. Moreover, these supervised models may fail to capture the underlying physical principles accurately. To address these limitations, we propose a novel architecture called Physics-Informed Deep Inverse Operator Networks (PI-DIONs), which can learn the solution operator of PDE-based inverse problems without labeled training data. We extend the stability estimates established in the inverse problem literature to the operator learning framework, thereby providing a robust theoretical foundation for our method. These estimates guarantee that the proposed model, trained on a finite sample and grid, generalizes effectively across the entire domain and function space. Extensive experiments are conducted to demonstrate that PI-DIONs can effectively and accurately learn the solution operators of the inverse problems without the need for labeled data.
△ Less
Submitted 7 February, 2025; v1 submitted 4 December, 2024;
originally announced December 2024.
-
On norming systems of linear equations
Authors:
Seokjoon Cho,
David Conlon,
Joonkyung Lee,
Jozef Skokan,
Leo Versteegen
Abstract:
A system of linear equations $L$ is said to be norming if a natural functional $t_L(\cdot)$ giving a weighted count for the set of solutions to the system can be used to define a norm on the space of real-valued functions on $\mathbb{F}_q^n$ for every $n>0$. For example, Gowers uniformity norms arise in this way. In this paper, we initiate the systematic study of norming linear systems by proving…
▽ More
A system of linear equations $L$ is said to be norming if a natural functional $t_L(\cdot)$ giving a weighted count for the set of solutions to the system can be used to define a norm on the space of real-valued functions on $\mathbb{F}_q^n$ for every $n>0$. For example, Gowers uniformity norms arise in this way. In this paper, we initiate the systematic study of norming linear systems by proving a range of necessary and sufficient conditions for a system to be norming. Some highlights include an isomorphism theorem for the functional $t_L(\cdot)$, a proof that any norming system must be variable-transitive and the classification of all norming systems of rank at most two.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Stable orbital integrals for classical Lie algebras and smooth integral models
Authors:
Sungmun Cho,
Taeyeoup Kang,
Yuchan Lee
Abstract:
A main goal of this paper is to introduce a new description of the stable orbital integral for a regular semisimple element and for the unit element of the Hecke algebra in the case of $\mathfrak{gl}_{n,F}$, $\mathfrak{u}_{n,F}$, and $\mathfrak{sp}_{2n,F}$, by assigning a certain stratification and then smoothening each stratum, where $F$ is a non-Archimedean local field of any characteristic.
A…
▽ More
A main goal of this paper is to introduce a new description of the stable orbital integral for a regular semisimple element and for the unit element of the Hecke algebra in the case of $\mathfrak{gl}_{n,F}$, $\mathfrak{u}_{n,F}$, and $\mathfrak{sp}_{2n,F}$, by assigning a certain stratification and then smoothening each stratum, where $F$ is a non-Archimedean local field of any characteristic.
As applications, we will provide a closed formula for the stable orbital integral for $\mathfrak{gl}_{2,F}$, $\mathfrak{gl}_{3,F}$, and $\mathfrak{u}_{2,F}$. We will also provide a lower bound for the stable orbital integral for $\mathfrak{gl}_{n,F}$, $\mathfrak{u}_{n,F}$, and $\mathfrak{sp}_{2n,F}$ with all $n$. Finally we will propose conjectures that our lower bounds are optimal in a sense of the second leading term for $\mathfrak{gl}_{n,F}$ and the first leading term for $\mathfrak{u}_{n,F}$ and $\mathfrak{sp}_{2n,F}$. There is a restriction about the factorization of the characteristic polynomial arising from the parabolic descent when we work with $\mathfrak{u}_{n,F}$ and $\mathfrak{sp}_{2n,F}$, whereas this assumption does not appear in $\mathfrak{gl}_{n,F}$ case.
△ Less
Submitted 24 November, 2024;
originally announced November 2024.
-
Asymptotic Analysis of IMEX-RK Methods for ES-BGK Model at Navier-Stokes level
Authors:
Sebastiano Boscarino,
Seung Yeon Cho
Abstract:
Implicit-explicit Runge-Kutta (IMEX-RK) time discretization methods are very popular when solving stiff kinetic equations. In [21], an asymptotic analysis shows that a specific class of high-order IMEX-RK schemes can accurately capture the Navier-Stokes limit without needing to resolve the small scales dictated by the Knudsen number. In this work, we extend the asymptotic analysis to general IMEX-…
▽ More
Implicit-explicit Runge-Kutta (IMEX-RK) time discretization methods are very popular when solving stiff kinetic equations. In [21], an asymptotic analysis shows that a specific class of high-order IMEX-RK schemes can accurately capture the Navier-Stokes limit without needing to resolve the small scales dictated by the Knudsen number. In this work, we extend the asymptotic analysis to general IMEX-RK schemes, known in literature as Type I and Type II. We further suggest some IMEX-RK methods developed in the literature to attain uniform accuracy in the wide range of Knudsen numbers. Several numerical examples are presented to verify the validity of the obtained theoretical results and the effectiveness of the methods.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
Harnack inequality for singular or degenerate parabolic equations in non-divergence form
Authors:
Sungwon Cho,
Junyuan Fang,
Tuoc Phan
Abstract:
This paper studies a class of linear parabolic equations in non-divergence form in which the leading coefficients are measurable and they can be singular or degenerate as a weight belonging to the $A_{1+\frac{1}{n}}$ class of Muckenhoupt weights. Krylov-Safonov Harnack inequality for solutions is proved under some smallness assumption on a weighted mean oscillation of the weight. To prove the resu…
▽ More
This paper studies a class of linear parabolic equations in non-divergence form in which the leading coefficients are measurable and they can be singular or degenerate as a weight belonging to the $A_{1+\frac{1}{n}}$ class of Muckenhoupt weights. Krylov-Safonov Harnack inequality for solutions is proved under some smallness assumption on a weighted mean oscillation of the weight. To prove the result, we introduce a class of generic weighted parabolic cylinders and the smallness condition on the weighted mean oscillation of the weight through which several growth lemmas are established. Additionally, a perturbation method is used and the parabolic Aleksandrov-Bakelman-Pucci type maximum principle is crucially applied to suitable barrier functions to control the solutions. As corollaries, Hölder regularity estimates of solutions with respect to a quasi-distance, and a Liouville type theorem are obtained in the paper.
△ Less
Submitted 9 October, 2024; v1 submitted 14 September, 2024;
originally announced September 2024.
-
Orbital integrals and ideal class monoids for a Bass order
Authors:
Sungmun Cho,
Jungtaek Hong,
Yuchan Lee
Abstract:
A Bass order is an order of a number field whose fractional ideals are generated by two elements. Majority of number fields contain infinitely many Bass orders. For example, any order of a number field which contains the maximal order of a subfield with degree 2 or whose discriminant is 4th-power-free in $\mathbb{Z}$, is a Bass order.
In this paper, we will propose a closed formula for the numbe…
▽ More
A Bass order is an order of a number field whose fractional ideals are generated by two elements. Majority of number fields contain infinitely many Bass orders. For example, any order of a number field which contains the maximal order of a subfield with degree 2 or whose discriminant is 4th-power-free in $\mathbb{Z}$, is a Bass order.
In this paper, we will propose a closed formula for the number of fractional ideals of a Bass order $R$, up to its invertible ideals, using the conductor of $R$. We will also explain explicit enumeration of all orders containing $R$. Our method is based on local global argument and exhaustion argument, by using orbital integrals for $\mathfrak{gl}_n$ as a mass formula.
△ Less
Submitted 26 November, 2024; v1 submitted 28 August, 2024;
originally announced August 2024.
-
On the Invalidity of Lemma 2.5 in our previous work on the Powell Conjecture
Authors:
Sangbum Cho,
Yuya Koda,
Jung Hoon Lee,
Nozomu Sekino
Abstract:
In our previous version entitled ``The reducing sphere complexes for the 3-sphere are connected: a proof of the Powell Conjecture", we claimed to prove the Powell Conjecture, which states that the Goeritz group of the genus-$g$ Heegaard splitting of the 3-sphere is finitely generated for any non-negative integer $g$. However, we have found a critical error in the proof of Lemma 2.5 in that version…
▽ More
In our previous version entitled ``The reducing sphere complexes for the 3-sphere are connected: a proof of the Powell Conjecture", we claimed to prove the Powell Conjecture, which states that the Goeritz group of the genus-$g$ Heegaard splitting of the 3-sphere is finitely generated for any non-negative integer $g$. However, we have found a critical error in the proof of Lemma 2.5 in that version. In this note, we prove that the statement of Lemma 2.5 does not hold in general. This invalidates a key step in our argument and leaves the proof of the Powell Conjecture incomplete. Consequently, the Powell Conjecture remains an open problem in the case of $g \geq 4$.
△ Less
Submitted 25 March, 2025; v1 submitted 19 June, 2024;
originally announced June 2024.
-
Estimating the Distribution of Parameters in Differential Equations with Repeated Cross-Sectional Data
Authors:
Hyeontae Jo,
Sung Woong Cho,
Hyung Ju Hwang
Abstract:
Differential equations are pivotal in modeling and understanding the dynamics of various systems, offering insights into their future states through parameter estimation fitted to time series data. In fields such as economy, politics, and biology, the observation data points in the time series are often independently obtained (i.e., Repeated Cross-Sectional (RCS) data). With RCS data, we found tha…
▽ More
Differential equations are pivotal in modeling and understanding the dynamics of various systems, offering insights into their future states through parameter estimation fitted to time series data. In fields such as economy, politics, and biology, the observation data points in the time series are often independently obtained (i.e., Repeated Cross-Sectional (RCS) data). With RCS data, we found that traditional methods for parameter estimation in differential equations, such as using mean values of time trajectories or Gaussian Process-based trajectory generation, have limitations in estimating the shape of parameter distributions, often leading to a significant loss of data information. To address this issue, we introduce a novel method, Estimation of Parameter Distribution (EPD), providing accurate distribution of parameters without loss of data information. EPD operates in three main steps: generating synthetic time trajectories by randomly selecting observed values at each time point, estimating parameters of a differential equation that minimize the discrepancy between these trajectories and the true solution of the equation, and selecting the parameters depending on the scale of discrepancy. We then evaluated the performance of EPD across several models, including exponential growth, logistic population models, and target cell-limited models with delayed virus production, demonstrating its superiority in capturing the shape of parameter distributions. Furthermore, we applied EPD to real-world datasets, capturing various shapes of parameter distributions rather than a normal distribution. These results effectively address the heterogeneity within systems, marking a substantial progression in accurately modeling systems using RCS data.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
An explicit formula for the orbital integrals on the spherical Hecke algebra of $\mathrm{GL}_3$
Authors:
Sungmun Cho,
Yuchan Lee
Abstract:
We provide the explicit formula for orbital integrals associated with elliptic regular semisimple elements in $\mathrm{GL}_n(F) \cap \mathrm{M}_n(\mathfrak{o})$ and associated with arbitrary elements of the spherical Hecke algebra of $\mathrm{GL}_n(F)$ when $n=2, 3$, using results of [CKL]. Here $F$ is a non-Archimedean local field of any characteristic with $\mathfrak{o}$ its ring of integers.
We provide the explicit formula for orbital integrals associated with elliptic regular semisimple elements in $\mathrm{GL}_n(F) \cap \mathrm{M}_n(\mathfrak{o})$ and associated with arbitrary elements of the spherical Hecke algebra of $\mathrm{GL}_n(F)$ when $n=2, 3$, using results of [CKL]. Here $F$ is a non-Archimedean local field of any characteristic with $\mathfrak{o}$ its ring of integers.
△ Less
Submitted 8 April, 2024; v1 submitted 6 April, 2024;
originally announced April 2024.
-
Robust estimates for elliptic nonlocal operators on doubling spaces
Authors:
Soobin Cho
Abstract:
We study weak Harnack inequality and a priori Hölder regularity of harmonic functions for symmetric nonlocal Dirichlet forms on metric measure spaces with volume doubling condition. Our analysis relies on three main assumptions: the existence of a strongly local Dirichlet form with sub-Gaussian heat kernel estimates, a tail estimate of the jump measure outside balls and a local energy comparabilit…
▽ More
We study weak Harnack inequality and a priori Hölder regularity of harmonic functions for symmetric nonlocal Dirichlet forms on metric measure spaces with volume doubling condition. Our analysis relies on three main assumptions: the existence of a strongly local Dirichlet form with sub-Gaussian heat kernel estimates, a tail estimate of the jump measure outside balls and a local energy comparability condition. We establish the robustness of our results, ensuring that the constants in our estimates remain bounded, provided that the order of the scale function appearing in the tail estimate and local energy comparability condition, maintains a certain distance from zero. Additionally, we establish a sufficient condition for the local energy comparability condition.
△ Less
Submitted 23 July, 2024; v1 submitted 25 March, 2024;
originally announced March 2024.
-
On the Siegel series in terms of lattice counting
Authors:
Sungmun Cho,
Taeyeoup Kang
Abstract:
In this paper we describe each coefficient of the Siegel series associated to a quadratic $\mathfrak{o}$-lattice $L$ in terms of lattice counting problems, where $\mathfrak{o}$ is the ring of integers of a non-Archimedean local field of characteristic $0$. Under the restriction that $p$ is odd and that the dimension of the radical of the quadratic space $L\otimesκ$ on the residue field $κ$ is at m…
▽ More
In this paper we describe each coefficient of the Siegel series associated to a quadratic $\mathfrak{o}$-lattice $L$ in terms of lattice counting problems, where $\mathfrak{o}$ is the ring of integers of a non-Archimedean local field of characteristic $0$. Under the restriction that $p$ is odd and that the dimension of the radical of the quadratic space $L\otimesκ$ on the residue field $κ$ is at most $2$, we provide explicit values of coefficients and reprove the functional equation of the Siegel series.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Separable Physics-informed Neural Networks for Solving the BGK Model of the Boltzmann Equation
Authors:
Jaemin Oh,
Seung Yeon Cho,
Seok-Bae Yun,
Eunbyung Park,
Youngjoon Hong
Abstract:
In this study, we introduce a method based on Separable Physics-Informed Neural Networks (SPINNs) for effectively solving the BGK model of the Boltzmann equation. While the mesh-free nature of PINNs offers significant advantages in handling high-dimensional partial differential equations (PDEs), challenges arise when applying quadrature rules for accurate integral evaluation in the BGK operator, w…
▽ More
In this study, we introduce a method based on Separable Physics-Informed Neural Networks (SPINNs) for effectively solving the BGK model of the Boltzmann equation. While the mesh-free nature of PINNs offers significant advantages in handling high-dimensional partial differential equations (PDEs), challenges arise when applying quadrature rules for accurate integral evaluation in the BGK operator, which can compromise the mesh-free benefit and increase computational costs. To address this, we leverage the canonical polyadic decomposition structure of SPINNs and the linear nature of moment calculation, achieving a substantial reduction in computational expense for quadrature rule application. The multi-scale nature of the particle density function poses difficulties in precisely approximating macroscopic moments using neural networks. To improve SPINN training, we introduce the integration of Gaussian functions into SPINNs, coupled with a relative loss approach. This modification enables SPINNs to decay as rapidly as Maxwellian distributions, thereby enhancing the accuracy of macroscopic moment approximations. The relative loss design further ensures that both large and small-scale features are effectively captured by the SPINNs. The efficacy of our approach is demonstrated through a series of five numerical experiments, including the solution to a challenging 3D Riemann problem. These results highlight the potential of our novel method in efficiently and accurately addressing complex challenges in computational physics.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
Fractional Laplacian with supercritical killings
Authors:
Soobin Cho,
Renming Song
Abstract:
In this paper, we study Feynman-Kac semigroups of symmetric $α$-stable processes with supercritical killing potentials belonging to a large class of functions containing functions of the form $b|x|^{-β}$, where $b>0$ and $β>α$. We obtain two-sided estimates on the densities $p(t, x, y)$ of these semigroups for all $t>0$, along with estimates for the corresponding Green functions.
In this paper, we study Feynman-Kac semigroups of symmetric $α$-stable processes with supercritical killing potentials belonging to a large class of functions containing functions of the form $b|x|^{-β}$, where $b>0$ and $β>α$. We obtain two-sided estimates on the densities $p(t, x, y)$ of these semigroups for all $t>0$, along with estimates for the corresponding Green functions.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Markov processes with jump kernels decaying at the boundary
Authors:
Soobin Cho,
Panki Kim,
Renming Song,
Zoran Vondraček
Abstract:
The goal of this work is to develop a general theory for non-local singular operators of the type $$
L^{\mathcal{B}}_αf(x)=\lim_{ε\to 0} \int_{D,\, |y-x|>ε}\big(f(y)-f(x)\big) \mathcal{B}(x,y)|x-y|^{-d-α}\,dy, $$ and $$ L f(x)=L^{\mathcal{B}}_αf(x) - κ(x) f(x), $$ in case $D$ is a $C^{1,1}$ open set in $\mathbb{R}^d$, $d\ge 2$. The function $\mathcal{B}(x,y)$ above may vanish at the boundary of…
▽ More
The goal of this work is to develop a general theory for non-local singular operators of the type $$
L^{\mathcal{B}}_αf(x)=\lim_{ε\to 0} \int_{D,\, |y-x|>ε}\big(f(y)-f(x)\big) \mathcal{B}(x,y)|x-y|^{-d-α}\,dy, $$ and $$ L f(x)=L^{\mathcal{B}}_αf(x) - κ(x) f(x), $$ in case $D$ is a $C^{1,1}$ open set in $\mathbb{R}^d$, $d\ge 2$. The function $\mathcal{B}(x,y)$ above may vanish at the boundary of $D$, and the killing potential $κ$ may be subcritical or critical.
From a probabilistic point of view we study the reflected process on the closure $\overline{D}$ with infinitesimal generator $L^{\mathcal{B}}_α$, and its part process on $D$ obtained by either killing at the boundary $\partial D$, or by killing via the killing potential $κ(x)$. The general theory developed in this work (i) contains subordinate killed stable processes in $C^{1,1}$ open sets as a special case, (ii) covers the case when $\mathcal{B}(x,y)$ is bounded between two positive constants and is well approximated by certain Hölder continuous functions, and (iii) extends the main results known for the half-space in $\mathbb{R}^d$. The main results of the work are the boundary Harnack principle and its possible failure, and sharp two-sided Green function estimates. Our results on the boundary Harnack principle completely cover the corresponding earlier results in the case of half-space. Our Green function estimates extend the corresponding earlier estimates in the case of half-space to bounded $C^{1, 1}$ open sets.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Learning time-dependent PDE via graph neural networks and deep operator network for robust accuracy on irregular grids
Authors:
Sung Woong Cho,
Jae Yong Lee,
Hyung Ju Hwang
Abstract:
Scientific computing using deep learning has seen significant advancements in recent years. There has been growing interest in models that learn the operator from the parameters of a partial differential equation (PDE) to the corresponding solutions. Deep Operator Network (DeepONet) and Fourier Neural operator, among other models, have been designed with structures suitable for handling functions…
▽ More
Scientific computing using deep learning has seen significant advancements in recent years. There has been growing interest in models that learn the operator from the parameters of a partial differential equation (PDE) to the corresponding solutions. Deep Operator Network (DeepONet) and Fourier Neural operator, among other models, have been designed with structures suitable for handling functions as inputs and outputs, enabling real-time predictions as surrogate models for solution operators. There has also been significant progress in the research on surrogate models based on graph neural networks (GNNs), specifically targeting the dynamics in time-dependent PDEs. In this paper, we propose GraphDeepONet, an autoregressive model based on GNNs, to effectively adapt DeepONet, which is well-known for successful operator learning. GraphDeepONet exhibits robust accuracy in predicting solutions compared to existing GNN-based PDE solver models. It maintains consistent performance even on irregular grids, leveraging the advantages inherited from DeepONet and enabling predictions on arbitrary grids. Additionally, unlike traditional DeepONet and its variants, GraphDeepONet enables time extrapolation for time-dependent PDE solutions. We also provide theoretical analysis of the universal approximation capability of GraphDeepONet in approximating continuous operators across arbitrary time intervals.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
The Powell Conjecture for the genus-three Heegaard splitting of the $3$-sphere
Authors:
Sangbum Cho,
Yuya Koda,
Jung Hoon Lee
Abstract:
The Powell Conjecture states that the Goeritz group of the Heegaard splitting of the $3$-sphere is finitely generated; furthermore, four specific elements suffice to generate the group. Zupan demonstrated that the conjecture holds if and only if the reducing sphere complexes are all connected. In this work, we establish the connectivity of the reducing sphere complex for the genus-$3$ case, thereb…
▽ More
The Powell Conjecture states that the Goeritz group of the Heegaard splitting of the $3$-sphere is finitely generated; furthermore, four specific elements suffice to generate the group. Zupan demonstrated that the conjecture holds if and only if the reducing sphere complexes are all connected. In this work, we establish the connectivity of the reducing sphere complex for the genus-$3$ case, thereby confirming the Powell Conjecture in genus $3$. Additionally, we propose a potential framework for extending this approach to Heegaard splittings of higher genera.
△ Less
Submitted 5 December, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
Global Hypersurfaces of Section for Geodesic Flows on Convex Hypersurfaces
Authors:
Sunghae Cho,
Dongho Lee
Abstract:
We construct a global hypersurface of section for the geodesic flow of a convex hypersurface in Euclidean space admits an isometric involution. This generalizes the Birkhoff annulus to higher dimensions.
We construct a global hypersurface of section for the geodesic flow of a convex hypersurface in Euclidean space admits an isometric involution. This generalizes the Birkhoff annulus to higher dimensions.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
The primitive curve complex for a handlebody
Authors:
Sangbum Cho,
Jung Hoon Lee
Abstract:
A simple closed curve in the boundary surface of a handlebody is called primitive if there exists an essential disk in the handlebody whose boundary circle intersects the curve transversely in a single point. The primitive curve complex is then defined to be the full subcomplex of the curve complex for the boundary surface, spanned by the vertices of primitive curves. Given any two primitive curve…
▽ More
A simple closed curve in the boundary surface of a handlebody is called primitive if there exists an essential disk in the handlebody whose boundary circle intersects the curve transversely in a single point. The primitive curve complex is then defined to be the full subcomplex of the curve complex for the boundary surface, spanned by the vertices of primitive curves. Given any two primitive curves, we construct a sequence of primitive curves from one to the other one satisfying a certain property. As a consequence, we prove that the primitive curve complex for the handlebody is connected.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
On the Kudla-Rapoport conjecture for unitary Shimura varieties with maximal parahoric level structure at unramified primes
Authors:
Sungyoon Cho,
Qiao He,
Zhiyu Zhang
Abstract:
In this article, we prove that a version of Tate conjectures for certain Deligne-Lusztig varieties implies the Kudla-Rapoport conjecture for unitary Shimura varieties with maximal parahoric level at unramified primes. Furthermore, we prove that the Kudla-Rapoport conjecture holds unconditionally for several new cases in any dimension.
In this article, we prove that a version of Tate conjectures for certain Deligne-Lusztig varieties implies the Kudla-Rapoport conjecture for unitary Shimura varieties with maximal parahoric level at unramified primes. Furthermore, we prove that the Kudla-Rapoport conjecture holds unconditionally for several new cases in any dimension.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
HyperDeepONet: learning operator with complex target function space using the limited resources via hypernetwork
Authors:
Jae Yong Lee,
Sung Woong Cho,
Hyung Ju Hwang
Abstract:
Fast and accurate predictions for complex physical dynamics are a significant challenge across various applications. Real-time prediction on resource-constrained hardware is even more crucial in real-world problems. The deep operator network (DeepONet) has recently been proposed as a framework for learning nonlinear mappings between function spaces. However, the DeepONet requires many parameters a…
▽ More
Fast and accurate predictions for complex physical dynamics are a significant challenge across various applications. Real-time prediction on resource-constrained hardware is even more crucial in real-world problems. The deep operator network (DeepONet) has recently been proposed as a framework for learning nonlinear mappings between function spaces. However, the DeepONet requires many parameters and has a high computational cost when learning operators, particularly those with complex (discontinuous or non-smooth) target functions. This study proposes HyperDeepONet, which uses the expressive power of the hypernetwork to enable the learning of a complex operator with a smaller set of parameters. The DeepONet and its variant models can be thought of as a method of injecting the input function information into the target function. From this perspective, these models can be viewed as a particular case of HyperDeepONet. We analyze the complexity of DeepONet and conclude that HyperDeepONet needs relatively lower complexity to obtain the desired accuracy for operator learning. HyperDeepONet successfully learned various operators with fewer computational resources compared to other benchmarks.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
PhysRFANet: Physics-Guided Neural Network for Real-Time Prediction of Thermal Effect During Radiofrequency Ablation Treatment
Authors:
Minwoo Shin,
Minjee Seo,
Seonaeng Cho,
Juil Park,
Joon Ho Kwon,
Deukhee Lee,
Kyungho Yoon
Abstract:
Radiofrequency ablation (RFA) is a widely used minimally invasive technique for ablating solid tumors. Achieving precise personalized treatment necessitates feedback information on in situ thermal effects induced by the RFA procedure. While computer simulation facilitates the prediction of electrical and thermal phenomena associated with RFA, its practical implementation in clinical settings is hi…
▽ More
Radiofrequency ablation (RFA) is a widely used minimally invasive technique for ablating solid tumors. Achieving precise personalized treatment necessitates feedback information on in situ thermal effects induced by the RFA procedure. While computer simulation facilitates the prediction of electrical and thermal phenomena associated with RFA, its practical implementation in clinical settings is hindered by high computational demands. In this paper, we propose a physics-guided neural network model, named PhysRFANet, to enable real-time prediction of thermal effect during RFA treatment. The networks, designed for predicting temperature distribution and the corresponding ablation lesion, were trained using biophysical computational models that integrated electrostatics, bio-heat transfer, and cell necrosis, alongside magnetic resonance (MR) images of breast cancer patients. Validation of the computational model was performed through experiments on ex vivo bovine liver tissue. Our model demonstrated a 96% Dice score in predicting the lesion volume and an RMSE of 0.4854 for temperature distribution when tested with foreseen tumor images. Notably, even with unforeseen images, it achieved a 93% Dice score for the ablation lesion and an RMSE of 0.6783 for temperature distribution. All networks were capable of inferring results within 10 ms. The presented technique, applied to optimize the placement of the electrode for a specific target region, holds significant promise in enhancing the safety and efficacy of RFA treatments.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Towards combinatorial characterization of the smoothness of Hessenberg Schubert varieties
Authors:
Soojin Cho,
JiSun Huh,
Seonjeong Park
Abstract:
A \emph{Hessenberg Schubert variety} is an irreducible component of the intersection of a Schubert variety and a Hessenberg variety, defined as the closure of a Schubert cell inside the Hessenberg variety. We consider the smoothness of Hessenberg Schubert varieties of regular semisimple Hessenberg varieties of type $A$ in this paper.
We consider the smoothness of the intersection of a Schubert v…
▽ More
A \emph{Hessenberg Schubert variety} is an irreducible component of the intersection of a Schubert variety and a Hessenberg variety, defined as the closure of a Schubert cell inside the Hessenberg variety. We consider the smoothness of Hessenberg Schubert varieties of regular semisimple Hessenberg varieties of type $A$ in this paper.
We consider the smoothness of the intersection of a Schubert variety and a Hessenberg variety to ensure the smoothness of the corresponding Hessenberg Schubert variety. Specifically, we analyze the structure of the GKM graphs of the intersection of a Schubert variety indexed by some special permutations and a Hessenberg variety. The regularity of the GKM graph is completely characterized in terms of pattern avoidance, which is a necessary (and also sufficient conjecturally) condition for the intersection to be smooth. We then extend the pattern avoidance result to all permutations, which is believed to be a sufficient condition for the corresponding Hessenberg Schubert variety to be smooth.
△ Less
Submitted 31 January, 2025; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Mathematical modeling of trend cycle: Fad, Fashion and Classic
Authors:
Hyeong-Ohk Bae,
Seung Yeon Cho,
Jane Yoo,
Seok-Bae Yun
Abstract:
In this work, we suggest a system of differential equations that quantitatively models the formulation and evolution of a trend cycle through the consideration of underlying dynamics between the trend participants. Our model captures the five stages of a trend cycle, namely, the onset, rise, peak, decline, and obsolescence. It also provides a unified mathematical criterion/condition to characteriz…
▽ More
In this work, we suggest a system of differential equations that quantitatively models the formulation and evolution of a trend cycle through the consideration of underlying dynamics between the trend participants. Our model captures the five stages of a trend cycle, namely, the onset, rise, peak, decline, and obsolescence. It also provides a unified mathematical criterion/condition to characterize the fad, fashion and classic. We prove that the solution of our model can capture various trend cycles. Numerical simulations are provided to show the expressive power of our model.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Heat kernel estimates for Dirichlet forms degenerate at the boundary
Authors:
Soobin Cho,
Panki Kim,
Renming Song,
Zoran Vondraček
Abstract:
The goal of this paper is to establish sharp two-sided estimates on the heat kernels of two types of purely discontinuous symmetric Markov processes in the upper half-space of $\mathbb R^d$ with jump kernels degenerate at the boundary. The jump kernels are of the form $J(x,y)=\mathcal B(x,y)|x-y|^{-α-d}$, $α\in (0,2)$, where the function $\mathcal B$ depends on four parameters and may vanish at th…
▽ More
The goal of this paper is to establish sharp two-sided estimates on the heat kernels of two types of purely discontinuous symmetric Markov processes in the upper half-space of $\mathbb R^d$ with jump kernels degenerate at the boundary. The jump kernels are of the form $J(x,y)=\mathcal B(x,y)|x-y|^{-α-d}$, $α\in (0,2)$, where the function $\mathcal B$ depends on four parameters and may vanish at the boundary. Our results are the first sharp two-sided estimates for the heat kernels of non-local operators with jump kernels degenerate at the boundary. The first type of processes are conservative Markov processes on $\overline{\mathbb R}^d_+$ with jump kernel $J(x,y)$. Depending on the regions where the parameters belong, the heat kernels estimates have three different forms, two of them are qualitatively different from all previously known heat kernel estimates. The second type of processes are the processes above killed either by a critical potential or upon hitting the boundary of the half-space. We establish that their heat kernel estimates have the approximate factorization property with survival probabilities decaying as a power of the distance to the boundary, where the power depends on the constant in the critical potential.
△ Less
Submitted 4 May, 2025; v1 submitted 15 November, 2022;
originally announced November 2022.
-
Laws of the iterated logarithm for occupation times of Markov processes
Authors:
Soobin Cho,
Panki Kim,
Jaehun Lee
Abstract:
In this paper, we discuss the laws of the iterated logarithm (LIL) for occupation times of Markov processes $Y$ in general metric measure space both near zero and near infinity under some minimal assumptions. We first establish LILs of (truncated) occupation times on balls $B(x,r)$ of radii $r$ up to an function $Φ(r)$, which is an iterated logarithm of mean exit time of $Y$, by showing that the f…
▽ More
In this paper, we discuss the laws of the iterated logarithm (LIL) for occupation times of Markov processes $Y$ in general metric measure space both near zero and near infinity under some minimal assumptions. We first establish LILs of (truncated) occupation times on balls $B(x,r)$ of radii $r$ up to an function $Φ(r)$, which is an iterated logarithm of mean exit time of $Y$, by showing that the function $Φ$ is optimal. Our first result on LILs of occupation times covers both near zero and near infinity regardless of transience and recurrence of the process. Our assumptions are truly local in particular at zero and the function $Φ$ in our truncated occupation times $r \mapsto\int_0^{ Φ(x,r)} {\bf 1}_{B(x,r)}(Y_s)ds$ depends on space variable $x$ too. We also prove that a similar LIL for total occupation times $r \mapsto\int_0^\infty {\bf 1}_{B(x,r)}(Y_s)ds$ holds when the process is transient. Then we establish LIL concerning large time behaviors of occupation times $t \mapsto \int_0^t {\bf 1}_{A}(Y_s)ds$
under an additional condition that guarantees the recurrence of the process. Our results cover a large class of Feller (Levy-like) processes, random conductance models with long range jumps, jump processes with mixed polynomial local growths and jump processes with singular jumping kernels.
△ Less
Submitted 12 November, 2022;
originally announced November 2022.
-
Quantization-Based Optimization: Alternative Stochastic Approximation of Global Optimization
Authors:
Jinwuk Seok,
Chang Sik Cho
Abstract:
In this study, we propose a global optimization algorithm based on quantizing the energy level of an objective function in an NP-hard problem. According to the white noise hypothesis for a quantization error with a dense and uniform distribution, we can regard the quantization error as i.i.d. white noise. From stochastic analysis, the proposed algorithm converges weakly only under conditions satis…
▽ More
In this study, we propose a global optimization algorithm based on quantizing the energy level of an objective function in an NP-hard problem. According to the white noise hypothesis for a quantization error with a dense and uniform distribution, we can regard the quantization error as i.i.d. white noise. From stochastic analysis, the proposed algorithm converges weakly only under conditions satisfying Lipschitz continuity, instead of local convergence properties such as the Hessian constraint of the objective function. This shows that the proposed algorithm ensures global optimization by Laplace's condition. Numerical experiments show that the proposed algorithm outperforms conventional learning methods in solving NP-hard optimization problems such as the traveling salesman problem.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Improving Multi-fidelity Optimization with a Recurring Learning Rate for Hyperparameter Tuning
Authors:
HyunJae Lee,
Gihyeon Lee,
Junhwan Kim,
Sungjun Cho,
Dohyun Kim,
Donggeun Yoo
Abstract:
Despite the evolution of Convolutional Neural Networks (CNNs), their performance is surprisingly dependent on the choice of hyperparameters. However, it remains challenging to efficiently explore large hyperparameter search space due to the long training times of modern CNNs. Multi-fidelity optimization enables the exploration of more hyperparameter configurations given budget by early termination…
▽ More
Despite the evolution of Convolutional Neural Networks (CNNs), their performance is surprisingly dependent on the choice of hyperparameters. However, it remains challenging to efficiently explore large hyperparameter search space due to the long training times of modern CNNs. Multi-fidelity optimization enables the exploration of more hyperparameter configurations given budget by early termination of unpromising configurations. However, it often results in selecting a sub-optimal configuration as training with the high-performing configuration typically converges slowly in an early phase. In this paper, we propose Multi-fidelity Optimization with a Recurring Learning rate (MORL) which incorporates CNNs' optimization process into multi-fidelity optimization. MORL alleviates the problem of slow-starter and achieves a more precise low-fidelity approximation. Our comprehensive experiments on general image classification, transfer learning, and semi-supervised learning demonstrate the effectiveness of MORL over other multi-fidelity optimization methods such as Successive Halving Algorithm (SHA) and Hyperband. Furthermore, it achieves significant performance improvements over hand-tuned hyperparameter configuration within a practical budget.
△ Less
Submitted 26 September, 2022;
originally announced September 2022.
-
Note on primitive disk complexes
Authors:
Sangbum Cho,
Jung Hoon Lee
Abstract:
Given a Heegaard splitting of the $3$-sphere, the primitive disk complex is defined to be the full subcomplex of the disk complex for one of the handlebodies of the splitting. It is an open question whether the primitive disk complex is connected or not when the genus of the splitting is greater than three. In this note, we prove that a quotient of the primitive disk complex, called the homotopy p…
▽ More
Given a Heegaard splitting of the $3$-sphere, the primitive disk complex is defined to be the full subcomplex of the disk complex for one of the handlebodies of the splitting. It is an open question whether the primitive disk complex is connected or not when the genus of the splitting is greater than three. In this note, we prove that a quotient of the primitive disk complex, called the homotopy primitive disk complex, is connected.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
On local representation densities of hermitian forms and special cycles II
Authors:
Sungyoon Cho
Abstract:
In this paper, we prove that there are certain relations among representation densities and provide an efficient way to compute representation densities by using these relations. As an application, we compute some arithmetic intersection numbers of special cycles on unitary Shimura varieties and propose a conjecture on these.
In this paper, we prove that there are certain relations among representation densities and provide an efficient way to compute representation densities by using these relations. As an application, we compute some arithmetic intersection numbers of special cycles on unitary Shimura varieties and propose a conjecture on these.
△ Less
Submitted 31 July, 2022;
originally announced August 2022.
-
Betty: An Automatic Differentiation Library for Multilevel Optimization
Authors:
Sang Keun Choe,
Willie Neiswanger,
Pengtao Xie,
Eric Xing
Abstract:
Gradient-based multilevel optimization (MLO) has gained attention as a framework for studying numerous problems, ranging from hyperparameter optimization and meta-learning to neural architecture search and reinforcement learning. However, gradients in MLO, which are obtained by composing best-response Jacobians via the chain rule, are notoriously difficult to implement and memory/compute intensive…
▽ More
Gradient-based multilevel optimization (MLO) has gained attention as a framework for studying numerous problems, ranging from hyperparameter optimization and meta-learning to neural architecture search and reinforcement learning. However, gradients in MLO, which are obtained by composing best-response Jacobians via the chain rule, are notoriously difficult to implement and memory/compute intensive. We take an initial step towards closing this gap by introducing Betty, a software library for large-scale MLO. At its core, we devise a novel dataflow graph for MLO, which allows us to (1) develop efficient automatic differentiation for MLO that reduces the computational complexity from O(d^3) to O(d^2), (2) incorporate systems support such as mixed-precision and data-parallel training for scalability, and (3) facilitate implementation of MLO programs of arbitrary complexity while allowing a modular interface for diverse algorithmic and systems design choices. We empirically demonstrate that Betty can be used to implement an array of MLO programs, while also observing up to 11% increase in test accuracy, 14% decrease in GPU memory usage, and 20% decrease in training wall time over existing implementations on multiple benchmarks. We also showcase that Betty enables scaling MLO to models with hundreds of millions of parameters. We open-source the code at https://github.com/leopard-ai/betty.
△ Less
Submitted 15 March, 2023; v1 submitted 5 July, 2022;
originally announced July 2022.
-
General Law of iterated logarithm for Markov processes: Liminf laws
Authors:
Soobin Cho,
Panki Kim,
Jaehun Lee
Abstract:
Continuing from arXiv:2102.01917v2, in this paper, we discuss general criteria and forms of liminf laws of iterated logarithm (LIL) for continuous-time Markov processes. Under some minimal assumptions, which are weaker than those in arXiv:2102.01917v2, we establish liminf LIL at zero (at infinity, respectively) in general metric measure spaces. In particular, our assumptions for liminf law of LIL…
▽ More
Continuing from arXiv:2102.01917v2, in this paper, we discuss general criteria and forms of liminf laws of iterated logarithm (LIL) for continuous-time Markov processes. Under some minimal assumptions, which are weaker than those in arXiv:2102.01917v2, we establish liminf LIL at zero (at infinity, respectively) in general metric measure spaces. In particular, our assumptions for liminf law of LIL at zero and the form of liminf LIL are truly local so that we can cover highly space-inhomogenous cases. Our results cover all examples in arXiv:2102.01917v2 including random conductance models with long range jumps. Moreover, we show that the general form of liminf law of LIL at zero holds for a large class of jump processes whose jumping measures have logarithmic tails and Feller processes with symbols of varying order which are not covered before.
△ Less
Submitted 7 October, 2022; v1 submitted 17 June, 2022;
originally announced June 2022.
-
Enhanced Physics-Informed Neural Networks with Augmented Lagrangian Relaxation Method (AL-PINNs)
Authors:
Hwijae Son,
Sung Woong Cho,
Hyung Ju Hwang
Abstract:
Physics-Informed Neural Networks (PINNs) have become a prominent application of deep learning in scientific computation, as they are powerful approximators of solutions to nonlinear partial differential equations (PDEs). There have been numerous attempts to facilitate the training process of PINNs by adjusting the weight of each component of the loss function, called adaptive loss-balancing algori…
▽ More
Physics-Informed Neural Networks (PINNs) have become a prominent application of deep learning in scientific computation, as they are powerful approximators of solutions to nonlinear partial differential equations (PDEs). There have been numerous attempts to facilitate the training process of PINNs by adjusting the weight of each component of the loss function, called adaptive loss-balancing algorithms. In this paper, we propose an Augmented Lagrangian relaxation method for PINNs (AL-PINNs). We treat the initial and boundary conditions as constraints for the optimization problem of the PDE residual. By employing Augmented Lagrangian relaxation, the constrained optimization problem becomes a sequential max-min problem so that the learnable parameters $λ$ adaptively balance each loss component. Our theoretical analysis reveals that the sequence of minimizers of the proposed loss functions converges to an actual solution for the Helmholtz, viscous Burgers, and Klein--Gordon equations. We demonstrate through various numerical experiments that AL-PINNs yield a much smaller relative error compared with that of state-of-the-art adaptive loss-balancing algorithms.
△ Less
Submitted 30 May, 2023; v1 submitted 29 April, 2022;
originally announced May 2022.
-
Analytical Pricing of 2 Factor Structural PDE model for a Puttable Bond with Credit Risk
Authors:
Hyong Chol O,
Dae Song Choe,
Gyong-Dok Rim
Abstract:
In this paper is proposed a 2 factor structural PDE model of pricing puttable bond with credit risk and derived the analytical pricing formula. To this end, first, a 2 factor structural (PDE) model of pricing zero coupon bond with credit risk is provided, the analytical pricing formula is derived under some conditions for default boundary and default recovery, and the strict monotonicity of the bo…
▽ More
In this paper is proposed a 2 factor structural PDE model of pricing puttable bond with credit risk and derived the analytical pricing formula. To this end, first, a 2 factor structural (PDE) model of pricing zero coupon bond with credit risk is provided, the analytical pricing formula is derived under some conditions for default boundary and default recovery, and the strict monotonicity of the bond price function with respect to the firm value variable is proved. Then a (2 factor) pricing model of the option on zero coupon bond with credit risk is provided and under some condition on the exercise price its analytical pricing formula is derived by transforming the 2 factor model into a terminal boundary value problem for Black-Scholes equation with time dependent coefficient using zero coupon bond as numeraire. Using it, we provide the pricing formulae of the puttable and callable bonds with credit risk.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
A local velocity grid conservative semi-Lagrangian schemes for BGK model
Authors:
Sebastiano Boscarino,
Seung Yeon Cho,
Giovanni Russo
Abstract:
Most numerical schemes proposed for solving BGK models for rarefied gas dynamics are based on the discrete velocity approximation. Since such approach uses fixed velocity grids, one must secure a sufficiently large domain with fine velocity grids to resolve the structure of distribution functions. When one treats high Mach number problems, the computational cost becomes prohibitively expensive. In…
▽ More
Most numerical schemes proposed for solving BGK models for rarefied gas dynamics are based on the discrete velocity approximation. Since such approach uses fixed velocity grids, one must secure a sufficiently large domain with fine velocity grids to resolve the structure of distribution functions. When one treats high Mach number problems, the computational cost becomes prohibitively expensive. In this paper, we propose a velocity adaptation technique in the semi-Lagrangian framework for BGK model. The velocity grid will be set locally in time and space, according to mean velocity and temperature. We apply a weighted minimization approach to impose conservation. We presented several numerical tests that illustrate the effectiveness of our proposed scheme.
△ Less
Submitted 19 July, 2021;
originally announced July 2021.
-
Permutation module decomposition of the second cohomology of a regular semisimple Hessenberg variety
Authors:
Soojin Cho,
Jaehyun Hong,
Eunjeong Lee
Abstract:
Regular semisimple Hessenberg varieties admit actions of associated Weyl groups on their cohomology space of each degree. In this paper, we consider the module structure of the cohomology spaces of regular semisimple Hessenberg varieties of type $A$. We define a subset of the Bialynicki-Birula basis of the cohomology space so that they become a module generator set of the cohomology module of each…
▽ More
Regular semisimple Hessenberg varieties admit actions of associated Weyl groups on their cohomology space of each degree. In this paper, we consider the module structure of the cohomology spaces of regular semisimple Hessenberg varieties of type $A$. We define a subset of the Bialynicki-Birula basis of the cohomology space so that they become a module generator set of the cohomology module of each degree. We then use those generators to construct permutation submodules of the degree two cohomology module and show that they form a permutation module decomposition. Our construction is consistent with a known combinatorial result by Chow on chromatic quasisymmetric functions.
△ Less
Submitted 28 June, 2022; v1 submitted 2 July, 2021;
originally announced July 2021.
-
Heat kernel estimates for subordinate Markov processes and their applications
Authors:
Soobin Cho,
Panki Kim,
Renming Song,
Zoran Vondraček
Abstract:
In this paper, we establish sharp two-sided estimates for transition densities of a large class of subordinate Markov processes. As applications, we show that the parabolic Harnack inequality and Hölder regularity hold for parabolic functions of such processes, and derive sharp two-sided Green function estimates.
In this paper, we establish sharp two-sided estimates for transition densities of a large class of subordinate Markov processes. As applications, we show that the parabolic Harnack inequality and Hölder regularity hold for parabolic functions of such processes, and derive sharp two-sided Green function estimates.
△ Less
Submitted 26 January, 2022; v1 submitted 18 March, 2021;
originally announced March 2021.
-
On local representation densities of hermitian forms and special cycles
Authors:
Sungyoon Cho
Abstract:
In this paper, we reformulate conjectural formulas for the arithmetic intersection numbers of special cycles on unitary Shimura varieties with minuscule parahoric level structure in terms of weighted counting of lattices containing special homomorphisms.
In this paper, we reformulate conjectural formulas for the arithmetic intersection numbers of special cycles on unitary Shimura varieties with minuscule parahoric level structure in terms of weighted counting of lattices containing special homomorphisms.
△ Less
Submitted 6 January, 2022; v1 submitted 18 March, 2021;
originally announced March 2021.
-
BGK models for inert mixtures: comparison and applications
Authors:
Sebastiano Boscarino,
Seung Yeon Cho,
Maria Groppi,
Giovanni Russo
Abstract:
Consistent BGK models for inert mixtures are compared, first in their kinetic behavior and then versus the hydrodynamic limits that can be derived in different collision-dominated regimes. The comparison is carried out both analytically and numerically, for the latter using an asymptotic preserving semi-Lagrangian scheme for the BGK models. Application to the plane shock wave in a binary mixture o…
▽ More
Consistent BGK models for inert mixtures are compared, first in their kinetic behavior and then versus the hydrodynamic limits that can be derived in different collision-dominated regimes. The comparison is carried out both analytically and numerically, for the latter using an asymptotic preserving semi-Lagrangian scheme for the BGK models. Application to the plane shock wave in a binary mixture of noble gases is also presented.
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
General Law of iterated logarithm for Markov processes: Limsup law
Authors:
Soobin Cho,
Panki Kim,
Jaehun Lee
Abstract:
In this paper, we discuss general criteria of limsup law of iterated logarithm (LIL) for continuous-time Markov processes. We consider minimal assumptions for LILs to hold at zero(at infinity, respectively) in general metric measure spaces. We establish LILs under local assumptions near zero (near infinity, respectively) on uniform bounds of the expectations of first exit times from balls in terms…
▽ More
In this paper, we discuss general criteria of limsup law of iterated logarithm (LIL) for continuous-time Markov processes. We consider minimal assumptions for LILs to hold at zero(at infinity, respectively) in general metric measure spaces. We establish LILs under local assumptions near zero (near infinity, respectively) on uniform bounds of the expectations of first exit times from balls in terms of a function $φ$ and uniform bounds on the tails of the jumping kernel in terms of a function $ψ$. The main result is that a simple ratio test in terms of the functions $φ$ and $ψ$ completely determines whether there exists a positive non-decreasing function $Ψ$ such that $\limsup |X_t|/Ψ(t)$ is positive and finite a.s., or not. Our results cover a large class of subordinate diffusions, jump processes with mixed polynomial local growths, jump processes with singular jumping kernels and random conductance models with long range jumps.
△ Less
Submitted 11 June, 2023; v1 submitted 3 February, 2021;
originally announced February 2021.
-
Traveling Wave Solutions of Partial Differential Equations via Neural Networks
Authors:
Sung Woong Cho,
Hyung Ju Hwang,
Hwijae Son
Abstract:
This paper focuses on how to approximate traveling wave solutions for various kinds of partial differential equations via artificial neural networks. A traveling wave solution is hard to obtain with traditional numerical methods when the corresponding wave speed is unknown in advance. We propose a novel method to approximate both the traveling wave solution and the unknown wave speed via a neural…
▽ More
This paper focuses on how to approximate traveling wave solutions for various kinds of partial differential equations via artificial neural networks. A traveling wave solution is hard to obtain with traditional numerical methods when the corresponding wave speed is unknown in advance. We propose a novel method to approximate both the traveling wave solution and the unknown wave speed via a neural network and an additional free parameter. We proved that under a mild assumption, the neural network solution converges to the analytic solution and the free parameter accurately approximates the wave speed as the corresponding loss tends to zero for the Keller-Segel equation. We also demonstrate in the experiments that reducing loss through training assures an accurate approximation of the traveling wave solution and the wave speed for the Keller-Segel equation, the Allen-Cahn model with relaxation, and the Lotka-Volterra competition model.
△ Less
Submitted 28 June, 2021; v1 submitted 21 January, 2021;
originally announced January 2021.
-
Conservative semi-Lagrangian schemes for a general consistent BGK model for inert gas mixtures
Authors:
Seung Yeon Cho,
Sebastiano Boscarino,
Maria Groppi,
Giovanni Russo
Abstract:
In this work, we propose a class of high order semi-Lagrangian scheme for a general consistent BGK model for inert gas mixtures. The proposed scheme not only fulfills indifferentiability principle, but also asymptotic preserving property, which allows us to capture the behaviors of hydrodynamic limit models. We consider two hydrodynamic closure which can be derived from the BGK model at leading or…
▽ More
In this work, we propose a class of high order semi-Lagrangian scheme for a general consistent BGK model for inert gas mixtures. The proposed scheme not only fulfills indifferentiability principle, but also asymptotic preserving property, which allows us to capture the behaviors of hydrodynamic limit models. We consider two hydrodynamic closure which can be derived from the BGK model at leading order: classical Euler equations for number densities, global velocity and temperature, and a multi-velocities and temperatures Euler system. Numerical simulations are performed to demonstrate indifferentiability principle and asymptotic preserving property of the proposed conservative semi-Lagrangian scheme to the Euler limits.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
Slide multiplicity free key polynomials
Authors:
Soojin Cho,
Stephanie van Willigenburg
Abstract:
Schubert polynomials are refined by the key polynomials of Lascoux-Schützenberger, which in turn are refined by the fundamental slide polynomials of Assaf-Searles. In this paper we determine which fundamental slide polynomial refinements of key polynomials, indexed by strong compositions, are multiplicity free. We also give a recursive algorithm to determine all terms in the fundamental slide poly…
▽ More
Schubert polynomials are refined by the key polynomials of Lascoux-Schützenberger, which in turn are refined by the fundamental slide polynomials of Assaf-Searles. In this paper we determine which fundamental slide polynomial refinements of key polynomials, indexed by strong compositions, are multiplicity free. We also give a recursive algorithm to determine all terms in the fundamental slide polynomial refinement of a key polynomial indexed by a strong composition. From here, we apply our results to begin to classify which fundamental slide polynomial refinements, indexed by weak compositions, are multiplicity free. We completely resolve the cases when the weak composition has at most two nonzero parts or the sum has at most two nonzero terms.
△ Less
Submitted 9 January, 2022; v1 submitted 12 September, 2020;
originally announced September 2020.
