-
Genons, Double Covers and Fault-tolerant Clifford Gates
Authors:
Simon Burton,
Elijah Durso-Sabina,
Natalie C. Brown
Abstract:
A great deal of work has been done develo** quantum codes with varying overhead and connectivity constraints. However, given the such an abundance of codes, there is a surprising shortage of fault-tolerant logical gates supported therein. We define a construction, such that given an input $[[n,k,d]]$ code, yields a $[[2n,2k,\ge d]]$ symplectic double code with naturally occurring fault-tolerant…
▽ More
A great deal of work has been done develo** quantum codes with varying overhead and connectivity constraints. However, given the such an abundance of codes, there is a surprising shortage of fault-tolerant logical gates supported therein. We define a construction, such that given an input $[[n,k,d]]$ code, yields a $[[2n,2k,\ge d]]$ symplectic double code with naturally occurring fault-tolerant logical Clifford gates. As applied to 2-dimensional $D(\mathbb{Z}_2)$-topological codes with genons (twists) and domain walls, we find the symplectic double is genon free, and of possibly higher genus. Braiding of genons on the original code becomes Dehn twists on the symplectic double. Such topological operations are particularly suited for architectures with all-to-all connectivity, and we demonstrate this experimentally on Quantinuum's H1-1 trapped-ion quantum computer.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology
Authors:
Josh Hunter,
John McDermid,
Simon Burton
Abstract:
As the railway industry increasingly seeks to introduce autonomy and machine learning (ML), several questions arise. How can safety be assured for such systems and technologies? What is the applicability of current safety standards within this new technological landscape? What are the key metrics to classify a system as safe? Currently, safety analysis for the railway reflects the failure modes of…
▽ More
As the railway industry increasingly seeks to introduce autonomy and machine learning (ML), several questions arise. How can safety be assured for such systems and technologies? What is the applicability of current safety standards within this new technological landscape? What are the key metrics to classify a system as safe? Currently, safety analysis for the railway reflects the failure modes of existing technology; in contrast, the primary concern of analysis of automation is typically average performance. Such purely statistical approaches to measuring ML performance are limited, as they may overlook classes of situations that may occur rarely but in which the function performs consistently poorly. To combat these difficulties we introduce SACRED, a safety methodology for producing an initial safety case and determining important safety metrics for autonomous systems. The development of SACRED is motivated by the proposed GoA-4 light-rail system in Berlin.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications
Authors:
Chih-Hong Cheng,
Venkatesh Prasad Venkataramanan,
Pragya Kirti Gupta,
Yun-Fei Hsu,
Simon Burton
Abstract:
We study challenges using reinforcement learning in controlling energy systems, where apart from performance requirements, one has additional safety requirements such as avoiding blackouts. We detail how these safety requirements in real-time temporal logic can be strengthened via discretization into linear temporal logic (LTL), such that the satisfaction of the LTL formulae implies the satisfacti…
▽ More
We study challenges using reinforcement learning in controlling energy systems, where apart from performance requirements, one has additional safety requirements such as avoiding blackouts. We detail how these safety requirements in real-time temporal logic can be strengthened via discretization into linear temporal logic (LTL), such that the satisfaction of the LTL formulae implies the satisfaction of the original safety requirements. The discretization enables advanced engineering methods such as synthesizing shields for safe reinforcement learning as well as formal verification, where for statistical model checking, the probabilistic guarantee acquired by LTL model checking forms a lower bound for the satisfaction of the original real-time safety requirements.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Categorified Path Calculus
Authors:
Simon Burton
Abstract:
Path calculus, or graphical linear algebra, is a string diagram calculus for the category of matrices over a base ring. It is the usual string diagram calculus for a symmetric monoidal category, where the monoidal product is the direct sum of matrices. We categorify this story to develop a surface diagram calculus for the bicategory of matrices over a base bimonoidal category. This yields a surfac…
▽ More
Path calculus, or graphical linear algebra, is a string diagram calculus for the category of matrices over a base ring. It is the usual string diagram calculus for a symmetric monoidal category, where the monoidal product is the direct sum of matrices. We categorify this story to develop a surface diagram calculus for the bicategory of matrices over a base bimonoidal category. This yields a surface diagram calculus for any bimonoidal category by restricting to diagrams for 1x1 matrices. We show how additional structure on the base category, such as biproducts, duals and the dagger, adds structure to the resulting calculus. Applied to categorical quantum mechanics this yields a new graphical proof of the teleportation protocol.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
CSS code surgery as a universal construction
Authors:
Alexander Cowtan,
Simon Burton
Abstract:
We define code maps between Calderbank-Shor-Steane (CSS) codes using maps between chain complexes, and describe code surgery between such codes using a specific colimit in the category of chain complexes. As well as describing a surgery operation, this gives a general recipe for new codes. As an application we describe how to `merge' and `split' along a shared $\overline{X}$ or $\overline{Z}$ oper…
▽ More
We define code maps between Calderbank-Shor-Steane (CSS) codes using maps between chain complexes, and describe code surgery between such codes using a specific colimit in the category of chain complexes. As well as describing a surgery operation, this gives a general recipe for new codes. As an application we describe how to `merge' and `split' along a shared $\overline{X}$ or $\overline{Z}$ operator between arbitrary CSS codes in a fault-tolerant manner, so long as certain technical conditions concerning gauge fixing and code distance are satisfied. We prove that such merges and splits on LDPC codes yield codes which are themselves LDPC.
△ Less
Submitted 7 May, 2024; v1 submitted 31 January, 2023;
originally announced January 2023.
-
Facilitating Change Implementation for Continuous ML-Safety Assurance
Authors:
Chih-Hong Cheng,
Nguyen Anh Vu Doan,
Balahari Balu,
Franziska Schwaiger,
Emmanouil Seferis,
Simon Burton,
Yassine Qamsane,
Ankit Shukla,
Yinchong Yang,
Zhiliang Wu,
Andreas Hapfelmeier,
Ingo Thon
Abstract:
We propose a method for deploying a safety-critical machine-learning component into continuously evolving environments where an increased degree of automation in the engineering process is desired. We associate semantic tags with the safety case argumentation and turn each piece of evidence into a quantitative metric or a logic formula. With proper tool support, the impact can be characterized by…
▽ More
We propose a method for deploying a safety-critical machine-learning component into continuously evolving environments where an increased degree of automation in the engineering process is desired. We associate semantic tags with the safety case argumentation and turn each piece of evidence into a quantitative metric or a logic formula. With proper tool support, the impact can be characterized by a query over the safety argumentation tree to highlight evidence turning invalid. The concept is exemplified using a vision-based emergency braking system of an autonomous guided vehicle for factory automation.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Fold-Transversal Clifford Gates for Quantum Codes
Authors:
Nikolas P. Breuckmann,
Simon Burton
Abstract:
We generalize the concept of folding from surface codes to CSS codes by considering certain dualities within them. In particular, this gives a general method to implement logical operations in suitable LDPC quantum codes using transversal gates and qubit permutations only.
To demonstrate our approach, we specifically consider a [[30, 8, 3]] hyperbolic quantum code called Bring's code. Further, w…
▽ More
We generalize the concept of folding from surface codes to CSS codes by considering certain dualities within them. In particular, this gives a general method to implement logical operations in suitable LDPC quantum codes using transversal gates and qubit permutations only.
To demonstrate our approach, we specifically consider a [[30, 8, 3]] hyperbolic quantum code called Bring's code. Further, we show that by restricting the logical subspace of Bring's code to four qubits, we can obtain the full Clifford group on that subspace.
△ Less
Submitted 10 June, 2024; v1 submitted 14 February, 2022;
originally announced February 2022.
-
Unaligned but Safe -- Formally Compensating Performance Limitations for Imprecise 2D Object Detection
Authors:
Tobias Schuster,
Emmanouil Seferis,
Simon Burton,
Chih-Hong Cheng
Abstract:
In this paper, we consider the imperfection within machine learning-based 2D object detection and its impact on safety. We address a special sub-type of performance limitations: the prediction bounding box cannot be perfectly aligned with the ground truth, but the computed Intersection-over-Union metric is always larger than a given threshold. Under such type of performance limitation, we formally…
▽ More
In this paper, we consider the imperfection within machine learning-based 2D object detection and its impact on safety. We address a special sub-type of performance limitations: the prediction bounding box cannot be perfectly aligned with the ground truth, but the computed Intersection-over-Union metric is always larger than a given threshold. Under such type of performance limitation, we formally prove the minimum required bounding box enlargement factor to cover the ground truth. We then demonstrate that the factor can be mathematically adjusted to a smaller value, provided that the motion planner takes a fixed-length buffer in making its decisions. Finally, observing the difference between an empirically measured enlargement factor and our formally derived worst-case enlargement factor offers an interesting connection between the quantitative evidence (demonstrated by statistics) and the qualitative evidence (demonstrated by worst-case analysis).
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Safe AI -- How is this Possible?
Authors:
Harald Rueß,
Simon Burton
Abstract:
Ttraditional safety engineering is coming to a turning point moving from deterministic, non-evolving systems operating in well-defined contexts to increasingly autonomous and learning-enabled AI systems which are acting in largely unpredictable operating contexts. We outline some of underlying challenges of safe AI and suggest a rigorous engineering framework for minimizing uncertainty, thereby in…
▽ More
Ttraditional safety engineering is coming to a turning point moving from deterministic, non-evolving systems operating in well-defined contexts to increasingly autonomous and learning-enabled AI systems which are acting in largely unpredictable operating contexts. We outline some of underlying challenges of safe AI and suggest a rigorous engineering framework for minimizing uncertainty, thereby increasing confidence, up to tolerable levels, in the safe behavior of AI systems.
△ Less
Submitted 11 May, 2022; v1 submitted 25 January, 2022;
originally announced January 2022.
-
A causal model of safety assurance for machine learning
Authors:
Simon Burton
Abstract:
This paper proposes a framework based on a causal model of safety upon which effective safety assurance cases for ML-based applications can be built. In doing so, we build upon established principles of safety engineering as well as previous work on structuring assurance arguments for ML. The paper defines four categories of safety case evidence and a structured analysis approach within which thes…
▽ More
This paper proposes a framework based on a causal model of safety upon which effective safety assurance cases for ML-based applications can be built. In doing so, we build upon established principles of safety engineering as well as previous work on structuring assurance arguments for ML. The paper defines four categories of safety case evidence and a structured analysis approach within which these evidences can be effectively combined. Where appropriate, abstract formalisations of these contributions are used to illustrate the causalities they evaluate, their contributions to the safety argument and desirable properties of the evidences. Based on the proposed framework, progress in this area is re-evaluated and a set of future research directions proposed in order for tangible progress in this field to be made.
△ Less
Submitted 9 August, 2022; v1 submitted 14 January, 2022;
originally announced January 2022.
-
Logically Sound Arguments for the Effectiveness of ML Safety Measures
Authors:
Chih-Hong Cheng,
Tobias Schuster,
Simon Burton
Abstract:
We investigate the issues of achieving sufficient rigor in the arguments for the safety of machine learning functions. By considering the known weaknesses of DNN-based 2D bounding box detection algorithms, we sharpen the metric of imprecise pedestrian localization by associating it with the safety goal. The sharpening leads to introducing a conservative post-processor after the standard non-max-su…
▽ More
We investigate the issues of achieving sufficient rigor in the arguments for the safety of machine learning functions. By considering the known weaknesses of DNN-based 2D bounding box detection algorithms, we sharpen the metric of imprecise pedestrian localization by associating it with the safety goal. The sharpening leads to introducing a conservative post-processor after the standard non-max-suppression as a counter-measure. We then propose a semi-formal assurance case for arguing the effectiveness of the post-processor, which is further translated into formal proof obligations for demonstrating the soundness of the arguments. Applying theorem proving not only discovers the need to introduce missing claims and mathematical concepts but also reveals the limitation of Dempster-Shafer's rules used in semi-formal argumentation.
△ Less
Submitted 10 January, 2022; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Entropy, Derivation Operators and Huffman Trees
Authors:
Simon Burton
Abstract:
We build a theory of binary trees on finite multisets that categorifies, or operationalizes, the entropy of a finite probability distribution. Multisets operationalize probabilities as the event outcomes of an experiment. Huffman trees operationalize the entropy of the distribution of these events. We show how the derivation property of the entropy of a joint distribution lifts to Huffman trees.
We build a theory of binary trees on finite multisets that categorifies, or operationalizes, the entropy of a finite probability distribution. Multisets operationalize probabilities as the event outcomes of an experiment. Huffman trees operationalize the entropy of the distribution of these events. We show how the derivation property of the entropy of a joint distribution lifts to Huffman trees.
△ Less
Submitted 23 July, 2021;
originally announced July 2021.
-
Limitations on transversal gates for hypergraph product codes
Authors:
Simon Burton,
Dan Browne
Abstract:
We analyze the structure of the logical operators from a class of quantum codes that generalizes the surface codes. These are the hypergraph product codes, restricted to the vertical sector. By generalizing an argument of Bravyi and König, we find that transversal gates for these codes must be restricted to the Clifford group.
We analyze the structure of the logical operators from a class of quantum codes that generalizes the surface codes. These are the hypergraph product codes, restricted to the vertical sector. By generalizing an argument of Bravyi and König, we find that transversal gates for these codes must be restricted to the Clifford group.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
Decoding Across the Quantum LDPC Code Landscape
Authors:
Joschka Roffe,
David R. White,
Simon Burton,
Earl T. Campbell
Abstract:
We show that belief propagation combined with ordered statistics post-processing is a general decoder for quantum low density parity check codes constructed from the hypergraph product. To this end, we run numerical simulations of the decoder applied to three families of hypergraph product code: topological codes, fixed-rate random codes and a new class of codes that we call semi-topological codes…
▽ More
We show that belief propagation combined with ordered statistics post-processing is a general decoder for quantum low density parity check codes constructed from the hypergraph product. To this end, we run numerical simulations of the decoder applied to three families of hypergraph product code: topological codes, fixed-rate random codes and a new class of codes that we call semi-topological codes. Our new code families share properties of both topological and random hypergraph product codes, with a construction that allows for a finely-controlled trade-off between code threshold and stabilizer locality. Our results indicate thresholds across all three families of hypergraph product code, and provide evidence of exponential suppression in the low error regime. For the Toric code, we observe a threshold in the range $9.9\pm0.2\%$. This result improves upon previous quantum decoders based on belief propagation, and approaches the performance of the minimum weight perfect matching algorithm. We expect semi-topological codes to have the same threshold as Toric codes, as they are identical in the bulk, and we present numerical evidence supporting this observation.
△ Less
Submitted 29 December, 2020; v1 submitted 14 May, 2020;
originally announced May 2020.
-
Optimal local unitary encoding circuits for the surface code
Authors:
Oscar Higgott,
Matthew Wilson,
James Hefford,
James Dborin,
Farhan Hanif,
Simon Burton,
Dan E. Browne
Abstract:
The surface code is a leading candidate quantum error correcting code, owing to its high threshold, and compatibility with existing experimental architectures. Bravyi et al. (2006) showed that encoding a state in the surface code using local unitary operations requires time at least linear in the lattice size $L$, however the most efficient known method for encoding an unknown state, introduced by…
▽ More
The surface code is a leading candidate quantum error correcting code, owing to its high threshold, and compatibility with existing experimental architectures. Bravyi et al. (2006) showed that encoding a state in the surface code using local unitary operations requires time at least linear in the lattice size $L$, however the most efficient known method for encoding an unknown state, introduced by Dennis et al. (2002), has $O(L^2)$ time complexity. Here, we present an optimal local unitary encoding circuit for the planar surface code that uses exactly $2L$ time steps to encode an unknown state in a distance $L$ planar code. We further show how an $O(L)$ complexity local unitary encoder for the toric code can be found by enforcing locality in the $O(\log L)$-depth non-local renormalisation encoder. We relate these techniques by providing an $O(L)$ local unitary circuit to convert between a toric code and a planar code, and also provide optimal encoders for the rectangular, rotated and 3D surface codes. Furthermore, we show how our encoding circuit for the planar code can be used to prepare fermionic states in the compact map**, a recently introduced fermion to qubit map** that has a stabiliser structure similar to that of the surface code and is particularly efficient for simulating the Fermi-Hubbard model.
△ Less
Submitted 6 August, 2021; v1 submitted 2 February, 2020;
originally announced February 2020.
-
Lift of fractional D-brane charge to equivariant Cohomotopy theory
Authors:
Simon Burton,
Hisham Sati,
Urs Schreiber
Abstract:
The lift of K-theoretic D-brane charge to M-theory was recently hypothesized to land in Cohomotopy cohomology theory. To further check this "Hypothesis H", here we explicitly compute the constraints on fractional D-brane charges at ADE-orientifold singularities imposed by the existence of lifts from equivariant K-theory to equivariant Cohomotopy theory, through Boardman's comparison homomorphism.…
▽ More
The lift of K-theoretic D-brane charge to M-theory was recently hypothesized to land in Cohomotopy cohomology theory. To further check this "Hypothesis H", here we explicitly compute the constraints on fractional D-brane charges at ADE-orientifold singularities imposed by the existence of lifts from equivariant K-theory to equivariant Cohomotopy theory, through Boardman's comparison homomorphism. We check the relevant cases and find that this condition singles out precisely those fractional D-brane charges which do not take irrational values, in any twisted sector. Given that the possibility of irrational D-brane charge has been perceived as a paradox in string theory, we conclude that Hypothesis H serves to resolve this paradox.
Concretely, we first explain that the Boardman homomorphism, in the present case, is the map from the Burnside ring to the representation ring of the singularity group given by forming virtual permutation representations. Then we describe an explicit algorithm that computes the image of this comparison map for any finite group. We run this algorithm for binary Platonic groups, hence for finite subgroups of SU(2); and we find explicitly that for the three exceptional subgroups and for the first few cyclic and binary dihedral subgroups the comparison morphism surjects precisely onto the sub-lattice of the real representation ring spanned by the non-irrational characters.
△ Less
Submitted 10 November, 2019; v1 submitted 23 December, 2018;
originally announced December 2018.
-
Spectra of Gauge Code Hamiltonians
Authors:
Simon Burton
Abstract:
We study the spectral gap of frustrated spin (qubit) Hamiltonians constructed from quantum subsystem (gauge) codes. Such a Hamiltonian can be block diagonalized, with blocks labelled by eigenvalues of extensively many integrals of motion (stabilizers of the code.) Of particular interest is the 3D gauge color code, whose Hamiltonian has been conjectured to act as a quantum memory at finite temperat…
▽ More
We study the spectral gap of frustrated spin (qubit) Hamiltonians constructed from quantum subsystem (gauge) codes. Such a Hamiltonian can be block diagonalized, with blocks labelled by eigenvalues of extensively many integrals of motion (stabilizers of the code.) Of particular interest is the 3D gauge color code, whose Hamiltonian has been conjectured to act as a quantum memory at finite temperature. Using Perron-Frobenius theory we constrain the location of first and second eigenvalues among the blocks of the Hamiltonian. This allows us to numerically find the gap of some large instances of the 3D gauge color code, which is compared to other frustrated spin Hamiltonians. Finally, we suggest a relation between bounded stabilizers and gapped spectra.
△ Less
Submitted 10 January, 2018;
originally announced January 2018.
-
OSIRIS-REx Contamination Control Strategy and Implementation
Authors:
J. P. Dworkin,
L. A. Adelman,
T. Ajluni,
A. V. Andronikov,
J. C. Aponte,
A. E. Bartels,
E. Beshore,
E. B. Bierhaus,
J. R. Brucato,
B. H. Bryan,
A. S. Burton,
M. P. Callahan,
S. L. Castro-Wallace,
B. C. Clark,
S. J. Clemett,
H. C. Connolly Jr.,
W. E. Cutlip,
S. M. Daly,
V. E. Elliott,
J. E. Elsila,
H. L. Enos,
D. F. Everett,
I. A. Franchi,
D. P. Glavin,
H. V. Graham
, et al. (37 additional authors not shown)
Abstract:
OSIRIS-REx will return pristine samples of carbonaceous asteroid Bennu. This article describes how pristine was defined based on expectations of Bennu and on a realistic understanding of what is achievable with a constrained schedule and budget, and how that definition flowed to requirements and implementation. To return a pristine sample, the OSIRIS- REx spacecraft sampling hardware was maintaine…
▽ More
OSIRIS-REx will return pristine samples of carbonaceous asteroid Bennu. This article describes how pristine was defined based on expectations of Bennu and on a realistic understanding of what is achievable with a constrained schedule and budget, and how that definition flowed to requirements and implementation. To return a pristine sample, the OSIRIS- REx spacecraft sampling hardware was maintained at level 100 A/2 and <180 ng/cm2 of amino acids and hydrazine on the sampler head through precision cleaning, control of materials, and vigilance. Contamination is further characterized via witness material exposed to the spacecraft assembly and testing environment as well as in space. This characterization provided knowledge of the expected background and will be used in conjunction with archived spacecraft components for comparison with the samples when they are delivered to Earth for analysis. Most of all, the cleanliness of the OSIRIS-REx spacecraft was achieved through communication among scientists, engineers, managers, and technicians.
△ Less
Submitted 26 October, 2017; v1 submitted 8 April, 2017;
originally announced April 2017.
-
The Determinant and Volume of 2-Bridge Links and Alternating 3-Braids
Authors:
Stephan D. Burton
Abstract:
We examine the conjecture, due to Champanerkar, Kofman, and Purcell that $\text{vol}(K) < 2 π\log \det (K)$ for alternating hyperbolic links, where $\text{vol}(K) = \text{vol}(S^3\backslash K)$ is the hyperbolic volume and $\det(K)$ is the determinant of $K$. We prove that the conjecture holds for 2-bridge links, alternating 3-braids, and various other infinite families. We show the conjecture hol…
▽ More
We examine the conjecture, due to Champanerkar, Kofman, and Purcell that $\text{vol}(K) < 2 π\log \det (K)$ for alternating hyperbolic links, where $\text{vol}(K) = \text{vol}(S^3\backslash K)$ is the hyperbolic volume and $\det(K)$ is the determinant of $K$. We prove that the conjecture holds for 2-bridge links, alternating 3-braids, and various other infinite families. We show the conjecture holds for highly twisted links and quantify this by showing the conjecture holds when the crossing number of $K$ exceeds some function of the twist number of $K$.
△ Less
Submitted 7 April, 2017;
originally announced April 2017.
-
A Short Guide to Anyons and Modular Functors
Authors:
Simon Burton
Abstract:
To the working physicist, anyon theory is meant to describe certain quasi-particle excitations occurring in two dimensional topologically ordered systems. A typical calculation using this theory will involve operations such as $\otimes$ to combine anyons, $F^{abc}_{d}$ to re-associate such combinations, and $R^{ab}_c$ to commute or braid these anyons. Although there is a powerful string-diagram no…
▽ More
To the working physicist, anyon theory is meant to describe certain quasi-particle excitations occurring in two dimensional topologically ordered systems. A typical calculation using this theory will involve operations such as $\otimes$ to combine anyons, $F^{abc}_{d}$ to re-associate such combinations, and $R^{ab}_c$ to commute or braid these anyons. Although there is a powerful string-diagram notation that greatly assists these manipulations, we still appear to be operating on particles arranged on a one-dimensional line, algebraically ordered from left to right. The obvious question is, where is the other dimension? The topological framework for considering these anyons as truly living in a two dimensional space is known as a modular functor, or topological quantum field theory. In this work we show how the apparently one-dimensional algebraic anyon theory is secretly the theory of anyons living in a fully two-dimensional system. The mathematical literature covering this secret is vast, and we try to distill this down into something more manageable.
△ Less
Submitted 17 October, 2016;
originally announced October 2016.
-
Geometric estimates from spanning surfaces
Authors:
Stephan D. Burton,
Efstratia Kalfagianni
Abstract:
We derive bounds on the length of the meridian and the cusp volume of hyperbolic knots in terms of the topology of essential surfaces spanned by the knot. We provide an algorithmically checkable criterion that guarantees that the meridian length of a hyperbolic knot is below a given bound. As applications we find knot diagrammatic upper bounds on the meridian length and the cusp volume of hyperbol…
▽ More
We derive bounds on the length of the meridian and the cusp volume of hyperbolic knots in terms of the topology of essential surfaces spanned by the knot. We provide an algorithmically checkable criterion that guarantees that the meridian length of a hyperbolic knot is below a given bound. As applications we find knot diagrammatic upper bounds on the meridian length and the cusp volume of hyperbolic adequate knots and we obtain new large families of knots with meridian lengths bounded above by four. We also discuss applications of our results to Dehn surgery.
△ Less
Submitted 8 May, 2017; v1 submitted 17 August, 2016;
originally announced August 2016.
-
The Spectra of Volume and Determinant Densities of Links
Authors:
Stephan D. Burton
Abstract:
The $\textit{volume density}$ of a hyperbolic link $K$ is defined to be the ratio of the hyperbolic volume of $K$ to the crossing number of $K$. We show that there are sequences of non-alternating links with volume density approaching $v_8$, where $v_8$ is the volume of the ideal hyperbolic octahedron. We show that the set of volume densities is dense in $[0,v_8]$. The…
▽ More
The $\textit{volume density}$ of a hyperbolic link $K$ is defined to be the ratio of the hyperbolic volume of $K$ to the crossing number of $K$. We show that there are sequences of non-alternating links with volume density approaching $v_8$, where $v_8$ is the volume of the ideal hyperbolic octahedron. We show that the set of volume densities is dense in $[0,v_8]$. The $\textit{determinant density}$ of a link $K$ is $[2 π\log \det(K)]/c(K)$. We prove that the closure of the set of determinant densities contains the set $[0, v_8]$.
△ Less
Submitted 7 July, 2015;
originally announced July 2015.
-
Classical Simulation of Quantum Error Correction in a Fibonacci Anyon Code
Authors:
Simon Burton,
Courtney G. Brell,
Steven T. Flammia
Abstract:
Classically simulating the dynamics of anyonic excitations in two-dimensional quantum systems is likely intractable in general because such dynamics are sufficient to implement universal quantum computation. However, processes of interest for the study of quantum error correction in anyon systems are typically drawn from a restricted class that displays significant structure over a wide range of s…
▽ More
Classically simulating the dynamics of anyonic excitations in two-dimensional quantum systems is likely intractable in general because such dynamics are sufficient to implement universal quantum computation. However, processes of interest for the study of quantum error correction in anyon systems are typically drawn from a restricted class that displays significant structure over a wide range of system parameters. We exploit this structure to classically simulate, and thereby demonstrate the success of, an error-correction protocol for a quantum memory based on the universal Fibonacci anyon model. We numerically simulate a phenomenological model of the system and noise processes on lattice sizes of up to 128x128 sites, and find a lower bound on the error-correction threshold of approximately 0.125 errors per edge, which is comparable to those previously known for abelian and (non-universal) nonabelian anyon models.
△ Less
Submitted 16 January, 2017; v1 submitted 11 June, 2015;
originally announced June 2015.
-
A real stable extension of the Vamos matroid polynomial
Authors:
Sam Burton,
Cynthia Vinzant,
Yewon Youm
Abstract:
In 2004, Choe, Oxley, Sokal and Wagner established a tight connection between matroids and multiaffine real stable polynomials. Recently, Branden used this theory and a polynomial coming from the Vamos matroid to disprove the generalized Lax conjecture. Here we present a 10-element extension of the Vamos matroid and prove that its basis generating polynomial is real stable (i.e. that the matroid h…
▽ More
In 2004, Choe, Oxley, Sokal and Wagner established a tight connection between matroids and multiaffine real stable polynomials. Recently, Branden used this theory and a polynomial coming from the Vamos matroid to disprove the generalized Lax conjecture. Here we present a 10-element extension of the Vamos matroid and prove that its basis generating polynomial is real stable (i.e. that the matroid has the half-plane property). We do this via large sums of squares computations and a criterion for real stability given by Wagner and Wei. Like the Vamos matroid, this matroid is not representable over any field and no power of its basis generating polynomial can be written as the determinant of a linear matrix with positive semidefinite Hermitian forms.
△ Less
Submitted 7 November, 2014;
originally announced November 2014.
-
Thermalization, Error-Correction, and Memory Lifetime for Ising Anyon Systems
Authors:
Courtney G. Brell,
Simon Burton,
Guillaume Dauphinais,
Steven T. Flammia,
David Poulin
Abstract:
We consider two-dimensional lattice models that support Ising anyonic excitations and are coupled to a thermal bath. We propose a phenomenological model for the resulting short-time dynamics that includes pair-creation, hop**, braiding, and fusion of anyons. By explicitly constructing topological quantum error-correcting codes for this class of system, we use our thermalization model to estimate…
▽ More
We consider two-dimensional lattice models that support Ising anyonic excitations and are coupled to a thermal bath. We propose a phenomenological model for the resulting short-time dynamics that includes pair-creation, hop**, braiding, and fusion of anyons. By explicitly constructing topological quantum error-correcting codes for this class of system, we use our thermalization model to estimate the lifetime of the quantum information stored in the encoded spaces. To decode and correct errors in these codes, we adapt several existing topological decoders to the non-Abelian setting. We perform large-scale numerical simulations of these two-dimensional Ising anyon systems and find that the thresholds of these models range between 13% to 25%. To our knowledge, these are the first numerical threshold estimates for quantum codes without explicit additive structure.
△ Less
Submitted 26 January, 2015; v1 submitted 31 October, 2013;
originally announced November 2013.
-
{\em Herschel}-ATLAS/GAMA: The Environmental Density of Far-Infrared Bright Galaxies at $z \leq 0.5$
Authors:
C. S. Burton,
Matt J. Jarvis,
D. J. B. Smith,
D. G. Bonfield,
M. J. Hardcastle,
J. A. Stevens,
N. Bourne,
M. Baes,
S. Brough,
A. Cava,
A. Cooray,
A. Dariush,
G. De Zotti,
L. Dunne,
S. Eales,
R. Hopwood,
E. Ibar,
R. J. Ivison,
J. Liske,
J. Loveday,
S. J. Maddox,
M. Negrello,
M. W. L. Smith,
E. Valiante
Abstract:
We compare the environmental and star formation properties of far-infrared detected and non--far-infrared detected galaxies out to $z \sim0.5$. Using optical spectroscopy and photometry from the Galaxy And Mass Assembly (GAMA) and Sloan Digital Sky Survey (SDSS), with far-infrared observations from the {\em Herschel}-ATLAS Science Demonstration Phase (SDP), we apply the technique of Voronoi Tessel…
▽ More
We compare the environmental and star formation properties of far-infrared detected and non--far-infrared detected galaxies out to $z \sim0.5$. Using optical spectroscopy and photometry from the Galaxy And Mass Assembly (GAMA) and Sloan Digital Sky Survey (SDSS), with far-infrared observations from the {\em Herschel}-ATLAS Science Demonstration Phase (SDP), we apply the technique of Voronoi Tessellations to analyse the environmental densities of individual galaxies. Applying statistical analyses to colour, $r-$band magnitude and redshift-matched samples, we show there to be a significant difference at the 3.5$σ$ level between the normalized environmental densities of these two populations. This is such that infrared emission (a tracer of star formation activity) favours underdense regions compared to those inhabited by exclusively optically observed galaxies selected to be of the same $r-$band magnitude, colour and redshift. Thus more highly star-forming galaxies are found to reside in the most underdense environments, confirming previous studies that have proposed such a correlation. However, the degeneracy between redshift and far-infrared luminosity in our flux-density limited sample means that we are unable to make a stronger statement in this respect. We then apply our method to synthetic light cones generated from semi-analytic models, finding that over the whole redshift distribution the same correlations between star-formation rate and environmental density are found.
△ Less
Submitted 2 May, 2013;
originally announced May 2013.
-
Geodesic systems of tunnels in hyperbolic 3-manifolds
Authors:
Stephan D. Burton,
Jessica S. Purcell
Abstract:
It is unknown whether an unknotting tunnel is always isotopic to a geodesic in a finite volume hyperbolic 3-manifold. In this paper, we address the generalization of this problem to hyperbolic 3-manifolds admitting tunnel systems. We show that there exist finite volume hyperbolic 3-manifolds with a single cusp, with a system of at least two tunnels, such that all but one of the tunnels come arbitr…
▽ More
It is unknown whether an unknotting tunnel is always isotopic to a geodesic in a finite volume hyperbolic 3-manifold. In this paper, we address the generalization of this problem to hyperbolic 3-manifolds admitting tunnel systems. We show that there exist finite volume hyperbolic 3-manifolds with a single cusp, with a system of at least two tunnels, such that all but one of the tunnels come arbitrarily close to self-intersecting. This gives evidence that systems of unknotting tunnels may not be isotopic to geodesics in tunnel number n manifolds. In order to show this result, we prove there is a geometrically finite hyperbolic structure on a (1;n)-compression body with a system of core tunnels such that all but one of the core tunnels self-intersect.
△ Less
Submitted 11 September, 2013; v1 submitted 21 February, 2013;
originally announced February 2013.