arXiv ScienceSearch

arXiv subjects

Samuel Crew

Publications and source records attributed to Samuel Crew.

17 recordsLinked to original sources

Error-detected surgery on Iceberg codes

We construct explicit error-detecting surgery gadgets---small systems of auxiliary qubits and checks---for the high-rate Iceberg codes $[[2N,2N-2,2]]$, to perform fault-detected measurements of logical Pauli products. The construction follows the perspective of surgery as the gauging of a logical operator, regarded as a symmetry of the code. We give a complete classification of logical Pauli operators under the permutation automorphism group of the Iceberg code, reducing the construction to one gadget per orbit, and we verify with circuit-level simulations that the gadgets are fault-detecting, with the expected post-selected logical error rate. The gadgets require reconfigurable long-range connectivity, available on platforms such as neutral-atom arrays, making an error-detected demonstration of Pauli-based computation a natural near-term experiment. The paper doubles as a self-contained introduction to gauging and code surgery, developed alongside a simple worked example.

quant-ph

Topological Recursion and Quantum Path Signatures

We introduce a non-commutative Laplace transform between functionals on path space and formal series in a tensor algebra, under which a natural convolution of path functionals becomes an algebraic product of series. Applying it to a random unitary matrix-valued path development - the quantum path signature - we show that the governing planar loop equations take a non-commutative spectral form. We then extend the loop equations to a $1/N$ genus expansion, organised by topological recursion, and obtain a hierarchy of integral equations on path space for the corrections.

math-ph

Efficient atom rearrangements for quantum error correction primitives with a single AOD

Neutral-atom quantum computers offer arbitrary connectivity enabled by atom transport. Some logical operations can then be simplified or reduced entirely to geometric rearrangements of the atoms. Minimizing the duration of these movements is therefore essential for high logical throughput. We introduce new primitives to shear, rotate and reflect 2D arrays of atoms in a static lattice using sweeps of a single dynamic crossed acousto-optic deflector (AOD) pair. Using (nega-)binary and geometric decompositions, we achieve an AOD stroke count scaling logarithmically in the linear size of the array. In one example, we use the Paeth decomposition to implement a $90^{\circ}$ rotation for a transversal Hadamard gate in a rotated surface code of distance $d$ in $3\lfloor\log_2(d-1)\rfloor + 4$ AOD strokes and $O(d^{1/3})$ constant-jerk time, against $O(d^2)$ strokes and $O(d^{7/3})$ time for atom-by-atom rearrangement.

quant-ph

Automorphisms of Stokes multipliers in higher-order WKBJ theory

We consider the Stokes phenomenon and higher-order Stokes phenomenon (HOSP) of formal asymptotic transseries arising in the WKBJ analysis of linear differential equations and integral problems. We introduce a framework of automorphisms that act on the Stokes constants of the divergent expansion, explained via late-late-term expansions and parametric Alien calculus, to capture this phenomenon. Our method is applied to a paradigmatic example: we obtain the full Stokes line structure and automorphisms for the Swallowtail problem from catastrophe theory, which contains four WKBJ components. We demonstrate that, in a system with four or more WKBJ components, the automorphism associated with the HOSP can itself change value across another higher-order Stokes line, which occurs when different higher-order Stokes lines intersect. We then argue that no additional special behaviour emerges for transseries with five or more WKBJ components.

math.CA

Resurgence and Hyperasymptotics in Wave Optics Astronomy

With the discovery of gravitational waves and fast radio bursts, wave optics has become increasingly relevant in astrophysics. This paper studies the behaviour of random gravitational and plasma lenses, presenting the refractive and diffractive expansions, with higher-order terms that allow error estimates and embody the counterintuitive resurgence phenomenon. Specifically, we show that the diffractive expansion converges for a broad class of bounded lens models and provides an efficient description of interference patterns across frequency regimes. Next, building on Picard-Lefschetz techniques, we derive the full refractive expansion to arbitrary order, organising it into a transseries. Near caustics, the standard transseries is supplemented with uniform asymptotics. We study this transseries, with both Borel and hyperasymptotic resummation yielding systematic approximations to lensing integrals at all frequencies. Our results give a framework for modelling wave optics lensing near caustics and beyond the geometric optics approximation and thereby illustrate how tools from resurgence and asymptotic analysis can be applied to practical problems in astrophysics. Near caustic singularities, the post-refractive corrections diverge, while the uniform asymptotic expansion becomes accurate. We use the leading uniform approximation to derive the strong wave optics suppression of off-axis caustics, which clarifies their subdominant role.

astro-ph.CO

Learning magic in the Schwinger model

We demonstrate the use of variational neural network quantum states to study non-stabilizerness in qubit-regularised quantum field theory. Applying the methodology recently introduced by Sinibaldi et al., we numerically compute the stabilizer R\'enyi entropy of ground states of the Schwinger model with a topological term. We examine how the magic content of these states depends on the separation between external probe charges, providing insight into the classical hardness of simulating gauge theories with non-trivial infrared structure.

