-
A central limit theorem for partial transposes of multipartite Wishart matrices
Authors:
Gyunam Park,
Sang-Gyun Youn
Abstract:
The partial transposition from quantum information theory provides a new source to distill the so-called asymptotic freeness without the assumption of classical independence between random matrices. Indeed, a recent paper [MP19] established asymptotic freeness between partial transposes in the bipartite situation. In this paper, we prove almost sure asymptotic freeness in the general multipartite…
▽ More
The partial transposition from quantum information theory provides a new source to distill the so-called asymptotic freeness without the assumption of classical independence between random matrices. Indeed, a recent paper [MP19] established asymptotic freeness between partial transposes in the bipartite situation. In this paper, we prove almost sure asymptotic freeness in the general multipartite situation and establish a central limit theorem for the partial transposes.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Bayesian Approach to Linear Bayesian Networks
Authors:
Seyong Hwang,
Kyoungjae Lee,
Sunmin Oh,
Gunwoong Park
Abstract:
This study proposes the first Bayesian approach for learning high-dimensional linear Bayesian networks. The proposed approach iteratively estimates each element of the topological ordering from backward and its parent using the inverse of a partial covariance matrix. The proposed method successfully recovers the underlying structure when Bayesian regularization for the inverse covariance matrix wi…
▽ More
This study proposes the first Bayesian approach for learning high-dimensional linear Bayesian networks. The proposed approach iteratively estimates each element of the topological ordering from backward and its parent using the inverse of a partial covariance matrix. The proposed method successfully recovers the underlying structure when Bayesian regularization for the inverse covariance matrix with unequal shrinkage is applied. Specifically, it shows that the number of samples $n = Ω( d_M^2 \log p)$ and $n = Ω(d_M^2 p^{2/m})$ are sufficient for the proposed algorithm to learn linear Bayesian networks with sub-Gaussian and 4m-th bounded-moment error distributions, respectively, where $p$ is the number of nodes and $d_M$ is the maximum degree of the moralized graph. The theoretical findings are supported by extensive simulation studies including real data analysis. Furthermore the proposed method is demonstrated to outperform state-of-the-art frequentist approaches, such as the BHLSM, LISTEN, and TD algorithms in synthetic data.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Du Bois complex and extension of forms beyond rational singularities
Authors:
Sung Gi Park
Abstract:
We establish a characterization of the Du Bois complex of a reduced pair $(X,Z)$ when $X\smallsetminus Z$ has rational singularities. As an application, when $X$ has normal Du Bois singularities and $Z$ is the locus of non-rational singularities of $X$, holomorphic $p$-forms on the smooth locus of $X$ extend regularly to forms on a resolution of singularities for $p\le\mathrm{codim}_X Z-1$, and to…
▽ More
We establish a characterization of the Du Bois complex of a reduced pair $(X,Z)$ when $X\smallsetminus Z$ has rational singularities. As an application, when $X$ has normal Du Bois singularities and $Z$ is the locus of non-rational singularities of $X$, holomorphic $p$-forms on the smooth locus of $X$ extend regularly to forms on a resolution of singularities for $p\le\mathrm{codim}_X Z-1$, and to forms with log poles over $Z$ for $p\ge\mathrm{codim}_X Z$. If $X$ is not necessarily Du Bois, then $p$-forms extend regularly for $p\le\mathrm{codim}_X Z-2$. This is a generalization of the theorems of Flenner, Greb-Kebekus-Kovács-Peternell, and Kebekus-Schnell on extending holomorphic (log) forms.
A by-product of our methods is a new proof of the theorem of Kollár-Kovács that log canonical singularities are Du Bois. We also show that the Proj of the log canonical ring of a log canonical pair is Du Bois if this ring is finitely generated. The proofs are based on Saito's theory of mixed Hodge modules.
△ Less
Submitted 8 February, 2024; v1 submitted 25 November, 2023;
originally announced November 2023.
-
Minimal skew semistandard tableaux and the Hillman--Grassl correspondence
Authors:
Alejandro H. Morales,
Greta Panova,
GaYee Park
Abstract:
Standard tableaux of skew shape are fundamental objects in enumerative and algebraic combinatorics and no product formula for the number is known. In 2014, Naruse gave a formula (NHLF) as a positive sum over excited diagrams of products of hook-lengths. Subsequently, Morales, Pak, and Panova gave a $q$-analogue of this formula in terms of skew semistandard tableaux (SSYT). They also showed, partly…
▽ More
Standard tableaux of skew shape are fundamental objects in enumerative and algebraic combinatorics and no product formula for the number is known. In 2014, Naruse gave a formula (NHLF) as a positive sum over excited diagrams of products of hook-lengths. Subsequently, Morales, Pak, and Panova gave a $q$-analogue of this formula in terms of skew semistandard tableaux (SSYT). They also showed, partly algebraically, that the Hillman--Grassl map, restricted to skew semistandard tableaux, is behind their $q$-analogue. We study the problem of circumventing the algebraic part and proving the bijection completely combinatorially, which we do for border strips. For a skew shape, we define minimal semistandard Young tableaux, that are in correspondence with excited diagrams via a new description of the Hillman--Grassl bijection and have an analogue of excited moves. Lastly, we relate the minimal skew SSYT with the terms of the Okounkov-Olshanski formula (OOF) for counting standard tableaux of skew shape. Our construction immediately implies that the summands in the NHLF are less than the summands in the OOF and we characterize the shapes where both formulas have the same number of summands.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Optimal Impact Angle Guidance via First-Order Optimization under Nonconvex Constraints
Authors:
Gyubin Park,
Jiwoo Choi,
Da Hoon Jeong,
Jong-Han Kim
Abstract:
Most of the optimal guidance problems can be formulated as nonconvex optimization problems, which can be solved indirectly by relaxation, convexification, or linearization. Although these methods are guaranteed to converge to the global optimum of the modified problems, the obtained solution may not guarantee global optimality or even the feasibility of the original nonconvex problems. In this pap…
▽ More
Most of the optimal guidance problems can be formulated as nonconvex optimization problems, which can be solved indirectly by relaxation, convexification, or linearization. Although these methods are guaranteed to converge to the global optimum of the modified problems, the obtained solution may not guarantee global optimality or even the feasibility of the original nonconvex problems. In this paper, we propose a computational optimal guidance approach that directly handles the nonconvex constraints encountered in formulating the guidance problems. The proposed computational guidance approach alternately solves the least squares problems and projects the solution onto nonconvex feasible sets, which rapidly converges to feasible suboptimal solutions or sometimes to the globally optimal solutions. The proposed algorithm is verified via a series of numerical simulations on impact angle guidance problems under state dependent maneuver vector constraints, and it is demonstrated that the proposed algorithm provides superior guidance performance than conventional techniques.
△ Less
Submitted 17 March, 2024; v1 submitted 30 September, 2023;
originally announced October 2023.
-
On Correcting Errors in Existing Mathematical Approaches for UAV Trajectory Design Considering No-Fly-Zones
Authors:
Kanghyun Heo,
Gitae Park,
Kisong Lee
Abstract:
Motivated by the fact that current mathematical methods for the trajectory design of an unmanned aerial vehicle (UAV) considering no-fly-zones (NFZs) cannot perfectly avoid NFZs throughout the entire continuous trajectory, this study introduces a new constraint that ensures the complete avoidance of NFZs. Moreover, we provide mathematical proof demonstrating that a UAV operating within the propose…
▽ More
Motivated by the fact that current mathematical methods for the trajectory design of an unmanned aerial vehicle (UAV) considering no-fly-zones (NFZs) cannot perfectly avoid NFZs throughout the entire continuous trajectory, this study introduces a new constraint that ensures the complete avoidance of NFZs. Moreover, we provide mathematical proof demonstrating that a UAV operating within the proposed constraints will never violate NFZs. Under the proposed constraint on NFZs, we aim to optimize the scheduling, transmit power, length of the time slot, and the trajectory of the UAV to maximize the minimum throughput among ground nodes without violating NFZs. To find the optimal UAV strategy from the non-convex optimization problem formulated here, we use various optimization techniques, in this case quadratic transform, successive convex approximation, and the block coordinate descent algorithm. Simulation results confirm that the proposed constraint prevents NFZs from being violated over the entire trajectory in any scenario. Furthermore, the proposed scheme shows significantly higher throughput than the baseline scheme using the traditional NFZ constraint by achieving a zero outage probability due to NFZ violations.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Input-Output Feedback Linearization Preserving Task Priority for Multivariate Nonlinear Systems Having Singular Input Gain Matrix
Authors:
Sang-ik An,
Dongheui Lee,
Gyunghoon Park
Abstract:
We propose an extension of the input-output feedback linearization for a class of multivariate systems that are not input-output linearizable in a classical manner. The key observation is that the usual input-output linearization problem can be interpreted as the problem of solving simultaneous linear equations associated with the input gain matrix: thus, even at points where the input gain matrix…
▽ More
We propose an extension of the input-output feedback linearization for a class of multivariate systems that are not input-output linearizable in a classical manner. The key observation is that the usual input-output linearization problem can be interpreted as the problem of solving simultaneous linear equations associated with the input gain matrix: thus, even at points where the input gain matrix becomes singular, it is still possible to solve a part of linear equations, by which a subset of input-output relations is made linear or close to be linear. Based on this observation, we adopt the task priority-based approach in the input-output linearization problem. First, we generalize the classical Byrnes-Isidori normal form to a prioritized normal form having a triangular structure, so that the singularity of a subblock of the input gain matrix related to lower-priority tasks does not directly propagate to higher-priority tasks. Next, we present a prioritized input-output linearization via the multi-objective optimization with the lexicographical ordering, resulting in a prioritized semilinear form that establishes input output relations whose subset with higher priority is linear or close to be linear. Finally, Lyapunov analysis on ultimate boundedness and task achievement is provided, particularly when the proposed prioritized input-output linearization is applied to the output tracking problem. This work introduces a new control framework for complex systems having critical and noncritical control issues, by assigning higher priority to the critical ones.
△ Less
Submitted 4 May, 2023; v1 submitted 3 May, 2023;
originally announced May 2023.
-
Efficient Point Mass Predictor for Continuous and Discrete Models with Linear Dynamics
Authors:
Jakub Matousek,
**drich Dunik,
Marek Brandner,
Chan Gook Park,
Yeongkwon Choe
Abstract:
This paper deals with state estimation of stochastic models with linear state dynamics, continuous or discrete in time. The emphasis is laid on a numerical solution to the state prediction by the time-update step of the grid-point-based point-mass filter (PMF), which is the most computationally demanding part of the PMF algorithm. A novel way of manipulating the grid, leading to the time-update in…
▽ More
This paper deals with state estimation of stochastic models with linear state dynamics, continuous or discrete in time. The emphasis is laid on a numerical solution to the state prediction by the time-update step of the grid-point-based point-mass filter (PMF), which is the most computationally demanding part of the PMF algorithm. A novel way of manipulating the grid, leading to the time-update in form of a convolution, is proposed. This reduces the PMF time complexity from quadratic to log-linear with respect to the number of grid points. Furthermore, the number of unique transition probability values is greatly reduced causing a significant reduction of the data storage needed. The proposed PMF prediction step is verified in a numerical study.
△ Less
Submitted 17 April, 2023; v1 submitted 24 February, 2023;
originally announced February 2023.
-
Viehweg hyperbolicity for Whitney equisingular families with Gorenstein rational singularities
Authors:
Sung Gi Park
Abstract:
We prove the analogue of Viehweg's hyperbolicity conjecture for Whitney equisingular families of projective varieties with Gorenstein rational singularities whose geometric generic fiber has a good minimal model. Namely, for such families with maximal variation, the base spaces are of log general type. The main new ingredient is the use of intersection complexes as Hodge modules in the constructio…
▽ More
We prove the analogue of Viehweg's hyperbolicity conjecture for Whitney equisingular families of projective varieties with Gorenstein rational singularities whose geometric generic fiber has a good minimal model. Namely, for such families with maximal variation, the base spaces are of log general type. The main new ingredient is the use of intersection complexes as Hodge modules in the construction of logarithmic Higgs sheaves by Viehweg-Zuo and Popa-Schnell. This construction suggests an equisingular stratification of the moduli space of varieties of general type, with each stratum being hyperbolic, and our result is a first step in this direction.
△ Less
Submitted 3 November, 2022; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Logarithmic base change theorem and smooth descent of positivity of log canonical divisor
Authors:
Sung Gi Park
Abstract:
We prove a logarithmic base change theorem for pushforwards of pluri-canonical bundles and use it to deduce that positivity properties of log canonical divisors descend via smooth projective morphisms. As an application, for a surjective morphism $f:X\to Y$ with $κ(X)\ge 0$ and $-K_Y$ big, we prove $Y\setminus Δ(f)$ is of log general type, where $Δ(f)$ is the discriminant locus. In particular, whe…
▽ More
We prove a logarithmic base change theorem for pushforwards of pluri-canonical bundles and use it to deduce that positivity properties of log canonical divisors descend via smooth projective morphisms. As an application, for a surjective morphism $f:X\to Y$ with $κ(X)\ge 0$ and $-K_Y$ big, we prove $Y\setminus Δ(f)$ is of log general type, where $Δ(f)$ is the discriminant locus. In particular, when $Y=\mathbb{P}^n$ we have $\dim Δ(f)=n-1$ and $\mathrm{deg}\,Δ(f)\ge n+2$, generalizing the case $n=1$ proved by Viehweg-Zuo. In addition, we prove Popa's conjecture on the superadditivity of the logarithmic Kodaira dimension of smooth algebraic fiber spaces over bases of dimension at most three and analyze related problems.
△ Less
Submitted 19 April, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Implementation and performance analysis of efficient grid-free integral wall models in unstructured-grid LES solvers
Authors:
Imran Hayat,
George Ilhwan Park
Abstract:
Two zonal wall models based on integral form of the boundary layer differential equations, albeit with algebraic complexity, have been implemented in an unstructured-grid cell-centered finite-volume LES solver. The first model is a novel implementation of the ODE equilibrium wall model, where the velocity profile is expressed in the integral form using the constant shear-stress layer assumption an…
▽ More
Two zonal wall models based on integral form of the boundary layer differential equations, albeit with algebraic complexity, have been implemented in an unstructured-grid cell-centered finite-volume LES solver. The first model is a novel implementation of the ODE equilibrium wall model, where the velocity profile is expressed in the integral form using the constant shear-stress layer assumption and the integral is evaluated using a spectral quadrature method, resulting in a local and algebraic (grid-free) formulation. The second model, which closely follows the integral wall model of Yang et al. (Phys. Fluids 27, 025112 (2015)), is based on the vertically-integrated thin-boundary-layer PDE along with a prescribed composite velocity profile in the wall-modeled region. Several numerical challenges unique to the implementation of these integral models in unstructured mesh environments, such as the exchange of wall quantities between wall faces and LES cells, and the computation of surface gradients, are identified and possible remedies are proposed. The performance of the wall models is assessed both in a priori and a posteriori settings against the traditional finite-volume based ODE equilibrium wall model, showing a comparable computational cost for the integral wall model, and superior performance for the spectral implementation over the finite-volume based approach. Load imbalance among the processors in parallel simulations seems to severely degrade the parallel efficiency of finite-volume based ODE wall model, whereas the spectral implementation is remarkably agnostic to these effects.
△ Less
Submitted 11 July, 2023; v1 submitted 29 October, 2021;
originally announced November 2021.
-
Detecting Carbon Nanotube Orientation with Topological Data Analysis of Scanning Electron Micrographs
Authors:
Liyu Dong,
Haibin Hang,
** Gyu Park,
Washington Mio,
Richard Liang
Abstract:
As the aerospace industry becomes increasingly demanding for stronger lightweight materials, the ultra-strong carbon nanotube (CNT) composites with highly aligned CNT network structures could be the answer. In this work, a novel methodology applying topological data analysis (TDA) to the scanning electron microscope (SEM) images was developed to detect CNT orientation. The CNT bundle extensions in…
▽ More
As the aerospace industry becomes increasingly demanding for stronger lightweight materials, the ultra-strong carbon nanotube (CNT) composites with highly aligned CNT network structures could be the answer. In this work, a novel methodology applying topological data analysis (TDA) to the scanning electron microscope (SEM) images was developed to detect CNT orientation. The CNT bundle extensions in certain directions were summarized algebraically and expressed as visible barcodes. The barcodes were then calculated and converted into the total spread function $V(X,θ)$, from which the alignment fraction and the preferred direction could be determined. For validation purposes, the random CNT sheets were mechanically stretched at various strain ratios ranging from $0-40\%$, and quantitative TDA analysis was conducted based on the SEM images taken at random positions. The results showed high consistency ($R^2=0.975$) compared to the Herman's orientation factors derived from the polarized Raman spectroscopy and wide-angle X-ray scattering analysis. Additionally, the TDA method presented great robustness with varying SEM acceleration voltages and magnifications, which might alter the scope in alignment detection. With potential applications in nanofiber systems, this study offers a rapid and simple way to quantify CNT alignment, which plays a crucial role in transferring the CNT properties into engineering products.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
On the smallest area $n-1$-gon containing a convex $n$-gon
Authors:
Elliot Hong,
Dan Ismailescu,
Alex Kwak,
Grace Yeeun Park
Abstract:
We prove that every unit area convex pentagon is contained in a convex quadrilateral of area no greater than $3/\sqrt{5}$, and that every unit area convex hexagon is contained in a convex pentagon of area no greater than $7/6$. Both results are tight as the case of the regular pentagon (hexagon) shows. We conjecture that for every $n\ge 6$, every unit area convex $n$ - gon is contained in a…
▽ More
We prove that every unit area convex pentagon is contained in a convex quadrilateral of area no greater than $3/\sqrt{5}$, and that every unit area convex hexagon is contained in a convex pentagon of area no greater than $7/6$. Both results are tight as the case of the regular pentagon (hexagon) shows. We conjecture that for every $n\ge 6$, every unit area convex $n$ - gon is contained in a $(n-1)$ - gon of area no greater than $1+\tan(2π/n)\sec(π/n)/n$.
△ Less
Submitted 31 July, 2021;
originally announced August 2021.
-
Naruse hook formula for linear extensions of mobile posets
Authors:
GaYee Park
Abstract:
Linear extensions of posets are important objects in enumerative and algebraic combinatorics that are difficult to count in general. Families of posets like Young diagrams of straight shapes and $d$-complete posets have hook-length product formulas to count linear extensions, whereas families like Young diagrams of skew shapes have determinant or positive sum formulas like the Naruse hook-length f…
▽ More
Linear extensions of posets are important objects in enumerative and algebraic combinatorics that are difficult to count in general. Families of posets like Young diagrams of straight shapes and $d$-complete posets have hook-length product formulas to count linear extensions, whereas families like Young diagrams of skew shapes have determinant or positive sum formulas like the Naruse hook-length formula from 2014. In 2020, Garver et. al. gave determinant formulas to count linear extensions of a family of posets called mobile posets that refine $d$-complete posets and border strip skew shapes. We give a Naruse type hook-length formula to count linear extensions of such posets by proving a major index $q$-analogue. We also a inversion index $q$-analogue of the Naruse formula for mobile tree posets.
△ Less
Submitted 5 May, 2021; v1 submitted 22 April, 2021;
originally announced April 2021.
-
AF-embeddable labeled graph $C^*$-algebras
Authors:
Ja A Jeong,
Gi Hyun Park
Abstract:
Finiteness conditions for $C^*$-algebras like AF-embeddability, quasidiagonality, stable finiteness have been studied by many authors and shown to be equivalent for certain classes of $C^*$-algebras. For example, Schfhauser proves that these conditions are all equivalent for $C^*$-algebras of compact topological graphs, and similar results were established by Clark, an Huef, and Sims for $k$-graph…
▽ More
Finiteness conditions for $C^*$-algebras like AF-embeddability, quasidiagonality, stable finiteness have been studied by many authors and shown to be equivalent for certain classes of $C^*$-algebras. For example, Schfhauser proves that these conditions are all equivalent for $C^*$-algebras of compact topological graphs, and similar results were established by Clark, an Huef, and Sims for $k$-graph algebras. If $C^*(E,\mathcal L)$ is a labeled graph $C^*$-algebra over finite alphabet, it can be viewed as a $C^*$-algebra of a compact topological graph. For these labeled graph $C^*$-algebras, we provide conditions on labeled paths and show that they are equivalent to AF-embeddability of $C^*(E,\mathcal L)$.
△ Less
Submitted 1 November, 2018;
originally announced November 2018.
-
Proof of the Gorenstein Interval Conjecture in low socle degree
Authors:
Sung Gi Park,
Richard P. Stanley,
Fabrizio Zanello
Abstract:
Roughly ten years ago, the following "Gorenstein Interval Conjecture" (GIC) was proposed: Whenever $(1,h_1,\dots,h_i,\dots,h_{e-i},\dots,h_{e-1},1)$ and $(1,h_1,\dots,h_i+α,\dots,h_{e-i}+α,\dots,h_{e-1},1)$ are both Gorenstein Hilbert functions for some $α\geq 2$, then $(1,h_1,\dots,h_i+β,\dots,h_{e-i}+β,\dots,h_{e-1},1)$ is also Gorenstein, for all $β=1,2,\dots,α-1$. Since an explicit characteriz…
▽ More
Roughly ten years ago, the following "Gorenstein Interval Conjecture" (GIC) was proposed: Whenever $(1,h_1,\dots,h_i,\dots,h_{e-i},\dots,h_{e-1},1)$ and $(1,h_1,\dots,h_i+α,\dots,h_{e-i}+α,\dots,h_{e-1},1)$ are both Gorenstein Hilbert functions for some $α\geq 2$, then $(1,h_1,\dots,h_i+β,\dots,h_{e-i}+β,\dots,h_{e-1},1)$ is also Gorenstein, for all $β=1,2,\dots,α-1$. Since an explicit characterization of which Hilbert functions are Gorenstein is widely believed to be hopeless, the GIC, if true, would at least provide the existence of a strong, and very natural, structural property for such basic functions in commutative algebra. Before now, very little progress was made on the GIC.
The main goal of this note is to prove the case $e\le 5$, in arbitrary codimension. Our arguments will be in part constructive, and will combine several different tools of commutative algebra and classical algebraic geometry.
△ Less
Submitted 9 January, 2019; v1 submitted 23 April, 2018;
originally announced April 2018.
-
Simple labeled graph $C^*$-algebras are associated to disagreeable labeled spaces
Authors:
Ja A Jeong,
Gi Hyun Park
Abstract:
By a labeled graph $C^*$-algebra we mean a $C^*$-algebra associated to a labeled space $(E,\mathcal L,\mathcal E)$ consisting of a labeled graph $(E,\mathcal L)$ and the smallest normal accommodating set $\mathcal E$ of vertex subsets. Every graph $C^*$-algebra $C^*(E)$ is a labeled graph $C^*$-algebra and it is well known that $C^*(E)$ is simple if and only if the graph $E$ is cofinal and satisfi…
▽ More
By a labeled graph $C^*$-algebra we mean a $C^*$-algebra associated to a labeled space $(E,\mathcal L,\mathcal E)$ consisting of a labeled graph $(E,\mathcal L)$ and the smallest normal accommodating set $\mathcal E$ of vertex subsets. Every graph $C^*$-algebra $C^*(E)$ is a labeled graph $C^*$-algebra and it is well known that $C^*(E)$ is simple if and only if the graph $E$ is cofinal and satisfies Condition (L). Bates and Pask extend these conditions of graphs $E$ to labeled spaces, and show that if a set-finite and receiver set-finite labeled space $(E,\mathcal L, \mathcal E)$ is cofinal and disagreeable, then its $C^*$-algebra $C^*(E,\mathcal L, \mathcal E)$ is simple. In this paper, we show that the converse is also true.
△ Less
Submitted 30 July, 2017; v1 submitted 16 July, 2017;
originally announced July 2017.
-
Purely infinite labeled graph $C^*$-algebras
Authors:
Ja A Jeong,
Eun Ji Kang,
Gi Hyun Park
Abstract:
In this paper, we consider pure infiniteness of generalized Cuntz-Krieger algebras associated to labeled spaces $(E,\mathcal{L},\mathcal{E})$. It is shown that a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{E})$ is purely infinite in the sense that every nonzero hereditary subalgebra contains an infinite projection (we call this property (IH)) if $(E, \mathcal{L},\mathcal{E})$ is disagreeable and eve…
▽ More
In this paper, we consider pure infiniteness of generalized Cuntz-Krieger algebras associated to labeled spaces $(E,\mathcal{L},\mathcal{E})$. It is shown that a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{E})$ is purely infinite in the sense that every nonzero hereditary subalgebra contains an infinite projection (we call this property (IH)) if $(E, \mathcal{L},\mathcal{E})$ is disagreeable and every vertex connects to a loop. We also prove that under the condition analogous to (K) for usual graphs, $C^*(E,\mathcal{L},\mathcal{E})=C^*(p_A, s_a)$ is purely infinite in the sense of Kirchberg and Rørdam if and only if every generating projection $p_A$, $A\in \mathcal{E}$, is properly infinite, and also if and only if every quotient of $C^*(E,\mathcal{L},\mathcal{E})$ has the property (IH).
△ Less
Submitted 5 March, 2017;
originally announced March 2017.
-
Yet Another Tutorial of Disturbance Observer: Robust Stabilization and Recovery of Nominal Performance
Authors:
Hyungbo Shim,
Gyunghoon Park,
Youngjun Joo,
Juhoon Back,
Nam Hoon Jo
Abstract:
This paper presents a tutorial-style review on the recent results about the disturbance observer (DOB) in view of robust stabilization and recovery of the nominal performance. The analysis is based on the case when the bandwidth of Q-filter is large, and it is explained in a pedagogical manner that, even in the presence of plant uncertainties and disturbances, the behavior of real uncertain plant…
▽ More
This paper presents a tutorial-style review on the recent results about the disturbance observer (DOB) in view of robust stabilization and recovery of the nominal performance. The analysis is based on the case when the bandwidth of Q-filter is large, and it is explained in a pedagogical manner that, even in the presence of plant uncertainties and disturbances, the behavior of real uncertain plant can be made almost similar to that of disturbance-free nominal system both in the transient and in the steady-state. The conventional DOB is interpreted in a new perspective, and its restrictions and extensions are discussed.
△ Less
Submitted 19 June, 2016; v1 submitted 8 January, 2016;
originally announced January 2016.
-
Vertical Trajectory Optimization to Minimize Environmental Impact in the Presence of Wind
Authors:
Sang Gyun Park,
John-Paul Clarke
Abstract:
The vertical trajectory optimization for the en route descent phase is studied in the presence of both along track and cross winds, which are both modeled as functions of altitude. The flight range covers some portion of a cruise segment and ends at a meter fix. The descent trajectory is assumed as a flight idle descent. The problem is formulated as an optimal control problem with both mixed state…
▽ More
The vertical trajectory optimization for the en route descent phase is studied in the presence of both along track and cross winds, which are both modeled as functions of altitude. The flight range covers some portion of a cruise segment and ends at a meter fix. The descent trajectory is assumed as a flight idle descent. The problem is formulated as an optimal control problem with both mixed state path constraints and pure state constraints. For minimizing environmental impacts, we optimize descent trajectory with respect to two cost functionals: fuel and emissions cost. We analyze both singular arc and boundary arc using the necessary conditions of the optimality. From the analysis result, we propose the optimal trajectory generation method, in which the optimal trajectory is generated by the backward and forward integration. The trajectory from the proposed algorithm is compared to the numerical optimal solution of the original optimal control problem. The result shows that proposed algorithm generates the same solution as the numerical optimal solution. The wind speed, wind shear, and cross wind effects on the optimal trajectory are analyzed with two aircraft type, Boeing 737-500 and Boeing 767-400.
△ Less
Submitted 7 August, 2015;
originally announced August 2015.
-
Finite simple labeled graph $C^*$-algebras of Cantor minimal subshifts
Authors:
Ja A Jeong,
Eun Ji Kang,
Sun Ho Kim,
Gi Hyun Park
Abstract:
It is now well known that a simple graph $C^*$-algebra $C^*(E)$ of a directed graph $E$ is either AF or purely infinite. In this paper, we address the question of whether this is the case for labeled graph $C^*$-algebras recently introduced by Bates and Pask as one of the generalizations of graph $C^*$-algebras, and show that there exists a family of simple unital labeled graph $C^*$-algebras whic…
▽ More
It is now well known that a simple graph $C^*$-algebra $C^*(E)$ of a directed graph $E$ is either AF or purely infinite. In this paper, we address the question of whether this is the case for labeled graph $C^*$-algebras recently introduced by Bates and Pask as one of the generalizations of graph $C^*$-algebras, and show that there exists a family of simple unital labeled graph $C^*$-algebras which are neither AF nor purely infinite. Actually these algebras are shown to be isomorphic to crossed products $C(X)\times_T \mathbb Z$ where the dynamical systems $(X,T)$ are Cantor minimal subshifts. Then it is an immediate consequence of well known results about this type of crossed products that each labeled graph $C^*$-algebra in the family obtained here is an $A\mathbb T$ algebra with real rank zero and has $\mathbb Z$ as its $K_1$-group.
△ Less
Submitted 28 February, 2016; v1 submitted 14 April, 2015;
originally announced April 2015.
-
The structure of gauge-invariant ideals of labelled graph $C^*$-algebras
Authors:
Ja A Jeong,
Sun Ho Kim,
Gi Hyun Park
Abstract:
In this paper, we consider the gauge-invariant ideal structure of a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{B})$ associated to a set-finite, receiver set-finite and weakly left-resolving labelled space $(E,\mathcal{L},\mathcal{B})$, where $\mathcal{L}$ is a labelling map assigning an alphabet to each edge of the directed graph $E$ with no sinks. Under the assumption that an accommodating set…
▽ More
In this paper, we consider the gauge-invariant ideal structure of a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{B})$ associated to a set-finite, receiver set-finite and weakly left-resolving labelled space $(E,\mathcal{L},\mathcal{B})$, where $\mathcal{L}$ is a labelling map assigning an alphabet to each edge of the directed graph $E$ with no sinks. Under the assumption that an accommodating set $\mathcal{B}$ is closed under taking relative complement, it is obtained that there is a one to one correspondence between the set of all hereditary saturated subsets of $\mathcal{B}$ and the gauge-invariant ideals of $C^*(E,\mathcal{L},\mathcal{B})$. For this, we introduce a quotient labelled space $(E,\mathcal{L},[\mathcal{B}]_R)$ arising from an equivalence relation $\sim_R$ on $\mathcal{B}$ and show the existence of the $C^*$-algebra $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ generated by a universal representation of $(E,\mathcal{L},[\mathcal{B}]_R)$. Also the gauge-invariant uniqueness theorem for $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ is obtained.
For simple labelled graph $C^*$-algebras $C^*(E,\mathcal{L},\bar{\mathcal{E}})$, where $\bar{\mathcal{E}}$ is the smallest accommodating set containing all the generalized vertices, it is observed that if for each vertex $v$ of $E$, a generalized vertex $[v]_l$ is finite for some $l$, then $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ is simple if and only if $(E,\mathcal{L},\bar{\mathcal{E}})$ is strongly cofinal and disagreeable. This is done by examining the merged labelled graph $(F,\mathcal{L}_F)$ of $(E,\mathcal{L})$ and the common properties that $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ and $C^*(F,\mathcal{L},\bar{\mathcal{F}})$ share.
△ Less
Submitted 21 February, 2011;
originally announced February 2011.
-
Saturated actions by finite dimensional Hopf *-algebras on C*-algebras
Authors:
J. A. Jeong,
G. H. Park
Abstract:
If a finite group action $α$ on a unital $C^*$-algebra $M$ is saturated, the canonical conditional expectation $E:M\to M^α$ onto the fixed point algebra is known to be of index finite type with $Index(E)=|G|$ in the sense of Watatani. More generally if a finite dimensional Hopf $*$-algebra $A$ acts on $M$ and the action is saturated, the same is true with $Index (E)=\dim(A)$. In this paper we pr…
▽ More
If a finite group action $α$ on a unital $C^*$-algebra $M$ is saturated, the canonical conditional expectation $E:M\to M^α$ onto the fixed point algebra is known to be of index finite type with $Index(E)=|G|$ in the sense of Watatani. More generally if a finite dimensional Hopf $*$-algebra $A$ acts on $M$ and the action is saturated, the same is true with $Index (E)=\dim(A)$. In this paper we prove that the converse is true. Especially in case $M$ is a commutative $C^*$-algebra $C(X)$ and $α$ is a finite group action, we give an equivalent condition in order that the expectation $E:C(X)\to C(X)^α$ is of index finite type, from which we obtain that $α$ is saturated if and only if $G$ acts freely on $X$.
Actions by compact groups are also considered to show that the gauge action $γ$ on a graph $C^*$-algebra $C^*(E)$ associated with a locally finite directed graph $E$ is saturated.
△ Less
Submitted 12 April, 2007;
originally announced April 2007.
-
Topological entropy and AF subalgebras of graph C*-algebras
Authors:
Ja A Jeong,
Gi Hyun Park
Abstract:
Let A_E be the canonical AF subalgebra of a graph C*-algebra C*(E) associated with a locally finite directed graph E. For Brown-Voiculescu's topological entropy ht(Φ_E) of the canonical completely positive map Φ_E on C*(E), ht(Φ_E)=ht(Φ_E|_{A_E})=h_l(E)=h_b(E) is known to hold for a finite graph E, where h_l(E) is the loop entropy of Gurevic and h_b(E) is the block entropy of Salama. For an irre…
▽ More
Let A_E be the canonical AF subalgebra of a graph C*-algebra C*(E) associated with a locally finite directed graph E. For Brown-Voiculescu's topological entropy ht(Φ_E) of the canonical completely positive map Φ_E on C*(E), ht(Φ_E)=ht(Φ_E|_{A_E})=h_l(E)=h_b(E) is known to hold for a finite graph E, where h_l(E) is the loop entropy of Gurevic and h_b(E) is the block entropy of Salama. For an irreducible infinite graph E, the inequality h_l(E)\leq ht(Φ_E|_{A_E}) has been known recently. It is shown in this paper that ht(Φ_E|_{A_E})\leq max{h_b(E), h_b(tE)}, where tE is the graph E with the direction of the edges reversed. Some irreducible infinite graphs E_p(p>1) with ht(Φ_E|_{A_{E_p}})=log p are also examined.
△ Less
Submitted 29 June, 2004;
originally announced June 2004.
