Searcharxiv⌕ Search

arXiv subjects

Peter D. Jarvis

Publications and source records attributed to Peter D. Jarvis.

18 recordsLinked to original sources
arXiv2025

Conformal invariance of antisymmetric tensor field theories in any even dimension

Using a theorem of Jackiw and Pi expressing the delicate balance of the spin and the orbital momentum, we systematically classify the flat-space massless Lagrangian quantum field theories that are invariant under the global conformal group SO(D,2). We recover in a uniform way the facts that scalars and spinors are invariant in any dimension, and that gauge p-tensors are invariant only in 2 p + 2 dimensions. This case includes the Maxwell theory in 4 dimensions and the Kalb-Ramond 2-forms theory in 6 dimensions. We then construct two new classes of Lagrangians extending the Avdeev-Chizhov self-dual tensor model to higher dimensions, one class using a symmetric metric and the other a skew metric in internal space. Finally, we prove in the same uniform way that both classes are conformal invariant in any even dimension. In 4 dimensions, these self-dual tensors naturally couple to the chiral Fermions of the standard model.

hep-th↗
arXiv2024

Antisymmetric tensor fields: actions, symmetries and first order Duffin-Kemmer-Petiau formulations

Analyzing the representations of the Lorentz group, we give a systematic count and construction of all the possible Lagrangians describing an antisymmetric rank two tensor field. The count yields two scalars: the gauge invariant Kalb-Ramond model, equivalent to the sigma model and familiar from super gravity and string theory, and the conformally invariant Avdeev-Chizhov model, which describes self-dual tensors. The count also includes a third invariant, a pseudoscalar, which is an antisymmetrized form of the Avdeev-Chizhov Lagrangian, first noticed in the $SU(2/1)$ superalgebraic model of the weak interactions. This model is also conformally invariant, and naturally implements the Landau $CP$ symmetry. Then, by extending the Duffin-Kemmer-Petiau 10 component formalism, we recover the model Lagrangians as first order systems. To complete the analysis we classify all local Lorentz invariant potentials (mass terms and quartic couplings) for charged antisymmetric tensor fields coupled to a Yang-Mills field.

hep-th↗
arXiv2023

Construction of matryoshka nested indecomposable N-replications of Kac-modules of quasi-reductive Lie superalgebras, including the sl(m/n) and osp(2/2n) series

We construct a new class of finite dimensional indecomposable representations of simple superalgebras which may explain, in a natural way, the existence of the heavier elementary particles. In type I Lie superalgebras sl(m/n) and osp(2/2n), one of the Dynkin weights labeling the finite dimensional irreducible representations is continuous. Taking the derivative, we show how to construct indecomposable representations recursively embedding N copies of the original irreducible representation, coupled by generalized Cabibbo angles, as observed among the three generations of leptons and quarks of the standard model. The construction is then generalized in the appendix to quasi-reductive Lie superalgebras.

math.RT↗
arXiv2023

Parameter Estimation with Reluctant Quantum Walks: a Maximum Likelihood approach

The parametric maximum likelihood estimation problem is addressed in the context of quantum walk theory for quantum walks on the lattice of integers. A coin action is presented, with the real parameter $θ$ to be estimated identified with the angular argument of an orthogonal reshuffling matrix. We provide analytic results for the probability distribution for a quantum walker to be displaced by $d$ units from its initial position after $k$ steps. For $k$ large, we show that the likelihood is sharply peaked at a displacement determined by the ratio $d/k$, which is correlated with the reshuffling parameter $θ$. We suggest that this `reluctant walker' behaviour provides the framework for maximum likelihood estimation analysis, allowing for robust parameter estimation of $θ$ via return probabilities of closed evolution loops and quantum measurements of the position of quantum walker with`reluctance index' $r=d/k$.

quant-ph↗
arXiv2022

Explicit construction of the finite dimensional indecomposable representations of the simple Lie-Kac $SU(2/1)$ superalgebra and their low level non diagonal super Casimir operators

