arXiv Science⌕ Search

arXiv subjects

Dirk Englund

Publications and source records attributed to Dirk Englund.

At least 19 recordsLinked to original sources
arXiv2026

From Pixels to PCells: A Neurosymbolic Approach to Photonic Component Creation

We present PixCell, a neurosymbolic system in which multimodal agents convert a visually presented photonic component into a parametric program over a small domain-specific language (DSL) of geometric primitives. A system enabling deterministic visual verification renders evaluation asymmetrically cheaper than the generation attempt. While models using multi-seed sampling and iterative revision reach a mean best-turn IoU of only 0.416, multimodal agents through PixCell's interface and verifier consistently exceed 0.9 mean IoU, with scores reaching 0.974 and 0.955 across eight component targets while also satisfying source contracts. These results demonstrate that frontier multimodal agents can reliably understand and render executable parametric representations from visual targets. Using these live parameters, cross-stack studies on an interferometer reconstruct primitive programs that satisfy an 8.0 nm free spectral range target and the original footprint constraint on modeled 220-nm SOI, 400-nm SiN, and 400-nm TFLN stacks. PixCell further carries a paper-derived splitter from visual reconstruction through SOI full-wave simulation, producing symmetric propagation and balanced outputs. Finally, the same executable verifier supplies a training reward and dataset used to train a Qwen3.6-35B-A3B model with LoRA and GRPO without supervised demonstrations. On eight training-excluded paper figures, its mean champion IoU rises from 0.422 after eight initial attempts to 0.491 after three verifier-guided revision rounds. These results therefore establish a controlled framework for measuring, retargeting, and improving visual-to-parametric photonic component design.

cs.CV↗
arXiv2026

Strategic Plan for Neutral Atom Quantum Computation

We present a strategic plan for neutral atom quantum computation, bringing together hardware development and theory advancements to achieve the goal of practical quantum advantage. The concept of practical quantum advantage is defined, along with how to verify claims of advantage, and approaches to designing quantum algorithms that deliver practical advantage. Future directions for neutral atom quantum processor hardware are described: scaling-up system size, Qubit encodings and atomic platforms, going further below threshold with neutral-atom logical-qubit performance, continuous reloading of qubits, and fast readout. We also explore opportunities for scalable integrated photonic control technologies. Alongside hardware advancements, new developments in quantum error correction and compilation of quantum circuits are proposed. Finally, we examine the opportunity of networking multiple neutral atom quantum processors together to perform distributed quantum computing and overcome possible limitations of a single system.

quant-ph↗
arXiv2026

Foundry CMOS platform for multimodal quantum materials characterization

Quantum materials experiments increasingly rely on microwave, electrical, thermal, optical, and structural probes, but these capabilities are typically assembled from custom hardware that limits reproducibility and scalability. Here we show that a commercial 65-nm CMOS process can be repurposed as a passive, foundry-manufacturable characterization platform by functionally partitioning its metal stack into microwave, thermal, and electrical subsystems within a 1 mm2 footprint. The integrated RF architecture enables cryogenic magnetic susceptibility measurements of Fe3GeTe2 heterostructures at 1.75 K without sample-specific fabrication. We further demonstrate NV-center optically detected magnetic resonance (ODMR) with >20% contrast at 4-9 dBm microwave power, reducing power requirements by 20-25 dB relative to conventional antenna-based approaches while maintaining sensitivities of 2-3 uT/sqrt(Hz). We additionally confirm compatibility with in-situ electron-beam imaging, showing no measurable degradation in image quality upon device operation. These results establish a scalable, foundry-manufacturable platform for multimodal quantum sensing and materials characterization.

cond-mat.mtrl-sci↗
arXiv2026

Monolithic Integration of Piezo-Optomechanical Photonics and CMOS Electronics

