Searcharxiv⌕ Search

arXiv subjects

Kevin Nguyen

Publications and source records attributed to Kevin Nguyen.

At least 19 recordsLinked to original sources

GUILD: Guided Iterative Data Collection for Imitation Learning

Imitation learning policies in robotics are trained on datasets collected through costly real-world teleoperation. Often, the data-collection process is unguided, relying on the teleoperator's intuition, resulting in data that contributes little to overall policy performance. Recent work has shown that curating such unguided datasets can substantially improve policy performance, but these approaches operate by filtering existing datasets after collection and therefore do not prevent the acquisition of uninformative data. In this work, we propose GUILD, a novel Guided Data Collection (GDC) method that actively reasons about which data should be collected to maximize downstream policy performance. We introduce an iterative framework that alternates between 1) task proposal and data collection and 2) data evaluation to close the loop. For task proposal, we leverage semantic priors from vision-language models to identify relevant environments, object configurations, and goals for data collection. However, since semantic relevance does not imply policy improvement, we perform data evaluation. By leveraging predictive data attribution we approximate how the collected trajectories influence policy performance on a target deployment setting. This signal is then used as feedback to guide subsequent data collection, closing the data collection loop. We evaluate our approach in simulation and real robot settings, demonstrating that guided data collection substantially improves sample efficiency and deployment performance compared to passive data collection strategies, multiple baselines and experienced roboticists. More information at https://robin-lab.cs.utexas.edu/guild2026/

cs.RO↗

Solver-Like Behavior in Large Language Models as Formalizers

In the LLM-as-formalizer paradigm, a large language model translates a problem into a formal program and leaves the search to a solver, gaining the solver's guarantees. Formalizers are now often reasoning models that write a long reasoning trace before the program, yet they are judged only by the program's output. We find that the trace routinely does the solver's job, assigning, testing and ruling out values until it often reaches the full answer; we call this solver-like behavior (SLB). We define an ontology of SLB over the trace, the program and its output, and use LLM judges, checked against human labels, to label 2,000 generations from three reasoning models on four constraint satisfaction datasets, each formalized in a declarative and an imperative formal language. SLB appears in 85% of traces and takes 24% of reasoning tokens, yet the program usually recomputes the answer, so the effort is redundant. The 9% of programs that inherit the trace's answer also inherit its errors, and pass output-based evaluation whenever that answer is correct. The amount of SLB is not associated with accuracy, and SLB is more common in imperative Python than in declarative Z3 or PDDL. Cautionary prompts reduce it by only a quarter, but hiding the problem's values behind placeholders, which the program receives only at run time, removes 97% of it without loss of accuracy. Formalizers should therefore be evaluated by how their programs are reached, not only by what they output.

cs.CL↗

Hilbert space in the flat limit of AdS/CFT. II. Massless particles

Building on Part I of this series, where we described the emergence of massive scattering states, we demonstrate how unitary lowest-weight representations $\mathcal D(Δ,s)$ of the conformal group with fixed dimension $Δ$ and arbitrary integer spin $s$ contract to massless Poincaré particle representations. This requires combining the Inönü--Wigner contraction $\mathfrak{so}(2,3) \to \mathfrak{iso}(1,3)$ with an infinite boost, in which case massless scattering states naturally emerge in a carrollian basis. For $Δ>s+1$, we find that $\mathcal D(Δ,s)$ contracts to the direct sum of massless particles of all spins $s'\leq s$. At the unitarity bound, lower-spin states become null so that $\mathcal D(s+1,s)$ contracts to a single massless particle representation carrying the two maximal helicities $J=\pm s$. In both cases, the inner product converges to the Poincaré-invariant one after a single helicity-independent rescaling, so that unitarity is preserved throughout the contraction.

hep-th↗

Hilbert space in the flat limit of AdS/CFT. I. Massive particles

