arXiv subjects

Mustafa Bakr

Publications and source records attributed to Mustafa Bakr.

At least 19 recordsLinked to original sources

arXiv2026

Minimum Virtual Proper Time and Finite Mass--Charge Matching in QED

We formulate four-dimensional finite-proper-time QED from a gauge-covariant source functional with a retained spectral lower boundary $s_0=Λ^{-2}>0$ and finite physical duration $\mathcal T$. Physically, the basic $s_0$ operation is a truncated Laplace transform: the arbitrarily small-proper-time part of the spectral integral, which carries the ultraviolet singularity, is excluded without imposing a cutoff on momentum space, while finite $\mathcal T$ expresses that a physical observable is prepared and detected during a finite experiment rather than by an infinite-time measurement. The retained $s_0$ belongs to the defining source construction and controls the correlated finite corrections after mass and charge matching. The charged interval and circle sectors are generated by the same covariant heat semigroup, while the photon covariance carries the same retained lower bound at the source level. At every fixed perturbative order, gauge covariance gives the Ward--Takahashi hierarchy and an assembled graph-level quadratic-form bound establishes ultraviolet finiteness. The physical electron, positron, and transverse-photon poles retain their canonical residues, and the fixed-order cutting relation uses the matched daughter domains on the stated regulated continuation domain. Mass and charge renormalisation are replaced by finite matching, while independent observables retain correlated $s_0$ dependence. At fixed $s_0>0$, the Euclidean source has a nonperturbative definition. Its physical standing-wave response is obtained order by order from the continued FPT amplitudes with the same finite-duration channel data. An exact all-coupling physical boundary realisation requires additional channel-norm control. The limits $s_0\to0^+$, $\mathcal T\to\infty$, and exact all-coupling free-space exhaustion are separate limiting questions and are not used to define the theory.

math-ph↗

arXiv2026

Scalar Finite-Proper-Time Field Theory as a Complete-History Spectral Calculus

We formulate a finite-proper-time (FPT) construction for real scalar $λϕ^4$ theory in which a non-zero lower endpoint $s_0$ is retained as physical spectral data for complete virtual histories. Functional differentiation partitions a pre-existing history, while interaction sewing creates closed momentum circulations. Local momentum conservation identifies the primitive closed circulations with graph circuits; applying the retained endpoint condition gives \[ s_e\ge0, \qquad \sum_{e\in c}s_e\ge s_0 \quad(c\in\mathcal{C}(G)). \] An individual edge or bridge may be arbitrarily short, but no complete closed circulation may collapse below $s_0$. This routing-independent prescription differs from damping every propagator. We prove that it gives a positive loop quadratic form and ultraviolet-finite massive amplitudes, including overlapping short-distance regions. Under a physical cut, precisely the circuit conditions crossed by the cut disappear, leaving the independently constructed daughter domains together with the ordinary pole residues and positive scalar phase space. At fixed $s_0$ we give an all-order local construction; for $λ\ge0$, $\mathcal{K}_{\barϕ}\ge-\partial^2+m^2$ gives a background-uniform heat-kernel bound. The open Euclidean history kernel is virtual spectral machinery rather than the physical propagator, and physical positivity is imposed on complete boundary amplitudes. After local matching, the first non-constant one-loop on-shell correction is proportional to $s_0^2(s^2+t^2+u^2)$, providing a correlated observable test of the retained scale.

hep-th↗

arXiv2026

Programming anharmonic potentials in a superconducting harmonic oscillator

