Showing 1–50 of 141 results for author: Chapman, A

Mixed multiquadratic splitting fields

Authors: Fatma Kader Bingöl, Adam Chapman, Ahmed Laghribi

Abstract: We study mixed multiquadratic field extensions as splitting fields for central simple algebras of exponent $2$ in characteristic $2$. As an application, we provide examples of nonexcellent mixed biquadratic field extensions. We study mixed multiquadratic field extensions as splitting fields for central simple algebras of exponent $2$ in characteristic $2$. As an application, we provide examples of nonexcellent mixed biquadratic field extensions. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 7 pages

MSC Class: 11E04; 11E81; 16K20; 13A35

Extension of the SpK Atomic Physics Code to Generate Global Equation of State Data

Authors: Adam R. Fraser, A. J. Crilly, N. P. L. Niasse, D. A. Chapman, J. D. Pecover, S. J. O'Neill, J. P. Chittenden

Abstract: Global microphysics models are required for the modelling of high-energy-density physics (HEDP) experiments, the improvement of which are critical to the path to inertial fusion energy. This work presents further developments to the atomic and microphysics code, SpK, part of the numerical modelling suite of Imperial College London and First Light Fusion. We extend the capabilities of SpK to allow… ▽ More Global microphysics models are required for the modelling of high-energy-density physics (HEDP) experiments, the improvement of which are critical to the path to inertial fusion energy. This work presents further developments to the atomic and microphysics code, SpK, part of the numerical modelling suite of Imperial College London and First Light Fusion. We extend the capabilities of SpK to allow the calculation of the equation of state (EoS). The detailed configuration accounting calculations are interpolated into finite-temperature Thomas-Fermi calculations at high coupling to form the electronic component of the model. The Cowan model provides the ionic contribution, modified to approximate the physics of diatomic molecular dissociation. By utilising bonding corrections and performing a Maxwell construction, SpK captures the EoS from states ranging from the zero-pressure solid, through the liquid-vapour coexistence region and into plasma states. This global approach offers the benefit of capturing electronic shell structure over large regions of parameter space, building highly-resolved tables in minutes on a simple desktop. We present shock Hugoniot and off-Hugoniot calculations for a number of materials, comparing SpK to other models and experimental data. We also apply EoS and opacity data generated by SpK in integrated simulations of indirectly-driven capsule implosions, highlighting physical sensitivities to the choice of EoS models. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 23 pages (14 of content), 13 figures, 2 tables, submitted for inclusion in the IFSA 2023 conference proceedings

Mitigating Challenges of the Space Environment for Onboard Artificial Intelligence: Design Overview of the Imaging Payload on SpIRIT

Authors: Miguel Ortiz del Castillo, Jonathan Morgan, Jack McRobbie, Clint Therakam, Zaher Joukhadar, Robert Mearns, Simon Barraclough, Richard Sinnott, Andrew Woods, Chris Bayliss, Kris Ehinger, Ben Rubinstein, James Bailey, Airlie Chapman, Michele Trenti

Abstract: Artificial intelligence (AI) and autonomous edge computing in space are emerging areas of interest to augment capabilities of nanosatellites, where modern sensors generate orders of magnitude more data than can typically be transmitted to mission control. Here, we present the hardware and software design of an onboard AI subsystem hosted on SpIRIT. The system is optimised for on-board computer vis… ▽ More Artificial intelligence (AI) and autonomous edge computing in space are emerging areas of interest to augment capabilities of nanosatellites, where modern sensors generate orders of magnitude more data than can typically be transmitted to mission control. Here, we present the hardware and software design of an onboard AI subsystem hosted on SpIRIT. The system is optimised for on-board computer vision experiments based on visible light and long wave infrared cameras. This paper highlights the key design choices made to maximise the robustness of the system in harsh space conditions, and their motivation relative to key mission requirements, such as limited compute resources, resilience to cosmic radiation, extreme temperature variations, distribution shifts, and very low transmission bandwidths. The payload, called Loris, consists of six visible light cameras, three infrared cameras, a camera control board and a Graphics Processing Unit (GPU) system-on-module. Loris enables the execution of AI models with on-orbit fine-tuning as well as a next-generation image compression algorithm, including progressive coding. This innovative approach not only enhances the data processing capabilities of nanosatellites but also lays the groundwork for broader applications to remote sensing from space. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: AI4Space 2024, 3rd Workshop on AI for Space, CVPR 2024

Invariant for Sets of Pfister Forms

Authors: Adam Chapman, Ilan Levin

Abstract: We associate an $(n_1+\dots+n_t-k(t-1))$-fold Pfister form to any $t$-tuple of $k$-linked Pfister forms of dimensions $2^{n_1},\dots,2^{n_t}$, and prove its invariance under the different symbol presentations of the forms with a common $k$-fold sub-symbol. We then show that it vanishes when the forms are actually $(k+1)$-linked or when the characteristic is 2 and the forms are inseparably $k$-link… ▽ More We associate an $(n_1+\dots+n_t-k(t-1))$-fold Pfister form to any $t$-tuple of $k$-linked Pfister forms of dimensions $2^{n_1},\dots,2^{n_t}$, and prove its invariance under the different symbol presentations of the forms with a common $k$-fold sub-symbol. We then show that it vanishes when the forms are actually $(k+1)$-linked or when the characteristic is 2 and the forms are inseparably $k$-linked. We study whether the converse statements hold or not. △ Less

Submitted 29 March, 2024; originally announced April 2024.

MSC Class: Primary 19D45; Secondary 11E04; 11E81; 13A35; 16K20 20G10

Spaces with Vanishing Characteristic Coefficients

Authors: Adam Chapman

Abstract: We prove that the maximal dimension of a subspace $V$ of the generic tensor product of $m$ symbol algebras of prime degree $p$ with $\operatorname{Tr}(v^{p-1})=0$ for all $v\in V$ is $\frac{p^{2m}-1}{p-1}$. The same upper bound is thus obtained for $V$ with $\operatorname{Tr}(v)=\operatorname{Tr}(v^2)=\dots=\operatorname{Tr}(v^{p-1})=0$ for all $v \in V$. We make use of the fact that for any subse… ▽ More We prove that the maximal dimension of a subspace $V$ of the generic tensor product of $m$ symbol algebras of prime degree $p$ with $\operatorname{Tr}(v^{p-1})=0$ for all $v\in V$ is $\frac{p^{2m}-1}{p-1}$. The same upper bound is thus obtained for $V$ with $\operatorname{Tr}(v)=\operatorname{Tr}(v^2)=\dots=\operatorname{Tr}(v^{p-1})=0$ for all $v \in V$. We make use of the fact that for any subset $S$ of $\underbrace{\mathbb{F}_p \times \dots \times \mathbb{F}_p}_{n \ \text{times}}$ of $|S| > \frac{p^{n}-1}{p-1}$, for all $u\in V$ there exist $v,w\in S$ and $k\in [\![0,p-1]\!]$ such that $kv+(p-1-k)w=u$. △ Less

Submitted 19 March, 2024; originally announced March 2024.

MSC Class: primary 16K20; secondary 16W60; 11B50; 12E15

Linkage and Essential $p$-Dimension

Authors: Adam Chapman

Abstract: We prove that two cyclically linked $p$-algebras of prime degree become inseparably linked under a prime to $p$ extension if and only if the essential $p$-dimension of the pair is 2. We conclude that the essential $p$-dimension of pairs of cyclically linked $p$-algebras is 3 by constructing an example of a pair that does not become inseparably linked under any prime to $p$ extension. We prove that two cyclically linked $p$-algebras of prime degree become inseparably linked under a prime to $p$ extension if and only if the essential $p$-dimension of the pair is 2. We conclude that the essential $p$-dimension of pairs of cyclically linked $p$-algebras is 3 by constructing an example of a pair that does not become inseparably linked under any prime to $p$ extension. △ Less

Submitted 17 March, 2024; originally announced March 2024.

MSC Class: 16K20 (primary); 13A35; 19D45 (secondary)

DESERE: The 1st Workshop on Decentralised Search and Recommendation

Authors: Mohamed Ragab, Yury Savateev, Wenjie Wang, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Helen Oliver, George Roussos

Abstract: The DESERE Workshop, our First Workshop on Decentralised Search and Recommendation, offers a platform for researchers to explore and share innovative ideas on decentralised web services, mainly focusing on three major topics: (i) societal impact of decentralised systems: their effect on privacy, policy, and regulation; (ii) decentralising applications: algorithmic and performance challenges that a… ▽ More The DESERE Workshop, our First Workshop on Decentralised Search and Recommendation, offers a platform for researchers to explore and share innovative ideas on decentralised web services, mainly focusing on three major topics: (i) societal impact of decentralised systems: their effect on privacy, policy, and regulation; (ii) decentralising applications: algorithmic and performance challenges that arise from decentralisation; and (iii) infrastructure to support decentralised systems and services: peer-to-peer networks, routing, and performance evaluation tools △ Less

