-
Global boundedness and blow-up in a repulsive chemotaxis-consumption system in higher dimensions
Authors:
Jaewook Ahn,
Kyungkeun Kang,
Dongkwang Kim
Abstract:
This paper investigates the repulsive chemotaxis-consumption model \begin{align*} \partial_t u &= \nabla \cdot (D(u) \nabla u) + \nabla \cdot (u \nabla v), \\ 0 &= Δv - uv \end{align*} in an $n$-dimensional ball, $n \ge 3$, where the diffusion coefficient $D$ is an appropriate extension of the function $0\leξ\mapsto(1+ξ)^{m-1}$ for some $m>0$. Under the boundary conditions \begin{equation*} ν\cdot…
▽ More
This paper investigates the repulsive chemotaxis-consumption model \begin{align*} \partial_t u &= \nabla \cdot (D(u) \nabla u) + \nabla \cdot (u \nabla v), \\ 0 &= Δv - uv \end{align*} in an $n$-dimensional ball, $n \ge 3$, where the diffusion coefficient $D$ is an appropriate extension of the function $0\leξ\mapsto(1+ξ)^{m-1}$ for some $m>0$. Under the boundary conditions \begin{equation*} ν\cdot (D(u) \nabla u + u \nabla v) = 0 \quad\text{ and }\quad v = M>0,\end{equation*} we first demonstrate that for $m > 1$, or $m = 1$ with $0 < M < 2/(n-2)$, the system admits globally defined classical solutions that are uniformly bounded in time for any choice of sufficiently smooth radial initial data. This result is further extended to the case $0<m<1$ when $M$ is chosen to be sufficiently small, depending on the initial conditions. In contrast, it is shown that for $0 < m < \frac{2}{n}$, the system exhibits blow-up behavior for sufficiently large $M$.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Optimal Replenishment Strategy for Satellite Constellation with Dual Supply Modes
Authors:
Jaewoo Kim,
Jaemyung Ahn,
Taehyun Sung
Abstract:
This paper proposes a novel inventory management model for the replenishment strategy of a satellite mega-constellation incorporating dual supply modes: normal and auxiliary. The proposed framework employs an indirect channel for normal supply, wherein spare satellites are initially injected into a parking orbit before transferring to the target orbital plane via propulsion systems and orbital per…
▽ More
This paper proposes a novel inventory management model for the replenishment strategy of a satellite mega-constellation incorporating dual supply modes: normal and auxiliary. The proposed framework employs an indirect channel for normal supply, wherein spare satellites are initially injected into a parking orbit before transferring to the target orbital plane via propulsion systems and orbital perturbations. Conversely, the auxiliary supply mode utilizes a direct channel, injecting spare satellites immediately into their designated orbital planes. The inventory management model is constructed using parametric replenishment policies: $\left(s,Q\right)$ and $\left(R_1,R_2,Q_1,Q_2\right)$ with a time window. Following this model, two optimization problems are addressed to construct the supply chain for satellite mega-constellation replenishment and to evaluate its performance. These are decision-making contexts from the perspectives of constellation operators and launch service providers. The case study showcases the practical applicability of the proposed model and optimization problems, yielding valuable insights for stakeholders in the spaceborne industry.
△ Less
Submitted 8 September, 2024; v1 submitted 19 August, 2024;
originally announced August 2024.
-
Visibility Analysis of the Sun as Viewed from Multiple Spacecraft at the Sun-Earth Lagrange Points
Authors:
Jinsung Lee,
Sung-Hong Park,
Arik Posner,
Kyung-Suk Cho,
Jaemyung Ahn
Abstract:
Beyond the Sun-Earth line, spacecraft equipped with various solar telescopes are intended to be deployed at several different vantage points in the heliosphere to carry out coordinated, multi-view observations of the Sun and its dynamic activities. In this context, we investigate solar visibility by imaging instruments onboard the spacecraft orbiting the Sun-Earth Lagrange points L1, L4 and L5, re…
▽ More
Beyond the Sun-Earth line, spacecraft equipped with various solar telescopes are intended to be deployed at several different vantage points in the heliosphere to carry out coordinated, multi-view observations of the Sun and its dynamic activities. In this context, we investigate solar visibility by imaging instruments onboard the spacecraft orbiting the Sun-Earth Lagrange points L1, L4 and L5, respectively. An optimal arrival time for vertical periodic orbits stationed at L4 and L5 is determined based on geometric considerations that ensure maximum visibility of solar poles or higher latitudes per year. For a different set of orbits around the three Lagrange points (L1, L4 and L5), we calculate the visibility of the solar surface (i.e., observation days per year) as a function of the solar latitude. We also analyze where the solar limb viewed from one of the three Sun-Earth Lagrange points under consideration is projected onto the solar surface visible to the other two. This analysis particularly aims at determining the feasibility of studying solar eruptions, such as flares and coronal mass ejections, with coordinated observations of off-limb erupting coronal structures and their on-disk magnetic footpoints. In addition, visibility analysis of a feature (such as sunspots) on the solar surface is made for multiple spacecraft in various types of orbits with different inclinations to quantify the improvement in continuous tracking of the target feature for studying its long-term evolution from emergence, growth and to decay. A comprehensive comparison of observations from single (L1), double (L1 and L4) and multi-space missions (L1, L4 and L5) is carried out through our solar visibility analysis, and this may help us to design future space missions of constructing multiple solar observatories at the Sun-Earth Lagrange points.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
A coarse Erdős-Pósa theorem
Authors:
Jungho Ahn,
J. Pascal Gollin,
Tony Huynh,
O-joung Kwon
Abstract:
An \emph{induced packing} of cycles in a graph is a set of vertex-disjoint cycles with no edges between them. We generalise the classic Erdős-Pósa theorem to induced packings of cycles. More specifically, we show that there exists a function ${f(k) = \mathcal{O}(k \log k)}$ such that for every positive integer ${k}$, every graph $G$ contains either an induced packing of $k$ cycles or a set $X$ of…
▽ More
An \emph{induced packing} of cycles in a graph is a set of vertex-disjoint cycles with no edges between them. We generalise the classic Erdős-Pósa theorem to induced packings of cycles. More specifically, we show that there exists a function ${f(k) = \mathcal{O}(k \log k)}$ such that for every positive integer ${k}$, every graph $G$ contains either an induced packing of $k$ cycles or a set $X$ of at most~${f(k)}$ vertices such that the closed neighbourhood of $X$ intersects all cycles in $G$. Our proof is constructive and yields a polynomial-time algorithm finding either the induced packing of cycles or the set $X$. Furthermore, we show that for every positive integer ${d}$, if a graph $G$ does not contain two cycles at distance more than $d$, then $G$ contains sets $X_1,X_2\subseteq V(G)$ with $\lvert {X_1} \rvert \leq12(d+1)$ and $\lvert {X_2} \rvert \leq12$ such that after removing the ball of radius $2d$ around $X_1$ or the ball of radius $3d$ around $X_2$, the resulting graphs are forests.
As a corollary, we prove that every graph with no $K_{1,t}$ induced subgraph and no induced packing of $k$ cycles has tree-independence number at most $\mathcal{O}(tk\log k)$, and one can construct a corresponding tree-decomposition in polynomial time. This resolves a special case of a conjecture of Dallard et al. (arXiv:2402.11222), and implies that on such graphs, many NP-hard problems, such as Maximum Weight Independent Set, Maximum Weight Induced Matching, Graph Homomorphism, and Minimum Weight Feedback Vertex Set, are solvable in polynomial time. On the other hand, we show that the class of all graphs with no $K_{1,3}$ induced subgraph and no two cycles at distance more than $2$ has unbounded tree-independence number.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Stationary states of a chemotaxis consumption system with singular sensitivity and inhomogeneous boundary conditions
Authors:
Jaewook Ahn,
Johannes Lankeit
Abstract:
For given total mass $m>0$ we show unique solvability of the stationary chemotaxis-consumption model \[
\begin{cases}
0= Δu - χ\nabla \cdot (\frac{u}{v} \nabla v) \\
0= Δv - uv \\
\int_Ωu = m
\end{cases} \] under no-flux-Dirichlet boundary conditions in bounded smooth domains $Ω\subset \mathbb{R}^2$ and $Ω=B_R(0)\subset \mathbb{R}^d$, $d\ge 3$.
For given total mass $m>0$ we show unique solvability of the stationary chemotaxis-consumption model \[
\begin{cases}
0= Δu - χ\nabla \cdot (\frac{u}{v} \nabla v) \\
0= Δv - uv \\
\int_Ωu = m
\end{cases} \] under no-flux-Dirichlet boundary conditions in bounded smooth domains $Ω\subset \mathbb{R}^2$ and $Ω=B_R(0)\subset \mathbb{R}^d$, $d\ge 3$.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Spectral integral variation of signed graphs
Authors:
Jungho Ahn,
Cheolwon Heo,
Sunyo Moon
Abstract:
We characterize when the spectral variation of the signed Laplacian matrices is integral after a new edge is added to a signed graph. As an application, for every fixed signed complete graph, we fully characterize the class of signed graphs to which one can recursively add new edges keeping spectral integral variation to make the signed complete graph.
We characterize when the spectral variation of the signed Laplacian matrices is integral after a new edge is added to a signed graph. As an application, for every fixed signed complete graph, we fully characterize the class of signed graphs to which one can recursively add new edges keeping spectral integral variation to make the signed complete graph.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
Metastability of the three-state Potts model with asymmetrical external field
Authors:
Jeonghyun Ahn
Abstract:
In this paper, we explore the metastable behavior of the Glauber dynamics associated with the three-state Potts model with an asymmetrical external field at a low-temperature regime. The model exhibits three monochromatic configurations: a unique stable state and two metastable states with different stability levels. We investigate metastable transitions, which are transitions from each metastable…
▽ More
In this paper, we explore the metastable behavior of the Glauber dynamics associated with the three-state Potts model with an asymmetrical external field at a low-temperature regime. The model exhibits three monochromatic configurations: a unique stable state and two metastable states with different stability levels. We investigate metastable transitions, which are transitions from each metastable state to the ground state, separately and verify that the two transitions exhibit different behaviors.
For the metastable state with greater stability, we derive large deviation-type results for metastable transition time, both in terms of probability and expectation. On the other hand, a particularly intriguing phenomenon emerges when starting from the other metastable state: the process may fall into the deep valley of another metastable state with a low probability but remains trapped there for an exponentially long time. We identify specific conditions on the external field under which this rare event contributes to the mean hitting time. To this end, we conduct a detailed analysis of the energy landscape, revealing a sharp saddle configuration analogous to the Ising model.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Optimal symplectic positions for the mean width
Authors:
Jonghyeon Ahn,
Ely Kerman
Abstract:
In this work we investigate subsets of $\mathbb{R}^{2n}$ with the property that their mean width can not be decreased by the action of natural classes of symplectomorphisms. A common theme of our results is that toric symmetry is a preferred feature of subsets that are in optimal symplectic position with respect to the mean width. Among other things, we prove that the mean width of a toric domain…
▽ More
In this work we investigate subsets of $\mathbb{R}^{2n}$ with the property that their mean width can not be decreased by the action of natural classes of symplectomorphisms. A common theme of our results is that toric symmetry is a preferred feature of subsets that are in optimal symplectic position with respect to the mean width. Among other things, we prove that the mean width of a toric domain can not be decreased by any linear symplectic map. We also show that toric convex domains are critical points of the mean width under all symplectic deformations.
△ Less
Submitted 13 December, 2023; v1 submitted 5 November, 2023;
originally announced November 2023.
-
A Classification of Observation-Driven State-Space Count Models for Panel Data
Authors:
Jae Youn Ahn,
Himchan Jeong,
Yang Lu,
Mario V. Wüthrich
Abstract:
State-space models are widely used in many applications. In the domain of count data, one such example is the model proposed by Harvey and Fernandes (1989). Unlike many of its parameter-driven alternatives, this model is observation-driven, leading to closed-form expressions for the predictive density. In this paper, we demonstrate the need to extend the model of Harvey and Fernandes (1989) by sho…
▽ More
State-space models are widely used in many applications. In the domain of count data, one such example is the model proposed by Harvey and Fernandes (1989). Unlike many of its parameter-driven alternatives, this model is observation-driven, leading to closed-form expressions for the predictive density. In this paper, we demonstrate the need to extend the model of Harvey and Fernandes (1989) by showing that their model is not variance stationary. Our extension can accommodate for a wide range of variance processes that are either increasing, decreasing, or stationary, while keeping the tractability of the original model. Simulation and numerical studies are included to illustrate the performance of our method.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Simultaneous Optimization of Launch Vehicle Stage and Trajectory Considering Operational Safety Constraints
Authors:
Jaeyoul Ko,
Jaewoo Kim,
Jimin Choi,
Jaemyung Ahn
Abstract:
A conceptual design of a launch vehicle involves the optimization of trajectory and stages considering its launch operations. This process encompasses various disciplines, such as structural design, aerodynamics, propulsion systems, flight control, and stage sizing. Traditional approaches used for the conceptual design of a launch vehicle conduct the stage and trajectory designs sequentially, ofte…
▽ More
A conceptual design of a launch vehicle involves the optimization of trajectory and stages considering its launch operations. This process encompasses various disciplines, such as structural design, aerodynamics, propulsion systems, flight control, and stage sizing. Traditional approaches used for the conceptual design of a launch vehicle conduct the stage and trajectory designs sequentially, often leading to high computational complexity and suboptimal results. This paper presents an optimization framework that addresses both trajectory optimization and staging in an integrated way. The proposed framework aims to maximize the payload-to-liftoff mass ratio while satisfying the constraints required for safe launch operations (e.g., the impact points of burnt stages and fairing). A case study demonstrates the advantage of the proposed framework compared to the traditional sequential optimization approach.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Twin-width of subdivisions of multigraphs
Authors:
Jungho Ahn,
Debsoumya Chakraborti,
Kevin Hendrey,
Sang-il Oum
Abstract:
For each $d\leq3$, we construct a finite set $F_d$ of multigraphs such that for each graph $H$ of girth at least $5$ obtained from a multigraph $G$ by subdividing each edge at least two times, $H$ has twin-width at most $d$ if and only if $G$ has no minor in $F_d$. This answers a question of Bergé, Bonnet, and Déprés asking for the structure of graphs $G$ such that each long subdivision of $G$ has…
▽ More
For each $d\leq3$, we construct a finite set $F_d$ of multigraphs such that for each graph $H$ of girth at least $5$ obtained from a multigraph $G$ by subdividing each edge at least two times, $H$ has twin-width at most $d$ if and only if $G$ has no minor in $F_d$. This answers a question of Bergé, Bonnet, and Déprés asking for the structure of graphs $G$ such that each long subdivision of $G$ has twin-width $4$. As a corollary, we show that the $7\times7$ grid has twin-width $4$, which answers a question of Schidler and Szeider.
△ Less
Submitted 4 June, 2024; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Multi-Start Team Orienteering Problem for UAS Mission Re-Planning with Data-Efficient Deep Reinforcement Learning
Authors:
Dong Ho Lee,
Jaemyung Ahn
Abstract:
In this paper, we study the Multi-Start Team Orienteering Problem (MSTOP), a mission re-planning problem where vehicles are initially located away from the depot and have different amounts of fuel. We consider/assume the goal of multiple vehicles is to travel to maximize the sum of collected profits under resource (e.g., time, fuel) consumption constraints. Such re-planning problems occur in a wid…
▽ More
In this paper, we study the Multi-Start Team Orienteering Problem (MSTOP), a mission re-planning problem where vehicles are initially located away from the depot and have different amounts of fuel. We consider/assume the goal of multiple vehicles is to travel to maximize the sum of collected profits under resource (e.g., time, fuel) consumption constraints. Such re-planning problems occur in a wide range of intelligent UAS applications where changes in the mission environment force the operation of multiple vehicles to change from the original plan. To solve this problem with deep reinforcement learning (RL), we develop a policy network with self-attention on each partial tour and encoder-decoder attention between the partial tour and the remaining nodes. We propose a modified REINFORCE algorithm where the greedy rollout baseline is replaced by a local mini-batch baseline based on multiple, possibly non-duplicate sample rollouts. By drawing multiple samples per training instance, we can learn faster and obtain a stable policy gradient estimator with significantly fewer instances. The proposed training algorithm outperforms the conventional greedy rollout baseline, even when combined with the maximum entropy objective.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Twin-width of random graphs
Authors:
Jungho Ahn,
Debsoumya Chakraborti,
Kevin Hendrey,
Donggyu Kim,
Sang-il Oum
Abstract:
We investigate the twin-width of the Erdős-Rényi random graph $G(n,p)$. We unveil a surprising behavior of this parameter by showing the existence of a constant $p^*\approx 0.4$ such that with high probability, when $p^*\le p\le 1-p^*$, the twin-width is asymptotically $2p(1-p)n$, whereas, when $0<p<p^*$ or $1>p>1-p^*$, the twin-width is significantly higher than $2p(1-p)n$. In addition, we show t…
▽ More
We investigate the twin-width of the Erdős-Rényi random graph $G(n,p)$. We unveil a surprising behavior of this parameter by showing the existence of a constant $p^*\approx 0.4$ such that with high probability, when $p^*\le p\le 1-p^*$, the twin-width is asymptotically $2p(1-p)n$, whereas, when $0<p<p^*$ or $1>p>1-p^*$, the twin-width is significantly higher than $2p(1-p)n$. In addition, we show that the twin-width of $G(n,1/2)$ is concentrated around $n/2 - \sqrt{3n \log n}/2$ within an interval of length $o(\sqrt{n\log n})$. For the sparse random graph, we show that with high probability, the twin-width of $G(n,p)$ is $Θ(n\sqrt{p})$ when $(726\ln n)/n\leq p\leq1/2$.
△ Less
Submitted 16 April, 2024; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Double Data Piling for Heterogeneous Covariance Models
Authors:
Taehyun Kim,
Jeongyoun Ahn,
Sungkyu Jung
Abstract:
In this work, we characterize two data piling phenomenon for a high-dimensional binary classification problem with heterogeneous covariance models. The data piling refers to the phenomenon where projections of the training data onto a direction vector have exactly two distinct values, one for each class. This first data piling phenomenon occurs for any data when the dimension $p$ is larger than th…
▽ More
In this work, we characterize two data piling phenomenon for a high-dimensional binary classification problem with heterogeneous covariance models. The data piling refers to the phenomenon where projections of the training data onto a direction vector have exactly two distinct values, one for each class. This first data piling phenomenon occurs for any data when the dimension $p$ is larger than the sample size $n$. We show that the second data piling phenomenon, which refers to a data piling of independent test data, can occur in an asymptotic context where $p$ grows while $n$ is fixed. We further show that a second maximal data piling direction, which gives an asymptotic maximal distance between the two piles of independent test data, can be obtained by projecting the first maximal data piling direction onto the nullspace of the common leading eigenspace. This observation provides a theoretical explanation for the phenomenon where the optimal ridge parameter can be negative in the context of high-dimensional linear classification. Based on the second data piling phenomenon, we propose various linear classification rules which ensure perfect classification of high-dimension low-sample-size data under generalized heterogeneous spiked covariance models.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
Preservation of NATP
Authors:
JinHoo Ahn,
Joonhee Kim,
Hyoyoon Lee,
Junguk Lee
Abstract:
We prove several preservation theorems for NATP and furnish several examples of NATP. First, we prove preservation of NATP for the parametrization and sum of the theories of Fraïssé limits of Fraïssé classes satisfying strong amalgamation property. Second, we prove preservation of NATP for two kinds of dense/co-dense expansions, that is, the theories of lovely pairs and of H-structures for geometr…
▽ More
We prove several preservation theorems for NATP and furnish several examples of NATP. First, we prove preservation of NATP for the parametrization and sum of the theories of Fraïssé limits of Fraïssé classes satisfying strong amalgamation property. Second, we prove preservation of NATP for two kinds of dense/co-dense expansions, that is, the theories of lovely pairs and of H-structures for geometric theories and dense/co-dense expansion on vector spaces. Third, we prove preservation of NATP for the generic predicate expansion and the pair of an algebraically closed field and its distinguished subfield; for the latter, not only NATP, but also preservations of NTP$_1$ and NTP$_2$ are considered. Fourth, we present some proper examples of NATP using the results proved in this paper. Most of all, we show that the model companion of the theory of algebraically closed fields with circular orders (ACFO) is NATP.
△ Less
Submitted 9 August, 2024; v1 submitted 19 September, 2022;
originally announced September 2022.
-
The proper conflict-free $k$-coloring problem and the odd $k$-coloring problem are NP-complete on bipartite graphs
Authors:
Jungho Ahn,
Seonghyuk Im,
Sang-il Oum
Abstract:
A proper coloring of a graph is \emph{proper conflict-free} if every non-isolated vertex $v$ has a neighbor whose color is unique in the neighborhood of $v$. A proper coloring of a graph is \emph{odd} if for every non-isolated vertex $v$, there is a color appearing an odd number of times in the neighborhood of $v$. For an integer $k$, the \textsc{PCF $k$-Coloring} problem asks whether an input gra…
▽ More
A proper coloring of a graph is \emph{proper conflict-free} if every non-isolated vertex $v$ has a neighbor whose color is unique in the neighborhood of $v$. A proper coloring of a graph is \emph{odd} if for every non-isolated vertex $v$, there is a color appearing an odd number of times in the neighborhood of $v$. For an integer $k$, the \textsc{PCF $k$-Coloring} problem asks whether an input graph admits a proper conflict-free $k$-coloring and the \textsc{Odd $k$-Coloring} asks whether an input graph admits an odd $k$-coloring. We show that for every integer $k\geq3$, both problems are NP-complete, even if the input graph is bipartite. Furthermore, we show that the \textsc{PCF $4$-Coloring} problem is NP-complete when the input graph is planar.
△ Less
Submitted 17 August, 2022;
originally announced August 2022.
-
Unified almost linear kernels for generalized covering and packing problems on nowhere dense classes
Authors:
Jungho Ahn,
Jinha Kim,
O-joung Kwon
Abstract:
Let $\mathcal{F}$ be a family of graphs, and let $p,r$ be nonnegative integers. The \textsc{$(p,r,\mathcal{F})$-Covering} problem asks whether for a graph $G$ and an integer $k$, there exists a set $D$ of at most $k$ vertices in $G$ such that $G^p\setminus N_G^r[D]$ has no induced subgraph isomorphic to a graph in $\mathcal{F}$, where $G^p$ is the $p$-th power of $G$. The \textsc{…
▽ More
Let $\mathcal{F}$ be a family of graphs, and let $p,r$ be nonnegative integers. The \textsc{$(p,r,\mathcal{F})$-Covering} problem asks whether for a graph $G$ and an integer $k$, there exists a set $D$ of at most $k$ vertices in $G$ such that $G^p\setminus N_G^r[D]$ has no induced subgraph isomorphic to a graph in $\mathcal{F}$, where $G^p$ is the $p$-th power of $G$. The \textsc{$(p,r,\mathcal{F})$-Packing} problem asks whether for a graph $G$ and an integer $k$, $G^p$ has $k$ induced subgraphs $H_1,\ldots,H_k$ such that each $H_i$ is isomorphic to a graph in $\mathcal{F}$, and for distinct $i,j\in \{1, \ldots, k\}$, the distance between $V(H_i)$ and $V(H_j)$ in $G$ is larger than $r$.
We show that for every fixed nonnegative integers $p,r$ and every fixed nonempty finite family $\mathcal{F}$ of connected graphs, the \textsc{$(p,r,\mathcal{F})$-Covering} problem with $p\leq2r+1$ and the \textsc{$(p,r,\mathcal{F})$-Packing} problem with $p\leq2\lfloor r/2\rfloor+1$ admit almost linear kernels on every nowhere dense class of graphs, and admit linear kernels on every class of graphs with bounded expansion, parameterized by the solution size $k$. We obtain the same kernels for their annotated variants. As corollaries, we prove that \textsc{Distance-$r$ Vertex Cover}, \textsc{Distance-$r$ Matching}, \textsc{$\mathcal{F}$-Free Vertex Deletion}, and \textsc{Induced-$\mathcal{F}$-Packing} for any fixed finite family $\mathcal{F}$ of connected graphs admit almost linear kernels on every nowhere dense class of graphs and linear kernels on every class of graphs with bounded expansion. Our results extend the results for \textsc{Distance-$r$ Dominating Set} by Drange et al. (STACS 2016) and Eickmeyer et al. (ICALP 2017), and the result for \textsc{Distance-$r$ Independent Set} by Pilipczuk and Siebertz (EJC 2021).
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Regular solutions of chemotaxis-consumption systems involving tensor-valued sensitivities and Robin type boundary conditions
Authors:
Jaewook Ahn,
Kyungkeun Kang,
Jihoon Lee
Abstract:
This paper deals with a parabolic-elliptic chemotaxis-consumption system with tensor-valued sensitivity $S(x,n,c)$ under no-flux boundary conditions for $n$ and Robin-type boundary conditions for $c$. The global existence of bounded classical solutions is established in dimension two under general assumptions on tensor-valued sensitivity $S$. One of main steps is to show that $\nabla c(\cdot,t)$ b…
▽ More
This paper deals with a parabolic-elliptic chemotaxis-consumption system with tensor-valued sensitivity $S(x,n,c)$ under no-flux boundary conditions for $n$ and Robin-type boundary conditions for $c$. The global existence of bounded classical solutions is established in dimension two under general assumptions on tensor-valued sensitivity $S$. One of main steps is to show that $\nabla c(\cdot,t)$ becomes tiny in $L^{2}(B_{r}(x)\cap Ω)$ for every $x\in\overlineΩ$ and $t$ when $r$ is sufficiently small, which seems to be of independent interest. On the other hand, in the case of scalar-valued sensitivity $S=χ(x,n,c)\mathbb{I}$, there exists a bounded classical solution globally in time for two and higher dimensions provided the domain is a ball with radius $R$ and all given data are radial. The result of the radial case covers scalar-valued sensitivity $χ$ that can be singular at $c=0$.
△ Less
Submitted 2 May, 2023; v1 submitted 2 June, 2022;
originally announced June 2022.
-
Global attractor for the weakly damped forced Kawahara equation on the torus
Authors:
Jaeseop Ahn,
Seongyeon Kim,
Ihyeok Seo
Abstract:
We study the long time behaviour of solutions for the weakly damped forced Kawahara equation on the torus. More precisely, we prove the existence of a global attractor in $L^2$, to which as time passes all solutions draw closer. In fact, we show that the global attractor turns out to lie in a smoother space $H^2$ and be bounded therein. Further, we give an upper bound of the size of the attractor…
▽ More
We study the long time behaviour of solutions for the weakly damped forced Kawahara equation on the torus. More precisely, we prove the existence of a global attractor in $L^2$, to which as time passes all solutions draw closer. In fact, we show that the global attractor turns out to lie in a smoother space $H^2$ and be bounded therein. Further, we give an upper bound of the size of the attractor in $H^2$ that depends only on the damping parameter and the norm of the forcing term.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Reproducing Kernels and New Approaches in Compositional Data Analysis
Authors:
Binglin Li,
Jeongyoun Ahn
Abstract:
Compositional data, such as human gut microbiomes, consist of non-negative variables whose only the relative values to other variables are available. Analyzing compositional data such as human gut microbiomes needs a careful treatment of the geometry of the data. A common geometrical understanding of compositional data is via a regular simplex. Majority of existing approaches rely on a log-ratio o…
▽ More
Compositional data, such as human gut microbiomes, consist of non-negative variables whose only the relative values to other variables are available. Analyzing compositional data such as human gut microbiomes needs a careful treatment of the geometry of the data. A common geometrical understanding of compositional data is via a regular simplex. Majority of existing approaches rely on a log-ratio or power transformations to overcome the innate simplicial geometry. In this work, based on the key observation that a compositional data are projective in nature, and on the intrinsic connection between projective and spherical geometry, we re-interpret the compositional domain as the quotient topology of a sphere modded out by a group action. This re-interpretation allows us to understand the function space on compositional domains in terms of that on spheres and to use spherical harmonics theory along with reflection group actions for constructing a compositional Reproducing Kernel Hilbert Space (RKHS). This construction of RKHS for compositional data will widely open research avenues for future methodology developments. In particular, well-developed kernel embedding methods can be now introduced to compositional data analysis. The polynomial nature of compositional RKHS has both theoretical and computational benefits. The wide applicability of the proposed theoretical framework is exemplified with nonparametric density estimation and kernel exponential family for compositional data.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Bounds for the Twin-width of Graphs
Authors:
Jungho Ahn,
Kevin Hendrey,
Donggyu Kim,
Sang-il Oum
Abstract:
Bonnet, Kim, Thomassé, and Watrigant (2020) introduced the twin-width of a graph. We show that the twin-width of an $n$-vertex graph is less than $(n+\sqrt{n\ln n}+\sqrt{n}+2\ln n)/2$, and the twin-width of an $m$-edge graph for a positive $m$ is less than $\sqrt{3m}+ m^{1/4} \sqrt{\ln m} / (4\cdot 3^{1/4}) + 3m^{1/4} / 2$. Conference graphs of order $n$ (when such graphs exist) have twin-width at…
▽ More
Bonnet, Kim, Thomassé, and Watrigant (2020) introduced the twin-width of a graph. We show that the twin-width of an $n$-vertex graph is less than $(n+\sqrt{n\ln n}+\sqrt{n}+2\ln n)/2$, and the twin-width of an $m$-edge graph for a positive $m$ is less than $\sqrt{3m}+ m^{1/4} \sqrt{\ln m} / (4\cdot 3^{1/4}) + 3m^{1/4} / 2$. Conference graphs of order $n$ (when such graphs exist) have twin-width at least $(n-1)/2$, and we show that Paley graphs achieve this lower bound. We also show that the twin-width of the Erdős-Rényi random graph $G(n,p)$ with $1/n\leq p=p(n)\leq 1/2$ is larger than $2p(1-p)n - (2\sqrt{2}+\varepsilon)\sqrt{p(1-p)n\ln n}$ asymptotically almost surely for any positive $\varepsilon$. Lastly, we calculate the twin-width of random graphs $G(n,p)$ with $p\leq c/n$ for a constant $c<1$, determining the thresholds at which the twin-width jumps from $0$ to $1$ and from $1$ to $2$.
△ Less
Submitted 6 July, 2022; v1 submitted 8 October, 2021;
originally announced October 2021.
-
On the Antichain Tree Property
Authors:
JinHoo Ahn,
Joonhee Kim,
Junguk Lee
Abstract:
In this note, we investigate a new model theoretical tree property, called the antichain tree property (ATP). We develop combinatorial techniques for ATP. First, we show that ATP is always witnessed by a formula in a single free variable, and for formulas, not having ATP is closed under disjunction. Second, we show the equivalence of ATP and $k$-ATP, and provide a criterion for theories to have no…
▽ More
In this note, we investigate a new model theoretical tree property, called the antichain tree property (ATP). We develop combinatorial techniques for ATP. First, we show that ATP is always witnessed by a formula in a single free variable, and for formulas, not having ATP is closed under disjunction. Second, we show the equivalence of ATP and $k$-ATP, and provide a criterion for theories to have not ATP (being NATP).
Using these combinatorial observations, we find algebraic examples of ATP and NATP, including pure group, pure fields, and valued fields. More precisely, we prove Mekler's construction for groups, Chatzidakis' style criterion for PAC fields, and the AKE-style principle for valued fields preserving NATP. And we give a construction of an antichain tree in the Skolem arithmetic and atomless Boolean algebras.
△ Less
Submitted 7 February, 2022; v1 submitted 7 June, 2021;
originally announced June 2021.
-
Multiphysics model reduction of thermomechanical vibration in a state-space formulation
Authors:
Jun-Geol Ahn,
Hyun-Ik Yang,
Jin-Gyun Kim
Abstract:
The aim of this work is to propose a new multiphysics mode synthesis (MMS) for the thermomechanical vibration problem. The present thermomechanical model is based on a state-space formulation, which consists of displacement, velocity, and temperature shift. The state-space based thermomechanical formulation is symmetric unlike a conventional non-symmetric formulation. In the proposed MMS, the stru…
▽ More
The aim of this work is to propose a new multiphysics mode synthesis (MMS) for the thermomechanical vibration problem. The present thermomechanical model is based on a state-space formulation, which consists of displacement, velocity, and temperature shift. The state-space based thermomechanical formulation is symmetric unlike a conventional non-symmetric formulation. In the proposed MMS, the structural variables are first reduced, which is then applied to the coupling term in the thermal parts. A term of the thermal domain is then reduced while preserving the multiphysics coupling effects, resulting in improved accuracy. The proposed two-step MMS with the thermal physics domain update can be implemented with the coupling term derived by using the residual flexibility. The proposed MMS strategy can be also applied to accelerate the computational speed by using independent parallel solvers. The performance of the proposed MMS method is evaluated through numerical examples.
△ Less
Submitted 4 May, 2021;
originally announced May 2021.
-
Online adaptive basis construction for nonlinear model reduction through local error optimization
Authors:
Jun-Geol Ahn,
Hyun-Ik Yang,
Jin-Gyun Kim
Abstract:
The accuracy of the reduced-order model (ROM) mainly depends on the selected basis. Therefore, it is essential to compute an appropriate basis with an efficient numerical procedure when applying ROM to nonlinear problems. In this paper, we propose an online adaptive basis technique to increase the quality of ROM while decreasing the computational costs in nonlinear problems. In the proposed method…
▽ More
The accuracy of the reduced-order model (ROM) mainly depends on the selected basis. Therefore, it is essential to compute an appropriate basis with an efficient numerical procedure when applying ROM to nonlinear problems. In this paper, we propose an online adaptive basis technique to increase the quality of ROM while decreasing the computational costs in nonlinear problems. In the proposed method, the adaptive basis is defined by the low-rank update formulation, and two auxiliary vectors are set to implement this low-rank condition. To simultaneously tackle the issues of accuracy and the computational cost of the ROM basis, the auxiliary vectors are algebraically derived by optimizing a local residual operator. As a result, the reliability of ROM is significantly improved with a low computational cost because the error information can be contained without inverse operations of the full model dimension required in conventional approaches. The other feature of the proposed iterative algorithm is that the number of the initial incremental ROM basis could be varied, unlike in the typical online adaptive basis approaches. It may provide a fast and effective spanning process of the high-quality ROM subspace in the iteration step. A detailed derivation process of the proposed method is presented, and its performance is evaluated in various nonlinear numerical examples.
△ Less
Submitted 4 May, 2021;
originally announced May 2021.
-
Global well-posedness of logarithmic Keller-Segel type systems
Authors:
Jaewook Ahn,
Kyungkeun Kang,
Jihoon Lee
Abstract:
We consider a class of logarithmic Keller-Segel type systems modeling the spatio-temporal behavior of either chemotactic cells or criminal activities in spatial dimensions two and higher. Under certain assumptions on parameter values and given functions, the existence of classical solutions is established globally in time, provided that initial data are sufficiently regular. In particular, we enla…
▽ More
We consider a class of logarithmic Keller-Segel type systems modeling the spatio-temporal behavior of either chemotactic cells or criminal activities in spatial dimensions two and higher. Under certain assumptions on parameter values and given functions, the existence of classical solutions is established globally in time, provided that initial data are sufficiently regular. In particular, we enlarge the range of chemotatic sensitivity $χ$, compared to known results, in case that spatial dimensions are between two and eight. In addition, we provide new type of small initial data to obtain global classical solution, which is also applicable to the urban crime model. We discuss long-time asymptotic behaviors of solutions as well.
△ Less
Submitted 4 January, 2021;
originally announced January 2021.
-
On the radius of spatial analyticity for the Klein-Gordon-Schrödinger system
Authors:
Jaeseop Ahn,
Jimyeong Kim,
Ihyeok Seo
Abstract:
In this paper, we study the persistence of spatial analyticity for the solutions to the Klein-Gordon-Schrödinger system, which describes a physical system of a nucleon field interacting with a neutral meson field, with analytic initial data. Unlike the case of a single nonlinear dispersive equation, not much is known about nonlinear dispersive systems as it is harder to show the spatial analyticit…
▽ More
In this paper, we study the persistence of spatial analyticity for the solutions to the Klein-Gordon-Schrödinger system, which describes a physical system of a nucleon field interacting with a neutral meson field, with analytic initial data. Unlike the case of a single nonlinear dispersive equation, not much is known about nonlinear dispersive systems as it is harder to show the spatial analyticity of coupled equations simultaneously. The only results known so far are rather recent ones for the Dirac-Klein-Gordon system which governs the physical system when the nucleon is described by Dirac spinor fields in the case of relativistic fields. In contrast, we aim here to study the Klein-Gordon-Schrödinger system that works in the non-relativistic regime. It is shown that the radius of spatial analyticity of the solutions at later times obeys an algebraic lower bound as time goes to infinity.
△ Less
Submitted 12 March, 2022; v1 submitted 31 December, 2020;
originally announced December 2020.
-
On the first non-trivial strand of syzygies of projective schemes and Condition ${\mathrm ND}(l)$
Authors:
Jeaman Ahn,
Kangjin Han,
Sijong Kwak
Abstract:
Let $X\subset\mathbb{P}^{n+e}$ be any $n$-dimensional closed subscheme. We are mainly interested in two notions related to syzygies: one is the property $\mathbf{N}_{d,p}~(d\ge 2, ~p\geq 1)$, which means that $X$ is $d$-regular up to $p$-th step in the minimal free resolution and the other is a new notion $\mathrm{ND}(\ell)$ which generalizes the classical "being nondegenerate" to the condition th…
▽ More
Let $X\subset\mathbb{P}^{n+e}$ be any $n$-dimensional closed subscheme. We are mainly interested in two notions related to syzygies: one is the property $\mathbf{N}_{d,p}~(d\ge 2, ~p\geq 1)$, which means that $X$ is $d$-regular up to $p$-th step in the minimal free resolution and the other is a new notion $\mathrm{ND}(\ell)$ which generalizes the classical "being nondegenerate" to the condition that requires a general finite linear section not to be contained in any hypersurface of degree $\ell$.
First, we introduce condition $\mathrm{ND}(\ell)$ and consider examples and basic properties deduced from the notion. Next we prove sharp upper bounds on the graded Betti numbers of the first non-trivial strand of syzygies, which generalize results in the quadratic case to higher degree case, and provide characterizations for the extremal cases. Further, after regarding some consequences of property $\mathbf{N}_{d,p}$, we characterize the resolution of $X$ to be $d$-linear arithmetically Cohen-Macaulay as having property $\mathbf{N}_{d,e}$ and condition $\mathrm{ND}(d-1)$ at the same time. From this result, we obtain a syzygetic rigidity theorem which suggests a natural generalization of syzygetic rigidity on $2$-regularity due to Eisenbud-Green-Hulek-Popescu to a general $d$-regularity.
△ Less
Submitted 1 September, 2023; v1 submitted 13 November, 2020;
originally announced November 2020.
-
Towards constant-factor approximation for chordal / distance-hereditary vertex deletion
Authors:
Jungho Ahn,
Eun Jung Kim,
Euiwoong Lee
Abstract:
For a family of graphs $\mathcal{F}$, Weighted $\mathcal{F}$-Deletion is the problem for which the input is a vertex weighted graph $G=(V,E)$ and the goal is to delete $S\subseteq V$ with minimum weight such that $G\setminus S\in\mathcal{F}$. Designing a constant-factor approximation algorithm for large subclasses of perfect graphs has been an interesting research direction. Block graphs, 3-leaf p…
▽ More
For a family of graphs $\mathcal{F}$, Weighted $\mathcal{F}$-Deletion is the problem for which the input is a vertex weighted graph $G=(V,E)$ and the goal is to delete $S\subseteq V$ with minimum weight such that $G\setminus S\in\mathcal{F}$. Designing a constant-factor approximation algorithm for large subclasses of perfect graphs has been an interesting research direction. Block graphs, 3-leaf power graphs, and interval graphs are known to admit constant-factor approximation algorithms, but the question is open for chordal graphs and distance-hereditary graphs.
In this paper, we add one more class to this list by presenting a constant-factor approximation algorithm when $F$ is the intersection of chordal graphs and distance-hereditary graphs. They are known as ptolemaic graphs and form a superset of both block graphs and 3-leaf power graphs above. Our proof presents new properties and algorithmic results on inter-clique digraphs as well as an approximation algorithm for a variant of Feedback Vertex Set that exploits this relationship (named Feedback Vertex Set with Precedence Constraints), each of which may be of independent interest.
△ Less
Submitted 2 September, 2020;
originally announced September 2020.
-
KMS states of a generalized Toeplitz algebras
Authors:
Jieun Ahn,
Sunyoung Jang
Abstract:
In this paper, we consider a generalized Toeplitz algebra $\mathcal{T} ( \mathrm{P}\rtimes\Bbb N^{\times})$ for a non-quasi-lattice ordered semigroup $ \mathrm{P}\rtimes\Bbb N^{\times}$ where $ \mathrm{P}\rtimes\Bbb N^{\times}$ is a semidirect product of an additive semigroup $ \mathrm{P} = \{0, 2, 3, \cdots \}$ by a multiplicative positive natural numbers semigroup $ \Bbb N^{\times}$. And also we…
▽ More
In this paper, we consider a generalized Toeplitz algebra $\mathcal{T} ( \mathrm{P}\rtimes\Bbb N^{\times})$ for a non-quasi-lattice ordered semigroup $ \mathrm{P}\rtimes\Bbb N^{\times}$ where $ \mathrm{P}\rtimes\Bbb N^{\times}$ is a semidirect product of an additive semigroup $ \mathrm{P} = \{0, 2, 3, \cdots \}$ by a multiplicative positive natural numbers semigroup $ \Bbb N^{\times}$. And also we compute the values of the KMS state of the natural $C^*$-dynamical system $( \mathcal{T} ( \mathrm{P}\rtimes\Bbb N^{\times}), \Bbb R, σ).$
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
Nonlocal adhesion models for two cancer cell phenotypes in a multidimensional bounded domain
Authors:
Jaewook Ahn,
Myeongju Chae,
Jihoon Lee
Abstract:
Cell-cell adhesion is an inherently nonlocal phenomenon. Numerous partial differential equation models with nonlocal term have been recently presented to describe this phenomenon, yet the mathematical properties of nonlocal adhesion model are not well understood. Here we consider a model with two kinds of nonlocal cell-cell adhesion, satisfying no-flux conditions in a multidimensional bounded doma…
▽ More
Cell-cell adhesion is an inherently nonlocal phenomenon. Numerous partial differential equation models with nonlocal term have been recently presented to describe this phenomenon, yet the mathematical properties of nonlocal adhesion model are not well understood. Here we consider a model with two kinds of nonlocal cell-cell adhesion, satisfying no-flux conditions in a multidimensional bounded domain. We show global-in-time well-posedness of the solution to this model and obtain the uniform boundedness of solution.
△ Less
Submitted 28 January, 2021; v1 submitted 16 April, 2020;
originally announced April 2020.
-
SOP$_1$, SOP$_2$, and antichain tree property
Authors:
JinHoo Ahn,
Joonhee Kim
Abstract:
In this paper, we study some tree properties and their related indiscernibilities. First, we prove that SOP$_2$ can be witnessed by a formula with a tree of tuples holding 'arbitrary homogeneous inconsistency' (e.g., weak k-TP$_1$ conditions or other possible inconsistency configurations). And we introduce a notion of tree-indiscernibility, which preserves witnesses of SOP$_1$, and by using this,…
▽ More
In this paper, we study some tree properties and their related indiscernibilities. First, we prove that SOP$_2$ can be witnessed by a formula with a tree of tuples holding 'arbitrary homogeneous inconsistency' (e.g., weak k-TP$_1$ conditions or other possible inconsistency configurations). And we introduce a notion of tree-indiscernibility, which preserves witnesses of SOP$_1$, and by using this, we investigate the problem of (in)equality of SOP$_1$ and SOP$_2$. Assuming the existence of a formula having SOP$_1$ such that no finite conjunction of it has SOP$_2$, we observe that the formula must witness some tree-property-like phenomenon, which we will call the antichain tree property (ATP, see Definition 4.1). We show that ATP implies SOP$_1$ and TP$_2$, but the converse of each implication does not hold. So the class of NATP theories (theories without ATP) contains the class of NSOP$_1$ theories and the class of NTP$_2$ theories. At the end of the paper, we construct a structure whose theory has a formula having ATP, but any conjunction of the formula does not have SOP$_2$. So this example shows that SOP$_1$ and SOP$_2$ are not the same at the level of formulas, i.e., there is a formula having SOP$_1$, while any finite conjunction of it does not witness SOP$_2$ (but a variation of the formula still has SOP$_2$).
△ Less
Submitted 10 December, 2023; v1 submitted 22 March, 2020;
originally announced March 2020.
-
Well-partitioned chordal graphs: obstruction set and disjoint paths
Authors:
Jungho Ahn,
Lars Jaffke,
O-joung Kwon,
Paloma T. Lima
Abstract:
We introduce a new subclass of chordal graphs that generalizes split graphs, which we call well-partitioned chordal graphs. Split graphs are graphs that admit a partition of the vertex set into cliques that can be arranged in a star structure, the leaves of which are of size one. Well-partitioned chordal graphs are a generalization of this concept in the following two ways. First, the cliques in t…
▽ More
We introduce a new subclass of chordal graphs that generalizes split graphs, which we call well-partitioned chordal graphs. Split graphs are graphs that admit a partition of the vertex set into cliques that can be arranged in a star structure, the leaves of which are of size one. Well-partitioned chordal graphs are a generalization of this concept in the following two ways. First, the cliques in the partition can be arranged in a tree structure, and second, each clique is of arbitrary size. We provide a characterization of well-partitioned chordal graphs by forbidden induced subgraphs, and give a polynomial-time algorithm that given any graph, either finds an obstruction, or outputs a partition of its vertex set that asserts that the graph is well-partitioned chordal. We demonstrate the algorithmic use of this graph class by showing that two variants of the problem of finding pairwise disjoint paths between k given pairs of vertices is in FPT parameterized by k on well-partitioned chordal graphs, while on chordal graphs, these problems are only known to be in XP. From the other end, we observe that there are problems that are polynomial-time solvable on split graphs, but become NP-complete on well-partitioned chordal graphs.
△ Less
Submitted 25 February, 2020;
originally announced February 2020.
-
A polynomial kernel for $3$-leaf power deletion
Authors:
Jungho Ahn,
Eduard Eiben,
O-joung Kwon,
Sang-il Oum
Abstract:
For a non-negative integer $\ell$, the $\ell$-leaf power of a tree $T$ is a simple graph $G$ on the leaves of $T$ such that two vertices are adjacent in $G$ if and only if their distance in $T$ is at most $\ell$. We provide a polynomial kernel for the problem of deciding whether we can delete at most $k$ vertices to make an input graph a $3$-leaf power of some tree. More specifically, we present a…
▽ More
For a non-negative integer $\ell$, the $\ell$-leaf power of a tree $T$ is a simple graph $G$ on the leaves of $T$ such that two vertices are adjacent in $G$ if and only if their distance in $T$ is at most $\ell$. We provide a polynomial kernel for the problem of deciding whether we can delete at most $k$ vertices to make an input graph a $3$-leaf power of some tree. More specifically, we present a polynomial-time algorithm for an input instance $(G,k)$ for the problem to output an equivalent instance $(G',k')$ such that $k'\leq k$ and $G'$ has at most $O(k^{14})$ vertices.
△ Less
Submitted 23 October, 2023; v1 submitted 11 November, 2019;
originally announced November 2019.
-
Lipschitz Learning for Signal Recovery
Authors:
Hong Jiang,
Jong-Hoon Ahn,
Xiaoyang Wang
Abstract:
We consider the recovery of signals from their observations, which are samples of a transform of the signals rather than the signals themselves, by using machine learning (ML). We will develop a theoretical framework to characterize the signals that can be robustly recovered from their observations by an ML algorithm, and establish a Lipschitz condition on signals and observations that is both nec…
▽ More
We consider the recovery of signals from their observations, which are samples of a transform of the signals rather than the signals themselves, by using machine learning (ML). We will develop a theoretical framework to characterize the signals that can be robustly recovered from their observations by an ML algorithm, and establish a Lipschitz condition on signals and observations that is both necessary and sufficient for the existence of a robust recovery. We will compare the Lipschitz condition with the well-known restricted isometry property of the sparse recovery of compressive sensing, and show the former is more general and less restrictive. For linear observations, our work also suggests an ML method in which the output space is reduced to the lowest possible dimension.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
Lower bounds on the radius of spatial analyticity for the Kawahara equation
Authors:
Jaeseop Ahn,
Jimyeong Kim,
Ihyeok Seo
Abstract:
In this paper we obtain lower bounds on the radius of spatial analyticity of solutions to the Kawahara equation $u_t + uu_x + αu_{xxx} + βu_{xxxxx} = 0$, $β\neq0$, given initial data which is analytic with a fixed radius. It is shown that the uniform radius of spatial analyticity of solutions at later time $t$ can decay no faster than $1/|t|$ as $|t|\rightarrow\infty$.
In this paper we obtain lower bounds on the radius of spatial analyticity of solutions to the Kawahara equation $u_t + uu_x + αu_{xxx} + βu_{xxxxx} = 0$, $β\neq0$, given initial data which is analytic with a fixed radius. It is shown that the uniform radius of spatial analyticity of solutions at later time $t$ can decay no faster than $1/|t|$ as $|t|\rightarrow\infty$.
△ Less
Submitted 17 November, 2020; v1 submitted 24 June, 2019;
originally announced June 2019.
-
Mekler's construction and tree properties
Authors:
JinHoo Ahn
Abstract:
Mekler constructed a way to produce a pure group from any given structure where the construction preserves $κ$-stability for any cardinal $κ$. Not only the stability, it is known that his construction preserves various model-theoretic properties such as simplicity, NIP, and NTP$_2$. Inspired by the last result, we show that the construction also preserves NTP$_1$(NSOP$_2$) and NSOP$_1$. As a corol…
▽ More
Mekler constructed a way to produce a pure group from any given structure where the construction preserves $κ$-stability for any cardinal $κ$. Not only the stability, it is known that his construction preserves various model-theoretic properties such as simplicity, NIP, and NTP$_2$. Inspired by the last result, we show that the construction also preserves NTP$_1$(NSOP$_2$) and NSOP$_1$. As a corollary, we obtain that if there is a theory of finite language which is non-simple NSOP$_1$, or which is NSOP$_2$ but has SOP$_1$, then there is a pure group theory with the same properties, respectively.
△ Less
Submitted 1 May, 2020; v1 submitted 17 March, 2019;
originally announced March 2019.
-
On the radius of spatial analyticity for defocusing nonlinear Schrödinger equations
Authors:
Jaeseop Ahn,
Jimyeong Kim,
Ihyeok Seo
Abstract:
In this paper we study spatial analyticity of solutions to the defocusing nonlinear Schrödinger equations $iu_t + Δu = |u|^{p-1}u$, given initial data which is analytic with fixed radius. It is shown that the uniform radius of spatial analyticity of solutions at later time $t$ cannot decay faster than $1/|t|$ as $|t|\rightarrow\infty$. This extends the previous work of Tesfahun for the cubic case…
▽ More
In this paper we study spatial analyticity of solutions to the defocusing nonlinear Schrödinger equations $iu_t + Δu = |u|^{p-1}u$, given initial data which is analytic with fixed radius. It is shown that the uniform radius of spatial analyticity of solutions at later time $t$ cannot decay faster than $1/|t|$ as $|t|\rightarrow\infty$. This extends the previous work of Tesfahun for the cubic case $p=3$ to the cases where $p$ is any odd integer greater than $3$.
△ Less
Submitted 31 July, 2019; v1 submitted 27 February, 2019;
originally announced February 2019.
-
Spectra of Kohn Laplacians on Spheres
Authors:
John Ahn,
Mohit Bansil,
Garrett Brown,
Emilee Cardin,
Yunus E. Zeytuncu
Abstract:
In this note, we study the spectrum of the Kohn Laplacian on the unit spheres in $\mathbb{C}^n$ and revisit Folland's classical eigenvalue computation. We also look at the growth rate of the eigenvalue counting function in this context. Finally, we consider the growth rate of the eigenvalues of the perturbed Kohn Laplacian on the Rossi sphere in $\mathbb{C}^2$.
In this note, we study the spectrum of the Kohn Laplacian on the unit spheres in $\mathbb{C}^n$ and revisit Folland's classical eigenvalue computation. We also look at the growth rate of the eigenvalue counting function in this context. Finally, we consider the growth rate of the eigenvalues of the perturbed Kohn Laplacian on the Rossi sphere in $\mathbb{C}^2$.
△ Less
Submitted 5 December, 2018;
originally announced December 2018.
-
The Poisson random effect model for experience ratemaking: limitations and alternative solutions
Authors:
Woojoo Lee,
Jeonghwan Kim,
Jae Youn Ahn
Abstract:
Poisson random effect models with a shared random effect have been widely used in actuarial science for analyzing the number of claims. In particular, the random effect is a key factor in a posteriori risk classification. However, the necessity of the random effect may not be properly assessed due to the dual role of the random effect; it affects both the marginal distribution of the number of cla…
▽ More
Poisson random effect models with a shared random effect have been widely used in actuarial science for analyzing the number of claims. In particular, the random effect is a key factor in a posteriori risk classification. However, the necessity of the random effect may not be properly assessed due to the dual role of the random effect; it affects both the marginal distribution of the number of claims and the dependence among the numbers of claims obtained from an individual over time. In line with such observations, we explain that one should be careful in using the score test for the nullity of the variance of the shared random effect, as a sufficient condition for the existence of the posteriori risk classification. To safely perform the a posteriori risk classification, we propose considering an alternative random effect model based on the negative binomial distribution, and show that safer conclusions about the a posteriori risk classification can be made based on it. We also derive the score test as a sufficient condition for the existence of the a posteriori risk classification based on the proposed model.
△ Less
Submitted 11 November, 2018;
originally announced November 2018.
-
On Minimal Copulas under the Concordance Order
Authors:
Jae Youn Ahn,
Sebastian Fuchs
Abstract:
In the present paper, we study extreme negative dependence focussing on the concordance order for copulas. With the absence of a least element for dimensions $d\ge$ 3, the set of all minimal elements in the collection of all copulas turns out to be a natural and quite important extreme negative dependence concept. We investigate several sufficient conditions and we provide a necessary condition fo…
▽ More
In the present paper, we study extreme negative dependence focussing on the concordance order for copulas. With the absence of a least element for dimensions $d\ge$ 3, the set of all minimal elements in the collection of all copulas turns out to be a natural and quite important extreme negative dependence concept. We investigate several sufficient conditions and we provide a necessary condition for a copula to be minimal: The sufficient conditions are related to the extreme negative dependence concept of d-countermonotonicity and the necessary condition is related to the collection of all copulas minimizing multivariate Kendall's tau. The concept of minimal copulas has already been proved to be useful in various continuous and concordance order preserving optimization problems including variance minimization and the detection of lower bounds for certain measures of concordance. We substantiate this key role of minimal copulas by showing that every continuous and concordance order preserving functional on copulas is minimized by some minimal copula and, in the case the continuous functional is even strictly concordance order preserving, it is minimized by minimal copulas only. Applying the above results, we may conclude that every minimizer of Spearman's rho is also a minimizer of Kendall's tau.
△ Less
Submitted 19 October, 2018; v1 submitted 17 September, 2018;
originally announced September 2018.
-
An explicit upper bound for the least prime ideal in the Chebotarev density theorem
Authors:
Jeoung-Hwan Ahn,
Soun-Hi Kwon
Abstract:
Lagarias, Montgomery, and Odlyzko proved that there exists an effectively computable absolute constant $A_1$ such that for every finite extension $K$ of ${\mathbb{Q}}$, every finite Galois extension $L$ of $K$ with Galois group $G$ and every conjugacy class $C$ of $G$, there exists a prime ideal $\mathfrak{p}$ of $K$ which is unramified in $L$, for which $\left[\frac{L/K}{\mathfrak{p}}\right]=C$,…
▽ More
Lagarias, Montgomery, and Odlyzko proved that there exists an effectively computable absolute constant $A_1$ such that for every finite extension $K$ of ${\mathbb{Q}}$, every finite Galois extension $L$ of $K$ with Galois group $G$ and every conjugacy class $C$ of $G$, there exists a prime ideal $\mathfrak{p}$ of $K$ which is unramified in $L$, for which $\left[\frac{L/K}{\mathfrak{p}}\right]=C$, for which $N_{K/{\mathbb Q}}\,\mathfrak{p}$ is a rational prime, and which satisfies $N_{K/{\mathbb Q}}\,{\mathfrak{p}} \leq 2 {d_L}^{A_1}$. In this paper we show without any restriction that $N_{K/{\mathbb Q}}\,{\mathfrak{p}} \leq {d_L}^{12577}$ if $L \neq {\mathbb Q}$, using the approach developed by Lagarias, Montgomery, and Odlyzko.
△ Less
Submitted 2 July, 2018;
originally announced July 2018.
-
Integrated design optimization of structural bending filter and gain schedules for rocket attitude control system
Authors:
Sang-Il Leea,
Jaemyung Ahn,
Woong-Rae Roh
Abstract:
This paper proposes an integrated design optimization framework for the gain schedules and bending filter for the longitudinal control of a rocket during its ascent flight. Dynamic models representing the pitch/yaw motion of a rocket considering the elements such as the rigid body dynamics, aerodynamics, sloshing, bending, sensor/actuator, and flight computer are introduced. The linear proportiona…
▽ More
This paper proposes an integrated design optimization framework for the gain schedules and bending filter for the longitudinal control of a rocket during its ascent flight. Dynamic models representing the pitch/yaw motion of a rocket considering the elements such as the rigid body dynamics, aerodynamics, sloshing, bending, sensor/actuator, and flight computer are introduced. The linear proportional and differential (PD) control law with scheduled (time-varying) gains and bending filter parameters are identified as key decision variables for stabilizing the pitch/yaw motion of the rocket. The integrated optimal design problem that determines the decision variables to minimize the worst-case peak associated with the first bending mode with constraints on the stability margins during the flight of the rocket is mathematically formulated. A case study on design of gain schedules and bending filter for an actual sounding rocket using the proposed framework is conducted to demonstrate its effectiveness.
△ Less
Submitted 6 February, 2018;
originally announced February 2018.
-
Near Time-Optimal Feedback Instantaneous Impact Point (IIP) Guidance Law for Rocket
Authors:
Byeong-Un Jo,
Jaemyung Ahn
Abstract:
This paper proposes a feedback guidance law to move the instantaneous impact point (IIP) of a rocket to a desired location. Analytic expressions relating the time derivatives of an IIP with the external acceleration of the rocket are introduced. A near time-optimal feedback-form guidance law to determine the direction of the acceleration for guiding the IIP is developed using the de-rivative expre…
▽ More
This paper proposes a feedback guidance law to move the instantaneous impact point (IIP) of a rocket to a desired location. Analytic expressions relating the time derivatives of an IIP with the external acceleration of the rocket are introduced. A near time-optimal feedback-form guidance law to determine the direction of the acceleration for guiding the IIP is developed using the de-rivative expressions. The effectiveness of the proposed guidance law, in comparison with the results of open-loop trajectory optimization, was demonstrated through IIP pointing case studies.
△ Less
Submitted 11 November, 2017;
originally announced November 2017.
-
Vehicle Routing Problem with Vector Profits (VRPVP) with Max-Min Criterion
Authors:
Dongoo Lee,
Jaemyung Ahn
Abstract:
This paper introduces a new routing problem referred to as the vehicle routing problem with vector profits. Given a network composed of nodes (depot/sites) and arcs connecting the nodes, the problem determines routes that depart from the depot, visit sites to collect profits, and return to the depot. There are multiple stakeholders interested in the mission and each site is associated with a vecto…
▽ More
This paper introduces a new routing problem referred to as the vehicle routing problem with vector profits. Given a network composed of nodes (depot/sites) and arcs connecting the nodes, the problem determines routes that depart from the depot, visit sites to collect profits, and return to the depot. There are multiple stakeholders interested in the mission and each site is associated with a vector whose k-th element represents the profit value for the k-th stakeholder. The objective of the problem is to maximize the profit sum for the least satisfied stakeholder, i.e., the stakeholder with the smallest total profit value. An approach based on the linear programming relaxation and column-generation to solve this max-min type routing problem was developed. Two cases studies - the planetary surface exploration and the Rome tour cases - were presented to demonstrate the effectiveness of the proposed problem formulation and solution methodology.
△ Less
Submitted 28 October, 2017;
originally announced October 2017.
-
Geometric Decomposition-Based Formulation for Time Derivatives of Instantaneous Impact Point
Authors:
Byeong-Un Jo,
Jaemyung Ahn
Abstract:
A new analytic formulation to express the time derivatives of the instantaneous impact point (IIP) of a rocket is proposed. The geometric relationship on a plane tangential to the IIP is utilized to decompose the inertial IIP rate vector into the downrange and crossrange components, and a systematic procedure to determine the component values is presented. The new formulation shows significant adv…
▽ More
A new analytic formulation to express the time derivatives of the instantaneous impact point (IIP) of a rocket is proposed. The geometric relationship on a plane tangential to the IIP is utilized to decompose the inertial IIP rate vector into the downrange and crossrange components, and a systematic procedure to determine the component values is presented. The new formulation shows significant advantages over the existing formulation such that the procedure and final expressions for the IIP derivatives are easy to understand and more compact. The validity of the proposed formulation was demonstrated through numerical simulation.
△ Less
Submitted 28 October, 2017;
originally announced October 2017.
-
Pareto front generation with knee-point based pruning for mixed discrete multi-objective optimization
Authors:
Juseong Lee,
Sang-Il Lee,
Jaemyung Ahn,
Han-Lim Choi
Abstract:
This note proposes an algorithm to generate the Pareto front of a mixed discrete multi-objective optimization problem based on the pruning of irrelevant subproblems. An existing pruning-based method for a mixed discrete bi-objective problem is extended for general multi-objective cases by introducing a new reference point for pruning decision - the knee point. The validity of the proposed procedur…
▽ More
This note proposes an algorithm to generate the Pareto front of a mixed discrete multi-objective optimization problem based on the pruning of irrelevant subproblems. An existing pruning-based method for a mixed discrete bi-objective problem is extended for general multi-objective cases by introducing a new reference point for pruning decision - the knee point. The validity of the proposed procedure is demonstrated through case studies.
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
Two-phase framework for optimal multi-target Lambert rendezvous
Authors:
Jun Bang,
Jaemyung Ahn
Abstract:
This paper proposes a two-phase framework to solve an optimal multi-target Lambert rendezvous problem. The first phase solves a series of single-target rendezvous problems for all departure-arrival object pairs to generate the elementary solutions, which provides candidate rendezvous trajectories (elementary solutions). The second phase formulates a variant of traveling salesman problem (TSP) usin…
▽ More
This paper proposes a two-phase framework to solve an optimal multi-target Lambert rendezvous problem. The first phase solves a series of single-target rendezvous problems for all departure-arrival object pairs to generate the elementary solutions, which provides candidate rendezvous trajectories (elementary solutions). The second phase formulates a variant of traveling salesman problem (TSP) using the elementary solutions prepared in the first phase and determines the best rendezvous sequence and trajectories of the multi-target rendezvous problem. The validity of the proposed optimization framework is demonstrated through an asteroid exploration case study.
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
Ordered multiplicity inverse eigenvalue problem for graphs on six vertices
Authors:
John Ahn,
Christine Alar,
Beth Bjorkman,
Steve Butler,
Joshua Carlson,
Audrey Goodnight,
Haley Knox,
Casandra Monroe,
Michael C. Wigal
Abstract:
For a graph $G$, we associate a family of real symmetric matrices, $\mathcal{S}(G)$, where for any $M \in \mathcal{S}(G)$, the location of the nonzero off-diagonal entries of $M$ are governed by the adjacency structure of $G$. The ordered multiplicity Inverse Eigenvalue Problem of a Graph (IEPG) is concerned with finding all attainable ordered lists of eigenvalue multiplicities for matrices in…
▽ More
For a graph $G$, we associate a family of real symmetric matrices, $\mathcal{S}(G)$, where for any $M \in \mathcal{S}(G)$, the location of the nonzero off-diagonal entries of $M$ are governed by the adjacency structure of $G$. The ordered multiplicity Inverse Eigenvalue Problem of a Graph (IEPG) is concerned with finding all attainable ordered lists of eigenvalue multiplicities for matrices in $\mathcal{S}(G)$.
For connected graphs of order six, we offer significant progress on the IEPG, as well as a complete solution to the ordered multiplicity IEPG. We also show that while $K_{m,n}$ with $\min(m,n)\ge 3$ attains a particular ordered multiplicity list, it cannot do so with arbitrary spectrum.
△ Less
Submitted 8 October, 2017; v1 submitted 8 August, 2017;
originally announced August 2017.
-
On Variations of Nim and Chomp
Authors:
June Ahn,
Benjamin Chen,
Richard Chen,
Ezra Erives,
Jeremy Fleming,
Michael Gerovitch,
Tejas Gopalakrishna,
Tanya Khovanova,
Neil Malur,
Nastia Polina,
Poonam Sahoo
Abstract:
We study two variations of Nim and Chomp which we call Monotonic Nim and Diet Chomp. In Monotonic Nim the moves are the same as in Nim, but the positions are non-decreasing numbers as in Chomp. Diet-Chomp is a variation of Chomp, where the total number of squares removed is limited.
We study two variations of Nim and Chomp which we call Monotonic Nim and Diet Chomp. In Monotonic Nim the moves are the same as in Nim, but the positions are non-decreasing numbers as in Chomp. Diet-Chomp is a variation of Chomp, where the total number of squares removed is limited.
△ Less
Submitted 18 May, 2017;
originally announced May 2017.
-
Analysis of Exact and Approximated Epidemic Models over Complex Networks
Authors:
Navid Azizan Ruhi,
Hyoung Jun Ahn,
Babak Hassibi
Abstract:
We study the spread of discrete-time epidemics over arbitrary networks for well-known propagation models, namely SIS (susceptible-infected-susceptible), SIR (susceptible-infected-recovered), SIRS (susceptible-infected-recovered-susceptible) and SIV (susceptible-infected-vaccinated). Such epidemics are described by $2^n$- or $3^n$-state Markov chains. Ostensibly, because analyzing such Markov chain…
▽ More
We study the spread of discrete-time epidemics over arbitrary networks for well-known propagation models, namely SIS (susceptible-infected-susceptible), SIR (susceptible-infected-recovered), SIRS (susceptible-infected-recovered-susceptible) and SIV (susceptible-infected-vaccinated). Such epidemics are described by $2^n$- or $3^n$-state Markov chains. Ostensibly, because analyzing such Markov chains is too complicated, their $O(n)$-dimensional nonlinear "mean-field" approximation, and its linearization, are often studied instead. We provide a complete global analysis of the epidemic dynamics of the nonlinear mean-field approximation. In particular, we show that depending on the largest eigenvalue of the underlying graph adjacency matrix and the rates of infection, recovery, and vaccination, the global dynamics takes on one of two forms: either the epidemic dies out, or it converges to another unique fixed point (the so-called endemic state where a constant fraction of the nodes remain infected). A similar result has also been shown in the continuous-time case. We tie in these results with the "true" underlying Markov chain model by showing that the linear model is the tightest upper-bound on the true probabilities of infection that involves only marginals, and that, even though the nonlinear model is not an upper-bound on the true probabilities in general, it does provide an upper-bound on the probability of the chain not being absorbed. As a consequence, we also show that when the disease-free fixed point is globally stable for the mean-field model, the Markov chain has an $O(\log n)$ mixing time, which means the epidemic dies out quickly. We compare and summarize the results on different propagation models.
△ Less
Submitted 29 September, 2016;
originally announced September 2016.