-
Near-order relation of power means
Authors:
**mi Hwang,
Sejong Kim
Abstract:
On the setting of positive definite operators we study the near-order properties of power means such as the quasi-arithmetic mean (Hölder mean) and Rényi power mean. We see the monotonicity of spectral geometric mean and Wasserstein mean on parameters with respect to the near-order and the near-order relationship between the spectral geometric mean and Wasserstein mean. Furthermore, the monotonici…
▽ More
On the setting of positive definite operators we study the near-order properties of power means such as the quasi-arithmetic mean (Hölder mean) and Rényi power mean. We see the monotonicity of spectral geometric mean and Wasserstein mean on parameters with respect to the near-order and the near-order relationship between the spectral geometric mean and Wasserstein mean. Furthermore, the monotonicity of quasi-arithmetic mean on parameters and the convergence of Rényi power mean to the log-Euclidean mean with respect to the near-order have been established.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Shape optimization of non-matching isogeometric shells with moving intersections
Authors:
Han Zhao,
John T. Hwang,
J. S. Chen
Abstract:
While shape optimization using isogeometric shells exhibits appealing features by integrating design geometries and analysis models, challenges arise when addressing computer-aided design (CAD) geometries comprised of multiple non-uniform rational B-splines (NURBS) patches, which are common in practice. The intractability stems from surface intersections within these CAD models. In this paper, we…
▽ More
While shape optimization using isogeometric shells exhibits appealing features by integrating design geometries and analysis models, challenges arise when addressing computer-aided design (CAD) geometries comprised of multiple non-uniform rational B-splines (NURBS) patches, which are common in practice. The intractability stems from surface intersections within these CAD models. In this paper, we develop an approach for shape optimization of non-matching isogeometric shells incorporating intersection movement. Separately parametrized NURBS surfaces are modeled using Kirchhoff--Love shell theory and coupled using a penalty-based formulation. The optimization scheme allows shell patches to move without preserving relative location with other members during the shape optimization. This flexibility is achieved through an implicit state function, and analytical sensitivities are derived for the relative movement of shell patches. The introduction of differentiable intersections expands the design space and overcomes challenges associated with large mesh distortion, particularly when optimal shapes involve significant movement of patch intersections in physical space. Throughout optimization iterations, all members within the shell structures maintain the NURBS geometry representation, enabling efficient integration of analysis and design models. The optimization approach leverages the multilevel design concept by selecting a refined model for accurate analysis from a coarse design model while maintaining the same geometry. We adopt several example problems to verify the effectiveness of the proposed scheme and demonstrate its applicability to the optimization of the internal stiffeners of an aircraft wing.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
Characterizing subadjoint varieties among Legendrian varieties
Authors:
Jun-Muk Hwang
Abstract:
For a symplectic vector space $V$, a projective subvariety $Z \subset {\bf P} V$ is a Legendrian variety if its affine cone $\widehat{Z} \subset V$ is Lagrangian. In addition to the classical examples of subadjoint varieties associated to simple Lie algebras, many examples of nonsingular Legendrian varieties have been discovered which have positive-dimensional automorphism groups. We give a charac…
▽ More
For a symplectic vector space $V$, a projective subvariety $Z \subset {\bf P} V$ is a Legendrian variety if its affine cone $\widehat{Z} \subset V$ is Lagrangian. In addition to the classical examples of subadjoint varieties associated to simple Lie algebras, many examples of nonsingular Legendrian varieties have been discovered which have positive-dimensional automorphism groups. We give a characterization of subadjoint varieties among such Legendrian varieties in terms of the isotropy representation. Our proof uses some special features of the projective third fundamental forms of Legendrian varieties and their relation to the lines on the Legendrian varieties.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Air-taxi trajectory optimization with aerodynamic and motor models
Authors:
Nicholas C. Orndorff,
John T. Hwang
Abstract:
Many air-taxi concepts are capable of vertical takeoff and landing, enabling them to fly to and from urban locations. An important capability for these air taxis is the transition between hover and forward flight. We propose a robust methodology for computing optimal takeoff and transition trajectories using surrogate models trained on data from physics-based models. The use of surrogate models re…
▽ More
Many air-taxi concepts are capable of vertical takeoff and landing, enabling them to fly to and from urban locations. An important capability for these air taxis is the transition between hover and forward flight. We propose a robust methodology for computing optimal takeoff and transition trajectories using surrogate models trained on data from physics-based models. The use of surrogate models reduces the computational complexity and improves the robustness of the trajectory optimization algorithm. We demonstrate the versatility and robustness of the proposed methodology by applying it to 12 trajectory optimization problems that involve air-taxi takeoff and outbound transition. These trajectories are representative of real air-taxi operations, with a variety of constraints derived, in part, from proposed mission requirements.
△ Less
Submitted 23 April, 2024;
originally announced April 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.
-
Integrated empirical measures and generalizations of classical goodness-of-fit statistics
Authors:
Hsien-Kuei Hwang,
Satoshi Kuriki
Abstract:
Based on $m$-fold integrated empirical measures, we study three new classes of goodness-of-fits tests, generalizing Anderson-Darling, Cramér-von Mises, and Watson statistics, respectively, and examine the corresponding limiting stochastic processes. The limiting null distributions of the statistics all lead to explicitly solvable cases with closed-form expressions for the corresponding Karhunen-Lo…
▽ More
Based on $m$-fold integrated empirical measures, we study three new classes of goodness-of-fits tests, generalizing Anderson-Darling, Cramér-von Mises, and Watson statistics, respectively, and examine the corresponding limiting stochastic processes. The limiting null distributions of the statistics all lead to explicitly solvable cases with closed-form expressions for the corresponding Karhunen-Loève expansions and covariance kernels. In particular, the eigenvalues are shown to be $\frac1{k(k+1)\cdots (k+2m-1)}$ for the generalized Anderson-Darling, $\frac1{(πk)^{2m}}$ for the generalized Cramér-von Mises, and $\frac1{2π\lceil k/2\rceil^{2m}}$ for the generalized Watson statistics, respectively. The infinite products of the resulting moment generating functions are further simplified to finite ones so as to facilitate efficient numerical calculations. These statistics are capable of detecting different features of the distributions and thus provide a useful toolbox for goodness-of-fit testing.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Formal principle with convergence for rational curves of Goursat type
Authors:
Jun-Muk Hwang
Abstract:
We propose a conjecture that a general member of a bracket-generating family of rational curves in a complex manifold satisfies the formal principle with convergence, namely, any formal equivalence between such curves is convergent. If the normal bundles of the rational curves are positive, the conjecture follows from the results of Commichau-Grauert and Hirschowitz. We prove the conjecture for th…
▽ More
We propose a conjecture that a general member of a bracket-generating family of rational curves in a complex manifold satisfies the formal principle with convergence, namely, any formal equivalence between such curves is convergent. If the normal bundles of the rational curves are positive, the conjecture follows from the results of Commichau-Grauert and Hirschowitz. We prove the conjecture for the opposite case when the normal bundles are furthest from positive vector bundles among bracket-generating families, namely, when the families of rational curves are of Goursat type. The proof uses natural ODEs associated to rational curves of Goursat type and corresponding Cartan connections constructed by Doubrov-Komrakov-Morimoto. As an example, we see that a general line on a smooth cubic fourfold satisfies the formal principle with convergence.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Lagrangian loci in moduli of abelian surfaces
Authors:
Jun-Muk Hwang
Abstract:
We show that any smooth surface germ in the moduli of abelian surfaces arises from a Lagrangian fibration of abelian surfaces. By Donagi-Markman's cubic condition, the key issue of the proof is to find a suitable affine structure with a compatible cubic form on the base space of the family. We achieve this by analyzing the properties of cubic forms in two variables and proving the existence of the…
▽ More
We show that any smooth surface germ in the moduli of abelian surfaces arises from a Lagrangian fibration of abelian surfaces. By Donagi-Markman's cubic condition, the key issue of the proof is to find a suitable affine structure with a compatible cubic form on the base space of the family. We achieve this by analyzing the properties of cubic forms in two variables and proving the existence of the solution of the resulting partial differential equations by Cauchy-Kowalewski Theorem. Modifying the argument, we show also that a smooth curve germ in the moduli of abelian surfaces arises from a Lagrangian fibration if and only if the curve is a null curve with respect to the natural holomorphic conformal structure on the moduli of abelian surfaces.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
On the comparison between phenomenological and kinetic theories of gas mixtures with applications to flocking
Authors:
Gi-Chan Bae,
Seung-Yeal Ha,
Gyuyoung Hwang,
Tommaso Ruggeri
Abstract:
We study the compression between the phenomenological and kinetic models for a mixture of gases from the viewpoint of collective dynamics. In the case in which constituents are Eulerian gases, balance equations for mass, momentum, and energy are the same in the main differential part, but production terms due to the interchanges between constituents are different. They coincide only when the therm…
▽ More
We study the compression between the phenomenological and kinetic models for a mixture of gases from the viewpoint of collective dynamics. In the case in which constituents are Eulerian gases, balance equations for mass, momentum, and energy are the same in the main differential part, but production terms due to the interchanges between constituents are different. They coincide only when the thermal and mechanical diffusion are sufficiently small. In this paper, we first verify that both models satisfy the universal requirements of conservation laws of total mass, momentum, and energy, Galilean invariance and entropy principle. Following the work of Ha and Ruggeri (ARMA 2017), we consider spatially homogeneous models which correspond to the generalizations of the Cucker Smale model with the thermal effect. In these circumstances, we provide analytical results for the comparison between two resulting models and also present several numerical simulations to complement analytical results.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Refined canonical stable Grothendieck polynomials and their duals, Part 2
Authors:
Byung-Hak Hwang,
Jihyeug Jang,
Jang Soo Kim,
Minho Song,
U-Keun Song
Abstract:
This paper is the sequel of the paper under the same title with part 1, where we introduced refined canonical stable Grothendieck polynomials and their duals with two families of infinite parameters. In this paper we give combinatorial interpretations for these polynomials using generalizations of set-valued tableaux and reverse plane partitions, respectively. Our results extend to their flagged a…
▽ More
This paper is the sequel of the paper under the same title with part 1, where we introduced refined canonical stable Grothendieck polynomials and their duals with two families of infinite parameters. In this paper we give combinatorial interpretations for these polynomials using generalizations of set-valued tableaux and reverse plane partitions, respectively. Our results extend to their flagged and skew versions.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Stationary solutions to the relativistic BGK model for gas mixtures in a slab
Authors:
Byung-Hoon Hwang,
Myeong-Su Lee
Abstract:
In a recent paper [16], the authors proposed a BGK model for relativistic gas mixtures based on the Marle-type approximation, which satisfies the fundamental kinetic properties: non-negativity of distribution functions, conservation laws, H-theorem, and indifferentiability principle. In this paper, we are concerned with the stationary problems to the relativistic BGK model for gas mixtures in slab…
▽ More
In a recent paper [16], the authors proposed a BGK model for relativistic gas mixtures based on the Marle-type approximation, which satisfies the fundamental kinetic properties: non-negativity of distribution functions, conservation laws, H-theorem, and indifferentiability principle. In this paper, we are concerned with the stationary problems to the relativistic BGK model for gas mixtures in slab geometry. We establish the existence of a unique mild solution with the fixed inflow boundary data when the collision frequencies for each species are sufficiently small.
△ Less
Submitted 31 March, 2024;
originally announced April 2024.
-
Transverse Ricci solitons on a compact foliated manifold
Authors:
Seungsu Hwang,
Seoung Dal Jung,
Jungwoo Moon
Abstract:
We investigate transverse Ricci solitons, the self-similar solutions of the transverse Ricci flow, on a compact foliated manifold. In particular, we show the relations between a taut Riemannian foliation and a transverse Ricci soliton. Moreover, we find some examples of transverse Ricci solitons.
We investigate transverse Ricci solitons, the self-similar solutions of the transverse Ricci flow, on a compact foliated manifold. In particular, we show the relations between a taut Riemannian foliation and a transverse Ricci soliton. Moreover, we find some examples of transverse Ricci solitons.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
On the induced subgraphs of the zero-divisor graph of a matrix ring over number rings
Authors:
WonTae Hwang,
Ei Thu Thu Kyaw
Abstract:
We provide a construction of the induced subgraphs of the zero-divisor graph of $M_2(R)$ for the ring $R$ of algebraic integers of some number fields that are neither complete nor connected, and study the structure of the induced subgraphs explicitly. As an application, we prove that the automorphism group of the zero-divisor graph of $M_2(R)$ is not a Jordan group.
We provide a construction of the induced subgraphs of the zero-divisor graph of $M_2(R)$ for the ring $R$ of algebraic integers of some number fields that are neither complete nor connected, and study the structure of the induced subgraphs explicitly. As an application, we prove that the automorphism group of the zero-divisor graph of $M_2(R)$ is not a Jordan group.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Classical solutions to a BGK-type model relaxing to the isentropic gas dynamics
Authors:
Byung-Hoon Hwang
Abstract:
In this paper, we consider a BGK-type kinetic model relaxing to the isentropic gas dynamics in the hydrodynamic limit. We introduce a linearization of the equation around the global equilibrium. Then we prove the global existence of classical solutions with an exponential convergence rate toward the equilibrium state in the periodic domain when the initial data is a small perturbation of the globa…
▽ More
In this paper, we consider a BGK-type kinetic model relaxing to the isentropic gas dynamics in the hydrodynamic limit. We introduce a linearization of the equation around the global equilibrium. Then we prove the global existence of classical solutions with an exponential convergence rate toward the equilibrium state in the periodic domain when the initial data is a small perturbation of the global equilibrium.
△ Less
Submitted 14 February, 2024;
originally announced February 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.
-
ECALL: Expectation-calibrated learning for unsupervised blind deconvolution
Authors:
Markus Haltmeier,
Gyeongha Hwang
Abstract:
Blind deconvolution aims to recover an original image from a blurred version in the case where the blurring kernel is unknown. It has wide applications in diverse fields such as astronomy, microscopy, and medical imaging. Blind deconvolution is a challenging ill-posed problem that suffers from significant non-uniqueness. Solution methods therefore require the integration of appropriate prior infor…
▽ More
Blind deconvolution aims to recover an original image from a blurred version in the case where the blurring kernel is unknown. It has wide applications in diverse fields such as astronomy, microscopy, and medical imaging. Blind deconvolution is a challenging ill-posed problem that suffers from significant non-uniqueness. Solution methods therefore require the integration of appropriate prior information. Early approaches rely on hand-crafted priors for the original image and the kernel. Recently, deep learning methods have shown excellent performance in addressing this challenge. However, most existing learning methods for blind deconvolution require a paired dataset of original and blurred images, which is often difficult to obtain. In this paper, we present a novel unsupervised learning approach named ECALL (Expectation-CALibrated Learning) that uses separate unpaired collections of original and blurred images. Key features of the proposed loss function are cycle consistency involving the kernel and associated reconstruction operator, and terms that use expectation values of data distributions to obtain information about the kernel. Numerical results are used to support ECALL.
△ Less
Submitted 2 February, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
A Quantum $H^*(T)$-module via Quasimap Invariants
Authors:
Jae Hwang Lee
Abstract:
For $X$ a smooth projective variety, the quantum cohomology ring $QH^*(X)$ is a deformation of the usual cohomology ring $H^*(X)$, where the product structure is modified to incorporate quantum corrections. These correction terms are defined using Gromov-Witten invariants. When $X$ is toric with the geometric quotient description $V /\!/ T$, the cohomology ring $H^*(V /\!/T)$ also has the structur…
▽ More
For $X$ a smooth projective variety, the quantum cohomology ring $QH^*(X)$ is a deformation of the usual cohomology ring $H^*(X)$, where the product structure is modified to incorporate quantum corrections. These correction terms are defined using Gromov-Witten invariants. When $X$ is toric with the geometric quotient description $V /\!/ T$, the cohomology ring $H^*(V /\!/T)$ also has the structure of a quantum $H^*(T)$-module. In this paper, we give a new deformation using quasimap invariants with a light point. This defines $H^*(T)$-module structure on $H^*(X)$ through a modified version of the WDVV equations. Using the Atiyah-Bott localization theorem, we explicitly compute this structure for the Hirzebruch surface of type 2. We conjecture that this new quantum module structure is isomorphic to the natural module structure of the Batyrev ring for a semipositive toric variety.
△ Less
Submitted 29 December, 2023;
originally announced January 2024.
-
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 map**s 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 map**s 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.
-
Directional proximal point method for convex optimization
Authors:
Wen-Liang Hwang,
Chang-Wei Yueh
Abstract:
The use of proximal point operators for optimization can be computationally expensive when the dimensionality of a function (i.e., the number of variables) is high. In this study, we sought to reduce the cost of calculating proximal point operators by develo** a directional operator in which the proximal regularization of a function along a specific direction is penalized. We used this operator…
▽ More
The use of proximal point operators for optimization can be computationally expensive when the dimensionality of a function (i.e., the number of variables) is high. In this study, we sought to reduce the cost of calculating proximal point operators by develo** a directional operator in which the proximal regularization of a function along a specific direction is penalized. We used this operator in a novel approach to optimization, referred to as the directional proximal point method (Direction PPM). When using Direction PPM, the key to achieving convergence is the selection of direction sequences for directional proximal point operators. In this paper, we present the conditions/assumptions by which to derive directions capable of achieving global convergence for convex functions. Considered a light version of PPM, Direction PPM uses scalar optimization to derive a stable step-size via a direction envelope function and an auxiliary method to derive a direction sequence that satisfies the assumptions. This makes Direction PPM adaptable to a larger class of functions. Through applications to differentiable convex functions, we demonstrate that negative gradient directions at the current iterates could conceivably be used to achieve this end. We provide experimental results to illustrate the efficacy of Direction PPM in practice.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
A Note on Finite Number Rings
Authors:
Suk-Geun Hwang,
Woo Jeon,
Ki-Bong Nam,
Tung T. Nguyen
Abstract:
We define the finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ where $m,n$ are positive integers and $r$ in an integer akin to the definition of the Gaussian integer ${\Bbb Z}[i]$. This idea is also introduced briefly in [7]. By definition, this finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ is naturally isomorphic to the ring ${\Bbb Z}_n[x]/{\langle x^m-r \rangle}$. From an educational standpoint, th…
▽ More
We define the finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ where $m,n$ are positive integers and $r$ in an integer akin to the definition of the Gaussian integer ${\Bbb Z}[i]$. This idea is also introduced briefly in [7]. By definition, this finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ is naturally isomorphic to the ring ${\Bbb Z}_n[x]/{\langle x^m-r \rangle}$. From an educational standpoint, this description offers a straightforward and elementary presentation of this finite ring, making it suitable for readers who do not have extensive exposure to abstract algebra. We discuss various arithmetical properties of this ring. In particular, when $n=p$ is a prime number and $\mathbb{Z}_p$ contains a primitive $m$-root of unity, we describe the structure of $\mathbb{Z}_n[\sqrt[m]{r}]$ explicitly.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Bayesian Approach to Linear Bayesian Networks
Authors:
Seyong Hwang,
Kyoungjae Lee,
Sunmin Oh,
Gunwoong Park
Abstract:
This study proposes the first Bayesian approach for learning high-dimensional linear Bayesian networks. The proposed approach iteratively estimates each element of the topological ordering from backward and its parent using the inverse of a partial covariance matrix. The proposed method successfully recovers the underlying structure when Bayesian regularization for the inverse covariance matrix wi…
▽ More
This study proposes the first Bayesian approach for learning high-dimensional linear Bayesian networks. The proposed approach iteratively estimates each element of the topological ordering from backward and its parent using the inverse of a partial covariance matrix. The proposed method successfully recovers the underlying structure when Bayesian regularization for the inverse covariance matrix with unequal shrinkage is applied. Specifically, it shows that the number of samples $n = Ω( d_M^2 \log p)$ and $n = Ω(d_M^2 p^{2/m})$ are sufficient for the proposed algorithm to learn linear Bayesian networks with sub-Gaussian and 4m-th bounded-moment error distributions, respectively, where $p$ is the number of nodes and $d_M$ is the maximum degree of the moralized graph. The theoretical findings are supported by extensive simulation studies including real data analysis. Furthermore the proposed method is demonstrated to outperform state-of-the-art frequentist approaches, such as the BHLSM, LISTEN, and TD algorithms in synthetic data.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Determination of equilibrium parameters of the Marle model for polyatomic gases
Authors:
Byung-Hoon Hwang
Abstract:
The BGK model is a relaxation-time approximation of the celebrated Boltzmann equation, and the Marle model is a direct extension of the BGK model in a relativistic framework. In this paper, we introduce the Marle model for polyatomic gases based on the Jüttner distribution devised in [Ann. Phys., 377, (2017), 414--445], and show the existence of a unique set of equilibrium parameters of the Jüttne…
▽ More
The BGK model is a relaxation-time approximation of the celebrated Boltzmann equation, and the Marle model is a direct extension of the BGK model in a relativistic framework. In this paper, we introduce the Marle model for polyatomic gases based on the Jüttner distribution devised in [Ann. Phys., 377, (2017), 414--445], and show the existence of a unique set of equilibrium parameters of the Jüttner distribution.
△ Less
Submitted 3 February, 2024; v1 submitted 16 November, 2023;
originally announced November 2023.
-
Global existence of weak solutions to the nonlinear Vlasov-Fokker-Planck equation
Authors:
Young-Pil Choi,
Byung-Hoon Hwang,
Yeongseok Yoo
Abstract:
In this paper, we study the nonlinear Vlasov-Fokker-Planck equation with fixed collision frequency. We establish the global-in-time existence of weak solutions to the equation with large initial data. Moreover, we show that our solution satisfies the conservation laws of mass, momentum, and energy, and Boltzmann's $H$-theorem.
In this paper, we study the nonlinear Vlasov-Fokker-Planck equation with fixed collision frequency. We establish the global-in-time existence of weak solutions to the equation with large initial data. Moreover, we show that our solution satisfies the conservation laws of mass, momentum, and energy, and Boltzmann's $H$-theorem.
△ Less
Submitted 3 December, 2023; v1 submitted 14 November, 2023;
originally announced November 2023.
-
Minimum Width for Deep, Narrow MLP: A Diffeomorphism Approach
Authors:
Geonho Hwang
Abstract:
Recently, there has been a growing focus on determining the minimum width requirements for achieving the universal approximation property in deep, narrow Multi-Layer Perceptrons (MLPs). Among these challenges, one particularly challenging task is approximating a continuous function under the uniform norm, as indicated by the significant disparity between its lower and upper bounds. To address this…
▽ More
Recently, there has been a growing focus on determining the minimum width requirements for achieving the universal approximation property in deep, narrow Multi-Layer Perceptrons (MLPs). Among these challenges, one particularly challenging task is approximating a continuous function under the uniform norm, as indicated by the significant disparity between its lower and upper bounds. To address this problem, we propose a framework that simplifies finding the minimum width for deep, narrow MLPs into determining a purely geometrical function denoted as $w(d_x, d_y)$. This function relies solely on the input and output dimensions, represented as $d_x$ and $d_y$, respectively. Two key steps support this framework. First, we demonstrate that deep, narrow MLPs, when provided with a small additional width, can approximate a $C^2$-diffeomorphism. Subsequently, using this result, we prove that $w(d_x, d_y)$ equates to the optimal minimum width required for deep, narrow MLPs to achieve universality. By employing the aforementioned framework and the Whitney embedding theorem, we provide an upper bound for the minimum width, given by $\operatorname{max}(2d_x+1, d_y) + α(σ)$, where $0 \leq α(σ) \leq 2$ represents a constant depending on the activation function. Furthermore, we provide a lower bound of $4$ for the minimum width in cases where the input and output dimensions are both equal to two.
△ Less
Submitted 7 November, 2023; v1 submitted 30 August, 2023;
originally announced August 2023.
-
Vacuum static spaces and Conformal vector fields
Authors:
Seungsu Hwang,
Gab** Yun
Abstract:
In this paper, we show that if a compact $n$-dimensional vacuum static space $(M^n, g, f)$ admits a non-trivial closed conformal vector field $V$, then $(M, g)$ is isometric to a standard sphere ${\Bbb S}^n(c)$. We also prove that if a pair $(g, f)$ of a Riemannian metric and a function defined on a compact $n$-dimensional manifold $M^n$ satisfies the critical point equation and $(M, g)$ admits a…
▽ More
In this paper, we show that if a compact $n$-dimensional vacuum static space $(M^n, g, f)$ admits a non-trivial closed conformal vector field $V$, then $(M, g)$ is isometric to a standard sphere ${\Bbb S}^n(c)$. We also prove that if a pair $(g, f)$ of a Riemannian metric and a function defined on a compact $n$-dimensional manifold $M^n$ satisfies the critical point equation and $(M, g)$ admits a non-trivial closed conformal vector field $V$, we have the same result. Finally, we prove a criterion for a nontrivial conformal vector field to be closed.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Automated shape and thickness optimization for non-matching isogeometric shells using free-form deformation
Authors:
Han Zhao,
David Kamensky,
John T. Hwang,
Jiun-Shyan Chen
Abstract:
Isogeometric analysis (IGA) has emerged as a promising approach in the field of structural optimization, benefiting from the seamless integration between the computer-aided design (CAD) geometry and the analysis model by employing non-uniform rational B-splines (NURBS) as basis functions. However, structural optimization for real-world CAD geometries consisting of multiple non-matching NURBS patch…
▽ More
Isogeometric analysis (IGA) has emerged as a promising approach in the field of structural optimization, benefiting from the seamless integration between the computer-aided design (CAD) geometry and the analysis model by employing non-uniform rational B-splines (NURBS) as basis functions. However, structural optimization for real-world CAD geometries consisting of multiple non-matching NURBS patches remains a challenging task. In this work, we propose a unified formulation for shape and thickness optimization of separately-parametrized shell structures by adopting the free-form deformation (FFD) technique, so that continuity with respect to design variables is preserved at patch intersections during optimization. Shell patches are modeled with isogeometric Kirchhoff--Love theory and coupled using a penalty-based method in the analysis. We use Lagrange extraction to link the control points associated with the B-spline FFD block and shell patches, and we perform IGA using the same extraction matrices by taking advantage of existing finite element assembly procedures in the FEniCS partial differential equation (PDE) solution library. Moreover, we enable automated analytical derivative computation by leveraging advanced code generation in FEniCS, thereby facilitating efficient gradient-based optimization algorithms. The framework is validated using a collection of benchmark problems, demonstrating its applications to shape and thickness optimization of aircraft wings with complex shell layouts.
△ Less
Submitted 2 August, 2023;
originally announced August 2023.
-
Existence of weak solutions for Porous medium equation with a divergence type of drift term in a bounded domain
Authors:
Sukjung Hwang,
Kyungkeun Kang,
Hwa Kil Kim
Abstract:
We study porous medium equations with a divergence form of drift terms in a bounded domain with no-flux lateral boundary conditions. We establish $L^q$-weak solutions for $ 1\leq q < \infty$ in Wasserstein space under appropriate conditions on the drift, which is an extension of authors' previous works done in the whole space into the case of bounded domains. Applying existence results to a certai…
▽ More
We study porous medium equations with a divergence form of drift terms in a bounded domain with no-flux lateral boundary conditions. We establish $L^q$-weak solutions for $ 1\leq q < \infty$ in Wasserstein space under appropriate conditions on the drift, which is an extension of authors' previous works done in the whole space into the case of bounded domains. Applying existence results to a certain Keller-Segel equation of consumption type, construction of $L^q$-weak solutions is also made, in case that the equation of a biological organism is of porous medium type.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Relativistic BGK model for gas mixtures
Authors:
Byung-Hoon Hwang,
Myeong-Su Lee,
Seok-Bae Yun
Abstract:
Unlike the case for classical particles, the literature on BGK type models for relativistic gas mixture is extremely limited. There are a few results %\cite{Kremer,Kremer3,KP} in which such relativistic BGK models for gas mixture are employed to compute transport coefficients. However, to the best knowledge of authors, relativistic BGK models for gas mixtures with complete presentation of the rela…
▽ More
Unlike the case for classical particles, the literature on BGK type models for relativistic gas mixture is extremely limited. There are a few results %\cite{Kremer,Kremer3,KP} in which such relativistic BGK models for gas mixture are employed to compute transport coefficients. However, to the best knowledge of authors, relativistic BGK models for gas mixtures with complete presentation of the relaxation operators are missing in the literature.
In this paper, we fill this gap by suggesting a BGK model for relativistic gas mixtures for which the existence of each equilibrium coefficients in the relaxation operator is rigorously guaranteed in a way that all the essential physical properties are satisfied such as the conservation laws, the H-theorem, the capturing of the correct equilibrium state, the indifferentiability principle, and the recovery of the classical BGK model in the Newtonian limit.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
SMT 2.0: A Surrogate Modeling Toolbox with a focus on Hierarchical and Mixed Variables Gaussian Processes
Authors:
Paul Saves,
Remi Lafage,
Nathalie Bartoli,
Youssef Diouane,
Jasper Bussemaker,
Thierry Lefebvre,
John T. Hwang,
Joseph Morlier,
Joaquim R. R. A. Martins
Abstract:
The Surrogate Modeling Toolbox (SMT) is an open-source Python package that offers a collection of surrogate modeling methods, sampling techniques, and a set of sample problems. This paper presents SMT 2.0, a major new release of SMT that introduces significant upgrades and new features to the toolbox. This release adds the capability to handle mixed-variable surrogate models and hierarchical varia…
▽ More
The Surrogate Modeling Toolbox (SMT) is an open-source Python package that offers a collection of surrogate modeling methods, sampling techniques, and a set of sample problems. This paper presents SMT 2.0, a major new release of SMT that introduces significant upgrades and new features to the toolbox. This release adds the capability to handle mixed-variable surrogate models and hierarchical variables. These types of variables are becoming increasingly important in several surrogate modeling applications. SMT 2.0 also improves SMT by extending sampling methods, adding new surrogate models, and computing variance and kernel derivatives for Kriging. This release also includes new functions to handle noisy and use multifidelity data. To the best of our knowledge, SMT 2.0 is the first open-source surrogate library to propose surrogate models for hierarchical and mixed inputs. This open-source software is distributed under the New BSD license.
△ Less
Submitted 23 January, 2024; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Noncommutative symmetric functions and skewing operators
Authors:
Byung-Hak Hwang
Abstract:
Skewing operators play a central role in the symmetric function theory because of the importance of the product structure of the symmetric function space. The theory of noncommutative symmetric functions is a useful tool for studying expansions of a given symmetric function in terms of various bases. In this paper, we establish a further development of the theory for studying skewing operators. Us…
▽ More
Skewing operators play a central role in the symmetric function theory because of the importance of the product structure of the symmetric function space. The theory of noncommutative symmetric functions is a useful tool for studying expansions of a given symmetric function in terms of various bases. In this paper, we establish a further development of the theory for studying skewing operators. Using this machinery, we are able to easily reproduce the Littlewood--Richardson rule, and provide recurrence relations for chromatic quasisymmetric functions, which generalizes Harada--Precup's recurrence.
△ Less
Submitted 14 May, 2023;
originally announced May 2023.
-
Large-scale multidisciplinary design optimization of the NASA lift-plus-cruise concept using a novel aircraft design framework
Authors:
Marius L. Ruh,
Darshan Saro**i,
Andrew Fletcher,
Isaac Asher,
John T. Hwang
Abstract:
The conceptual design of eVTOL aircraft is a high-dimensional optimization problem that involves large numbers of continuous design parameters. Therefore, eVTOL design method would benefit from numerical optimization algorithms capable of systematically searching these high-dimensional parameters spaces, using comprehensive and multidisciplinary models of the aircraft. By leveraging recent progres…
▽ More
The conceptual design of eVTOL aircraft is a high-dimensional optimization problem that involves large numbers of continuous design parameters. Therefore, eVTOL design method would benefit from numerical optimization algorithms capable of systematically searching these high-dimensional parameters spaces, using comprehensive and multidisciplinary models of the aircraft. By leveraging recent progress in sensitivity analysis methods, a computational framework called the Comprehensive Aircraft high-Dimensional DEsign Environment (CADDEE) has been developed for large-scale multidisciplinary design optimization (MDO) of electric air taxis. CADDEE uses a geometry-centric approach that propagates geometry changes in a differentiable manner to meshes for physics-based models of arbitrary fidelity level. The paper demonstrates the capabilities of this new aircraft design tool, by presenting large-scale MDO results for NASA's Lift+Cruise eVTOL concept. MDO with over 100 design variables, 17 constraints, and low-fidelity predictive models for key disciplines is demonstrated with an optimization time of less than one hour with a desktop computer. The results show a reduction in gross weight of 11.4% and suggest that CADDEE can be valuable in the conceptual design and optimization of eVTOL aircraft.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
TALOS: A toolbox for spacecraft conceptual design
Authors:
Victor Gandarillas,
John T. Hwang
Abstract:
We present the Toolbox for Analysis and Large-scale Optimization of Spacecraft (TALOS), a framework designed for applying large-scale multidisciplinary design optimization (MDO) to spacecraft design problems. The framework is built using the Computational System Design Language (CSDL), with abstractions for users to describe systems at a high level. CSDL is a compiled, embedded domain-specific lan…
▽ More
We present the Toolbox for Analysis and Large-scale Optimization of Spacecraft (TALOS), a framework designed for applying large-scale multidisciplinary design optimization (MDO) to spacecraft design problems. The framework is built using the Computational System Design Language (CSDL), with abstractions for users to describe systems at a high level. CSDL is a compiled, embedded domain-specific language that fully automates derivative computation using the adjoint method. CSDL provides a unified interface for defining MDO problems, separating model definition from low-level program implementation details. TALOS provides discipline models for spacecraft mission designers to perform analyses, optimizations, and trade studies early in the design process. TALOS also provides interfaces for users to provide high-level system descriptions without the need to use CSDL directly, which simplifies the exploration of different spacecraft configurations. We describe the interfaces in TALOS available to users and run analyses on selected spacecraft subsystem disciplines to demonstrate the current capabilities of TALOS.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
From BGK-alignment model to the pressured Euler-alignment system with singular communication weights
Authors:
Young-Pil Choi,
Byung-Hoon Hwang
Abstract:
This paper is devoted to a rigorous derivation of the isentropic Euler-alignment system with singular communication weights $φ_α(x) = |x|^{-α}$ for some $α> 0$. We consider a kinetic BGK-alignment model consisting of a kinetic BGK-type equation with a singular Cucker-Smale alignment force. By taking into account a small relaxation parameter, which corresponds to the asymptotic regime of a strong e…
▽ More
This paper is devoted to a rigorous derivation of the isentropic Euler-alignment system with singular communication weights $φ_α(x) = |x|^{-α}$ for some $α> 0$. We consider a kinetic BGK-alignment model consisting of a kinetic BGK-type equation with a singular Cucker-Smale alignment force. By taking into account a small relaxation parameter, which corresponds to the asymptotic regime of a strong effect from BGK operator, we quantitatively derive the isentropic Euler-alignment system with pressure $p(ρ) = ρ^γ$, $γ= 1 + \frac2d$ from that kinetic equation.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Global existence of weak solutions to a BGK model relaxing to the barotropic Euler equations
Authors:
Young-Pil Choi,
Byung-Hoon Hwang
Abstract:
We establish the global-in-time existence of weak solutions to a variant of the BGK model proposed by Bouchut [J. Stat. Phys., 95, (1999), 113--170] which leads to the barotropic Euler equations in the hydrodynamic limit. Our existence theory makes the quantified estimates of hydrodynamic limit from the BGK-type equations to the multi-dimensional barotropic Euler system discussed by Berthelin and…
▽ More
We establish the global-in-time existence of weak solutions to a variant of the BGK model proposed by Bouchut [J. Stat. Phys., 95, (1999), 113--170] which leads to the barotropic Euler equations in the hydrodynamic limit. Our existence theory makes the quantified estimates of hydrodynamic limit from the BGK-type equations to the multi-dimensional barotropic Euler system discussed by Berthelin and Vasseur [SIAM J. Math. Anal., 36, (2005), 1807--1835] completely rigorous.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Persistence of the solution to the Euler equations in the end-point critical Triebel-Lizorkin space $F^{d+1}_{1, \infty}(\mathbb{R}^d)$
Authors:
Hee Chul Pak,
Jun Seok Hwang
Abstract:
Local stay of the solutions to the Euler equations for an ideal incompressible fluid in the end-point Triebel-Lizorkin spaces $F^s_{1, \infty}(\mathbb{R}^d)$ with $s \geq d + 1$ is clarified.
Local stay of the solutions to the Euler equations for an ideal incompressible fluid in the end-point Triebel-Lizorkin spaces $F^s_{1, \infty}(\mathbb{R}^d)$ with $s \geq d + 1$ is clarified.
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
Lines on holomorphic contact manifolds and a generalization of $(2,3,5)$-distributions to higher dimensions
Authors:
Jun-Muk Hwang,
Qifeng Li
Abstract:
Since the celebrated work by Cartan, distributions with \nobreak{small} growth vector $(2,3,5)$ have been studied extensively. In the holomorphic setting, there is a natural correspondence between holomorphic $(2,3,5)$-distributions and nondegenerate lines on holomorphic contact manifolds of dimension 5. We generalize this correspondence to higher dimensions by studying nondegenerate lines on holo…
▽ More
Since the celebrated work by Cartan, distributions with \nobreak{small} growth vector $(2,3,5)$ have been studied extensively. In the holomorphic setting, there is a natural correspondence between holomorphic $(2,3,5)$-distributions and nondegenerate lines on holomorphic contact manifolds of dimension 5. We generalize this correspondence to higher dimensions by studying nondegenerate lines on holomorphic contact manifolds and the corresponding class of distributions of small growth vector $(2m, 3m, 3m+2)$ for any positive integer $m$.
△ Less
Submitted 29 January, 2023;
originally announced January 2023.
-
The Exact Solutions of Certain Linear Partial Difference Equations
Authors:
Chun-Kai Hwang,
Tzon-Tzer Lu
Abstract:
Difference equations have many applications and play an important role in numerical analysis, probability, statistics, combinatorics, computer science, and quantum consciousness, etc. We first prove that the partial differential equation is equivalent to partial difference equation with an example of heat equation. Additionally, we use generating functions to find the exact solutions of some simpl…
▽ More
Difference equations have many applications and play an important role in numerical analysis, probability, statistics, combinatorics, computer science, and quantum consciousness, etc. We first prove that the partial differential equation is equivalent to partial difference equation with an example of heat equation. Additionally, we use generating functions to find the exact solutions of some simple linear partial difference equations. Then we extend it to more general partial difference equations of higher dimensions and obtain their solutions. We conclude that using multivariable power series as generating function is a very efficient method to solve partial difference equations.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
Self-supervised learning for a nonlinear inverse problem with forward operator involving an unknown function arising in photoacoustic tomography
Authors:
Gyeongha Hwang,
Gihyeon Jeon,
Sunghwan Moon
Abstract:
In this article, we are concerned with a nonlinear inverse problem with a forward operator involving an unknown function. The problem arises in diverse applications and is challenging in the presence of an unknown function, which makes it ill-posed. Additionally, the nonlinear nature of the problem makes it difficult to use traditional methods, and thus, the study addresses a simplified version of…
▽ More
In this article, we are concerned with a nonlinear inverse problem with a forward operator involving an unknown function. The problem arises in diverse applications and is challenging in the presence of an unknown function, which makes it ill-posed. Additionally, the nonlinear nature of the problem makes it difficult to use traditional methods, and thus, the study addresses a simplified version of the problem by either linearizing it or assuming knowledge of the unknown function. Here, we propose self-supervised learning to directly tackle a nonlinear inverse problem involving an unknown function. In particular, we focus on an inverse problem derived in photoacoustic tomograpy (PAT), which is a hybrid medical imaging with high resolution and contrast. PAT can be modeled based on the wave equation. The measured data provide the solution to an equation restricted to surface and initial pressure of an equation that contains biological information on the object of interest. The speed of a sound wave in the equation is unknown. Our goal is to determine the initial pressure and the speed of the sound wave simultaneously. Under a simple assumption that sound speed is a function of the initial pressure, the problem becomes a nonlinear inverse problem involving an unknown function. The experimental results demonstrate that the proposed framework performs successfully.
△ Less
Submitted 4 February, 2023; v1 submitted 20 January, 2023;
originally announced January 2023.
-
Recognizing the ${\rm G}_2$-horospherical manifold of Picard number 1 by varieties of minimal rational tangents
Authors:
Jun-Muk Hwang,
Qifeng Li
Abstract:
Pasquier and Perrin discovered that the ${\rm G}_2$-horospherical manifold ${\bf X}$ of Picard number 1 can be realized as a smooth specialization of the rational homogeneous space parameterizing the lines on the 5-dimensional hyperquadric, in other words, it can be deformed nontrivially to the rational homogeneous space. We show that ${\bf X}$ is the only smooth projective variety with this prope…
▽ More
Pasquier and Perrin discovered that the ${\rm G}_2$-horospherical manifold ${\bf X}$ of Picard number 1 can be realized as a smooth specialization of the rational homogeneous space parameterizing the lines on the 5-dimensional hyperquadric, in other words, it can be deformed nontrivially to the rational homogeneous space. We show that ${\bf X}$ is the only smooth projective variety with this property. This is obtained as a consequence of our main result that ${\bf X}$ can be recognized by its VMRT, namely, a Fano manifold of Picard number 1 is biregular to ${\bf X}$ if and only if its VMRT at a general point is projectively isomorphic to that of ${\bf X}$. We employ the method the authors developed to solve the corresponding problem for symplectic Grassmannians, which constructs a flat Cartan connection in a neighborhood of a general minimal rational curve. In adapting this method to ${\bf X}$, we need an intricate study of the positivity/negativity of vector bundles with respect to a family of rational curves, which is subtler than the case of symplectic Grassmannians because of the nature of the differential geometric structure on ${\bf X}$ arising from VMRT.
△ Less
Submitted 18 December, 2022;
originally announced December 2022.
-
Analysis of some exactly solvable diminishing urn models
Authors:
Hsien-Kuei Hwang,
Markus Kuba,
Alois Panholzer
Abstract:
We study several exactly solvable Polya-Eggenberger urn models with a \emph{diminishing} character, namely, balls of a specified color, say $x$ are completely drawn after a finite number of draws. The main quantity of interest here is the number of balls left when balls of color $x$ are completely removed. We consider several diminishing urns studied previously in the literature such as the pills…
▽ More
We study several exactly solvable Polya-Eggenberger urn models with a \emph{diminishing} character, namely, balls of a specified color, say $x$ are completely drawn after a finite number of draws. The main quantity of interest here is the number of balls left when balls of color $x$ are completely removed. We consider several diminishing urns studied previously in the literature such as the pills problem, the cannibal urns and the OK Corral problem, and derive exact and limiting distributions. Our approach is based on solving recurrences via generating functions and partial differential equations.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
On Attack Detection and Identification for the Cyber-Physical System using Lifted System Model
Authors:
Dawei Sun,
Minhyun Cho,
Inseok Hwang
Abstract:
Motivated by the safety and security issues related to cyber-physical systems with potentially multi-rate, delayed, and nonuniformly sampled measurements, we investigate the attack detection and identification using the lifted system model in this paper. Attack detectability and identifiability based on the lifted system model are formally defined and rigorously characterized in a novel approach.…
▽ More
Motivated by the safety and security issues related to cyber-physical systems with potentially multi-rate, delayed, and nonuniformly sampled measurements, we investigate the attack detection and identification using the lifted system model in this paper. Attack detectability and identifiability based on the lifted system model are formally defined and rigorously characterized in a novel approach. The method of checking detectability is discussed, and a residual design problem for attack detection is formulated in a general way. For attack identification, we define and characterize it by generalizing the concept of mode discernibility for switched systems, and a method for identifying the attack is discussed based on the theoretical analysis. An illustrative example of an unmanned aircraft system (UAS) is provided to validate the main results.
△ Less
Submitted 8 December, 2022;
originally announced December 2022.
-
Generalized Lindemann-Weierstrass and Gelfond-Schneider-Baker Theorems
Authors:
Suk-Geun Hwang,
Choon Ho Lee,
Ki-Bong Nam Rachel M Chaphalkar
Abstract:
We generalize Lindemann-Weierstrass theorem and Gelfond -Schneider-Baker Theorem. We find new transcendental numbers in this work. There are several methods to find transcendental numbers in the work. Recently transcendental numbers are applicable for cryptography (\cite{G}, \cite{K}, \cite{V}). Since we are able to make many tables of random numbers, the new transcendental numbers will be applica…
▽ More
We generalize Lindemann-Weierstrass theorem and Gelfond -Schneider-Baker Theorem. We find new transcendental numbers in this work. There are several methods to find transcendental numbers in the work. Recently transcendental numbers are applicable for cryptography (\cite{G}, \cite{K}, \cite{V}). Since we are able to make many tables of random numbers, the new transcendental numbers will be applicable for encryption and decryption in this work (\cite{V}, \cite{Z}).
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
Mirror descent of Hopfield model
Authors:
Hyungjoon Soh,
Dongyeob Kim,
Juno Hwang,
Junghyo Jo
Abstract:
Mirror descent is an elegant optimization technique that leverages a dual space of parametric models to perform gradient descent. While originally developed for convex optimization, it has increasingly been applied in the field of machine learning. In this study, we propose a novel approach for utilizing mirror descent to initialize the parameters of neural networks. Specifically, we demonstrate t…
▽ More
Mirror descent is an elegant optimization technique that leverages a dual space of parametric models to perform gradient descent. While originally developed for convex optimization, it has increasingly been applied in the field of machine learning. In this study, we propose a novel approach for utilizing mirror descent to initialize the parameters of neural networks. Specifically, we demonstrate that by using the Hopfield model as a prototype for neural networks, mirror descent can effectively train the model with significantly improved performance compared to traditional gradient descent methods that rely on random parameter initialization. Our findings highlight the potential of mirror descent as a promising initialization technique for enhancing the optimization of machine learning models.
△ Less
Submitted 9 May, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
A curious identity in connection with saddle-point method and Stirling's formula
Authors:
Hsien-Kuei Hwang
Abstract:
We prove the curious identity in the sense of formal power series: \[ \int_{-\infty}^{\infty}[y^m] \exp\left(-\frac{t^2}2 +\sum_{j\ge3}\frac{(it)^j}{j!}\, y^{j-2}\right)\mathrm{d} t = \int_{-\infty}^{\infty}[y^m] \exp\left(-\frac{t^2}2+ \sum_{j\ge3}\frac{(it)^j}{j}\, y^{j-2}\right)\mathrm{d} t, \] for $m=0,1,\dots$, where $[y^m]f(y)$ denotes the coefficient of $y^m$ in the Taylor expansion of $f$.…
▽ More
We prove the curious identity in the sense of formal power series: \[ \int_{-\infty}^{\infty}[y^m] \exp\left(-\frac{t^2}2 +\sum_{j\ge3}\frac{(it)^j}{j!}\, y^{j-2}\right)\mathrm{d} t = \int_{-\infty}^{\infty}[y^m] \exp\left(-\frac{t^2}2+ \sum_{j\ge3}\frac{(it)^j}{j}\, y^{j-2}\right)\mathrm{d} t, \] for $m=0,1,\dots$, where $[y^m]f(y)$ denotes the coefficient of $y^m$ in the Taylor expansion of $f$. The generality of this identity from the perspective of saddle-point method is also examined.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
Identities and periodic oscillations of divide-and-conquer recurrences splitting at half
Authors:
Hsien-Kuei Hwang,
Svante Janson,
Tsung-Hsi Tsai
Abstract:
We study divide-and-conquer recurrences of the form \begin{equation*}
f(n)
= αf(\lfloor \tfrac n2\rfloor)
+ βf(\lceil \tfrac n2\rceil)
+ g(n) \qquad(n\ge2), \end{equation*} with $g(n)$ and $f(1)$ given, where $α,β\ge0$ with $α+β>0$; such recurrences appear often in analysis of computer algorithms, numeration systems, combinatorial sequences, and related areas. We show that the solution sat…
▽ More
We study divide-and-conquer recurrences of the form \begin{equation*}
f(n)
= αf(\lfloor \tfrac n2\rfloor)
+ βf(\lceil \tfrac n2\rceil)
+ g(n) \qquad(n\ge2), \end{equation*} with $g(n)$ and $f(1)$ given, where $α,β\ge0$ with $α+β>0$; such recurrences appear often in analysis of computer algorithms, numeration systems, combinatorial sequences, and related areas. We show that the solution satisfies always the simple \emph{identity} \begin{equation*}
f(n)
= n^{\log_2(α+β)} P(\log_2n) - Q(n) \end{equation*} under an optimum (iff) condition on $g(n)$. This form is not only an identity but also an asymptotic expansion because $Q(n)$ is of a smaller order. Explicit forms for the \emph{continuity} of the periodic function $P$ are provided, together with a few other smoothness properties. We show how our results can be easily applied to many dozens of concrete examples collected from the literature, and how they can be extended in various directions. Our method of proof is surprisingly simple and elementary, but leads to the strongest types of results for all examples to which our theory applies.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
Kähler-Einstein metrics on smooth Fano toroidal symmetric varieties of type AIII
Authors:
Kyusik Hong,
DongSeon Hwang,
Kyeong-Dong Park
Abstract:
The wonderful compactification $X_m$ of a symmetric homogeneous space of type AIII$(2,m)$ for each $m \geq 4$ is Fano, and its blowup $Y_m$ along the unique closed orbit is Fano if $m \geq 5$ and Calabi-Yau if $m = 4$. Using a combinatorial criterion for K-polystability of smooth Fano spherical varieties obtained by Delcroix, we prove that $X_m$ admits a Kähler-Einstein metric for each $m \geq 4$…
▽ More
The wonderful compactification $X_m$ of a symmetric homogeneous space of type AIII$(2,m)$ for each $m \geq 4$ is Fano, and its blowup $Y_m$ along the unique closed orbit is Fano if $m \geq 5$ and Calabi-Yau if $m = 4$. Using a combinatorial criterion for K-polystability of smooth Fano spherical varieties obtained by Delcroix, we prove that $X_m$ admits a Kähler-Einstein metric for each $m \geq 4$ and $Y_m$ admits a Kähler-Einstein metric if and only if $m = 4, 5$.
△ Less
Submitted 25 February, 2024; v1 submitted 29 September, 2022;
originally announced September 2022.
-
Jordan constants of abelian surfaces over finite fields
Authors:
WonTae Hwang,
Bo-Hae Im
Abstract:
We compute the exact values of the Jordan constants of abelian surfaces over finite fields.
We compute the exact values of the Jordan constants of abelian surfaces over finite fields.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Provably Stabilizing Model-Free Q-Learning for Unknown Bilinear Systems
Authors:
Shanelle G. Clarke,
Omanshu Thapliyal,
Inseok Hwang
Abstract:
In this paper, we present a provably convergent Model-Free ${Q}$-Learning algorithm that learns a stabilizing control policy for an unknown Bilinear System from a single online run. Given an unknown bilinear system, we study the interplay between its equivalent control-affine linear time-varying and linear time-invariant representations to derive i) from Pontryagin's Minimum Principle, a pair of p…
▽ More
In this paper, we present a provably convergent Model-Free ${Q}$-Learning algorithm that learns a stabilizing control policy for an unknown Bilinear System from a single online run. Given an unknown bilinear system, we study the interplay between its equivalent control-affine linear time-varying and linear time-invariant representations to derive i) from Pontryagin's Minimum Principle, a pair of point-to-point model-free policy improvement and evaluation laws that iteratively solves for an optimal state-dependent control policy; and ii) the properties under which the state-input data is sufficient to characterize system behavior in a model-free manner. We demonstrate the performance of the proposed algorithm via illustrative numerical examples and compare it to the model-based case.
△ Less
Submitted 29 August, 2022;
originally announced August 2022.
-
Critical Point Equation on three-dimensional manifolds and the Besse Conjecture
Authors:
Gab** Yun,
Seungsu Hwang
Abstract:
In this paper, we present the resolution of the Besse conjecture on a three dimensional compact manifold. We also prove the rigidity of the Miao-Tam critical metric on a three dimensional compact manifold with a smooth boundary.
In this paper, we present the resolution of the Besse conjecture on a three dimensional compact manifold. We also prove the rigidity of the Miao-Tam critical metric on a three dimensional compact manifold with a smooth boundary.
△ Less
Submitted 30 November, 2022; v1 submitted 23 August, 2022;
originally announced August 2022.
-
Chromatic quasisymmetric functions and noncommutative $P$-symmetric functions
Authors:
Byung-Hak Hwang
Abstract:
For a natural unit interval order $P$, we describe proper colorings of the incomparability graph of $P$ in the language of heaps. We also introduce a combinatorial operation, called a \emph{local flip}, on the heaps. This operation defines an equivalence relation on the proper colorings, and the equivalence relation refines the ascent statistic introduced by Shareshian and Wachs.
In addition, we…
▽ More
For a natural unit interval order $P$, we describe proper colorings of the incomparability graph of $P$ in the language of heaps. We also introduce a combinatorial operation, called a \emph{local flip}, on the heaps. This operation defines an equivalence relation on the proper colorings, and the equivalence relation refines the ascent statistic introduced by Shareshian and Wachs.
In addition, we define an analogue of noncommutative symmetric functions introduced by Fomin and Greene, with respect to $P$. We establish a duality between the chromatic quasisymmetric function of $P$ and these noncommutative symmetric functions. This duality leads us to positive expansions of the chromatic quasisymmetric functions into several symmetric function bases. In particular, we present some partial results for the $e$-positivity conjecture.
△ Less
Submitted 18 April, 2024; v1 submitted 21 August, 2022;
originally announced August 2022.