Precise subtyping for synchronous multiparty sessions

The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: operational and denotational. The former preciseness has been recently developed with respect to type safety, i.e. the safe replacement of a term of a smaller type when a term of a bigger type is expected. The latter preciseness is based on the denotation of a type which is a mathematical object that describes the meaning of the type in accordance with the denotations of other expressions from the language. The result of this paper is the operational and denotational preciseness of the subtyping for a synchronous multiparty session calculus. The novelty of this paper is the introduction of characteristic global types to prove the operational completeness

A simplified analytical approach to calculation of the electromagnetic behavior of left-handed metamaterials with a graded refractive index profile

We investigated the spectral properties of a new class of nanostructured artificial composite materials with tailored electromagnetic response, i.e. negative refractive index materials, also known as "left-handed" metamaterials. We analyzed structures incorporating both ordinary positive index media and negative refractive index metamaterials where the interface may be graded to an arbitrary degree. Utilizing a modified version of the Rosen-Morse function, we derived analytical expressions for the field intensity and spectral reflection and transmission through a graded interface between positive and negative index materials. We compared our results to numerical solutions obtained using the transfer matrix technique.

GENETIC ANALYSIS OF PURE ARABIAN BREEDING IN THE REPUBLIC OF CROATIA

Pure arab breeding in the Republic of Croatia has very long tradition. Till the 18th century organized breeding was implemented only in bishop Stud Farm Đakovo. Afterwards pure arab breeding was implemented in many private Stud Farms mostly located in Slavonian and Srijem region. Pure arab, traditional arab and araber (arabrasse) population of horses make together arabian breeding in the Republic of Croatia. Numerical strength of these three populations has increasing trend through out the years. First imports which were ground for foundation of pure arab breeding in Croatia realized in year 1991. Today, population of pure arab breeding count 37 head, from which 28 is imported and 9 born in Croatia. Pedigree depth in 4, 5, 6, 7, 8, 9 and 10 generation show average coefficient of inbreeding of 1.899%, 3.15%, 4.413%, 5.434%, 6.243%, 6.974% and 7.552%. According to genealogy in all pedigree depths, coefficient of inbreeding was higher (P < 0.01) in imported arab horses than in those born in Croatia

GENETIC ANALYSIS OF PURE ARABIAN BREEDING IN THE REPUBLIC OF CROATIA

Pure arab breeding in the Republic of Croatia has very long tradition. Till the 18th century organized breeding was implemented only in bishop Stud Farm Đakovo. Afterwards pure arab breeding was implemented in many private Stud Farms mostly located in Slavonian and Srijem region. Pure arab, traditional arab and araber (arabrasse) population of horses make together arabian breeding in the Republic of Croatia. Numerical strength of these three populations has increasing trend through out the years. First imports which were ground for foundation of pure arab breeding in Croatia realized in year 1991. Today, population of pure arab breeding count 37 head, from which 28 is imported and 9 born in Croatia. Pedigree depth in 4, 5, 6, 7, 8, 9 and 10 generation show average coefficient of inbreeding of 1.899%, 3.15%, 4.413%, 5.434%, 6.243%, 6.974% and 7.552%. According to genealogy in all pedigree depths, coefficient of inbreeding was higher (P < 0.01) in imported arab horses than in those born in Croatia

Quantum Hypothesis Testing and Non-Equilibrium Statistical Mechanics

We extend the mathematical theory of quantum hypothesis testing to the general $W^*$-algebraic setting and explore its relation with recent developments in non-equilibrium quantum statistical mechanics. In particular, we relate the large deviation principle for the full counting statistics of entropy flow to quantum hypothesis testing of the arrow of time.Comment: 60 page

A note on the Landauer principle in quantum statistical mechanics

The Landauer principle asserts that the energy cost of erasure of one bit of information by the action of a thermal reservoir in equilibrium at temperature T is never less than $kTlog 2$. We discuss Landauer's principle for quantum statistical models describing a finite level quantum system S coupled to an infinitely extended thermal reservoir R. Using Araki's perturbation theory of KMS states and the Avron-Elgart adiabatic theorem we prove, under a natural ergodicity assumption on the joint system S+R, that Landauer's bound saturates for adiabatically switched interactions. The recent work of Reeb and Wolf on the subject is discussed and compared