Continuous-variable quantum systems offer a resource-efficient route to universal quantum information processing and analogue quantum simulation of real-world processes, such as molecular physics and chemical reactions. Realising these applications, however, requires non-Gaussian operations that implement anharmonic potentials, which are challenging to engineer on demand. Here, we demonstrate a systematic framework to implement programmable non-Gaussian phase gates $e^{-iV(\hat{X})}$, corresponding to the impulsive action of a potential $V(\hat{X})$, in a superconducting harmonic oscillator coupled to a transmon qubit. Using modular circuits derived from bosonic quantum signal processing, we realise a range of target anharmonic potentials on a single piece of hardware by varying a set of qubit rotations interleaved with a fixed calibrated control unitary. We first demonstrate a cubic phase gate, a key ingredient for universal quantum information processing. The resulting high-fidelity non-Gaussian states and the potential reconstructed using our pointwise force reconstruction method jointly confirm the cubic nature of the target gate. We then engineer a family of double-well potentials, relevant models of tunnelling and biased transfer processes, and experimentally validate the double-well topology and the tunable asymmetry. Finally, we engineer an approximate Morse gate, a step towards realistic potentials of molecular vibrational systems, and provide a concrete path towards high-quality engineering and reconstruction of the exponential form. Together, these results establish a practical and reconfigurable route towards continuous-variable quantum information processing and anharmonic quantum simulation.

quant-ph↗

arXiv2026

What do position and time mean in the quantum wavefunction?

The notation $ψ(x,t)$ is among the first pieces of quantum mechanics that students learn. It is also among the easiest to over-interpret. Because $x$ and $t$ occur as arguments of the same function, students may ask whether they have the same mathematical status. They may also ask whether $ψ(t)$ should require a generalized bra $\bra{t}$ in the same way that $ψ(x)=\braket{x}ψ$ is often written. A related question is whether the absence of a universal time operator follows simply from Pauli's argument. These questions mix several structures that are usually introduced in different parts of the curriculum. We present a unified pedagogical treatment built around two maps hidden in $ψ(x,t)$. Time evolution selects a state along a trajectory in Hilbert space. A spectral representation then maps that state to amplitudes labelled by outcomes of a chosen observable. We formulate the position representation without generalized eigenkets. We recover Dirac's $\ket{x}$ notation as a controlled continuum shorthand and use a finite-grid limit to show where delta normalization enters. We distinguish background coordinates, translation parameters, observables, spectral labels, and physical records. We also clarify the Stone-theorem analogy, compare prescribed-time position measurements with arrival-time measurements, state what the strong form of Pauli's argument excludes, and exhibit an exactly solvable boundary case in which a canonical self-adjoint time observable exists. Spin, circuit-QED, and optical-clock examples provide experimentally grounded checks. The aim is not a new interpretation of time. It is a reusable teaching framework for separating mathematical role from notation.

quant-ph↗

arXiv2026

Exact Multimode Quantization of Superconducting Circuits via Boundary Admittance and Continued Fractions

Accurate extraction of linearized quantum circuit models from electromagnetic simulations is essential for the design of superconducting circuits. We present a quantization framework based on the driving-point admittance $Y_{\mathrm{in}}(s)$ seen by a Josephson junction embedded in an arbitrary passive linear environment. By taking the Schur complement of the nodal admittance matrix, we show that the linearized coupled system obeys an eigenvalue-dependent boundary condition, $s Y_{\mathrm{in}}(s) + 1/L_J = 0$, whose roots determine the dressed linear mode frequencies. This boundary condition admits an exact continued fraction representation: any positive-real admittance can be realized as a canonical Cauer ladder, yielding a tridiagonal (Jacobi) structure that enables certified convergence bounds via interlacing theorems.For the full nonlinear Hamiltonian, we treat Josephson junctions in the charge basis, where each cosine potential is exactly tridiagonal, and couple them to cavity modes in the Fock basis; in the general multi-junction case this yields a block-tridiagonal structure solvable by matrix continued fractions, enabling systematic diagonalization across all coupling regimes from dispersive through ultrastrong and deep strong coupling. The resulting quantization procedure is: (i)~compute or measure $Y_{\mathrm{in}}(s)$, (ii)~solve the boundary condition to obtain dressed eigenfrequencies, (iii)~synthesize an equivalent passive network, and (iv)~quantize while retaining the full cosine nonlinearity of the Josephson junction. We prove that junction participation decays as $\mathcal{O}(ω_n^{-1})$ at high frequencies for any circuit with finite shunt capacitance, ensuring ultraviolet convergence of perturbative corrections without imposed cutoffs.

