arXiv subjects

Rajdeep Mondal

Publications and source records attributed to Rajdeep Mondal.

4 recordsLinked to original sources

arXiv2026

Echoes of the Maldacena-Milekhin-Popov traversable wormhole

We study linear perturbations of massless scalar and vector gauge fields, treated as test fields, on the four-dimensional traversable wormhole of Maldacena, Milekhin, and Popov~\cite{Maldacena:2018gjk}. Both effective potentials vanish throughout the throat and rise in each mouth to a single barrier peaked at the extremal photon-sphere radius $r=2r_e$ for every multipole. In the tortoise coordinate these two barriers are only $\mathcal{O}(10^2)$ wide but sit a distance $2D\simeqπL_{\rm wh}\sim10^{35}$ apart, which puts direct time-domain evolution out of reach. We instead compute the single-barrier scattering amplitudes by Numerov integration, validated against an exactly solvable barrier and against an independent time-domain evolution, and then sum the multiple reflections in closed form. The parabolic WKB formula always gives a transmission probability of $1/2$ at the barrier top, whereas the true value is $0.62$. It also fails below the top, where the transmission falls as $|κ|^2\proptoω^{6.4}$ for $l=1$. Echoes emerge at $T_m=(2m+1)D$ as narrow-band wave packets near the light-ring frequency. Their frequency decreases with each reflection and the energy decays algebraically, $E_m\propto m^{-1}$. The quasinormal spectrum splits into two families. Modes trapped between the barriers are extraordinarily long-lived, with quality factors up to $10^{41}$, and carry the same astronomical time-scale as the echoes. The photon-sphere modes of a single mouth are damped $10^{36}$ times faster than cavity modes, with quality factors of order unity at low multipoles. Only this second family of quasinormal modes is observable, characterising the ringdown of a single mouth. The echoes and the trapped cavity modes instead characterise the late-time dynamics of the throat, not a detectable signal.

gr-qc↗

arXiv2025

Eywa: Automating Model Based Testing using LLMs

Model-based testing (MBT), whereby a model of the system under test is analyzed to generate high-coverage test cases, has been used to test protocol implementations. A key barrier to the use of MBT is the need for users to understand protocol RFCs in detail to create a compliant model. Our new approach to MBT uses LLMs to automatically build rich models of intended protocol behavior from knowledge embedded in RFCs, blogs, and other natural language sources. Our approach addresses key challenges with using LLMs, including hallucinations and their inability to monolithically generate complex protocol models. We realize our approach through a novel protocol testing framework Eywa,and demonstrate its effectiveness through extensive case studies of DNS and BGP and a smaller study of SMTP. Despite minimal user effort, applying Eywa enabled the discovery of 32 unique bugs across widely used DNS, BGP, and SMTP implementations, 15 of which were previously undiscovered despite extensive prior testing with manually crafted models.

cs.NI↗

arXiv2025

LLM-Based Config Synthesis requires Disambiguation

Beyond hallucinations, another problem in program synthesis using LLMs is ambiguity in user intent. We illustrate the ambiguity problem in a networking context for LLM-based incremental configuration synthesis of route-maps and ACLs. These structures frequently overlap in header space, making the relative priority of actions impossible for the LLM to infer without user interaction. Measurements in a large cloud identify complex ACLs with 100's of overlaps, showing ambiguity is a real problem. We propose a prototype system, Clarify, which uses an LLM augmented with a new module called a Disambiguator that helps elicit user intent. On a small synthetic workload, Clarify incrementally synthesizes routing policies after disambiguation and then verifies them. Our treatment of ambiguities is useful more generally when the intent of updates can be correctly synthesized by LLMs, but their integration is ambiguous and can lead to different global behaviors.

cs.NI↗

arXiv2023

What do LLMs need to Synthesize Correct Router Configurations?

We investigate whether Large Language Models (e.g., GPT-4) can synthesize correct router configurations with reduced manual effort. We find GPT-4 works very badly by itself, producing promising draft configurations but with egregious errors in topology, syntax, and semantics. Our strategy, that we call Verified Prompt Programming, is to combine GPT-4 with verifiers, and use localized feedback from the verifier to automatically correct errors. Verification requires a specification and actionable localized feedback to be effective. We show results for two use cases: translating from Cisco to Juniper configurations on a single router, and implementing no-transit policy on multiple routers. While human input is still required, if we define the leverage as the number of automated prompts to the number of human prompts, our experiments show a leverage of 10X for Juniper translation, and 6X for implementing no-transit policy, ending with verified configurations.

cs.NI↗