arXiv subjects

Andrew Jackson

Publications and source records attributed to Andrew Jackson.

At least 19 recordsLinked to original sources

arXiv2026

Unitary Channel Testing Under a Depolarizing Noise Assumption

We present fast algorithms $\unicode{x2013}$ under the depolarizing noise assumption, often made in fault-tolerant quantum computations $\unicode{x2013}$ to test its strength. Our optimal algorithms answer the following question: is the quantum channel implemented by a given black box identical to a target unitary or $\varepsilon$-far from it in the diamond distance, assuming that the deviation is a depolarizing channel with unknown parameter? Our algorithm has a query complexity of $\Theta(1/\varepsilon).$ The query complexity of the relaxed problem of testing whether the black-box channel is $\varepsilon_1$-close to a target unitary or $\varepsilon_2$-far in the diamond distance is $\Theta\bigl(\varepsilon_2/(\varepsilon_2 - \varepsilon_1)^2\bigr).$ In both cases, we provide matching lower bounds that hold even for adaptive, ancilla-assisted protocols with multi-outcome incoherent measurements.

quant-ph↗

arXiv2026

Quantum Accreditation with Non-Clifford Two-qubit Gates

We develop a family of quantum accreditation protocols for quantum circuits with non-Clifford two-qubit gates. The latter includes families of gates such as the fSim and XY families of gates, native to existing hardwares. We provide practical and scalable protocols that upper-bound the total variation distance between the probability distributions of error-free and erroneous quantum computations. We also establish the robustness of our protocols to small perturbations and generalize Pauli twirling to non-Pauli single-qubit bases, which may be of independent interest.

quant-ph↗

arXiv2026

Rapidly rotating internally heated convection: bounds on long-time averages

Convection on geophysical and astrophysical scales is subject to rapid rotation and strong heating from within the domain. In studying the long-time behaviour of the solutions for such a system, energy identities fail to capture the effects of rotation because the Coriolis force does no work, and rapid rotation can be prohibitive for direct numerical simulations. Instead, we derive an asymptotically reduced model for rapidly rotating convection driven by uniform internal heating between isothermal stress-free boundaries in a plane periodic layer. The main contribution is the proof of bounds on the mean temperature, and the mean vertical convective heat transport, in terms of the Rayleigh and Ekman numbers, in the limit of infinite Prandtl number. The first quantity represents the mixing of the flow, and the second the asymmetry in heat leaving the bottom and top boundaries due to convection, and unlike Rayleigh-B\'enard convection, the two are not a priori related. We employ alternative estimation techniques to those used in previous studies (Grooms \& Whitehead, 2014 \textit{Nonlinearity}, 28, 29) and identify two distinct scaling behaviours for both quantities. Finally, our bounds are optimised, within the methodology, and provide a rigorous constraint for future studies of rotation-dominated internally heated convection.

physics.flu-dyn↗

arXiv2026

Nomad: Autonomous Exploration and Discovery

We introduce Nomad, a system for autonomous data exploration and insight discovery. Given a corpus of documents, databases, or other data sources, users rarely know the full set of questions, hypotheses, or connections that could be explored. As a result, query-driven question answering and prompt-driven deep-research systems remain limited by human framing and often fail to cover the broader insight space. Nomad addresses this problem with an exploration-first architecture. It constructs an explicit Exploration Map over the domain and systematically traverses it to balance breadth and depth. It generates and selects hypotheses and investigates them with an explorer agent that can use document search, web search, and database tools. Candidate insights are then checked by an independent verifier before entering a reporting pipeline that produces cited reports and higher-level meta-reports. We also present a comprehensive evaluation framework for autonomous discovery systems that measures trustworthiness, report quality, and diversity. Using corpora of selected UN and WHO reports and arXiv papers on LLM agents, we show that Nomad produces reports with strong numeric grounding, higher overall quality and actionability than baselines, and more diverse insights over several runs. Nomad is a step toward autonomous systems that not only answer user questions or conduct directed research, but also discover which questions, research directions, and insights are worth surfacing in the first place.

cs.AI↗

arXiv2025

Where Are All The Tourists From 3025?

This paper examines the distinct lack of clear examples of time-travellers and proposes an explanation for their absence without assuming technical barriers to constructing time machines. Instead, it develops and then analyses a model of the consequences of time-travellers; finding that time travel is self-suppressing.

physics.gen-ph↗

arXiv2025

Phase Transitions in Decision Problems Over Odd-Sized Alphabets

