Multi-Prover Commitments Against Non-Signaling Attacks

We reconsider the concept of multi-prover commitments, as introduced in the late eighties in the seminal work by Ben-Or et al. As was recently shown by Cr\'{e}peau et al., the security of known two-prover commitment schemes not only relies on the explicit assumption that the provers cannot communicate, but also depends on their information processing capabilities. For instance, there exist schemes that are secure against classical provers but insecure if the provers have quantum information processing capabilities, and there are schemes that resist such quantum attacks but become insecure when considering general so-called non-signaling provers, which are restricted solely by the requirement that no communication takes place. This poses the natural question whether there exists a two-prover commitment scheme that is secure under the sole assumption that no communication takes place; no such scheme is known. In this work, we give strong evidence for a negative answer: we show that any single-round two-prover commitment scheme can be broken by a non-signaling attack. Our negative result is as bad as it can get: for any candidate scheme that is (almost) perfectly hiding, there exists a strategy that allows the dishonest provers to open a commitment to an arbitrary bit (almost) as successfully as the honest provers can open an honestly prepared commitment, i.e., with probability (almost) 1 in case of a perfectly sound scheme. In the case of multi-round schemes, our impossibility result is restricted to perfectly hiding schemes. On the positive side, we show that the impossibility result can be circumvented by considering three provers instead: there exists a three-prover commitment scheme that is secure against arbitrary non-signaling attacks

Clinical and physiological effects of transcranial electrical stimulation position on motor evoked potentials in scoliosis surgery

<p>Abstract</p> <p>Background</p> <p>During intraoperative monitoring for scoliosis surgery, we have previously elicited ipsilateral and contralateral motor evoked potentials (MEP) with cross scalp stimulation. Ipsilateral MEPs, which may have comprised summation of early ipsilaterally conducted components and transcallosally or deep white matter stimulated components, can show larger amplitudes than those derived purely from contralateral motor cortex stimulation. We tested this hypothesis using two stimulating positions. We compared intraoperative MEPs in 14 neurologically normal subjects undergoing scoliosis surgery using total intravenous anesthetic regimens.</p> <p>Methods</p> <p>Trancranial electrical stimulation was applied with both cross scalp (C3C4 or C4C3) or midline (C3Cz or C4Cz) positions. The latter was assumed to be more focal and result in little transcallosal/deep white matter stimulation. A train of 5 square wave stimuli 0.5 ms in duration at up to 200 mA was delivered with 4 ms (250 Hz) interstimulus intervals. Averaged supramaximal MEPs were obtained from the tibialis anterior bilaterally.</p> <p>Results</p> <p>The cross scalp stimulating position resulted in supramaximal MEPs that were of significantly higher amplitude, shorter latency and required lower stimulating intensity to elicit overall (Wilcoxon Signed Rank test, p < 0.05 for all), as compared to the midline stimulating position. However, no significant differences were found for all 3 parameters comparing ipsilaterally and contralaterally recorded MEPs (p > 0.05 for all), seen for both stimulating positions individually.</p> <p>Conclusions</p> <p>Our findings suggest that cross scalp stimulation resulted in MEPs obtained ipsilaterally and contralaterally which may be contributed to by summation of ipsilateral and simultaneous transcallosally or deep white matter conducted stimulation of the opposite motor cortex. Use of this stimulating position is advocated to elicit MEPs under operative circumstances where anesthetic agents may cause suppression of cortical and spinal excitability. Although less focal in nature, cross scalp stimulation would be most suitable for infratentorial or spinal surgery, in contrast to supratentorial neurosurgical procedures.</p

Liver cancer immunoassay with magnetic nanoparticles and MgO-based magnetic tunnel junction sensors

This journal issue is proceedings of the 56th 56th Conference on Magnetism and Magnetic MaterialsSession DV - Sensors 2 (Poster Session): no. DV-07We have demonstrated the detection of alpha-fetoprotein (AFP) labeled with magnetic nanoparticles (MNPs) using MgO-based magnetic tunnel junction (MTJ) sensors. AFP is an important hepatic tumor biomarker and the detection of AFP has significant applications for clinical diagnostics and immunoassay for early-stage liver cancer indications. In this work, MgO-based MTJ sensors and 20-nm iron-oxide magnetic nanoparticles (MNPs) were used for detecting AFP antigens by a sandwich-assay configuration. The MTJ sensors with a sensing area of 4 × 2 μm 2 possess tunneling magnetoresistance (TMR) of 122 and sensitivity of 0.95/Oe at room temperature. The target AFP antigens of three concentrations were successfully detected, and the experimental data indicate that the resistance variations of the MTJ sensor increased with the AFP concentration ratios proportionally. These results demonstrate that MgO-based MTJ sensors together with MNPs are a promising biosensing platform for liver cancer immunoassay. © 2012 American Institute of Physics.published_or_final_versionThe 56th Conference on Magnetism and Magnetic Materials, Scottsdale, AZ., 30 October-3 November 2011. In Journal of Applied Physics, 2012, v. 111 n. 7, article no. 07E50