Submitted 12 March, 2024; originally announced March 2024.

An Experimentally Benchmarked Geant4 SiPM-Based Scintillator Detector Simulation Platform for Gamma Ray Detection

Authors: Lysander Miller, Airlie Chapman, Katie Auchettl, Jeremy M. C. Brown

Abstract: Radiation detection is vital for naturally occurring radioactive material detection, port and border monitoring, and homeland security operations. SiPM-based single-volume scintillator detectors offer a cost-effective and robust solution that enables timely radioactive site surveys, while retaining accuracy and sensitivity sufficient for isotope identification. Enhanced site surveying can be achie… ▽ More Radiation detection is vital for naturally occurring radioactive material detection, port and border monitoring, and homeland security operations. SiPM-based single-volume scintillator detectors offer a cost-effective and robust solution that enables timely radioactive site surveys, while retaining accuracy and sensitivity sufficient for isotope identification. Enhanced site surveying can be achieved by optimising scintillator detector design. In this work, a detailed GAGG:Ce, CLLBC:Ce, BGO, NaI:Tl, and CsI:Tl SiPM-based scintillator detector simulation platform was developed with the Monte Carlo radiation transport toolkit, Geant4, and experimentally benchmarked. This simulation platform successfully predicted the spectral features for selected gamma ray emitting isotopes with energies between 30 keV to 2 MeV. The full width half maximum (FWHM) and normalised cross-correlation coefficient (NCCC) between simulated and experimental energy spectra were also compared. The majority of simulated FWHM values reproduced the experimental results within 2% and the NCCC values demonstrated agreement between the simulated and experimental energy spectra. Discrepancies in these figures of merit can be attributed to detector signal processing electronics modelling, geometry approximations, and multiple Compton scattering within the detector and surrounding environment. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Totally ramified subfields of $p$-Algebras

Authors: Adam Chapman, S. Srimathy

Abstract: We conjecture that a $p$-algebra over a complete discrete valued field $K$ contains a totally ramified purely inseparable subfield if and only if it contains a totally ramified cyclic maximal subfield. We prove the conjecture in several cases. We conjecture that a $p$-algebra over a complete discrete valued field $K$ contains a totally ramified purely inseparable subfield if and only if it contains a totally ramified cyclic maximal subfield. We prove the conjecture in several cases. △ Less

Submitted 16 February, 2024; originally announced February 2024.

MSC Class: 16K20 16W60

Biased Estimator Channels for Classical Shadows

Authors: Zhenyu Cai, Adrian Chapman, Hamza Jnane, Bálint Koczor

Abstract: Extracting classical information from quantum systems is of fundamental importance, and classical shadows allow us to extract a large amount of information using relatively few measurements. Conventional shadow estimators are unbiased and thus approach the true mean in the infinite-sample limit. In this work, we consider a biased scheme, intentionally introducing a bias by rescaling the convention… ▽ More Extracting classical information from quantum systems is of fundamental importance, and classical shadows allow us to extract a large amount of information using relatively few measurements. Conventional shadow estimators are unbiased and thus approach the true mean in the infinite-sample limit. In this work, we consider a biased scheme, intentionally introducing a bias by rescaling the conventional classical shadows estimators can reduce the error in the finite-sample regime. The approach is straightforward to implement and requires no quantum resources. We analytically prove average case as well as worst- and best-case scenarios, and rigorously prove that it is, in principle, always worth biasing the estimators. We illustrate our approach in a quantum simulation task of a $12$-qubit spin-ring problem and demonstrate how estimating expected values of non-local perturbations can be significantly more efficient using our biased scheme. △ Less

Submitted 14 February, 2024; originally announced February 2024.

Comments: 13 pages, 5 figures

Friends Across Time: Multi-Scale Action Segmentation Transformer for Surgical Phase Recognition

Authors: Bokai Zhang, Jiayuan Meng, Bin Cheng, Dean Biskup, Svetlana Petculescu, Angela Chapman

Abstract: Automatic surgical phase recognition is a core technology for modern operating rooms and online surgical video assessment platforms. Current state-of-the-art methods use both spatial and temporal information to tackle the surgical phase recognition task. Building on this idea, we propose the Multi-Scale Action Segmentation Transformer (MS-AST) for offline surgical phase recognition and the Multi-S… ▽ More Automatic surgical phase recognition is a core technology for modern operating rooms and online surgical video assessment platforms. Current state-of-the-art methods use both spatial and temporal information to tackle the surgical phase recognition task. Building on this idea, we propose the Multi-Scale Action Segmentation Transformer (MS-AST) for offline surgical phase recognition and the Multi-Scale Action Segmentation Causal Transformer (MS-ASCT) for online surgical phase recognition. We use ResNet50 or EfficientNetV2-M for spatial feature extraction. Our MS-AST and MS-ASCT can model temporal information at different scales with multi-scale temporal self-attention and multi-scale temporal cross-attention, which enhances the capture of temporal relationships between frames and segments. We demonstrate that our method can achieve 95.26% and 96.15% accuracy on the Cholec80 dataset for online and offline surgical phase recognition, respectively, which achieves new state-of-the-art results. Our method can also achieve state-of-the-art results on non-medical datasets in the video action segmentation domain. △ Less

Submitted 21 January, 2024; originally announced January 2024.

Roots and right factors of polynomials and left eigenvalues of matrices over Cayley-Dickson algebras

Authors: Adam Chapman, Solomon Vishkautsan

Abstract: Over a composition algebra $A$, a polynomial $f(x) \in A[x]$ has a root $α$ if and only $f(x)=g(x)\cdot (x-α)$ for some $g(x) \in A[x]$. We examine whether this is true for general Cayley-Dickson algebras. The conclusion is that it is when $f(x)$ is linear or monic quadratic, but it is false in general. Similar questions about the connections between $f$ and its companion… ▽ More Over a composition algebra $A$, a polynomial $f(x) \in A[x]$ has a root $α$ if and only $f(x)=g(x)\cdot (x-α)$ for some $g(x) \in A[x]$. We examine whether this is true for general Cayley-Dickson algebras. The conclusion is that it is when $f(x)$ is linear or monic quadratic, but it is false in general. Similar questions about the connections between $f$ and its companion $C_f(x)=f(x)\cdot \overline{f(x)}$ are studied. Finally, we compute the left eigenvalues of $2\times 2$ octonion matrices. △ Less

Submitted 17 February, 2024; v1 submitted 28 November, 2023; originally announced November 2023.

MSC Class: primary 17A75; secondary 17A45; 17A35; 17D05; 37P35; 37C25

Journal ref: Communications in Mathematics, Volume 33 (2025), Issue 3 (Special issue: European Non-Associative Algebra Seminar) (February 27, 2024) cm:12613

Supporting Better Insights of Data Science Pipelines with Fine-grained Provenance

Authors: Adriane Chapman, Luca Lauro, Paolo Missier, Riccardo Torlone

Abstract: Successful data-driven science requires complex data engineering pipelines to clean, transform, and alter data in preparation for machine learning, and robust results can only be achieved when each step in the pipeline can be justified, and its effect on the data explained. In this framework, our aim is to provide data scientists with facilities to gain an in-depth understanding of how each step i… ▽ More Successful data-driven science requires complex data engineering pipelines to clean, transform, and alter data in preparation for machine learning, and robust results can only be achieved when each step in the pipeline can be justified, and its effect on the data explained. In this framework, our aim is to provide data scientists with facilities to gain an in-depth understanding of how each step in the pipeline affects the data, from the raw input to training sets ready to be used for learning. Starting from an extensible set of data preparation operators commonly used within a data science setting, in this work we present a provenance management infrastructure for generating, storing, and querying very granular accounts of data transformations, at the level of individual elements within datasets whenever possible. Then, from the formal definition of a core set of data science preprocessing operators, we derive a provenance semantics embodied by a collection of templates expressed in PROV, a standard model for data provenance. Using those templates as a reference, our provenance generation algorithm generalises to any operator with observable input/output pairs. We provide a prototype implementation of an application-level provenance capture library to produce, in a semi-automatic way, complete provenance documents that account for the entire pipeline. We report on the ability of our implementations to capture provenance in real ML benchmark pipelines and over TCP-DI synthetic data. We finally show how the collected provenance can be used to answer a suite of provenance benchmark queries that underpin some common pipeline inspection questions, as expressed on the Data Science Stack Exchange. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Comments: 37 pages, 27 figures, submitted to a journal

MSC Class: 68 ACM Class: H.1; H.2

Journal ref: ACM Transactions on Database Systems, 2024

Multi-Messenger Measurements of the Static Structure of Shock-Compressed Liquid Silicon at 100 GPa

Authors: H. Poole, M. K. Ginnane, M. Millot, G. W. Collins, S. X. Hu, D. Polsin, R. Saha, J. Topp-Mugglestone, T. G. White, D. A. Chapman, J. R. Rygg, S. P. Regan, G. Gregori

