Revealing quantum statistics with a pair of distant atoms

Quantum statistics have a profound impact on the properties of systems composed of identical particles. In this Letter, we demonstrate that the quantum statistics of a pair of identical massive particles can be probed by a direct measurement of the exchange symmetry of their wave function even in conditions where the particles always remain spatially well separated and thus the exchange contribution to their interaction energy is negligible. We present two protocols revealing the bosonic or fermionic nature of a pair of particles and discuss possible implementations with a pair of trapped atoms or ions.Comment: 4+13 pages, v2 corresponds to the version published by PR

A simple abstraction of arrays and maps by program translation

We present an approach for the static analysis of programs handling arrays, with a Galois connection between the semantics of the array program and semantics of purely scalar operations. The simplest way to implement it is by automatic, syntactic transformation of the array program into a scalar program followed analysis of the scalar program with any static analysis technique (abstract interpretation, acceleration, predicate abstraction,.. .). The scalars invariants thus obtained are translated back onto the original program as universally quantified array invariants. We illustrate our approach on a variety of examples, leading to the " Dutch flag " algorithm

Scaling Bounded Model Checking By Transforming Programs With Arrays

Bounded Model Checking is one the most successful techniques for finding bugs in program. However, model checkers are resource hungry and are often unable to verify programs with loops iterating over large arrays.We present a transformation that enables bounded model checkers to verify a certain class of array properties. Our technique transforms an array-manipulating (ANSI-C) program to an array-free and loop-free (ANSI-C) program thereby reducing the resource requirements of a model checker significantly. Model checking of the transformed program using an off-the-shelf bounded model checker simulates the loop iterations efficiently. Thus, our transformed program is a sound abstraction of the original program and is also precise in a large number of cases - we formally characterize the class of programs for which it is guaranteed to be precise. We demonstrate the applicability and usefulness of our technique on both industry code as well as academic benchmarks

Control of Fusarium head blight and accumulation of deoxynivalenol in durum wheat grain, semolina and bran

To verify the effects of E.B.I. fungicides on Fusarium head blight and to determine the deoxynivalenol (DON) content in grain, semolina and bran, three separate trials were carried out in fields near Bologna (Italy) on susceptible durum wheat varieties artificially inoculated with F. graminearum and F. culmorum, responsible of this disease. Treatments with bromuconazole, prochloraz, tebuconazole applied in the field had significantly reduced the FHB disease incidence and severity by 56% and 73% respectively and the numbers of kernels infected by F. graminearum and F. culmorum by 66.6%. These products reduced also DON content in kernels, semolina and bran, compared to the non treated samples. The correlation (r) between DON and the incidence of F. graminearum and F. culmorum infected kernels was in the Original Sample (OS) 0.90

Power calculation for gravitational radiation: oversimplification and the importance of time scale

A simplified formula for gravitational-radiation power is examined. It is shown to give completely erroneous answers in three situations, making it useless even for rough estimates. It is emphasized that short timescales, as well as fast speeds, make classical approximations to relativistic calculations untenable.Comment: Three pages, no figures, accepted for publication in Astronomische Nachrichte

Catalysis in non--local quantum operations

We show how entanglement can be used, without being consumed, to accomplish unitary operations that could not be performed with out it. When applied to infinitesimal transformations our method makes equivalent, in the sense of Hamiltonian simulation, a whole class of otherwise inequivalent two-qubit interactions. The new catalysis effect also implies the asymptotic equivalence of all such interactions.Comment: 4 pages, revte

Rilievo in tempo reale di difetti superficiali su corpi in movimento a velocità elevata con ultrasuoni senza contatto

Il rilievo di difetti superficiali durante le ispezioni periodiche è importante poiché in genere le sollecitazioni sono maggiori in superficie e possono accelerare la crescita delle discontinuità. I difetti superficiali possono essere rilevati utilizzando alcuni metodi tradizionali di controllo non distruttivo, quali correnti indotte, liquidi penetranti, polveri magnetiche ed ultrasuoni. Alcuni tra questi metodi possono essere usati solo in condizioni statiche; gli altri presentano delle limitazioni per l’ispezione dinamica. I progressi recenti nel campo dei sensori ultrasonori senza contatto ci hanno permesso di sviluppare un sistema semplice per l’ispezione in tempo reale di corpi in movimento a velocità elevata. Nel lavoro viene presentata la possibilità di usare, col sistema sviluppato, due metodologie, basate sugli ultrasuoni generati e ricevuti senza contatto con la struttura, per rilevare difetti superficiali su corpi in movimento a 100 km/h, così da poter effettuare l’ispezione anche in servizio. Una metodologia, basata sull’uso di laser e trasduttori senza contatto, utilizza i vantaggi delle onde superficiali generate con il laser; l’analisi viene fatta sull’onda riflessa, creata dall’interazione dell’onda superficiale con il difetto. Lo spessore superficiale ispezionato è selezionabile dalla lunghezza d’onda dell’onda superficiale generata. L’altra metodologia, basata sull’uso di trasduttori senza contatto, sfrutta gli svantaggi della trasmissione degli ultrasuoni all’interfaccia aria/metallo; l’analisi viene fatta sulla diffrazione dell’onda riflessa dalla superficie. L’esecuzione delle ispezioni risulta semplice con entrambe le tecniche. I risultati sperimentali indicano una buona efficienza delle due metodologie proposte per il rilievo, in tempo reale, di difetti superficiali su corpi in movimento ad alta velocità

Cathode Active Material Recycling from Spent Lithium Batteries: A Green (Circular) Approach Based on Deep Eutectic Solvents

The transition to a circular economy vision must handle the increasing request of metals required to satisfy the battery industry; this can be obtained by recycling and feeding back secondary raw materials recovered through proper waste management. Here, a novel and green proof-of-concept was developed, based on deep eutectic solvents (DESs) to fully and easily recover valuable metals from various cathode active materials, including LiMn2O4, LiNi0.5Mn1.5O4, and LiNi0.8Co0.2O2. DES composed of choline chloride and lactic acid could leach Li, Mn, Co, and Ni, achieving efficiency of 100 % under much milder conditions with respect to the previous literature. For the first time, to our best knowledge, a two-step approach was reported in the case of LiNi0.8Co0.2O2 for selective recovery of Li, Co, and Ni with high yield and purity. Furthermore, other cathode components, namely aluminum current collector and binder, were found to be not dissolved by the proposed DES, thus making a simple separation from the active material possible. Finally, this strategy was designed to easily regenerate and reuse the leaching solvents for more than one extraction, thus further boosting process sustainability

Expectation Maximization in Deep Probabilistic Logic Programming

Probabilistic Logic Programming (PLP) combines logic and probability for representing and reasoning over domains with uncertainty. Hierarchical probability Logic Programming (HPLP) is a recent language of PLP whose clauses are hierarchically organized forming a deep neural network or arithmetic circuit. Inference in HPLP is done by circuit evaluation and learning is therefore cheaper than any generic PLP language. We present in this paper an Expectation Maximization algorithm, called Expectation Maximization Parameter learning for HIerarchical Probabilistic Logic programs (EMPHIL), for learning HPLP parameters. The algorithm converts an arithmetic circuit into a Bayesian network and performs the belief propagation algorithm over the corresponding factor graph