hep-th

Magic Entropy in Hybrid Spin-Boson Systems

We introduce entropic measures to quantify non-classical resource in hybrid spin-boson systems. We discuss the stabilizer R\'enyi entropy in the framework of phase space quantisation and define an analogous hybrid magic entropy and a mutual magic entropy that capture the distribution of quantum magic across spin and bosonic subsystems. We use these entropic measures to demonstrate two key phenomena: the detection of the superradiant phase transition in the Dicke model and the dynamics of magic in the Jaynes-Cummings model following a quench. We develop a Monte Carlo numerical scheme to enable practical computation in many-body examples.

cond-mat.str-el

Quantum Path Signatures

We elucidate physical aspects of path signatures by formulating randomised path developments within the framework of matrix models in quantum field theory. Using tools from physics, we introduce a new family of randomised path developments and derive corresponding loop equations. We then interpret unitary randomised path developments as time evolution operators on a Hilbert space of qubits. This leads to a definition of a quantum path signature feature map and associated quantum signature kernel through a quantum circuit construction. In the case of the Gaussian matrix model, we study a random ensemble of Pauli strings and formulate a quantum algorithm to compute such kernel.

quant-ph

An algebraic study of parametric Stokes phenomena

We investigate geometric aspects of co-equational parametric resurgence, by studying physical problems whose formal asymptotic solutions give rise to Borel transforms lying on an algebraic curve. This perspective allows us to elucidate concepts unique to parametric resurgence such as singularity structures, (virtual) turning points and the higher-order Stokes phenomenon. We construct examples as solutions to Borel plane partial differential equations using an algebraic curve ansatz before turning to the general analytic structure of co-equational resurgence problems, where we provide a systematic description of analytic continuation and Stokes constants through a Borel plane inner-outer matching procedure.

math-ph

$\text{AdS}_4$ Holography and the Hilbert Scheme

We elucidate a holographic relationship between the enumerative geometry of the Hilbert scheme of $N$ points in the plane $\mathbb{C}^2$, with $N$ large, and the entropy of certain magnetically charged black holes with $\text{AdS}_4$ asymptotics. Specifically, we demonstrate how the entropy functional arises from the asymptotics of 't Hooft and Wilson line operators in a 3d $\mathcal{N}= 4$ gauge theory. The gauge-Bethe correspondence allows us to interpret this calculation in terms of the enumerative geometry of the Hilbert scheme and thereby conjecture that the entropy is saturated by expectation values of certain natural operators in the quantum $K$-theory ring acting on the localised $K$-theory of the Hilbert scheme. We give numerical evidence that the large $N$ limit is saturated by contributions from a certain vacuum/fixed point on the Hilbert scheme, associated to a particular triangular-shaped Young diagram, by evolving solutions to the Bethe equations numerically at finite (but large) $N$ towards the classical limit. We thus conjecture a concrete geometric holographic dual of the so-called gravitational/Cardy block.

hep-th

Boundaries & Localisation with a Topological Twist

