arXiv subjects

Peter Jarvis

Publications and source records attributed to Peter Jarvis.

15 recordsLinked to original sources

arXiv2024

Normal high velocity solid dust impacts on tiles of tokamak-relevant temperature

Runaway electron incidence on plasma facing components triggers explosive events that are accompanied by the expulsion of fast solid debris. Subsequent dust-wall high speed impacts constitute a mechanism of wall damage and dust destruction. Empirical damage laws that can be employed for erosion estimates are based on room-temperature impact experiments. We use light-gas gun shooting systems to accelerate solid tungsten dust to near-supersonic speeds towards bulk tungsten targets that are maintained at different temperatures. This concerns targets cooled down to $-100^{\circ}$C with liquid nitrogen and targets resistively heated up to $400^{\circ}$C. Post-mortem surface analysis reveals that the three erosion regimes (plastic deformation, bonding, partial disintegration) weakly depend on the target temperature within the investigated range. It is concluded that empirical damage laws based on room-temperature measurements can be safely employed for predictions.

physics.plasm-ph↗

arXiv2022

Generalized quadratic commutator algebras of PBW-type

In recent years, various nonlinear algebraic structures have been obtained in the context of quantum systems as symmetry algebras, Painlev\'{e} transcendent models and missing label problems. In this paper we treat all of these algebras as instances of the class of quadratic (and higher degree) commutator bracket algebras of PBW type. We provide a general approach for simplifying the constraints arising from the diamond lemma, and apply this in particular to give a comprehensive analysis of the quadratic case. We present new examples of quadratic algebras, which admit a cubic Casimir invariant. The connection with other approaches such as Gr\"{o}bner bases is developed, and we suggest how our explicit and computational techniques can be relevant in other contexts.

math-ph↗

arXiv2020

SU(2/1) superchiral self-duality: a new quantum, algebraic and geometric paradigm to describe the electroweak interactions

We propose an extension of the Yang-Mills paradigm from Lie algebras to internal chiral superalgebras. We replace the Lie algebra-valued connection one-form $A$, by a superalgebra-valued polyform $\widetilde{A}$ mixing exterior-forms of all degrees and satisfying the chiral self-duality condition $\widetilde{A} = {}^*\widetilde{A} \,\chi$, where $\chi$ denotes the superalgebra grading operator. This superconnection contains Yang-Mills vectors valued in the even Lie subalgebra, together with scalars and self-dual tensors valued in the odd module, all coupling only to the charge parity CP-positive Fermions. The Fermion quantum loops then induce the usual Yang-Mills-scalar Lagrangian, the self-dual Avdeev-Chizhov propagator of the tensors, plus a new vector-scalar-tensor vertex and several quartic terms which match the geometric definition of the supercurvature. Applied to the $SU(2/1)$ Lie-Kac simple superalgebra, which naturally classifies all the elementary particles, the resulting quantum field theory is anomaly-free and the interactions are governed by the super-Killing metric and by the structure constants of the superalgebra.

hep-th↗

arXiv2020

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.

quant-ph↗

arXiv2019

Heuristic construction of codeword stabilized codes

The family of codeword stabilized codes encompasses the stabilizer codes as well as many of the best known nonadditive codes. However, constructing optimal $n$-qubit codeword stabilized codes is made difficult by two main factors. The first of these is the exponential growth with $n$ of the number of graphs on which a code can be based. The second is the NP-hardness of the maximum clique search required to construct a code from a given graph. We address the second of these issues through the use of a heuristic clique finding algorithm. This approach has allowed us to find $((9,97\leq K\leq100,2))$ and $((11,387\leq K\leq416,2))$ codes, which are larger than any previously known codes. To address the exponential growth of the search space, we demonstrate that graphs that give large codes typically yield clique graphs with a large number of nodes. The number of such nodes can be determined relatively efficiently, and we demonstrate that $n$-node graphs yielding large clique graphs can be found using a genetic algorithm. This algorithm uses a novel spectral bisection based crossover operation that we demonstrate to be superior to more standard crossover operations. Using this genetic algorithm approach, we have found $((13,18,4))$ and $((13,20,4))$ codes that are larger than any previously known code. We also consider codes for the amplitude damping channel. We demonstrate that for $n\leq9$, optimal codeword stabilized codes correcting a single amplitude damping error can be found by considering standard form codes that detect one of only three of the $3^{n}$ possible equivalent error sets. By combining this error set selection with the genetic algorithm approach, we have found $((11,68))$ and $((11,80))$ codes capable of correcting a single amplitude damping error and $((11,4))$, $((12,4))$, $((13,8))$, and $((14,16))$ codes capable of correcting two amplitude damping

quant-ph↗

arXiv2019

Modified belief propagation decoders for quantum low-density parity-check codes

