Combatting electoral traces: the Dutch tempest discussion and beyond

In the Dutch e-voting debate, the crucial issue leading to the abandonment of all electronic voting machines was compromising radiation, or tempest. Other countries, however, do not seem to be bothered by this risk. In this paper, we use actor-network theory to analyse the socio-technical origins of the Dutch tempest issue in e-voting, and its consequences for e-voting beyond the Netherlands. We introduce the term electoral traces to denote any physical, digital or social evidence of a voter's choices in an election. From this perspective, we provide guidelines for risk analysis as well as an overview of countermeasures

Non-nest mate discrimination and clonal colony structure in the parthenogenetic ant Cerapachys biroi

Understanding the interplay between cooperation and conflict in social groups is a major goal of biology. One important factor is genetic relatedness, and animal societies are usually composed of related but genetically different individuals, setting the stage for conflicts over reproductive allocation. Recently, however, it has been found that several ant species reproduce predominantly asexually. Although this can potentially give rise to clonal societies, in the few well-studied cases, colonies are often chimeric assemblies of different genotypes, due to worker drifting or colony fusion. In the ant Cerapachys biroi, queens are absent and all individuals reproduce via thelytokous parthenogenesis, making this species an ideal study system of asexual reproduction and its consequences for social dynamics. Here, we show that colonies in our study population on Okinawa, Japan, recognize and effectively discriminate against foreign workers, especially those from unrelated asexual lineages. In accord with this finding, colonies never contained more than a single asexual lineage and average pairwise genetic relatedness within colonies was extremely high (r = 0.99). This implies that the scope for social conflict in C. biroi is limited, with unusually high potential for cooperation and altruis

A Vernacular for Coherent Logic

We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic. Coherent logic has been recognized by a number of researchers as a suitable logic for many ev- eryday mathematical developments. The proposed proof representation is accompanied by a corresponding XML format and by a suite of XSL transformations for generating formal proofs for Isabelle/Isar and Coq, as well as proofs expressed in a natural language form (formatted in LATEX or in HTML). Also, our automated theorem prover for coherent logic exports proofs in the proposed XML format. All tools are publicly available, along with a set of sample theorems.Comment: CICM 2014 - Conferences on Intelligent Computer Mathematics (2014

Yield Curve Shapes and the Asymptotic Short Rate Distribution in Affine One-Factor Models

We consider a model for interest rates, where the short rate is given by a time-homogenous, one-dimensional affine process in the sense of Duffie, Filipovic and Schachermayer. We show that in such a model yield curves can only be normal, inverse or humped (i.e. endowed with a single local maximum). Each case can be characterized by simple conditions on the present short rate. We give conditions under which the short rate process will converge to a limit distribution and describe the limit distribution in terms of its cumulant generating function. We apply our results to the Vasicek model, the CIR model, a CIR model with added jumps and a model of Ornstein-Uhlenbeck type

The beta function of N=1 SYM in Differential Renormalization

Using differential renormalization, we calculate the complete two-point function of the background gauge superfield in pure N=1 Supersymmetric Yang-Mills theory to two loops. Ultraviolet and (off-shell) infrared divergences are renormalized in position and momentum space respectively. This allows us to reobtain the beta function from the dependence on the ultraviolet renormalization scale in an infrared-safe way. The two-loop coefficient of the beta function is generated by the one-loop ultraviolet renormalization of the quantum gauge field via nonlocal terms which are infrared divergent on shell. We also discuss the connection of the beta function to the flow of the Wilsonian coupling.Comment: 20 pages, 2 figures. Reference added, minor correction

Ultrafast carrier relaxation in GaN, In_(0.05)Ga_(0.95)N and an In_(0.05)Ga_(0.95)/In_(0.15)Ga_(0.85)N Multiple Quantum Well

Room temperature, wavelength non-degenerate ultrafast pump/probe measurements were performed on GaN and InGaN epilayers and an InGaN multiple quantum well structure. Carrier relaxation dynamics were investigated as a function of excitation wavelength and intensity. Spectrally-resolved sub-picosecond relaxation due to carrier redistribution and QW capture was found to depend sensitively on the wavelength of pump excitation. Moreover, for pump intensities above a threshold of 100 microJ/cm2, all samples demonstrated an additional emission feature arising from stimulated emission (SE). SE is evidenced as accelerated relaxation (< 10 ps) in the pump-probe data, fundamentally altering the re-distribution of carriers. Once SE and carrier redistribution is completed, a slower relaxation of up to 1 ns for GaN and InGaN epilayers, and 660 ps for the MQW sample, indicates carrier recombination through spontaneous emission.Comment: submitted to Phys. Rev.

Next-to-Leading Order Cross Sections for Tagged Reactions

We extend the phase space slicing method of Giele, Glover and Kosower for performing next-to-leading order jet cross section calculations in two important ways: we show how to include fragmentation functions and how to include massive particles. These extensions allow the application of this method to not just jet cross sections but also to cross sections in which a particular final state particle, including a $D$ or $B$-meson, is tagged.Comment: 36 pages, Latex Small corrections to text. To appear in Phys. Rev.

On the alpha activity of natural tungsten isotopes

The indication for the alpha decay of 180-W with a half-life T1/2=1.1+0.8-0.4(stat)+-0.3(syst)x10^18 yr has been observed for the first time with the help of the super-low background 116-CdWO_4 crystal scintillators. In conservative approach the lower limit on half-life of 180-W has been established as T1/2>0.7x10^18 yr at 90% C.L. Besides, new T1/2 bounds were set for alpha decay of 182-W, 183-W, 184-W and 186-W at the level of 10^20 yr.Comment: 16 pages, 8 figures, accepted in Phys. Rev.