Search arXiv⌕ Search

arXiv subjects

Jonte R. Hance

Publications and source records attributed to Jonte R. Hance.

At least 19 recordsLinked to original sources

Coherent errors, syndrome extraction and the Robustness of Magic in stabiliser codes

Coherent errors leave stabiliser-code-encoded magic states in superpositions of syndrome sectors. We ask how much magic these coherent errors add, and whether syndrome extraction depletes logical magic. Using Robustness of Magic, we show that, for a unitary error U on a correctable region which supports no stabiliser, the encoded state has the same robustness as the logical state plus one copy of the Choi state of U , in every stabiliser code encoding. Syndrome extraction removes this copy, returning the logical robustness. The removed magic is positive for every non-Clifford error: adding a non-stabiliser state to any state multiplies one plus the robustness by a (tightly- bounded) factor above one. The magic capacity of two-qubit gates Clifford-equivalent to diagonal or single-qubit gates is equal to their Choi-state robustness. We give a linear-algebraic test for when a Clifford error makes syndrome extraction measure a logical operator, and give magic lifetimes of stored single-qubit magic states under Pauli noise. Choosing the plane of the stored state extends these lifetimes about 1.5x on rotated surface codes under low code-capacity depolarising noise. We identify states and channels in odd-prime dimension for which Wigner negativity and robustness show equal lifetimes.

quant-ph↗

An Invitation to Algebraic Methods in Quantum Theory

In this paper, we present various well-studied examples of quantum systems, and discuss how they might be analysed algebraically. We analyse the harmonic oscillator, hydrogenic atom, optical components, and particle spin using multiple algebraic methods, and highlight the central importance of algebraic relationships between operators in determining the physical character of the system. In particular, we show: the ubiquity of the Lie algebra $\mathfrak{so}(2,1)\cong\mathfrak{su}(1,1)$ as the ``spectrum generating algebra''; the role of $\mathfrak{su}(2)$ and $\mathfrak{su}(1,1)$ in determining the action of optical components; that an elementary algebraic approach to particle spin offers novel insights into its nature versus the usual approaches; and how understanding the full (often hidden) symmetry of a problem enables it to be solved immediately without the need to solve differential equations. We hope this work will serve as a gentle introduction to algebraic methods in quantum mechanics for the interested reader --- we therefore signpost active areas of research within the community.

quant-ph↗

Entangled Futures: Quantum Computing's Potential and Challenges in Computer Science

Quantum computing represents a fundamental shift in computation, promising to solve problems currently intractable for classical computers. However, misconceptions persist; quantum computers are not universally faster, nor do they replace classical systems. Current Noisy Intermediate-Scale Quantum (NISQ) devices face significant challenges, including decoherence, high error rates, and limited scalability. Additionally, leveraging quantum systems requires rethinking traditional computing principles, adopting different programming models, and addressing the complexities of integrating quantum and classical workflows, making their practical use in computer science both demanding and non-trivial. This article provides a system-level perspective on quantum computing for computer scientists, software engineers, and IT professionals, examining its current capabilities, key architectural and software challenges, and potential paths toward quantum advantage in real-world applications within hybrid quantum-classical environments.

cs.ET↗

The Quantum Eraser Paradox

The Delayed-Choice Quantum Eraser experiment is commonly interpreted as implying that in quantum mechanics a choice made at one time can influence an earlier event. We here suggest an extension of the experiment that results in a paradox when analysed in a local realist interpretation combined with backward causation (``dynamical retrocausality''). We argue that resolving the paradox requires giving up the idea that, in quantum mechanics, a choice can influence the past in this way, and that it instead requires a violation of Statistical Independence without (what most people think of as) retrocausality. Finally, we propose an implementation of the experiment that we believe to be possible with existing technology. This new experiment can distinguish between different types of hidden-variables theories in a way that Bell-type tests cannot: unlike in a Bell test, the measurement setting here is set by an earlier outcome, which makes the consistency of the backwards influence itself testable. We classify the fixed-point (consistency-enforcing) hidden-variables models of the experiment, which can reproduce quantum mechanics only if the backwards influence has no observable effect.

quant-ph↗

Negative quasiprobabilities redistribute (and complex ones reduce) the information in unabsorbed photons

