Spin-1/2 Bosonization on Compact Surfaces

We extend an existing Bose-Fermi equivalence formula to two-dimensional Euclidean space-times with arbitrary compact topology. The result relates the nonchiral Dirac partition function to that of a scalar field, times a theta function. The proof is a short application of methods from complex geometry and Quillen\u27s determinant constructions

Property (RD) for Hecke pairs

As the first step towards developing noncommutative geometry over Hecke C*-algebras, we study property (RD) (Rapid Decay) for Hecke pairs. When the subgroup H in a Hecke pair (G,H) is finite, we show that the Hecke pair (G,H) has (RD) if and only if G has (RD). This provides us with a family of examples of Hecke pairs with property (RD). We also adapt Paul Jolissant's works in 1989 to the setting of Hecke C*-algebras and show that when a Hecke pair (G,H) has property (RD), the algebra of rapidly decreasing functions on the set of double cosets is closed under holomorphic functional calculus of the associated (reduced) Hecke C*-algebra. Hence they have the same K_0-groups.Comment: A short note added explaining other methods to prove that the subalgebra of rapidly decreasing functions is smooth. This is the final version as published. The published version is available at: springer.co

Analytic curves in algebraic varieties over number fields

We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and P\'olya-Bertrandias valid over the projective line to arbitrary algebraic curves over a number field. The formulation and the proof of these criteria involve some basic notions in Arakelov geometry, combined with complex and rigid analytic geometry (notably, potential theory over complex and $p$-adic curves). We also discuss geometric analogues, pertaining to the algebraic geometry of projective surfaces, of these arithmetic criteria.Comment: 55 pages. To appear in "Algebra, Arithmetic, and Geometry: In Honor of Y.i. Manin", Y. Tschinkel & Yu. Manin editors, Birkh\"auser, 200

Response of male \u3ci\u3eCentruroides vittatus\u3c/i\u3e (Scorpiones: Buthidae) to aerial and substrate-borne chemical signals

Chemical signaling promotes mate location throughout numerous animal taxa. In this study we investigated the possibility that striped scorpions, Centruroides vittatus, use chemical signaling in the form of odor plumes or substrate-borne deposits as communication channels. A Y-shaped arena was constructed to test scorpions’ use of air-borne chemical cues in the detection of potential mates. A second, circular behavioral choice chamber was used to test male scorpions’ responses to female deposits by direct substrate contact. Male scorpions showed no tendency to move toward the female in tests of air-borne chemical transmission but they did demonstrate behavior associated with chemical detection when exposed to substrate-borne feminine deposits. Our experiments do not provide evidence that male C. vittatus use aerial pheromones to locate female scorpions but that they are highly sensitive to direct contact of substrate-borne chemical deposits

Development of a new molecular typing method of Salmonella spp. based on SNPs detection

The aim of this study was to develop a new molecular typing method of Salmonella spp. based on the detection of point mutations (Single Nucleotide Polymorphisms or SNPs) in the genome. Several genomic regions (ManB, InvA, pduF) were sequenced in strains isolated from pig, the sequences were aligned and 49 point mutations were identified. A panel of 12 SNPs giving a genotype characteristic of a particular serotype was selected. Until now, thes selected SNPs were unable to distinguish the all strains. Therefore, additional SNPs must be selected

Probably Safe or Live

This paper presents a formal characterisation of safety and liveness properties \`a la Alpern and Schneider for fully probabilistic systems. As for the classical setting, it is established that any (probabilistic tree) property is equivalent to a conjunction of a safety and liveness property. A simple algorithm is provided to obtain such property decomposition for flat probabilistic CTL (PCTL). A safe fragment of PCTL is identified that provides a sound and complete characterisation of safety properties. For liveness properties, we provide two PCTL fragments, a sound and a complete one. We show that safety properties only have finite counterexamples, whereas liveness properties have none. We compare our characterisation for qualitative properties with the one for branching time properties by Manolios and Trefler, and present sound and complete PCTL fragments for characterising the notions of strong safety and absolute liveness coined by Sistla

Single Strand Annealing Plays a Major Role in RecA-Independent Recombination between Repeated Sequences in the Radioresistant Deinococcus radiodurans Bacterium

© 2015 Ithurbide et al. The bacterium Deinococcus radiodurans is one of the most radioresistant organisms known. It is able to reconstruct a functional genome from hundreds of radiation-induced chromosomal fragments. Our work aims to highlight the genes involved in recombination between 438 bp direct repeats separated by intervening sequences of various lengths ranging from 1,479 bp to 10,500 bp to restore a functional tetA gene in the presence or absence of radiation-induced DNA double strand breaks. The frequency of spontaneous deletion events between the chromosomal direct repeats were the same in recA+ and in ΔrecA, ΔrecF, and ΔrecO bacteria, whereas recombination between chromosomal and plasmid DNA was shown to be strictly dependent on the RecA and RecF proteins. The presence of mutations in one of the repeated sequence reduced, in a MutS-dependent manner, the frequency of the deletion events. The distance between the repeats did not influence the frequencies of deletion events in recA+as well in ΔrecA bacteria. The absence of the UvrD protein stimulated the recombination between the direct repeats whereas the absence of the DdrB protein, previously shown to be involved in DNA double strand break repair through a single strand annealing (SSA) pathway, strongly reduces the frequency of RecA- (and RecO-) independent deletions events. The absence of the DdrB protein also increased the lethal sectoring of cells devoid of RecA or RecO protein. γ-irradiation of recA+cells increased about 10-fold the frequencies of the deletion events, but at a lesser extend in cells devoid of the DdrB protein. Altogether, our results suggest a major role of single strand annealing in DNA repeat deletion events in bacteria devoid of the RecA protein, and also in recA+bacteria exposed to ionizing radiation

The European Space Analogue Rock Collection (ESAR) at the OSUC-Orleans for in situ planetary missions

International audienceThe ESAR is a collection of well-characterised planetary analogue rocks and minerals that can be used for testing in situ instrumentation for planetary exploration. An online database of all relevant structural, compositional and geotechnics information is also available to the instrument teams and to aid data interpretation during missions

Bosonization in Arbitrary Genus

The equivalence is proved between fermionic and scalar field theories on Riemann surfaces of arbitrary topology. The effects of global topology include a modification of the bosonic action

Monitoring Partially Synchronous Distributed Systems using SMT Solvers

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201