A Theory of Unsupervised Translation Motivated by Understanding Animal Communication

Recent years have seen breakthroughs in neural language models that capture nuances of language, culture, and knowledge. Neural networks are capable of translating between languages -- in some cases even between two languages where there is little or no access to parallel translations, in what is known as Unsupervised Machine Translation (UMT). Given this progress, it is intriguing to ask whether machine learning tools can ultimately enable understanding animal communication, particularly that of highly intelligent animals. Our work is motivated by an ambitious interdisciplinary initiative, Project CETI, which is collecting a large corpus of sperm whale communications for machine analysis. We propose a theoretical framework for analyzing UMT when no parallel data are available and when it cannot be assumed that the source and target corpora address related subject domains or posses similar linguistic structure. The framework requires access to a prior probability distribution that should assign non-zero probability to possible translations. We instantiate our framework with two models of language. Our analysis suggests that accuracy of translation depends on the complexity of the source language and the amount of ``common ground'' between the source language and target prior. We also prove upper bounds on the amount of data required from the source language in the unsupervised setting as a function of the amount of data required in a hypothetical supervised setting. Surprisingly, our bounds suggest that the amount of source data required for unsupervised translation is comparable to the supervised setting. For one of the language models which we analyze we also prove a nearly matching lower bound. Our analysis is purely information-theoretic and as such can inform how much source data needs to be collected, but does not yield a computationally efficient procedure

On Probabilistic Applicative Bisimulation and Call-by-Value λ\lambda-Calculi (Long Version)

Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the technique is applied to a typed, call-by-value, lambda-calculus. Surprisingly, the obtained relation coincides with context equivalence, contrary to what happens when call-by-name evaluation is considered. Even more surprisingly, full-abstraction only holds in a symmetric setting.Comment: 30 page

Using continuous measurement to protect a universal set of quantum gates within a perturbed decoherence-free subspace

We consider a universal set of quantum gates encoded within a perturbed decoherence-free subspace of four physical qubits. Using second-order perturbation theory and a measuring device modeled by an infinite set of harmonic oscillators, simply coupled to the system, we show that continuous observation of the coupling agent induces inhibition of the decoherence due to spurious perturbations. We thus advance the idea of protecting or even creating a decoherence-free subspace for processing quantum information.Comment: 7 pages, 1 figure. To be published in Journal of Physics A: Mathematical and Genera

Spatial and spatio-temporal patterns in a cell-haptotaxis model

We investigate a cell-haptotaxis model for the generation of spatial and spatio-temporal patterns in one dimension. We analyse the steady state problem for specific boundary conditions and show the existence of spatially hetero-geneous steady states. A linear analysis shows that stability is lost through a Hopf bifurcation. We carry out a nonlinear multi-time scale perturbation procedure to study the evolution of the resulting spatio-temporal patterns. We also analyse the model in a parameter domain wherein it exhibits a singular dispersion relation

Incidence of human brucellosis in the Kilimanjaro Region of Tanzania in the periods 2007-2008 and 2012-2014

Background: Brucellosis causes substantial morbidity among humans and their livestock. There are few robust estimates of the incidence of brucellosis in sub-Saharan Africa. Using cases identified through sentinel hospital surveillance and health care utilization data, we estimated the incidence of brucellosis in Moshi Urban and Moshi Rural Districts, Kilimanjaro Region, Tanzania, for the periods 2007–2008 and 2012–2014. Methods: Cases were identified among febrile patients at two sentinel hospitals and were defined as having either a 4-fold increase in Brucella microscopic agglutination test titres between acute and convalescent serum or a blood culture positive for Brucella spp. Findings from a health care utilization survey were used to estimate multipliers to account for cases not seen at sentinel hospitals. Results: Of 585 patients enrolled in the period 2007–2008, 13 (2.2%) had brucellosis. Among 1095 patients enrolled in the period 2012–2014, 32 (2.9%) had brucellosis. We estimated an incidence (range based on sensitivity analysis) of brucellosis of 35 (range 32–93) cases per 100 000 persons annually in the period 2007–2008 and 33 (range 30–89) cases per 100 000 persons annually in the period 2012–2014. Conclusions: We found a moderate incidence of brucellosis in northern Tanzania, suggesting that the disease is endemic and an important human health problem in this area

Comparison of the estimated incidence of acute leptospirosis in the Kilimanjaro Region of Tanzania between 2007-08 and 2012-14

Background: The sole report of annual leptospirosis incidence in continental Africa of 75–102 cases per 100,000 population is from a study performed in August 2007 through September 2008 in the Kilimanjaro Region of Tanzania. To evaluate the stability of this estimate over time, we estimated the incidence of acute leptospirosis in Kilimanjaro Region, northern Tanzania for the time period 2012–2014. Methodology and Principal Findings: Leptospirosis cases were identified among febrile patients at two sentinel hospitals in the Kilimanjaro Region. Leptospirosis was diagnosed by serum microscopic agglutination testing using a panel of 20 Leptospira serovars belonging to 17 separate serogroups. Serum was taken at enrolment and patients were asked to return 4–6 weeks later to provide convalescent serum. Confirmed cases required a 4-fold rise in titre and probable cases required a single titre of ≥800. Findings from a healthcare utilisation survey were used to estimate multipliers to adjust for cases not seen at sentinel hospitals. We identified 19 (1.7%) confirmed or probable cases among 1,115 patients who presented with a febrile illness. Of cases, the predominant reactive serogroups were Australis 8 (42.1%), Sejroe 3 (15.8%), Grippotyphosa 2 (10.5%), Icterohaemorrhagiae 2 (10.5%), Pyrogenes 2 (10.5%), Djasiman 1 (5.3%), Tarassovi 1 (5.3%). We estimated that the annual incidence of leptospirosis was 11–18 cases per 100,000 population. This was a significantly lower incidence than 2007–08 (p<0.001). Conclusions: We estimated a much lower incidence of acute leptospirosis than previously, with a notable absence of cases due to the previously predominant serogroup Mini. Our findings indicate a dynamic epidemiology of leptospirosis in this area and highlight the value of multi-year surveillance to understand leptospirosis epidemiology