Negative Kirkwood--Dirac quasiprobabilities are credited with the quantum advantage of interaction-free measurement and postselected metrology. We test that claim on the task interaction-free measurement was designed for: learning about a sample letting it absorb as little light as possible. The Kirkwood--Dirac distribution of path and output gives the linear response to a weak sample: its real part responds to absorption, its imaginary part to a phase. For a pure single photon passing once through any interferometer, the Fisher information about transmittance per absorbed photon is the direct-transmission value minus a sum of squared imaginary parts: no interferometer or readout beats direct transmission. Negativity plays no role beyond concentrating information in weakly lit outputs. The imaginary parts of the Kirkwood-Dirac distribution depend on the output basis here, not on the sample, so a basis exists in which every term is real, which is optimal. A single photon gains information per absorbed photon only through a phase response, which for an optical line needs a thick or inhomogeneously broadened sample, or through many passes when absorptions go uncounted, as shown by a critically coupled resonator. For detecting a weak absorber, negativity gives a single-shot advantage that does not accumulate over multiple trials; advantage instead accumulates when there are outputs which are dark without the object, a case which needs no negativity.

quant-ph↗

Phase-Space Representations of Quantum Error-Correcting Codes

We connect the structure theorem for quasiprobability representations to quantum error correction. For a code space invariant under a subgroup of an extended Weyl-Heisenberg group, the Brif-Mann construction gives a semi-functorial representation whenever its kernel satisfies the Stratonovich-Weyl axioms, and composes on channels covering full error-correction cycles. With phase-space parity available, a kernel other than the ordinary Wigner one exists iff the code space is invariant under a lattice of displacements: among compact-phase-space bosonic codes, this is only the ideal Gottesman-Kitaev-Preskill family; in finite dimension, this is every qudit stabiliser code, whose negative volume for odd prime dimension is the syndrome-averaged logical magic. For rotation-symmetric, one-photon, non-Pauli qudit and spin codes only the ordinary kernel remains, its negativity reflecting the physical carrier, not logical content; a sector-graded representation built from recovery isometries restores a resource reading. We add a channel atlas, a closed-form magic lifetime under displacement noise, a Kirkwood-Dirac layer, and finite-energy corrections.

quant-ph↗

Frame dependence of Kochen-Specker contextuality for relativistic spin systems

We ask whether Kochen-Specker contextuality is Lorentz invariant. On the full Hilbert space, it is, since boosts act unitarily. Restricted to spin, it is not: momentum acts as an environment applying momentum-dependent Wigner rotations, leaving spin observables unsharp and breaking the operator identities behind state-independent contextuality. For spin $1/2$ one scalar governs the loss, the packet average $Δ$ of $\sin^2(θ_W/2)$ (where $θ_W$ is the Wigner angle); for any spin, a ray degrades at a rate set by its spin variance transverse to the boost. In the spin-only account, the Free Will Theorem's SPIN axiom fails for every $Δ>0$; the Yu-Oh set loses contextuality between $Δ\approx0.008$ and $0.016$, with state independence going first; the Peres-Mermin square loses contextuality at $Δ\approx0.059$ or $0.074$ by orientation; singlet CHSH loses nonlocality for $Δ\geq0.159$; and a GHZ-state OR gate loses Raussendorf's contextuality certificate at $Δ\approx0.206$. A $q$-plate implements the channel exactly on photon polarisation, with a retardation in place of the rapidity, so the nonlocality, GHZ and aimed-source results are testable without motion.

quant-ph↗

Classical Limit: Dissipation of Spekkens' Generalised Contextuality under Decoherence

When does a decohering quantum system become classical? Generalised noncontextuality gives one criterion, for scenarios rich enough in preparations: a system is classical once its statistics admit an underlying model in which operationally indistinguishable procedures are physically identical. Where it crosses depends not on the state and channel alone but on which preparations, transformations and measurements the experiment offers, and if every measurement is allowed there is no crossing. For any pairwise unbiased bases in any dimension, given preparations holding their eigenstates and surrounding the maximally mixed state, the question reduces to a finite linear program; for a qudit of odd prime dimension $d$ restricted to the stabiliser subtheory, with one depolarised magic state, we solve it in closed form. With preparations and measurements alone the qutrit strange state is classical at zero noise; with the Clifford gates added, each channel represented once, it crosses at $3/5$; and with a random gate represented, as Spekkens' treatment asks, by the matching mixture of stochastic maps, at $3/4$. A Clifford orbit of assignments supports such a representation only if it has $d^2$ members, leaving, in every odd prime dimension, only Gross's discrete Wigner function: the crossing sits where it stops being negative.

