Représentation syntaxique et sémantique d'un acte

Accessible sur le site du LAMSADE : http://www.lamsade.dauphine.fr/Annales du LAMSADE n°8Dans la plupart des modèles proposés en théorie de la décision individuelle, les agents sont doués d'omniscience logique. Nous proposons ici un cadre formel pour distinguer ce qui relève d'une part du savoir, résultat des capacités computationnelles éventuellement limitées d'un agent et ce qui relève d'autre part des degrés de croyance que l'agent se forme sur ce qu'il juge incertain. Pour cela nous explicitons le langage syntaxique qui décrit les actes sur lesquels portent les préférences de l'agent. Nous proposons un théorème général de représentation des préférences à la Schmeidler [5] fondé axiomatiquement. Nous donnons une condition sous laquelle existe une représentation sémantique recourrant à des mondes éventuellement "impossibles". Nous caractérisons ensuite les comportements par rapport à l'incertain et nous explicitons les conditions sous lesquelles un agent est logiquement omniscient et se comporte comme si ces croyances ne portaient que sur des mondes possibles. In individual decision theory, the models generally assume that the decision maker (DM) is logically omniscient. In this paper, we build a model that allows to distinguish between knowledge, that is the product of the DM's computational abilities, and the various degrees of belief the DM holds over what she thinks as being uncertain. In order to achieve our objective, we explicitly introduce a syntactic language that describes the acts the preferences of the DM are defined on. We offer a general representation theorem of preferences a la Schmeidler [5]. Then, we provide a condition under which there exists a semantic representation that may require "impossible" worlds. Finally, we specify the DM's behavior towards uncertainty logically omniscient and behaves as if her beliefs where defined exclusively on possible worlds

Quantum security of subset cover problems

The subset cover problem for $k \geq 1$ hash functions, which can be seen as an extension of the collision problem, was introduced in 2002 by Reyzin and Reyzin to analyse the security of their hash-function based signature scheme HORS. The security of many hash-based signature schemes relies on this problem or a variant of this problem (e.g. HORS, SPHINCS, SPHINCS+, \dots). Recently, Yuan, Tibouchi and Abe (2022) introduced a variant to the subset cover problem, called restricted subset cover, and proposed a quantum algorithm for this problem. In this work, we prove that any quantum algorithm needs to make $\Omega\left(k^{-\frac{2^{k-1}}{2^k-1}}\cdot N^{\frac{2^{k-1}-1}{2^k-1}}\right)$ queries to the underlying hash functions to solve the restricted subset cover problem, which essentially matches the query complexity of the algorithm proposed by Yuan, Tibouchi and Abe. We also analyze the security of the general $(r,k)$-subset cover problem, which is the underlying problem that implies the unforgeability of HORS under a $r$-chosen message attack (for $r \geq 1$). We prove that a generic quantum algorithm needs to make $\Omega\left(N^{k/5}\right)$ queries to the underlying hash functions to find a $(1,k)$-subset cover. We also propose a quantum algorithm that finds a $(r,k)$-subset cover making $O\left(N^{k/(2+2r)}\right)$ queries to the $k$ hash functions

Towards the Impossibility of Quantum Public Key Encryption with Classical Keys from One-Way Functions

There has been a recent interest in proposing quantum protocols whose security relies on weaker computational assumptions than their classical counterparts. Importantly to our work, it has been recently shown that public-key encryption (PKE) from one-way functions (OWF) is possible if we consider quantum public keys. Notice that we do not expect classical PKE from OWF given the impossibility results of Impagliazzo and Rudich (STOC\u2789). However, the distribution of quantum public keys is a challenging task. Therefore, the main question that motivates our work is if quantum PKE from OWF is possible if we have classical public keys. Such protocols are impossible if ciphertexts are also classical, given the impossibility result of Austrin et al. (CRYPTO\u2722) of quantum enhanced key-agreement (KA) with classical communication. In this paper, we focus on black-box separation for PKE with classical public key and quantum ciphertext from OWF under the polynomial compatibility conjecture, first introduced in Austrin et al.. More precisely, we show the separation when the decryption algorithm of the PKE does not query the OWF. We prove our result by extending the techniques of Austrin et al. and we show an attack for KA in an extended classical communication model where the last message in the protocol can be a quantum state

MLVA-16 typing of 295 marine mammal <i>Brucella</i> isolates from different animal and geographic origins identifies 7 major groups within <i>Brucella ceti</i> and <i>Brucella pinnipedialis</i>