quant-ph↗

arXiv2025

A Boundary Condition Perspective on Circuit QED Dispersive Readout

Boundary conditions in confined geometries and measurement interactions in quantum mechanics share a common structural role: both select a preferred basis by determining which states are compatible with the imposed constraint. This paper develops this perspective for circuit QED dispersive readout through a first-principles derivation starting from the circuit Lagrangian. The transmon qubit terminating a transmission line resonator provides a frequency-dependent boundary condition whose pole structure encodes the qubit's transition frequencies; different qubit states yield different resonator frequencies. Two approximations, linear response and a pole-dominated expansion valid near resonance, reduce the boundary function to a rational form in the Sturm-Liouville eigenparameter. The extended Hilbert space of the Fulton-Walter spectral theory then provides a framework for the dressed-mode eigenvalue problem conditional on the qubit state. The dispersive shift and vacuum Rabi splitting emerge from the transcendental eigenvalue equation, with the residues determined by matching to the splitting: $δ_{ge} = 2Lg^2ω_q^2/v^4$, where $g$ is the vacuum Rabi coupling. A level repulsion theorem guarantees that no dressed mode frequency coincides with a transmon transition. For two qubits with matched dispersive shifts, odd-parity states become frequency-degenerate; true parity-only measurement requires engineered suppression of linear dispersive terms.

quant-ph↗

arXiv2025

Group-Theoretical Origin of the Sectoral-Tesseral-Zonal Trichotomy in Spherical Harmonics

The spherical harmonics $Y_\ell^m$ fall into three families -- sectoral ($\ell = |m|$), tesseral ($\ell > |m| > 0$), and zonal ($m = 0$) -- which exhibit fundamentally different behaviour under analytic continuation to non-integer parameters. We demonstrate that this trichotomy has a natural explanation in the representation theory of SO(3). Sectoral harmonics correspond to highest-weight vectors annihilated by the raising operator $L_+$; this annihilation condition reduces to a first-order differential equation admitting solutions for any real $m > 0$, independent of representation-theoretic constraints. Tesseral harmonics arise from the full ladder algebra acting on highest-weight states; for non-integer $m$, this construction yields tesseral modes at $ν= m + k$ for positive integer $k$, with the hypergeometric series terminating when $ν- m$ is a non-negative integer. Zonal harmonics with $m = 0$ require integer $ν$ on the full sphere, but TE-polarised zonal modes survive in wedge geometries because their electric field components automatically satisfy the conducting boundary conditions. Numerical simulations of electromagnetic cavities with conducting wedges confirm these predictions quantitatively: both sectoral modes ($ν= m$) and tesseral modes ($ν= m + k$) are observed with sub-percent frequency agreement, validating the extended framework for non-integer azimuthal index.

math-ph↗

arXiv2025

The Zero-Frequency Limit of Spherical Cavity Modes: On the Formal Endpoint at v=1

The transverse magnetic (TM) modes of a spherical cavity satisfy a dispersion relation connecting the angular eigenvalue $ν$ to the resonant frequency through zeros of the spherical Bessel function derivative. Analytic continuation of this dispersion relation to $ν= -1$ yields a formal zero-frequency endpoint where $j_{-1}(x) = \cos x / x$ admits the root $x = 0$. We examine this limit in detail, showing that while the mathematics is well-defined, the endpoint does not correspond to a physical electromagnetic mode. The positivity of the angular Sturm-Liouville operator restricts physical eigenvalues to $ν\geq 0$, placing $ν= -1$ outside the admissible spectrum. We demonstrate that all electromagnetic field components vanish in this limit, even though the underlying Debye potential $Π= \cos(kr)/kr$ remains non-trivial and exhibits a monopole-type singularity at the origin. This distinction between potential and field reflects the kernel structure of the curl-curl operator for spherically symmetric configurations. The analysis clarifies the boundary between propagating electromagnetic modes and static field configurations in spherical geometry, connecting the formal endpoint to longstanding questions about mode counting in cavity quantization.