quant-ph↗

The Quantum Plumber's Problem

Recent work quantified the notion of quantum counterfactual gain for an extended Elitzur-Vaidman bomb test style scenario, through a connection to the negativity of the Kirkwood-Dirac quasiprobability distribution. We here extend this work to identifying quantum advantage in a new scenario, which we term the ``Quantum Plumber's Problem''. In this scenario, we imagine a ``quantum plumber'', who knows that one path of an interferometer is blocked, and wants to find the optimal strategy for identifying with certainty which path this is. We discuss various strategies for a generalised path-encoded interferometer, as well as for the specific case of Hofmann's three-path interferometer, introduced in a recent analysis of the relationship between states in five measurement contexts of a three level system. We support our arguments on the relative merit of competing strategies with data collected over many simulated attempts at locating blockages. We also present results for a variant of the game in which the blockage is replaced by a non-demolition detector.

quant-ph↗

Warring Contextualities - Provably Classical vs Provably Nonclassical

In the literature, there are two differing definitions of contextuality: Kochen and Specker's, and Spekkens' (or ``generalised''). However, researchers using one of these definitions rarely consider the other, meaning comparative analysis of these two notions is rare. In this paper, we advance the idea that Kochen-Specker contextuality provides a generalisation of the idea of system being fundamentally \emph{nonclassical}, while Spekkens' noncontextuality provides a generalisation of the idea of a system being \emph{classical}. This allows us to reconcile the two approaches, as different stages in a hierarchy of classicality/nonclassicality.

quant-ph↗

Why three? A two-level system with four mutually unbiased questions

Two sharp yes/no questions are mutually unbiased if and only if their involutions anticommute. A set of unbiased questions is therefore a Clifford algebra, whose maximal size is odd, meaning four anticommuting questions typically imply a fifth: the two-level systems of real, complex and quaternionic quantum theory allow two, three and five questions, while four is skipped. Without this operator product restriction, a two-level system with four unbiased questions exists as the four-dimensional Bloch ball, the hyperbit. The single-system postulates that pick out the Jordan state spaces allow such a model, and only energy observability rules it out. We show what it lacks, and realise it inside two qubits: its Kirkwood-Dirac imaginary parts are hidden $\mathfrak{so}(4)$ generators, its composites allow entanglement but no interaction, and its 24-cell of states stays Spekkens preparation contextual down to depolarising strength $2/3$. In fermionic terms, the four questions are the Majorana operators of two modes while the fifth is parity: the four-question system is therefore the sector removed by parity superselection.

quant-ph↗

Impact of Data Loss in Postprocessing on Training and Inference of Quantum Neural Networks

As quantum hardware scales to larger devices, the classical software layers that interface with it must evolve in step. Postprocessing routines developed and tested primarily in simulator settings can encode assumptions that no longer hold on utility-scale devices, leading to data loss that can be difficult to detect from high-level model outputs alone. We present a case study of \texttt{SamplerQNN}, the sampling-based quantum neural network class in the Qiskit Machine Learning library. Here, the postprocessing method applies a filter that assumes measurement bit-strings are in virtual qubit space. On our quantum hardware runs, where bit-strings span over 100 physical qubits, this filter led to the loss of 85 to 99.6\% of valid measurement shots, depending on the transpiler's qubit placement. The resulting probability vector is unnormalised, allowing distorted prediction and loss values to propagate through the model without an API-level warning. We demonstrate the impact across five experiments on two IBM backends: for inference, accuracy drops from 0.94 to 0.39 on the same raw measurements; for training, the loss signal is compressed by 22 to 27$\times$, substantially reducing the sensitivity of the optimiser to the objective landscape. The behaviour arises in all released versions of the library (0.8.4 to 0.9.0). We implemented a layout-based marginalisation fix, merged into the GitHub codebase as Pull Request \#1041, that makes \texttt{SamplerQNN} postprocessing forward-compatible with current and upcoming hardware.