BackgroundSince 1994, Brucella strains have been isolated from a wide range of marine mammals. They are currently recognized as two new Brucella species, B. pinnipedialis for the pinniped isolates and B. ceti for the cetacean isolates in agreement with host preference and specific phenotypic and molecular markers. In order to investigate the genetic relationships within the marine mammal Brucella isolates and with reference to terrestrial mammal Brucella isolates, we applied in this study the Multiple Loci VNTR (Variable Number of Tandem Repeats) Analysis (MLVA) approach. A previously published assay comprising 16 loci (MLVA-16) that has been shown to be highly relevant and efficient for typing and clustering Brucella strains from animal and human origin was used.Results294 marine mammal Brucella strains collected in European waters from 173 animals and a human isolate from New Zealand presumably from marine origin were investigated by MLVA-16. Marine mammal Brucella isolates were shown to be different from the recognized terrestrial mammal Brucella species and biovars and corresponded to 3 major related groups, one specific of the B. ceti strains, one of the B. pinnipedialis strains and the last composed of the human isolate. In the B. ceti group, 3 subclusters were identified, distinguishing a cluster of dolphin, minke whale and porpoise isolates and two clusters mostly composed of dolphin isolates. These results were in accordance with published analyses using other phenotypic or molecular approaches, or different panels of VNTR loci. The B. pinnipedialis group could be similarly subdivided in 3 subclusters, one composed exclusively of isolates from hooded seals (Cystophora cristata) and the two others comprising other seal species isolates.ConclusionThe clustering analysis of a large collection of marine mammal Brucella isolates from European waters significantly strengthens the current view of the population structure of these two species, and their relative position with respect to the rest of the Brucella genus. MLVA-16 is confirmed as being a rapid, highly discriminatory and reproducible method to classify Brucella strains including the marine mammal isolates. The Brucella2009 MLVA-16 genotyping database available at http://mlva.u-psud.fr is providing a detailed coverage of all 9 currently recognized Brucella species

Probing the Impact of Porosity on Swelling Kinetics of Hydrophilic Matrices

The aim of the present investigation was to understand the swelling behaviour of HPMC and PEO-based matrices and to evaluate the impact of porosity on the swelling kinetics. It was noticed that the HPMC has higher swelling rates but both undergo diffusion oriented swelling mechanism. It could also the concluded that the porosity has a marked influence in the development of gel layer on the surface of these matrices

Dairy Consumption and the Incidence of Hyperglycemia and the Metabolic Syndrome: Results from a French prospective study, Data from the Epidemiological Study on the Insulin Resistance Syndrome (DESIR)

International audienceOBJECTIVE: In the French Data from the Epidemiological Study on the Insulin Resistance Syndrome (DESIR) cohort, cross-sectional analyses have shown that a higher consumption of dairy products and calcium are associated with a lower prevalence of the metabolic syndrome (MetS). We assess the influence of dairy products on 9-year incident MetS and on impaired fasting glycemia and/or type 2 diabetes (IFG/T2D). RESEARCH DESIGN AND METHODS: Men and women who completed a food frequency questionnaire at baseline and after 3 years were studied (n = 3,435). Logistic regression models were used to study associations between the average year 0 and year 3 consumption of milk and dairy products, cheese, dietary calcium density, and incident MetS and IFG/T2D after adjusting for 1) sex, age, alcohol, smoking, physical activity, fat intake and 2) additionally for BMI. Associations between dairy products and continuous variables were studied by repeated-measures ANCOVA, using the same covariates. RESULTS: Dairy products other than cheese, and dietary calcium density, were inversely associated with incident MetS and IFG/T2D; cheese was negatively associated with incident MetS. All three parameters were associated with lower diastolic blood pressure, and with a lower BMI gain. Higher cheese intake and calcium density were associated with a lower increase in waist circumference and lower triglyceride levels. Calcium density was also associated with a lower systolic blood pressure and a lower 9-year increase in plasma triglyceride levels. CONCLUSIONS: A higher consumption of dairy products and calcium was associated with a lower 9-year incidence of MetS and IFG/T2D in a large cohort drawn from the general population

Variation in Array Size, Monomer Composition and Expression of the Macrosatellite DXZ4

Macrosatellites are some of the most polymorphic regions of the human genome, yet many remain uncharacterized despite the association of some arrays with disease susceptibility. This study sought to explore the polymorphic nature of the X-linked macrosatellite DXZ4. Four aspects of DXZ4 were explored in detail, including tandem repeat copy number variation, array instability, monomer sequence polymorphism and array expression. DXZ4 arrays contained between 12 and 100 3.0 kb repeat units with an average array containing 57. Monomers were confirmed to be arranged in uninterrupted tandem arrays by restriction digest analysis and extended fiber FISH, and therefore DXZ4 encompasses 36–288 kb of Xq23. Transmission of DXZ4 through three generations in three families displayed a high degree of meiotic instability (8.3%), consistent with other macrosatellite arrays, further highlighting the unstable nature of these sequences in the human genome. Subcloning and sequencing of complete DXZ4 monomers identified numerous single nucleotide polymorphisms and alleles for the three microsatellite repeats located within each monomer. Pairwise comparisons of DXZ4 monomer sequences revealed that repeat units from an array are more similar to one another than those originating from different arrays. RNA fluorescence in situ hybridization revealed significant variation in DXZ4 expression both within and between cell lines. DXZ4 transcripts could be detected originiating from both the active and inactive X chromosome. Expression levels of DXZ4 varied significantly between males, but did not relate to the size of the array, nor did inheritance of the same array result in similar expression levels. Collectively, these studies provide considerable insight into the polymorphic nature of DXZ4, further highlighting the instability and variation potential of macrosatellites in the human genome