-
Closing the AI generalization gap by adjusting for dermatology condition distribution differences across clinical settings
Authors:
Rajeev V. Rikhye,
Aaron Loh,
Grace Eunhae Hong,
Preeti Singh,
Margaret Ann Smith,
Vijaytha Muralidharan,
Doris Wong,
Rory Sayres,
Michelle Phung,
Nicolas Betancourt,
Bradley Fong,
Rachna Sahasrabudhe,
Khoban Nasim,
Alec Eschholz,
Basil Mustafa,
Jan Freyberg,
Terry Spitz,
Yossi Matias,
Greg S. Corrado,
Katherine Chou,
Dale R. Webster,
Peggy Bui,
Yuan Liu,
Yun Liu,
Justin Ko
, et al. (1 additional authors not shown)
Abstract:
Recently, there has been great progress in the ability of artificial intelligence (AI) algorithms to classify dermatological conditions from clinical photographs. However, little is known about the robustness of these algorithms in real-world settings where several factors can lead to a loss of generalizability. Understanding and overcoming these limitations will permit the development of generali…
▽ More
Recently, there has been great progress in the ability of artificial intelligence (AI) algorithms to classify dermatological conditions from clinical photographs. However, little is known about the robustness of these algorithms in real-world settings where several factors can lead to a loss of generalizability. Understanding and overcoming these limitations will permit the development of generalizable AI that can aid in the diagnosis of skin conditions across a variety of clinical settings. In this retrospective study, we demonstrate that differences in skin condition distribution, rather than in demographics or image capture mode are the main source of errors when an AI algorithm is evaluated on data from a previously unseen source. We demonstrate a series of steps to close this generalization gap, requiring progressively more information about the new source, ranging from the condition distribution to training data enriched for data less frequently seen during training. Our results also suggest comparable performance from end-to-end fine tuning versus fine tuning solely the classification layer on top of a frozen embedding model. Our approach can inform the adaptation of AI algorithms to new settings, based on the information and resources available.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Composition-based phase stability model for multicomponent metal alloys
Authors:
Jay C. Spendlove,
Bryan H. Fong,
John H. Martin,
Mark R. O'Masta,
Andrew Pan,
Tobias A. Schaedler,
Eric B. Isaacs
Abstract:
The vastness of the space of possible multicomponent metal alloys is hoped to provide improved structural materials but also challenges traditional, low-throughput materials design efforts. Computational screening could narrow this search space if models for materials stability and desired properties exist that are sufficiently inexpensive and accurate to efficiently guide experiments. Towards thi…
▽ More
The vastness of the space of possible multicomponent metal alloys is hoped to provide improved structural materials but also challenges traditional, low-throughput materials design efforts. Computational screening could narrow this search space if models for materials stability and desired properties exist that are sufficiently inexpensive and accurate to efficiently guide experiments. Towards this effort, here we develop a method to rapidly assess the thermodynamic stability of a metal alloy composition of arbitrary number of elements, stoichiometry, and temperature based on density functional theory (DFT) data. In our model, the Gibbs free energy of the solid solution contains binary enthalpy contributions and ideal configurational entropy, whereas only enthalpy is considered for intermetallic competing phases. Compared to a past model for predicting the formation of single-phase high-entropy alloys [Phys. Rev. X 5, 011041 (2015)], our method is similarly inexpensive, since it assesses enthalpies based on existing DFT data, but less heuristic, more broadly applicable, and more accurate (70--75%) compared to experiment.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Extracting Mathematical Concepts from Text
Authors:
Jacob Collard,
Valeria de Paiva,
Brendan Fong,
Eswaran Subrahmanian
Abstract:
We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematical knowledge graph. We consider four different term extractors and compare their results. This small experiment showcases some of the issues with the construction and evaluation of terms extracted from noisy domain text.…
▽ More
We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematical knowledge graph. We consider four different term extractors and compare their results. This small experiment showcases some of the issues with the construction and evaluation of terms extracted from noisy domain text. We also make available two open corpora in research mathematics, in particular in category theory: a small corpus of 755 abstracts from the journal TAC (3188 sentences), and a larger corpus from the nLab community wiki (15,000 sentences).
△ Less
Submitted 29 August, 2022;
originally announced August 2022.
-
Full-permutation dynamical decoupling in triple-quantum-dot spin qubits
Authors:
Bo Sun,
Teresa Brecht,
Bryan Fong,
Moonmoon Akmal,
Jacob Z. Blumoff,
Tyler A. Cain,
Faustin W. Carter,
Dylan H. Finestone,
Micha N. Fireman,
Wonill Ha,
Anthony T. Hatke,
Ryan M. Hickey,
Clayton A. C. Jackson,
Ian Jenkins,
Aaron M. Jones,
Andrew Pan,
Daniel R. Ward,
Aaron J. Weinstein,
Samuel J. Whiteley,
Parker Williams,
Matthew G. Borselli,
Matthew T. Rakher,
Thaddeus D. Ladd
Abstract:
Dynamical decoupling of spin qubits in silicon can enhance fidelity and be used to extract the frequency spectra of noise processes. We demonstrate a full-permutation dynamical decoupling technique that cyclically exchanges the spins in a triple-dot qubit. This sequence not only suppresses both low frequency charge-noise- and magnetic-noise-induced errors; it also refocuses leakage errors to first…
▽ More
Dynamical decoupling of spin qubits in silicon can enhance fidelity and be used to extract the frequency spectra of noise processes. We demonstrate a full-permutation dynamical decoupling technique that cyclically exchanges the spins in a triple-dot qubit. This sequence not only suppresses both low frequency charge-noise- and magnetic-noise-induced errors; it also refocuses leakage errors to first order, which is particularly interesting for encoded exchange-only qubits. For a specific construction, which we call NZ1y, the qubit is isolated from error sources to such a degree that we measure a remarkable exchange pulse error of $5\times10^{-5}$. This sequence maintains a quantum state for roughly 18,000 exchange pulses, extending the qubit coherence from $T_2^*=2~μ$s to $T_2 = 720~μ$s. We experimentally validate an error model that includes $1/f$ charge noise and $1/f$ magnetic noise in two ways: by direct exchange-qubit simulation, and by integration of the assumed noise spectra with derived filter functions, both of which reproduce the measured error and leakage with respect to changing the repetition rate.
△ Less
Submitted 7 September, 2022; v1 submitted 24 August, 2022;
originally announced August 2022.
-
Disparities in Dermatology AI Performance on a Diverse, Curated Clinical Image Set
Authors:
Roxana Daneshjou,
Kailas Vodrahalli,
Roberto A Novoa,
Melissa Jenkins,
Weixin Liang,
Veronica Rotemberg,
Justin Ko,
Susan M Swetter,
Elizabeth E Bailey,
Olivier Gevaert,
Pritam Mukherjee,
Michelle Phung,
Kiana Yekrang,
Bradley Fong,
Rachna Sahasrabudhe,
Johan A. C. Allerup,
Utako Okata-Karigane,
James Zou,
Albert Chiou
Abstract:
Access to dermatological care is a major issue, with an estimated 3 billion people lacking access to care globally. Artificial intelligence (AI) may aid in triaging skin diseases. However, most AI models have not been rigorously assessed on images of diverse skin tones or uncommon diseases. To ascertain potential biases in algorithm performance in this context, we curated the Diverse Dermatology I…
▽ More
Access to dermatological care is a major issue, with an estimated 3 billion people lacking access to care globally. Artificial intelligence (AI) may aid in triaging skin diseases. However, most AI models have not been rigorously assessed on images of diverse skin tones or uncommon diseases. To ascertain potential biases in algorithm performance in this context, we curated the Diverse Dermatology Images (DDI) dataset-the first publicly available, expertly curated, and pathologically confirmed image dataset with diverse skin tones. Using this dataset of 656 images, we show that state-of-the-art dermatology AI models perform substantially worse on DDI, with receiver operator curve area under the curve (ROC-AUC) drop** by 27-36 percent compared to the models' original test results. All the models performed worse on dark skin tones and uncommon diseases, which are represented in the DDI dataset. Additionally, we find that dermatologists, who typically provide visual labels for AI training and test datasets, also perform worse on images of dark skin tones and uncommon diseases compared to ground truth biopsy annotations. Finally, fine-tuning AI models on the well-characterized and diverse DDI images closed the performance gap between light and dark skin tones. Moreover, algorithms fine-tuned on diverse skin tones outperformed dermatologists on identifying malignancy on images of dark skin tones. Our findings identify important weaknesses and biases in dermatology AI that need to be addressed to ensure reliable application to diverse patients and diseases.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
Universal logic with encoded spin qubits in silicon
Authors:
Aaron J. Weinstein,
Matthew D. Reed,
Aaron M. Jones,
Reed W. Andrews,
David Barnes,
Jacob Z. Blumoff,
Larken E. Euliss,
Kevin Eng,
Bryan Fong,
Sieu D. Ha,
Daniel R. Hulbert,
Clayton Jackson,
Michael Jura,
Tyler E. Keating,
Joseph Kerckhoff,
Andrey A. Kiselev,
Justine Matten,
Golam Sabbir,
Aaron Smith,
Jeffrey Wright,
Matthew T. Rakher,
Thaddeus D. Ladd,
Matthew G. Borselli
Abstract:
Qubits encoded in a decoherence-free subsystem and realized in exchange-coupled silicon quantum dots are promising candidates for fault-tolerant quantum computing. Benefits of this approach include excellent coherence, low control crosstalk, and configurable insensitivity to certain error sources. Key difficulties are that encoded entangling gates require a large number of control pulses and high-…
▽ More
Qubits encoded in a decoherence-free subsystem and realized in exchange-coupled silicon quantum dots are promising candidates for fault-tolerant quantum computing. Benefits of this approach include excellent coherence, low control crosstalk, and configurable insensitivity to certain error sources. Key difficulties are that encoded entangling gates require a large number of control pulses and high-yielding quantum dot arrays. Here we show a device made using the single-layer etch-defined gate electrode architecture that achieves both the required functional yield needed for full control and the coherence necessary for thousands of calibrated exchange pulses to be applied. We measure an average two-qubit Clifford fidelity of $97.1 \pm 0.2\%$ with randomized benchmarking. We also use interleaved randomized benchmarking to demonstrate the controlled-NOT gate with $96.3 \pm 0.7\%$ fidelity, SWAP with $99.3 \pm 0.5\%$ fidelity, and a specialized entangling gate that limits spreading of leakage with $93.8 \pm 0.7\%$ fidelity.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
Disparities in Dermatology AI: Assessments Using Diverse Clinical Images
Authors:
Roxana Daneshjou,
Kailas Vodrahalli,
Weixin Liang,
Roberto A Novoa,
Melissa Jenkins,
Veronica Rotemberg,
Justin Ko,
Susan M Swetter,
Elizabeth E Bailey,
Olivier Gevaert,
Pritam Mukherjee,
Michelle Phung,
Kiana Yekrang,
Bradley Fong,
Rachna Sahasrabudhe,
James Zou,
Albert Chiou
Abstract:
More than 3 billion people lack access to care for skin disease. AI diagnostic tools may aid in early skin cancer detection; however most models have not been assessed on images of diverse skin tones or uncommon diseases. To address this, we curated the Diverse Dermatology Images (DDI) dataset - the first publicly available, pathologically confirmed images featuring diverse skin tones. We show tha…
▽ More
More than 3 billion people lack access to care for skin disease. AI diagnostic tools may aid in early skin cancer detection; however most models have not been assessed on images of diverse skin tones or uncommon diseases. To address this, we curated the Diverse Dermatology Images (DDI) dataset - the first publicly available, pathologically confirmed images featuring diverse skin tones. We show that state-of-the-art dermatology AI models perform substantially worse on DDI, with ROC-AUC drop** 29-40 percent compared to the models' original results. We find that dark skin tones and uncommon diseases, which are well represented in the DDI dataset, lead to performance drop-offs. Additionally, we show that state-of-the-art robust training methods cannot correct for these biases without diverse training data. Our findings identify important weaknesses and biases in dermatology AI that need to be addressed to ensure reliable application to diverse patients and across all disease.
△ Less
Submitted 15 November, 2021;
originally announced November 2021.
-
Regular Calculi I: Graphical Regular Logic
Authors:
Tslil Clingman,
Brendan Fong,
David I. Spivak
Abstract:
What is ergonomic syntax for relations? In this first paper in a series of two, to answer the question we define regular calculi: a suitably structured functor from a category representing the syntax of regular logic to the category of posets, that takes each object to the poset of relations on that type. We introduce two major classes of examples, regular calculi corresponding to regular theories…
▽ More
What is ergonomic syntax for relations? In this first paper in a series of two, to answer the question we define regular calculi: a suitably structured functor from a category representing the syntax of regular logic to the category of posets, that takes each object to the poset of relations on that type. We introduce two major classes of examples, regular calculi corresponding to regular theories, and regular calculi corresponding to regular categories. For working in regular calculi, we present a graphical framework which takes as primitive the various moves of regular logic. Our main theorem for regular calculi is a syntax-semantics $2$-dimensional adjunction to regular categories.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Behavioral Mereology: A Modal Logic for Passing Constraints
Authors:
Brendan Fong,
David Jaz Myers,
David I. Spivak
Abstract:
Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by the types of behavior they can exhibit. Our discussion is formally topos-theoretic, and agnostic to the topos, providing maximal generality; however, by using only its internal logic we can hide the details and readers may…
▽ More
Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by the types of behavior they can exhibit. Our discussion is formally topos-theoretic, and agnostic to the topos, providing maximal generality; however, by using only its internal logic we can hide the details and readers may assume a completely elementary set-theoretic discussion. We consider the relationship between various parts of a whole in terms of how behavioral constraints are passed between them, and give an inter-modal logic that generalizes the usual alethic modalities in the setting of symmetric accessibility.
△ Less
Submitted 25 January, 2021;
originally announced January 2021.
-
Magnetic Gradient Fluctuations from Quadrupolar $^{73}$Ge in Si/SiGe Exchange-Only Qubits
Authors:
J. Kerckhoff,
B. Sun,
B. H. Fong,
C. Jones,
A. A. Kiselev,
D. W. Barnes,
R. S. Noah,
E. Acuna,
M. Akmal,
S. D. Ha,
J. A. Wright,
B. J. Thomas,
C. A. C. Jackson,
L. F. Edge,
K. Eng,
R. S. Ross,
T. D. Ladd
Abstract:
We study the time-fluctuating magnetic gradient noise mechanisms in pairs of Si/SiGe quantum dots using exchange echo noise spectroscopy. We find through a combination of spectral inversion and correspondence to theoretical modeling that quadrupolar precession of the $^{73}$Ge nuclei play a key role in the spin-echo decay time $T_2$, with a characteristic dependence on magnetic field and the width…
▽ More
We study the time-fluctuating magnetic gradient noise mechanisms in pairs of Si/SiGe quantum dots using exchange echo noise spectroscopy. We find through a combination of spectral inversion and correspondence to theoretical modeling that quadrupolar precession of the $^{73}$Ge nuclei play a key role in the spin-echo decay time $T_2$, with a characteristic dependence on magnetic field and the width of the Si quantum well. The $^{73}$Ge noise peaks appear at the fundamental and first harmonic of the $^{73}$Ge Larmor resonance, superimposed over $1/f$ noise due to $^{29}$Si dipole-dipole dynamics, and are dependent on material epitaxy and applied magnetic field. These results may inform the needs of dynamical decoupling when using Si/SiGe quantum dots as qubits in quantum information processing devices.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
String Diagrams for Regular Logic (Extended Abstract)
Authors:
Brendan Fong,
David Spivak
Abstract:
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free regular category FRg(T) on a set T. From this point of view, regular theories are certain monoidal 2-functors from a suitable 2-category of contexts -- the 2-c…
▽ More
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free regular category FRg(T) on a set T. From this point of view, regular theories are certain monoidal 2-functors from a suitable 2-category of contexts -- the 2-category of relations in FRg(T) -- to that of posets. Such functors assign to each context the set of formulas in that context, ordered by entailment. We refer to such a 2-functor as a regular calculus because it naturally gives rise to a graphical string diagram calculus in the spirit of Joyal and Street. We shall show that every natural category has an associated regular calculus, and conversely from every regular calculus one can construct a regular category.
△ Less
Submitted 14 September, 2020;
originally announced September 2020.
-
Regular and relational categories: Revisiting 'Cartesian bicategories I'
Authors:
Brendan Fong,
David I Spivak
Abstract:
Regular logic is the fragment of first order logic generated by $=$, $\top$, $\wedge$, and $\exists$. A key feature of this logic is that it is the minimal fragment required to express composition of binary relations; another is that it is the internal logic of regular categories. The link between these two facts is that in any regular category, one may construct a notion of binary relation using…
▽ More
Regular logic is the fragment of first order logic generated by $=$, $\top$, $\wedge$, and $\exists$. A key feature of this logic is that it is the minimal fragment required to express composition of binary relations; another is that it is the internal logic of regular categories. The link between these two facts is that in any regular category, one may construct a notion of binary relation using jointly-monic spans; this results in what is known as the bicategory of relations of the regular category. In this paper we provide a direct axiomatization of bicategories of relations, which we term relational po-categories, reinterpreting the earlier work of Carboni and Walters along these lines. Our main contribution is an explicit proof that the 2-category of regular categories is equivalent to that of relational po-categories. Throughout, we emphasize the graphical nature of relational po-categories.
△ Less
Submitted 30 August, 2019;
originally announced September 2019.
-
Supplying bells and whistles in symmetric monoidal categories
Authors:
Brendan Fong,
David I Spivak
Abstract:
It is common to encounter symmetric monoidal categories $\mathcal{C}$ for which every object is equipped with an algebraic structure, in a way that is compatible with the monoidal product and unit in $\mathcal{C}$. We define this formally and say that $\mathcal{C}$ supplies the algebraic structure. For example, the category $\mathsf{Rel}$ of relations between sets has monoidal structures given by…
▽ More
It is common to encounter symmetric monoidal categories $\mathcal{C}$ for which every object is equipped with an algebraic structure, in a way that is compatible with the monoidal product and unit in $\mathcal{C}$. We define this formally and say that $\mathcal{C}$ supplies the algebraic structure. For example, the category $\mathsf{Rel}$ of relations between sets has monoidal structures given by both cartesian product and disjoint union, and with respect to either one it supplies comonoids. We prove several facts about the notion of supply, e.g. that the associators, unitors, and braiding of $\mathcal{C}$ are automatically homomorphisms for any supply, as are the coherence isomorphisms for any strong symmetric monoidal functor that preserve supplies. We also show that any supply of structure in a symmetric monoidal category can be extended to a supply of that structure on its strictification.
△ Less
Submitted 5 May, 2020; v1 submitted 7 August, 2019;
originally announced August 2019.
-
Temporal Landscapes: A Graphical Logic of Behavior
Authors:
Brendan Fong,
Alberto Speranzon,
David I. Spivak
Abstract:
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first-order logic; what differs is the notion of truth value. Instead of reasoning about whether formulas are true or false, our logic reasons about temporal landscapes. A temporal landscape may be thou…
▽ More
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first-order logic; what differs is the notion of truth value. Instead of reasoning about whether formulas are true or false, our logic reasons about temporal landscapes. A temporal landscape may be thought of as representing the set of durations over which a statement is true. To help understand the practical implications of this approach, we give a wide variety of examples where this logic is used to reason about autonomous agents.
△ Less
Submitted 3 November, 2022; v1 submitted 1 April, 2019;
originally announced April 2019.
-
Lenses and Learners
Authors:
Brendan Fong,
Michael Johnson
Abstract:
Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymmetric, and may be composed, forming the morphisms of a monoidal category. More recently, the notion of a learner has been proposed: these provide a compositional way of modelling supervised learning algorithms, and again…
▽ More
Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymmetric, and may be composed, forming the morphisms of a monoidal category. More recently, the notion of a learner has been proposed: these provide a compositional way of modelling supervised learning algorithms, and again form the morphisms of a monoidal category. In this paper, we show that the two concepts are tightly linked. We show both that there is a faithful, identity-on-objects symmetric monoidal functor embedding a category of asymmetric lenses into the category of learners, and furthermore there is such a functor embedding the category of learners into a category of symmetric lenses.
△ Less
Submitted 1 May, 2019; v1 submitted 5 March, 2019;
originally announced March 2019.
-
Graphical Regular Logic
Authors:
Brendan Fong,
David I Spivak
Abstract:
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free regular category $\mathsf{FRg}(\mathrm{T})$ on a set $\mathrm{T}$. From this point of view, regular theories are certain monoidal 2-functors from a suitable 2-…
▽ More
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free regular category $\mathsf{FRg}(\mathrm{T})$ on a set $\mathrm{T}$. From this point of view, regular theories are certain monoidal 2-functors from a suitable 2-category of contexts---the 2-category of relations in $\mathsf{FRg}(\mathrm{T})$---to the 2-category of posets. Such functors assign to each context the set of formulas in that context, ordered by entailment. We refer to such a 2-functor as a regular calculus because it naturally gives rise to a graphical string diagram calculus in the spirit of Joyal and Street. Our key aim to prove that the category of regular categories is essentially reflective in that of regular calculi. Along the way, we demonstrate how to use this graphical calculus.
△ Less
Submitted 20 June, 2019; v1 submitted 13 December, 2018;
originally announced December 2018.
-
A recipe for black box functors
Authors:
Brendan Fong,
Maru Sarazola
Abstract:
The task of constructing compositional semantics for network-style diagrammatic languages, such as electrical circuits or chemical reaction networks, has been dubbed the black boxing problem, as it gives semantics that describes the properties of each network that can be observed externally, by composition, while discarding the internal structure. One way to solve these problems is to formalise th…
▽ More
The task of constructing compositional semantics for network-style diagrammatic languages, such as electrical circuits or chemical reaction networks, has been dubbed the black boxing problem, as it gives semantics that describes the properties of each network that can be observed externally, by composition, while discarding the internal structure. One way to solve these problems is to formalise the diagrams and their semantics using hypergraph categories, with semantic interpretation a hypergraph functor, called the black box functor, between them. Reviewing a principled method for constructing hypergraph categories and functors, known as decorated corelations, in this paper we construct a category of \emph{decorating data}, and show that the decorated corelations method is itself functorial, with a universal property characterised by a left Kan extension. We then argue that the category of decorating data is a good setting in which to construct any hypergraph functor, giving a new construction of Baez and Pollard's black box functor for reaction networks as an example.
△ Less
Submitted 9 December, 2018;
originally announced December 2018.
-
Behavioral Mereology (Proofs and Properties)
Authors:
Brendan Fong,
David Jaz Myers,
David I. Spivak
Abstract:
Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by the types of behavior they can exhibit. Our discussion is formally topos-theoretic, and agnostic to the topos, providing maximal generality; however, by using only its internal logic we can hide the details and readers may…
▽ More
Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by the types of behavior they can exhibit. Our discussion is formally topos-theoretic, and agnostic to the topos, providing maximal generality; however, by using only its internal logic we can hide the details and readers may assume a completely elementary set-theoretic discussion. We consider the relationship between various parts of a whole in terms of how behavioral constraints are passed between them, and give an inter-modal logic that generalizes the usual alethic modalities in the setting of symmetric accessibility.
△ Less
Submitted 2 July, 2020; v1 submitted 1 November, 2018;
originally announced November 2018.
-
Hypergraph Categories
Authors:
Brendan Fong,
David I Spivak
Abstract:
Hypergraph categories have been rediscovered at least five times, under various names, including well-supported compact closed categories, dgs-monoidal categories, and dungeon categories. Perhaps the reason they keep being reinvented is two-fold: there are many applications---including to automata, databases, circuits, linear relations, graph rewriting, and belief propagation---and yet the standar…
▽ More
Hypergraph categories have been rediscovered at least five times, under various names, including well-supported compact closed categories, dgs-monoidal categories, and dungeon categories. Perhaps the reason they keep being reinvented is two-fold: there are many applications---including to automata, databases, circuits, linear relations, graph rewriting, and belief propagation---and yet the standard definition is so involved and ornate as to be difficult to find in the literature. Indeed, a hypergraph category is, roughly speaking, a "symmetric monoidal category in which each object is equipped with the structure of a special commutative Frobenius monoid, satisfying certain coherence conditions".
Fortunately, this description can be simplified a great deal: a hypergraph category is simply a "cospan-algebra". The goal of this paper is to remove the scare-quotes and make the previous statement precise. We prove two main theorems. First is a coherence theorem for hypergraph categories, which says that every hypergraph category is equivalent to an objectwise-free hypergraph category. Second, we prove that the category of objectwise-free hypergraph categories is equivalent to the category of cospan-algebras.
△ Less
Submitted 18 January, 2019; v1 submitted 21 June, 2018;
originally announced June 2018.
-
Randomized Benchmarking as Convolution: Fourier Analysis of Gate Dependent Errors
Authors:
Seth T. Merkel,
Emily J. Pritchett,
Bryan H. Fong
Abstract:
We show that the Randomized Benchmarking (RB) protocol is a convolution amenable to Fourier space analysis. By adopting the mathematical framework of Fourier transforms of matrix-valued functions on groups established in recent work from Gowers and Hatami [Sbornik: Mathematics 208, 1784 (2017)], we provide an alternative proof of Wallman's [Quantum 2, 47 (2018)] and Proctor's [Phys. Rev. Lett. 119…
▽ More
We show that the Randomized Benchmarking (RB) protocol is a convolution amenable to Fourier space analysis. By adopting the mathematical framework of Fourier transforms of matrix-valued functions on groups established in recent work from Gowers and Hatami [Sbornik: Mathematics 208, 1784 (2017)], we provide an alternative proof of Wallman's [Quantum 2, 47 (2018)] and Proctor's [Phys. Rev. Lett. 119, 130502 (2017)] bounds on the effect of gate-dependent noise on randomized benchmarking. We show explicitly that as long as our faulty gate-set is close to the targeted representation of the Clifford group, an RB sequence is described by the exponential decay of a process that has exactly two eigenvalues close to one and the rest close to zero. This framework also allows us to construct a gauge in which the average gate-set error is a depolarizing channel parameterized by the RB decay rates, as well as a gauge which maximizes the fidelity with respect to the ideal gate-set.
△ Less
Submitted 11 August, 2021; v1 submitted 16 April, 2018;
originally announced April 2018.
-
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
Authors:
Brendan Fong,
David I Spivak
Abstract:
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later exploration. The tour takes place over seven sketches, each pairing an evocative application, such as databases, electric circuits, or dynamical systems, with the exploration of a categorical structure, such as adjoint…
▽ More
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later exploration. The tour takes place over seven sketches, each pairing an evocative application, such as databases, electric circuits, or dynamical systems, with the exploration of a categorical structure, such as adjoint functors, enriched categories, or toposes.
No prior knowledge of category theory is assumed.
A feedback form for typos, comments, questions, and suggestions is available here: https://docs.google.com/document/d/160G9OFcP5DWT8Stn7TxdVx83DJnnf7d5GML0_FOD5Wg/edit
△ Less
Submitted 12 October, 2018; v1 submitted 14 March, 2018;
originally announced March 2018.
-
Backprop as Functor: A compositional perspective on supervised learning
Authors:
Brendan Fong,
David I. Spivak,
Rémy Tuyéras
Abstract:
A supervised learning algorithm searches over a set of functions $A \to B$ parametrised by a space $P$ to find the best approximation to some ideal function $f\colon A \to B$. It does this by taking examples $(a,f(a)) \in A\times B$, and updating the parameter according to some rule. We define a category where these update rules may be composed, and show that gradient descent---with respect to a f…
▽ More
A supervised learning algorithm searches over a set of functions $A \to B$ parametrised by a space $P$ to find the best approximation to some ideal function $f\colon A \to B$. It does this by taking examples $(a,f(a)) \in A\times B$, and updating the parameter according to some rule. We define a category where these update rules may be composed, and show that gradient descent---with respect to a fixed step size and an error function satisfying a certain property---defines a monoidal functor from a category of parametrised functions to this category of update rules. This provides a structural perspective on backpropagation, as well as a broad generalisation of neural networks.
△ Less
Submitted 1 May, 2019; v1 submitted 28 November, 2017;
originally announced November 2017.
-
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Authors:
Brendan Fong,
Fabio Zanasi
Abstract:
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic ca…
▽ More
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. This modular perspective is important as it simplifies the task of giving a complete axiomatisation for semantic equivalence of string diagrams. Moreover, our general result unifies various theorems that are independently found in literature and are relevant for program semantics, quantum computation and control theory.
△ Less
Submitted 31 August, 2018; v1 submitted 10 October, 2017;
originally announced October 2017.
-
Decorated Corelations
Authors:
Brendan Fong
Abstract:
Let $\mathcal C$ be a category with finite colimits, and let $(\mathcal E,\mathcal M)$ be a factorisation system on $\mathcal C$ with $\mathcal M$ stable under pushouts. Writing $\mathcal C;\mathcal M^{\mathrm{op}}$ for the symmetric monoidal category with morphisms cospans of the form $\stackrel{c}\to \stackrel{m}\leftarrow$, where $c \in \mathcal C$ and $m \in \mathcal M$, we give method for con…
▽ More
Let $\mathcal C$ be a category with finite colimits, and let $(\mathcal E,\mathcal M)$ be a factorisation system on $\mathcal C$ with $\mathcal M$ stable under pushouts. Writing $\mathcal C;\mathcal M^{\mathrm{op}}$ for the symmetric monoidal category with morphisms cospans of the form $\stackrel{c}\to \stackrel{m}\leftarrow$, where $c \in \mathcal C$ and $m \in \mathcal M$, we give method for constructing a category from a symmetric lax monoidal functor $F\colon (\mathcal C; \mathcal M^{\mathrm{op}},+) \to (\mathrm{Set},\times)$. A morphism in this category, termed a \emph{decorated corelation}, comprises (i) a cospan $X \to N \leftarrow Y$ in $\mathcal C$ such that the canonical copairing $X+Y \to N$ lies in $\mathcal E$, together with (ii) an element of $FN$. Functors between decorated corelation categories can be constructed from natural transformations between the decorating functors $F$. This provides a general method for constructing hypergraph categories---symmetric monoidal categories in which each object is a special commutative Frobenius monoid in a coherent way---and their functors. Such categories are useful for modelling network languages, for example circuit diagrams, and such functors their semantics.
△ Less
Submitted 29 March, 2017;
originally announced March 2017.
-
Randomized Benchmarking, Correlated Noise, and Ising Models
Authors:
Bryan H. Fong,
Seth T. Merkel
Abstract:
We compute the expected randomized benchmarking sequence fidelity for a system subject to Gaussian time-correlated noise. For single qubit benchmarking we show that the expected sequence fidelity is given by the partition function of a long-range coupled spin-one Ising model, with each site in the Ising model corresponding to a free evolution interval. For d-state systems, the expected sequence fi…
▽ More
We compute the expected randomized benchmarking sequence fidelity for a system subject to Gaussian time-correlated noise. For single qubit benchmarking we show that the expected sequence fidelity is given by the partition function of a long-range coupled spin-one Ising model, with each site in the Ising model corresponding to a free evolution interval. For d-state systems, the expected sequence fidelity is given by an Ising-like model partition function whose site variables are given by the weights of the adjoint representation of SU(d). A high effective temperature expansion for the partition function in the single qubit case shows decay of sequence fidelity varying from exponential for uncorrelated noise to a power law for quasistatic noise. Fitting an exponential to the sequence fidelity decay under correlated noise gives unreliable estimates of the average gate error rate.
△ Less
Submitted 28 March, 2017;
originally announced March 2017.
-
A Universal Construction for (Co)Relations
Authors:
Brendan Fong,
Fabio Zanasi
Abstract:
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic ca…
▽ More
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. This modular perspective is important as it simplifies the task of giving a complete axiomatisation for semantic equivalence of string diagrams. Moreover, our general result unifies various theorems that are independently found in literature, including the cases of linear corelations (relevant for the semantics of electrical circuits), of partial equivalence relations and of linear subspaces (semantics of signal flow graphs and of the phase-free ZX calculus).
△ Less
Submitted 26 May, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
-
The Algebra of Open and Interconnected Systems
Authors:
Brendan Fong
Abstract:
Herein we develop category-theoretic tools for understanding network-style diagrammatic languages. The archetypal network-style diagrammatic language is that of electric circuits; other examples include signal flow graphs, Markov processes, automata, Petri nets, chemical reaction networks, and so on. The key feature is that the language is comprised of a number of components with multiple (input/o…
▽ More
Herein we develop category-theoretic tools for understanding network-style diagrammatic languages. The archetypal network-style diagrammatic language is that of electric circuits; other examples include signal flow graphs, Markov processes, automata, Petri nets, chemical reaction networks, and so on. The key feature is that the language is comprised of a number of components with multiple (input/output) terminals, each possibly labelled with some type, that may then be connected together along these terminals to form a larger network. The components form hyperedges between labelled vertices, and so a diagram in this language forms a hypergraph. We formalise the compositional structure by introducing the notion of a hypergraph category. Network-style diagrammatic languages and their semantics thus form hypergraph categories, and semantic interpretation gives a hypergraph functor.
The first part of this thesis develops the theory of hypergraph categories. In particular, we introduce the tools of decorated cospans and corelations. Decorated cospans allow straightforward construction of hypergraph categories from diagrammatic languages: the inputs, outputs, and their composition are modelled by the cospans, while the 'decorations' specify the components themselves. Not all hypergraph categories can be constructed, however, through decorated cospans. Decorated corelations are a more powerful version that permits construction of all hypergraph categories and hypergraph functors. These are often useful for constructing the semantic categories of diagrammatic languages and functors from diagrams to the semantics. To illustrate these principles, the second part of this thesis details applications to linear time-invariant dynamical systems and passive linear networks.
△ Less
Submitted 17 September, 2016;
originally announced September 2016.
-
Corelations are the prop for extraspecial commutative Frobenius monoids
Authors:
Brandon Coya,
Brendan Fong
Abstract:
Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans. With the ensuing notion of composition inherited from the pushout of cospans, we call these equivalence relations \emph{corelations}. We define the category of corelations between finite sets and prove that it is equiv…
▽ More
Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans. With the ensuing notion of composition inherited from the pushout of cospans, we call these equivalence relations \emph{corelations}. We define the category of corelations between finite sets and prove that it is equivalent to the prop for extraspecial commutative Frobenius monoids. Dually, we show that the category of relations is equivalent to the prop for special commutative bimonoids. Throughout, we emphasise how corelations model interconnection.
△ Less
Submitted 29 January, 2016; v1 submitted 10 January, 2016;
originally announced January 2016.
-
A categorical approach to open and interconnected dynamical systems
Authors:
Brendan Fong,
Paolo Rapisarda,
Paweł Sobociński
Abstract:
We develop a sound and complete graphical theory for discrete linear time-invariant dynamical systems. The graphical syntax, as in previous work, is closely related to the classical notion of signal flow diagrams, differently from previous work, these are understood as multi-input multi-output transducers that process streams with an \emph{infinite past} as well as an infinite future. This extende…
▽ More
We develop a sound and complete graphical theory for discrete linear time-invariant dynamical systems. The graphical syntax, as in previous work, is closely related to the classical notion of signal flow diagrams, differently from previous work, these are understood as multi-input multi-output transducers that process streams with an \emph{infinite past} as well as an infinite future. This extended semantics features non-controllable systems, and we develop a novel, structural characterisation of controllability. Our approach is formalised through the theory of props, extending the work of Bonchi, Zanasi and the third author.
△ Less
Submitted 2 February, 2016; v1 submitted 17 October, 2015;
originally announced October 2015.
-
A Compositional Framework for Markov Processes
Authors:
John C. Baez,
Brendan Fong,
Blake S. Pollard
Abstract:
We define the concept of an "open" Markov process, or more precisely, continuous-time Markov chain, which is one where probability can flow in or out of certain states called "inputs" and "outputs". One can build up a Markov process from smaller open pieces. This process is formalized by making open Markov processes into the morphisms of a dagger compact category. We show that the behavior of a de…
▽ More
We define the concept of an "open" Markov process, or more precisely, continuous-time Markov chain, which is one where probability can flow in or out of certain states called "inputs" and "outputs". One can build up a Markov process from smaller open pieces. This process is formalized by making open Markov processes into the morphisms of a dagger compact category. We show that the behavior of a detailed balanced open Markov process is determined by a principle of minimum dissipation, closely related to Prigogine's principle of minimum entropy production. Using this fact, we set up a functor map** open detailed balanced Markov processes to open circuits made of linear resistors. We also describe how to "black box" an open Markov process, obtaining the linear relation between input and output data that holds in any steady state, including nonequilibrium steady states with a nonzero flow of probability through the system. We prove that black boxing gives a symmetric monoidal dagger functor sending open detailed balanced Markov processes to Lagrangian relations between symplectic vector spaces. This allows us to compute the steady state behavior of an open detailed balanced Markov process from the behaviors of smaller pieces from which it is built. We relate this black box functor to a previously constructed black box functor for circuits.
△ Less
Submitted 21 March, 2016; v1 submitted 26 August, 2015;
originally announced August 2015.
-
Additive monotones for resource theories of parallel-combinable processes with discarding
Authors:
Brendan Fong,
Hugo Nava-Kopp
Abstract:
A partitioned process theory, as defined by Coecke, Fritz, and Spekkens, is a symmetric monoidal category together with an all-object-including symmetric monoidal subcategory. We think of the morphisms of this category as processes, and the morphisms of the subcategory as those processes that are freely executable. Via a construction we refer to as parallel-combinable processes with discarding, w…
▽ More
A partitioned process theory, as defined by Coecke, Fritz, and Spekkens, is a symmetric monoidal category together with an all-object-including symmetric monoidal subcategory. We think of the morphisms of this category as processes, and the morphisms of the subcategory as those processes that are freely executable. Via a construction we refer to as parallel-combinable processes with discarding, we obtain from this data a partially ordered monoid on the set of processes, with f > g if one can use the free processes to construct g from f. The structure of this partial order can then be probed using additive monotones: order-preserving monoid homomorphisms with values in the real numbers under addition. We first characterise these additive monotones in terms of the corresponding partitioned process theory.
Given enough monotones, we might hope to be able to reconstruct the order on the monoid. If so, we say that we have a complete family of monotones. In general, however, when we require our monotones to be additive monotones, such families do not exist or are hard to compute. We show the existence of complete families of additive monotones for various partitioned process theories based on the category of finite sets, in order to shed light on the way such families can be constructed.
△ Less
Submitted 4 November, 2015; v1 submitted 6 May, 2015;
originally announced May 2015.
-
A Compositional Framework for Passive Linear Networks
Authors:
John C. Baez,
Brendan Fong
Abstract:
Passive linear networks are used in a wide variety of engineering applications, but the best studied are electrical circuits made of resistors, inductors and capacitors. We describe a category where a morphism is a circuit of this sort with marked input and output terminals. In this category, composition describes the process of attaching the outputs of one circuit to the inputs of another. We con…
▽ More
Passive linear networks are used in a wide variety of engineering applications, but the best studied are electrical circuits made of resistors, inductors and capacitors. We describe a category where a morphism is a circuit of this sort with marked input and output terminals. In this category, composition describes the process of attaching the outputs of one circuit to the inputs of another. We construct a functor, dubbed the "black box functor", that takes a circuit, forgets its internal structure, and remembers only its external behavior. Two circuits have the same external behavior if and only if they impose same relation between currents and potentials at their terminals. The space of these currents and potentials naturally has the structure of a symplectic vector space, and the relation imposed by a circuit is a Lagrangian linear relation. Thus, the black box functor goes from our category of circuits to the category of symplectic vector spaces and Lagrangian linear relations. We prove that this functor is We prove that this functor is symmetric monoidal and indeed a hypergraph functor. We assume the reader is familiar with category theory, but not with circuit theory or symplectic linear algebra.
△ Less
Submitted 16 November, 2018; v1 submitted 21 April, 2015;
originally announced April 2015.
-
Decorated Cospans
Authors:
Brendan Fong
Abstract:
Let $\mathcal C$ be a category with finite colimits, writing its coproduct $+$, and let $(\mathcal D, \otimes)$ be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal functor $F: (\mathcal C,+) \to (\mathcal D, \otimes)$, and of producing a strong monoidal functor between such categories from a monoidal natural transformation bet…
▽ More
Let $\mathcal C$ be a category with finite colimits, writing its coproduct $+$, and let $(\mathcal D, \otimes)$ be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal functor $F: (\mathcal C,+) \to (\mathcal D, \otimes)$, and of producing a strong monoidal functor between such categories from a monoidal natural transformation between such functors. The objects of these categories, our so-called `decorated cospan categories', are simply the objects of $\mathcal C$, while the morphisms are pairs comprising a cospan $X \rightarrow N \leftarrow Y$ in $\mathcal C$ together with an element $1 \to FN$ in $\mathcal D$. Moreover, decorated cospan categories are multigraph categories---each object is equipped with a special commutative Frobenius monoid---and their functors preserve this structure.
△ Less
Submitted 11 August, 2015; v1 submitted 3 February, 2015;
originally announced February 2015.
-
Quantum Techniques for Studying Equilibrium in Reaction Networks
Authors:
John C. Baez,
Brendan Fong
Abstract:
Anderson, Craciun, and Kurtz have proved that a stochastically modelled chemical reaction system with mass-action kinetics admits a stationary distribution when the deterministic model of the same system with mass-action kinetics admits an equilibrium solution obeying a certain "complex balance" condition. Here we present a proof of their theorem using tools from the theory of second quantization:…
▽ More
Anderson, Craciun, and Kurtz have proved that a stochastically modelled chemical reaction system with mass-action kinetics admits a stationary distribution when the deterministic model of the same system with mass-action kinetics admits an equilibrium solution obeying a certain "complex balance" condition. Here we present a proof of their theorem using tools from the theory of second quantization: Fock space, annihilation and creation operators, and coherent states. This is an example of "stochastic mechanics", where we take techniques from quantum mechanics and replace amplitudes by probabilities.
△ Less
Submitted 23 March, 2014; v1 submitted 21 May, 2013;
originally announced May 2013.
-
Causal Theories: A Categorical Perspective on Bayesian Networks
Authors:
Brendan Fong
Abstract:
In this dissertation we develop a new formal graphical framework for causal reasoning. Starting with a review of monoidal categories and their associated graphical languages, we then revisit probability theory from a categorical perspective and introduce Bayesian networks, an existing structure for describing causal relationships. Motivated by these, we propose a new algebraic structure, which we…
▽ More
In this dissertation we develop a new formal graphical framework for causal reasoning. Starting with a review of monoidal categories and their associated graphical languages, we then revisit probability theory from a categorical perspective and introduce Bayesian networks, an existing structure for describing causal relationships. Motivated by these, we propose a new algebraic structure, which we term a causal theory. These take the form of a symmetric monoidal category, with the objects representing variables and morphisms ways of deducing information about one variable from another. A major advantage of reasoning with these structures is that the resulting graphical representations of morphisms match well with intuitions for flows of information between these variables. These categories can then be modelled in other categories, providing concrete interpretations for the variables and morphisms. In particular, we shall see that models in the category of measurable spaces and stochastic maps provide a slight generalisation of Bayesian networks, and naturally form a category themselves. We conclude with a discussion of this category, classifying the morphisms and discussing some basic universal constructions.
ERRATA: (i) Pages 41-42: Objects of a causal theory are words, not collections, in $V$, and we include swaps as generating morphisms, subject to the identities defining a symmetric monoidal category. (ii) Page 46: A causal model is a strong symmetric monoidal functor.
△ Less
Submitted 25 January, 2013;
originally announced January 2013.
-
Dynamical decoupling of a qubit with always-on control fields
Authors:
N. Cody Jones,
Thaddeus D. Ladd,
Bryan H. Fong
Abstract:
We consider dynamical decoupling schemes in which the qubit is continuously manipulated by a control field at all times. Building on the theory of the Uhrig Dynamical Decoupling sequence (UDD) and its connections to Chebyshev polynomials, we derive a method of always-on control by expressing the UDD control field as a Fourier series. We then truncate this series and numerically optimize the series…
▽ More
We consider dynamical decoupling schemes in which the qubit is continuously manipulated by a control field at all times. Building on the theory of the Uhrig Dynamical Decoupling sequence (UDD) and its connections to Chebyshev polynomials, we derive a method of always-on control by expressing the UDD control field as a Fourier series. We then truncate this series and numerically optimize the series coefficients for decoupling, constructing the CAFE (Chebyshev and Fourier Expansion) sequence. This approach generates a bounded, continuous control field. We simulate the decoupling effectiveness of our sequence vs. a continuous version of UDD for a qubit coupled to fully-quantum and semi-classical dephasing baths and find comparable performance. We derive filter functions for continuous-control decoupling sequences, and we assess how robust such sequences are to noise on control fields. The methods we employ provide a variety of tools to analyze continuous-control dynamical decoupling sequences.
△ Less
Submitted 10 May, 2012;
originally announced May 2012.
-
Exchange-Only Dynamical Decoupling in the 3-Qubit Decoherence Free Subsystem
Authors:
Jacob R. West,
Bryan H. Fong
Abstract:
The Uhrig dynamical decoupling sequence achieves high-order decoupling of a single system qubit from its dephasing bath through the use of bang-bang Pauli pulses at appropriately timed intervals. High-order decoupling of single and multiple qubit systems from baths causing both dephasing and relaxation can also be achieved through the nested application of Uhrig sequences, again using single-qubit…
▽ More
The Uhrig dynamical decoupling sequence achieves high-order decoupling of a single system qubit from its dephasing bath through the use of bang-bang Pauli pulses at appropriately timed intervals. High-order decoupling of single and multiple qubit systems from baths causing both dephasing and relaxation can also be achieved through the nested application of Uhrig sequences, again using single-qubit Pauli pulses. For the 3-qubit decoherence free subsystem (DFS) and related subsystem encodings, Pauli pulses are not naturally available operations; instead, exchange interactions provide all required encoded operations. Here we demonstrate that exchange interactions alone can achieve high-order decoupling against general noise in the 3-qubit DFS. We present decoupling sequences for a 3-qubit DFS coupled to classical and quantum baths and evaluate the performance of the sequences through numerical simulations.
△ Less
Submitted 19 March, 2012;
originally announced March 2012.
-
A Noether Theorem for Markov Processes
Authors:
John C. Baez,
Brendan Fong
Abstract:
Noether's theorem links the symmetries of a quantum system with its conserved quantities, and is a cornerstone of quantum mechanics. Here we prove a version of Noether's theorem for Markov processes. In quantum mechanics, an observable commutes with the Hamiltonian if and only if its expected value remains constant in time for every state. For Markov processes that no longer holds, but an observab…
▽ More
Noether's theorem links the symmetries of a quantum system with its conserved quantities, and is a cornerstone of quantum mechanics. Here we prove a version of Noether's theorem for Markov processes. In quantum mechanics, an observable commutes with the Hamiltonian if and only if its expected value remains constant in time for every state. For Markov processes that no longer holds, but an observable commutes with the Hamiltonian if and only if both its expected value and standard deviation are constant in time for every state.
△ Less
Submitted 9 March, 2012;
originally announced March 2012.
-
Universal Quantum Computation and Leakage Reduction in the 3-Qubit Decoherence Free Subsystem
Authors:
Bryan H. Fong,
Stephen M. Wandzura
Abstract:
We describe exchange-only universal quantum computation and leakage reduction in the 3-qubit decoherence free subsystem (DFS). We discuss the angular momentum structure of the DFS, the proper forms for the DFS CNOT and leakage reduction operators in the total angular momentum basis, and new exchange-only pulse sequences for the CNOT and leakage reduction operators. Our new DFS CNOT sequence requir…
▽ More
We describe exchange-only universal quantum computation and leakage reduction in the 3-qubit decoherence free subsystem (DFS). We discuss the angular momentum structure of the DFS, the proper forms for the DFS CNOT and leakage reduction operators in the total angular momentum basis, and new exchange-only pulse sequences for the CNOT and leakage reduction operators. Our new DFS CNOT sequence requires 22 pulses in 13 time steps. The DFS leakage reduction sequence, the first explicit leakage reduction sequence of its kind, requires 30 pulses in 20 time steps. Although the search for sequences was performed numerically using a genetic algorithm, the solutions presented here are exact, with closed-form expressions.
△ Less
Submitted 14 February, 2011;
originally announced February 2011.
-
High fidelity quantum gates via dynamical decoupling
Authors:
Jacob R. West,
Daniel A. Lidar,
Bryan H. Fong,
Mark F. Gyure
Abstract:
Realizing the theoretical promise of quantum computers will require overcoming decoherence. Here we demonstrate numerically that high fidelity quantum gates are possible within a framework of quantum dynamical decoupling. Orders of magnitude improvement in the fidelities of a universal set of quantum gates, relative to unprotected evolution, is achieved over a broad range of system-environment cou…
▽ More
Realizing the theoretical promise of quantum computers will require overcoming decoherence. Here we demonstrate numerically that high fidelity quantum gates are possible within a framework of quantum dynamical decoupling. Orders of magnitude improvement in the fidelities of a universal set of quantum gates, relative to unprotected evolution, is achieved over a broad range of system-environment coupling strengths, using recursively constructed (concatenated) dynamical decoupling pulse sequences.
△ Less
Submitted 15 December, 2010;
originally announced December 2010.
-
Near-optimal dynamical decoupling of a qubit
Authors:
Jacob R. West,
Bryan H. Fong,
Daniel A. Lidar
Abstract:
We present a near-optimal quantum dynamical decoupling scheme that eliminates general decoherence of a qubit to order n using O(n^2) pulses, an exponential decrease in pulses over all previous decoupling methods. Numerical simulations of a qubit coupled to a spin bath demonstrate the superior performance of the new pulse sequences.
We present a near-optimal quantum dynamical decoupling scheme that eliminates general decoherence of a qubit to order n using O(n^2) pulses, an exponential decrease in pulses over all previous decoupling methods. Numerical simulations of a qubit coupled to a spin bath demonstrate the superior performance of the new pulse sequences.
△ Less
Submitted 1 September, 2009; v1 submitted 31 August, 2009;
originally announced August 2009.
-
Threshold Error Penalty for Fault Tolerant Computation with Nearest Neighbour Communication
Authors:
T. Szkopek,
P. O. Boykin,
H. Fan,
V. Roychowdhury,
E. Yablonovitch,
G. Simms,
M. Gyure,
B. Fong
Abstract:
The error threshold for fault tolerant quantum computation with concatenated encoding of qubits is penalized by internal communication overhead. Many quantum computation proposals rely on nearest-neighbour communication, which requires excess gate operations. For a qubit stripe with a width of L+1 physical qubits implementing L levels of concatenation, we find that the error threshold of 2.1x10^…
▽ More
The error threshold for fault tolerant quantum computation with concatenated encoding of qubits is penalized by internal communication overhead. Many quantum computation proposals rely on nearest-neighbour communication, which requires excess gate operations. For a qubit stripe with a width of L+1 physical qubits implementing L levels of concatenation, we find that the error threshold of 2.1x10^-5 without any communication burden is reduced to 1.2x10^-7 when gate errors are the dominant source of error. This ~175X penalty in error threshold translates to an ~13X penalty in the amplitude and timing of gate operation control pulses.
△ Less
Submitted 8 September, 2005; v1 submitted 15 November, 2004;
originally announced November 2004.