Source author record

Kanghoon Lee

Kanghoon Lee appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2026arXiv

EvoNav: Evolutionary Reward Function Design for Robot Navigation with Large Language Models

Robot navigation is a crucial task with applications to social robots in dynamic human environments. While Reinforcement Learning (RL) has shown great promise for this problem, the policy quality is highly sensitive to the specification of reward functions. Hand-crafted rewards require substantial domain expertise and embed inductive biases that are difficult to audit or adapt, limiting their effectiveness and leading to suboptimal performance. In this paper, we propose EvoNav, an evolutionary framework that automates the design of robot navigation reward functions via large language models (LLMs). To overcome prohibitively costly policy training, EvoNav evaluates each candidate proposal from the LLM via a progressive three-stage warm-up-boost procedure. EvoNav advances from analytical proxies with low-cost surrogates, such as small datasets and analytic rules, to lightweight rollouts and, finally, to full policy training, enabling computationally efficient exploration under effective feedback. Experiment results show that EvoNav produces more effective navigation policies than manually designed RL rewards and state-of-the-art reward design methods.

preprint2026arXiv

Priority-Aware Multi-Robot Coverage Path Planning

Multi-robot systems are widely used for coverage tasks that require efficient coordination across large environments. In Multi-Robot Coverage Path Planning (MCPP), the objective is typically to minimize the makespan by generating non-overlapping paths for full-area coverage. However, most existing methods assume uniform importance across regions, limiting their effectiveness in scenarios where some zones require faster attention. We introduce the Priority-Aware MCPP (PA-MCPP) problem, where a subset of the environment is designated as prioritized zones with associated weights. The goal is to minimize, in lexicographic order, the total priority-weighted latency of zone coverage and the overall makespan. To address this, we propose a scalable two-phase framework combining (1) greedy zone assignment with local search, spanning-tree-based path planning, and (2) Steiner-tree-guided residual coverage. Experiments across diverse scenarios demonstrate that our method significantly reduces priority-weighted latency compared to standard MCPP baselines, while maintaining competitive makespan. Sensitivity analyses further show that the method scales well with the number of robots and that zone coverage behavior can be effectively controlled by adjusting priority weights.

preprint2024arXiv

Perturbations of General Relativity to All Orders and the General $n^{\rm th}$ Order Terms

We derive all-order expressions for perturbations of the Einstein-Hilbert action and the Einstein equation with the general $n$-th order terms. To this end, we employ Cheung and Remmen's perturbation conventions both in tensor density and the usual metric tensor formalisms, including the Einstein-dilaton theory. Remarkably, we find minimal building blocks that generate the entire perturbations for each of our formulations. We show that the number of terms of perturbations grows linearly as the order of perturbations increases. We regard our results as the reference and discuss how to derive perturbations in other conventions from the reference. As a consistency check, we compute graviton scattering amplitudes using the perturbiner method based on the perturbative Einstein equation. Finally we discuss how to generalise the results to curved backgrounds and incorporate additional matter.

preprint2022arXiv

Quantum Off-Shell Recursion Relation

We construct off-shell recursion relations for arbitrary loop-level scattering amplitudes beyond the conventional tree-level recursion relations for $ϕ^{4}$-theory and the Yang-Mills theory. We define a quantum perturbiner expansion that includes loop corrections from the quantum effective action formalism by identifying the external source. Our method clearly shows how the perturbiner expansion becomes an off-shell current generating function. Instead of using the classical equations of motion in the conventional perturbiner method, we exploit the Dyson-Schwinger equation to derive the quantum off-shell recursion relation to arbitrary order of loop-level scattering amplitudes. We solve the recursion relation and reproduce the results which agree up to one-loop six-point scattering amplitudes for $ϕ^{4}$-theory. Furthermore, we construct the recursions for computing loop-level correlation functions by replacing the choice of the external source.

preprint2022arXiv

The Off-Shell Recursion for Gravity and the Classical Double Copy for currents

We construct the off-shell recursion for gravity and the graviton current for the perturbative double field theory (DFT). We first formulate the perturbative DFT, which is equivalent but simpler to perturbative general relativity, to all-orders in fluctuations of generalised metric. The perturbative action and equations of motion (EoM) are derived to arbitrary order for pure gravity case. We then derive the graviton off-shell recursion, the gravity counterpart of the Berends-Giele recursion in Yang-Mills theory, through the so-called perturbiner method using the EoM of the perturbative DFT. We solve the recursion iteratively and obtain the graviton off-shell currents explicitly. We then discuss the classical double copy for the off-shell currents. We present the current KLT relation for gravity by extending the result proposed by Mizera and Skrzypek for the non-gravitational effective field theories. The relation represents graviton currents by squaring gluon currents with the KLT kernel up to gauge transformation and regular terms that do not have any pole. Finally we discuss the off-shell conservation of currents for nonlinear gauge choices.

