Regio- and Stereoselective Ruthenium Catalyzed Hydrovinylation of 1,3-Dienes: Application to the Generation of a 20S-Steroidal Sidechain

The addition of ethylene to 1,3-dienes and 1-vinylcycloalkenes, catalyzed by two ruthenium complexes, proceeds in a regioselective fashion to afford 3-methyl-1,4-dienes as products. For a steroidal-based 1-vinylcycloalkene, the addition is stereospecific, giving a product with a 20(S) configuration

Stability and Hermitian-Einstein metrics for vector bundles on framed manifolds

We adapt the notions of stability of holomorphic vector bundles in the sense of Mumford-Takemoto and Hermitian-Einstein metrics in holomorphic vector bundles for canonically polarized framed manifolds, i.e. compact complex manifolds X together with a smooth divisor D such that K_X \otimes [D] is ample. It turns out that the degree of a torsion-free coherent sheaf on X with respect to the polarization K_X \otimes [D] coincides with the degree with respect to the complete K\"ahler-Einstein metric g_{X \setminus D} on X \setminus D. For stable holomorphic vector bundles, we prove the existence of a Hermitian-Einstein metric with respect to g_{X \setminus D} and also the uniqueness in an adapted sense.Comment: 21 pages, International Journal of Mathematics (to appear

The ADHM Construction of Instantons on Noncommutative Spaces

We present an account of the ADHM construction of instantons on Euclidean space-time $\mathbb{R}^4$ from the point of view of noncommutative geometry. We recall the main ingredients of the classical construction in a coordinate algebra format, which we then deform using a cocycle twisting procedure to obtain a method for constructing families of instantons on noncommutative space-time, parameterised by solutions to an appropriate set of ADHM equations. We illustrate the noncommutative construction in two special cases: the Moyal-Groenewold plane $\mathbb{R}^4_\hbar$ and the Connes-Landi plane $\mathbb{R}^4_\theta$.Comment: Latex, 40 page

Euler number of Instanton Moduli space and Seiberg-Witten invariants

We show that a partition function of topological twisted N=4 Yang-Mills theory is given by Seiberg-Witten invariants on a Riemannian four manifolds under the condition that the sum of Euler number and signature of the four manifolds vanish. The partition function is the sum of Euler number of instanton moduli space when it is possible to apply the vanishing theorem. And we get a relation of Euler number labeled by the instanton number $k$ with Seiberg-Witten invariants, too. All calculation in this paper is done without assuming duality.Comment: LaTeX, 34 page

Constitutive Models for Tumour Classification

The aim of this paper is to formulate new mathematical models that will be able to differentiate not only between normal and abnormal tissues, but, more importantly, between benign and malignant tumours. We present preliminary results of a tri-phasic model and numerical simulations of the effect of cellular adhesion forces on the mechanical properties of biological tissues. We pursued the following three approaches: (i) the simulation of the time-harmonic linear elastic models to examine coarse scale effects and adhesion properties, (ii) the investigation of a tri-phasic model, with the intent of upscaling this model to determine effects of electro-mechanical coupling between cells, and (iii) the upscaling of a simple cell model as a framework for studying interface conditions at malignant cells. Each of these approaches has opened exciting new directions of research that we plan to study in the future

Topological quantum D-branes and wild embeddings from exotic smooth R^4

This is the next step of uncovering the relation between string theory and exotic smooth R^4. Exotic smoothness of R^4 is correlated with D6 brane charges in IIA string theory. We construct wild embeddings of spheres and relate them to a class of topological quantum Dp-branes as well to KK theory. These branes emerge when there are non-trivial NS-NS H-fluxes where the topological classes are determined by wild embeddings S^2 -> S^3. Then wild embeddings of higher dimensional $p$-complexes into S^n correspond to Dp-branes. These wild embeddings as constructed by using gropes are basic objects to understand exotic smoothness as well Casson handles. Next we build C*-algebras corresponding to the embeddings. Finally we consider topological quantum D-branes as those which emerge from wild embeddings in question. We construct an action for these quantum D-branes and show that the classical limit agrees with the Born-Infeld action such that flat branes = usual embeddings.Comment: 18 pages, 1 figur

Cities within cities: Australian and New Zealand art in the 20th century

This paper argues for a new conception of both Australian and New Zealand art history based on their long-standing historical connection. The national histories of the art of both countries that dominated the 20th century are revealed as themselves historical, preceded and followed by non-national histories that are in effect part of a wider history of world art. The paper makes its case by looking at a number of artists whose careers cross between the two countries and at the expatriates from both countries who worked together in Europe

Donaldson-Thomas invariants and wall-crossing formulas

Notes from the report at the Fields institute in Toronto. We introduce the Donaldson-Thomas invariants and describe the wall-crossing formulas for numerical Donaldson-Thomas invariants.Comment: 18 pages. To appear in the Fields Institute Monograph Serie

Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)

Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such as TLA+, can only verify high-level specifications of systems at the level of logic-based models, and fall short of checking the actual executable code. In this paper, we present a new methodology for testing distributed systems. Our approach applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors. Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed. These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques. An important advantage of our approach is that a bug is uncovered in a small setting and witnessed by a full system trace, which dramatically increases the productivity of debugging

Higher Spin Gravitational Couplings and the Yang--Mills Detour Complex

Gravitational interactions of higher spin fields are generically plagued by inconsistencies. We present a simple framework that couples higher spins to a broad class of gravitational backgrounds (including Ricci flat and Einstein) consistently at the classical level. The model is the simplest example of a Yang--Mills detour complex, which recently has been applied in the mathematical setting of conformal geometry. An analysis of asymptotic scattering states about the trivial field theory vacuum in the simplest version of the theory yields a rich spectrum marred by negative norm excitations. The result is a theory of a physical massless graviton, scalar field, and massive vector along with a degenerate pair of zero norm photon excitations. Coherent states of the unstable sector of the model do have positive norms, but their evolution is no longer unitary and their amplitudes grow with time. The model is of considerable interest for braneworld scenarios and ghost condensation models, and invariant theory.Comment: 19 pages LaTe