SearcharxivSearch

arXiv subjects

Jamie Rogers

Publications and source records attributed to Jamie Rogers.

4 recordsLinked to original sources

Leveraging Resolved Incident History for LLM-Assisted Software Bug Diagnosis

Effective software bug diagnosis requires two ingredients: the right knowledge source (operational failure history, not just system documentation) and the right retrieval structure (structured records, not unstructured chunks). Current retrieval-augmented generation (RAG) approaches fall short on one or both dimensions. We propose Operational Memory RAG (OM-RAG), which indexes resolved issues as structured symptom-root cause-resolution triples and retrieves the most similar historical precedent via single-hop embedding. OM-RAG powers a purpose-built large language model (LLM) administrator that has operated a production Dataverse instance for over six months, operationalizing the Knowledge component of the Monitor-Analyze-Plan-Execute-Knowledge (MAPE-K) feedback loop with the system's own resolved failure history. In a controlled four-configuration ablation, LLM-based judging covers all 1,172 issues and manual verification a 123-issue subset. OM-RAG achieves Diagnosis Accuracy of 0.931 and Fix Correctness of 0.809, outperforming chunk-based retrieval (+186%) and a documentation-anchored concept graph (+77%). Model-free retrieval metrics (mean similarity 0.880) independently corroborate the ranking.

cs.SE

Branes, fermions, and superspace dualities

We use the superspace formulation of supergravity in eleven and ten dimensions to compute fermion couplings on the M2-brane and on D$p$-branes. In this formulation fermionic couplings arise naturally from the $\theta$-expansion of the superfields from which the brane actions are constructed. The techniques we use and develop can in principle be applied to determine the fermionic couplings to general background fields up to arbitrary order. Starting with the superspace formulation of 11-dimensional supergravity, we use a geometric technique known as the `normal coordinate' method to obtain the $\theta$-expansion of the M2-brane action. We then present a method which allows us to translate the knowledge of fermionic couplings on the M2-brane to knowledge of such couplings on the D2-brane, and then to any D$p$-brane. This method is based on superspace generalizations of both the compactification taking 11-dimensional supergravity to type IIA supergravity and the T-duality rules connecting the type IIA and type IIB supergravities.

hep-th

$D_n$ Dynkin quiver moduli spaces

We study $3d$ $\mathcal{N}=4$ quiver gauge theories with gauge nodes forming a $D_n$ Dynkin diagram. The class of good $D_n$ Dynkin quivers is completely characterised and the moduli space singularity structure fully determined for all such theories. The class of good $D_n$ Dynkin quivers is denoted $D_ν^μ(n)_p$ where $n \geq 2$ is an integer, $ν$ and $μ$ are integer partitions and $p \in \{ \textrm{even}, \textrm{odd}\}$ denotes membership of one of two broad subclasses. A full assessment of which $\mathfrak{so}_{2n}$ nilpotent varieties are realisable as $D_n$ Dynkin quiver moduli spaces is provided. Quiver addition is introduced and is used to give large subclasses of $D_n$ Dynkin quivers poset structure. The partial ordering is determined by inclusion relations for the moduli space branches. The resulting Hasse diagrams are used to both classify $D_n$ Dynkin quivers and determine the moduli space singularity structure for an arbitrary good theory. The poset constructions and local moduli space analyses are complemented throughout by explicit checks utilising moduli space dimension matching.

hep-th

Moduli space singularities for $3d$ $\mathcal{N} = 4$ circular quiver gauge theories

The singularity structure of the Coulomb and Higgs branches of good $3d$ $\mathcal{N}=4$ circular quiver gauge theories (CQGTs) with unitary gauge groups is studied. The central method employed is the Kraft--Procesi transition. CQGTs are described as a generalisation of a class of linear quivers. This class degenerates into the familiar class $T_ρ^σ(SU(N))$ in the linear case, however the circular case does not have the degeneracy and so the class of CQGTs contains many more theories and much more structure. We describe a collection of good, unitary, CQGTs from which the entire class can be found using Kraft--Procesi transitions. The singularity structure of a general member of this collection is fully determined, encompassing the singularity structure of a generic CQGT. Higher-level Hasse diagrams are introduced in order to write the results compactly. In higher-level Hasse diagrams, single nodes represent lattices of nilpotent orbit Hasse diagrams and edges represent traversing structure between lattices. The results generalise the case of linear quiver moduli spaces which are known to be nilpotent varieties of $\mathfrak{sl}_n$.

hep-th