preprint2021arXiv

Emergent dual holographic description as a non-perturbative generalization of the Wilsonian renormalization group

In holographic duality, dynamics along the emergent extra-dimensional space describes a renormalization group (RG) flow of the corresponding quantum field theory (QFT). Following this idea, we develop an emergent holographic description of a QFT, where not only the information of the RG flow is introduced into an IR holographic dual effective field theory (HDEFT), but also the UV information of the QFT is encoded in the HDEFT through the IR boundary condition. In particular, we argue that this dual holographic construction is self-consistent within the assumption of bulk locality, showing the following two aspects: The solution of the Hamilton-Jacobi equation is given by the IR boundary effective action, and the Ward identity involving the QFT energy-momentum tensor current is satisfied naturally. We discuss the role of the RG $β$-function in the bulk effective dynamics of the metric tensor near a conformally invariant fixed point. We claim that this emergent dual gravity theory generalizes the perturbative Wilsonian RG framework into a non-perturbative way.

preprint2020arXiv

The Classical Double Copy of a Point Charge

The classical double copy relates solutions to the equations of motion in gauge theory and in gravity. In this paper, we present two double-copy formalisms for relating the Coulomb solution in gauge theory to the two-parameter Janis-Newman-Winicour solution in gravity. The latter is a static, spherically symmetric, asymptotically flat solution that generically includes a dilaton field, but also admits the Schwarzschild solution as a special case. We first present the classical double copy as a perturbative construction, similar to its formulation for scattering amplitudes, and then present it as an exact map, with a novel generalisation of the Kerr-Schild double copy motivated by double field theory. The latter formalism exhibits the relation between the Kerr-Schild classical double copy and the string theory origin of the double copy for scattering amplitudes.

preprint2015arXiv

New gaugings and non-geometry

We discuss the possible realisation in string/M theory of the recently discovered family of four-dimensional maximal $SO(8)$ gauged supergravities, and of an analogous family of seven-dimensional half-maximal $SO(4)$ gauged supergravities. We first prove a no-go theorem that neither class of gaugings can be realised via a compactification that is locally described by ten- or eleven-dimensional supergravity. In the language of Double Field Theory and its M theory analogue, this implies that the section condition must be violated. Introducing the minimal number of additional coordinates possible, we then show that the standard $S^3$ and $S^7$ compactifications of ten- and eleven-dimensional supergravity admit a new class of section-violating generalised frames with a generalised Lie derivative algebra that reproduces the embedding tensor of the $SO(4)$ and $SO(8)$ gaugings respectively. The physical meaning, if any, of these constructions is unclear. They highlight a number of the issues that arise when attempting to apply the formalism of Double Field Theory to non-toroidal backgrounds. Using a naive brane charge quantisation to determine the periodicities of the additional coordinates restricts the $SO(4)$ gaugings to an infinite discrete set and excludes all the $SO(8)$ gaugings other than the standard one.

preprint2015arXiv

Quadratic $α'$-Corrections to Heterotic Double Field Theory

We investigate $α'$-corrections of heterotic double field theory up to quadratic order in the language of supersymmetric O(D,D+dim G) gauged double field theory. After introducing double-vielbein formalism with a parametrization which reproduces heterotic supergravity, we show that supersymmetry for heterotic double field theory up to leading order $α'$-correction is obtained from supersymmetric gauged double field theory. We discuss the necessary modifications of the symmetries defined in supersymmetric gauged double field theory. Further, we construct supersymmetric completion at quadratic order in $α'$.

preprint2015arXiv

Towards Weakly Constrained Double Field Theory

We show that it is possible to construct a well-defined effective field theory incorporating string winding modes without using strong constraint in double field theory. We show that X-ray (Radon) transform on a torus is well-suited for describing weakly constrained double fields, and any weakly constrained fields are represented as a sum of strongly constrained fields. Using inverse X- ray transform we define a novel binary operation which is compatible with the level matching constraint. Based on this formalism, we construct a consistent gauge transform and gauge invariant action without using strong constraint. We then discuss the relation of our result to the closed string field theory. Our construction suggests that there exists an effective field theory description for massless sector of closed string field theory on a torus in an associative truncation.