All finite dimensional irreducible representations of the simple Lie-Kac super algebra SU(2/1) are explicitly constructed in the Chevalley basis as complex matrices. For typical representations, the distinguished Dynkin label is not quantized. We then construct the generic atypical indecomposable quivers classified by Marcu, Su and Germoni and typical indecomposable N-generations block triangular extensions for any irreducible module and any integer N. In addition to the quadratic and cubic super-Casimir operators $C_2$ and $C_3$, the supercenter of the enveloping algebra contains a chiral ghost super-Casimir operator T of mixed order (2,4)in the odd generators, proportional to the superidentity grading operator $χ$, and satisfying $T = χ\;C_2$ and we define a new factorizable chiral-Casimir $T^-=C_2(1-χ)/2=(UV+WX)(VU+XW)$ where (U,V,W,X) are the odd generators. In most indecomposable cases, the super-Casimirs are non diagonal. We compute their pseudo-eigenvalues.

hep-th↗
arXiv2017

Maximum likelihood estimates of pairwise rearrangement distances

Accurate estimation of evolutionary distances between taxa is important for many phylogenetic reconstruction methods. In the case of bacteria, distances can be estimated using a range of different evolutionary models, from single nucleotide polymorphisms to large-scale genome rearrangements. In the case of sequence evolution models (such as the Jukes-Cantor model and associated metric) have been used to correct pairwise distances. Similar correction methods for genome rearrangement processes are required to improve inference. Current attempts at correction fall into 3 categories: Empirical computational studies, Bayesian/MCMC approaches, and combinatorial approaches. Here we introduce a maximum likelihood estimator for the inversion distance between a pair of genomes, using the group-theoretic approach to modelling inversions introduced recently. This MLE functions as a corrected distance: in particular, we show that because of the way sequences of inversions interact with each other, it is quite possible for minimal distance and MLE distance to differently order the distances of two genomes from a third. This has obvious implications for the use of minimal distance in phylogeny reconstruction. The work also tackles the above problem allowing free rotation of the genome. Generally a frame of reference is locked, and all computation made accordingly. This work incorporates the action of the dihedral group so that distance estimates are free from any a priori frame of reference.

q-bio.PE↗
arXiv2013

Lie Markov models with purine/pyrimidine symmetry

Continuous-time Markov chains are a standard tool in phylogenetic inference. If homogeneity is assumed, the chain is formulated by specifying time-independent rates of substitutions between states in the chain. In applications, there are usually extra constraints on the rates, depending on the situation. If a model is formulated in this way, it is possible to generalise it and allow for an inhomogeneous process, with time-dependent rates satisfying the same constraints. It is then useful to require that there exists a homogeneous average of this inhomogeneous process within the same model. This leads to the definition of "Lie Markov models", which are precisely the class of models where such an average exists. These models form Lie algebras and hence concepts from Lie group theory are central to their derivation. In this paper, we concentrate on applications to phylogenetics and nucleotide evolution, and derive the complete hierarchy of Lie Markov models that respect the grouping of nucleotides into purines and pyrimidines -- that is, models with purine/pyrimidine symmetry. We also discuss how to handle the subtleties of applying Lie group methods, most naturally defined over the complex field, to the stochastic case of a Markov process, where parameter values are restricted to be real and positive. In particular, we explore the geometric embedding of the cone of stochastic rate matrices within the ambient space of the associated complex Lie algebra. The whole list of Lie Markov models with purine/pyrimidine symmetry is available at http://www.pagines.ma1.upc.edu/~jfernandez/LMNR.pdf.

q-bio.PE↗
arXiv2013

Hopf Algebras, Distributive (Laplace) Pairings and Hash Products: A unified approach to tensor product decompositions of group characters

We show for bicommutative graded connected Hopf algebras that a certain distributive (Laplace) subgroup of the convolution monoid of 2-cochains parameterizes certain well behaved Hopf algebra deformations. Using the Laplace group, or its Frobenius subgroup, we define higher derived hash products, and develop a general theory to study their main properties. Applying our results to the (universal) bicommutative graded connected Hopf algebra of symmetric functions, we show that classical tensor product and character decompositions, such as those for the general linear group, mixed co- and contravariant or rational characters, orthogonal and symplectic group characters, Thibon and reduced symmetric group characters, are special cases of higher derived hash products. In the Appendix we discuss a relation to formal group laws.

math.RT↗
arXiv2012

A tensorial approach to the inversion of group-based phylogenetic models

Using a tensorial approach, we show how to construct a one-one correspondence between pattern probabilities and edge parameters for any group-based model. This is a generalisation of the "Hadamard conjugation" and is equivalent to standard results that use Fourier analysis. In our derivation we focus on the connections to group representation theory and emphasize that the inversion is possible because, under their usual definition, group-based models are defined for abelian groups only. We also argue that our approach is elementary in the sense that it can be understood as simple matrix multiplication where matrices are rectangular and indexed by ordered-partitions of varying sizes.