In [A. Jackson, Explaining the ubiquity of phase transitions in decision problems (2025), arXiv:2501.14569], I established that phase transitions are always present in a large subset of decision problems over even-sized alphabets, explaining -- in part -- why phase transitions are seen so often in decision problems. However, decision problems over odd-sized alphabets were not discussed. Here, I correct that oversight, showing that a similar subset of decision problems over odd-sized alphabets also always exhibit phase transitions.

cs.CC↗

arXiv2025

Improved Accreditation of Analogue Quantum Simulation and Establishing Quantum Advantage

We improve on the results of [A. Jackson et al. Proc. Natl. Acad. Sci. U.S.A 121 (6). 2024] on the verification of analogue quantum simulators by eliminating the use of universal Hamiltonians, removing the need for two-qubit gates, and no longer assuming error is represented by identical maps across simulations. This new protocol better reflects the reality of extant analogue simulators. It integrates well with recent complexity theoretic results, leading to a near-term feasible simulation-based route to establishing quantum advantage.

quant-ph↗

arXiv2025

Explaining the Ubiquity of Phase Transitions in Decision Problems

I present an analytic approach to establishing the presence of phase transitions in a large set of decision problems. This approach does not require extensive computational study of the problems considered. The set -- that of all paddable problems over even-sized alphabets satisfying a condition similar to not being sparse -- shown to exhibit phase transitions contains many "practical" decision problems, is very large, and also contains extremely intractable problems.

cs.CC↗

arXiv2024

Accreditation Against Limited Adversarial Noise

I present an accreditation protocol (a variety of quantum verification) where error is assumed to be adversarial (in contrast to the assumption error is implemented by identical CPTP maps used in previous accreditation protocols) - albeit slightly modified to reflect physically motivated error assumptions. This is achieved by upgrading a pre-existing accreditation protocol (from [S. Ferracin et al. Phys. Rev. A 104, 042603 (2021)]) to function correctly in the face of adversarial error, with no diminution in efficiency or suitability for near-term usage.

quant-ph↗

arXiv2024

Extensively Not P-Bi-Immune promiseBQP-Complete Languages

In this paper, I first establish -- via methods other than the Gottesman-Knill theorem -- the existence of an infinite set of instances of simulating a quantum circuit to decide a decision problem that can be simulated classically. I then examine under what restrictions on quantum circuits the existence of infinitely many classically simulable instances persists. There turns out to be a vast number of such restrictions, and any combination of those found can be applied at the same time without eliminating the infinite set of classically simulable instances. Further analysis of the tools used in this then shows there exists a language that every (promise) BQP language is one-one reducible to. This language is also not P-bi-immune under very many promises.

cs.CC↗

arXiv2023

Jais and Jais-chat: Arabic-Centric Foundation and Instruction-Tuned Open Generative Large Language Models

We introduce Jais and Jais-chat, new state-of-the-art Arabic-centric foundation and instruction-tuned open generative large language models (LLMs). The models are based on the GPT-3 decoder-only architecture and are pretrained on a mixture of Arabic and English texts, including source code in various programming languages. With 13 billion parameters, they demonstrate better knowledge and reasoning capabilities in Arabic than any existing open Arabic and multilingual models by a sizable margin, based on extensive evaluation. Moreover, the models are competitive in English compared to English-centric open models of similar size, despite being trained on much less English data. We provide a detailed description of the training, the tuning, the safety alignment, and the evaluation of the models. We release two open versions of the model -- the foundation Jais model, and an instruction-tuned Jais-chat variant -- with the aim of promoting research on Arabic LLMs. Available at https://huggingface.co/inception-mbzuai/jais-13b-chat

cs.CL↗

arXiv2023

Accreditation of Analogue Quantum Simulators

We present an accreditation protocol for analogue, i.e., continuous-time, quantum simulators. For a given simulation task, it provides an upper bound on the variation distance between the probability distributions at the output of an erroneous and error-free analogue quantum simulator. As its overheads are independent of the size and nature of the simulation, the protocol is ready for immediate usage and practical for the long term. It builds on the recent theoretical advances of strongly universal Hamiltonians and quantum accreditation as well as experimental progress towards the realisation of programmable hybrid analogue-digital quantum simulators.

quant-ph↗

arXiv2022

Partition Function Estimation: Quantum and Quantum-Inspired Algorithms

We present two algorithms, one quantum and one classical, for estimating partition functions of quantum spin Hamiltonians. The former is a DQC1 (Deterministic quantum computation with one clean qubit) algorithm, and the first such for complex temperatures. The latter, for real temperatures, achieves performance comparable to a state-of-the-art DQC1 algorithm [Chowdhury et al. Phys. Rev. A 103, 032422 (2021)]. Both our algorithms take as input the Hamiltonian decomposed as a linear combination Pauli operators. We show this decomposition to be DQC1-hard for a given Hamiltonian, providing new insight into the hardness of estimating partition functions.