Abstract: Ionic structure of high pressure, high temperature fluids is a challenging theoretical problem with applications to planetary interiors and fusion capsules. Here we report a multi-messenger platform using velocimetry and \textit{in situ} angularly and spectrally resolved X-ray scattering to measure the thermodynamic conditions and ion structure factor of materials at extreme pressures. We document… ▽ More Ionic structure of high pressure, high temperature fluids is a challenging theoretical problem with applications to planetary interiors and fusion capsules. Here we report a multi-messenger platform using velocimetry and \textit{in situ} angularly and spectrally resolved X-ray scattering to measure the thermodynamic conditions and ion structure factor of materials at extreme pressures. We document the pressure, density, and temperature of shocked silicon near 100 GPa with uncertainties of 6%, 2%, and 20%, respectively. The measurements are sufficient to distinguish between and rule out some ion screening models. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: Main Paper: 5 pages, 4 figures. Supplementary Material: 9 pages, 8 figures

Alternating Roots of Polynomials over Cayley-Dickson Algebras

Authors: Adam Chapman, Ilan Levin

Abstract: We introduce the notions of alternating roots of polynomials and alternating polynomials over a Cayley-Dickson algebra, and prove a connection between the alternating roots of a given polynomial and the roots of the corresponding alternating polynomial over the Cayley-Dickson doubling of the algebra. We also include a detailed Octave code for the computation of alternating roots over Hamilton's qu… ▽ More We introduce the notions of alternating roots of polynomials and alternating polynomials over a Cayley-Dickson algebra, and prove a connection between the alternating roots of a given polynomial and the roots of the corresponding alternating polynomial over the Cayley-Dickson doubling of the algebra. We also include a detailed Octave code for the computation of alternating roots over Hamilton's quaternions. △ Less

Submitted 22 October, 2023; v1 submitted 27 June, 2023; originally announced June 2023.

MSC Class: Primary: 17A20; Secondary: 17A45; 17A75; 17D05; 11R52

Journal ref: Communications in Mathematics, Volume 32 (2024), Issue 2 (Special issue: CIMPA schools "Nonassociative Algebras and related topics, Brazil'2023" and "Current Trends in Algebra, Philippines'2024") (October 26, 2023) cm:11514

Biquaternion Algebras, Chain Lemma and Symbol Length

Authors: Adam Chapman, Kelly McKinnie

Abstract: In this note, we present a chain lemma for biquaternion algebras over fields of characteristic 2 in the style of the equivalent chain lemma by Sivatski in characteristic not 2, and conclude a bound on the symbol length of classes in ${_{2^n}Br}(F)$ whose symbol length in ${_{2^{n+1}}Br}(F)$ is at most 4. In this note, we present a chain lemma for biquaternion algebras over fields of characteristic 2 in the style of the equivalent chain lemma by Sivatski in characteristic not 2, and conclude a bound on the symbol length of classes in ${_{2^n}Br}(F)$ whose symbol length in ${_{2^{n+1}}Br}(F)$ is at most 4. △ Less

Submitted 14 June, 2023; originally announced June 2023.

MSC Class: 16K20 11E04 11E81

A Unified Graph-Theoretic Framework for Free-Fermion Solvability

Authors: Adrian Chapman, Samuel J. Elman, Ryan L. Mann

Abstract: We show that a quantum spin system has an exact description by non-interacting fermions if its frustration graph is claw-free and contains a simplicial clique. The frustration graph of a spin model captures the pairwise anticommutation relations between Pauli terms of its Hamiltonian in a given basis. This result captures a vast family of known free-fermion solutions. In previous work, it was show… ▽ More We show that a quantum spin system has an exact description by non-interacting fermions if its frustration graph is claw-free and contains a simplicial clique. The frustration graph of a spin model captures the pairwise anticommutation relations between Pauli terms of its Hamiltonian in a given basis. This result captures a vast family of known free-fermion solutions. In previous work, it was shown that a free-fermion solution exists if the frustration graph is either a line graph, or (even-hole, claw)-free. The former case generalizes the celebrated Jordan-Wigner transformation and includes the exact solution to the Kitaev honeycomb model. The latter case generalizes a non-local solution to the four-fermion model given by Fendley. Our characterization unifies these two approaches, extending generalized Jordan-Wigner solutions to the non-local setting and generalizing the four-fermion solution to models of arbitrary spatial dimension. Our key technical insight is the identification of a class of cycle symmetries for all models with claw-free frustration graphs. We prove that these symmetries commute, and this allows us to apply Fendley's solution method to each symmetric subspace independently. Finally, we give a physical description of the fermion modes in terms of operators generated by repeated commutation with the Hamiltonian. This connects our framework to the develo** body of work on operator Krylov subspaces. Our results deepen the connection between many-body physics and the mathematical theory of claw-free graphs. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Comments: 49 pages, 8 figures

X-ray Thomson scattering absolute intensity from the f-sum rule in the imaginary-time domain

Authors: Tobias Dornheim, Tilo Döppner, Andrew D. Baczewski, Panagiotis Tolias, Maximilian P. Böhme, Zhandos A. Moldabekov, Thomas Gawne, Divyanshu Ranjan, David A. Chapman, Michael J. MacDonald, Thomas R. Preston, Dominik Kraus, Jan Vorberger

Abstract: We present a formally exact and simulation-free approach for the normalization of X-ray Thomson scattering (XRTS) spectra based on the f-sum rule of the imaginary-time correlation function (ITCF). Our method works for any degree of collectivity, over a broad range of temperatures, and is applicable even in nonequilibrium situations. In addition to giving us model-free access to electronic correlat… ▽ More We present a formally exact and simulation-free approach for the normalization of X-ray Thomson scattering (XRTS) spectra based on the f-sum rule of the imaginary-time correlation function (ITCF). Our method works for any degree of collectivity, over a broad range of temperatures, and is applicable even in nonequilibrium situations. In addition to giving us model-free access to electronic correlations, this new approach opens up the intriguing possibility to extract a plethora of physical properties from the ITCF based on XRTS experiments. △ Less

Submitted 4 March, 2024; v1 submitted 24 May, 2023; originally announced May 2023.

Assessing the optimal contributions of renewables and carbon capture and storage toward carbon neutrality by 2050

Authors: Dinh Hoa Nguyen, Andrew Chapman, Takeshi Tsuji

Abstract: Building on the carbon reduction targets agreed in the Paris Agreements, many nations have renewed their efforts toward achieving carbon neutrality by the year 2050. In line with this ambitious goal, nations are seeking to understand the appropriate combination of technologies which will enable the required reductions in such a way that they are appealing to investors. Around the globe, solar and… ▽ More Building on the carbon reduction targets agreed in the Paris Agreements, many nations have renewed their efforts toward achieving carbon neutrality by the year 2050. In line with this ambitious goal, nations are seeking to understand the appropriate combination of technologies which will enable the required reductions in such a way that they are appealing to investors. Around the globe, solar and wind power lead in terms of renewable energy deployment, while carbon capture and storage (CCS) is scaling up toward making a significant contribution to deep carbon cuts. Using Japan as a case study nation, this research proposes a linear optimization modeling approach to identify the potential contributions of renewables and CCS toward maximizing carbon reduction and identifying their economic merits over time. Results identify that the combination of these three technologies could enable a carbon dioxide emission reduction of between 55 and 67 percent in the energy sector by 2050 depending on resilience levels and CCS deployment regimes. Further reductions are likely to emerge with increased carbon pricing over time. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Chain Lemma, Quadratic Forms and Symbol Length

Authors: Adam Chapman, Ilan Levin

Abstract: We want to bound the symbol length of classes in ${_{2^{m-1}}Br}(F)$ which are represented by tensor products of 5 or 6 cyclic algebras of degree $2^m$. The main ingredients are the chain lemma for quadratic forms, a form of a generalized Clifford invariant and Pfister's and Rost's descriptions of 12- and 14-dimensional forms in $I^3 F$. We want to bound the symbol length of classes in ${_{2^{m-1}}Br}(F)$ which are represented by tensor products of 5 or 6 cyclic algebras of degree $2^m$. The main ingredients are the chain lemma for quadratic forms, a form of a generalized Clifford invariant and Pfister's and Rost's descriptions of 12- and 14-dimensional forms in $I^3 F$. △ Less

Submitted 15 April, 2023; originally announced April 2023.

MSC Class: 16K20 (primary); 11E04; 11E81; 15A66 (secondary)

On Interpretable Approaches to Cluster, Classify and Represent Multi-Subspace Data via Minimum Lossy Coding Length based on Rate-Distortion Theory

Authors: Kai-Liang Lu, Avraham Chapman