q-bio.PE↗
arXiv2012

Tensor Rank, Invariants, Inequalities, and Applications

Though algebraic geometry over $\mathbb C$ is often used to describe the closure of the tensors of a given size and complex rank, this variety includes tensors of both smaller and larger rank. Here we focus on the $n\times n\times n$ tensors of rank $n$ over $\mathbb C$, which has as a dense subset the orbit of a single tensor under a natural group action. We construct polynomial invariants under this group action whose non-vanishing distinguishes this orbit from points only in its closure. Together with an explicit subset of the defining polynomials of the variety, this gives a semialgebraic description of the tensors of rank $n$ and multilinear rank $(n,n,n)$. The polynomials we construct coincide with Cayley's hyperdeterminant in the case $n=2$, and thus generalize it. Though our construction is direct and explicit, we also recast our functions in the language of representation theory for additional insights. We give three applications in different directions: First, we develop basic topological understanding of how the real tensors of complex rank $n$ and multilinear rank $(n,n,n)$ form a collection of path-connected subsets, one of which contains tensors of real rank $n$. Second, we use the invariants to develop a semialgebraic description of the set of probability distributions that can arise from a simple stochastic model with a hidden variable, a model that is important in phylogenetics and other fields. Third, we construct simple examples of tensors of rank $2n-1$ which lie in the closure of those of rank $n$.

math.AG↗
arXiv2012

The Hopf Algebra Structure of the Character Rings of Classical Groups

The character ring \CGL of covariant irreducible tensor representations of the general linear group admits a Hopf algebra structure isomorphic to the Hopf algebra \Sym$ of symmetric functions. Here we study the character rings \CO and \CSp of the orthogonal and symplectic subgroups of the general linear group within the same framework of symmetric functions. We show that \CO and \CSp also admit natural Hopf algebra structures that are isomorphic to that of \CGL, and hence to \Sym. The isomorphisms are determined explicitly, along with the specification of standard bases for \CO and \CSp analogous to those used for \Sym. A major structural change arising from the adoption of these bases is the introduction of new orthogonal and symplectic Schur-Hall scalar products. Significantly, the adjoint with respect to multiplication no longer coincides, as it does in the \CGL case, with a Foulkes derivative or skew operation. The adjoint and Foulkes derivative now require separate definitions, and their properties are explored here in the orthogonal and symplectic cases. Moreover, the Hopf algebras \CO and \CSp are not self-dual. The dual Hopf algebras \CO^* and \CSp^* are identified. Finally, the Hopf algebra of the universal rational character ring \CGLrat of mixed irreducible tensor representations of the general linear group is introduced and its structure maps identified.

math.RT↗
arXiv2012

Algebraic random walks in the setting of symmetric functions

Using the standard formulation of algebraic random walks (ARWs) via coalgebras, we consider ARWs for co-and Hopf-algebraic structures in the ring of symmetric functions. These derive from different types of products by dualisation, giving the dual pairs of outer multiplication and outer coproduct, inner multiplication and inner coproduct, and symmetric function plethysm and plethystic coproduct. Adopting standard coordinates for a class of measures (and corresponding distribution functions) to guarantee positivity and correct normalisation, we show the effect of appropriate walker steps of the outer, inner and plethystic ARWs. If the coordinates are interpreted as heights or occupancies of walker(s) at different locations, these walks introduce translations, dilations (scalings) and inflations of the height coordinates, respectively.

math-ph↗
arXiv2012

Ribbon Hopf algebras from group character rings

We study the diagram alphabet of knot moves associated with the character rings of certain matrix groups. The primary object is the Hopf algebra Char-GL of characters of the finite dimensional polynomial representations of the complex group GL(n) in the inductive limit, realised as the ring of symmetric functions Λ(X) on countably many variables X = {x_1,x_2, ...}. Isomorphic as spaces are the character rings Char-O and Char-Sp of the classical matrix subgroups of GL(n), the orthogonal and symplectic groups. We also analyse the formal character rings Char-H_π of algebraic subgroups of GL(n), comprised of matrix transformations leaving invariant a fixed but arbitrary tensor of Young symmetry type π, which have been introduced in [5] (these include the orthogonal and symplectic groups as special cases). The set of tangle diagrams encoding manipulations of the group and subgroup characters has many elements deriving from products, coproducts, units and counits as well as different types of branching operators. From these elements we assemble for each π a crossing tangle which satisfies the braid relation and which is nontrivial, in spite of the commutative and co-commutative setting. We identify structural elements and verify the axioms to establish that each Char-H_π ring is a ribbon Hopf algebra. The corresponding knot invariant operators are rather weak, giving merely a measure of the writhe.