quant-ph↗

Convex conservation of von Neumann entropy implies unitarity or antiunitarity

On the space of density matrices $D(H)$, Kadison's theorem establishes that all invertible convex transformations $K:D(H)\to D(H)$ are unitarity or antiunitary. For a finite Hilbert space, we propose a similar theorem which replaces the invertibility requirement with that of entropy conservation. Thus, we argue, the supposition of reversibility in quantum mechanics may be replaced with a principle of entropy conservation.

quant-ph↗

Implementation of nonlocal multi-photon interference by mode swapping

Multi-photon interference can be observed using independently generated photons as input. In the most simple case, these photons meet up at a beam splitter, resulting in quantum interference between transmission and reflection of the photons. Here, we show that non-local multi-photon interference can be implemented by using a mode swap operation to generate entanglement between the photons detected in the outputs of two spatially separated interferometers. The spatial separation of the output photons makes this implementation of multi-photon interference particularly suitable for quantum protocols that distribute quantum information to different parties.

quant-ph↗

What meter interference can tell us about the statistics of weak measurements

It is widely assumed that the quantum fluctuations of the meter readout in a weak measurement make it impossible to identify the contributions originating from the individual values of the physical property observed in the measurement. Here, we show that a careful analysis of the quantum dynamics of the meter system allows us to identify a universal relation between quantum interference in the post-selection probability, and quantum interference in the statistics of the meter readout. The analysis reveals that quantum interference modifies the readout distribution of the meter in two ways, a diffusion term that identifies the appropriate operator ordering in the post-selected variance of the observed system property, and a wavefunction-dependent update of the initial meter statistics based on the effect of back action on the post-selection probability. Our results show that the statistical patterns described by meter interference provide important details about the physics of post-selection in weak measurements, allowing us to exclude the possibility of statistical artefacts in the experimental observation of weak values.

quant-ph↗

The burden of Fundamentality: Metaphysical ambiguities and the issue of Superdeterminism

In this paper we approach the problem of superdeterminism from a novel point of view, highlighting its character as a more metaphysical than scientific proposition. First, we introduce a distinction between two types of superdeterministic theories, naïve (NSD) and metaphysical (MSD), and argue how NSD presents significant epistemic flaws. We show how NSD justifies itself through claims to fundamentality, thus connoting itself as a metaphysical theory rather than a scientific one. We finally illustrate that the most developed MSD model so far, Invariant Set Theory, implicitly proposes a confused form of priority monism. Our paper thus reinforces the thesis that theories should demonstrate rather than assume fundamentality and that it is methodologically flawed for a theory to assume its own fundamentality for the sole purpose of defending against criticisms.

physics.hist-ph↗

Modelling Emotional Memory in Children with Tensor Networks

We demonstrate how emotional valence influences the order-dependent structure of children's recognition memory: correct recall of a sequence of emotionally-valenced toys depended not just on the valence of a given toy itself, but also on the valence of the toys shown before and after it. Whilst standard psychological models confirm that order-dependence differs across an event (a set of toys shown in sequence), accuracy is low and the model does not reflect how memory for an emotional object influences others in the set. A classical tensor network model factoring in valence is able to achieve a 77.98\% accuracy in modelling the results of the study. While not strictly a ``quantum cognition'' model, this massive increase in accuracy shows the value of quantum-inspired methods for modelling order-dependent phenomena, such as emotional memory. Further, the task protocol we introduce presents a novel, real-world tool for exploring emotional temporal memory in children for analysis using classical and quantum-like models of cognition.

cs.LG↗

External quantum fluctuations select measurement contexts

Quantum paradoxes show that the outcomes of different quantum measurements cannot be described by a single measurement-independent reality. Any theoretical description of a quantum measurement implies the selection of a specific measurement context. Here, we investigate generalised quantum measurements, in order to identify the mechanism by which this specific context is selected. We show that external quantum fluctuations, represented by the initial state of the measurement apparatus, play an essential role in the selection of the context. This has the non-trivial consequence that, when considering measurements other than just idealised projection-valued measures, different outcomes of a single measurement setup can represent different measurement contexts. We further show this result underpins recent claims that contextuality can occur in scenarios without measurement incompatibility.

quant-ph↗