'Return to equilibrium' for weakly coupled quantum systems: a simple polymer expansion

Recently, several authors studied small quantum systems weakly coupled to free boson or fermion fields at positive temperature. All the approaches we are aware of employ complex deformations of Liouvillians or Mourre theory (the infinitesimal version of the former). We present an approach based on polymer expansions of statistical mechanics. Despite the fact that our approach is elementary, our results are slightly sharper than those contained in the literature up to now. We show that, whenever the small quantum system is known to admit a Markov approximation (Pauli master equation \emph{aka} Lindblad equation) in the weak coupling limit, and the Markov approximation is exponentially mixing, then the weakly coupled system approaches a unique invariant state that is perturbatively close to its Markov approximation.Comment: 23 pages, v2-->v3: Revised version: The explanatory section 1.7 has changed and Section 3.2 has been made more explici

Denotational and operational preciseness of subtyping: A roadmap

The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in object-oriented programming languages. The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: denotational and operational. The former preciseness is based on the denotation of a type, which is a mathematical object describing the meaning of the type in accordance with the denotations of other expressions from the language. The latter preciseness has been recently developed with respect to type safety, i.e. the safe replacement of a term of a smaller type when a term of a bigger type is expected. The present paper shows that standard proofs of operational preciseness imply denotational preciseness and gives an overview on this subject

The application of hydrogen-palladium electrode for potentiometric acid-base determinations in tetrahydrofuran

The application of the hydrogen-palladium electrode (H2/Pd) as the indicator electrode for the determination of relative acidity scale (Es, mV) of tetrahydrofuran (THF) and the potentiometric titrations of acids in this solvent was investigated. The relative acidity scale tetrahydrofuran was determined from the difference half-neutralization potentials of perchloric acid and tetrabutylammonium hydroxide (TBAH), which were measured by using both H2/Pd-SCE and glass-SCE electrode pairs. The experimentally obtained value of Es scale THF with a H2/Pd-SCE electrode pair was 1155 mV, and those obtained with glass-SCE electrode pair 880 mV. By using a H2/Pd indicator electrode, the individual acids (benzoic acid, palmitic acid, maleic acid, acetyl acetone, α-naphthol) and two component acid mixtures (benzoic acid + α-naphthol, palmitic acid + α-naphthol, maleic acid + α-naphthol and maleic acid + ftalic acid) were titrated with a standard solution of TBAH. In addition, sodium methylate and potassium hydroxide proved to be very suitable titrating agents for titrating of the individual acids and the acids in mixtures, respectively. The relative error of the determination of acids in mixture was less than 3%. The results are in agreement with those obtained by a conventional glass electrode. The advantages of H2/Pd electrode over a glass electrode in potentiometric acid-base determinations in tetrahydrofuran lie in the following: this electrode gives wider relative acidity scale THF, higher the potential jumps at the titration end-point and relatively fast response time; furthermore, it is very durable, simple to prepare and can be used in the titrations of small volumes. [Projekat Ministarstva nauke Republike Srbije, br.172051

Single-photon-emitting optical centers in diamond fabricated upon Sn implantation

The fabrication of luminescent defects in single-crystal diamond upon Sn implantation and annealing is reported. The relevant spectral features of the optical centers (emission peaks at 593.5 nm, 620.3 nm, 630.7 nm and 646.7 nm) are attributed to Sn-related defects through the correlation of their photoluminescence (PL) intensity with the implantation fluence. Single Sn-related defects were identified and characterized through the acquisition of their second-order auto-correlation emission functions, by means of Hanbury-Brown-Twiss interferometry. The investigation of their single-photon emission regime as a function of excitation laser power revealed that Sn-related defects are based on three-level systems with a 6 ns radiative decay lifetime. In a fraction of the studied centers, the observation of a blinking PL emission is indicative of the existence of a dark state. Furthermore, absorption dependence from the polarization of the excitation radiation with about 45 percent contrast was measured. This work shed light on the existence of a new optical center associated with a group-IV impurity in diamond, with similar photo-physical properties to the already well-known Si-V and Ge-V emitters, thus providing results of interest from both the fundamental and applicative points of view.Comment: 10 pages, 4 figure