The flat limit of AdS$_4$ spacetime corresponds, at the level of the symmetry algebra, to the Inönü--Wigner contraction $\mathfrak{so}(2,3) \to \mathfrak{iso}(1,3)$. We describe the emergence of the Hilbert space of massive scattering states of arbitrary integer spin $s$ from unitary lowest-weight representations $\mathcal{D}(Δ,s)$ of the conformal group, using a basis of `pseudo-momentum' states first introduced by Fronsdal. These states nicely reduce to Wigner's momentum eigenstates in the limit of infinite AdS curvature radius $\ell \to \infty$, at fixed $m=Δ/\ell$. A simple conformal map relates this description to conformal fields in $\mathbb{R}^3$ familiar from radial quantization, with the interior and exterior of the unit ball respectively corresponding to outgoing and ingoing momenta. Under the contraction, and upon appropriate rescaling, the inner product on $\mathcal{D}(Δ,s)$ converges to the standard Lorentz-invariant inner product of Wigner's massive particles, so that unitarity is preserved throughout. The contraction to massless particles is briefly discussed here, and will be treated in detail in a forthcoming paper.

hep-th↗

Gravitational multipoles, antipodal matching relations, and the logarithmic soft graviton theorem

We derive the classical logarithmic soft graviton theorem for the scattering of massive particles in four-dimensional asymptotically flat spacetime using a position-space analysis of the Weyl tensor. Starting from the Iyer-Damour multipole solution in harmonic gauge, we obtain an infinite tower of antipodal matching relations across spatial infinity for all five Newman-Penrose Weyl scalars, at linear order in $G$ and for the leading matter-induced logarithms at order $G^2$. We connect the relation relevant to the logarithmic soft theorem to the radiative-gauge formulation of Boschetti-Campiglia and Compère-Robert. We then compute the required asymptotic fields directly from scattering data, including matter contributions and nonlinear effects responsible for graviton drag. Combining these results with the Newman-Penrose evolution equations yields position-space proofs of the classical leading and logarithmic soft graviton theorems, independently confirming the frequency-space derivation of the latter originally performed by Laddha and Sen.

hep-th↗

Massless contraction of massive particles in the infinite boost limit

Massless particles, defined through Wigner's induced representations of the Poincaré group, are obtained as a limit of infinitely boosted massive particles wherein the massive little group undergoes an Inönü--Wigner contraction to the massless one. It is demonstrated that the spin-$s$ multiplet of a massive representation re-organizes into the direct sum of massless particles with helicities in the range $[-s,s]$. This group theoretic result is the Hilbert space counterpart of the Stückelberg formulation of massive fields of spin $s$ in the high-energy limit, where the Stückelberg fields become independent massless fields of spins $s'\leq s$ in integer steps. It therefore also provides the kinematic setting of the Goldstone equivalence theorem.

hep-th↗

From Location Phrases to Geographic Entities: Task-Adapted Retrieval for People Search

People search must map free-form location phrases to geographic entities used as structured retrieval filters. Lexical standardizers handle canonical names well but are brittle to aliases, misspellings, metropolitan expressions, and same-name ambiguity. We formulate this task as graded, set-valued entity retrieval over a fixed ontology. We identify three coupled design requirements: distinguishing identity-preserving variation from knowledge-dependent aliases, controlling false negatives among valid same-name entities, and separating stable transformations from mutable entity knowledge. We realize them in a prompt-asymmetric bi-encoder with calibrated alias support, bounded ambiguity-aware negatives, and editable entity documents that support localized updates without retraining. Across a fixed production-derived development benchmark and a public GeoNames transfer task, task adaptation improves substantially over frozen encoders and standard token baselines. Controlled development ablations show that specialized supervision contributes beyond standard task fine-tuning and encoder scaling. On GeoNames, the adapted model improves known-target Recall@1 throughout zero-to-moderate character overlap, while character n-grams retain a small aggregate Target Recall@5 advantage. In a blinded human comparison on a stratified production challenge set, our model raises relevant P@1 from 28.0% to 46.0% (p=0.012). Fixed-query endpoint estimates improve on non-canonical queries and remain close to control on frequent queries; a randomized live experiment detects no engagement regression. These results support task-adapted geographic entity retrieval as a practical replacement for the incumbent taxonomy-based standardizer, with the largest relevance gains on non-canonical queries.

cs.AI↗

Lectures on Carrollian Holography

Carrollian Holography aims to provide a holographic description of quantum gravity in asymptotically flat spacetimes, in terms of a novel kind of `carrollian' conformal field theory defined on the spacetime null conformal boundary $\mathscr{I}$. The goal of these lectures is to offer a self-contained, pedagogical introduction to this active field of research. The main focus is given to the correspondence between massless scattering amplitudes, including gravitational amplitudes, and correlators in carrollian conformal field theory. Strong emphasis is put on the development of carrollian conformal field theory as an intrinsic, independent, and non-perturbative framework in which to formulate gravitational scattering theory.

hep-th↗

Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study

Large language models (LLMs) perform strongly on general-purpose code generation, yet their applicability to enterprise domain-specific languages (DSLs) remains underexplored, especially for repository-scale change generation spanning multiple files and folder structures from a single natural-language (NL) instruction. We report an industrial case study at BMW that adapts code-oriented LLMs to generate and modify project-root DSL artifacts for an Xtext-based DSL that drives downstream Java/TypeScript code generation. We develop an end-to-end pipeline for dataset construction, multi-file task representation, model adaptation, and evaluation. We encode DSL folder hierarchies as structured, path-preserving JSON, allowing single-response generation at repository scale and learning cross-file dependencies. We evaluate two instruction-tuned code LLMs (Qwen2.5-Coder and DeepSeek-Coder, 7B) under three configurations: baseline prompting, one-shot in-context learning, and parameter-efficient fine-tuning (QLoRA). Beyond standard similarity metrics, we introduce task-specific measures that assess edit correctness and repository structural fidelity. Fine-tuning yields the most significant gains across models and metrics, achieving high exact-match accuracy, substantial edit similarity, and structural fidelity of 1.00 on our held-out set for multi-file outputs. At the same time, one-shot in-context learning provides smaller but consistent improvements over baseline prompting. We further validate practical utility via an expert developer survey and an execution-based check using the existing code generator.

