Secure Compute-and-Forward in a Bidirectional Relay

We consider the basic bidirectional relaying problem, in which two users in a wireless network wish to exchange messages through an intermediate relay node. In the compute-and-forward strategy, the relay computes a function of the two messages using the naturally occurring sum of symbols simultaneously transmitted by user nodes in a Gaussian multiple-access channel (MAC), and the computed function value is forwarded to the user nodes in an ensuing broadcast phase. In this paper, we study the problem under an additional security constraint, which requires that each user's message be kept secure from the relay. We consider two types of security constraints: 1) perfect secrecy, in which the MAC channel output seen by the relay is independent of each user's message and 2) strong secrecy, which is a form of asymptotic independence. We propose a coding scheme based on nested lattices, the main feature of which is that given a pair of nested lattices that satisfy certain goodness properties, we can explicitly specify probability distributions for randomization at the encoders to achieve the desired security criteria. In particular, our coding scheme guarantees perfect or strong secrecy even in the absence of channel noise. The noise in the channel only affects reliability of computation at the relay, and for Gaussian noise, we derive achievable rates for reliable and secure computation. We also present an application of our methods to the multihop line network in which a source needs to transmit messages to a destination through a series of intermediate relays.

Taming Control Divergence in GPUs through Control Flow Linearization

Branch divergence is a very commonly occurring performance problem in GPGPU in which the execution of diverging branches is serialized to execute only one control flow path at a time. Existing hardware mechanism to reconverge threads using a stack causes duplicate execution of code for unstructured control flow graphs. Also the stack mechanism cannot effectively utilize the available parallelism among diverging branches. Further, the amount of nested divergence allowed is also limited by depth of the branch divergence stack. In this paper we propose a simple and elegant transformation to handle all of the above mentioned problems. The transformation converts an unstructured CFG to a structured CFG without duplicating user code. It incurs only a linear increase in the number of basic blocks and also the number of instructions. Our solution linearizes the CFG using a predicate variable. This mechanism reconverges the divergent threads as early as possible. It also reduces the depth of the reconvergence stack. The available parallelism in nested branches can be effectively extracted by scheduling the basic blocks to reduce the effect of stalls due to memory accesses. It can also increase execution efficiency of nested loops with different trip counts for different threads. We implemented the proposed transformation at PTX level using the Ocelot compiler infrastructure. We evaluated the technique using various benchmarks to show that it can be effective in handling the performance problem due to divergence in unstructured CFGs.