Abstract: To cluster, classify and represent are three fundamental objectives of learning from high-dimensional data with intrinsic structure. To this end, this paper introduces three interpretable approaches, i.e., segmentation (clustering) via the Minimum Lossy Coding Length criterion, classification via the Minimum Incremental Coding Length criterion and representation via the Maximal Coding Rate Reducti… ▽ More To cluster, classify and represent are three fundamental objectives of learning from high-dimensional data with intrinsic structure. To this end, this paper introduces three interpretable approaches, i.e., segmentation (clustering) via the Minimum Lossy Coding Length criterion, classification via the Minimum Incremental Coding Length criterion and representation via the Maximal Coding Rate Reduction criterion. These are derived based on the lossy data coding and compression framework from the principle of rate distortion in information theory. These algorithms are particularly suitable for dealing with finite-sample data (allowed to be sparse or almost degenerate) of mixed Gaussian distributions or subspaces. The theoretical value and attractive features of these methods are summarized by comparison with other learning methods or evaluation criteria. This summary note aims to provide a theoretical guide to researchers (also engineers) interested in understanding 'white-box' machine (deep) learning methods. △ Less

Submitted 20 February, 2023; originally announced February 2023.

ACM Class: I.5

TOI-3984 A b and TOI-5293 A b: two temperate gas giants transiting mid-M dwarfs in wide binary systems

Authors: Caleb I. Cañas, Shubham Kanodia, Jessica Libby-Roberts, Andrea S. J. Lin, Maria Schutte, Luke Powers, Sinclaire Jones, Andrew Monson, Songhu Wang, Guðmundur Stefánsson, William D. Cochran, Paul Robertson, Suvrath Mahadevan, Adam F. Kowalski, John Wisniewski, Brock A. Parker, Alexander Larsen, Franklin A. L. Chapman, Henry A. Kobulnicky, Arvind F. Gupta, Mark E. Everett, Bryan Edward Penprase, Gregory Zeimann, Corey Beard, Chad F. Bender , et al. (8 additional authors not shown)

Abstract: We confirm the planetary nature of two gas giants discovered by TESS to transit M dwarfs with stellar companions at wide separations. TOI-3984 A ($J=11.93$) is an M4 dwarf hosting a short-period ($4.353326 \pm 0.000005$ days) gas giant ($M_p=0.14\pm0.03~\mathrm{M_{J}}$ and $R_p=0.71\pm0.02~\mathrm{R_{J}}$) with a wide separation white dwarf companion. TOI-5293 A ($J=12.47$) is an M3 dwarf hosting… ▽ More We confirm the planetary nature of two gas giants discovered by TESS to transit M dwarfs with stellar companions at wide separations. TOI-3984 A ($J=11.93$) is an M4 dwarf hosting a short-period ($4.353326 \pm 0.000005$ days) gas giant ($M_p=0.14\pm0.03~\mathrm{M_{J}}$ and $R_p=0.71\pm0.02~\mathrm{R_{J}}$) with a wide separation white dwarf companion. TOI-5293 A ($J=12.47$) is an M3 dwarf hosting a short-period ($2.930289 \pm 0.000004$ days) gas giant ($M_p=0.54\pm0.07~\mathrm{M_{J}}$ and $R_p=1.06\pm0.04~\mathrm{R_{J}}$) with a wide separation M dwarf companion. We characterize both systems using a combination of ground-based and space-based photometry, speckle imaging, and high-precision radial velocities from the Habitable-zone Planet Finder and NEID spectrographs. TOI-3984 A b ($T_{eq}=563\pm15$ K and $\mathrm{TSM}=138_{-27}^{+29}$) and TOI-5293 A b ($T_{eq}=675_{-30}^{+42}$ K and $\mathrm{TSM}=92\pm14$) are two of the coolest gas giants among the population of hot Jupiter-sized gas planets orbiting M dwarfs and are favorable targets for atmospheric characterization of temperate gas giants and three-dimensional obliquity measurements to probe system architecture and migration scenarios. △ Less

Submitted 27 June, 2023; v1 submitted 15 February, 2023; originally announced February 2023.

Comments: Published in AJ, 46 pages, 16 figures, 6 tables, updated to reflect published version. arXiv admin note: substantial text overlap with arXiv:2201.09963

Journal ref: AJ, 166, 30 (2023)

Localisation of gamma-ray bursts from the combined SpIRIT+HERMES-TP/SP nano-satellite constellation

Authors: Matt Thomas, Michele Trenti, Riccardo Campana, Giancarlo Ghirlanda, Jakub Ripa, Luciano Burderi, Fabrizio Fiore, Yuri Evangelista, Lorenzo Amati, Simon Barraclough, Katie Auchettl, Miguel Ortiz del Castillo, Airlie Chapman, Marco Citossi, Andrea Colagrossi, Giuseppe Dilillo, Nicola Deiosso, Evgeny Demenev, Francesco Longo, Alessio Marino, Jack McRobbie, Robert Mearns, Andrea Melandri, Alessandro Riggio, Tiziana Di Salvo , et al. (2 additional authors not shown)

Abstract: Multi-messenger observations of the transient sky to detect cosmic explosions and counterparts of gravitational wave mergers critically rely on orbiting wide-FoV telescopes to cover the wide range of wavelengths where atmospheric absorption and emission limit the use of ground facilities. Thanks to continuing technological improvements, miniaturised space instruments operating as distributed-apert… ▽ More Multi-messenger observations of the transient sky to detect cosmic explosions and counterparts of gravitational wave mergers critically rely on orbiting wide-FoV telescopes to cover the wide range of wavelengths where atmospheric absorption and emission limit the use of ground facilities. Thanks to continuing technological improvements, miniaturised space instruments operating as distributed-aperture constellations are offering new capabilities for the study of high energy transients to complement ageing existing satellites. In this paper we characterise the performance of the upcoming joint SpIRIT + HERMES-TP/SP nano-satellite constellation for the localisation of high-energy transients through triangulation of signal arrival times. SpIRIT is an Australian technology and science demonstrator satellite designed to operate in a low-Earth Sun-synchronous Polar orbit that will augment the science operations for the equatorial HERMES-TP/SP. In this work we simulate the improvement to the localisation capabilities of the HERMES-TP/SP when SpIRIT is included in an orbital plane nearly perpendicular (inclination = 97.6$^\circ$) to the HERMES orbits. For the fraction of GRBs detected by three of the HERMES satellites plus SpIRIT, the combined constellation is capable of localising 60% of long GRBs to within ~ 30 deg$^2$ on the sky, and 60% of short GRBs within ~ 1850 deg$^2$. Based purely on statistical GRB localisation capabilities (i.e., excluding systematic uncertainties and sky coverage), these figures for long GRBs are comparable to those reported by the Fermi GBM. Further improvements by a factor of 2 (or 4) can be achieved by launching an additional 4 (or 6) SpIRIT-like satellites into a Polar orbit, which would both increase the fraction of sky covered by multiple satellite elements, and enable $\geq$ 60% of long GRBs to be localised within a radius of ~ 1.5$^\circ$ on the sky. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Comments: 17 pages, 10 figures, 1 table. Accepted for publication in PASA

Second-Order Coverage Control for Multi-Agent UAV Photogrammetry

Authors: Samuel Mallick, Airlie Chapman, Eric Schoof

Abstract: Unmanned Aerial Vehicles equipped with cameras can be used to automate image capture for generating 3D models via photogrammetry. Current methods rely on a single vehicle to capture images sequentially, or use pre-planned and heuristic imaging configurations. We seek to provide a multi-agent control approach to capturing the images required to 3D map a region. A photogrammetry cost function is for… ▽ More Unmanned Aerial Vehicles equipped with cameras can be used to automate image capture for generating 3D models via photogrammetry. Current methods rely on a single vehicle to capture images sequentially, or use pre-planned and heuristic imaging configurations. We seek to provide a multi-agent control approach to capturing the images required to 3D map a region. A photogrammetry cost function is formulated that captures the importance of sharing feature-dense areas across multiple images for successful photogrammetry reconstruction. A distributed second-order coverage controller is used to minimise this cost and move agents to an imaging configuration. This approach prioritises high quality images that are simultaneously captured, leading to efficient and scalable 3D map** of a region. We demonstrate our approach with a hardware experiment, generating and comparing 3D reconstructions from image sets captured using our approach to those captured using traditional methods. △ Less

Submitted 21 January, 2023; originally announced January 2023.

Comments: 8 pages, 4 figures

Electronic Density Response of Warm Dense Matter

Authors: Tobias Dornheim, Zhandos A. Moldabekov, Kushal Ramakrishna, Panagiotis Tolias, Andrew D. Baczewski, Dominik Kraus, Thomas R. Preston, David A. Chapman, Maximilian P. Böhme, Tilo Döppner, Frank Graziani, Michael Bonitz, Attila Cangi, Jan Vorberger