Next-generation photonic architectures for AI, sensing, and quantum computing require thousands to millions of reprogrammable photonic devices on a chip[1]. The monolithic integration of Electronically-backed Photonic Integrated Circuits (EPICs) allows for very high density electrical interconnection and electronic drivers that can scale with photonics. Piezo-optomechanical photonic integrated circuits (POMPICs) offer low power consumption, high speed modulation, cryogenic compatibility and broadband optical transparency from ultraviolet to infrared wavelengths[2,3], but have not been demonstrated with monolithically integrated CMOS electronics. Here, we show a fully monolithic, all-CMOS fabricated platform for POMPICs co-fabricated with commercial control electronics. 200 millimeter photonic wafers are constructed directly on completed CMOS driver wafers by back-end-of-line processing, connecting integrated piezoelectric actuators under broadband silicon nitride waveguides to a high-density digital backplane comprising >2 million electrical connections per die with 6.4x6.4 micron electrode pitch. We introduce segmented POMPIC components as Photonic Digital-to-Analog converters (PDACs) that convert low-voltage digital electronic signals to multi-bit analog optical phase and amplitude modulation, and we demonstrate parallel control of optical phase shifters, Mach-Zehnder interferometers, optical routing trees, and tunable ring resonators using a standard HDMI interface to program CMOS electronics. We test multiple reticles and perform electronic and photonic characterization across the entire wafer to establish uniformity and yield, demonstrating wafer-scale integration of POMPICs on an electronic backplane and enabling dense, scalable electronic control of piezo-optomechanical circuits.

physics.optics↗
arXiv2026

A Machine-Verified Proof of a Quantum-Optimization Conjecture

We report a machine-verified resolution of a problem open for over a decade in quantum optimization: the Farhi, Goldstone and Gutmann (FGG) conjecture that depth-$p$ Quantum Approximate Optimization Algorithm (QAOA) on the ring of disagrees attains approximation ratio $(2p+1)/(2p+2)$ exactly. We found the proof using a large language model, Claude Fable 5, and verified its correctness end-to-end by the Lean 4 proof assistant. Our methodology includes several ingredients: building on a substantial Lean library of quantum information, we formalized the QAOA components and the known parts of the problem, and reduced the conjecture to a single open mathematical statement. The model was then handed the library and our agentic toolkit, and tasked with closing that gap by constructing a proof in Lean. The resulting process is a feedback loop between the model's natural-language reasoning and Lean's mechanical verification, which converged to a machine-verified proof. Human verification is required only for the structural scaffolding - that the formal statement faithfully encodes the intended claim - while the proof itself is supplied by the model and certified mechanically by Lean. The proof is nevertheless striking - the model uncovered a hidden dynamical symmetry of the problem and exploited it, borrowing tools and machinery from an adjacent field to turn a hard existence problem into an explicit construction. This work paves the way for resolving open conjectures in quantum information science and beyond.

quant-ph↗
arXiv2026

18-dB on-chip vacuum squeezing in an adaptively poled lithium niobate waveguide

Quantum squeezed states of light can enhance measurement sensitivity beyond classical limits and enable quantum information processing, but scalable low-loss sources remain challenging. We demonstrate continuous-wave quantum squeezing on a chip, achieving 18 dB of squeezing and 20 dB of anti-squeezing at 1570 nm in a 1.6-cm traveling-wave adaptively poled thin-film lithium niobate waveguide. A distributed model independently determines facet losses, phase noise, and nonlinear interaction strength without prior assumptions, enabling rigorous inference of on-chip performance. We estimate a 95% confidence interval of [-18.96, -17.25] dB squeezing and [19.96, 21.35] dB anti-squeezing. These values represent the highest squeezing reported for any integrated photonic platform and the first assumption-free statistical validation of integrated squeezing performance. Our results establish thin-film lithium niobate as a high-performance, scalable platform for continuous-variable quantum sensing, communications, and photonic computing.

physics.optics↗
arXiv2026

T Count as a Numerically Solvable Minimization Problem

We present a formulation of the problem of finding the smallest T -Count circuit that implements a given unitary as a binary search over a sequence of continuous minimization problems, and demonstrate that these problems are numerically solvable in practice. We reproduce best-known results for synthesis of circuits with a small number of qubits, and push the bounds of the largest circuits that can be solved for in this way. Additionally, we show that circuit partitioning can be used to adapt this technique to be used to optimize the T -Count of circuits with large numbers of qubits by breaking the circuit into a series of smaller sub-circuits that can be optimized independently.

quant-ph↗
arXiv2026

Quantum squeezing in an all-resonant periodically poled lithium niobate microresonator