cs.SE↗

Operator Product Expansion in Carrollian CFT

Carrollian conformal field theory offers an alternative description of massless scattering amplitudes, that is holographic in nature. In an effort to build a framework that is both predictive and constraining, we construct operator product expansions (OPE) that are compatible with carrollian symmetries. In this way, we unify and extend preliminary works on the subject, and demonstrate that the carrollian OPEs indeed control the short-distance expansion of carrollian correlators and amplitudes. In the process, we extend the representation theory of carrollian conformal fields such as to account for composite operators like the carrollian stress tensor or those creating multiparticle states. In addition we classify 2- and 3-point carrollian correlators and amplitudes with complex kinematics, and give the general form of the 4-point function allowed by symmetry.

hep-th↗

Hydrodynamics of two-dimensional CFTs

We demonstrate that the geometric action on a coadjoint orbit of the Virasoro group appropriately describes non-dissipative two-dimensional conformal fluids. While this action had already appeared in the context of AdS$_3$ gravity, the hydrodynamical interpretation given here is new. We use this to argue that the geometric action manifestly controls both sides of the fluid/gravity correspondence, where the gravitational `hologram' gives an effective hydrodynamical description of the dual CFT. As a byproduct, our work sheds light on the nature of the AdS$_3$ reparametrization theory used to effectively compute Virasoro vacuum blocks at large central charge, as the reparametrization mode is now understood as a fluctuation of the fluid velocity.

hep-th↗

Soft theorems and spontaneous symmetry breaking

The soft photon and soft graviton theorems of Weinberg are known to derive from conservation laws associated with asymptotic symmetries. Within the corresponding classical theories, one often speaks of spontaneous symmetry breaking and vacuum degeneracy, but a genuine quantum description of this phenomenon has largely been lacking. Here we establish spontaneous breaking of asymptotic symmetries and the existence of Goldstone `particles' using exclusively the language of quantum field theory. This is made possible through the reformulation of massless scattering theory in terms of carrollian conformal field theory, and the observation that soft theorems correspond to Ward identities of broken symmetries. A suitable version of Goldstone theorem shows that there must exist zero-momentum particles described by conformal fields on the celestial sphere, in agreement with the common lore. More specifically, these belong to unitary representations in the discrete series of the Lorentz group, and are therefore naturally equipped with logarithmic two-point functions. We discuss the relevance of these observations to the problem of infrared divergences that scattering amplitudes suffer from.

hep-th↗

Celestial decomposition of Wigner's particles

We provide a detailed decomposition of Wigner's particles, defined as unitary irreducible representations of the Poincaré group, in terms of unitary representations of its Lorentz subgroup. As pointed out before us, this decomposition only involves Lorentz representations belonging to the principal continuous series, and further underpins the connection between scattering amplitudes and conformal correlation functions discussed in the context of celestial holography. We provide very explicit formulae for the decomposition of particles of arbitrary mass and (half-)integer spin and for any spacetime dimension. We emphasise that this decomposition is unique and comes with a specific inner product on the corresponding Hilbert space. We also confirm that unitary translations mix Lorentz representations within the principal continuous series only, as required. Implications to the celestial holography program are indicated.

hep-th↗

Electromagnetic multipole expansions and the logarithmic soft photon theorem

We study the general structure of the electromagnetic field in the vicinity of spatial infinity. Starting from the general solution of the sourced Maxwell equations written in terms of multipole moments as obtained by Iyer and Damour, we derive the expansion of the electromagnetic field perturbatively in the electromagnetic coupling. At leading order, where the effect of long-range Coulombic interactions between charged particles is neglected, we discover infinite sets of antipodal matching relations satisfied by the electromagnetic field, which extend and sometimes correct previously known relations. At next-to-leading order, electromagnetic tails resulting from these Coulombic interactions appear, which affect the antipodal matching relations beyond those equivalent to the leading soft photon theorem. Moreover, new antipodal matching relations arise, which we use to re-derive the classical logarithmic soft photon theorem of Sahoo and Sen. Our analysis largely builds upon that of Campiglia and Laddha, although it invalidates the antipodal matching relation which they originally used in their derivation. The antipodal matching relations and the proof of the classical logarithmic soft photon theorem agree with an earlier analysis of Bhatkar, which we generalize using other methods.