Abstract: Matter at extreme temperatures and pressures -- commonly known as warm dense matter (WDM) in the literature -- is ubiquitous throughout our Universe and occurs in a number of astrophysical objects such as giant planet interiors and brown dwarfs. Moreover, WDM is very important for technological applications such as inertial confinement fusion, and is realized in the laboratory using different tech… ▽ More Matter at extreme temperatures and pressures -- commonly known as warm dense matter (WDM) in the literature -- is ubiquitous throughout our Universe and occurs in a number of astrophysical objects such as giant planet interiors and brown dwarfs. Moreover, WDM is very important for technological applications such as inertial confinement fusion, and is realized in the laboratory using different techniques. A particularly important property for the understanding of WDM is given by its electronic density response to an external perturbation. Such response properties are routinely probed in x-ray Thomson scattering (XRTS) experiments, and, in addition, are central for the theoretical description of WDM. In this work, we give an overview of a number of recent developments in this field. To this end, we summarize the relevant theoretical background, covering the regime of linear-response theory as well as nonlinear effects, the fully dynamic response and its static, time-independent limit, and the connection between density response properties and imaginary-time correlation functions (ITCF). In addition, we introduce the most important numerical simulation techniques including ab initio path integral Monte Carlo (PIMC) simulations and different thermal density functional theory (DFT) approaches. From a practical perspective, we present a variety of simulation results for different density response properties, covering the archetypal model of the uniform electron gas and realistic WDM systems such as hydrogen. Moreover, we show how the concept of ITCFs can be used to infer the temperature from XRTS measurements of arbitrarily complex systems without the need for any models or approximations. Finally, we outline a strategy for future developments based on the close interplay between simulations and experiments. △ Less

Submitted 19 December, 2022; v1 submitted 16 December, 2022; originally announced December 2022.

SpK: A fast atomic and microphysics code for the high-energy-density regime

Authors: A. J. Crilly, N. P. L. Niasse, A. R. Fraser, D. A. Chapman, K. M. McLean, S. J. Rose, J. P. Chittenden

Abstract: SpK is part of the numerical codebase at Imperial College London used to model high energy density physics (HEDP) experiments. SpK is an efficient atomic and microphysics code used to perform detailed configuration accounting calculations of electronic and ionic stage populations, opacities and emissivities for use in post-processing and radiation hydrodynamics simulations. This is done using scre… ▽ More SpK is part of the numerical codebase at Imperial College London used to model high energy density physics (HEDP) experiments. SpK is an efficient atomic and microphysics code used to perform detailed configuration accounting calculations of electronic and ionic stage populations, opacities and emissivities for use in post-processing and radiation hydrodynamics simulations. This is done using screened hydrogenic atomic data supplemented by the NIST energy level database. An extended Saha model solves for chemical equilibrium with extensions for non-ideal physics, such as ionisation potential depression, and non thermal equilibrium corrections. A tree-heap (treap) data structure is used to store spectral data, such as opacity, which is dynamic thus allowing easy insertion of points around spectral lines without a-priori knowledge of the ion stage populations. Results from SpK are compared to other codes and descriptions of radiation transport solutions which use SpK data are given. The treap data structure and SpK's computational efficiency allows inline post-processing of 3D hydrodynamics simulations with a dynamically evolving spectrum stored in a treap. △ Less

Submitted 29 November, 2022; originally announced November 2022.

Asynchronous Event-Triggered Control for Non-Linear Systems

Authors: Daniel A. Williams, Airlie Chapman, Chris Manzie

Abstract: With the increasing ubiquity of networked control systems, various strategies for sampling constituent subsystems' outputs have emerged. In contrast with periodic sampling, event-triggered control provides a way to efficiently sample a subsystem and conserve network resource usage, by triggering an update only when a state-dependent error threshold is satisfied. Herein we describe a novel scheme f… ▽ More With the increasing ubiquity of networked control systems, various strategies for sampling constituent subsystems' outputs have emerged. In contrast with periodic sampling, event-triggered control provides a way to efficiently sample a subsystem and conserve network resource usage, by triggering an update only when a state-dependent error threshold is satisfied. Herein we describe a novel scheme for asynchronous event-triggered measurement and control (ETC) of a nonlinear plant using sampler subsystems with hybrid dynamics. We extend existing ETC literature by adopting a more general representation of the sampler subsystem dynamics that do not require trigger periodicity or simultaneity, thus accommodating different sampling schemes for both synchronous and asynchronous ETC applications. We ensure that the plant and controller trigger rules are not susceptible to Zeno behavior by employing auxiliary timer variables in conjunction with state-dependent error thresholds. We conclude with a numerical example in order to illustrate important practical considerations when applying such schemes. △ Less

Submitted 5 April, 2023; v1 submitted 24 November, 2022; originally announced November 2022.

Fixed points and orbits in skew polynomial rings

Authors: Adam Chapman, Elad Paran

Abstract: We study orbits and fixed points of polynomials in a general skew polynomial ring $D[x,σ, δ]$. We extend results of the first author and Vishkautsan on polynomial dynamics in $D[x]$. In particular, we show that if $a \in D$ and $f \in D[x,σ,δ]$ satisfy $f(a) = a$, then $f^{\circ n}(a) = a$ for every formal power of $f$. More generally, we give a sufficient condition for a point $a$ to be $r$-perio… ▽ More We study orbits and fixed points of polynomials in a general skew polynomial ring $D[x,σ, δ]$. We extend results of the first author and Vishkautsan on polynomial dynamics in $D[x]$. In particular, we show that if $a \in D$ and $f \in D[x,σ,δ]$ satisfy $f(a) = a$, then $f^{\circ n}(a) = a$ for every formal power of $f$. More generally, we give a sufficient condition for a point $a$ to be $r$-periodic with respect to a polynomial $f$. Our proofs build upon foundational results on skew polynomial rings due to Lam and Leroy. △ Less

Submitted 15 November, 2022; originally announced November 2022.

MSC Class: primary 16S36; secondary 16K20; 37P35; 37C25

Regularizing Neural Network Training via Identity-wise Discriminative Feature Suppression

Authors: Avraham Chapman, Lingqiao Liu

Abstract: It is well-known that a deep neural network has a strong fitting capability and can easily achieve a low training error even with randomly assigned class labels. When the number of training samples is small, or the class labels are noisy, networks tend to memorize patterns specific to individual instances to minimize the training error. This leads to the issue of overfitting and poor generalisatio… ▽ More It is well-known that a deep neural network has a strong fitting capability and can easily achieve a low training error even with randomly assigned class labels. When the number of training samples is small, or the class labels are noisy, networks tend to memorize patterns specific to individual instances to minimize the training error. This leads to the issue of overfitting and poor generalisation performance. This paper explores a remedy by suppressing the network's tendency to rely on instance-specific patterns for empirical error minimisation. The proposed method is based on an adversarial training framework. It suppresses features that can be utilized to identify individual instances among samples within each class. This leads to classifiers only using features that are both discriminative across classes and common within each class. We call our method Adversarial Suppression of Identity Features (ASIF), and demonstrate the usefulness of this technique in boosting generalisation accuracy when faced with small datasets or noisy labels. Our source code is available. △ Less

Submitted 1 October, 2022; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: DICTA 2022

Essential Dimension of Central Simple Algebras of Degree 8 and Exponent 2 in Characteristic 2

Authors: Adam Chapman

Abstract: The goal of this note is to reduce the existing upper bound for the essential dimension of central simple algebras of degree 8 and exponent 2 over fields of characteristic 2 from 10 to 9. The goal of this note is to reduce the existing upper bound for the essential dimension of central simple algebras of degree 8 and exponent 2 over fields of characteristic 2 from 10 to 9. △ Less

Submitted 1 August, 2022; v1 submitted 12 June, 2022; originally announced June 2022.

MSC Class: 16K20

Roots and Critical Points of Polynomials over Cayley--Dickson Algebras

Authors: Adam Chapman, Alexander Guterman, Solomon Vishkautsan, Svetlana Zhilina

Abstract: We study the roots of polynomials over Cayley--Dickson algebras over an arbitrary field and of arbitrary dimension. For this purpose we generalize the concept of spherical roots from quaternion and octonion polynomials to this setting, and demonstrate their basic properties. We show that the spherical roots (but not all roots) of a polynomial $f(x)$ are also roots of its companion polynomial… ▽ More We study the roots of polynomials over Cayley--Dickson algebras over an arbitrary field and of arbitrary dimension. For this purpose we generalize the concept of spherical roots from quaternion and octonion polynomials to this setting, and demonstrate their basic properties. We show that the spherical roots (but not all roots) of a polynomial $f(x)$ are also roots of its companion polynomial $C_f(x)$ (defined to be the norm of $f(x)$). For locally-complex Cayley--Dickson algebras, we show that the spherical roots of $f'(x)$ (defined formally) belong to the convex hull of the roots of $C_f(x)$, and we also prove that all roots of $f'(x)$ are contained in the snail of $f(x)$, as defined by Ghiloni and Perotti for quaternions. The latter two results generalize the classical Gauss--Lucas theorem to the locally-complex Cayley--Dickson algebras, and we also generalize Jensen's classical theorem on real polynomials to this setting. △ Less

Submitted 11 May, 2022; originally announced May 2022.

MSC Class: 17A20 (Primary) 17A45; 17A75; 17D05 (Secondary)

A Polynomial-time Decentralised Algorithm for Coordinated Management of Multiple Intersections

