Experimental Test of the Quantum No-Hiding Theorem

The no-hiding theorem says that if any physical process leads to bleaching of quantum information from the original system, then it must reside in the rest of the Universe with no information being hidden in the correlation between these two subsystems. Here, we report an experimental test of the no-hiding theorem with the technique of nuclear magnetic resonance. We use the quantum state randomization of a qubit as one example of the bleaching process and show that the missing information can be fully recovered up to local unitary transformations in the ancilla qubits.

Central Limit Theorem for truncated heavy tailed Banach valued random vectors

In this paper the question of the extent to which truncated heavy tailed random vectors, taking values in a Banach space, retain the characteristic features of heavy tailed random vectors, is answered from the point of view of the central limit theorem.

A compact proof of Fisher�s Fundamental Theorem for multiple loci

A systematic method is formulated to carry out theoretical analysis in a multilocus multiallele genetic system. As a special application, the Fundamental Theorem of Natural Selection is proved (in the continuous time model) for a multilocus multiallele system if all pairwise linkage disequilibria are zero.

Estimating the Threshold Surface Density of Gp120-CCR5 Complexes Necessary for HIV-1 Envelope-Mediated Cell-Cell Fusion

Reduced expression of CCR5 on target CD4(+) cells lowers their susceptibility to infection by R5-tropic HIV-1, potentially preventing transmission of infection and delaying disease progression. Binding of the HIV-1 envelope (Env) protein gp120 with CCR5 is essential for the entry of R5 viruses into target cells. The threshold surface density of gp120-CCR5 complexes that enables HIV-1 entry remains poorly estimated. We constructed a mathematical model that mimics Env-mediated cell-cell fusion assays, where target CD4(+)CCR5(+) cells are exposed to effector cells expressing Env in the presence of a coreceptor antagonist and the fraction of target cells fused with effector cells is measured. Our model employs a reaction network-based approach to describe protein interactions that precede viral entry coupled with the ternary complex model to quantify the allosteric interactions of the coreceptor antagonist and predicts the fraction of target cells fused. By fitting model predictions to published data of cell-cell fusion in the presence of the CCR5 antagonist vicriviroc, we estimated the threshold surface density of gp120-CCR5 complexes for cell-cell fusion as similar to 20 mu m(-2). Model predictions with this threshold captured data from independent cell-cell fusion assays in the presence of vicriviroc and rapamycin, a drug that modulates CCR5 expression, as well as assays in the presence of maraviroc, another CCR5 antagonist, using sixteen different Env clones derived from transmitted or early founder viruses. Our estimate of the threshold surface density of gp120-CCR5 complexes necessary for HIV-1 entry thus appears robust and may have implications for optimizing treatment with coreceptor antagonists, understanding the non-pathogenic infection of non-human primates, and designing vaccines that suppress the availability of target CD4(+)CCR5(+) cells.

The Borkar-Meyn theorem for asynchronous stochastic approximations

In this paper, we give a generalization of a result by Borkar and Meyn (2000) 1], on the stability and convergence of synchronous-update stochastic approximation algorithms, to the case of asynchronous stochastic approximations with delays. We then describe an interesting application of the result to asynchronous distributed temporal difference (TD) learning with function approximation and delays. (C) 2011 Elsevier B.V. All rights reserved.

Characterization of the gene encoding the envelope fusion glycoprotein GP64 from Bombyx mori nucleopolyhedrovirus

We describe here the characterization of the gene gp64 encoding the envelope fusion protein GP64 (open reading frame) ORF 105 from Bombyx mori nucleopolyhedrovirus (BmNPV). gp64 was transcribed from the early to late stages of infection and the transcripts were seen from 6 to 72 h post infection (hpi). The early transcripts initiated from a consensus CAGT motif while the late transcripts arose from three conserved TAAG motifs, all of which were located in the near upstream region of the coding sequence. Both early and late transcripts terminated at a run of T residues following the second polyadenylation signal located 31 nt downstream of the translation termination codon. BmGP64 protein was detectable from 6 hpi and was present in larger quantities throughout the infection process from 12 hpi, in BmNPV-infected BmN cells. The persistent presence of GP64 in BmN cells differed from the protein expression pattern of GP64 in Autographa californica multinucleocapsid nucleopolyhedrovirus infection, where the protein levels decreased significantly by late times (48 hpi). BmGP64 was located in the membrane and cytoplasm of the infected host cells and as a component of the budded virions. The production of infectious budded virus and the fusion activity were reduced when glycosylation of GP64 was inhibited. (C) 2003 Elsevier Science B.V. All rights reserved.

Variants of Miyachi�s Theorem for Nilpotent lie Groups

We formulate and prove two versions of Miyachi�s theorem for connected, simply connected nilpotent Lie groups. This allows us to prove the sharpness of the constant 1/4 in the theorems of Hardy and of Cowling and Price for any nilpotent Lie group. These theorems are proved using a variant of Miyachi�s theorem for the group Fourier transform.

Qualitative theorem proving in linear constraints

We know, from the classical work of Tarski on real closed fields, that elimination is, in principle, a fundamental engine for mechanized deduction. But, in practice, the high complexity of elimination algorithms has limited their use in the realization of mechanical theorem proving. We advocate qualitative theorem proving, where elimination is attractive since most processes of reasoning take place through the elimination of middle terms, and because the computational complexity of the proof is not an issue. Indeed what we need is the existence of the proof and not its mechanization. In this paper, we treat the linear case and illustrate the power of this paradigm by giving extremely simple proofs of two central theorems in the complexity and geometry of linear programming.

