K+ to pi-mu+mu+ and doubly-charged Higgs

The rate for the lepton-number-violating decay K+ to pi- mu+mu+ is calculated in a model which incorporates doubly-charged Higgs bosons. We find that for reasonable values of the parameters the decay branching ratio may be as large as 2E-16. Although this is a discouragingly small number, it is of the same order of magnitude as the rate mediated by massive Majorana neutrinos.Comment: 8 pages, RevTex, Figure1 is P

Generalized Uncertainty Principle, Extra-dimensions and Holography

We consider Uncertainty Principles which take into account the role of gravity and the possible existence of extra spatial dimensions. Explicit expressions for such Generalized Uncertainty Principles in 4+n dimensions are given and their holographic properties investigated. In particular, we show that the predicted number of degrees of freedom enclosed in a given spatial volume matches the holographic counting only for one of the available generalizations and without extra dimensions.Comment: LaTeX, 13 pages, accepted for publication in Class. Quantum Gra

From computation to black holes and space-time foam

We show that quantum mechanics and general relativity limit the speed $\tilde{\nu}$ of a simple computer (such as a black hole) and its memory space $I$ to \tilde{\nu}^2 I^{-1} \lsim t_P^{-2}, where $t_P$ is the Planck time. We also show that the life-time of a simple clock and its precision are similarly limited. These bounds and the holographic bound originate from the same physics that governs the quantum fluctuations of space-time. We further show that these physical bounds are realized for black holes, yielding the correct Hawking black hole lifetime, and that space-time undergoes much larger quantum fluctuations than conventional wisdom claims -- almost within range of detection with modern gravitational-wave interferometers.Comment: A misidentification of computer speeds is corrected. Our results for black hole computation now agree with those given by S. Lloyd. All other conclusions remain unchange

Hybrid Session Verification through Endpoint API Generation

© Springer-Verlag Berlin Heidelberg 2016.This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multiparty session types. The API generation promotes static type checking of the behavioural aspect of the source protocol by mapping the state space of an endpoint in the protocol to a family of channel types in the target language. This is supplemented by very light run-time checks in the generated API that enforce a linear usage discipline on instances of the channel types. The resulting hybrid verification guarantees the absence of protocol violation errors during the execution of the session. We implement our methodology for Java as an extension to the Scribble framework, and use it to specify and implement compliant clients and servers for real-world protocols such as HTTP and SMTP

Strain Effects on Point Defects and Chain-Oxygen Order-Disorder Transition in 123-Structure Cuprate Superconductors

The energetics of Schottky defects in 123 cuprate superconductor series, $\rm REBa_2Cu_3O_7$ (where RE = lanthandies) and $\rm YAE_2Cu_3O_7$ (AE = alkali-earths), were found to have unusual relations if one considers only the volumetric strain. Our calculations reveal the effect of non-uniform changes of interatomic distances within the RE-123 structures, introduced by doping homovalent elements, on the Schottky defect formation energy. The energy of formation of Frenkel Pair defects, which is an elementary disordering event, in 123 compounds can be substantially altered under both stress and chemical doping. Scaling the oxygen-oxygen short-range repulsive parameter using the calculated formation energy of Frenkel pair defects, the transition temperature between orthorhombic and tetragonal phases is computed by quasi-chemical approximations (QCA). The theoretical results illustrate the same trend as the experimental measurements in that the larger the ionic radius of RE, the lower the orthorhombic/tetragonal phase transition temperature. This study provides strong evidence of the strain effects on order-disorder transition due to oxygens in the CuO chain sites.Comment: In print Phys Rev B (2004

Coherent States for 3d Deformed Special Relativity: semi-classical points in a quantum flat spacetime

We analyse the quantum geometry of 3-dimensional deformed special relativity (DSR) and the notion of spacetime points in such a context, identified with coherent states that minimize the uncertainty relations among spacetime coordinates operators. We construct this system of coherent states in both the Riemannian and Lorentzian case, and study their properties and their geometric interpretation.Comment: RevTeX4, 20 page

Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

Hygroscopicity of secondary organic aerosols formed by oxidation of cycloalkenes, monoterpenes, sesquiterpenes, and related compounds

A series of experiments has been conducted in the Caltech indoor smog chamber facility to investigate the water uptake properties of aerosol formed by oxidation of various organic precursors. Secondary organic aerosol (SOA) from simple and substituted cycloalkenes (C5-C8) is produced in dark ozonolysis experiments in a dry chamber (RH~5%). Biogenic SOA from monoterpenes, sesquiterpenes, and oxygenated terpenes is formed by photooxidation in a humid chamber (~50% RH). Using the hygroscopicity tandem differential mobility analyzer (HTDMA), we measure the diameter-based hygroscopic growth factor (GF) of the SOA as a function of time and relative humidity. All SOA studied is found to be slightly hygroscopic, with smaller water uptake than that of typical inorganic aerosol substances. The aerosol water uptake increases with time early in the experiments for the cycloalkene SOA, but decreases with time for the biogenic SOA. This behavior could indicate competing effects between the formation of more highly oxidized polar compounds (more hygroscopic), and formation of longer-chained oligomers (less hygroscopic). All SOA also exhibit a smooth water uptake with RH with no deliquescence or efflorescence. The water uptake curves are found to be fitted well with an empirical three-parameter functional form. The measured pure organic GF values at 85% RH are between 1.09–1.16 for SOA from ozonolysis of cycloalkenes, 1.01–1.04 for sesquiterpene photooxidation SOA, and 1.06–1.11 for the monoterpene and oxygenated terpene SOA. The GF of pure SOA (GForg) in experiments in which inorganic seed aerosol is used is determined by assuming volume-weighted water uptake (Zdanovskii-Stokes-Robinson or ''ZSR'' approach) and using the size-resolved organic mass fraction measured by the Aerodyne Aerosol Mass Spectrometer. Knowing the water content associated with the inorganic fraction yields GForg values. However, for each precursor, the GForg values computed from different HTDMA-classified diameters agree with each other to varying degrees. Lack of complete agreement may be a result of the non-idealities of the solutions that are not captured by the ZSR method. Comparing growth factors from different precursors, we find that GForg is inversely proportional to the precursor molecular weight and SOA yield, which is likely a result of the fact that higher-molecular weight precursors tend to produce larger and less hygroscopic oxidation products

Andreev tunnelling in quantum dots: A slave-boson approach

We study a strongly interacting quantum dot connected to a normal and to a superconducting lead. By means of the slave-boson technique we investigate the low temperature regime and discuss electrical transport through the dot. We find that the zero bias anomaly in the current-voltage characteristics which is associated to the occurance of the Kondo resonance in the quantum dot, is enhanced in the presence of superconductivity, due to resonant Andreev scattering.Comment: 4 pages, 1 figur