Authors: Tatsuya Iwase, Sebastian Stein, Enrico H. Gerding, Archie Chapman

Abstract: Autonomous intersection management has the potential to reduce road traffic congestion and energy consumption. To realize this potential, efficient algorithms are needed. However, most existing studies locally optimize one intersection at a time, and this can cause negative externalities on the traffic network as a whole. Here, we focus on coordinating multiple intersections, and formulate the pro… ▽ More Autonomous intersection management has the potential to reduce road traffic congestion and energy consumption. To realize this potential, efficient algorithms are needed. However, most existing studies locally optimize one intersection at a time, and this can cause negative externalities on the traffic network as a whole. Here, we focus on coordinating multiple intersections, and formulate the problem as a distributed constraint optimisation problem (DCOP). We consider three utility design approaches that trade off efficiency and fairness. Our polynomial-time algorithm for coordinating multiple intersections reduces the traffic delay by about 41% compared to independent single intersection management approaches. △ Less

Submitted 28 April, 2022; originally announced May 2022.

Journal ref: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2022

Individual and Team Trust Preferences for Robotic Swarm Behaviors

Authors: Elena M Vella, Daniel A Williams, Airlie Chapman, Chris Manzie

Abstract: Trust between humans and multi-agent robotic swarms may be analyzed using human preferences. These preferences are expressed by an individual as a sequence of ordered comparisons between pairs of swarm behaviors. An individual's preference graph can be formed from this sequence. In addition, swarm behaviors may be mapped to a feature vector space. We formulate a linear optimization problem to loca… ▽ More Trust between humans and multi-agent robotic swarms may be analyzed using human preferences. These preferences are expressed by an individual as a sequence of ordered comparisons between pairs of swarm behaviors. An individual's preference graph can be formed from this sequence. In addition, swarm behaviors may be mapped to a feature vector space. We formulate a linear optimization problem to locate a trusted behavior in the feature space. Extending to human teams, we define a novel distinctiveness metric using a sparse optimization formulation to cluster similar individuals from a collection of individuals' labeled pairwise preferences. The case of anonymized unlabeled pairwise preferences is also examined to find the average trusted behavior and minimum covariance bound, providing insights into group cohesion. A user study was conducted, with results suggesting that individuals with similar trust profiles can be clustered to facilitate human-swarm teaming. △ Less

Submitted 27 March, 2022; originally announced March 2022.

Fair Coordination of Distributed Energy Resources with Volt-Var Control and PV Curtailment

Authors: Daniel Gebbran, Sleiman Mhanna, Yiju Ma, Archie C. Chapman, Gregor Verbic

Abstract: This paper presents a novel distributed optimal power flow (DOPF) method for fair distributed energy resource (DER) coordination in the context of mandated rooftop PV inverter control modes. In practice, inverter reactive power control is increasingly required by grid connection codes, which often unfairly curtail PV generation of prosumers towards the end of low-voltage feeders. Similarly, optimi… ▽ More This paper presents a novel distributed optimal power flow (DOPF) method for fair distributed energy resource (DER) coordination in the context of mandated rooftop PV inverter control modes. In practice, inverter reactive power control is increasingly required by grid connection codes, which often unfairly curtail PV generation of prosumers towards the end of low-voltage feeders. Similarly, optimization-based DER coordination methods that aim solely for technically-efficient DER coordination do not consider the distribution of PV curtailment across customers. To address these concerns, we develop a tractable multi-objective DOPF method for optimal DER coordination that (i) curtails PV generation fairly across prosumers, and (ii) incorporates a standard piecewise-linear volt-var control reactive power control function without using integer variables. Three equity principles representing different interpretations of fairness are implemented in our coordination method; namely, egalitarian, proportional and uniform dynamic PV curtailment redistribution. The performance of our approach is demonstrated on low-voltage distribution feeders of different sizes (5, 10, 25, 50 and 100 prosumers) using two network topologies: line topology without lateral spurs and tree topology with lateral spurs. Each network considers three levels of PV penetration, giving 30 test systems in total. The results demonstrate the effectiveness of the proposed DOPF method for fair DER coordination: PV curtailment is equitably distributed among prosumers with a computational burden on par with conventional DOPF approaches. Moreover, different fairness methods result in different patterns of curtailment, which a regulator may choose between. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Journal ref: Applied Energy, Volume 286, 15 March 2021, 116546

Practical Considerations of DER Coordination with Distributed Optimal Power Flow

Authors: Daniel Gebbran, Sleiman Mhanna, Archie C. Chapman, Wibowo Hardjawana, Branka Vucetic, Gregor Verbic

Abstract: The coordination of prosumer-owned, behind-the-meter distributed energy resources (DER) can be achieved using a multiperiod, distributed optimal power flow (DOPF), which satisfies network constraints and preserves the privacy of prosumers. To solve the problem in a distributed fashion, it is decomposed and solved using the alternating direction method of multipliers (ADMM), which may require many… ▽ More The coordination of prosumer-owned, behind-the-meter distributed energy resources (DER) can be achieved using a multiperiod, distributed optimal power flow (DOPF), which satisfies network constraints and preserves the privacy of prosumers. To solve the problem in a distributed fashion, it is decomposed and solved using the alternating direction method of multipliers (ADMM), which may require many iterations between prosumers and the central entity (i.e., an aggregator). Furthermore, the computational burden is shared among the agents with different processing capacities. Therefore, computational constraints and communication requirements may make the DOPF infeasible or impractical. In this paper, part of the DOPF (some of the prosumer subproblems) is executed on a Raspberry Pi-based hardware prototype, which emulates a low processing power, edge computing device. Four important aspects are analyzed using test cases of different complexities. The first is the computation cost of executing the subproblems in the edge computing device. The second is the algorithm operation on congested electrical networks, which impacts the convergence speed of DOPF solutions. Third, the precision of the computed solution, including the trade-off between solution quality and the number of iterations, is examined. Fourth, the communication requirements for implementation across different communication networks are investigated. The above metrics are analyzed in four scenarios involving 26-bus and 51-bus networks. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Journal ref: 2020 International Conference on Smart Grids and Energy Systems (SGES), 2020

Symbol Length of Classes in Milnor $K$-groups

Authors: Adam Chapman

Abstract: Given a field $F$, a positive integer $m$ and an integer $n\geq 2$, we prove that the symbol length of classes in Milnor's $K$-groups $K_n F/2^m K_n F$ that are equivalent to single symbols under the embedding into $K_n F/2^{m+1} K_n F$ is at most $2^{n-1}$ under the assumption that $F \supseteq μ_{2^{m+1}}$. Since for $n=2$, $K_2 F/2^m K_2 F \cong {_{2^m}Br(F)}$, this coincides with the upper bou… ▽ More Given a field $F$, a positive integer $m$ and an integer $n\geq 2$, we prove that the symbol length of classes in Milnor's $K$-groups $K_n F/2^m K_n F$ that are equivalent to single symbols under the embedding into $K_n F/2^{m+1} K_n F$ is at most $2^{n-1}$ under the assumption that $F \supseteq μ_{2^{m+1}}$. Since for $n=2$, $K_2 F/2^m K_2 F \cong {_{2^m}Br(F)}$, this coincides with the upper bound of $2$ for the symbol length of central simple algebras of exponent $2^m$ that are Brauer equivalent to a single symbol algebra of degree $2^{m+1}$ proved by Tignol in 1983. We also consider the cases where the embedding into $K_n F/2^{m+1} K_n F$ is of symbol length 2, 3 and 4 (the latter when $n=2$). We finish with studying the symbol length of classes in $K_3/3^m K_3 F$ whose embedding into $K_3 F/3^{m+1} K_3 F$ is one symbol when $F \supseteq μ_{3^{m+1}}$. △ Less

Submitted 7 June, 2022; v1 submitted 14 February, 2022; originally announced February 2022.

MSC Class: 19D45 11E04 11E81 13A35 16K20 20G10

Free-Fermion Subsystem Codes

Authors: Adrian Chapman, Steven T. Flammia, Alicia J. Kollár

Abstract: We consider quantum error-correcting subsystem codes whose gauge generators realize a translation-invariant, free-fermion-solvable spin model. In this setting, errors are suppressed by a Hamiltonian whose terms are the gauge generators of the code and whose exact spectrum and eigenstates can be found via a generalized Jordan-Wigner transformation. Such solutions are characterized by the frustratio… ▽ More We consider quantum error-correcting subsystem codes whose gauge generators realize a translation-invariant, free-fermion-solvable spin model. In this setting, errors are suppressed by a Hamiltonian whose terms are the gauge generators of the code and whose exact spectrum and eigenstates can be found via a generalized Jordan-Wigner transformation. Such solutions are characterized by the frustration graph of the Hamiltonian: the graph whose vertices are Hamiltonian terms, which are neighboring if the terms anticommute. We provide methods for embedding a given frustration graph in the anticommutation relations of a spin model and present the first known example of an exactly solvable spin model with a two-dimensional free-fermion description and exact topological qubits. This model can be viewed as a free-fermionized version of the two-dimensional Bacon-Shor code. Using graph-theoretic tools to study the unit cell, we give an efficient algorithm for deciding if a given translation-invariant spin model is solvable, and explicitly construct the solution. Further, we examine the energetics of these exactly solvable models from the graph-theoretic perspective and show that the relevant gaps of the spin model correspond to known graph-theoretic quantities: the skew energy and the median eigenvalue of an oriented graph. Finally, we numerically search for models which have large spectral gaps above the ground state spin configuration and thus exhibit particularly robust thermal suppression of errors. These results suggest that optimal models will have low dimensionality and odd coordination numbers, and that the primary limit to energetic error suppression is the skew energy difference between different symmetry sectors rather than single-particle excitations of the free fermions. △ Less

