Topological field theory and physics

Topological Yang-Mills theory with the Belavin-Polyakov-Schwarz-Tyupkin $SU(2)$ instanton is solved completely, revealing an underlying multi-link intersection theory. Link invariants are also shown to survive the coupling to a certain kind of matter (hyperinstantons). The physical relevance of topological field theory and its invariants is discovered. By embedding topological Yang-Mills theory into pure Yang-Mills theory, it is shown that the topological version TQFT of a quantum field theory QFT allows us to formulate consistently the perturbative expansion of QFT in the topologically nontrivial sectors. In particular, TQFT classifies the set of good measures over the instanton moduli space and solves the inconsistency problems of the previous approaches. The qualitatively new physical implications are pointed out. Link numbers in QCD are related to a non abelian analogoue of the Aharonov-Bohm effect.Comment: 23 pages, 1 figure. Revision: additional explanation

Representing addition and subtraction : learning the formal conventions

The study was designed to test the effects of a structured intervention in teaching children to represent addition and subtraction. In a post-test only control group design, 90 five-year-olds experienced the intervention entitled Bi-directional Translation whilst 90 control subjects experienced typical teaching. Post-intervention testing showed some significant differences between the two groups both in terms of being able to effect the addition and subtraction operations and in being able to determine which operation was appropriate. The results suggest that, contrary to historical practices, children's exploration of real world situations should precede practice in arithmetical symbol manipulation

The Ethics of Corporate Governance

How should corporate directors determine what is the right decision? For at least the past 30 years the debate has raged as to whether shareholder value should take precedence over corporate social responsibility when crucial decisions arise. Directors face pressure, not least from ethical investors, to do the good thing when they seek to make the right choice. Corporate governance theory has tended to look to agency theory and the need of boards to curb excessive executive power to guide directors' decisions. While useful for those purposes, agency theory provides only limited guidance. Supplementing it with the alternatives - stakeholder theory and stewardship theory - tends to put directors in conflict with their legal obligations to work in the interests of shareholders. This paper seeks to reframe the discussion about corporate governance in terms of the ethical debate between consequential, teleological approaches to ethics and idealist, deontological ones, suggesting that directors are - for good reason - more inclined toward utilitarian judgments like those underpinning shareholder value. But the problems with shareholder value have become so great that a different framework is needed: strategic value, with an emphasis on long-term value creation judged from a decidedly utilitarian standpoint

Engineering a static verification tool for GPU kernels

We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, a static verification tool for OpenCL and CUDA GPU kernels, plotting the progress of GPUVerify from a prototype to a fully functional and relatively efficient analysis tool. Our hope is that this experience report will serve the verification community by helping to inform future tooling efforts. © 2014 Springer International Publishing

Measures on Banach Manifolds and Supersymmetric Quantum Field Theory

We show how to construct measures on Banach manifolds associated to supersymmetric quantum field theories. These measures are mathematically well-defined objects inspired by the formal path integrals appearing in the physics literature on quantum field theory. We give three concrete examples of our construction. The first example is a family $\mu_P^{s,t}$ of measures on a space of functions on the two-torus, parametrized by a polynomial $P$ (the Wess-Zumino-Landau-Ginzburg model). The second is a family \mu_\cG^{s,t} of measures on a space \cG of maps from $\P^1$ to a Lie group (the Wess-Zumino-Novikov-Witten model). Finally we study a family $\mu_{M,G}^{s,t}$ of measures on the product of a space of connection s on the trivial principal bundle with structure group $G$ on a three-dimensional manifold $M$ with a space of \fg-valued three-forms on $M.$ We show that these measures are positive, and that the measures \mu_\cG^{s,t} are Borel probability measures. As an application we show that formulas arising from expectations in the measures \mu_\cG^{s,1} reproduce formulas discovered by Frenkel and Zhu in the theory of vertex operator algebras. We conjecture that a similar computation for the measures $\mu_{M,SU(2)}^{s,t},$ where $M$ is a homology three-sphere, will yield the Casson invariant of $M.$Comment: Minor correction

Instantons and Killing spinors

We investigate instantons on manifolds with Killing spinors and their cones. Examples of manifolds with Killing spinors include nearly Kaehler 6-manifolds, nearly parallel G_2-manifolds in dimension 7, Sasaki-Einstein manifolds, and 3-Sasakian manifolds. We construct a connection on the tangent bundle over these manifolds which solves the instanton equation, and also show that the instanton equation implies the Yang-Mills equation, despite the presence of torsion. We then construct instantons on the cones over these manifolds, and lift them to solutions of heterotic supergravity. Amongst our solutions are new instantons on even-dimensional Euclidean spaces, as well as the well-known BPST, quaternionic and octonionic instantons.Comment: 40 pages, 2 figures v2: author email addresses and affiliations adde

Global Aspects of Abelian and Center Projections in SU(2) Gauge Theory

We show that the global aspects of Abelian and center projection of a SU(2) gauge theory on an arbitrary manifold are naturally described in terms of smooth Deligne cohomology. This is achieved through the introduction of a novel type of differential topological structure, called Cho structure. Half integral monopole charges appear naturally in this framework.Comment: 43 pages, no figures, requires AMS font files AMSSYM.DEF and amssym.tex. Completely rewritten, corrected and streamlined versio

N=4 Versus N=2 Phases, Hyperk\"Ahler Quotients and the 2D Topological Twist

We consider N=2 and N=4 supersymmetric gauge theories in two-dimensions, coupled to matter multiplets. In analogy with the N=2 case also in the N=4 case one can introduce Fayet-Iliopoulos terms.The associated three-parameters have the meaning of momentum-map levels in a HyperK\"ahler quotient construction. Differently from the N=2 case, however, the N=4 has a single phase corresponding to an effective $\sigma$-model. There is no Landau-Ginzburg phase. The main possible application of our N=4 model is to an effective Lagrangian construction of a $\sigma$-model on ALE-manifolds. We discuss the A and B topological twists of these models clarifying some issues not yet discussed in the literature, in particular the identification of the topological systems emerging from the twist. Applying our results to the case of ALE-manifolds we indicate how one can use the topologically twisted theories to study the K\"ahler class and complex structure deformations of these gravitational instantons.Comment: plain Latex, 77 pages, SISSA/151/93/E

Hermitian Yang-Mills instantons on resolutions of Calabi-Yau cones

We study the construction of Hermitian Yang-Mills instantons over resolutions of Calabi-Yau cones of arbitrary dimension. In particular, in d complex dimensions, we present an infinite family, parametrised by an integer k and a continuous modulus, of SU(d) instantons. A detailed study of their properties, including the computation of the instanton numbers is provided. We also explain how they can be used in the construction of heterotic non-Kahler compactifications.Comment: 20 pages, 1 figure; typos corrected, section 3.1 expande

Examination of direct-photon and pion production in proton-nucleon collisions

We present a study of inclusive direct-photon and pion production in hadronic interactions, focusing on a comparison of the ratio of gamma/pi0 yields with expectations from next-to-leading order perturbative QCD (NLO pQCD). We also examine the impact of a phenomenological model involving k_T smearing (which approximates effects of additional soft-gluon emission) on absolute predictions for photon and pion production and their ratio.Comment: 20 pages, 12 figures. Minor changes in wording and in figure