Efficient noninteractive certification of RSA moduli and beyond

In many applications, it is important to verify that an RSA public key (N; e) speci es a permutation over the entire space ZN, in order to prevent attacks due to adversarially-generated public keys. We design and implement a simple and e cient noninteractive zero-knowledge protocol (in the random oracle model) for this task. Applications concerned about adversarial key generation can just append our proof to the RSA public key without any other modi cations to existing code or cryptographic libraries. Users need only perform a one-time veri cation of the proof to ensure that raising to the power e is a permutation of the integers modulo N. For typical parameter settings, the proof consists of nine integers modulo N; generating the proof and verifying it both require about nine modular exponentiations. We extend our results beyond RSA keys and also provide e cient noninteractive zero- knowledge proofs for other properties of N, which can be used to certify that N is suitable for the Paillier cryptosystem, is a product of two primes, or is a Blum integer. As compared to the recent work of Auerbach and Poettering (PKC 2018), who provide two-message protocols for similar languages, our protocols are more e cient and do not require interaction, which enables a broader class of applications.https://eprint.iacr.org/2018/057First author draf

Risk factors for human brucellosis in northern Tanzania

Little is known about the epidemiology of human brucellosis in sub-Saharan Africa. This hampers prevention and control efforts at the individual and population levels. To evaluate risk factors for brucellosis in northern Tanzania, we conducted a study of patients presenting with fever to two hospitals in Moshi, Tanzania. Serum taken at enrollment and at 4–6 week follow-up was tested by Brucella microagglutination test. Among participants with a clinically compatible illness, confirmed brucellosis cases were defined as having a ≥ 4-fold rise in agglutination titer between paired sera or a blood culture positive for Brucella spp., and probable brucellosis cases were defined as having a single reciprocal titer ≥ 160. Controls had reciprocal titers < 20 in paired sera. We collected demographic and clinical information and administered a risk factor questionnaire. Of 562 participants in the analysis, 50 (8.9%) had confirmed or probable brucellosis. Multivariable analysis showed that risk factors for brucellosis included assisting goat or sheep births (Odds ratio [OR] 5.9, 95% confidence interval [CI] 1.4, 24.6) and having contact with cattle (OR 1.2, 95% CI 1.0, 1.4). Consuming boiled or pasteurized dairy products was protective against brucellosis (OR 0.12, 95% CI 0.02, 0.93). No participants received a clinical diagnosis of brucellosis from their healthcare providers. The under-recognition of brucellosis by healthcare workers could be addressed with clinician education and better access to brucellosis diagnostic tests. Interventions focused on protecting livestock keepers, especially those who assist goat or sheep births, are needed

Universally Convertible Directed Signatures

Many variants of Chaum and van Antwerpen's undeniable signatures have been proposed to achieve specific properties desired in real-world applications of cryptography. Among them, directed signatures were introduced by Lim and Lee in 1993. Directed signatures differ from the well-known confirmer signatures in that the signer has the simultaneous abilities to confirm, deny and individually convert a signature. The universal conversion of these signatures has remained an open problem since their introduction in 1993. This paper provides a positive answer to this quest by showing a very efficient design for universally convertible directed signatures (UCDS) both in terms of computational complexity and signature size. Our construction relies on the so-called xyz-trick applicable to bilinear map groups. We define proper security notions for UCDS schemes and show that our construction is secure, in the random oracle model, under computational assumptions close to the CDH and DDH assumptions. Finally, we introduce and realize traceable universally convertible directed signatures where a master tracing key allows to link signatures to their direction

Risk factors for human acute leptospirosis in northern Tanzania

Introduction: Leptospirosis is a major cause of febrile illness in Africa but little is known about risk factors for human infection. We conducted a cross-sectional study to investigate risk factors for acute leptospirosis and Leptospira seropositivity among patients with fever attending referral hospitals in northern Tanzania. Methods: We enrolled patients with fever from two referral hospitals in Moshi, Tanzania, 2012–2014, and performed Leptospira microscopic agglutination testing on acute and convalescent serum. Cases of acute leptospirosis were participants with a four-fold rise in antibody titers, or a single reciprocal titer ≥800. Seropositive participants required a single titer ≥100, and controls had titers <100 in both acute and convalescent samples. We administered a questionnaire to assess risk behaviors over the preceding 30 days. We created cumulative scales of exposure to livestock urine, rodents, and surface water, and calculated odds ratios (OR) for individual behaviors and for cumulative exposure variables. Results: We identified 24 acute cases, 252 seropositive participants, and 592 controls. Rice farming (OR 14.6), cleaning cattle waste (OR 4.3), feeding cattle (OR 3.9), farm work (OR 3.3), and an increasing cattle urine exposure score (OR 1.2 per point) were associated with acute leptospirosis. Conclusions: In our population, exposure to cattle and rice farming were risk factors for acute leptospirosis. Although further data is needed, these results suggest that cattle may be an important source of human leptospirosis. Further investigation is needed to explore the potential for control of livestock Leptospira infection to reduce human disease