Transformation completeness properties of SVPC transformation sets

AbstractA set T of permutations of a finite set D is said to be transformation complete if the orbits of 〈T〉, the group generated by T, acting on F(D), the power set of D, are exactly the set of subsets of D having the same cardinality, where the orbit of xϵF(D) is {α(x)|αϵ〈T〉}. This paper studies the transformation completeness properties of suppressed variable permutation and complementation (SVPC) transformations which act on Boolean variables with domain being D = {0, 1}n. An SVPC transformation with r control variables is an identity on the n-cube except on an (n − r)-subcube where the acting is like a variable permutation and complementation (VPC) transformation on n − r variables, 0≤r<n. Let Pnr be the set of all SVPC transformations on n variables with r control variables. It is shown that Pnr is transformation complete for n>r≥1. In particular, it is shown that S2n = 〈Pnn−1〉 = 〈Pnn−2〉 ⊃ 〈Pnn−3〉 = 〈Pnn−4〉 = ⋯ = 〈Pn1〉 = A2n ⊃ 〈Pn0〉, where S2n and A2n are the symmetric group and alternating group of degree 2n, respectively. Pn0, i.e., the VPC transformation group on n variables, is not transformation complete, however. Thus, one control variable is necessary and sufficient to make Pnr transformation complete

Selection responses for the number of fertile eggs of the Brown Tsaiya duck (Anas platyrhynchos) after a single artificial insemination with pooled Muscovy (Cairina moschata) semen

A seven-generation selection experiment comprising a selected (S) and a control (C) line was conducted with the objective of increasing the number of fertile eggs (F) of the Brown Tsaiya duck after a single artificial insemination (AI) with pooled Muscovy semen. Both lines consisted of about 20 males and 60 females since parents in each generation and each female duck was tested 3 times, at 26, 29 and 32 weeks of age. The fertile eggs were measured by candling at day 7 of incubation. The selection criterion in the S line was the BLUP animal model value for E On average, 24.7% of the females and 15% of the males were selected. The direct responses to the selection for F, and correlated responses for the number of eggs set (le), the number of total dead embryos (M), the maximum duration of fertility (Dm) and the number of hatched mule ducklings (H) were measured by studying the differences across the generations of selection between the phenotypic value averages in the S and C lines. The predicted genetic responses were calculated by studying the differences between the S and C lines in averaged values of five traits of the BLUP animal model. The selection responses and the predicted responses showed similar trends. There was no genetic change for le. After seven generations of selection, the average selection responses per generation were 0.40, 0.33, 0.42, 0.41 genetic standard deviation units for F, M, Din, and H respectively. Embryo viability was not impaired by this selection. For days 2-8 after Al, the fertility rates (F/Ie) were 89.2% and 63.8%, the hatchability rates (H/F) were 72.5% and 70.6%, and (H/Ie) were 64.7% and 45.1% in the S and C lines respectively. It was concluded that upward selection on the number of fertile eggs after a single Al with pooled Muscovy semen may be effective in ducks to increase the duration of the fertile period and the fertility and hatchability rates with Al once a week instead of twice a week

Topological effects at short antiferromagnetic Heisenberg chains

The manifestations of topological effects in finite antiferromagnetic Heisenberg chains is examined by density matrix renormalization group technique in this paper. We find that difference between integer and half-integer spin chains shows up in ground state energy per site when length of spin chain is longer than $\sim\xi$, where $\xi\sim\exp(\pi S)$ is a spin-spin correlation length, for spin magnitude S up to 5/2. For open chains with spin magnitudes $S=5/2$ to S=5, we verify that end states with fractional spin quantum numbers $S'$ exist and are visible even when the chain length is much smaller than the correlation length $\xi$. The end states manifest themselves in the structure of the low energy excitation spectrum.Comment: 4 pages, 6 figure

Refined Interfaces for Compositional Verification

The compositional verification approach of Graf & Steffen aims at avoiding state space explosion for individual processes of a concurrent system. It relies on interfaces that express the behavioural constraints imposed on each process by synchronization with the other processes, thus preventing the exploration of states and transitions that would not be reachable in the global state space. Krimm & Mounier, and Cheung & Kramer proposed two techniques to generate such interfaces automatically. In this report, we propose a refined interface generation technique that derives the interface of a process automatically from the examination of (a subset of) concurrent processes. This technique is applicable to formalisms where concurrent processes are composed either using synchronization vectors or process algebra parallel composition operators (including those of CCS, CSP, muCRL, LOTOS, and E-LOTOS). We implemented this approach in the EXP.OPEN 2.0 tool of the CADP toolbox. Several experiments indicate state space reductions by more than two orders of magnitude for the largest processes

Energy Loss of Gluons, Baryons and k-Quarks in an N=4 SYM Plasma