preprint2014arXiv

Covariant action for a string in doubled yet gauged spacetime

The section condition in double field theory has been shown to imply that a physical point should be one-to-one identified with a gauge orbit in the doubled coordinate space. Here we show the converse is also true, and continue to explore the idea of `spacetime being doubled yet gauged'. Introducing an appropriate gauge connection, we construct a string action, with an arbitrary generalized metric, which is completely covariant with respect to the coordinate gauge symmetry, generalized diffeomorphisms, world-sheet diffeomorphisms, world-sheet Weyl symmetry and O(D,D) T-duality. A topological term previously proposed in the literature naturally arises and a self-duality condition follows from the equations of motion. Further, the action may couple to a T-dual background where the Riemannian metric becomes everywhere singular.

preprint2014arXiv

Spheres, generalised parallelisability and consistent truncations

We show that generalised geometry gives a unified description of maximally supersymmetric consistent truncations of ten- and eleven-dimensional supergravity. In all cases the reduction manifold admits a "generalised parallelisation" with a frame algebra with constant coefficients. The consistent truncation then arises as a generalised version of a conventional Scherk-Schwarz reduction with the frame algebra encoding the embedding tensor of the reduced theory. The key new result is that all round-sphere $S^d$ geometries admit such generalised parallelisations with an $SO(d+1)$ frame algebra. Thus we show that the remarkable consistent truncations on $S^3$, $S^4$, $S^5$ and $S^7$ are in fact simply generalised Scherk-Schwarz reductions. This description leads directly to the standard non-linear scalar-field ansatze and as an application we give the full scalar-field ansatz for the type IIB truncation on $S^5$.

preprint2014arXiv

Supersymmetry for Gauged Double Field Theory and Generalised Scherk-Schwarz Reductions

Previous constructions of supersymmetry for double field theory have relied on the so called strong constraint. In this paper, the strong constraint is relaxed and the theory is shown to possess supersymmetry once the generalised Scherk-Schwarz reduction is imposed. The equivalence between the generalised Scherk-Schwarz reduced theory and the gauged double field theory is then examined in detail for the supersymmetric theory. As a byproduct we write the generalised Killing spinor equations for the supersymmetric double field theory.

preprint2013arXiv

Stringy Unification of Type IIA and IIB Supergravities under N=2 D=10 Supersymmetric Double Field Theory

To the full order in fermions, we construct D=10 type II supersymmetric double field theory. We spell the precise N=2 supersymmetry transformation rules as for 32 supercharges. The constructed action unifies type IIA and IIB supergravities in a manifestly covariant manner with respect to O(10,10) T-duality and a pair of local Lorentz groups, or Spin(1,9) \times Spin(9,1), besides the usual general covariance of supergravities or the generalized diffeomorphism. While the theory is unique, the solutions are twofold. Type IIA and IIB supergravities are identified as two different types of solutions rather than two different theories.

preprint2012arXiv

Incorporation of fermions into double field theory

Based on the stringy differential geometry we proposed earlier, we incorporate fermions such as gravitino and dilatino into double field theory in a manifestly covariant manner with regard to O(D,D) T-duality, diffeomorphism, one-form gauge symmetry for B-field and a pair of local Lorentz symmetries. We note that there are two kinds of fermions in double field theory: O(D,D) singlet and non-singlet which may be identified, respectively as the common and the non-common fermionic sectors in type IIA and IIB supergravities. For each kind, we construct corresponding covariant Dirac operators. Further, we derive a simple criterion for an O(D,D) rotation to flip the chirality of the O(D,D) non-singlet chiral fermions, which implies the exchange of type IIA and IIB supergravities.

preprint2012arXiv

Ramond-Ramond Cohomology and O(D,D) T-duality

In the name of supersymmetric double field theory, superstring effective actions can be reformulated into simple forms. They feature a pair of vielbeins corresponding to the same spacetime metric, and hence enjoy double local Lorentz symmetries. In a manifestly covariant manner --with regard to O(D,D) T-duality, diffeomorphism, B-field gauge symmetry and the pair of local Lorentz symmetries-- we incorporate R-R potentials into double field theory. We take them as a single object which is in a bi-fundamental spinorial representation of the double Lorentz groups. We identify cohomological structure relevant to the field strength. A priori, the R-R sector as well as all the fermions are O(D,D) singlet. Yet, gauge fixing the two vielbeins equal to each other modifies the O(D,D) transformation rule to call for a compensating local Lorentz rotation, such that the R-R potential may turn into an O(D,D) spinor and T-duality can flip the chirality exchanging type IIA and IIB supergravities.

preprint2012arXiv

Supersymmetric Double Field Theory: Stringy Reformulation of Supergravity

We construct a supersymmetric extension of double field theory that realizes the ten-dimensional Majorana-Weyl local supersymmetry. In terms of a stringy differential geometry we proposed earlier, our action consists of five simple terms -- two bosonic plus three fermionic -- and manifests not only diffeomorphism and one-form gauge symmetry of B-field, but also O(10,10) T-duality as well as a direct product of two local Lorentz symmetries, SO(1,9) \times SO(9,1). A gauge fixing that identifies the double local Lorentz groups reduces our action to the minimal supergravity in ten dimensions.

preprint2012arXiv

Vortices and 3 dimensional dualities

We study a supersymmetric partition function of topological vortices in 3d N=4,3 gauge theories on R^2 x S^1, and use it to explore Seiberg-like dualities with Fayet-Iliopoulos deformations. We provide a detailed support of these dualities and also clarify the roles of vortices. The N=4 partition function confirms the proposed Seiberg duality and suggests nontrivial extensions, presumably at novel IR fixed points with enhanced symmetries. The N=3 theories with nonzero Chern-Simons term also have non-topological vortices in the partially broken phases, which are essential for the Seiberg duality invariance of the spectrum. We use our partition function to confirm some properties of non-topological vortices via Seiberg duality in a simple case.

preprint2011arXiv

Differential geometry with a projection: Application to double field theory

In recent development of double field theory, as for the description of the massless sector of closed strings, the spacetime dimension is formally doubled, i.e. from D to D+D, and the T-duality is realized manifestly as a global O(D,D) rotation. In this paper, we conceive a differential geometry characterized by a O(D,D) symmetric projection, as the underlying mathematical structure of double field theory. We introduce a differential operator compatible with the projection, which, contracted with the projection, can be covariantized and may replace the ordinary derivatives in the generalized Lie derivative that generates the gauge symmetry of double field theory. We construct various gauge covariant tensors which include a scalar and a tensor carrying two O(D,D) vector indices.

preprint2011arXiv

Double field formulation of Yang-Mills theory

Based on our previous work on the differential geometry for the closed string double field theory, we construct a Yang-Mills action which is covariant under O(D,D) T-duality rotation and invariant under three-types of gauge transformations: non-Abelian Yang-Mills, diffeomorphism and one-form gauge symmetries. In double field formulation, in a manifestly covariant manner our action couples a single O(D,D) vector potential to the closed string double field theory. In terms of undoubled component fields, it couples a usual Yang-Mills gauge field to an additional one-form field and also to the closed string background fields which consist of a dilaton, graviton and a two-form gauge field. Our resulting action resembles a twisted Yang-Mills action.

preprint2011arXiv

Stringy differential geometry, beyond Riemann

While the fundamental object in Riemannian geometry is a metric, closed string theories call for us to put a two-form gauge field and a scalar dilaton on an equal footing with the metric. Here we propose a novel differential geometry which treats the three objects in a unified manner, manifests not only diffeomorphism and one-form gauge symmetry but also O(D,D) T-duality, and enables us to rewrite the known low energy effective action of them as a single term. Further, we develop a corresponding vielbein formalism and gauge the internal symmetry which is given by a direct product of two local Lorentz groups, SO(1,D-1) times SO(1,D-1). We comment that the notion of cosmological constant naturally changes.

preprint2010arXiv

Partonic description of a supersymmetric p-brane

We consider supersymmetric extensions of a recently proposed partonic description of a bosonic p-brane which reformulates the Nambu-Goto action as an interacting multi-particle action with Filippov-Lie algebra gauge symmetry. We construct a worldline supersymmetric action by postulating, among others, a p-form fermion. Demanding a local worldline supersymmetry rather than the full worldvolume supersymmetry, we circumvent a known no-go theorem against the construction of a Ramond-Neveu-Schwarz supersymmetric action for a p-brane of p>1. We also derive a spacetime supersymmetric Green-Schwarz extension from the preexisting kappa-symmetric action.