physics.optics↗

arXiv2025

Crosstalk Dispersion and Spatial Scaling in Superconducting Qubit Arrays

Crosstalk between qubits fundamentally limits the scalability of quantum processors, necessitating physics-based models that can handle the complexity of large qubit arrays. Here, we develop a comprehensive theoretical and experimental framework that captures residual interactions between both adjacent and non-adjacent qubits in fixed-frequency transmon lattices. The model integrates the combined effects of exponential localization in banded capacitance matrices, suppression of virtual couplings through detuning products across intermediate modes, and evanescent decay of below-cutoff electromagnetic fields, yielding predictive scaling relations for coupling strength as a function of spatial separation and spectral detuning. Experimental characterization of a $4 \times 4$ superconducting-qubit lattice with inductive shunt pillars reveals exponential spatial decay and frequency-dependent suppression consistent with theoretical predictions, achieving quantitative agreement for all nearest-neighbor couplings across the \qtyrange[range-phrase = --, range-units = single]{4}{6}{\giga\hertz} operating range. Our results show that standard dispersive Hamiltonian approximations systematically overestimate long-range coupling when spatial and spectral dependencies are neglected; these errors propagate into circuit simulation and design strategies. Our framework provides design guidance for crosstalk mitigation in larger-scale quantum processors under realistic fabrication constraints, addressing a bottleneck in scalability.

quant-ph↗

arXiv2025

Electromagnetic Modes in Spherical Cavities: Complete Theory of Angular Spectra, Dispersion Relations, and Self-Adjoint Extensions

We present a complete theory of electromagnetic modes in spherical cavities, resolving fundamental questions about the nature of angular quantization. The standard result that angular indices $(\ell,m)$ must be integers is shown to be a consequence of domain constraints -- regularity at both poles and single-valuedness in the azimuthal coordinate -- rather than a requirement imposed by Maxwell's equations themselves. We prove that, for the sectoral case $ν=m$, the function $\sin^{m}θ$ exactly solves the angular eigenvalue equation for any real $m>0$, giving rise to a continuous dispersion curve. We demonstrate why non-sectoral modes (tesseral and zonal) appear only at isolated integer points on the full sphere, and show how boundary modifications such as cones and wedges convert these isolated points into continuous families of modes. Complete field solutions, wave impedances, and energy integrability conditions are derived. At the limiting point $(ν, m) = (0, 0)$, the electromagnetic field vanishes identically while the underlying Debye potential remains non-trivial -- a distinction with implications for mode counting that connects to longstanding questions in gauge theory and cavity quantization. Full-wave simulations validate the theoretical predictions with sub-percent accuracy. These results raise the possibility of structural analogues in wave equations on curved spacetimes, where conical deficits or horizon excisions similarly modify the angular domain.

math-ph↗

arXiv2025

Quantum Mechanics in a Spherical Wedge: Complete Solution and Implications for Angular Momentum Theory