Systematic status of Fejervarya ((Amphibia, Anura, Dicroglossidae) from South and SE Asia with the description of a new species from the Western Ghats of Peninsular India

We carried out a large-scale phylogenetic analysis of fejervaryan (dicroglossid frogs with `Fejervaryan lines' on the ventral side of the body) frogs, distributed in South and SE Asia, using published and newly generated sequences of unidentified individuals from the northern Western Ghats. The results corroborate the presence of a larger fejervaryan clade with a sister relationship to a clade composed of Sphaerotheca. Two sister clades could be discerned within the lager fejervaryan clade. The unidentified individuals formed a monophyletic group and showed a strong support for a sister relationship with Minervarya sahyadris. The species was found to be highly divergent (16S rRNA-4% and tyr-1%) from its sister lineage Minervarya sahyadris, and the clade composed of these two lineages were found to be deeply nested within the larger clade of Fejervarya. Based on this, the genus Minervarya Dubois, Ohler and Biju, 2001 is synonymized under the genus Fejervarya Bolkay, 1915. The unidentified lineage is recognized, based on phylogenetic position, genetic divergence and morphological divergence, as a distinct species and named here as Fejervarya gomantaki sp. nov. The presence of rictal glands was observed to be a synapomorphic character shared by the nested clade members, Fejervarya sahyadris and Fejervarya gomantaki sp. nov. Based on the presence of rictal gland and small size, Minervarya chilapata, a species from a lowland region in the Eastern Himalayas, is synonymized under Fejervarya and evidence for morphological separation from the new species, Fejervarya gomantaki sp. nov. is provided. For the fejervaryan frogs, currently three generic names (Frost, 2015) are available for the two phylogenetic subclades; the genus Fejervarya Bolkay, 1915 for the species of fejervaryan frogs having distribution in the South East Asia; the genus Zakerana Howlader, 2011 for the species of fejervaryan frogs having distribution in the South Asia and the genus Minervarya Dubois, Ohler and Biju, 2001 nested within the `Zakerana clade'. In the phylogenetic analysis Minervarya sahyadris, the new species described herein as Fejervarya gomantaki sp. nov. are nested within the `Zakerana clade', if the `Zakerana clade' for the fejervaryan frogs having distribution in the South Asia is provided a generic status the nomen `Minervarya' should be considered as per the principle of priority of the ICZN Code. Taking into consideration the overlapping distribution ranges of members of the sister clades within the larger fejervaryan clade and the absence of distinct morphological characteristics, we also synonymize the genus Zakerana Howlader, 2011, a name assigned to one of the sister clades with members predominantly distributed in South Asia, under the genus Fejervarya Bolkay, 1915. We discuss the need for additional sampling to identify additional taxa and determine the geographical ranges of the members of the sister clades within Fejervarya to resolve taxonomy within this group.

A taxonomic mystery for more than 180 years: the identity and systematic position of Brachysaura minor (HARDWICKE & GRAY, 1827)

Brachysaura is a monotypic genus of agamid lizard found in the Indian subcontinent; the identity and systematic position of B. minor has been long debated, and it has at times been subsumed into Agama, Charasia and Laudakia, with some authors suggesting affinities to Calotes. We constructed nuclear and mitochondrial phylogenetic trees including Brachysaura and allied agamid genera to resolve its phylogenetic position. We also compared osteology and external morphology with the genera Agama, Calotes and Laudakia. Hemipenial morphology was compared with Calotes and some other agamids from South Asia. Both nuclear and mitochondrial phylogenies demonstrate that Brachysaura is nested within the widespread South and Southeast Asian genus Calotes, with which it also shares certain external morphological, osteological and hemipenial characters. Adaptations to ground dwelling in Brachysaura minor has resulted in unique modifications to its body plan, which is likely why generic allocation has been long confused. This study also highlights the need for an integrated systematic approach to resolve taxonomic ambiguity in Asian agamids.

Generic identity of Camptorrhiza indica (Colchicaceae) based on cytogenetics and molecular phylogenetics

The tribe Iphigenieae (Colchicaceace, Liliales) includes two genera, viz. Camptorrhiza and Iphigenia, which are distributed in Africa, India, and Australasia. Iphigenia is represented by 12 species, of which six occur in India while Camptorrhiza comprises one species each in Africa (C. strumosa) and India (C. indica). The genus Camptorrhiza possesses a knee-shaped tuber attached to the corms, filaments with a thick bulge in the middle and styles with single stigma. Iphigenia on the other hand lacks knee-shaped tuber, bears linear filaments and has styles with three stigmas. Camptorrhiza indica possesses ovoid corms, linear filaments and styles with a single stigma. These characters are intermediate between Iphigenia and Camptorrhiza and hence we studied the cytogenetics and phylogenetic placement of this species to ascertain its generic identity. Somatic chromosome count (2n = 22) and karyotypic features of C. indica are very similar to that of Iphigenia species. Molecular phylogenetic studies based on atpB-rbcL, rps16, trnL, and trnL-F regions showed that C. indica is nested within a lineage of Indian Iphigenia species. Thus, C. indica was reduced to a species of Iphigenia, i.e., I. ratnagirica. Camptorrhiza is now a monotypic genus restricted only to southern Africa. A key to the Indian Iphigenia species is provided. In addition, a new combination Wurmbea novae-zelandiae is proposed for Iphigenia novae-zelandiae.