Geometry and Dynamics of a Coupled 4D-2D Quantum Field Theory

Geometric and dynamical aspects of a coupled 4D-2D interacting quantum field theory - the gauged nonAbelian vortex - are investigated. The fluctuations of the internal 2D nonAbelian vortex zeromodes excite the massless 4D Yang-Mills modes and in general give rise to divergent energies. This means that the well-known 2D CP(N-1) zeromodes associated with a nonAbelian vortex become nonnormalizable. Moreover, all sorts of global, topological 4D effects such as the nonAbelian Aharonov-Bohm effect come into play. These topological global features and the dynamical properties associated with the fluctuation of the 2D vortex moduli modes are intimately correlated, as shown concretely here in a U(1) x SU(N) x SU(N) model with scalar fields in a bifundamental representation of the two SU(N) factor gauge groups.Comment: Latex, 39 pages, 5 figure

Validation of graft and standard liver size predictions in right liver living donor liver transplantation

Purpose: To assess the accuracy of a formula derived from 159 living liver donors to estimate the liver size of a normal subject: standard liver weight (g) = 218 + body weight (kg) × 12.3 + 51 (if male). Standard liver volume (SLV) is attained by a conversion factor of 1.19 mL/g. Methods: The total liver volume (TLV) of each of the subsequent consecutive 126 living liver donors was determined using the right liver graft weight (RGW) on the back table, right/left liver volume ratio on computed tomography, and the conversion factor. The estimated right liver graft weight (ERGW) was determined by the right liver volume on computed tomography (CT) and the conversion factor. SLV and ERGW were compared with TLV and RGW, respectively, by paired sample t test. Results: Donor characteristics of both series were similar. SLV and TLV were 1,099.6 ± 139.6 and 1,108.5 ± 175.2 mL, respectively, (R 2 = 0.476) (p = 0.435). The difference between SLV and TLV was only -8.9 ± 128.2 mL (-1.0 ± 11.7%). ERGW and RGW were 601.5 ± 104.1 and 597.1 ± 102.2 g, respectively (R 2 = 0.781) (p = 0.332). The conversion factor from liver weight to volume for this series was 1.20 mL/g. The difference between ERGW and RGW was 4.3 ± 49.8 g (0.3 ± 8.8%). ERGW was smaller than RGW for over 10% (range 0.21-40.66 g) in 18 of the 126 donors. None had the underestimation of RGW by over 20%. Conclusion: SLV and graft weight estimations were accurate using the formula and conversion factor. © 2011 The Author(s).published_or_final_versionSpringer Open Choice, 21 Feb 201

A robust, low- to medium-throughput prnp genotyping system in sheep