Quantum low-density parity-check codes can be decoded using a syndrome based $\mathrm{GF}(4)$ belief propagation decoder. However, the performance of this decoder is limited both by unavoidable $4$-cycles in the code's factor graph and the degenerate nature of quantum errors. For the subclass of CSS codes, the number of $4$-cycles can be reduced by breaking an error into an $X$ and $Z$ component and decoding each with an individual $\mathrm{GF}(2)$ based decoder. However, this comes at the expense of ignoring potential correlations between these two error components. We present a number of modified belief propagation decoders that address these issues. We propose a $\mathrm{GF}(2)$ based decoder for CSS codes that reintroduces error correlations by reattempting decoding with adjusted error probabilities. We also propose the use of an augmented decoder, which has previously been suggested for classical binary low-density parity-check codes. This decoder iteratively reattempts decoding on factor graphs that have a subset of their check nodes duplicated. The augmented decoder can be based on a $\mathrm{GF}(4)$ decoder for any code, a $\mathrm{GF}(2)$ decoder for CSS code, or even a supernode decoder for a dual-containing CSS code. For CSS codes, we further propose a $\mathrm{GF}(2)$ based decoder that combines the augmented decoder with error probability adjustment. We demonstrate the performance of these new decoders on a range of different codes, showing that they perform favorably compared to other decoders presented in literature.

quant-ph↗

arXiv2018

The self-coupled Einstein-Cartan-Dirac equations in terms of Dirac bilinears

In this article we present the algebraic rearrangement, or matrix inversion of the Dirac equation in a curved Riemann-Cartan spacetime with torsion, the presence of non-vanishing torsion is implied by the intrinsic spin-1/2 of the Dirac field. We then demonstrate how the inversion leads to a reformulation of the fully non-linear and self-interactive Einstein-Cartan-Dirac field equations in terms of Dirac bilinears. It has been known for some decades that the Dirac equation for charged fermions interacting with an electromagnetic field can be algebraically inverted, so as to obtain an explicit rational expression of the four-vector potential of the gauge field in terms of the spinors. Substitution of this expression into Maxwell's equations yields the bilinear form of the self-interactive Maxwell-Dirac equations. In the present (purely gravitational) case, the inversion process yields \emph{two} rational four-vector expressions in terms of Dirac bilinears, which act as gravitational analogues of the electromagnetic vector potential. These "potentials" also appear as irreducible summand components of the connection, along with a traceless residual term of mixed symmetry. When taking the torsion field equation into account, the residual term can be written as a function of the object of anholonomity. Using the local tetrad frame associated with observers co-moving with the Dirac matter, a generic vierbein frame can described in terms of four Dirac bilinear vector fields, normalized by a scalar and pseudoscalar field. A corollary of this is that in regions where the Dirac field is non-vanishing, the self-coupled Einstein-Cartan-Dirac equations can in principle be expressed in terms of Dirac bilinears only.

gr-qc↗

arXiv2017

Maxwell-Dirac stress-energy tensor in terms of Fierz bilinear currents

We analyze the stress-energy tensor for the self-coupled Maxwell-Dirac system in the bilinear current formalism, using two independent approaches. The first method used is that attributed to Belinfante: starting from the spinor form of the action, the well-known canonical stress-energy tensor is augmented, by extending the Noether symmetry current to include contributions from the Lorentz group, to a manifestly symmetric form. This form admits a transcription to bilinear current form. The second method used is the variational derivation based on the covariant coupling to general relativity. The starting point here at the outset is the transcription of the action using, as independent field variables, both the bilinear currents, together with a gauge invariant vector field (a proxy for the electromagnetic vector potential). A central feature of the two constructions is that they both involve the mapping of the Dirac contribution to the stress-energy from the spinor fields to the equivalent set of bilinear tensor currents, through the use of appropriate Fierz identities. Although this mapping is done at quite different stages, nonetheless we find that the two forms of the bilinear stress-energy tensor agree. Finally, as an application, we consider the reduction of the obtained stress-energy tensor in bilinear form, under the assumption of spherical symmetry.

math-ph↗

arXiv2014

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.

math-ph↗

arXiv2013

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.

math-ph↗

arXiv2011

Is the general time-reversible model bad for molecular phylogenetics?

The general time reversible model (GTR) is presently the most popular model used in phylogentic studies. However, GTR has an undesirable mathematical property that is potentially of significant concern. It is the purpose of this article to give examples that demonstrate why this deficit may pose a problem for phylogenetic analysis and interpretation.

q-bio.PE↗

arXiv2011

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.

q-bio.PE↗

arXiv2011

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.

hep-th↗

arXiv2011

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.

math-ph↗

arXiv2011

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.

quant-ph↗