Quantum noise limits the sensitivity of optical measurements, but squeezed states of light enable quantum-enhanced metrology, sensing, and information processing. Most on-chip squeezed-light sources rely on Kerr ($\chi^{(3)}$) nonlinearities, remain limited by pump power and excess loss constraints. Quadratic ($\chi^{(2)}$) platforms instead provide stronger parametric interactions, lower pump power requirements, and greater spectral engineering flexibility. Here, we demonstrate strong, broadband squeezed-light generation on a thin-film lithium niobate (TFLN) photonic chip using a dual-resonant optical parametric amplifier implemented in a single periodically poled LN (PPLN) microresonator. Near-full-depth domain inversion is achieved simultaneously with highly over-coupled resonances, exhibiting escape efficiencies exceeding 90% and intrinsic quality factors above 2.5 million in a 0.6 mm$^2$ X-cut TF-PPLN resonator, enabling efficient squeezing at 1587 nm when pumped at 793.5 nm. Operating in the continuous-wave regime, we directly measure -0.81 dB of squeezing below the shot-noise limit with a pump power of 27 mW, together with +4.29 dB of anti-squeezing. From these measurements, we infer an on-chip squeezing level of -7.52 dB $\pm$ 0.22 dB (95% confidence interval: [-7.96,-7.10] dB), and an on-chip anti-squeezing level of +9.62 dB $\pm$ 0.25 dB. We demonstrate single-mode squeezing at degeneracy with a squeezed-light spectrum exceeding 10.3 THz. This work reports the highest squeezing ratio among integrated $\chi^{(2)}$ cavity platforms and the first quasi-phase matched, fully resonant $\chi^{(2)}$ cavity squeezer on chip, establishing a scalable route to fully integrated power-efficient squeezed-light sources for quantum-enhanced sensing and metrology.

physics.optics↗
arXiv2026

Agentic AI for Scalable and Robust Optical Systems Control

We present AgentOptics, an agentic AI framework for high-fidelity, autonomous optical system control built on the Model Context Protocol (MCP). AgentOptics interprets natural language tasks and executes protocol-compliant actions on heterogeneous optical devices through a structured tool abstraction layer. We implement 64 standardized MCP tools across 8 representative optical devices and construct a 410-task benchmark to evaluate request understanding, role-aware responses, multi-step coordination, robustness to linguistic variation, and error handling. We assess two deployment configurations--commercial online LLMs and locally hosted open-source LLMs--and compare them with LLM-based code generation baselines. AgentOptics achieves 87.7%--99.0% average task success rates, significantly outperforming code-generation approaches, which reach up to 50% success. We further demonstrate broader applicability through five case studies extending beyond device-level control to system orchestration, monitoring, and closed-loop optimization. These include DWDM link provisioning and coordinated monitoring of coherent 400 GbE and analog radio-over-fiber (ARoF) channels; autonomous characterization and bias optimization of a wideband ARoF link carrying 5G fronthaul traffic; multi-span channel provisioning with launch power optimization; closed-loop fiber polarization stabilization; and distributed acoustic sensing (DAS)-based fiber monitoring with LLM-assisted event detection. These results establish AgentOptics as a scalable, robust paradigm for autonomous control and orchestration of heterogeneous optical systems.

eess.SY↗
arXiv2026

Recirculating Quantum Photonic Networks for Fast Deterministic Quantum Information Processing

A fundamental challenge in photonics-based deterministic quantum information processing is to realize key transformations on time scales shorter than those of detrimental decoherence and loss mechanisms. This challenge has been addressed through device-focused approaches that aim to increase nonlinear interactions relative to decoherence rates. In this work, we adopt a complementary architecture-focused approach by proposing a recirculating quantum photonic network (RQPN) that minimizes the duration of quantum information processing tasks, thereby reducing the requirements on nonlinear interaction rates. The RQPN consists of a network of all-to-all connected nonlinear cavities with dynamically controlled waveguide couplings, and it processes information by capturing a photonic input state, recirculating photons between the cavities, and releasing a photonic output state. We demonstrate the RQPN's architectural advantage through two examples: first, we show that processing all qubits simultaneously yields faster operations than single- and two-qubit decompositions of the three-qubit Toffoli gate. Second, we demonstrate implementations of a measurement-free correction for single-photon loss, achieving up to seven-fold speedups and significantly improved hardware efficiency relative to state-of-the-art architecture proposals. Our work shows that a single hardware-efficient recirculating architecture substantially reduces the temporal overhead of multi-qubit gates and quantum error correction, thereby lowering the barrier to experimental realizations of deterministic photonic quantum information processing.

quant-ph↗
arXiv2026

Quantization-aware Photonic Homodyne computing for Accelerated Artificial Intelligence and Scientific Simulation