BACKGROUND: In many countries breeding programs for resistance to scrapie in sheep are established. Therefore, the demand on genotyping capacities of the polymorphisms of the prion protein gene (prnp) relevant to presently known disease associations and EU regulations is steadily increasing. Most published typing methods are not well suited for routine typing of large sample numbers in smaller service laboratories for different reasons: they require partly manual data processing, sophisticated and sensitive protocols, high efforts regarding time and manpower, multiple step reactions or substantial hardware investments. To overcome these drawbacks, we developed a prnp typing method that is based on a `multiplex amplification refractory mutation system' (ARMS) reaction. METHODS: In this study we combined the amplification refractory mutation system (ARMS) with standard fluorescent based fragment length analyses method to develop a prnp genotyping method (PRNP ARMS). RESULTS: By optimised primer design it was possible to type the 4 relevant single nucleotide polymorphisms (SNPs) in the prnp simultaneously in one multiplex reaction. Automated fragment length analysis enabled automated allele designation. Suitability of the PRNP ARMS for routine application was proven by typing samples with known genotypes and larger sample numbers from half-sib families. CONCLUSION: The ARMS PRNP typing method established in this study is universally suited for a broad range of typing projects with different requirements. It provides an efficient and inexpensive diagnostic mutation analysis that will improve the quality of prnp genotyping compared with other low-cost methods. It can be implemented by most molecular genetic laboratories using standard equipment

Perspectives on the Trypanosoma cruzi-host cell receptor interaction

Chagas disease is caused by the parasite Trypanosoma cruzi. The critical initial event is the interaction of the trypomastigote form of the parasite with host receptors. This review highlights recent observations concerning these interactions. Some of the key receptors considered are those for thromboxane, bradykinin, and for the nerve growth factor TrKA. Other important receptors such as galectin-3, thrombospondin, and laminin are also discussed. Investigation into the molecular biology and cell biology of host receptors for T. cruzi may provide novel therapeutic targets

Common ADRB2 Haplotypes Derived from 26 Polymorphic Sites Direct β2-Adrenergic Receptor Expression and Regulation Phenotypes

The beta2-adrenergic receptor (beta2AR) is expressed on numerous cell-types including airway smooth muscle cells and cardiomyocytes. Drugs (agonists or antagonists) acting at these receptors for treatment of asthma, chronic obstructive pulmonary disease, and heart failure show substantial interindividual variability in response. The ADRB2 gene is polymorphic in noncoding and coding regions, but virtually all ADRB2 association studies have utilized the two common nonsynonymous coding SNPs, often reaching discrepant conclusions.We constructed the 8 common ADRB2 haplotypes derived from 26 polymorphisms in the promoter, 5'UTR, coding, and 3'UTR of the intronless ADRB2 gene. These were cloned into an expression construct lacking a vector-based promoter, so that beta2AR expression was driven by its promoter, and steady state expression could be modified by polymorphisms throughout ADRB2 within a haplotype. "Whole-gene" transfections were performed with COS-7 cells and revealed 4 haplotypes with increased cell surface beta2AR protein expression compared to the others. Agonist-promoted downregulation of beta2AR protein expression was also haplotype-dependent, and was found to be increased for 2 haplotypes. A phylogenetic tree of the haplotypes was derived and annotated by cellular phenotypes, revealing a pattern potentially driven by expression.Thus for obstructive lung disease, the initial bronchodilator response from intermittent administration of beta-agonist may be influenced by certain beta2AR haplotypes (expression phenotypes), while other haplotypes may influence tachyphylaxis during the response to chronic therapy (downregulation phenotypes). An ideal clinical outcome of high expression and less downregulation was found for two haplotypes. Haplotypes may also affect heart failure antagonist therapy, where beta2AR increase inotropy and are anti-apoptotic. The haplotype-specific expression and regulation phenotypes found in this transfection-based system suggest that the density of genetic information in the form of these haplotypes, or haplotype-clusters with similar phenotypes can potentially provide greater discrimination of phenotype in human disease and pharmacogenomic association studies

Multisensory information facilitates reaction speed by enlarging activity difference between superior colliculus hemispheres in rats

Animals can make faster behavioral responses to multisensory stimuli than to unisensory stimuli. The superior colliculus (SC), which receives multiple inputs from different sensory modalities, is considered to be involved in the initiation of motor responses. However, the mechanism by which multisensory information facilitates motor responses is not yet understood. Here, we demonstrate that multisensory information modulates competition among SC neurons to elicit faster responses. We conducted multiunit recordings from the SC of rats performing a two-alternative spatial discrimination task using auditory and/or visual stimuli. We found that a large population of SC neurons showed direction-selective activity before the onset of movement in response to the stimuli irrespective of stimulation modality. Trial-by-trial correlation analysis showed that the premovement activity of many SC neurons increased with faster reaction speed for the contraversive movement, whereas the premovement activity of another population of neurons decreased with faster reaction speed for the ipsiversive movement. When visual and auditory stimuli were presented simultaneously, the premovement activity of a population of neurons for the contraversive movement was enhanced, whereas the premovement activity of another population of neurons for the ipsiversive movement was depressed. Unilateral inactivation of SC using muscimol prolonged reaction times of contraversive movements, but it shortened those of ipsiversive movements. These findings suggest that the difference in activity between the SC hemispheres regulates the reaction speed of motor responses, and multisensory information enlarges the activity difference resulting in faster responses