quant-ph↗

arXiv2022

Geophysical Inversion and Optimal Transport

We propose a new approach to measuring the agreement between two oscillatory time series, such as seismic waveforms, and demonstrate that it can be employed effectively in inverse problems. Our approach is based on Optimal Transport theory and the Wasserstein distance, with a novel transformation of the time series to ensure that necessary normalisation and positivity conditions are met. Our measure is differentiable, and can readily be employed within an optimization framework. We demonstrate performance with a variety of synthetic examples, including seismic source inversion, and observe substantially better convergence properties than achieved with conventional $L_2$ misfits. We also briefly discuss the relationship between Optimal Transport and Bayesian inference.

physics.geo-ph↗

arXiv2022

Fine-tuning Image Transformers using Learnable Memory

In this paper we propose augmenting Vision Transformer models with learnable memory tokens. Our approach allows the model to adapt to new tasks, using few parameters, while optionally preserving its capabilities on previously learned tasks. At each layer we introduce a set of learnable embedding vectors that provide contextual information useful for specific datasets. We call these "memory tokens". We show that augmenting a model with just a handful of such tokens per layer significantly improves accuracy when compared to conventional head-only fine-tuning, and performs only slightly below the significantly more expensive full fine-tuning. We then propose an attention-masking approach that enables extension to new downstream tasks, with a computation reuse. In this setup in addition to being parameters efficient, models can execute both old and new tasks as a part of single inference at a small incremental cost.

cs.CV↗

arXiv2021

Meta-Learning Bidirectional Update Rules

In this paper, we introduce a new type of generalized neural network where neurons and synapses maintain multiple states. We show that classical gradient-based backpropagation in neural networks can be seen as a special case of a two-state network where one state is used for activations and another for gradients, with update rules derived from the chain rule. In our generalized framework, networks have neither explicit notion of nor ever receive gradients. The synapses and neurons are updated using a bidirectional Hebb-style update rule parameterized by a shared low-dimensional "genome". We show that such genomes can be meta-learned from scratch, using either conventional optimization techniques, or evolutionary strategies, such as CMA-ES. Resulting update rules generalize to unseen tasks and train faster than gradient descent based optimizers for several standard computer vision and synthetic tasks.

cs.LG↗

arXiv2020

Large-scale vortices and zonal flows in spherical rotating convection

Motivated by understanding the dynamics of stellar and planetary interiors, we have performed a set of direct numerical simulations of Boussinesq convection in a rotating full sphere. The domain is internally heated with fixed temperature and stress-free boundary conditions, but fixed heat flux and no-slip boundary conditions are also briefly considered. We particularly focus on the large-scale coherent structures and the mean zonal flows that can develop in the system. At Prandtl number of unity, as the thermal forcing (measured by the Rayleigh number) is increased above the value for the onset of convection, we find a relaxation oscillation regime, followed by a geostrophic turbulence regime. Beyond this we see for the first time the existence of large-scale coherent vortices that form on the rotation axis. All regime boundaries are well described by critical values of the convective Rossby number $Ro_c$, with transitions from oscillatory to geostrophic turbulence, and then to the large-scale vortex regime at values $Ro_c\approx 0.2$ and $Ro_c\approx 1.5$, respectively. The zonal flow is controlled by the convective Rossby number and changes its direction when the flow transitions from the geostrophic turbulence regime to the large-scale vortex regime. While the non-zonal flow speed and heat transfer can be described by the so-called inertial scaling in the geostrophic turbulence regime, the formation of large-scale vortices appears to reduce both the non-zonal flow speed and the efficiency of convective heat transfer.

physics.flu-dyn↗

arXiv2018

Detector rates for the Small Angle Neutron Scattering instruments at the European Spallation Source

Building the European Spallation Source (ESS), the most powerful neutron source in the world, requires significant technological advances at most fronts of instrument component design. Detectors are not an exception. The existing implementations at current neutron scattering facilities are at their performance limits and sometimes barely cover the scientific needs. At full operation the ESS will yield unprecedented neutron brilliance. This means that one of the most challenging aspects for the new detector designs is the increased rate capability and in particular the peak instantaneous rate capability, i.e.\,the number of neutrons hitting the detector per channel, pixel or cm$^2$ at the peak of the neutron pulse. This paper focuses on estimating the incident and detection rates that are anticipated for the Small Angle Neutron Scattering (SANS) instruments planned for ESS. Various approaches are applied and the results thereof are presented.

physics.ins-det↗