Submitted 18 January, 2022; originally announced January 2022.

Comments: 20 pages, 9 figures

Minimal quadratic forms for the function field of a conic in characteristic $2$

Authors: Adam Chapman, Anne Quéguiner-Mathieu

Abstract: In this note, we construct explicit examples of $F_Q$-minimal quadratic forms of dimension $5$ and $7$, where $F_Q$ is the function field of a conic over a field $F$ of characteristic $2$. The construction uses the fact that any set of $n$ cyclic $p$ algebras over a field of characteristic $p$ can be described using only $n+1$ elements of the base field. It also uses a general result that provides… ▽ More In this note, we construct explicit examples of $F_Q$-minimal quadratic forms of dimension $5$ and $7$, where $F_Q$ is the function field of a conic over a field $F$ of characteristic $2$. The construction uses the fact that any set of $n$ cyclic $p$ algebras over a field of characteristic $p$ can be described using only $n+1$ elements of the base field. It also uses a general result that provides an upper bound on the Witt index of an orthogonal sum of two regular anisotropic quadratic forms over a henselian valued field. △ Less

Submitted 13 December, 2022; v1 submitted 30 November, 2021; originally announced November 2021.

MSC Class: 16K20 11E04 11E81

Can phase change materials in building insulation improve self-consumption of residential rooftop solar? An Australian case study

Authors: Zahra Rahimpour, Gregor Verbic, Archie C. Chapman

Abstract: This work investigates the extent to which phase change material (PCM) in the building's envelope can be used as an alternative to battery storage systems to increase self-consumption of rooftop solar photovoltaic (PV) generation. In particular, we explore the electricity cost-savings and increase in PV self-consumption that can be achieved by using PCMs and the operation of the heating, ventilati… ▽ More This work investigates the extent to which phase change material (PCM) in the building's envelope can be used as an alternative to battery storage systems to increase self-consumption of rooftop solar photovoltaic (PV) generation. In particular, we explore the electricity cost-savings and increase in PV self-consumption that can be achieved by using PCMs and the operation of the heating, ventilation, and air conditioning (HVAC) system optimised by a home energy management system (HEMS). In more detail, we consider a HEMS with an HVAC system, rooftop PV, and a PCM layer integrated into the building envelope. The objective of the HEMS optimisation is to minimise electricity costs while maximising PV self-consumption and maintaining the indoor building temperature in a preferred comfort range. Solving this problem is challenging due to PCM's nonlinear characteristics, and using methods that can deal with the resulting non-convexity of the optimisation problem, like dynamic programming is computationally expensive. Therefore, we use multi-timescale approximate dynamic programming (MADP) that we developed in our earlier work to explore a number of Australian PCM scenarios. Specifically, we analyse a large number of residential buildings across five Australian capital cities. We find that using PCM can reduce annual electricity costs by between 10.6% in Brisbane and 19% in Adelaide. However, somewhat surprisingly, using PCM reduces PV self-consumption by between 1.5% in Brisbane and 2.7% in Perth. △ Less

Submitted 9 November, 2021; originally announced November 2021.

Asymptotic Brauer $p$-Dimension

Authors: Adam Chapman, Kelly McKinnie

Abstract: We define and compute $\operatorname{ABrd}_p(F)$, the asymptotic Brauer $p$-dimension of a field $F$, in cases where $F$ is a rational function field or Laurent series field. $\operatorname{ABrd}_p(F)$ is defined like the Brauer $p$-dimension except it considers finite sets of Brauer classes instead of single classes. Our main result shows that for fields $F_0(α_1,\dots,α_n)$ and… ▽ More We define and compute $\operatorname{ABrd}_p(F)$, the asymptotic Brauer $p$-dimension of a field $F$, in cases where $F$ is a rational function field or Laurent series field. $\operatorname{ABrd}_p(F)$ is defined like the Brauer $p$-dimension except it considers finite sets of Brauer classes instead of single classes. Our main result shows that for fields $F_0(α_1,\dots,α_n)$ and $F_0 (\!( α_1)\!) \dots(\!(α_n)\!)$ where $F_0$ is a perfect field of characteristic $p>0$ when $n \geq 2$ the asymptotic Brauer $p$-dimension is $n$. We also show that it is $n-1$ when $F=F_0 (\!( α_1)\!) \dots(\!(α_n)\!)$ and $F_0$ is algebraically closed of characteristic not $p$. We conclude the paper with examples of pairs of cyclic algebras of odd prime degree $p$ over a field $F$ for which $\operatorname{Brd}_p(F)=2$ that share no maximal subfields despite their tensor product being non-division. △ Less

Submitted 24 September, 2021; originally announced September 2021.

MSC Class: 16K20 16W60

Clifford semialgebras

Authors: Adam Chapman, Letterio Gatto, Louis Rowen

Abstract: We introduce a theory of Clifford semialgebra systems, with application to representation theory via Hasse-Schmidt derivations on exterior semialgebras. Our main result, after the construction of the Clifford semialgebra, is a formula describing the exterior semialgebra as a representation of the Clifford semialgebra, given by the endomorphisms of the first wedge power. We introduce a theory of Clifford semialgebra systems, with application to representation theory via Hasse-Schmidt derivations on exterior semialgebras. Our main result, after the construction of the Clifford semialgebra, is a formula describing the exterior semialgebra as a representation of the Clifford semialgebra, given by the endomorphisms of the first wedge power. △ Less

Submitted 22 December, 2021; v1 submitted 8 August, 2021; originally announced August 2021.

Comments: 43 pages

MSC Class: Primary 15A75; Secondary 17B69; 14M15; 05E05

Roots and Dynamics of Octonion Polynomials

Authors: Adam Chapman, Solomon Vishkautsan

Abstract: This paper is devoted to several new results concerning (standard) octonion polynomials. The first is the determination of the roots of all right scalar multiples of octonion polynomials. The roots of left multiples are also discussed, especially over fields of characteristic not 2. We then turn to study the dynamics of monic quadratic real octonion polynomials, classifying the fixed points into a… ▽ More This paper is devoted to several new results concerning (standard) octonion polynomials. The first is the determination of the roots of all right scalar multiples of octonion polynomials. The roots of left multiples are also discussed, especially over fields of characteristic not 2. We then turn to study the dynamics of monic quadratic real octonion polynomials, classifying the fixed points into attracting, repelling and ambivalent, and concluding with a discussion on the behavior of pseudo-periodic points. △ Less

Submitted 25 October, 2022; v1 submitted 2 August, 2021; originally announced August 2021.

MSC Class: 16S36; 16K20; 37P35; 37C25; 37F10

Journal ref: Communications in Mathematics, Volume 30 (2022), Issue 2 (Special Issue: CIMPA School "Nonassociative Algebras and Its Applications", Madagascar 2021) (October 26, 2022) cm:9042

Provenance, Anonymisation and Data Environments: a Unifying Construction

Authors: Muhammad Aslam Jarwar, Adriane Chapman, Mark Elliot, Fatemeh Raji

Abstract: The Anonymisation Decision-making Framework (ADF) operationalizes the risk management of data exchange between organizations, referred to as "data environments". The second edition of ADF has increased its emphasis on modeling data flows, highlighting a potential new use of provenance information to support anonymisation decision-making. In this paper, we provide a use case that showcases this fun… ▽ More The Anonymisation Decision-making Framework (ADF) operationalizes the risk management of data exchange between organizations, referred to as "data environments". The second edition of ADF has increased its emphasis on modeling data flows, highlighting a potential new use of provenance information to support anonymisation decision-making. In this paper, we provide a use case that showcases this functionality more. Based on this use case, we identify how provenance information could be utilized within the ADF framework, and identify a currently un-met requirement which is the modeling of \textit{data environments}. We show how data environments can be implemented within the W3C PROV in four different ways. We analyze the costs and benefits of each approach, and consider another use case as a partial check for completeness. We then summarize our findings and suggest ways forward. △ Less

Submitted 21 July, 2021; originally announced July 2021.

Launching into clinical space with medspaCy: a new clinical text processing toolkit in Python