We study the partition functions of topologically twisted 3d $\mathcal{N}=2$ gauge theories on a hemisphere spacetime with boundary $HS^2 \times S^1$. We show that the partition function may be localised to either the Higgs branch or the Coulomb branch where the contributions to the path integral are vortex or monopole configurations respectively. Turning to $\mathcal{N}=4$ supersymmetry, we consider partition functions for exceptional Dirichlet boundary conditions that yield a complete set of `IR holomorphic blocks'. We demonstrate that these correspond to vertex functions: equivariant Euler characteristics of quasimap moduli spaces. In this context, we explore the geometric interpretation of both the Higgs and Coulomb branch localisation schemes in terms of the enumerative geometry of quasimaps and discuss the action of mirror symmetry.

hep-th

Resurgence, Habiro elements and strange identities

We prove resurgence properties for the Borel transform of a formal power series associated to elements in the Habiro ring that come from radial limits of partial theta series via strange identities. As an application, we prove a conjecture in quantum topology due to Costin and Garoufalidis for two families of torus knots.

math.NT

Exponential asymptotics and higher-order Stokes phenomenon in singularly perturbed ODEs

The higher-order Stokes phenomenon can emerge in the asymptotic analysis of many problems governed by singular perturbations. Indeed, over the last two decades, the phenomena has appeared in many physical applications, from acoustic and optical wave phenomena and gravity-capillary ripples, to models of crystal growth and equatorial Kelvin waves. It emerges in a generic fashion in the exponential asymptotics of higher-order ordinary and partial differential equations. The intention of this work is to highlight its importance, and develop further practical methodologies for the study of higher-order Stokes phenomena, primarily for general non-integrable problems. Our formal methodology is demonstrated through application to a second-order linear inhomogeneous ODE that exemplifies the simplest example of higher-order Stokes phenomena. In this model problem, the Borel transform can be derived explicitly, and this gives insight into the beyond-all-orders structure. We review and study additional examples, with physically-important connections, including higher-order ODEs and eigenvalue problems.

math.CA

Resurgent aspects of applied exponential asymptotics

In many physical problems, it is important to capture exponentially-small effects that lie beyond-all-orders of a typical asymptotic expansion; when collected, the full expansion is known as the trans-series. Applied exponential asymptotics has been enormously successful in developing practical tools for studying the leading exponentials of a trans-series expansion, typically in the context of singular non-linear perturbative differential or integral equations. Separate to applied exponential asymptotics, there exists a closely related line of development known as \'Ecalle's theory of resurgence, which describes the connection between trans-series and a certain class of holomorphic functions known as resurgent functions. This connection is realised through the process of Borel resummation. However, in contrast to singularly perturbed problems, Borel resummation and \'Ecalle's resurgence theory have mainly focused on non-parametric asymptotic expansions (i.e. differential equations without a parameter). The relationships between these latter areas and applied exponential asymptotics has not been thoroughly examined, partially due to differences in language and emphasis. In this work, we explore these connections by developing an alternative framework for the factorial-over-power ansatz in exponential asymptotics that is centred on the Borel plane. Our work clarifies a number of elements used in applied exponential asymptotics, such as the heuristic use of Van Dyke's rule and the universality of factorial-over-power ansatzes. Along the way, we provide a number of useful tools for probing more pathological problems in exponential asymptotics known to arise in applications; this includes problems with coalescing singularities, nested boundary layers, and more general late-term behaviours.

math.CA

Blocks and Vortices in the 3d ADHM Quiver Gauge Theory

We study the hemisphere partition function of a three-dimensional $\mathcal{N}=4$ supersymmetric $U(N)$ gauge theory with one adjoint and one fundamental hypermultiplet -- the ADHM quiver theory. In particular, we propose a distinguished set of UV boundary conditions which yield Verma modules of the quantised chiral rings of the Higgs and Coulomb branches. In line with a recent proposal by two of the authors in collaboration with M. Bullimore, we show explicitly that the hemisphere partition functions recover the characters of these modules in two limits, and realise blocks gluing exactly to the partition functions of the theory on closed three-manifolds. We study the geometry of the vortex moduli space and investigate the interpretation of the vortex partition functions as equivariant indices of quasimaps to the Hilbert scheme of points in $\mathbb{C}^2$. We also investigate half indices of the ADHM quiver gauge theory in the presence of a line operator and discuss their geometric interpretation. Along the way we find interesting relations between our hemisphere blocks and related quantities in topological string theory and equivariant quantum K-theory.

hep-th

Boundaries, Vermas, and Factorisation

We revisit the factorisation of supersymmetric partition functions of 3d $\mathcal{N}=4$ gauge theories. The building blocks are hemisphere partition functions of a class of UV $\mathcal{N}=(2,2)$ boundary conditions that mimic the presence of isolated vacua at infinity in the presence of real mass and FI parameters. These building blocks can be unambiguously defined and computed using supersymmetric localisation. We show that certain limits of these hemisphere partition functions coincide with characters of lowest weight Verma modules over the quantised Higgs and Coulomb branch chiral rings. This leads to expressions for the superconformal index, twisted index and $S^3$ partition function in terms of such characters. On the way we uncover new connections between boundary 't Hooft anomalies, hemisphere partition functions and lowest weights of Verma modules.

hep-th

Factorisation of 3d $\mathcal{N}=4$ Twisted Indices and the Geometry of Vortex Moduli Space

We study the twisted indices of $\mathcal{N}=4$ supersymmetric gauge theories in three dimensions on spatial $S^{2}$ with an angular momentum refinement. We demonstrate factorisation of the index into holomorphic blocks for the $T[SU(N)]$ theory in the presence of generic fluxes and fugacities. We also investigate the relation between the twisted index, Hilbert series and the moduli space of vortices. In particular, we show that each holomorphic block coincides with a generating function for the $\chi_{t}$ genera of the moduli spaces of "local" vortices. The twisted index itself coincides with a corresponding generating function for the $\chi_{t}$ genera of moduli spaces of "global" vortices in agreement with a proposal of Bullimore et. al. We generalise this geometric interpretation of the twisted index to include fluxes and Chern-Simons levels. For the $T[SU(N)]$ theory, the relevant moduli spaces are the local and global versions of Laumon space respectively and we demonstrate the proposed agreements explicitly using results from the mathematical literature. Finally, we exhibit a precise relation between the Coulomb branch Hilbert series and the Poincar\'e polynomials of the corresponding vortex moduli spaces.

hep-th