Researcher profile

Peter Jarvis

Peter Jarvis contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2020arXiv

Optimizing short stabilizer codes for asymmetric channels

For a number of quantum channels of interest, phase-flip errors occur far more frequently than bit-flip errors. When transmitting across these asymmetric channels, the decoding error rate can be reduced by tailoring the code used to the channel. However, analyzing the performance of stabilizer codes on these channels is made difficult by the #P-completeness of optimal decoding. To address this, at least for short codes, we demonstrate that the decoding error rate can be approximated by considering only a fraction of the possible errors caused by the channel. Using this approximate error rate calculation, we extend a recent result to show that there are a number of $[[5\leq n\leq12,1\leq k\leq3]]$ cyclic stabilizer codes that perform well on two different asymmetric channels. We also demonstrate that an indication of a stabilizer code's error rate is given by considering the error rate of a classical binary code related to the stabilizer. This classical error rate is far less complex to calculate, and we use it as the basis for a hill climbing algorithm, which we show to be effective at optimizing codes for asymmetric channels. Furthermore, we demonstrate that simple modifications can be made to our hill climbing algorithm to search for codes with desired structure requirements.

preprint2014arXiv

Fierz bilinear formulation of the Maxwell-Dirac equations and symmetry reductions

We study the Maxwell-Dirac equations in a manifestly gauge invariant presentation using only the spinor bilinear scalar and pseudoscalar densities, and the vector and pseudovector currents, together with their quadratic Fierz relations. The internally produced vector potential is expressed via algebraic manipulation of the Dirac equation, as a rational function of the Fierz bilinears and first derivatives (valid on the support of the scalar density), which allows a gauge invariant vector potential to be defined. This leads to a Fierz bilinear formulation of the Maxwell tensor and of the Maxwell-Dirac equations, without any reference to gauge dependent quantities. We show how demanding invariance of tensor fields under the action of a fixed (but arbitrary) Lie subgroup of the Poincaré group leads to symmetry reduced equations. The procedure is illustrated, and the reduced equations worked out explicitly for standard spherical and cylindrical cases, which are coupled third order nonlinear PDEs. Spherical symmetry necessitates the existence of magnetic monopoles, which do not affect the coupled Maxwell-Dirac system due to magnetic terms canceling. In this paper we do not take up numerical computations. As a demonstration of the power of our approach, we also work out the symmetry reduced equations for two distinct classes of dimension 4 one-parameter families of Poincaré subgroups, one splitting and one non-splitting. The splitting class yields no solutions, whereas for the non-splitting class we find a family of formal exact solutions in closed form.

preprint2013arXiv

The mixed two qutrit system: local unitary invariants, entanglement monotones, and the SLOCC group SL(3,C)

We consider local unitary invariants and entanglement monotones for the mixed two qutrit system. Character methods for the local SU(3)xSU(3) transformation group are used to establish the count of algebraically independent polynomial invariants up to degree 5 in the components of the density operator. These are identified up to quartic degree in the standard basis of Gell-Mann matrices, with the help of the calculus of f and d coefficients. Next, investigating local measurement operations, we study a SLOCC qutrit group, which plays the role of a `relativistic' transformation group analogous to that of the Lorentz group SL(2,C)_R ~ SO(3,1) for the qubit case. This is the group SL(3,C)_R, presented as a group of real 9x9 matrices acting linearly on the 9-dimensional space of projective coordinates for the qutrit density matrix. The counterpart, for qutrits, of the invariant 4x4 Minkowski metric of the qubit case, proves to be a certain 9x9x9 totally symmetric three-fold tensor generalizing the Gell-Mann d coefficient. Using this structure, we provide a count of the corresponding LSL polynomial invariants using group character methods. Finally, we give an explicit construction of the lowest degree quantity (the cubic invariant) and its expansion in terms of SU(3)xSU(3) invariants, and we indicate how to construct higher degree analogues. These quantities are proven to yield entanglement monotones. This work generalizes and partly extends the paper of King, Welsh and Jarvis (Journal of Physics A, 40(33):10083, 2007) on the mixed two qubit system, which is reviewed in an appendix.

preprint2011arXiv

A class of quadratic deformations of Lie superalgebras

We study certain Z_2-graded, finite-dimensional polynomial algebras of degree 2 which are a special class of deformations of Lie superalgebras, which we call quadratic Lie superalgebras. Starting from the formal definition, we discuss the generalised Jacobi relations in the context of the Koszul property, and give a proof of the PBW basis theorem. We give several concrete examples of quadratic Lie superalgebras for low dimensional cases, and discuss aspects of their structure constants for the `type I' class. We derive the equivalent of the Kac module construction for typical and atypical modules, and a related direct construction of irreducible modules due to Gould. We investigate in detail one specific case, the quadratic generalisation gl_2(n/1) of the Lie superalgebra sl(n/1). We formulate the general atypicality conditions at level 1, and present an analysis of zero-and one-step atypical modules for a certain family of Kac modules.

preprint2011arXiv

Conformal supermultiplets without superpartners

We consider polynomial deformations of Lie superalgebras and their representations. For the class A(n-1,0) ~ sl(n/1), we identify families of superalgebras of quadratic and cubic type, consistent with Jacobi identities. For such deformed superalgebras we point out the possibility of zero step supermultiplets, carried on a single, irreducible representation of the even (Lie) subalgebra. For the conformal group SU(2,2) in 1+3-dimensional spacetime, such irreducible (unitary) representations correspond to standard conformal fields (j_1,j_2;d), where (j_1,j_2) is the spin and d the conformal dimension; in the massless class j_1 j_2=0, and d=j_1+j_2+1. We show that these repesentations are zero step supermultiplets for the superalgebra SU_(2)(2,2/1), the quadratic deformation of conformal supersymmetry SU(2,2/1). We propose to elevate SU_(2)(2,2/1) to a symmetry of the S-matrix. Under this scenario, low-energy standard model matter fields (leptons, quarks, Higgs scalars and gauge fields) descended from such conformal supermultiplets are not accompanied by superpartners.

preprint2011arXiv

Lie Markov Models

Recent work has discussed the importance of multiplicative closure for the Markov models used in phylogenetics. For continuous-time Markov chains, a sufficient condition for multiplicative closure of a model class is ensured by demanding that the set of rate-matrices belonging to the model class form a Lie algebra. It is the case that some well-known Markov models do form Lie algebras and we refer to such models as "Lie Markov models". However it is also the case that some other well-known Markov models unequivocally do not form Lie algebras. In this paper, we will discuss how to generate Lie Markov models by demanding that the models have certain symmetries under nucleotide permutations. We show that the Lie Markov models include, and hence provide a unifying concept for, "group-based" and "equivariant" models. For each of two, three and four character states, the full list of Lie Markov models with maximal symmetry is presented and shown to include interesting examples that are neither group-based nor equivariant. We also argue that our scheme is pleasing in the context of applied phylogenetics, as, for a given symmetry of nucleotide substitution, it provides a natural hierarchy of models with increasing number of parameters.

preprint2011arXiv

Quantum Simulation of Phylogenetic Trees

Quantum simulations constructing probability tensors of biological multi-taxa in phylogenetic trees are proposed, in terms of positive trace preserving maps, describing evolving systems of quantum walks with multiple walkers. Basic phylogenetic models applying on trees of various topologies are simulated following appropriate decoherent quantum circuits. Quantum simulations of statistical inference for aligned sequences of biological characters are provided in terms of a quantum pruning map operating on likelihood operator observables, utilizing state-observable duality and measurement theory.