-
Non-split alternating links bound unique minimal genus Seifert surfaces up to isotopy in the 4-ball
Authors:
Seungwon Kim,
Maggie Miller,
Jaehoon Yoo
Abstract:
We show that any two minimal genus, oriented, boundary parallel surfaces bounded by a non-split alternating link into the 4-ball are smoothly isotopic fixing boundary. In other words, any two minimal genus Seifert surfaces for a non-split alternating link become smoothly isotopic fixing boundary once their interiors are pushed into the 4-ball.
We show that any two minimal genus, oriented, boundary parallel surfaces bounded by a non-split alternating link into the 4-ball are smoothly isotopic fixing boundary. In other words, any two minimal genus Seifert surfaces for a non-split alternating link become smoothly isotopic fixing boundary once their interiors are pushed into the 4-ball.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Martingales associated with strongly quasi-invariant states
Authors:
Ameur Dhahri,
Chul Ki Ko,
Hyun Jae Yoo
Abstract:
We discuss the martingales in relevance with $G$-strongly quasi-invariant states on a $C^*$-algebra $\mathcal A$, where $G$ is a separable locally compact group of $*$-automorphisms of $\mathcal A$. In the von Neumann algebra $\mathfrak A$ of the GNS representation, we define a unitary representation of the group and define a group $\hat G$ of $*$-automorphisms of $\mathfrak A$, which is homomorph…
▽ More
We discuss the martingales in relevance with $G$-strongly quasi-invariant states on a $C^*$-algebra $\mathcal A$, where $G$ is a separable locally compact group of $*$-automorphisms of $\mathcal A$. In the von Neumann algebra $\mathfrak A$ of the GNS representation, we define a unitary representation of the group and define a group $\hat G$ of $*$-automorphisms of $\mathfrak A$, which is homomorphic to $G$. For the case of compact $G$, under some mild condition, we find a $\hat G$-invariant state on $\mathfrak A$ and define a conditional expectation with range the $\hat G$-fixed subalgebra. Moving to the separable locally compact group $G=\cup_NG_N$, which is the union of increasing compact groups, we construct a sequence of conditional expectations and thereby construct (decreasing) martingales, which have limits by the martingale convergence theorem. We provide with an example for the group of finite permutations on the set of nonnegative integers acting on a $C^*$-algebra of infinite tensor product.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Group of automorphisms for strongly quasi invariant states
Authors:
Ameur Dhahri,
Chul Ki Ko,
Hyun Jae Yoo
Abstract:
For a $*$-automorphism group $G$ on a $C^*$- or von Neumann algebra, we study the $G$-quasi invariant states and their properties. The $G$-quasi invariance or $G$-strongly quasi invariance are weaker than the $G$-invariance and have wide applications. We develop several properties for $G$-strongly quasi invariant states. Many of them are the extensions of the already developed theories for $G$-inv…
▽ More
For a $*$-automorphism group $G$ on a $C^*$- or von Neumann algebra, we study the $G$-quasi invariant states and their properties. The $G$-quasi invariance or $G$-strongly quasi invariance are weaker than the $G$-invariance and have wide applications. We develop several properties for $G$-strongly quasi invariant states. Many of them are the extensions of the already developed theories for $G$-invariant states. Among others, we consider the relationship between the group $G$ and modular automorphism group, invariant subalgebras, ergodicity, modular theory, and abelian subalgebras. We provide with some examples to support the results.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Constrained optimization of sensor placement for nuclear digital twins
Authors:
Niharika Karnik,
Mohammad G. Abdo,
Carlos E. Estrada Perez,
Jun Soo Yoo,
Joshua J. Cogliati,
Richard S. Skifton,
Pattrick Calderoni,
Steven L. Brunton,
Krithika Manohar
Abstract:
The deployment of extensive sensor arrays in nuclear reactors is infeasible due to challenging operating conditions and inherent spatial limitations. Strategically placing sensors within defined spatial constraints is essential for the reconstruction of reactor flow fields and the creation of nuclear digital twins. We develop a data-driven technique that incorporates constraints into an optimizati…
▽ More
The deployment of extensive sensor arrays in nuclear reactors is infeasible due to challenging operating conditions and inherent spatial limitations. Strategically placing sensors within defined spatial constraints is essential for the reconstruction of reactor flow fields and the creation of nuclear digital twins. We develop a data-driven technique that incorporates constraints into an optimization framework for sensor placement, with the primary objective of minimizing reconstruction errors under noisy sensor measurements. The proposed greedy algorithm optimizes sensor locations over high-dimensional grids, adhering to user-specified constraints. We demonstrate the efficacy of optimized sensors by exhaustively computing all feasible configurations for a low-dimensional dynamical system. To validate our methodology, we apply the algorithm to the Out-of-Pile Testing and Instrumentation Transient Water Irradiation System (OPTI-TWIST) prototype capsule. This capsule is electrically heated to emulate the neutronics effect of the nuclear fuel. The TWIST prototype that will eventually be inserted in the Transient Reactor Test facility (TREAT) at the Idaho National Laboratory (INL), serves as a practical demonstration. The resulting sensor-based temperature reconstruction within OPTI-TWIST demonstrates minimized error, provides probabilistic bounds for noise-induced uncertainty, and establishes a foundation for communication between the digital twin and the experimental facility.
△ Less
Submitted 16 February, 2024; v1 submitted 23 June, 2023;
originally announced June 2023.
-
Mathematical modeling of trend cycle: Fad, Fashion and Classic
Authors:
Hyeong-Ohk Bae,
Seung Yeon Cho,
Jane Yoo,
Seok-Bae Yun
Abstract:
In this work, we suggest a system of differential equations that quantitatively models the formulation and evolution of a trend cycle through the consideration of underlying dynamics between the trend participants. Our model captures the five stages of a trend cycle, namely, the onset, rise, peak, decline, and obsolescence. It also provides a unified mathematical criterion/condition to characteriz…
▽ More
In this work, we suggest a system of differential equations that quantitatively models the formulation and evolution of a trend cycle through the consideration of underlying dynamics between the trend participants. Our model captures the five stages of a trend cycle, namely, the onset, rise, peak, decline, and obsolescence. It also provides a unified mathematical criterion/condition to characterize the fad, fashion and classic. We prove that the solution of our model can capture various trend cycles. Numerical simulations are provided to show the expressive power of our model.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Deformation of a Hyperbolic embedding into the Projective Toric Variety
Authors:
Jaewon Yoo,
Gunhee Cho
Abstract:
In this paper, we delve into the study of deformations of an algebraic divisor that maintains a Kobayashi hyperbolic embedding, which is a more potent concept than Kobayashi hyperbolicity, particularly in the context of toric geometry. We establish that, for a projective toric variety denoted as $X$, it is possible to identify a Zariski closed subset within the linear system of the divisor $D.$ su…
▽ More
In this paper, we delve into the study of deformations of an algebraic divisor that maintains a Kobayashi hyperbolic embedding, which is a more potent concept than Kobayashi hyperbolicity, particularly in the context of toric geometry. We establish that, for a projective toric variety denoted as $X$, it is possible to identify a Zariski closed subset within the linear system of the divisor $D.$ such that, for a torus $T_N$ residing inside $X$, the map** from $T_N \setminus D$ to $X$ constitutes a Kobayashi hyperbolic embedding when $D$ lies outside the mentioned Zariski closed subset. Furthermore, our investigation extends to the case where an algebraic divisor $D$ is a combination of $n+1$ hyperplanes and a hypersurface of degree $n$ within $\mathbb{P}^n$. When $\mathbb{P}^n \setminus D$ is already Kobayashi hyperbolically embedded within $\mathbb{P}^n,$ we demonstrate that it is possible to deform the degree $n$ hypersurface while retaining its hyperbolicity. Additionally, we explore a deformation process that preserves hyperbolicity, with the parameter residing within $\mathbb{P}^1 \setminus E,$ where $E$ represents a finite set.
△ Less
Submitted 3 November, 2023; v1 submitted 3 November, 2021;
originally announced November 2021.
-
A Constrained Consensus Based Optimization algorithm and its Application to Finance
Authors:
Hyeong-Ohk Bae,
Seung-Yeal Ha,
Myeongju Kang,
Hyuncheul Lim,
Chanho Min,
Jane Yoo
Abstract:
In this paper, we propose a predictor-corrector type Consensus Based Optimization (CBO) algorithm on a convex feasible set. Our proposed algorithm generalizes the CBO algorithm in [11] to tackle a constrained optimization problem for the global minima of the non-convex function defined on a convex domain. As a practical application of the proposed algorithm, we study the portfolio optimization pro…
▽ More
In this paper, we propose a predictor-corrector type Consensus Based Optimization (CBO) algorithm on a convex feasible set. Our proposed algorithm generalizes the CBO algorithm in [11] to tackle a constrained optimization problem for the global minima of the non-convex function defined on a convex domain. As a practical application of the proposed algorithm, we study the portfolio optimization problem in finance. In this application, we introduce an objective function to choose the optimal weight on each asset in a asset-bundle which yields the maximal expected returns given a certain level of risks. Simulation results show that our proposed predictor-corrector type model is successful in finding the optimal value.
△ Less
Submitted 12 October, 2021; v1 submitted 9 October, 2021;
originally announced October 2021.
-
Stop** times in the game Rock-Paper-Scissors
Authors:
Kyeonghoon Jeong,
Hyun Jae Yoo
Abstract:
In this paper we compute the stop** times in the game Rock-Paper-Scissors. By exploiting the recurrence relation we compute the mean values of stop** times. On the other hand, by constructing a transition matrix for a Markov chain associated with the game, we get also the distribution of the stop** times and thereby we compute the mean stop** times again. Then we show that the mean stoppin…
▽ More
In this paper we compute the stop** times in the game Rock-Paper-Scissors. By exploiting the recurrence relation we compute the mean values of stop** times. On the other hand, by constructing a transition matrix for a Markov chain associated with the game, we get also the distribution of the stop** times and thereby we compute the mean stop** times again. Then we show that the mean stop** times increase exponentially fast as the number of the participants increases.
△ Less
Submitted 31 May, 2019; v1 submitted 15 October, 2018;
originally announced October 2018.
-
A Mathematical Framework for Deep Learning in Elastic Source Imaging
Authors:
Jaejun Yoo,
Abdul Wahab,
Jong Chul Ye
Abstract:
An inverse elastic source problem with sparse measurements is of concern. A generic mathematical framework is proposed which incorporates a low- dimensional manifold regularization in the conventional source reconstruction algorithms thereby enhancing their performance with sparse datasets. It is rigorously established that the proposed framework is equivalent to the so-called \emph{deep convoluti…
▽ More
An inverse elastic source problem with sparse measurements is of concern. A generic mathematical framework is proposed which incorporates a low- dimensional manifold regularization in the conventional source reconstruction algorithms thereby enhancing their performance with sparse datasets. It is rigorously established that the proposed framework is equivalent to the so-called \emph{deep convolutional framelet expansion} in machine learning literature for inverse problems. Apposite numerical examples are furnished to substantiate the efficacy of the proposed framework.
△ Less
Submitted 25 May, 2018; v1 submitted 27 February, 2018;
originally announced February 2018.
-
Decomposition of infinite-to-one factor codes and uniqueness of relative equilibrium states
Authors:
Jisang Yoo
Abstract:
We show that an arbitrary factor map $π:X \to Y$ on an irreducible subshift of finite type is a composition of a finite-to-one factor code and a class degree one factor code. Using this structure theorem on infinite-to-one factor codes, we then prove that any equilibrium state $ν$ on $Y$ for a potential function of sufficient regularity lifts to a unique measure of maximal relative entropy on $X$.…
▽ More
We show that an arbitrary factor map $π:X \to Y$ on an irreducible subshift of finite type is a composition of a finite-to-one factor code and a class degree one factor code. Using this structure theorem on infinite-to-one factor codes, we then prove that any equilibrium state $ν$ on $Y$ for a potential function of sufficient regularity lifts to a unique measure of maximal relative entropy on $X$. This answers a question raised by Boyle and Petersen (for lifts of Markov measures) and generalizes the earlier known special case of finite-to-one factor codes.
△ Less
Submitted 1 February, 2018; v1 submitted 1 May, 2017;
originally announced May 2017.
-
Multiplicity structure of preimages of invariant measures under finite-to-one factor maps
Authors:
Jisang Yoo
Abstract:
Given a finite-to-one factor map $π: (X, T) \to (Y, S)$ between topological dynamical systems, we look into the pushforward map $π_*: M(X, T) \to M(Y,T)$ between sets of invariant measures. We investigate the structure of the measure fiber $π_*^{-1}(ν)$ for an arbitrary ergodic measure $ν$ on the factor system $Y$. We define the degree $d_{π,ν}$ of the factor map $π$ relative to $ν$ and the multip…
▽ More
Given a finite-to-one factor map $π: (X, T) \to (Y, S)$ between topological dynamical systems, we look into the pushforward map $π_*: M(X, T) \to M(Y,T)$ between sets of invariant measures. We investigate the structure of the measure fiber $π_*^{-1}(ν)$ for an arbitrary ergodic measure $ν$ on the factor system $Y$. We define the degree $d_{π,ν}$ of the factor map $π$ relative to $ν$ and the multiplicity of each ergodic measure $μ$ on $X$ that projects to $ν$, and show that the number of ergodic pre-images of $ν$ is $d_{π,ν}$ counting multiplicity. In other words, the degree $d_{π,ν}$ is the sum of the multiplicity of $μ$ where $μ$ runs over the ergodic measures in the measure fiber $π^{-1}_*(ν)$. This generalizes the following folklore result in symbolic dynamics for lifting fully supported invariant measures: Given a finite-to-one factor code $π: X \to Y$ between irreducible sofic shifts and an ergodic measure $ν$ on $Y$ with full support, $π^{-1}_*(ν)$ has at most $d_π$ ergodic measures in it, where $d_π$ is the degree of $π$. We apply our theory of structure of measure fibers to the special case of symbolic dynamical systems. In this case, we demonstrate that one can list all (finitely many) ergodic measures in the measure fiber $π^{-1}_*(ν)$.
△ Less
Submitted 1 February, 2018; v1 submitted 27 December, 2016;
originally announced December 2016.
-
A Joint Sparse Recovery Framework for Accurate Reconstruction of Inclusions in Elastic Media
Authors:
Jaejun Yoo,
Younghoon Jung,
Mikyoung Lim,
Jong Chul Ye,
Abdul Wahab
Abstract:
A robust algorithm is proposed to reconstruct the spatial support and the Lamé parameters of multiple inclusions in a homogeneous background elastic material using a few measurements of the displacement field over a finite collection of boundary points. The algorithm does not require any linearization or iterative update of Green's function but still allows very accurate reconstruction. The breakt…
▽ More
A robust algorithm is proposed to reconstruct the spatial support and the Lamé parameters of multiple inclusions in a homogeneous background elastic material using a few measurements of the displacement field over a finite collection of boundary points. The algorithm does not require any linearization or iterative update of Green's function but still allows very accurate reconstruction. The breakthrough comes from a novel interpretation of Lippmann-Schwinger type integral representation of the displacement field in terms of unknown densities having common sparse support on the location of inclusions. Accordingly, the proposed algorithm consists of a two-step approach. First, the localization problem is recast as a joint sparse recovery problem that renders the densities and the inclusion support simultaneously. Then, a noise robust constrained optimization problem is formulated for the reconstruction of elastic parameters. An efficient algorithm is designed for numerical implementation using the Multiple Sparse Bayesian Learning (M-SBL) for joint sparse recovery problem and the Constrained Split Augmented Lagrangian Shrinkage Algorithm (C-SALSA) for the constrained optimization problem. The efficacy of the proposed framework is manifested through extensive numerical simulations. To the best of our knowledge, this is the first algorithm tailored for parameter reconstruction problems in elastic media using highly under-sampled data in the sense of Nyquist rate.
△ Less
Submitted 23 February, 2017; v1 submitted 26 October, 2016;
originally announced October 2016.
-
Multiplicity of measures under factor codes and class degree joinings
Authors:
Jisang Yoo
Abstract:
Given a finite-to-one factor code $π: X \to Y$ between irreducible sofic shifts and an ergodic $ν$ on $Y$ with full support, it is known that the fiber $π^{-1}_*(ν)$ has at most $d_π$ ergodic measures in it where $d_π$ is the degree of $π$. We introduce the notion of multiplicity for ergodic measures on $X$ (that depends on $π$) and we prove that $d_π$ is the sum of the multiplicity of $μ$ where…
▽ More
Given a finite-to-one factor code $π: X \to Y$ between irreducible sofic shifts and an ergodic $ν$ on $Y$ with full support, it is known that the fiber $π^{-1}_*(ν)$ has at most $d_π$ ergodic measures in it where $d_π$ is the degree of $π$. We introduce the notion of multiplicity for ergodic measures on $X$ (that depends on $π$) and we prove that $d_π$ is the sum of the multiplicity of $μ$ where $μ$ runs over the ergodic measures in $π^{-1}_*(ν)$. We also build an appropriate generalization to infinite-to-one factor codes in relation to class degree and relatively maximal measures. We also define the notion of degree joining (for finite-to-one factor codes) and class degree joining (for infinite-to-one factor codes) which are the main tool for establishing our results
△ Less
Submitted 8 January, 2015;
originally announced January 2015.
-
Relative equilibrium states and class degree
Authors:
Jisang Yoo
Abstract:
Given a factor code $π$ from a shift of finite type $X$ onto a sofic shift $Y$, an ergodic measure $ν$ on $Y$, and a function $V$ on $X$ with summable variation, we prove an invariant upper bound on the number of ergodic measures on $X$ which project to $ν$ and maximize $h(μ) + \int V dμ$ among all measures in the fiber $π^{-1}(ν)$. If $ν$ is fully supported, this bound is the class degree of $π$.…
▽ More
Given a factor code $π$ from a shift of finite type $X$ onto a sofic shift $Y$, an ergodic measure $ν$ on $Y$, and a function $V$ on $X$ with summable variation, we prove an invariant upper bound on the number of ergodic measures on $X$ which project to $ν$ and maximize $h(μ) + \int V dμ$ among all measures in the fiber $π^{-1}(ν)$. If $ν$ is fully supported, this bound is the class degree of $π$. This generalizes a previous result for the special case of $V=0$.
△ Less
Submitted 18 November, 2014;
originally announced November 2014.
-
On continuing codes
Authors:
Jisang Yoo
Abstract:
We investigate what happens when we try to work with continuing block codes (i.e. left or right continuing factor maps) between shift spaces that may not be shifts of finite type. For example, we demonstrate that continuing block codes on strictly sofic shifts do not behave as well as those on shifts of finite type; a continuing block code on a sofic shift need not have a uniformly bounded retract…
▽ More
We investigate what happens when we try to work with continuing block codes (i.e. left or right continuing factor maps) between shift spaces that may not be shifts of finite type. For example, we demonstrate that continuing block codes on strictly sofic shifts do not behave as well as those on shifts of finite type; a continuing block code on a sofic shift need not have a uniformly bounded retract, unlike one on a shift of finite type. A right eresolving code on a sofic shift can display any behavior arbitrary block codes can have. We also show that a right continuing factor of a shift of finite type is always a shift of finite type.
△ Less
Submitted 26 October, 2014; v1 submitted 28 July, 2013;
originally announced July 2013.
-
A Variational Principle in the Dual Pair of Reproducing Kernel Hilbert Spaces and an Application
Authors:
Hyun Jae Yoo
Abstract:
Given a positive definite, bounded linear operator $A$ on the Hilbert space $\mathcal{H}_0:=l^2(E)$, we consider a reproducing kernel Hilbert space $\mathcal{H}_+$ with a reproducing kernel $A(x,y)$. Here $E$ is any countable set and $A(x,y)$, $x,y\in E$, is the representation of $A$ w.r.t. the usual basis of $\mathcal{H}_0$. Imposing further conditions on the operator $A$, we also consider anot…
▽ More
Given a positive definite, bounded linear operator $A$ on the Hilbert space $\mathcal{H}_0:=l^2(E)$, we consider a reproducing kernel Hilbert space $\mathcal{H}_+$ with a reproducing kernel $A(x,y)$. Here $E$ is any countable set and $A(x,y)$, $x,y\in E$, is the representation of $A$ w.r.t. the usual basis of $\mathcal{H}_0$. Imposing further conditions on the operator $A$, we also consider another reproducing kernel Hilbert space $\mathcal{H}_-$ with a kernel function $B(x,y)$, which is the representation of the inverse of $A$ in a sense, so that $\mathcal{H}_-\supset\mathcal{H}_0\supset\mathcal{H}_+$ becomes a rigged Hilbert space. We investigate a relationship between the ratios of determinants of some partial matrices related to $A$ and $B$ and the suitable projections in $\mathcal{H}_-$ and $\mathcal{H}_+$. We also get a variational principle on the limit ratios of these values. We apply this relation to show the Gibbsianness of the determinantal point process (or fermion point process) defined by the operator $A(I+A)^{-1}$ on the set $E$. It turns out that the class of determinantal point processes that can be recognized as Gibbs measures for suitable interactions is much bigger than that obtained by Shirai and Takahashi.
△ Less
Submitted 10 June, 2005;
originally announced June 2005.
-
Conditional Intensity and Gibbsianness of Determinantal Point Processes
Authors:
Hans-Otto Georgii,
Hyun Jae Yoo
Abstract:
The Papangelou intensities of determinantal (or fermion) point processes are investigated. These exhibit a monotonicity property expressing the repulsive nature of the interaction, and satisfy a bound implying stochastic domination by a Poisson point process. We also show that determinantal point processes satisfy the so-called condition $(Σ_λ)$ which is a general form of Gibbsianness. Under a c…
▽ More
The Papangelou intensities of determinantal (or fermion) point processes are investigated. These exhibit a monotonicity property expressing the repulsive nature of the interaction, and satisfy a bound implying stochastic domination by a Poisson point process. We also show that determinantal point processes satisfy the so-called condition $(Σ_λ)$ which is a general form of Gibbsianness. Under a continuity assumption, the Gibbsian conditional probabilities can be identified explicitly.
△ Less
Submitted 14 September, 2004; v1 submitted 28 January, 2004;
originally announced January 2004.