Modern problems in high-performance computing, ranging from training and inferencing deep learning models in computer vision and language models to simulating complex physical systems with nonlinearly-coupled equations, require exponential growth of computational resources. Photonic analog systems are emerging with solutions of intrinsic parallelism, high bandwidth, and low propagation loss. However, their application has been hindered by the low analog accuracy due to the electro-optic distortion, material nonlinearities, and signal-to-noise ratios. Here we overcome this barrier with a quantization-aware digital-photonic mixed-precision framework across chiplets for accelerated AI processing and physical simulation. Using Lithium Niobate photonics with channel equalization techniques, we demonstrate linear multiplication (9-bit amplitude-phase decoupling) in homodyne optical logics with 6-bit precision at the clock rate of 128 giga-symbol-per-second (128 GS/s), enabling AI processing with 6 ns latency. Codesign hardware-algorithms, including iterative solvers, sparse-dense quantization, and bit-sliced matrix multiplication, explore photonic amplitude and phase coherence for complex-valued, physics-inspired computation. In electromagnetic problems, our approach yields 12-bit solutions for partial differential equations (PDEs) in scattering problems that would conventionally require up to 32-bit and often even 64-bit precision. These results preserve digital-level fidelity while leveraging the high-speed low-energy photonic hardware, establishing a pathway toward general-purpose optical acceleration for generative artificial intelligence, real-time robotics, and accurate simulation for climate challenges and biological discoveries.

cs.ET↗
arXiv2026

Foundry-Enabled Patterning of Diamond Quantum Microchiplets for Scalable Quantum Photonics

Quantum technologies promise secure communication networks and powerful new forms of information processing, but building these systems at scale remains a major challenge. Diamond is an especially attractive material for quantum devices because it can host atomic-scale defects that emit single photons and store quantum information with exceptional stability. However, fabricating the optical structures needed to control light in diamond typically relies on slow, bespoke processes that are difficult to scale. In this work, we introduce a manufacturing approach that brings diamond quantum photonics closer to industrial production. Instead of sequentially defining each device by lithography written directly on diamond, we fabricate high-precision silicon masks using commercial semiconductor foundries and transfer them onto diamond via microtransfer printing. These masks define large arrays of nanoscale optical structures, shifting the most demanding pattern-definition steps away from the diamond substrate, improving uniformity, yield, and throughput. Using this method, we demonstrate hundreds of diamond "quantum microchiplets" with improved optical performance and controlled interaction with quantum emitters. The chiplet format allows defective devices to be replaced and enables integration with existing photonic and electronic circuits. Our results show that high-quality diamond quantum devices can be produced using scalable, foundry-compatible techniques. This approach provides a practical pathway toward large-scale quantum photonic systems and hybrid quantum-classical technologies built on established semiconductor manufacturing infrastructure.

quant-ph↗
arXiv2025

Broadband Spatio-Spectral Mode Conversion via Four-Wave Mixing

We introduce a framework for scalable and broadband free-space phase-matched four-wave mixing in ring resonators. This method for four-wave mixing reduces the complexity of coupling an emitter to a quantum network by combining the spatial and spectral interfaces between them into one nonlinear optical process. The device is compliant with current heterogeneous integration capabilities and has a bandwidth of 165 nm for efficient spatio-spectral conversion. We outline a fabrication-ready diamond-on-insulator pathway towards modular unit cells that natively bridge visible color centers to the infrared spectrum for scalable quantum networks. We also present and analyze an end-to-end framework for considering single-photon coupling efficiency from a color center to a quantum network. This framework represents a step forwards in analyzing and reducing system-scale losses in a spin-photon interface.

quant-ph↗
arXiv2025

Programmable Quantum Photonic Interfaces for Quantum Networking

Quantum networks require interfaces translating memory photons to telecom wavelengths while controlling spatial modes; tasks performed by separate components today. We present a programmable alternative: a structured pump writes a virtual Bragg grating enabling simultaneous spatio-spectral conversion and real-time controlling of emission. Using a LiNbO$_3$ whispering-gallery resonator, we demonstrate 93\% spatial coupling and bidirectional conversion between 736\,nm and 1347\,nm. This reconfigurable interface eliminates cascaded losses and hardware modifications.

quant-ph↗
arXiv2025

Quantum Metamorphosis: Programmable Emergence and the Breakdown of Bulk-Edge Dichotomy in Multiscale Systems