We consider different types of external color sources that move through a strongly-coupled thermal N=4 super-Yang-Mills plasma, and calculate, via the AdS/CFT correspondence, the dissipative force (or equivalently, the rate of energy loss) they experience. A bound state of k quarks in the totally antisymmetric representation is found to feel a force with a nontrivial k-dependence. Our result for k=1 (or k=N-1) agrees at large N with the one obtained recently by Herzog et al. and Gubser, but contains in addition an infinite series of 1/N corrections. The baryon (k=N) is seen to experience no drag. Finally, a heavy gluon is found to be subject to a force which at large N is twice as large as the one experienced by a heavy quark, in accordance with gauge theory expectations.Comment: Latex 2e, 24 pages, 1 eps figure; v2: slightly amplified discussion on the relation between the drag force and the tension of a spatial Wilson loop; v3: minor changes, version to appear in JHE

Lepton Dipole Moments and Rare Decays in the CP-violating MSSM with Nonuniversal Soft-Supersymmetry Breaking

We investigate the muon anomalous magnetic dipole moment (MDM), the muon electric dipole moment (EDM) and the lepton-flavour-violating decays of the $\tau-$lepton, $\tau \to \mu \gamma$ and $\tau\to 3\mu$, in the CP-violating Minimal Supersymmetric Standard Model (MSSM) with nonuniversal soft-supersymmetry breaking. We evaluate numerically the muon EDM and the branching ratios $B(\tau \to \mu\gamma)$ and $B(\tau \to 3\mu)$, after taking into account the experimental constraints from the electron EDM and muon MDM. Upon imposition of the experimental limits on our theoretical predictions for the aforementioned branching ratios and the muon MDM, we obtain an upper bound of about $10^{-23} e\cdot cm$ on the muon EDM which lies well within the explorable reach of the proposed experiment at BNL.Comment: Latex, 26 pages, 8 figures, accepted for publication in Phys. Rev.

Pion, kaon, proton and anti-proton transverse momentum distributions from p+p and d+Au collisions at sNN=200\sqrt{s_{NN}} = 200 GeV

Identified mid-rapidity particle spectra of $\pi^{\pm}$, $K^{\pm}$, and $p(\bar{p})$ from 200 GeV p+p and d+Au collisions are reported. A time-of-flight detector based on multi-gap resistive plate chamber technology is used for particle identification. The particle-species dependence of the Cronin effect is observed to be significantly smaller than that at lower energies. The ratio of the nuclear modification factor ($R_{dAu}$) between protons $(p+\bar{p})$ and charged hadrons ($h$) in the transverse momentum range $1.2<{p_{T}}<3.0$ GeV/c is measured to be $1.19\pm0.05$(stat)$\pm0.03$(syst) in minimum-bias collisions and shows little centrality dependence. The yield ratio of $(p+\bar{p})/h$ in minimum-bias d+Au collisions is found to be a factor of 2 lower than that in Au+Au collisions, indicating that the Cronin effect alone is not enough to account for the relative baryon enhancement observed in heavy ion collisions at RHIC.Comment: 6 pages, 4 figures, 1 table. We extended the pion spectra from transverse momentum 1.8 GeV/c to 3. GeV/

Azimuthal anisotropy and correlations in p+p, d+Au and Au+Au collisions at 200 GeV

We present the first measurement of directed flow ($v_1$) at RHIC. $v_1$ is found to be consistent with zero at pseudorapidities $\eta$ from -1.2 to 1.2, then rises to the level of a couple of percent over the range $2.4 < |\eta| < 4$. The latter observation is similar to data from NA49 if the SPS rapidities are shifted by the difference in beam rapidity between RHIC and SPS. Back-to-back jets emitted out-of-plane are found to be suppressed more if compared to those emitted in-plane, which is consistent with {\it jet quenching}. Using the scalar product method, we systematically compared azimuthal correlations from p+p, d+Au and Au+Au collisions. Flow and non-flow from these three different collision systems are discussed.Comment: Quark Matter 2004 proceeding, 4 pages, 3 figure

Azimuthal anisotropy: the higher harmonics

We report the first observations of the fourth harmonic (v_4) in the azimuthal distribution of particles at RHIC. The measurement was done taking advantage of the large elliptic flow generated at RHIC. The integrated v_4 is about a factor of 10 smaller than v_2. For the sixth (v_6) and eighth (v_8) harmonics upper limits on the magnitudes are reported.Comment: 4 pages, 6 figures, contribution to the Quark Matter 2004 proceeding

Plasma Wakefield Acceleration with a Modulated Proton Bunch

The plasma wakefield amplitudes which could be achieved via the modulation of a long proton bunch are investigated. We find that in the limit of long bunches compared to the plasma wavelength, the strength of the accelerating fields is directly proportional to the number of particles in the drive bunch and inversely proportional to the square of the transverse bunch size. The scaling laws were tested and verified in detailed simulations using parameters of existing proton accelerators, and large electric fields were achieved, reaching 1 GV/m for LHC bunches. Energy gains for test electrons beyond 6 TeV were found in this case.Comment: 9 pages, 7 figure