Quotients, exactness, and nuclearity in the operator system category

We continue our study of tensor products in the operator system category. We define operator system quotients and exactness in this setting and refine the notion of nuclearity by studying operator systems that preserve various pairs of tensor products. One of our main goals is to relate these refinements of nuclearity to the Kirchberg conjecture. In particular, we prove that the Kirchberg conjecture is equivalent to the statement that every operator system that is (min,er)-nuclear is also (el,c)-nuclear. We show that operator system quotients are not always equal to the corresponding operator space quotients and then study exactness of various operator system tensor products for the operator system quotient. We prove that an operator system is exact for the min tensor product if and only if it is (min,el)-nuclear. We give many characterizations of operator systems that are (min,er)-nuclear, (el,c)-nuclear, (min,el)-nuclear and (el,max)-nuclear. These characterizations involve operator system analogues of various properties from the theory of C*-algebras and operator spaces, including the WEP and LLP.

Distinguished algebraic semantics for t-norm based fuzzy logics:Methods and algebraic equivalencies

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and ?-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics-namely the class of algebras defined over the real unit interval, the rational unit interval, the hyperreals (all ultrapowers of the real unit interval), the strict hyperreals (only ultrapowers giving a proper extension of the real unit interval) and finite chains, respectively-and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and (strict) hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. © 2009 Elsevier B.V. All rights reserved.

The C*-algebra of ax+b-like groups

We describe the C*-algebras of " ax+b" -like groups in terms of algebras of operator fields defined over their dual spaces.

Chemisorption and decomposition of pyrrole on Pd{111}

XPS, TPD and HREEL results indicate that molecular pyrrole is a fragile adsorbate on clean Pd{111}. At 200 K and for low coverages, the molecule remains intact and adopts an almost flat-lying geometry. With increasing coverage, pyrrole molecules tilt away from the surface and undergo N-H bond cleavage to form strongly tilted pyrrolyl (C4H4N) species. In addition, a weakly bound, strongly tilted form of molecular pyrrole is observed at coverages approaching saturation. Heating pyrrole monolayers results in desorption of similar to 15% of the overlayer as molecular pyrrole and N-a+ C4H4Na recombination with formation of hat-lying pyrrole molecules. This strongly bound species undergoes decomposition to adsorbed CN, CHx and H, leading ultimately to desorption of HCN and H-2. The implications of these results for the production of pyrrole by a heterogeneously catalysed route are discussed.

Chemisorption and reactivity of furan on Pd{111}

XPS, HREELS, ARUPS and Delta phi data show that furan chemisorbs non-dissociatively on Pd{111} at 175 K, the molecular plane being significantly tilted with respect to the surface normal. Bonding involves both the oxygen lone pair and significant a interaction with the substrate. The degree of decomposition that accompanies molecular desorption is a strong function of coverage: similar to 40% of the adsorbate desorbs molecularly from the saturated monolayer. Decomposition occurs via decarbonylation to yield COa and H-a followed by desorption rate limited loss of H-2 and CO. It seems probable that an adsorbed C3H3 species formed during this process undergoes subsequent stepwise dehydrogenation ultimately yielding H-2 and C-a.

Characterisations of the weak expectation property

We use representations of operator systems as quotients to deduce various characterisations of the weak expectation property (WEP) for C∗ -algebras. By Kirchberg’s work on WEP, these results give new formulations of Connes’ embedding problem.

The solvable Lie group N_{6, 28}: an example of an almost C_0(\mathcal{K})-C*-algebra

Motivated by the description of the C*-algebra of the affine automorphism group N6,28 of the Siegel upper half-plane of degree 2 as an algebra of operator fields defined over the unitary dual View the MathML source of the group, we introduce a family of C*-algebras, which we call almost C0(K), and we show that the C*-algebra of the group N6,28 belongs to this class.

A density functional theory study of CH2 and H adsorption on Ni(111)