We solve the stationary Schrödinger equation for a particle confined to a 3D spherical wedge -- the region $\{(r,θ,ϕ): 0 \leq r \leq R,\, 0 \leq θ\leq π,\, 0 \leq ϕ\leq Φ\}$ with Dirichlet BCs on all surfaces. This exactly solvable constrained-domain model exhibits spectral reorganisation under symmetry-breaking BCs and provides an operator-domain viewpoint on angular momentum quantisation. We obtain three main results. First, the stationary states are standing waves in the azimuthal coordinate and consequently are \emph{not} eigenstates of $\hat{L}_z$; we prove $\langle L_z \rangle = 0$ with $ΔL_z = \hbar n_ϕπ/Φ\neq 0$, demonstrating that angular momentum projection becomes an observable with genuine quantum uncertainty rather than a good quantum number. Second, the effective azimuthal quantum number $μ= n_ϕπ/Φ$ is generically non-integer, and square-integrability of the polar wavefunctions at both poles requires the angular eigenvalue parameter $ν$ to satisfy $ν- μ\in \mathbb{Z}_{\geq 0}$. This regularity constraint yields a hierarchy: sectoral solutions ($ν= μ$, satisfying the first-order highest-weight condition) exist for any real $μ> 0$, while tesseral and zonal solutions require integer steps, appearing only when $μ$ itself is integer. Third, application to a Coulomb potential shows that the familiar integer angular momentum spectrum of hydrogen arises from the periodic identification $ϕ\sim ϕ+ 2π$ that defines the full-sphere Hilbert space domain; modified boundary conditions yield a reorganised spectrum with non-integer effective angular momentum. The model clarifies the distinct roles of single-valuedness (selecting integer $m$ via azimuthal topology) and polar regularity (selecting integer $\ell \geq |m|$ via analytic constraints) in the standard quantisation of orbital angular momentum.

quant-ph↗

arXiv2025

Double-Bracket Algorithmic Cooling

Algorithmic cooling shows that it is possible to locally reduce the entropy of a qubit belonging to an isolated ensemble such as nuclear spins in molecules or nitrogen-vacancy centers in diamonds. In the same physical setting, we introduce double-bracket algorithmic cooling (DBAC), a protocol that systematically suppresses quantum coherence of pure states. DBAC achieves this by simulating quantum imaginary-time evolution through recursive unitary synthesis of Riemannian steepest-descent flows and it utilizes density-matrix exponentiation as a subroutine. This subroutine makes DBAC a concrete instance of a dynamic quantum algorithm that operates using quantum information stored in copies of the input states. Thus, the circuits of DBAC are independent of the input state, enabling the extension of algorithmic cooling from targeting entropy to quantum coherence without resorting to measurements. Akin to Nernst principle, DBAC increases the cooling performance when including more input qubits which serve as quantum instructions. Our work demonstrates that dynamic quantum algorithms are a promising route toward new protocols for foundational tasks in quantum thermodynamics.

quant-ph↗

arXiv2025

Dynamic Josephson Junction Metasurfaces for Multiplexed Control of Superconducting Qubits

Scaling superconducting quantum processors to large qubit counts faces challenges in control signal delivery, thermal management, and hardware complexity, particularly in achieving microwave signal multiplexing and long-distance quantum information routing at millikelvin (mK) temperatures. We propose a space-time modulated Josephson Junction (JJ) metasurface architecture to generate and multiplex microwave control signals directly at mK temperatures. Theoretical and numerical results demonstrate the generation of multiple frequency tones with controlled parameters, enabling efficient and scalable qubit control while minimizing thermal loads and wiring overhead. We derive the nonlinear wave equation governing this system, simulate beam steering and frequency conversion, and discuss the feasibility of experimental implementation.

quant-ph↗

arXiv2025

Intrinsic Multi-Mode Interference for Passive Suppression of Purcell Decay in Superconducting Circuits

Decoherence due to radiative decay remains an important consideration in scaling superconducting quantum processors. We introduce a passive, interference-based methodology for suppressing radiative decay using only the intrinsic multi-mode structured environment of superconducting circuits. By taking into account the full electromagnetic mode-mode couplings within the device, we derive analytic conditions that enable destructive interference. These conditions are realized by introducing controlled geometric asymmetries -- such as localized perturbations to the transmon capacitor -- which increase mode hybridization and activate interference between multiple decay pathways. We validate this methodology using perturbation theory, full-wave electromagnetic simulations, and experimental measurements of a symmetry-broken transmon qubit with improved coherence times.

