Violations of local realism by two entangled quNits

Results obtained in two recent papers, \cite{Kaszlikowski} and \cite{Durt}, seem to indicate that the nonlocal character of the correlations between the outcomes of measurements performed on entangled systems separated in space is not robust in the presence of noise. This is surprising, since entanglement itself is robust. Here we revisit this problem and argue that the class of gedanken-experiments considered in \cite{Kaszlikowski} and \cite{Durt} is too restrictive. By considering a more general class, involving sequences of measurements, we prove that the nonlocal correlations are in fact robust.Comment: Reference added, 3 pages, accepted for publication in J. Phys. A: Math. and Genera

Making security type systems less ad hoc

We present a uniform, top-down design method for security type systems applied to a parallel while-language. The method takes the following route: from a notion of end-to-end security via a collection of stronger notions of anytime security targeting compositionality to a matching collection of type-system-like syntactic criteria. This method has emerged by distilling and unifying security type system results from the literature while formalizing them in a proof assistant. Unlike in our previous papers on this topic, here we focus entirely on high-level ideas instead of technical proof details

Lower bound on the number of Toffoli gates in a classical reversible circuit through quantum information concepts

The question of finding a lower bound on the number of Toffoli gates in a classical reversible circuit is addressed. A method based on quantum information concepts is proposed. The method involves solely concepts from quantum information - there is no need for an actual physical quantum computer. The method is illustrated on the example of classical Shannon data compression.Comment: 4 pages, 2 figures; revised versio

Performance estimation of interior permanent-magnet brushless motors using the voltage-driven flux-MMF diagram

The flux-magnetomotive force (flux-MMF) diagram, or "energy conversion loop," is a powerful tool for computing the parameters of saturated interior permanent-magnet brushless motors, especially when the assumptions underlying classical dq theory are not valid, as is often the case in modern practice. Efficient finite-element computation of the flux-MMF diagram is possible when the motor current is known a priori, but in high-speed operation the current regulator can lose control of the current waveform and the computation becomes "voltage-driven" rather than "current-driven." This paper describes an efficient method for estimating the motor performance-average torque, inductances-by solving the voltage-driven problem. It presents experimental validation for a two-pole brushless interior permanent-magnet motor. The paper also discusses the general conditions under which this method is appropriate, and compares the method with alternative approaches

Dioxygen Reactivity of Biomimetic Fe(II) Complexes with Noninnocent Catecholate, \u3cem\u3eo\u3c/em\u3e-Aminophenolate, and \u3cem\u3eo\u3c/em\u3e-Phenylenediamine Ligands

This study describes the O2 reactivity of a series of high-spin mononuclear Fe(II) complexes each containing the facially coordinating tris(4,5-diphenyl-1-methylimidazol-2-yl)phosphine (Ph2TIP) ligand and one of the following bidentate, redox-active ligands: 4-tert-butylcatecholate (tBuCatH–), 4,6-di-tert-butyl-2-aminophenolate (tBu2APH–), or 4-tert-butyl-1,2-phenylenediamine (tBuPDA). The preparation and X-ray structural characterization of [Fe2+(Ph2TIP)(tBuCatH)]OTf, [3]OTf and [Fe2+(Ph2TIP)(tBuPDA)](OTf)2, [4](OTf)2 are described here, whereas [Fe2+(Ph2TIP)(tBu2APH)]OTf, [2]OTf was reported in our previous paper [Bittner et al., Chem.—Eur. J. 2013, 19, 9686–9698]. These complexes mimic the substrate-bound active sites of nonheme iron dioxygenases, which catalyze the oxidative ring-cleavage of aromatic substrates like catechols and aminophenols. Each complex is oxidized in the presence of O2, and the geometric and electronic structures of the resulting complexes were examined with spectroscopic (absorption, EPR, Mössbauer, resonance Raman) and density functional theory (DFT) methods. Complex [3]OTf reacts rapidly with O2 to yield the ferric-catecholate species [Fe3+(Ph2TIP)(tBuCat)]+ (3ox), which undergoes further oxidation to generate an extradiol cleavage product. In contrast, complex [4]2+ experiences a two-electron (2e–), ligand-based oxidation to give [Fe2+(Ph2TIP)(tBuDIBQ)]2+ (4ox), where DIBQ is o-diiminobenzoquinone. The reaction of [2]+ with O2 is also a 2e– process, yet in this case both the Fe center and tBu2AP ligand are oxidized; the resulting complex (2ox) is best described as [Fe3+(Ph2TIP)(tBu2ISQ)]+, where ISQ is o-iminobenzosemiquinone. Thus, the oxidized complexes display a remarkable continuum of electronic structures ranging from [Fe3+(L2–)]+ (3ox) to [Fe3+(L•–)]2+ (2ox) to [Fe2+(L0)]2+ (4ox). Notably, the O2 reaction rates vary by a factor of 105 across the series, following the order [3]+ \u3e [2]+ \u3e [4]2+, even though the complexes have similar structures and Fe3+/2+ redox potentials. To account for the kinetic data, we examined the relative abilities of the title complexes to bind O2 and participate in H-atom transfer reactions. We conclude that the trend in O2 reactivity can be rationalized by accounting for the role of proton transfer(s) in the overall reaction

Diffusive spreading and mixing of fluid monolayers

The use of ultra-thin, i.e., monolayer films plays an important role for the emerging field of nano-fluidics. Since the dynamics of such films is governed by the interplay between substrate-fluid and fluid-fluid interactions, the transport of matter in nanoscale devices may be eventually efficiently controlled by substrate engineering. For such films, the dynamics is expected to be captured by two-dimensional lattice-gas models with interacting particles. Using a lattice gas model and the non-linear diffusion equation derived from the microscopic dynamics in the continuum limit, we study two problems of relevance in the context of nano-fluidics. The first one is the case in which along the spreading direction of a monolayer a mesoscopic-sized obstacle is present, with a particular focus on the relaxation of the fluid density profile upon encountering and passing the obstacle. The second one is the mixing of two monolayers of different particle species which spread side by side following the merger of two chemical lanes, here defined as domains of high affinity for fluid adsorption surrounded by domains of low affinity for fluid adsorption.Comment: 12 pages, 3 figure

Formal verification of language-based concurrent noninterference

We perform a formal analysis of compositionality techniques for proving possibilistic noninterference for a while language with parallel composition. We develop a uniform framework where we express a wide range of noninterference variants from the literature and compare them w.r.t. their contracts: the strength of the security properties they ensure weighed against the harshness of the syntactic conditions they enforce. This results in a simple implementable algorithm for proving that a program has a specific noninterference property, using only compositionality, which captures uniformly several security type-system results from the literature and suggests a further improved type system. All formalism and theorems have been mechanically verified in Isabelle/HOL

On quantum non-signalling boxes

A classical non-signalling (or causal) box is an operation on classical bipartite input with classical bipartite output such that no signal can be sent from a party to the other through the use of the box. The quantum counterpart of such boxes, i.e. completely positive trace-preserving maps on bipartite states, though studied in literature, have been investigated less intensively than classical boxes. We present here some results and remarks about such maps. In particular, we analyze: the relations among properties as causality, non-locality and entanglement; the connection between causal and entanglement breaking maps; the characterization of causal maps in terms of the classification of states with fixed reductions. We also provide new proofs of the fact that every non-product unitary transformation is not causal, as well as for the equivalence of the so-called semicausality and semilocalizability properties.Comment: 18 pages, 7 figures, revtex