Ab initio total energy calculations within the density functional theory framework have been used to study the adsorption of CH2 and H as well as the coadsorption of CH2 and H on Ni(111). H binds strongly at threefold hollow sites with calculated adsorption energies of 2.60 and 2.54 eV at the face-centered-cubic (fcc) and hexagonal-close-packed (hcp) hollow sites, respectively. Adsorption energies and H-Ni distances are found to agree well with both experimental and theoretical results. CH2 adsorbs strongly at all high symmetry sites with calculated adsorption energies of 3.26, 3.22, 3.14 and 2.36 eV at the fcc, hcp, bridge and top sites, respectively. Optimized structures are reported at all sites, and, in the most stable hollow sites there is considerable internal reorganization of the CH2 fragment. The CH2 molecule is tilted, the hydrogens are inequivalent and the C-H bonds are lengthened relative to the gas phase. In the CH2-H coadsorption systems the adsorbates have a tendency to move toward bridge sites. The bonding of all adsorbates to the surface is analyzed in detail. (C) 2000 American Institute of Physics. [S0021-9606(00)71213-X].

AMBIGUITIES IN ADSORBATE SITE ASSIGNMENT FROM VIBRATIONAL FREQUENCIES - A TLEED STRUCTURAL STUDY OF (2X1)CO-PD(110)

The structure of the (2 X 1)CO-Pd(110) surface phase has been determined by LEED intensity analysis. The CO molecule is found to be adsorbed in an atop site, tilted by 11-degrees +/- 4-degrees with respect to the surface normal, with a C-O bond length of 1.16 +/- 0.04 angstrom. Interestingly, the C-O vibrational frequency for this system (2003 cm-1) is virtually identical to the frequency observed for the (2 X 1)CO-Ni(110) surface phase (1998 cm-1) which a previous LEED study has shown involves bridge bound CO molecules. The result indicates that care must be taken in assigning site symmetries on the basis of C-O stretching frequencies alone.

Quantum Chromatic Numbers via Operator Systems

We define several new types of quantum chromatic numbers of a graph and characterize them in terms of operator system tensor products. We establish inequalities between these chromatic numbers and other parameters of graphs studied in the literature and exhibit a link between them and non-signalling correlation boxes.

Classifying Rational G-Spectra for Finite G

We give a new proof that for a finite group G, the category of rational G-equivariant spectra is Quillen equivalent to the product of the model categories of chain complexes of modules over the rational group ring of the Weyl group of H in G, as H runs over the conjugacy classes of subgroups of G. Furthermore, the Quillen equivalences of our proof are all symmetric monoidal. Thus we can understand categories of algebras or modules over a ring spectrum in terms of the algebraic model.

Spectrally isometric elementary operators

We present criteria for unital elementary operators (of small length) on unital semisimple Banach algebras to be spectral isometries. The surjective ones among them turn out to be algebra automorphisms.

Ultrafast charge-transfer in organic photovoltaic interfaces: geometrical and functionalization effects

Understanding the microscopic mechanisms of electronic excitation in organic photovoltaic cells is a challenging problem in the design of efficient devices capable of performing sunlight harvesting. Here we develop and apply an ab initio approach based on time-dependent density functional theory and Ehrenfest dynamics to investigate photoinduced charge transfer in small organic molecules. Our calculations include mixed quantum–classical dynamics with ions moving classically and electrons quantum mechanically, where no experimental external parameter other than the material geometry is required. We show that the behavior of photocarriers in zinc phthalocyanine (ZnPc) and C60 systems, an effective prototype system for organic solar cells, is sensitive to the atomic orientation of the donor and the acceptor units as well as the functionalization of covalent molecules at the interface. In particular, configurations with the ZnPc molecules facing on C60 facilitate charge transfer between substrate and molecules that occurs within 200 fs. In contrast, configurations where ZnPc is tilted above C60 present extremely low carrier injection efficiency even at longer times as an effect of the larger interfacial potential level offset and higher energetic barrier between the donor and acceptor molecules. An enhancement of charge injection into C60 at shorter times is observed as binding groups connect ZnPc and C60 in a dyad system. Our results demonstrate a promising way of designing and controlling photoinduced charge transfer on the atomic level in organic devices that would lead to efficient carrier separation and maximize device performance.

On the regularity of homomorphisms between Riesz subalgebras of L^r(X).

We investigate the automatic regularity of continuous algebra homomorphisms between Riesz algebras of regular operators on Banach lattices.