SearcharxivSearch

arXiv subjects

Mustafa Bakr

Publications and source records attributed to Mustafa Bakr.

At least 19 recordsLinked to original sources

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

What do position and time mean in the quantum wavefunction?

The notation $\psi(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 $\psi(t)$ should require a generalized bra $\bra{t}$ in the same way that $\psi(x)=\braket{x}{\psi}$ 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 $\psi(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

Scalar Finite-Proper-Time Field Theory as Spectral Operator Calculus

We formulate a finite-proper-time construction for Euclidean scalar $\lambda\phi^4$ theory in which a retained endpoint $s_0$ is assigned to complete internal histories rather than independently to individual Schwinger segments. The theory is defined through paired open and closed spectral functions and their Fr\'echet/Duhamel hierarchy. Functional differentiation inserts operators along an existing proper-time history and partitions its total length, while interaction vertices sew separately complete histories. We introduce a corresponding complete-history diagrammatic calculus and derive the resulting one- and two-loop structures. We distinguish the retained endpoint from an auxiliary regulator or renormalisation-group scale and test whether its effects survive ordinary parameter matching and admissible field redefinitions. For the one-loop four-point function, fixing the renormalised mass, field normalisation, and quartic coupling leaves a finite momentum-dependent remainder. We establish a perturbative non-redundancy description of the retained endpoint against finite renormalisable-parameter redefinitions and local $S$-matrix-preserving field redefinitions at this order. The low-energy theory can be represented as an effective field theory, but its higher-derivative coefficients are not independent. This provides a concrete distinction between a retained finite proper-time scale and an arbitrary cutoff prescription.

hep-th

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

We formulate a finite-proper-time version of QED defined by a gauge-covariant generating functional in which every complete internal virtual history carries a physical lower endpoint $s_0=\Lambda^{-2}$ that is not removed. Closed fermion loops are defined by the heat-kernel determinant, while open fermion lines, vertices, and contact terms are derived from the corresponding open-line kernel. Gauge covariance gives the Ward--Takahashi hierarchy and transversality of the photon functions, while a worldline bound establishes ultraviolet finiteness of connected Euclidean amplitudes at every fixed perturbative order and fixed infrared regulator. One-loop mass and charge renormalisation are replaced by finite matching, and the anomalous magnetic moment acquires a calculable $O(m^2/\Lambda^2)$ correction. The free propagators retain canonical unit pole residues and contain no additional poles. Lorentzian amplitudes are defined at fixed order by analytic continuation of the Euclidean correlators in the external invariants with $s_0$ held fixed. An amputation theorem removes the endpoint factor from real external particles and reduces the two-body virtual correction at two loops to photon-modified on-shell form factors. The Born-level $q\bar q\to\gamma\gamma$ hard amplitude is unchanged, providing a parameter-free null test.

math-ph

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}(\omega_n^{-1})$ at high frequencies for any circuit with finite shunt capacitance, ensuring ultraviolet convergence of perturbative corrections without imposed cutoffs.

quant-ph

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: $\delta_{ge} = 2Lg^2\omega_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

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 $\nu = m + k$ for positive integer $k$, with the hypergeometric series terminating when $\nu - m$ is a non-negative integer. Zonal harmonics with $m = 0$ require integer $\nu$ 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 ($\nu = m$) and tesseral modes ($\nu = m + k$) are observed with sub-percent frequency agreement, validating the extended framework for non-integer azimuthal index.

math-ph

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 $\nu$ to the resonant frequency through zeros of the spherical Bessel function derivative. Analytic continuation of this dispersion relation to $\nu = -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 $\nu \geq 0$, placing $\nu = -1$ outside the admissible spectrum. We demonstrate that all electromagnetic field components vanish in this limit, even though the underlying Debye potential $\Pi = \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

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

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 $\nu=m$, the function $\sin^{m}\theta$ 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 $(\nu, 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

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

We solve the stationary Schr\"odinger equation for a particle confined to a 3D spherical wedge -- the region $\{(r,\theta,\phi): 0 \leq r \leq R,\, 0 \leq \theta \leq \pi,\, 0 \leq \phi \leq \Phi\}$ 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 $\Delta L_z = \hbar n_\phi\pi/\Phi \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 $\mu = n_\phi\pi/\Phi$ is generically non-integer, and square-integrability of the polar wavefunctions at both poles requires the angular eigenvalue parameter $\nu$ to satisfy $\nu - \mu \in \mathbb{Z}_{\geq 0}$. This regularity constraint yields a hierarchy: sectoral solutions ($\nu = \mu$, satisfying the first-order highest-weight condition) exist for any real $\mu > 0$, while tesseral and zonal solutions require integer steps, appearing only when $\mu$ itself is integer. Third, application to a Coulomb potential shows that the familiar integer angular momentum spectrum of hydrogen arises from the periodic identification $\phi \sim \phi + 2\pi$ 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

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

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

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_{\alpha(\ell,m)}(\Omega)$ 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 $\nu \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

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

Low Crosstalk in a Scalable Superconducting Quantum Lattice

Superconducting quantum circuits are a key platform for advancing quantum information processing and simulation. Scaling efforts currently encounter challenges such as Josephson-junction fabrication yield, design frequency targeting, and crosstalk arising both from spurious microwave modes and intrinsic interactions between qubits. We demonstrate a scalable 4x4 square lattice with low crosstalk, comprising 16 fixed-frequency transmon qubits with nearest-neighbor capacitive coupling that is implemented in a tileable, 3D-integrated circuit architecture with off-chip inductive shunting to mitigate spurious enclosure modes. We report on the design and comprehensive characterization, and show that our implementation achieves targeted device parameters with very low frequency spreads and simultaneous single-qubit gate errors across the device. Our results provide a promising pathway toward a scalable, low-crosstalk superconducting lattice topology with high qubit connectivity for quantum error correction and simulation.

quant-ph

Properties of Building Blocks Comprising Strongly Interacting Posts and Their Consideration in Advanced Coaxial Filter Designs

Building blocks containing strongly coupled posts offer new possibilities for advanced coaxial (comb-line) filter designs. Equivalent circuits based on the individual resonances of the posts cannot be used to reliably describe the behavior of these structures because of the strong coupling between the posts. Instead, sets of electromagnetic (EM) resonances that satisfy the boundary conditions are used. The resulting equivalent circuit is either a fully transversal circuit or contains locally transversal sub-circuits depending on the strength of the coupling between the cascaded blocks. The validity of similarity transformations that result in topologies with unusual strong coupling coefficients is questionable despite the fact that they yield the correct frequency response. Such coupling matrices obscure the physics of the problem and fail to predict the correct behavior of filtering structures. However, topologies that match the layout of the posts can be used to optimize the filter in connection with a full-wave solver or measurement. Examples of dual-post and triple-post units are used to illustrate the key findings. The basic knowledge of the real functionality of these special resonator configurations allows their consideration in advanced filter implementations by well-established classic design methods, without limitation by the design approach. This is demonstrated by an example of a 2-order in-line filter implementation providing one transmission zero by using the combination of single and transverse dual-post resonators. This fundamental understanding of the special properties provides the pre-requisite for a variety of novel filter solutions.

physics.class-ph

Theory of Azimuthally Propagating Electromagnetic Waves in Cylindrical Cavities

The paper presents a detailed study of azimuthally propagating electromagnetic waves in cylindrical metallic cavities with circular cross section. Dispersion characteristics of these waves are determined from Maxwell's equations. Solutions are grouped into branches that account for all known results that are obtained from axial propagation. It is reported that the lowest TE mode starts propagating in the azimuthal direction at a frequency that depends only on the height of the cavity and may be much lower than the cutoff of the TE mode in the axial direction. Universal curves allow the determination of resonant frequencies and field distribution of TE and TM modes in circular cavities containing wedges of arbitrary angles and baffles, with no additional computation. It is shown that the frequency dependence of the propagation constant of a given branch determines all the resonant frequencies of the branch for arbitrary boundary conditions in the azimuthal direction. It is argued that propagation-based models, when applicable, are more accurate than resonance-based models. The lowest TE branch starts at a non-physical resonance. Applications to microwave dual-mode filter design are discussed briefly.

physics.optics