arXiv subjects

Dohyun Kim

Publications and source records attributed to Dohyun Kim.

At least 55 records · Page 3Linked to original sources

arXiv2024

Finite element approximation to the non-stationary quasi-geostrophic equation

In this paper, C1-conforming element methods are analyzed for the stream function formulation of a single layer non-stationary quasi-geostrophic equation in the ocean circulation model. In its first part, some new regularity results are derived, which show exponential decay property when the wind shear stress is zero or exponentially decaying. Moreover, when the wind shear stress is independent of time, the existence of an attractor is established. In its second part, finite element methods are applied in the spatial direction and for the resulting semi-discrete scheme, the exponential decay property, and the existence of a discrete attractor are proved. By introducing an intermediate solution of a discrete linearized problem, optimal error estimates are derived. Based on backward-Euler method, a completely discrete scheme is obtained and uniform in time a priori estimates are established. Moreover, the existence of a discrete solution is proved by appealing to a variant of the Brouwer fixed point theorem and then, optimal error estimate is derived. Finally, several computational experiments with benchmark problems are conducted to confirm our theoretical findings.

math.NA↗

arXiv2024

A Survey on Integration of Large Language Models with Intelligent Robots

In recent years, the integration of large language models (LLMs) has revolutionized the field of robotics, enabling robots to communicate, understand, and reason with human-like proficiency. This paper explores the multifaceted impact of LLMs on robotics, addressing key challenges and opportunities for leveraging these models across various domains. By categorizing and analyzing LLM applications within core robotics elements -- communication, perception, planning, and control -- we aim to provide actionable insights for researchers seeking to integrate LLMs into their robotic systems. Our investigation focuses on LLMs developed post-GPT-3.5, primarily in text-based modalities while also considering multimodal approaches for perception and control. We offer comprehensive guidelines and examples for prompt engineering, facilitating beginners' access to LLM-based robotics solutions. Through tutorial-level examples and structured prompt construction, we illustrate how LLM-guided enhancements can be seamlessly integrated into robotics applications. This survey serves as a roadmap for researchers navigating the evolving landscape of LLM-driven robotics, offering a comprehensive overview and practical guidance for harnessing the power of language models in robotics development.

cs.RO↗

arXiv2024

Euclidean Methods on Dirac Quantization and Gauge Representation