hep-th↗

Logarithmic soft graviton theorems from superrotation Ward identities

Soft graviton theorems receive one-loop contributions that are logarithmic in the energy of the soft graviton, and which are closely related to tails of gravitational waveforms. We demonstrate that these logarithmic corrections are encoded in the Ward identity of superrotation symmetries, i.e. they follow from conservation of superrotation charge across spatial infinity $i^0$. Our proof relies on a careful analysis of the radiative phase space admitting such gravitational tails, and the determination of the fluxes through null infinity $\mathscr I$ that act as canonical generators of superrotations on both gravitational and matter fields. All logarithmic terms are derived from the fluxes through correlations of the supertranslation Goldstone mode, provided care is taken in manipulating gravitationally interacting (i.e. dressed) rather than free fields. In cases where massive particles take part in the scattering process, logarithmic corrections also partly arise from the superrotation charge generator at timelike infinity $i^\pm$.

hep-th↗

Optimizing Multi-level Magic State Factories for Fault-Tolerant Quantum Architectures

We propose a novel technique for optimizing a modular fault-tolerant quantum computing architecture, taking into account any desired space-time trade-offs between the number of physical qubits and the fault-tolerant execution time of a quantum algorithm. We consider a concept architecture comprising a dedicated zone as a multi-level magic state factory and a core processor for efficient logical operations, forming a supply chain network for production and consumption of magic states. Using a heuristic algorithm, we solve the multi-objective optimization problem of minimizing space and time subject to a user-defined error budget for the success of the computation, taking the performance of various fault-tolerant protocols into account. As an application, we show that physical quantum resource estimation reduces to a simple model involving a small number of key parameters, namely, the circuit volume, the error prefactors ($μ$) and error suppression rates ($Λ$) of the fault-tolerant protocols, the reaction time ($γ$), and an allowed slowdown factor ($β$).

quant-ph↗

Carrollian conformal correlators and massless scattering amplitudes

The theory of particle scattering is concerned with transition amplitudes between states that belong to unitary representations of the Poincaré group. The latter acts as the isometry group of Minkowski spacetime $\mathbb{M}$, making natural the introduction of relativistic tensor fields encoding the particles of interest. Since the Poincaré group also acts as a group of conformal isometries of null infinity $\mathcal{I}$, massless particles can also be very naturally encoded into Carrollian conformal fields living on $\mathcal{I}$. In this work we classify the two- and three-point correlation functions such Carrollian conformal fields can have in any consistent quantum theory of massless particles and arbitrary dimension. We then show that bulk correlators of massless fields in $\mathbb{M}$ explicitly reduce to these Carrollian conformal correlators when evaluated on $\mathcal{I}$, although in the case of time-ordered bulk correlators this procedure appears singular at first sight. However we show that the Carrollian correlators of the descendant fields are perfectly regular and precisely carry the information about the corresponding S-matrix elements.

hep-th↗

Predicting Parkinson's disease trajectory using clinical and functional MRI features: a reproduction and replication study

Parkinson's disease (PD) is a common neurodegenerative disorder with a poorly understood physiopathology and no established biomarkers for the diagnosis of early stages and for prediction of disease progression. Several neuroimaging biomarkers have been studied recently, but these are susceptible to several sources of variability related for instance to cohort selection or image analysis. In this context, an evaluation of the robustness of such biomarkers to variations in the data processing workflow is essential. This study is part of a larger project investigating the replicability of potential neuroimaging biomarkers of PD. Here, we attempt to reproduce (re-implementing the experiments with the same data, same method) and replicate (different data and/or method) the models described in [1] to predict individual's PD current state and progression using demographic, clinical and neuroimaging features (fALFF and ReHo extracted from resting-state fMRI). We use the Parkinson's Progression Markers Initiative dataset (PPMI, ppmi-info.org), as in [1] and aim to reproduce the original cohort, imaging features and machine learning models as closely as possible using the information available in the paper and the code. We also investigated methodological variations in cohort selection, feature extraction pipelines and sets of input features. Different criteria were used to evaluate the reproduction and compare the reproduced results with the original ones. Notably, we obtained significantly better than chance performance using the analysis pipeline closest to that in the original study (R2 \> 0), which is consistent with its findings. Moreover, using derived data provided by the authors of the original study, we were able to make an exact reproduction and managed to obtain results that were close to the original ones. The challenges encountered while reproducing and replicating the original work are likely explained by the complexity of neuroimaging studies, in particular in clinical settings. We provide recommendations to further facilitate the reproducibility of such studies in the future.

q-bio.NC↗