The effect of a starch envelope on fly ash particles on the impact properties of filled epoxy composites

The impact behaviour of epoxy specimens containing 20% by volume of fly ash particles without (coded, FA20) and with surface enveloped by starch in dry (FAS20) and water-ingresses (FASM20) conditions is studied. The resulting behavioural patterns are documented and compared to the composites containing as received fly ash particles. The data on unreinforced (i.e. neat) epoxy system (designated, NE) are also included. Samples with starch covering for the fillers whether tested in dry or wet conditions (i.e. FAS20 & FASM20) showed greater absorption of energy and maximum load compared to the ones derived on composites having as received fillers tested in unexposed (dry) condition (FA20). Ductility Index, D.I. on the other hand, showed a reversal in trends; the energy absorbed was highest for NE and lowest FA20 samples. Scanning microscopic examination of the fracture features was undertaken to correlate the microstructure to impact response.

Variants Of Miyachi’S Theorem For Nilpotent Lie Groups

We formulate and prove two versions of Miyachi’s theorem for connected, simply connected nilpotent Lie groups. This allows us to prove the sharpness of the constant 1/4 in the theorems of Hardy and of Cowling and Price for any nilpotent Lie group. These theorems are proved using a variant of Miyachi’s theorem for the group Fourier transform.

The single ring theorem

We study the empirical measure LA of the eigenvalues of nonnormal square matrices of the form A(n) = U(n)T(n)V(n), with U(n), V(n) independent Haar distributed on the unitary group and T(n) diagonal. We show that when the empirical measure of the eigenyalues of T(n) converges, and T(n) satisfies some technical conditions, L(An) converges towards a rotationally invariant measure mu on the complex plane whose support is a single ring. In particular, we provide a complete proof of the Feinberg-Zee single ring theorem [6]. We also consider the case where U(n), V(n) are independently Haar distributed on the orthogonal group.

Novel auditory motivated subband temporal envelope based fundamental frequency estimation algorithm

We address the problem of estimating the fundamental frequency of voiced speech. We present a novel solution motivated by the importance of amplitude modulation in sound processing and speech perception. The new algorithm is based on a cumulative spectrum computed from the temporal envelope of various subbands. We provide theoretical analysis to derive the new pitch estimator based on the temporal envelope of the bandpass speech signal. We report extensive experimental performance for synthetic as well as natural vowels for both realworld noisy and noise-free data. Experimental results show that the new technique performs accurate pitch estimation and is robust to noise. We also show that the technique is superior to the autocorrelation technique for pitch estimation.

An analogue of the Wiener Tauberian Theorem for the Heisenberg Motion group

We show that the Wiener Tauberian property holds for the Heisenberg Motion group TnB

Designed Cyclic Permutants of HIV-1 gp120: Implications for Envelope Trimer Structure and Immunogen Design

Most HIV-1 broadly neutralizing antibodies are directed against the gp120 subunit of the env surface protein. Native env consists of a trimer of gp120-gp41 heterodimers, and in contrast to monomeric gp120, preferentially binds CD4 binding site (CD4bs)-directed neutralizing antibodies over non-neutralizing ones. Some cryo-electron tomography studies have suggested that the V1V2 loop regions of gp120 are located close to the trimer interface. We have therefore designed cyclically permuted variants of gp120 with and without the h-CMP and SUMO2a trimerization domains inserted into the V1V2 loop. h-CMP-V1cyc is one such variant in which residues 153 and 142 are the N- and C-terminal residues, respectively, of cyclically permuted gp120 and h-CMP is fused to the N-terminus. This molecule forms a trimer under native conditions and binds CD4 and the neutralizing CD4bs antibodies b12 with significantly higher affinity than wild-type gp120. It binds non-neutralizing CD4bs antibody F105 with lower affinity than gp120. A similar derivative, h-CMP-V1cycl, bound the V1V2 loop-directed broadly neutralizing antibodies PG9 and PG16 with similar to 20-fold higher affinity than wild-type JRCSF gp120. These cyclic permutants of gp120 are properly folded and are potential immunogens. The data also support env models in which the V1V2 loops are proximal to the trimer interface.

Glycopeptidolipids: Immuno-modulators in greasy mycobacterial cell envelope

Species of opportunistic mycobacteria are the major causative agent for disseminating pulmonary infections in immuno-compromised individuals. These naturally resistant strains recruit a unique type of glycolipid known as glycopeptidolipids (GPLs), noncovalently attached to the outer surface of their thick lipid rich cell envelope. Species specific GPLs constitute the chemical determinants of most nontuberculous mycobacterial serotypes, and their absence from the cell surface confers altered colony morphology, hydrophobicity, and inability to grow as biofilms. The objective of this review is to present a comprehensive account and highlight the renewed interest on this much neglected group of pleiotropic molecules with respect to their structural diversity and biosynthesis. In addition, the role of GPLs in mycobacterial survival, both intracellular and in the environment is also discussed. It also explores the possibility of identifying new targets for intervening Mycobacterium avium complex-related infections. These antigenic molecules have been considered to play a pivotal role in immune suppression and can also induce various cytokine mediated innate immune responses, the molecular mechanism of which remains obscure. (c) 2012 IUBMB IUBMB Life, 2012