Fermi-Polaron: Diagrammatic Monte Carlo for Divergent Sign-Alternating Series

Diagrammatic Monte Carlo approach is applied to a problem of a single spin-down fermion resonantly interacting with the sea of ideal spin-up fermions. On one hand, we develop a generic, sign-problem tolerant, method of exact numerical solution of polaron-type models. On the other hand, our solution is important for understanding the phase diagram and properties of the BCS-BEC crossover in the strongly imbalanced regime. This is the first, and possibly characteristic, example of how the Monte Carlo approach can be applied to a divergent sign-alternating diagrammatic series.Comment: 4 pages, 7 figure

An implementation of Deflate in Coq

The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the standard. We tried to fix this problem by giving a rigorous mathematical specification, which we formalized in Coq. We produced a verified implementation in Coq which achieves competitive performance on inputs of several megabytes. In this paper we present the several parts of our implementation: a fully verified implementation of canonical prefix-free codings, which can be used in other compression formats as well, and an elegant formalism for specifying sophisticated formats, which we used to implement both a compression and decompression algorithm in Coq which we formally prove inverse to each other -- the first time this has been achieved to our knowledge. The compatibility to other Deflate implementations can be shown empirically. We furthermore discuss some of the difficulties, specifically regarding memory and runtime requirements, and our approaches to overcome them

Quantum coherence and carriers mobility in organic semiconductors

We present a model of charge transport in organic molecular semiconductors based on the effects of lattice fluctuations on the quantum coherence of the electronic state of the charge carrier. Thermal intermolecular phonons and librations tend to localize pure coherent states and to assist the motion of less coherent ones. Decoherence is thus the primary mechanism by which conduction occurs. It is driven by the coupling of the carrier to the molecular lattice through polarization and transfer integral fluctuations as described by the hamiltonian of Gosar and Choi. Localization effects in the quantum coherent regime are modeled via the Anderson hamiltonian with correlated diagonal and non-diagonal disorder leading to the determination of the carrier localization length. This length defines the coherent extension of the ground state and determines, in turn, the diffusion range in the incoherent regime and thus the mobility. The transfer integral disorder of Troisi and Orlandi can also be incorporated. This model, based on the idea of decoherence, allowed us to predict the value and temperature dependence of the carrier mobility in prototypical organic semiconductors that are in qualitative accord with experiments

Optical conductivity of the Frohlich polaron

We present accurate results for optical conductivity of the three dimensional Frohlich polaron in all coupling regimes. The systematic-error free diagrammatic quantum Monte Carlo method is employed where the Feynman graphs for the momentum-momentum correlation function in imaginary time are summed up. The real-frequency optical conductivity is obtained by the analytic continuation with stochastic optimization. We compare numerical data with available perturbative and non-perturbative approaches to the optical conductivity and show that the picture of sharp resonances due to relaxed excited states in the strong coupling regime is ``washed out''by large broadening of these states. As a result, the spectrum contains only a single-maximum broad peak with peculiar shape and a shoulder.Comment: 4 pages, 6 ps-figure

Equations over free inverse monoids with idempotent variables

We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse monoid has a solution. The result is proved by a direct reduction to solve language equations with one-sided concatenation and a known complexity result by Baader and Narendran: Unification of concept terms in description logics, 2001. We also show that the problem becomes DEXPTIME hard , as soon as the quotient group of the free inverse monoid has rank at least two. Decidability for systems of typed equations over a free inverse monoid with one irreducible variable and at least one unbalanced equation is proved with the same complexity for the upper bound. Our results improve known complexity bounds by Deis, Meakin, and Senizergues: Equations in free inverse monoids, 2007. Our results also apply to larger families of equations where no decidability has been previously known.Comment: 28 pages. The conference version of this paper appeared in the proceedings of 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015. Springer LNCS 9139, pp. 173-188 (2015

Experimental Study of the Radiative Decays K+ -> mu+ nu e+e- and K+ -> e+ nu e+e-

Experiment 865 at the Brookhaven AGS obtained 410 K+ -> e+ nu e+e- and 2679 K+ -> mu+ nu e+e- events including 10% and 19% background. The branching ratios were measured to be (2.48+-0.14(stat.)+-0.14(syst.))x10^-8 (m_ee>150 MeV) and (7.06+-0.16+-0.26)x10^-8 (m_ee>145 MeV), respectively. Results for the decay form factors are presented.Comment: 4 pages, 3 figures, RevTeX

First observation of the decay K+ -> e+ nu mu+ mu-

Experiment 865 at the Brookhaven AGS has observed the decay K^+ -> e^+ nu mu^+ mu^-. The branching ratio extracted is (1.72 +/- 0.37(stat) +/- 0.17(syst) +/- 0.19(model)) x 10^{-8} where the third term in the error results from the use of a model to extrapolate into a kinematic region dominated by background.Comment: 4 pages, 6 figures, Revtex4. Correction to figure and minor text change

A new measurement of K+(e4) decay and the s-wave pi-pi-scattering length a00

A sample of 400000 events from the decay K+->pi+pi-e+nu(e)(K(e4)) has been collected in experiment E865 at the Brookhaven AGS. The analysis of these data yields new measurements of the K(e4) branching ratio (4.11+-0.01+-0.11)*10**(-5)), the s-wave pi-pi scattering length a00=0.228+-0.012+-0.003, and the form factors F, G, and H of the hadronic current and their dependence on the invariant pi-pi mass