Geometrical interpretation on U(1) gage theory of Dirac monopole, introduced here from the line integral\cite{Brandt} form of vector potentials, shows the gauge representation be multi-valued. In this paper, we construct Euclidean form of U(1) gauge theory on Dirac monopole based on the geometrical interpretation, derive the Dirac quantization condition geometrically. Even several theoretical methods which leads to Dirac quantization $eg=l/2$ has been developed, these are only possible under the postulate that gauge representation is single-valued. Using the line integration representation of vector potential, we derived the gauge equation which satisfies under the `phase gauge transformation' ($\mathbf{A}\to\mathbf{A}'=\mathbf{A}, \ ψ\toψ'=e^{ieΛ}ψ$), also showed that the Dirac quantization condition can be derived by the geometrical boundary condition on this gauge equation, without any supposing of canonical quantization condition. We finally explain geometrical meaning of constant phase of gauge and how the Dirac quantization holds single valued gauge representation.

physics.gen-ph↗

arXiv2024

SGGNet$^2$: Speech-Scene Graph Grounding Network for Speech-guided Navigation

The spoken language serves as an accessible and efficient interface, enabling non-experts and disabled users to interact with complex assistant robots. However, accurately grounding language utterances gives a significant challenge due to the acoustic variability in speakers' voices and environmental noise. In this work, we propose a novel speech-scene graph grounding network (SGGNet$^2$) that robustly grounds spoken utterances by leveraging the acoustic similarity between correctly recognized and misrecognized words obtained from automatic speech recognition (ASR) systems. To incorporate the acoustic similarity, we extend our previous grounding model, the scene-graph-based grounding network (SGGNet), with the ASR model from NVIDIA NeMo. We accomplish this by feeding the latent vector of speech pronunciations into the BERT-based grounding network within SGGNet. We evaluate the effectiveness of using latent vectors of speech commands in grounding through qualitative and quantitative studies. We also demonstrate the capability of SGGNet$^2$ in a speech-based navigation task using a real quadruped robot, RBQ-3, from Rainbow Robotics.

cs.RO↗

arXiv2024

DynAMO: Multi-agent reinforcement learning for dynamic anticipatory mesh optimization with applications to hyperbolic conservation laws

We introduce DynAMO, a reinforcement learning paradigm for Dynamic Anticipatory Mesh Optimization. Adaptive mesh refinement is an effective tool for optimizing computational cost and solution accuracy in numerical methods for partial differential equations. However, traditional adaptive mesh refinement approaches for time-dependent problems typically rely only on instantaneous error indicators to guide adaptivity. As a result, standard strategies often require frequent remeshing to maintain accuracy. In the DynAMO approach, multi-agent reinforcement learning is used to discover new local refinement policies that can anticipate and respond to future solution states by producing meshes that deliver more accurate solutions for longer time intervals. By applying DynAMO to discontinuous Galerkin methods for the linear advection and compressible Euler equations in two dimensions, we demonstrate that this new mesh refinement paradigm can outperform conventional threshold-based strategies while also generalizing to different mesh sizes, remeshing and simulation times, and initial conditions.

math.NA↗

arXiv2024

High-performance finite elements with MFEM

The MFEM (Modular Finite Element Methods) library is a high-performance C++ library for finite element discretizations. MFEM supports numerous types of finite element methods and is the discretization engine powering many computational physics and engineering applications across a number of domains. This paper describes some of the recent research and development in MFEM, focusing on performance portability across leadership-class supercomputing facilities, including exascale supercomputers, as well as new capabilities and functionality, enabling a wider range of applications. Much of this work was undertaken as part of the Department of Energy's Exascale Computing Project (ECP) in collaboration with the Center for Efficient Exascale Discretizations (CEED).

cs.MS↗

arXiv2024

LINGO-Space: Language-Conditioned Incremental Grounding for Space

We aim to solve the problem of spatially localizing composite instructions referring to space: space grounding. Compared to current instance grounding, space grounding is challenging due to the ill-posedness of identifying locations referred to by discrete expressions and the compositional ambiguity of referring expressions. Therefore, we propose a novel probabilistic space-grounding methodology (LINGO-Space) that accurately identifies a probabilistic distribution of space being referred to and incrementally updates it, given subsequent referring expressions leveraging configurable polar distributions. Our evaluations show that the estimation using polar distributions enables a robot to ground locations successfully through $20$ table-top manipulation benchmark tests. We also show that updating the distribution helps the grounding method accurately narrow the referring space. We finally demonstrate the robustness of the space grounding with simulated manipulation and real quadruped robot navigation tasks. Code and videos are available at https://lingo-space.github.io.

cs.RO↗

arXiv2023

Joint Band Assignment and Beam Management using Hierarchical Reinforcement Learning for Multi-Band Communication

Multi-band operation in wireless networks can improve data rates by leveraging the benefits of propagation in different frequency ranges. Distinctive beam management procedures in different bands complicate band assignment because they require considering not only the channel quality but also the associated beam management overhead. Reinforcement learning (RL) is a promising approach for multi-band operation as it enables the system to learn and adjust its behavior through environmental feedback. In this paper, we formulate a sequential decision problem to jointly perform band assignment and beam management. We propose a method based on hierarchical RL (HRL) to handle the complexity of the problem by separating the policies for band selection and beam management. We evaluate the proposed HRL-based algorithm on a realistic channel generated based on ray-tracing simulators. Our results show that the proposed approach outperforms traditional RL approaches in terms of reduced beam training overhead and increased data rates under a realistic vehicular channel.

eess.SP↗

arXiv2022

Joint Relay Selection and Beam Management Based on Deep Reinforcement Learning for Millimeter Wave Vehicular Communication

Cooperative relays improve reliability and coverage in wireless networks by providing multiple paths for data transmission. Relaying will play an essential role in vehicular networks at higher frequency bands, where mobility and frequent signal blockages cause link outages. To ensure connectivity in a relay-aided vehicular network, the relay selection policy should be designed to efficiently find unblocked relays. Inspired by recent advances in beam management in mobile millimeter wave (mmWave) networks, this paper address the question: how can the best relay be selected with minimal overhead from beam management? In this regard, we formulate a sequential decision problem to jointly optimize relay selection and beam management. We propose a joint relay selection and beam management policy based on deep reinforcement learning (DRL) using the Markov property of beam indices and beam measurements. The proposed DRL-based algorithm learns time-varying thresholds that adapt to the dynamic channel conditions and traffic patterns. Numerical experiments demonstrate that the proposed algorithm outperforms baselines without prior channel knowledge. Moreover, the DRL-based algorithm can maintain high spectral efficiency under fast-varying channels.

eess.SP↗

arXiv2022

Higher-order interaction model from geometric measurements

We introduce a higher simplicial generalization of the linear consensus model which shares several common features. The well-known linear consensus model is a gradient flow with a sum of squares of distances between each pair of points. Our newly suggested model is also represented as a gradient flow equipped with total $n$-dimensional volume functional consisting of $n+1$ points as a potential. In this manner, the linear consensus model coincides with the case of $n=1$ where distance is understood as the 1-dimensional volume. From a simple mathematical analysis, one can easily show that the linear consensus model (a gradient flow with 1-dimensional volume functional) collapses to one single point, which can be considered as a 0-complex. By extending this result, we show that a solution to our model converges to an $(n-1)$-dimensional affine subspace. We also perform several numerical simulations with an efficient algorithm that reduces the computational cost.

math.OC↗

arXiv2022

Self-Driving like a Human driver instead of a Robocar: Personalized comfortable driving experience for autonomous vehicles

This paper issues an integrated control system of self-driving autonomous vehicles based on the personal driving preference to provide personalized comfortable driving experience to autonomous vehicle users. We propose an Occupant's Preference Metric (OPM) which is defining a preferred lateral and longitudinal acceleration region with maximum allowable jerk for users. Moreover, we propose a vehicle controller based on control parameters enabling integrated lateral and longitudinal control via preference-aware maneuvering of autonomous vehicles. The proposed system not only provides the criteria for the occupant's driving preference, but also provides a personalized autonomous self-driving style like a human driver instead of a Robocar. The simulation and experimental results demonstrated that the proposed system can maneuver the self-driving vehicle like a human driver by tracking the specified criterion of admissible acceleration and jerk.

eess.SY↗

arXiv2022

Improving Multi-fidelity Optimization with a Recurring Learning Rate for Hyperparameter Tuning

Despite the evolution of Convolutional Neural Networks (CNNs), their performance is surprisingly dependent on the choice of hyperparameters. However, it remains challenging to efficiently explore large hyperparameter search space due to the long training times of modern CNNs. Multi-fidelity optimization enables the exploration of more hyperparameter configurations given budget by early termination of unpromising configurations. However, it often results in selecting a sub-optimal configuration as training with the high-performing configuration typically converges slowly in an early phase. In this paper, we propose Multi-fidelity Optimization with a Recurring Learning rate (MORL) which incorporates CNNs' optimization process into multi-fidelity optimization. MORL alleviates the problem of slow-starter and achieves a more precise low-fidelity approximation. Our comprehensive experiments on general image classification, transfer learning, and semi-supervised learning demonstrate the effectiveness of MORL over other multi-fidelity optimization methods such as Successive Halving Algorithm (SHA) and Hyperband. Furthermore, it achieves significant performance improvements over hand-tuned hyperparameter configuration within a practical budget.

cs.CV↗

arXiv2022

Asymptotic convergence of heterogeneous first-order aggregation models: from the sphere to the unitary group

We provide the detailed asymptotic behavior for first-order aggregation models of heterogeneous oscillators. Due to the dissimilarity of natural frequencies, one could expect that all relative distances converge to definite positive value and furthermore that each oscillator converges to a possibly different stationary point. In order to establish the desired results, we introduce a novel method, called dimension reduction method that can be applied to a specific situation when the degree of freedom of the natural frequency is one. In this way, we would say that although a small perturbation is allowed, convergence toward an equilibrium of the gradient flow is still guaranteed. Several first-order aggregation models are provided as concrete examples by using the dimension reduction method to study the structure of the equilibrium, and numerical simulations are conducted to support theoretical results.

math.DS↗

arXiv2022

Cross-Domain Style Mixing for Face Cartoonization

Cartoon domain has recently gained increasing popularity. Previous studies have attempted quality portrait stylization into the cartoon domain; however, this poses a great challenge since they have not properly addressed the critical constraints, such as requiring a large number of training images or the lack of support for abstract cartoon faces. Recently, a layer swapping method has been used for stylization requiring only a limited number of training images; however, its use cases are still narrow as it inherits the remaining issues. In this paper, we propose a novel method called Cross-domain Style mixing, which combines two latent codes from two different domains. Our method effectively stylizes faces into multiple cartoon characters at various face abstraction levels using only a single generator without even using a large number of training images.

cs.CV↗

arXiv2022

Self-Serviced IoT: Practical and Private IoT Computation Offloading with Full User Control

The rapid increase in the adoption of Internet-of-Things (IoT) devices raises critical privacy concerns as these devices can access a variety of sensitive data. The current status quo of relying on manufacturers' cloud services to process this data is especially problematic since users cede control once their data leaves their home. Multiple recent incidents further call into question if vendors can indeed be trusted with users' data. At the same time, users desire compelling features supported by IoT devices and ML-based cloud inferences which compels them to subscribe to manufacturer-managed cloud services. An alternative to use a local in-home hub requires substantial hardware investment, management, and scalability limitations. This paper proposes Self-Serviced IoT (SSIoT), a clean-slate approach of using a hybrid hub-cloud setup to enable privacy-aware computation offload for IoT applications. Uniquely, SSIoT enables opportunistic computation offload to public cloud providers while still ensuring that the end-user retains complete end-to-end control of their private data reducing the trust required from public cloud providers. We show that SSIoT can leverage emerging function-as-a-service computation (e.g. AWS Lambda) to make these offloads cost-efficient, scalable and high performance as long as key limitations of being stateless, limited resources, and security isolation can be addressed. We build an end-to-end prototype of SSIoT and evaluate it using several micro-benchmarks and example applications representing real-world IoT use cases. Our results show that SSIoT is highly scalable, as compared to local-only approaches which struggle with as little as 2-4 apps in parallel. We also show that SSIoT is cost-efficient (operating a smart doorbell for $10 a year) at the cost of minimal additional latency as compared to a local-only hub, even with a hardware ML accelerator.

cs.CR↗

arXiv2021

An algebraic approach for the weak coupling of multiple Lohe tensor models

We present a systematic algebraic approach for the weak coupling of Cauchy problems to multiple Lohe tensor models. For this, we identify an admissible Cauchy problem to the Lohe tensor (LT) model with a characteristic symbol consisting of four tuples in terms of a size vector, a natural frequency tensor, a coupling strength tensor and admissible initial configuration. In this way, the collection of all admissible Cauchy problems to the LT models is equivalent to the space of characteristic symbols. On the other hand, we introduce a binary operation, namely "{\it fusion operation}" as a binary operation between the characteristic symbols. It turns out that the fusion operation satisfies the associativity and admits the identity element in the space of characteristic symbols which naturally forms a monoid. By virtue of the fusion operation, the weakly coupled system of multiple LT models can be obtained by applying the fusion operation of multiple characteristic symbols corresponding to the LT models. As a concrete example, we consider a weak coupling of the swarm sphere model and the Lohe matrix model, and provide a sufficient framework leading to emergent dynamics to the proposed weakly coupled model.

math.DS↗

arXiv2021

Collective Dynamics of Lohe type aggregation models

In this paper, we review state-of-the-art results on the collective behaviors for Lohe type first-order aggregation models. Collective behaviors of classical and quantum many-body systems have received lots of attention from diverse scientific disciplines such as applied mathematics, control theory in engineering, nonlinear dynamics of statistical physics, etc. To model such collective dynamics, several phenomenological models were proposed in literature and their emergent dynamics were extensively studied in recent years. Among them, we present two Lohe type models: the Lohe tensor (LT) model and the Schrodinger-Lohe mode}, and present several sufficient conditions in unified frameworks via the Lyapunov functional approach for state diameters and dynamical systems theory approach for two-point correlation functions. We also present several numerical simulation results for the SL model.

math.DS↗

arXiv2021

Pressure-robust staggered DG methods for the Navier-Stokes equations on general meshes

In this paper, we design and analyze staggered discontinuous Galerkin methods of arbitrary polynomial orders for the stationary Navier-Stokes equations on polygonal meshes. The exact divergence-free condition for the velocity is satisfied without any postprocessing. The resulting method is pressure-robust so that the pressure approximation does not influence the velocity approximation. A new nonlinear convective term that earning non-negativity is proposed. The optimal convergence estimates for all the variables in $L^2$ norm are proved. Also, assuming that the rotational part of the forcing term is small enough, we are able to prove that the velocity error is independent of the Reynolds number and of the pressure. Furthermore, superconvergence can be achieved for velocity under a suitable projection. Numerical experiments are provided to validate the theoretical findings and demonstrate the performances of the proposed method.

math.NA↗