Kinetic theory of symmetry-dependent strength in carbon nanotubes

Carbon nanotubes yield to mechanical force by a primary dislocation dipole whose formation energy describes the thermodynamic stability of the tubule. However, the real-time strength is determined by the rate of defect formation, defined in turn by the activation barrier for the bond flip. First extensive computations of the kinetic barriers for a variety of strain-lattice orientations lead to predictions of the yield strength. Its value depends on nanotube chiral symmetry, in a way very different from the thermodynamic assessment.     

Productive chloroarene C-cl bond activation: palladium/phosphine-catalyzed methods for oxidation of alcohols and hydrodechlorination of chloroarenes

The palladium/phosphine-catalyzed productive chloroarene C-Cl bond activation provides general, efficient, and functional group friendly methods for the selective oxidation of alcohols and the hydrodechlorination of chloroarenes.     

Productive utilization of chlorobenzene: palladium-catalyzed selective oxidation of alcohols

[reaction: see text] The palladium/ligand-catalyzed activation of chlorobenzene provides a general, efficient, and functional group friendly method for the selective oxidation of alcohols to carbonyl compounds.     

N -Fold ?ech Derived Functors and Generalised Hopf Type Formulas

The notion of n-fold Čech derived functors is introduced and studied. This is illustrated using the n-fold Čech derived functors of the nilization functors Z_k. This gives a new purely algebraic method for the investigation of the Brown–Ellis generalised Hopf formula for the higher integral group homology and for its further generalisation. The paper ends with an application to algebraic K-theory. (Received: December 2004)     

Scattered and hereditarily irresolvable spaces in modal logic

When we interpret modal ? as the limit point operator of a topological space, the Gödel-Löb modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S _α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret ? as closure in a topological space, the Grzegorczyk modal system Grz defines the class HI of hereditarily irresolvable spaces. We also give a partition of HI into α-slices H _α , where α ranges over all ordinals. For a subset A of a hereditarily irresolvable space X and an ordinal α, we introduce the α-representation of A, give an axiomatization of the α-representation of A, and characterize H _α in terms of α-representations. We prove that ${X \in {\bf H}_{1}}When we interpret modal ◊ as the limit point operator of a topological space, the G?del-L?b modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S _α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret ◊ as closure in a topological space, the Grzegorczyk modal system Grz defines the class HI of hereditarily irresolvable spaces. We also give a partition of HI into α-slices H _α , where α ranges over all ordinals. For a subset A of a hereditarily irresolvable space X and an ordinal α, we introduce the α-representation of A, give an axiomatization of the α-representation of A, and characterize H _α in terms of α-representations. We prove that X ? H₁{X \in {\bf H}_{1}} iff X is submaximal. For a positive integer n, we generalize the notion of a submaximal space to that of an n-submaximal space, and prove that X ? H_n{X \in {\bf H}_{n}} iff X is n-submaximal. This provides topological completeness and definability results for extensions of Grz. We show that the two partitions are related to each other as follows. For a successor ordinal α = β + n, with β a limit ordinal and n a positive integer, we have H_a ?Scat = S_b+2n-1 èS_b+2n{{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\beta+2n-1} \cup {\bf S}_{\beta+2n}} , and for a limit ordinal α, we have H_a ?Scat = S_a{{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\alpha}} . As a result, we obtain full and faithful translations of ordinal complete extensions of Grz into ordinal complete extensions of GL, thus generalizing the Kuznetsov–Goldblatt–Boolos theorem.     

More on the Hochschild and Cyclic Homologies of Crossed Modules of Algebras

We investigate the Hochschild and cyclic homologies of crossed modules of algebras in some special cases. We prove that the cotriple cyclic homology of a crossed module of algebras (I, A, ρ) is isomorphic to HC _*(ρ): HC _*(I) → HC _*(A), provided I is H-unital and the ground ring is a field with characteristic zero. We also calculate the Hochschild and cyclic homologies of a crossed module of algebras (R, 0, 0) for each algebra R with trivial multiplication. At the end, we give some applications proving a new five term exact sequence.     

Zero-dimensional proximities and zero-dimensional compactifications

We introduce zero-dimensional proximities and show that the poset 〈Z(X),?〉 of inequivalent zero-dimensional compactifications of a zero-dimensional Hausdorff space X is isomorphic to the poset 〈Π(X),?〉 of zero-dimensional proximities on X that induce the topology on X. This solves a problem posed by Leo Esakia. We also show that 〈Π(X),?〉 is isomorphic to the poset 〈B(X),⊆〉 of Boolean bases of X, and derive Dwinger's theorem that 〈Z(X),?〉 is isomorphic to 〈B(X),⊆〉 as a corollary. As another corollary, we obtain that for a regular extremally disconnected space X, the Stone-?ech compactification of X is a unique up to equivalence extremally disconnected compactification of X.     

The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem

We introduce the bimodal logic , which is the extension of Bennett’s bimodal logic by Grzegorczyk’s axiom □(□(p→□p)→p)→p and show that the lattice of normal extensions of the intuitionistic modal logic WS5 is isomorphic to the lattice of normal extensions of , thus generalizing the Blok–Esakia theorem. We also introduce the intuitionistic modal logic WS5.C, which is the extension of WS5 by the axiom (p¬p)→(p→p), and the bimodal logic , which is the extension of Shehtman’s bimodal logic by Grzegorczyk’s axiom, and show that the lattice of normal extensions of WS5.C is isomorphic to the lattice of normal extensions of .     

Optical breathers in semiconductor quantum dots

A theory of resonant optical breathers in the presence of single and biexciton transitions in an ensemble of inhomogeneously broadened semiconductor quantum dots is constructed. Explicit analytical expressions for the breather shape and parameters for experimental investigations are proposed.