165 research outputs found

    Accelerated expansion from ghost-free bigravity: a statistical analysis with improved generality

    Full text link
    We study the background cosmology of the ghost-free, bimetric theory of gravity. We perform an extensive statistical analysis of the model using both frequentist and Bayesian frameworks and employ the constraints on the expansion history of the Universe from the observations of supernovae, the cosmic microwave background and the large scale structure to estimate the model's parameters and test the goodness of the fits. We explore the parameter space of the model with nested sampling to find the best-fit chi-square, obtain the Bayesian evidence, and compute the marginalized posteriors and mean likelihoods. We mainly focus on a class of sub-models with no explicit cosmological constant (or vacuum energy) term to assess the ability of the theory to dynamically cause a late-time accelerated expansion. The model behaves as standard gravity without a cosmological constant at early times, with an emergent extra contribution to the energy density that converges to a cosmological constant in the far future. The model can in most cases yield very good fits and is in perfect agreement with the data. This is because many points in the parameter space of the model exist that give rise to time-evolution equations that are effectively very similar to those of the Λ\LambdaCDM. This similarity makes the model compatible with observations as in the Λ\LambdaCDM case, at least at the background level. Even though our results indicate a slightly better fit for the Λ\LambdaCDM concordance model in terms of the pp-value and evidence, none of the models is statistically preferred to the other. However, the parameters of the bigravity model are in general degenerate. A similar but perturbative analysis of the model as well as more data will be required to break the degeneracies and constrain the parameters, in case the model will still be viable compared to the Λ\LambdaCDM.Comment: 42 pages, 9 figures; typos corrected in equations (2.12), (2.13), (3.7), (3.8) and (3.9); more discussions added (footnotes 5, 8, 10 and 13) and abstract, sections 4.2, 4.3 and 5 (conclusions) modified in response to referee's comments; references added; acknowledgements modified; all results completely unchanged; matches version accepted for publication in JHE

    Practical product proofs for lattice commitments

    Get PDF
    We construct a practical lattice-based zero-knowledge argument for proving multiplicative relations between committed values. The underlying commitment scheme that we use is the currently most efficient one of Baum et al. (SCN 2018), and the size of our multiplicative proof (9 KB) is only slightly larger than the 7 KB required for just proving knowledge of the committed values. We additionally expand on the work of Lyubashevsky and Seiler (Eurocrypt 2018) by showing that the above-mentioned result can also apply when working over rings Zq[X]/(Xd+1) where Xd+1 splits into low-degree factors, which is a desirable property for many applications (e.g. range proofs, multiplications over

    Replication in Cells of Hematopoietic Origin Is Necessary for Dengue Virus Dissemination

    Get PDF
    Dengue virus (DENV) is a mosquito-borne pathogen for which no vaccine or specific therapeutic is available. Although it is well established that dendritic cells and macrophages are primary sites of DENV replication, it remains unclear whether non-hematopoietic cellular compartments serve as virus reservoirs. Here, we exploited hematopoietic-specific microRNA-142 (miR-142) to control virus tropism by inserting tandem target sites into the virus to restrict replication exclusively in this cell population. In vivo use of this virus restricted infection of CD11b+, CD11c+, and CD45+ cells, resulting in a loss of virus spread, regardless of the route of administration. Furthermore, sequencing of the targeted virus population that persisted at low levels, demonstrated total excision of the inserted miR-142 target sites. The complete conversion of the virus population under these selective conditions suggests that these immune cells are the predominant sources of virus amplification. Taken together, this work highlights the importance of hematopoietic cells for DENV replication and showcases an invaluable tool for the study of virus pathogenesis

    Practical Exact Proofs from Lattices: New Techniques to Exploit Fully-Splitting Rings

    Get PDF
    We propose a very fast lattice-based zero-knowledge proof system for exactly proving knowledge of a ternary solution s{1,0,1}n\vec{s} \in \{-1,0,1\}^n to a linear equation As=uA\vec{s}=\vec{u} over Zq\mathbb{Z}_q, which improves upon the protocol by Bootle, Lyubashevsky and Seiler (CRYPTO 2019) by producing proofs that are shorter by a factor of 88. At the core lies a technique that utilizes the module-homomorphic BDLOP commitment scheme (SCN 2018) over the fully splitting cyclotomic ring Zq[X]/(Xd+1)\mathbb{Z}_q[X]/(X^d + 1) to prove scalar products with the NTT vector of a secret polynomial

    Zero-Knowledge Arguments for Matrix-Vector Relations and Lattice-Based Group Encryption

    Get PDF
    International audienceGroup encryption (GE) is the natural encryption analogue of group signatures in that it allows verifiably encrypting messages for some anonymous member of a group while providing evidence that the receiver is a properly certified group member. Should the need arise, an opening authority is capable of identifying the receiver of any ciphertext. As introduced by Kiayias, Tsiounis and Yung (Asiacrypt'07), GE is motivated by applications in the context of oblivious retriever storage systems, anonymous third parties and hierarchical group signatures. This paper provides the first realization of group encryption under lattice assumptions. Our construction is proved secure in the standard model (assuming interaction in the proving phase) under the Learning-With-Errors (LWE) and Short-Integer-Solution (SIS) assumptions. As a crucial component of our system, we describe a new zero-knowledge argument system allowing to demonstrate that a given ciphertext is a valid encryption under some hidden but certified public key, which incurs to prove quadratic statements about LWE relations. Specifically, our protocol allows arguing knowledge of witnesses consisting of X ∈ Z m×n q , s ∈ Z n q and a small-norm e ∈ Z m which underlie a public vector b = X · s + e ∈ Z m q while simultaneously proving that the matrix X ∈ Z m×n q has been correctly certified. We believe our proof system to be useful in other applications involving zero-knowledge proofs in the lattice setting

    A Targeted Constitutive Mutation in the Apc Tumor Suppressor Gene Underlies Mammary But Not Intestinal Tumorigenesis

    Get PDF
    Germline mutations in the adenomatous polyposis coli (APC) gene are responsible for familial adenomatous polyposis (FAP), an autosomal dominant hereditary predisposition to the development of multiple colorectal adenomas and of a broad spectrum of extra-intestinal tumors. Moreover, somatic APC mutations play a rate-limiting and initiating role in the majority of sporadic colorectal cancers. Notwithstanding its multifunctional nature, the main tumor suppressing activity of the APC gene resides in its ability to regulate Wnt/β-catenin signaling. Notably, genotype–phenotype correlations have been established at the APC gene between the length and stability of the truncated proteins encoded by different mutant alleles, the corresponding levels of Wnt/β-catenin signaling activity they encode for, and the incidence and distribution of intestinal and extra-intestinal tumors. Here, we report a novel mouse model, Apc1572T, obtained by targeting a truncated mutation at codon 1572 in the endogenous Apc gene. This hypomorphic mutant allele results in intermediate levels of Wnt/β-catenin signaling activation when compared with other Apc mutations associated with multifocal intestinal tumors. Notwithstanding the constitutive nature of the mutation, Apc+/1572T mice have no predisposition to intestinal cancer but develop multifocal mammary adenocarcinomas and subsequent pulmonary metastases in both genders. The histology of the Apc1572T primary mammary tumours is highly heterogeneous with luminal, myoepithelial, and squamous lineages and is reminiscent of metaplastic carcinoma of the breast in humans. The striking phenotype of Apc+/1572T mice suggests that specific dosages of Wnt/β-catenin signaling activity differentially affect tissue homeostasis and initiate tumorigenesis in an organ-specific fashion

    A Genome-Wide Association Study Identifies rs2000999 as a Strong Genetic Determinant of Circulating Haptoglobin Levels

    Get PDF
    Haptoglobin is an acute phase inflammatory marker. Its main function is to bind hemoglobin released from erythrocytes to aid its elimination, and thereby haptoglobin prevents the generation of reactive oxygen species in the blood. Haptoglobin levels have been repeatedly associated with a variety of inflammation-linked infectious and non-infectious diseases, including malaria, tuberculosis, human immunodeficiency virus, hepatitis C, diabetes, carotid atherosclerosis, and acute myocardial infarction. However, a comprehensive genetic assessment of the inter-individual variability of circulating haptoglobin levels has not been conducted so far

    Universal Alcohol/Drug Screening in Prenatal Care: A Strategy for Reducing Racial Disparities? Questioning the Assumptions

    Get PDF
    Agencies and organizations promoting universal screening for alcohol and drug use in prenatal care argue that universal screening will reduce White versus Black racial disparities in reporting to Child Protective Services (CPS) at delivery. Yet, no published research has assessed the impact of universal screening on reporting disparities or explored plausible mechanisms. This review defines two potential mechanisms: Equitable Surveillance and Effective Treatment and identifies assumptions underlying each mechanism. It reviews published literature relating to each assumption. Research relating to assumptions underlying each mechanism is primarily inconclusive or contradictory. Thus, available research does not support the claim that universal screening for alcohol and drug use in prenatal care reduces racial disparities in CPS reporting at delivery. Reducing these reporting disparities requires more than universal screening

    Are We Predicting the Actual or Apparent Distribution of Temperate Marine Fishes?

    Get PDF
    Planning for resilience is the focus of many marine conservation programs and initiatives. These efforts aim to inform conservation strategies for marine regions to ensure they have inbuilt capacity to retain biological diversity and ecological function in the face of global environmental change – particularly changes in climate and resource exploitation. In the absence of direct biological and ecological information for many marine species, scientists are increasingly using spatially-explicit, predictive-modeling approaches. Through the improved access to multibeam sonar and underwater video technology these models provide spatial predictions of the most suitable regions for an organism at resolutions previously not possible. However, sensible-looking, well-performing models can provide very different predictions of distribution depending on which occurrence dataset is used. To examine this, we construct species distribution models for nine temperate marine sedentary fishes for a 25.7 km2 study region off the coast of southeastern Australia. We use generalized linear model (GLM), generalized additive model (GAM) and maximum entropy (MAXENT) to build models based on co-located occurrence datasets derived from two underwater video methods (i.e. baited and towed video) and fine-scale multibeam sonar based seafloor habitat variables. Overall, this study found that the choice of modeling approach did not considerably influence the prediction of distributions based on the same occurrence dataset. However, greater dissimilarity between model predictions was observed across the nine fish taxa when the two occurrence datasets were compared (relative to models based on the same dataset). Based on these results it is difficult to draw any general trends in regards to which video method provides more reliable occurrence datasets. Nonetheless, we suggest predictions reflecting the species apparent distribution (i.e. a combination of species distribution and the probability of detecting it). Consequently, we also encourage researchers and marine managers to carefully interpret model predictions
    corecore