Multiscale synergy -- the interplay of a system's distinct characteristic length, time, and energy scales -- is becoming a unifying thread across many contemporary branches of science. Ranging from moir\'e and super-moir\'e materials and cold atoms to DNA-templated superlattices and nested photonic networks, multiscale synergy produces behaviors not obtainable at any single scale alone. Yet a general framework that programs cross-scale interplay to steer spectra, transport, and topology has been missing. Here, we elevate multiscale synergy from a byproduct to a general design principle for emergent phenomena. Specifically, we introduce a scale-programmable framework for hierarchically nested lattices (HNLs) that can host quantum metamorphosis (QuMorph) -- a continuous evolution between system-dependent features governed by a dimensionless tunable parameter $\alpha$ (the relative hopping). To exemplify, we show an HNL, in which as $\alpha$ changes, the spectrum metamorphoses from integer quantum Hall-like to anomalous quantum Hall-like, passing through a cocoon regime with proliferating mini-gaps. This multiscale mixing yields multiple novel phenomena, including hybrid edge-bulk states, scale-dependent topology, topologically embedded flat bands, and isolated edge bands. We propose a feasible photonic implementation using commercially available coupled-resonator arrays, outline spatial-spectral signatures to map QuMorph, and explore applications for multi-timescale nonlinear optics. Our work establishes a scalable and programmable paradigm for engineering multiscale emergent phenomena.

physics.optics↗
arXiv2025

Vector magnetometry using cavity-enhanced microwave readout in nitrogen-vacancy diamond

We demonstrate $4\pi$-steradian vector magnetic field sensing using an ensemble of nitrogen-vacancy (NV) centers in a single-crystal diamond coupled to a microwave (MW) cavity. The MW cavity enhances the spin-photon coupling which enables efficient, high-contrast spin-state readout via MW interrogation and removes the need for bulky optical collection components. An applied AC bias magnetic field lifts the zero-field degeneracy of the four crystallographic NV orientations, allowing each orientation to be individually addressed and used for vector reconstruction of the magnetic field. The resulting magnetometer has a 40\% contrast (20x higher than typical for optical spin-ensemble readout) and achieves a single-axis sensitivity of 250 pT/$\sqrt{\mathrm{Hz}}$ which is flat from DC to 1 kHz. Noise models of the composite spin-cavity system establish MW amplitude noise as the dominant noise source and predict a thermal noise limit of 2 pT/$\sqrt{\mathrm{Hz}}$.

quant-ph↗
arXiv2025

Breaking On/Off-coupling Loss Degeneracies via Bidirectional Nonlinear Optics

Accurate evaluation of nonlinear photonic integrated circuits requires separating input and output coupling efficiencies (i.e., $\eta_1$ and $\eta_2$), yet the conventional linear-transmission calibration method recovers only their product (i.e., $\eta_1\,\eta_2$) and therefore introduces systematic bias when inferring on-chip performance from off-chip data. We present bidirectional nonlinear optical tomography (BNOT), a direction-aware metrology that uses forward and backward pumping of complementary nonlinear probes, with process-appropriate detection, to break the ``degeneracy'' of $\eta_1\,\eta_2$ and estimate individual interface efficiencies with tight confidence intervals. The method links off-chip measurements to on-chip quantities through a compact observation model that explicitly incorporates pump fluctuations and detector noise, and it frames efficiency extraction as a joint constrained optimization. Monte Carlo studies show unbiased convergence of the estimated efficiencies to ground truth with low error across realistic operating regimes. Using these efficiency estimates to reconstruct on-chip nonlinear figures of merit yields distributions centered on the true values with reduced variance, whereas conventional ``degenerate'' calibration is biased and can substantially misestimate on-chip performance. BNOT is hardware-compatible and platform-agnostic, and provides unbiased characterization of off- and on-chip coupling efficiencies across nonlinear processes, enabling reproducible, coupling-resolved benchmarking for scalable systems in quantum optics, frequency conversion, and precision metrology.

physics.optics↗
arXiv2025

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics

We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collaboratively with human experts. To achieve this, Ax-Prover approaches scientific problem solving through formal proof generation, a process that demands both creative reasoning and strict syntactic rigor. Ax-Prover meets this challenge by equipping Large Language Models (LLMs), which provide knowledge and reasoning, with Lean tools via the Model Context Protocol (MCP), which ensure formal correctness. To evaluate its performance as an autonomous prover, we benchmark our approach against frontier LLMs and specialized prover models on two public math benchmarks and on two Lean benchmarks we introduce in the fields of abstract algebra and quantum theory. On public datasets, Ax-Prover is competitive with state-of-the-art provers, while it largely outperforms them on the new benchmarks. This shows that, unlike specialized systems that struggle to generalize, our tool-based agentic theorem prover approach offers a generalizable methodology for formal verification across diverse scientific domains. Furthermore, we demonstrate Ax-Prover's assistant capabilities in a practical use case, showing how it enabled an expert mathematician to formalize the proof of a complex cryptography theorem.

cs.AI↗