Authors: Hannah Eyre, Alec B Chapman, Kelly S Peterson, Jianlin Shi, Patrick R Alba, Makoto M Jones, Tamara L Box, Scott L DuVall, Olga V Patterson

Abstract: Despite impressive success of machine learning algorithms in clinical natural language processing (cNLP), rule-based approaches still have a prominent role. In this paper, we introduce medspaCy, an extensible, open-source cNLP library based on spaCy framework that allows flexible integration of rule-based and machine learning-based algorithms adapted to clinical text. MedspaCy includes a variety o… ▽ More Despite impressive success of machine learning algorithms in clinical natural language processing (cNLP), rule-based approaches still have a prominent role. In this paper, we introduce medspaCy, an extensible, open-source cNLP library based on spaCy framework that allows flexible integration of rule-based and machine learning-based algorithms adapted to clinical text. MedspaCy includes a variety of components that meet common cNLP needs such as context analysis and map** to standard terminologies. By utilizing spaCy's clear and easy-to-use conventions, medspaCy enables development of custom pipelines that integrate easily with other spaCy-based modules. Our toolkit includes several core components and facilitates rapid development of pipelines for clinical text. △ Less

Submitted 14 June, 2021; originally announced June 2021.

Comments: Accepted to AMIA Annual Symposium 2021

What Can Knowledge Bring to Machine Learning? -- A Survey of Low-shot Learning for Structured Data

Authors: Yang Hu, Adriane Chapman, Guihua Wen, Dame Wendy Hall

Abstract: Supervised machine learning has several drawbacks that make it difficult to use in many situations. Drawbacks include: heavy reliance on massive training data, limited generalizability and poor expressiveness of high-level semantics. Low-shot Learning attempts to address these drawbacks. Low-shot learning allows the model to obtain good predictive power with very little or no training data, where… ▽ More Supervised machine learning has several drawbacks that make it difficult to use in many situations. Drawbacks include: heavy reliance on massive training data, limited generalizability and poor expressiveness of high-level semantics. Low-shot Learning attempts to address these drawbacks. Low-shot learning allows the model to obtain good predictive power with very little or no training data, where structured knowledge plays a key role as a high-level semantic representation of human. This article will review the fundamental factors of low-shot learning technologies, with a focus on the operation of structured knowledge under different low-shot conditions. We also introduce other techniques relevant to low-shot learning. Finally, we point out the limitations of low-shot learning, the prospects and gaps of industrial applications, and future research directions. △ Less

Submitted 11 June, 2021; originally announced June 2021.

Comments: 41 pages, 280 references

Clock Rigidity and Joint Position-Clock Estimation in Ultra-Wideband Sensor Networks

Authors: Ruixin Wen, Eric Schoof, Airlie Chapman

Abstract: Joint position and clock estimation is crucial in many wireless sensor network applications, especially in distance-based estimation with time-of-arrival (TOA) measurement. In this work, we consider a TOA-based ultra-wideband (UWB) sensor network, propose a novel clock rigidity theory and investigate the relation between the network graph properties and the feasibility of clock estimation with TOA… ▽ More Joint position and clock estimation is crucial in many wireless sensor network applications, especially in distance-based estimation with time-of-arrival (TOA) measurement. In this work, we consider a TOA-based ultra-wideband (UWB) sensor network, propose a novel clock rigidity theory and investigate the relation between the network graph properties and the feasibility of clock estimation with TOA timestamp measurements. It is shown that a clock framework can be uniquely determined up to a translation of clock offset and a scaling of all clock parameters if and only if it is infinitesimally clock rigid. We further prove that a clock framework is infinitesimally clock rigid if its underlying graph is generically bearing rigid in 2-dimensional space with at least one redundant edge. Combined with distance rigidity, clock rigidity provides a graphical approach for analyzing the joint position and clock problem. It is shown that a position-clock framework can be uniquely determined up to some trivial variations corresponding to both position and clock if and only if it is infinitesimally joint rigid. Simulation results are presented to demonstrate the clock estimation and joint position-clock estimation. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Fast Spline Trajectory Planning: Minimum Snap and Beyond

Authors: Declan Burke, Airlie Chapman, Iman Shames

Abstract: In this paper, we study spline trajectory generation via the solution of two optimisation problems: (i) a quadratic program (QP) with linear equality constraints and (ii) a nonlinear and nonconvex optimisation program. We propose an efficient algorithm to solve (i), which we then leverage to use in an iterative algorithm to solve (ii). Both the first algorithm and each iteration of the second algo… ▽ More In this paper, we study spline trajectory generation via the solution of two optimisation problems: (i) a quadratic program (QP) with linear equality constraints and (ii) a nonlinear and nonconvex optimisation program. We propose an efficient algorithm to solve (i), which we then leverage to use in an iterative algorithm to solve (ii). Both the first algorithm and each iteration of the second algorithm have linear computational complexity in the number of spline segments. The scaling of each algorithm is such that we are able to solve the two problems faster than state-of-the-art methods and in times amenable to real-time trajectory generation requirements. The trajectories we generate are applicable to differentially flat systems, a broad class of mechanical systems, which we demonstrate by planning trajectories for a quadrotor. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Comments: 11 pages, 5 figures, to be submitted to IEEE Transactions on Robotics

Linkage of Sets of Cyclic Algebras

Authors: Adam Chapman

Abstract: Let $p$ be a prime integer and $F$ the function field in two algebraically independent variables over a smaller field $F_0$. We prove that if $\operatorname{char}(F_0)=p\geq 3$ then there exist $p^2-1$ cyclic algebras of degree $p$ over $F$ that have no maximal subfield in common, and if $\operatorname{char}(F_0)=0$ then there exist $p^2$ cyclic algebras of degree $p$ over $F$ that have no maximal… ▽ More Let $p$ be a prime integer and $F$ the function field in two algebraically independent variables over a smaller field $F_0$. We prove that if $\operatorname{char}(F_0)=p\geq 3$ then there exist $p^2-1$ cyclic algebras of degree $p$ over $F$ that have no maximal subfield in common, and if $\operatorname{char}(F_0)=0$ then there exist $p^2$ cyclic algebras of degree $p$ over $F$ that have no maximal subfield in common. △ Less

Submitted 16 April, 2021; originally announced April 2021.

MSC Class: 16K20

A preliminary assessment of the sensitivity of uniaxially-driven fusion targets to flux-limited thermal conduction modeling

Authors: D. A. Chapman, J. D. Pecover, N. Chaturvedi, N. Niasse, M. P. Read, D. H. Vassilev, J. P. Chittenden, N. Hawker, N. Joiner

Abstract: The role of flux-limited thermal conduction on the fusion performance of the uniaxially-driven targets studied by Derentowicz et al.; Jour. Tech. Phys. 18, 465 (1977) and Jour. Tech. Phys. 25, 135 (1977), is explored as part of a wider effort to understand and quantify uncertainties in ICF systems sharing similarities with First Light Fusion's projectile-driven concept. We examine the role of unce… ▽ More The role of flux-limited thermal conduction on the fusion performance of the uniaxially-driven targets studied by Derentowicz et al.; Jour. Tech. Phys. 18, 465 (1977) and Jour. Tech. Phys. 25, 135 (1977), is explored as part of a wider effort to understand and quantify uncertainties in ICF systems sharing similarities with First Light Fusion's projectile-driven concept. We examine the role of uncertainties in plasma microphysics and different choices for the numerical implementation of the conduction operator on simple metrics encapsulating the target performance. The results indicate that choices which affect the description of ionic heat flow between the heated fusion fuel and the gold anvil used to contain it are the most important. The electronic contribution is found to be robustly described by local diffusion. The sensitivities found suggest a prevalent role for quasi-nonlocal ionic transport, especially in the treatment of conduction across material interfaces with strong gradients in temperature and conductivity. We note that none of the simulations produce neutron yields which substantiate those reported by Derentowicz et al. Jour. Tech. Phys. 25, 135 (1977), leaving open future studies aimed at more fully understanding this class of ICF systems. △ Less

Submitted 8 June, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: 14 pages, 7 figures, submitted to Physics of Plasmas

Data provenance, curation and quality in metrology

Authors: James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes

Abstract: Data metrology -- the assessment of the quality of data -- particularly in scientific and industrial settings, has emerged as an important requirement for the UK National Physical Laboratory (NPL) and other national metrology institutes. Data provenance and data curation are key components for emerging understanding of data metrology. However, to date provenance research has had limited visibility… ▽ More Data metrology -- the assessment of the quality of data -- particularly in scientific and industrial settings, has emerged as an important requirement for the UK National Physical Laboratory (NPL) and other national metrology institutes. Data provenance and data curation are key components for emerging understanding of data metrology. However, to date provenance research has had limited visibility to or uptake in metrology. In this work, we summarize a sco** study carried out with NPL staff and industrial participants to understand their current and future needs for provenance, curation and data quality. We then survey provenance technology and standards that are relevant to metrology. We analyse the gaps between requirements and the current state of the art. △ Less

Submitted 16 February, 2021; originally announced February 2021.