113 research outputs found
Recommended from our members
A Lower Bound for Adaptively-Secure Collective Coin-Flipping Protocols
In 1985, Ben-Or and Linial (Advances in Computing Research \u2789) introduced the collective coin-flipping problem, where n parties communicate via a single broadcast channel and wish to generate a common random bit in the presence of adaptive Byzantine corruptions. In this model, the adversary can decide to corrupt a party in the course of the protocol as a function of the messages seen so far. They showed that the majority protocol, in which each player sends a random bit and the output is the majority value, tolerates O(sqrt n) adaptive corruptions. They conjectured that this is optimal for such adversaries.
We prove that the majority protocol is optimal (up to a poly-logarithmic factor) among all protocols in which each party sends a single, possibly long, message.
Previously, such a lower bound was known for protocols in which parties are allowed to send only a single bit (Lichtenstein, Linial, and Saks, Combinatorica \u2789), or for symmetric protocols (Goldwasser, Kalai, and Park, ICALP \u2715)
How to Delegate Computations: The Power of No-Signaling Proofs
We construct a 1-round delegation scheme (i.e., argument-system)
for every language computable in time t=t(n), where the running
time of the prover is poly(t) and the running time of the
verifier is n*polylog(t). In particular, for every language in P
we obtain a delegation scheme with almost linear time
verification. Our construction relies on the existence of a
computational sub-exponentially secure private information
retrieval (PIR) scheme.
The proof exploits a curious connection between the problem of
computation delegation and the model of multi-prover interactive
proofs that are sound against no-signaling (cheating) strategies,
a model that was studied in the context of multi-prover
interactive proofs with provers that share quantum entanglement,
and is motivated by the physical principle that information
cannot travel faster than light.
For any language computable in time t=t(n), we construct a
multi-prover interactive proof (MIP) that is sound against
no-signaling strategies, where the running time of the provers is
poly(t), the number of provers is polylog(t), and the running
time of the verifier is n*polylog(t).
In particular, this shows that the class of languages that have
polynomial-time MIPs that are sound against no-signaling
strategies, is exactly EXP. Previously, this class was only known
to contain PSPACE.
To convert our MIP into a 1-round delegation scheme, we use the
method suggested by Aiello et-al (ICALP, 2000), which makes use
of a PIR scheme. This method lacked a proof of security. We
prove that this method is secure assuming the underlying MIP is
secure against no-signaling provers
Draft Genome Sequence of Environmental Bacterium Vibrio vulnificus CladeA-yb158
We report the genome sequence of the environmental Vibrio vulnificus biotype 1_cladeA. This draft genome of the CladeA-yb158 strain, isolated in Israel, represents this newly emerged clonal group that contains both clinical and environmental strains
Retrosternal Percutaneous Tracheostomy: An Approach for Predictably Impossible Classic Tracheostomy
Percutaneous tracheostomy is a routine procedure in intensive care
units. In cases of very low position of the larynx, cervical spine
deformation, morbid obesity, or neck tumor, performance of the
classic tracheostomy is inapplicable. Retrosternal approach to
tracheostomy in such 20 patients is herein reported. After
preoperative neck computerized tomography to define the neck
anatomy, a small suprasternal incision followed by a short
retrosternal tissue dissection to expose the trachea was done; the
trachea was then catheterized at the level of the 2nd ring in the
usual tracheostomy manner. The immediate and late (â„6 months) outcomes were similar to that of the standard tracheostomy. Thus,
percutaneous retrosternal tracheostomy is safe in patients with
abnormal positioning of the trachea or neck constitution. It is a
bedside applicable technique, that, however, requires caution to
avoid hazardous vascular complications
Memory Delegation
We consider the problem of delegating computation, where the delegator doesn\u27t even know the input to the function being delegated, and runs in time significantly smaller than the input length.
For example, consider the setting of {\em memory delegation}, where a delegator wishes to delegate her entire memory to the cloud. The delegator may want the cloud to compute functions on this memory, and prove that the functions were computed correctly. As another example, consider the setting of {\em streaming delegation}, where a stream of data goes by, and a delegator, who cannot store this data, delegates this task to the cloud. Later the delegator may ask the cloud to compute statistics on this streaming data, and prove the correctness of the computation.
We note that in both settings the delegator must keep a (short) certificate of the data being delegated, in order to later verify the correctness of the computations.
Moreover, in the streaming setting, this certificate should be computed in a streaming manner.
We construct both memory and streaming delegation schemes. We present non-interactive constructions based on the (standard) delegation scheme of Goldwasswer et. al. (STOC \u2708). These schemes allow the delegation of any function computable by an -uniform circuit of low depth (the complexity of the delegator depends linearly on the depth). For memory delegation, we rely on the existence of a polylog PIR scheme, and for streaming, we rely on the existence of a fully homomorphic encryption scheme.
We also present constructions based on the CS-proofs of Micali. These schemes allow the delegation of any function in~. However, they are interactive (i.e., consists of messages), or are non-interactive in the Random Oracle Model
Light GUT Triplets and Yukawa Splitting
Triplet-mediated proton decay in Grand Unified Theories (GUTs) is usually
suppressed by arranging a large triplet mass. Here we explore instead a
mechanism for suppressing the couplings of the triplets to the first and second
generations compared to the Yukawa couplings, so that the triplets' mass can be
below the GUT scale. This mechanism is based on a ``triplet symmetry'' in the
context of product-group GUTs. We study two possibilities. One, which requires
the top Yukawa to arise from a non-renormalizable operator at the GUT scale, is
that all triplet couplings to matter are negligible, so that the triplets can
be at the weak scale. The second is that some triplet couplings, and in
particular and , are equal to the corresponding
Yukawa couplings. This would give a distinct signature of grand unification if
the triplets were sufficiently light. However, we derive a model-independent
bound on the triplet mass in this case, which is at least 10GeV. Finally,
we construct a GUT model based on Yukawa splitting, with the triplets at
10GeV, as required for coupling unification to work.Comment: 5 pages, Revtex4, 1 EPS figure. To appear in PRD: Minor changes.
Appendix droppe
Comparison of probabilistic tractography and tract-based spatial statistics for assessing optic radiation damage in patients with autoimmune inflammatory disorders of the central nervous system
Background: Diffusion Tensor Imaging (DTI) can evaluate microstructural tissue damage in the optic radiation (OR) of patients with clinically isolated syndrome (CIS), early relapsing-remitting multiple sclerosis and neuromyelitis optica spectrum disorders (NMOSD). Different post-processing techniques, e.g. tract-based spatial statistics (TBSS) and probabilistic tractography, exist to quantify this damage. Objective: To evaluate the capacity of TBSS-based atlas region-of-interest (ROI) combination with 1) posterior thalamic radiation ROIs from the Johns Hopkins University atlas (JHU-TBSS), 2) Juelich Probabilistic ROIs (JUEL-TBSS) and tractography methods using 3) ConTrack (CON-PROB) and 4) constrained spherical deconvolution tractography (CSD-PROB) to detect OR damage in patients with a) NMOSD with prior ON (NMOSD-ON), b) CIS and early RRMS patients with ON (CIS/RRMS-ON) and c) CIS and early RRMS patients without prior ON (CIS/RRMS-NON) against healthy controls (HCs). Methods: Twenty-three NMOSD-ON, 18 CIS/RRMS-ON, 21 CIS/RRMS-NON, and 26 HCs underwent 3 T MRI. DTI data analysis was carried out using JUEL-TBSS, JHU-TBSS, CON-PROB and CSD-PROB. Optical coherence tomography (OCT) and visual acuity testing was performed in the majority of patients and HCs. Results: Absolute OR fractional anisotropy (FA) values differed between all methods but showed good correlation and agreement in Bland-Altman analysis. OR FA values between NMOSD and HC differed throughout the methodologies (p-values ranging from p < 0.0001 to 0.0043). ROC-analysis and effect size estimation revealed higher AUCs and R squared for CSD-PROB (AUC=0.812; R squared=0.282) and JHU-TBSS (AUC=0.756; R squared=0.262), compared to CON-PROB (AUC=0.742; R squared=0.179) and JUEL-TBSS (AUC=0.719; R squared=0.161). Differences between CIS/RRMS-NON and HC were only observable in CSD-PROB (AUC=0.796; R squared=0.094). No significant differences between CIS/RRMS-ON and HC were detected by any of the methods. Conclusions: All DTI post-processing techniques facilitated the detection of OR damage in patient groups with severe microstructural OR degradation. The comparison of distinct disease groups by use of different methods may lead to different - either false-positive or false-negative - results. Since different DTI post-processing approaches seem to provide complementary information on OR damage, application of distinct methods may depend on the relevant research question
Vision and Vision-Related Measures in Progressive Multiple Sclerosis
Background: Over the last few years there has been growing interest in use of visual measures as useful tools for multiple sclerosis (MS) prognosis and tracking. Optic neuritis (ON) being a prevalent and often-presenting symptom of the disease, as well as the high occurrence rate of posterior visual system damage independent of ON (optic radiation lesions), make the visual system a prime candidate for such endeavors. However, while the visual system makes for a convenient model in early stages of MS, processes which may be true in those stages may drastically change as the disease progresses, due to accumulated disease load. Here, we examine whether vision-related tools reflect demyelinative and axonal damage of the visual pathways and may be used for assessment in the clinical setup in progressive multiple sclerosis (MS) patients, in whom disease load may alter the early stage picture.Methods: Forty-eight progressive MS patients, with and without prior optic neuritis (ON), underwent a battery of behavioral tests, visual evoked potential (VEP) tests, optical coherence tomography (OCT), and structural MRI scans, at two time-points. Data were analyzed for stability between visits and for correlation between behavioral and electrophysiological data.Results: All measures were stable between visits. Significant differences were found in all measures between the affected and fellow eyes of ON patients and in VEP latencies between the affected and non-ON eyes. Motion perception differentially correlated with latencies of both ON eyes and with the non-ON eyes. Retinal nerve fiber layer thickness correlated with the latencies of non-ON eyes but not of either ON eye. No difference in lesion load was found between the ON and non-ON patients.Conclusions: ON still leaves its mark in the patient's visual system over time, with all visual measures of the affected eyes notably reduced compared to fellow eyes. Motion perception, reflecting myelination level along the visual pathway, shows its usefulness also in progressive MS. In the non-ON eyes, axonal loss appears to explain prolonged latencies, unlike in ON eyes, where demyelination appears to be the main mechanism. Lastly, the visual measures assessed herein are applicable as valid assessment tools in therapeutic studies
Association of adverse perinatal outcomes of intrahepatic cholestasis of pregnancy with biochemical markers: results of aggregate and individual patient data meta-analyses
Intrahepatic cholestasis of pregnancy is associated with adverse perinatal outcomes, but the association with the concentration of specific biochemical markers is unclear. We aimed to quantify the adverse perinatal effects of intrahepatic cholestasis of pregnancy in women with increased serum bile acid concentrations and determine whether elevated bile acid concentrations were associated with the risk of stillbirth and preterm birth.
We did a systematic review by searching PubMed, Web of Science, and Embase databases for studies published from database inception to June 1, 2018, reporting perinatal outcomes for women with intrahepatic cholestasis of pregnancy when serum bile acid concentrations were available. Inclusion criteria were studies defining intrahepatic cholestasis of pregnancy based upon pruritus and elevated serum bile acid concentrations, with or without raised liver aminotransferase concentrations. Eligible studies were case-control, cohort, and population-based studies, and randomised controlled trials, with at least 30 participants, and that reported bile acid concentrations and perinatal outcomes. Studies at potential higher risk of reporter bias were excluded, including case reports, studies not comprising cohorts, or successive cases seen in a unit; we also excluded studies with high risk of bias from groups selected (eg, a subgroup of babies with poor outcomes were explicitly excluded), conference abstracts, and Letters to the Editor without clear peer review. We also included unpublished data from two UK hospitals. We did a random effects meta-analysis to determine risk of adverse perinatal outcomes. Aggregate data for maternal and perinatal outcomes were extracted from case-control studies, and individual patient data (IPD) were requested from study authors for all types of study (as no control group was required for the IPD analysis) to assess associations between biochemical markers and adverse outcomes using logistic and stepwise logistic regression. This study is registered with PROSPERO, number CRD42017069134.
We assessed 109 full-text articles, of which 23 studies were eligible for the aggregate data meta-analysis (5557 intrahepatic cholestasis of pregnancy cases and 165â136 controls), and 27 provided IPD (5269 intrahepatic cholestasis of pregnancy cases). Stillbirth occurred in 45 (0·83%) of 4936 intrahepatic cholestasis of pregnancy cases and 519 (0·32%) of 163â947 control pregnancies (odds ratio [OR] 1·46 [95% CI 0·73-2·89]; I2=59·8%). In singleton pregnancies, stillbirth was associated with maximum total bile acid concentration (area under the receiver operating characteristic curve [ROC AUC]) 0·83 [95% CI 0·74-0·92]), but not alanine aminotransferase (ROC AUC 0·46 [0·35-0·57]). For singleton pregnancies, the prevalence of stillbirth was three (0·13%; 95% CI 0·02-0·38) of 2310 intrahepatic cholestasis of pregnancy cases in women with serum total bile acids of less than 40 ÎŒmol/L versus four (0·28%; 0·08-0·72) of 1412 cases with total bile acids of 40-99 ÎŒmol/L (hazard ratio [HR] 2·35 [95% CI 0·52-10·50]; p=0·26), and versus 18 (3·44%; 2·05-5·37) of 524 cases for bile acids of 100 ÎŒmol/L or more (HR 30·50 [8·83-105·30]; p<0·0001).
The risk of stillbirth is increased in women with intrahepatic cholestasis of pregnancy and singleton pregnancies when serum bile acids concentrations are of 100 ÎŒmol/L or more. Because most women with intrahepatic cholestasis of pregnancy have bile acids below this concentration, they can probably be reassured that the risk of stillbirth is similar to that of pregnant women in the general population, provided repeat bile acid testing is done until delivery.
Tommy's, ICP Support, UK National Institute of Health Research, Wellcome Trust, and Genesis Research Trust
Genome-Wide SNP-genotyping array to study the evolution of the human pathogen Vibrio vulnificus Biotype 3
Vibrio vulnificus is an aquatic bacterium and an important human pathogen. Strains Of V. vulnificus are classified into three different biotypes. The newly emerged biotype 3 has been found to be clonal and restricted to Israel. In the family Vibrionaceae , horizontal gene transfer is the main mechanism responsible for the emergence of new pathogen groups. To better understand the evolution of the bacterium, and in particular to trace the evolution of biotype 3, we performed genome-wide SNP genotyping of 254 clinical and environmental V. vulnificus isolates with worldwide distribution recovered over a 30-year period, representing all phylogeny groups. A custom single-nucleotide polymorphism (SNP) array implemented on the Illumina GoldenGate platform was developed based on 570 SNPs randomly distributed throughout the genome. In general, the genotyping results divided the V. vulnificus species into three main phylogenetic lineages and an additional subgroup, clade B, consisting of environmental and clinical isolates from Israel. Data analysis suggested that 69% of biotype 3 SNPs are similar to SNPs from clade B, indicating that biotype 3 and clade B have a common ancestor. The rest of the biotype 3 SNPs were scattered along the biotype 3 genome, probably representing multiple chromosomal segments that may have been horizontally inserted into the clade B recipient core genome from other phylogroups or bacterial species sharing the same ecological niche. Results emphasize the continuous evolution of V. vulnificus and support the emergence of new pathogenic groups within this species as a recurrent phenomenon. Our findings contribute to a broader understanding of the evolution of this human pathogen
- âŠ