math-ph↗
arXiv2012

Low-parameter phylogenetic estimation under the general Markov model

In their 2008 and 2009 papers, Sumner and colleagues introduced the "squangles" - a small set of Markov invariants for phylogenetic quartets. The squangles are consistent with the general Markov model (GM) and can be used to infer quartets without the need to explicitly estimate all parameters. As GM is inhomogeneous and hence non-stationary, the squangles are expected to perform well compared to standard approaches when there are changes in base-composition amongst species. However, GM includes the IID assumption, so the squangles should be confounded by data generated with invariant sites or with rate-variation across sites. Here we implement the squangles in a least-squares setting that returns quartets weighted by either confidence or internal edge lengths; and use these as input into a variety of quartet-based supertree methods. For the first time, we quantitatively investigate the robustness of the squangles to the breaking of IID assumptions on both simulated and real data sets; and we suggest a modification that improves the performance of the squangles in the presence of invariant sites. Our conclusion is that the squangles provide a novel tool for phylogenetic estimation that is complementary to methods that explicitly account for rate-variation across sites, but rely on homogeneous - and hence stationary - models.

q-bio.QM↗
arXiv2007

Hopf algebras and characters of classical groups

Schur functions provide an integral basis of the ring of symmetric functions. It is shown that this ring has a natural Hopf algebra structure by identifying the appropriate product, coproduct, unit, counit and antipode, and their properties. Characters of covariant tensor irreducible representations of the classical groups GL(n), O(n) and Sp(n) are then expressed in terms of Schur functions, and the Hopf algebra is exploited in the determination of group-subgroup branching rules and the decomposition of tensor products. The analysis is carried out in terms of n-independent universal characters. The corresponding rings, CharGL, CharO and CharSp, of universal characters each have their own natural Hopf algebra structure. The appropriate product, coproduct, unit, counit and antipode are identified in each case.

math.RT↗
arXiv2007

World-line Quantisation of a Reciprocally Invariant System

We present the world-line quantisation of a system invariant under the symmetries of reciprocal relativity (pseudo-unitary transformations on ``phase space coordinates" $(x^μ(τ),p^μ(τ))$ which preserve the Minkowski metric and the symplectic form, and global shifts in these coordinates, together with coordinate dependent transformations of an additional compact phase coordinate, $θ(τ)$). The action is that of free motion over the corresponding Weyl-Heisenberg group. Imposition of the first class constraint, the generator of local time reparametrisations, on physical states enforces identification of the world-line cosmological constant with a fixed value of the quadratic Casimir of the quaplectic symmetry group $Q(D-1,1)\cong U(D-1,1)\ltimes H(D)$, the semi-direct product of the pseudo-unitary group with the Weyl-Heisenberg group (the central extension of the global translation group, with central extension associated to the phase variable $θ(τ)$). The spacetime spectrum of physical states is identified. Even though for an appropriate range of values the restriction enforced by the cosmological constant projects out negative norm states from the physical spectrum, leaving over spin zero states only, the mass-squared spectrum is continuous over the entire real line and thus includes a tachyonic branch as well.

hep-th↗
arXiv2005

A Hopf algebraic approach to the theory of group branchings

We describe a Hopf algebraic approach to the Grothendieck ring of representations of subgroups $H_π$ of the general linear group GL(n) which stabilize a tensor of Young symmetry $\{π\}$. It turns out that the representation ring of the subgroup can be described as a Hopf algebra twist, with a 2-cocycle derived from the Cauchy kernel 2-cocycle using plethysms. Due to Schur-Weyl duality we also need to employ the coproduct of the inner multiplication. A detailed analysis including combinatorial proofs for our results can be found in math-ph/0505037. In this paper we focus on the Hopf algebraic treatment, and a more formal approach to representation rings and symmetric functions.

math-ph↗