Endomorphisms and automorphisms of locally covariant quantum field theories

In the framework of locally covariant quantum field theory, a theory is described as a functor from a category of spacetimes to a category of *-algebras. It is proposed that the global gauge group of such a theory can be identified as the group of automorphisms of the defining functor. Consequently, multiplets of fields may be identified at the functorial level. It is shown that locally covariant theories that obey standard assumptions in Minkowski space, including energy compactness, have no proper endomorphisms (i.e., all endomorphisms are automorphisms) and have a compact automorphism group. Further, it is shown how the endomorphisms and automorphisms of a locally covariant theory may, in principle, be classified in any single spacetime. As an example, the endomorphisms and automorphisms of a system of finitely many free scalar fields are completely classified.Comment: v2 45pp, expanded to include additional results; presentation improved and an error corrected. To appear in Rev Math Phy

Equivalence of the Siegert-pseudostate and Lagrange-mesh R-matrix methods

Siegert pseudostates are purely outgoing states at some fixed point expanded over a finite basis. With discretized variables, they provide an accurate description of scattering in the s wave for short-range potentials with few basis states. The R-matrix method combined with a Lagrange basis, i.e. functions which vanish at all points of a mesh but one, leads to simple mesh-like equations which also allow an accurate description of scattering. These methods are shown to be exactly equivalent for any basis size, with or without discretization. The comparison of their assumptions shows how to accurately derive poles of the scattering matrix in the R-matrix formalism and suggests how to extend the Siegert-pseudostate method to higher partial waves. The different concepts are illustrated with the Bargmann potential and with the centrifugal potential. A simplification of the R-matrix treatment can usefully be extended to the Siegert-pseudostate method.Comment: 19 pages, 1 figur

Abstract Tensor Systems as Monoidal Categories

The primary contribution of this paper is to give a formal, categorical treatment to Penrose's abstract tensor notation, in the context of traced symmetric monoidal categories. To do so, we introduce a typed, sum-free version of an abstract tensor system and demonstrate the construction of its associated category. We then show that the associated category of the free abstract tensor system is in fact the free traced symmetric monoidal category on a monoidal signature. A notable consequence of this result is a simple proof for the soundness and completeness of the diagrammatic language for traced symmetric monoidal categories.Comment: Dedicated to Joachim Lambek on the occasion of his 90th birthda

Searching for Dark Photons with Maverick Top Partners

In this paper, we present a model in which an up-type vector-like quark (VLQ) is charged under a new $U(1)_d$ gauge force which kinetically mixes with the SM hypercharge. The gauge boson of the $U(1)_d$ is the dark photon, $\gamma_d$. Traditional searches for VLQs rely on decays into Standard Model electroweak bosons $W,Z$ or Higgs. However, since no evidence for VLQs has been found at the Large Hadron Collider (LHC), it is imperative to search for other novel signatures of VLQs beyond their traditional decays. As we will show, if the dark photon is much less massive than the Standard Model electroweak sector, $M_{\gamma_d}\ll M_Z$, for the large majority of the allowed parameter space the VLQ predominately decays into the dark photon and the dark Higgs that breaks the $U(1)_d$ . That is, this VLQ is a `maverick top partner' with nontraditional decays. One of the appeals of this scenario is that pair production of the VLQ at the LHC occurs through the strong force and the rate is determined by the gauge structure. Hence, the production of the dark photon at the LHC only depends on the strong force and is largely independent of the small kinetic mixing with hypercharge. This scenario provides a robust framework to search for a light dark sector via searches for heavy colored particles at the LHC.Comment: 40 pages and 11 figure

Effectiveness of slow motion video compared to real time video in improving the accuracy and consistency of subjective gait analysis in dogs

Objective measures of canine gait quality via force plates, pressure mats or kinematic analysis are considered superior to subjective gait assessment (SGA). Despite research demonstrating that SGA does not accurately detect subtle lameness, it remains the most commonly performed diagnostic test for detecting lameness in dogs. This is largely because the financial, temporal and spatial requirements for existing objective gait analysis equipment makes this technology impractical for use in general practice. The utility of slow motion video as a potential tool to augment SGA is currently untested. To evaluate a more accessible way to overcome the limitations of SGA, a slow motion video study was undertaken. Three experienced veterinarians reviewed video footage of 30 dogs, 15 with a diagnosis of primary limb lameness based on history and physical examination, and 15 with no indication of limb lameness based on history and physical examination. Four different videos were made for each dog, demonstrating each dog walking and trotting in real time, and then again walking and trotting in 50% slow motion. For each video, the veterinary raters assessed both the degree of lameness, and which limb(s) they felt represented the source of the lameness. Spearman’s rho, Cramer’s V, and t-tests were performed to determine if slow motion video increased either the accuracy or consistency of raters’ SGA relative to real time video. Raters demonstrated no significant increase in consistency or accuracy in their SGA of slow motion video relative to real time video. Based on these findings, slow motion video does not increase the consistency or accuracy of SGA values. Further research is required to determine if slow motion video will benefit SGA in other ways

Oocyte cryopreservation as an adjunct to the assisted reproductive technologies

The document attached has been archived with permission from the editor of the Medical Journal of Australia. An external link to the publisher’s copy is included. See page 2 of PDF for this item.Keith L Harrison, Michelle T Lane, Jeremy C Osborn, Christine A Kirby, Regan Jeffrey, John H Esler and David Mollo

Direct radiative capture of p-wave neutrons

The neutron direct radiative capture (DRC) process is investigated, highlighting the role of incident p-wave neutrons. A set of calculations is shown for the 12-C(n,gamma) process at incoming neutron energies up to 500 keV, a crucial region for astrophysics. The cross section for neutron capture leading to loosely bound s, p and d orbits of 13-C is well reproduced by the DRC model demonstrating the feasibility of using this reaction channel to study the properties of nuclear wave functions on and outside the nuclear surface. A sensitivity analysis of the results on the neutron-nucleus interaction is performed for incident s- as well as p-waves. It turned out that the DRC cross section for p-wave neutrons is insensitive to this interaction, contrary to the case of incident s-wave neutrons. PACS number(s): 25.40Lw,21.10Gv,23.40.HcComment: 16 pages, REVTeX file, PostScript file, .dvi fil

Monoids, Embedding Functors and Quantum Groups

We show that the left regular representation \pi_l of a discrete quantum group (A,\Delta) has the absorbing property and forms a monoid (\pi_l,\tilde{m},\tilde{\eta}) in the representation category Rep(A,\Delta). Next we show that an absorbing monoid in an abstract tensor *-category C gives rise to an embedding functor E:C->Vect_C, and we identify conditions on the monoid, satisfied by (\pi_l,\tilde{m},\tilde{\eta}), implying that E is *-preserving. As is well-known, from an embedding functor E: C->\mathrm{Hilb} the generalized Tannaka theorem produces a discrete quantum group (A,\Delta) such that C is equivalent to Rep_f(A,\Delta). Thus, for a C^*-tensor category C with conjugates and irreducible unit the following are equivalent: (1) C is equivalent to the representation category of a discrete quantum group (A,\Delta), (2) C admits an absorbing monoid, (3) there exists a *-preserving embedding functor E: C->\mathrm{Hilb}.Comment: Final version, to appear in Int. Journ. Math. (Added some references and Subsection 1.2.) Latex2e, 21 page