quant-ph↗

arXiv2025

Full Vectorial Maxwell Equations with Continuous Angular Indices

This article presents a mathematical framework for solving Maxwell's equations in cylindrical and spherical geometries with continuous angular indices. We extend beyond standard discrete harmonic decomposition to a continuous spectral representation using generalized spectral integrals, capturing electromagnetic solutions that exhibit singular behavoiur yet yield finite-energy fields at the geometric center. For continuous angular indices $\ell, m \in \mathbb{R}$, we study existence and uniqueness of solutions in weighted Sobolev spaces $H^s_{α(\ell,m)}(Ω)$ following the framework established in ~\cite{adams2003, reed1975}, prove finite energy for $\ell > -\frac{1}{2}$, and construct explicit spectral kernels via biorthogonal function systems. The framework encompasses both separable cylindrical modes with continuous azimuthal index $ν\in (0,1)$ and non-separable spherical modes where field components couple through vectorial curl operations. We present asymptotic analysis of singular field behavior, investigate convergence rates for spectral approximations, and validate the theoretical framework through Galerkin projection methods and numerical spectral integration.

math.NA↗

arXiv2025

Long-Range Entangling Operations via Josephson Junction Metasurfaces

We present a framework for implementing two-qubit entangling operations between distant superconducting qubits using a space-time modulated Josephson junction metasurface. By modulating the surface in both space and time, we engineer sidebands with controllable wavevectors that selectively couple target qubits. The metasurface acts as a reconfigurable coupling medium, where the interaction strength is determined by engineered transmission coefficients rather than by exponentially decaying near-field coupling, thus reducing the dependence on physical proximity. We investigated the implementation of two-qubit interactions via iSWAP gates driven resonantly through the metasurface and controlled phase gates via geometric phase accumulation. Simulations show entangling fidelity exceeding 98% maintained over centimeter scale separations.

quant-ph↗

arXiv2025

Agents for self-driving laboratories applied to quantum computing

Fully automated self-driving laboratories are promising to enable high-throughput and large-scale scientific discovery by reducing repetitive labour. However, effective automation requires deep integration of laboratory knowledge, which is often unstructured, multimodal, and difficult to incorporate into current AI systems. This paper introduces the k-agents framework, designed to support experimentalists in organizing laboratory knowledge and automating experiments with agents. Our framework employs large language model-based agents to encapsulate laboratory knowledge including available laboratory operations and methods for analyzing experiment results. To automate experiments, we introduce execution agents that break multi-step experimental procedures into agent-based state machines, interact with other agents to execute each step and analyze the experiment results. The analyzed results are then utilized to drive state transitions, enabling closed-loop feedback control. To demonstrate its capabilities, we applied the agents to calibrate and operate a superconducting quantum processor, where they autonomously planned and executed experiments for hours, successfully producing and characterizing entangled quantum states at the level achieved by human scientists. Our knowledge-based agent system opens up new possibilities for managing laboratory knowledge and accelerating scientific discovery.

cs.AI↗

arXiv2025

Characterization of Nanostructural Imperfections in Superconducting Quantum Circuits

Decoherence in superconducting quantum circuits, caused by loss mechanisms like material imperfections and two-level system (TLS) defects, remains a major obstacle to improving the performance of quantum devices. In this work, we present atomic-level characterization of cross-sections of a Josephson junction and a spiral resonator to assess the quality of critical interfaces. Employing scanning transmission electron microscopy (STEM) combined with energy-dispersive X-ray spectroscopy (EDS) and electron-energy loss spectroscopy (EELS), we identify structural imperfections associated with oxide layer formation and carbon-based contamination, and correlate these imperfections to the patterning and etching steps in the fabrication process and environmental exposure. These results suggest that TLS imperfections at critical interfaces significantly contribute to limiting device performance, emphasizing the need for an improved fabrication process.

quant-ph↗