Spectrum, Winter 1992

Spectrum was a newsletter for students, faculty, staff and alumni of the Henry M. Goldman School of Dental Medicine, published from 1983-1992

Interpretations of Presburger Arithmetic in Itself

Presburger arithmetic PrA is the true theory of natural numbers with addition. We study interpretations of PrA in itself. We prove that all one-dimensional self-interpretations are definably isomorphic to the identity self-interpretation. In order to prove the results we show that all linear orders that are interpretable in (N,+) are scattered orders with the finite Hausdorff rank and that the ranks are bounded in terms of the dimension of the respective interpretations. From our result about self-interpretations of PrA it follows that PrA isn't one-dimensionally interpretable in any of its finite subtheories. We note that the latter was conjectured by A. Visser.Comment: Published in proceedings of LFCS 201

Motherhood, Moral Authority and the Charismatic Matriarch in the Aftermath of Lethal Violence

Images of maternal suffering are an evocative and powerful means of communication in a world where the private grief of victims has increasingly become subject to commodification and public consumption. This article looks at the influence of bereaved mothers as symbols of respect, peace and dignity in the aftermath of violence, and as a result their persuasive presence in family activism. Drawing upon two case studies, this article explores the importance of victims’ stories in public life and, in particular, the presence of the charismatic matriarch in creating communities of solidarity, raising awareness of harms that have previously gone unheard and prompting policy change. It considers the ‘canonical’ story of the mother in public life and concludes by arguing that more attention should be paid to victims’ stories and their influence on policy-making, politics and eventually in becoming public grievances

Extending additivity from symmetric to asymmetric channels

We prove a lemma which allows one to extend results about the additivity of the minimal output entropy from highly symmetric channels to a much larger class. A similar result holds for the maximal output $p$-norm. Examples are given showing its use in a variety of situations. In particular, we prove the additivity and the multiplicativity for the shifted depolarising channel.Comment: 8 pages. This is the latest version of the first half of the original paper. The other half will appear in another pape

Algebras generated by two bounded holomorphic functions

We study the closure in the Hardy space or the disk algebra of algebras generated by two bounded functions, of which one is a finite Blaschke product. We give necessary and sufficient conditions for density or finite codimension of such algebras. The conditions are expressed in terms of the inner part of a function which is explicitly derived from each pair of generators. Our results are based on identifying z-invariant subspaces included in the closure of the algebra. Versions of these results for the case of the disk algebra are given.Comment: 22 pages ; a number of minor mistakes have been corrected, and some points clarified. Conditionally accepted by Journal d'Analyse Mathematiqu

From Emergence to Eradication: The Epidemiology of Poliomyelitis Deconstructed

Poliomyelitis has appeared in epidemic form, become endemic on a global scale, and been reduced to near-elimination, all within the span of documented medical history. Epidemics of the disease appeared in the late 19th century in many European countries and North America, following which polio became a global disease with annual epidemics. During the period of its epidemicity, 1900–1950, the age distribution of poliomyelitis cases increased gradually. Beginning in 1955, the creation of poliovirus vaccines led to a stepwise reduction in poliomyelitis, culminating in the unpredicted elimination of wild polioviruses in the United States by 1972. Global expansion of polio immunization resulted in a reduction of paralytic disease from an estimated annual prevaccine level of at least 600,000 cases to fewer than 1,000 cases in 2000. Indigenous wild type 2 poliovirus was eradicated in 1999, but unbroken localized circulation of poliovirus types 1 and 3 continues in 4 countries in Asia and Africa. Current challenges to the final eradication of paralytic poliomyelitis include the continued transmission of wild polioviruses in endemic reservoirs, reinfection of polio-free areas, outbreaks due to circulating vaccine-derived polioviruses, and persistent excretion of vaccine-derived poliovirus by a few vaccinees with B-cell immunodeficiencies. Beyond the current efforts to eradicate the last remaining wild polioviruses, global eradication efforts must safely navigate through an unprecedented series of endgame challenges to assure the permanent cessation of all human poliovirus infections

Pauli Diagonal Channels Constant on Axes

We define and study the properties of channels which are analogous to unital qubit channels in several ways. A full treatment can be given only when the dimension d is a prime power, in which case each of the (d+1) mutually unbiased bases (MUB) defines an axis. Along each axis the channel looks like a depolarizing channel, but the degree of depolarization depends on the axis. When d is not a prime power, some of our results still hold, particularly in the case of channels with one symmetry axis. We describe the convex structure of this class of channels and the subclass of entanglement breaking channels. We find new bound entangled states for d = 3. For these channels, we show that the multiplicativity conjecture for maximal output p-norm holds for p=2. We also find channels with behavior not exhibited by unital qubit channels, including two pairs of orthogonal bases with equal output entropy in the absence of symmetry. This provides new numerical evidence for the additivity of minimal output entropy

Mutually unbiased bases: tomography of spin states and star-product scheme

Mutually unbiased bases (MUBs) are considered within the framework of a generic star-product scheme. We rederive that a full set of MUBs is adequate for a spin tomography, i.e. knowledge of all probabilities to find a system in each MUB-state is enough for a state reconstruction. Extending the ideas of the tomographic-probability representation and the star-product scheme to MUB-tomography, dequantizer and quantizer operators for MUB-symbols of spin states and operators are introduced, ordinary and dual star-product kernels are found. Since MUB-projectors are to obey specific rules of the star-product scheme, we reveal the Lie algebraic structure of MUB-projectors and derive new relations on triple- and four-products of MUB-projectors. Example of qubits is considered in detail. MUB-tomography by means of Stern-Gerlach apparatus is discussed.Comment: 11 pages, 1 table, partially presented at the 17th Central European Workshop on Quantum Optics (CEWQO'2010), June 6-11, 2010, St. Andrews, Scotland, U