Showing 1–48 of 48 results for author: Murray, M

Computer assisted proofs for transverse heteroclinics by the parameterization method

Authors: Maxime Murray, J. D. Mireles James

Abstract: This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a Fourier-Taylor approximation of the local stable/unstable manifold of the periodic orbit, combined with a numerical method for solving two point boundary value problems vi… ▽ More This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a Fourier-Taylor approximation of the local stable/unstable manifold of the periodic orbit, combined with a numerical method for solving two point boundary value problems via Chebyshev series approximations. The a-posteriori analysis developed provides mathematically rigorous bounds on all approximation errors, providing both abstract existence results and quantitative information about the true heteroclinic solution. Example calculations are given for both the dissipative Lorenz system and the Hamiltonian Hill Restricted Four Body Problem. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Mildly Overparameterized ReLU Networks Have a Favorable Loss Landscape

Authors: Kedar Karhadkar, Michael Murray, Hanna Tseran, Guido Montúfar

Abstract: We study the loss landscape of both shallow and deep, mildly overparameterized ReLU neural networks on a generic finite input dataset for the squared error loss. We show both by count and volume that most activation patterns correspond to parameter regions with no bad local minima. Furthermore, for one-dimensional input data, we show most activation regions realizable by the network contain a high… ▽ More We study the loss landscape of both shallow and deep, mildly overparameterized ReLU neural networks on a generic finite input dataset for the squared error loss. We show both by count and volume that most activation patterns correspond to parameter regions with no bad local minima. Furthermore, for one-dimensional input data, we show most activation regions realizable by the network contain a high dimensional set of global minima and no bad local minima. We experimentally confirm these results by finding a phase transition from most regions having full rank Jacobian to many regions having deficient rank depending on the amount of overparameterization. △ Less

Submitted 8 February, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: 40 pages

Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four body problem

Authors: J. D. Mireles James, Maxime Murray

Abstract: We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular restricted four body problem. The idea is to formulate the desired connecting orbits as solutions of certain two point boundary value problems for orbit segments which… ▽ More We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular restricted four body problem. The idea is to formulate the desired connecting orbits as solutions of certain two point boundary value problems for orbit segments which originate and terminate on the local stable/unstable manifolds attached to a periodic orbit. These boundary value problems are studied via a Newton-Kantorovich argument in an appropriate Cartesian product of Banach algebras of rapidly decaying sequences of Chebyshev coefficients. Perhaps the most delicate part of the problem is controlling the boundary conditions, which must lie on the local stable/unstable manifolds of the periodic orbit. For this portion of the problem we use a parameterization method to develop Fourier-Taylor approximations equipped with a-posteriori error bounds. This requires validated computation of a finite number of Fourier-Taylor coefficients via Newton-Kantorovich arguments in appropriate Cartesian product of rapidly decaying sequences of Fourier coefficients, followed by a fixed point argument to bound the tail terms of the Taylor expansion. Transversality follows as a consequence of the Newton-Kantorovich argument. △ Less

Submitted 1 December, 2022; originally announced December 2022.

Risk-Averse Decision Making Under Uncertainty

Authors: Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames

Abstract: A large class of decision making under uncertainty problems can be described via Markov decision processes (MDPs) or partially observable MDPs (POMDPs), with application to artificial intelligence and operations research, among others. Traditionally, policy synthesis techniques are proposed such that a total expected cost or reward is minimized or maximized. However, optimality in the total expect… ▽ More A large class of decision making under uncertainty problems can be described via Markov decision processes (MDPs) or partially observable MDPs (POMDPs), with application to artificial intelligence and operations research, among others. Traditionally, policy synthesis techniques are proposed such that a total expected cost or reward is minimized or maximized. However, optimality in the total expected cost sense is only reasonable if system behavior in the large number of runs is of interest, which has limited the use of such policies in practical mission-critical scenarios, wherein large deviations from the expected behavior may lead to mission failure. In this paper, we consider the problem of designing policies for MDPs and POMDPs with objectives and constraints in terms of dynamic coherent risk measures, which we refer to as the constrained risk-averse problem. For MDPs, we reformulate the problem into a infsup problem via the Lagrangian framework and propose an optimization-based method to synthesize Markovian policies. For MDPs, we demonstrate that the formulated optimization problems are in the form of difference convex programs (DCPs) and can be solved by the disciplined convex-concave programming (DCCP) framework. We show that these results generalize linear programs for constrained MDPs with total discounted expected costs and constraints. For POMDPs, we show that, if the coherent risk measures can be defined as a Markov risk transition mapping, an infinite-dimensional optimization can be used to design Markovian belief-based policies. For stochastic finite-state controllers (FSCs), we show that the latter optimization simplifies to a (finite-dimensional) DCP and can be solved by the DCCP framework. We incorporate these DCPs in a policy iteration algorithm to design risk-averse FSCs for POMDPs. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2012.02423

Constrained Risk-Averse Markov Decision Processes

Authors: Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames

Abstract: We consider the problem of designing policies for Markov decision processes (MDPs) with dynamic coherent risk objectives and constraints. We begin by formulating the problem in a Lagrangian framework. Under the assumption that the risk objectives and constraints can be represented by a Markov risk transition mapping, we propose an optimization-based method to synthesize Markovian policies that low… ▽ More We consider the problem of designing policies for Markov decision processes (MDPs) with dynamic coherent risk objectives and constraints. We begin by formulating the problem in a Lagrangian framework. Under the assumption that the risk objectives and constraints can be represented by a Markov risk transition mapping, we propose an optimization-based method to synthesize Markovian policies that lower-bound the constrained risk-averse problem. We demonstrate that the formulated optimization problems are in the form of difference convex programs (DCPs) and can be solved by the disciplined convex-concave programming (DCCP) framework. We show that these results generalize linear programs for constrained MDPs with total discounted expected costs and constraints. Finally, we illustrate the effectiveness of the proposed method with numerical experiments on a rover navigation problem involving conditional-value-at-risk (CVaR) and entropic-value-at-risk (EVaR) coherent risk measures. △ Less

Submitted 28 March, 2021; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: Draft Accepted for Presentation at The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), Feb. 2-9, 2021

Non associative magnetic translations from parallel transport in projective Hilbert bundles

Authors: Jouko Mickelsson, Michael Murray

Abstract: The non-associativity of translations in a quantum system with magnetic field background has received renewed interest in association with topologically trivial gerbes over $\mathbb{R}^n.$ The non-associativity is described by a 3-cocycle of the group $\mathbb{R}^n$ with values in the unit circle $S^1.$ The gerbes over a space $M$ are topologically classified by the Dixmier-Douady class which is a… ▽ More The non-associativity of translations in a quantum system with magnetic field background has received renewed interest in association with topologically trivial gerbes over $\mathbb{R}^n.$ The non-associativity is described by a 3-cocycle of the group $\mathbb{R}^n$ with values in the unit circle $S^1.$ The gerbes over a space $M$ are topologically classified by the Dixmier-Douady class which is an element of $\mathrm{H}^3(M,\mathbb{Z}).$ However, there is a finer description in terms of local differential forms of degrees $d=0,1,2,3$ and the case of the magnetic translations for $n=3$ the 2-form part is the magnetic field $B$ with non zero divergence. In this paper we study a quantum field theoretic construction in terms of $n$-component fermions on a circle. The non associativity arises when trying to lift the translation group action on the 1-particle system to the second quantized system. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1905.01944

MSC Class: 81T50 (primary); 22E67; 81R15; 22E70 (secondary)

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions

Authors: Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames

Abstract: The prolific rise in autonomous systems has led to questions regarding their safe instantiation in real-world scenarios. Failures in safety-critical contexts such as human-robot interactions or even autonomous driving can ultimately lead to loss of life. In this context, this paper aims to provide a method by which one can algorithmically test and evaluate an autonomous system. Given a black-box a… ▽ More The prolific rise in autonomous systems has led to questions regarding their safe instantiation in real-world scenarios. Failures in safety-critical contexts such as human-robot interactions or even autonomous driving can ultimately lead to loss of life. In this context, this paper aims to provide a method by which one can algorithmically test and evaluate an autonomous system. Given a black-box autonomous system with some operational specifications, we construct a minimax problem based on control barrier functions to generate a family of test parameters designed to optimally evaluate whether the system can satisfy the specifications. To illustrate our results, we utilize the Robotarium as a case study for an autonomous system that claims to satisfy waypoint navigation and obstacle avoidance simultaneously. We demonstrate that the proposed test synthesis framework systematically finds those sequences of events (tests) that identify points of system failure. △ Less

Submitted 8 April, 2020; originally announced April 2020.

Homoclinic dynamics in a spatial restricted four body problem blue skies into Smale horseshoes for vertical Lyapunov families

Authors: Maxime Murray, Jason Mireles-James

Abstract: The set of transverse homoclinic intersections for a saddle-focus equilibrium in the planar equilateral restricted four-body problem admit certain simple homoclinic orbits which form the skeleton of the complete homoclinic intersection -- or homoclinic web. In the present work, the planar restricted four-body problem is viewed as an invariant subsystem of the spatial problem, and the influence of… ▽ More The set of transverse homoclinic intersections for a saddle-focus equilibrium in the planar equilateral restricted four-body problem admit certain simple homoclinic orbits which form the skeleton of the complete homoclinic intersection -- or homoclinic web. In the present work, the planar restricted four-body problem is viewed as an invariant subsystem of the spatial problem, and the influence of this planar homoclinic skeleton on the spatial dynamics is studied from a numerical point of view. Starting from the vertical Lyapunov families emanating from saddle focus equilibria, we compute the stable/unstable manifolds of these spatial periodic orbits and look for intersections between these manifolds near the fundamental planar homoclinics. In this way, we are able to continue all of the basic planar homoclinic motions into the spatial problem as homoclinics for appropriate vertical Lyapunov orbits which, by the Smale Tangle theorem, suggest the existence of chaotic motions in the spatial problem. While the saddle-focus equilibrium solutions in the planar problems occur only at a discrete set of energy levels, the cycle-to-cycle homoclinics in the spatial problem are robust with respect to small changes in energy. △ Less

Submitted 15 January, 2020; originally announced January 2020.

JNR Monopoles

Authors: Michael K. Murray, Paul Norbury

Abstract: We review the theory of JNR, mass 1/2 hyperbolic monopoles in particular their spectral curves and rational maps. These are used to establish conditions for a spectral curve to be the spectral curve of a JNR monopole and to show that that rational map of a JNR monopole monopole arises by scattering using results of Atiyah. We show that for JNR monopoles the holomorphic sphere has a remarkably simp… ▽ More We review the theory of JNR, mass 1/2 hyperbolic monopoles in particular their spectral curves and rational maps. These are used to establish conditions for a spectral curve to be the spectral curve of a JNR monopole and to show that that rational map of a JNR monopole monopole arises by scattering using results of Atiyah. We show that for JNR monopoles the holomorphic sphere has a remarkably simple form and show that this can be used to give a formula for the energy density at infinity. In conclusion we illustrate some examples of the energy-density at infinity of JNR monopoles. △ Less

Submitted 11 December, 2019; originally announced December 2019.

MSC Class: 81T13; 53C07; 14D21

Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems

Authors: Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray

Abstract: Motivated by exploration of communication-constrained underground environments using robot teams, we study the problem of planning for intermittent connectivity in multi-agent systems. We propose a novel concept of information-consistency to handle situations where the plan is not initially known by all agents, and suggest an integer linear program for synthesizing information-consistent plans tha… ▽ More Motivated by exploration of communication-constrained underground environments using robot teams, we study the problem of planning for intermittent connectivity in multi-agent systems. We propose a novel concept of information-consistency to handle situations where the plan is not initially known by all agents, and suggest an integer linear program for synthesizing information-consistent plans that also achieve auxiliary goals. Furthermore, inspired by network flow problems we propose a novel way to pose connectivity constraints that scales much better than previous methods. In the second part of the paper we apply these results in an exploration setting, and propose a clustering method that separates a large exploration problem into smaller problems that can be solved independently. We demonstrate how the resulting exploration algorithm is able to coordinate a team of ten agents to explore a large environment. △ Less

Submitted 19 November, 2019; originally announced November 2019.

The Weyl map and bundle gerbes

Authors: Kimberly E. Becker, Michael K. Murray, Daniel Stevenson

Abstract: We introduce the notion of a general cup product bundle gerbe and use it to define the Weyl bundle gerbe on T x SU(n)/T. The Weyl map from T x SU(n)/T to SU(n) is then used to show that the pullback of the basic bundle gerbe on SU(n) defined by the second two authors is stably isomorphic to the Weyl bundle gerbe as SU(n)-equivariant bundle gerbes. Both bundle gerbes come equipped with connections… ▽ More We introduce the notion of a general cup product bundle gerbe and use it to define the Weyl bundle gerbe on T x SU(n)/T. The Weyl map from T x SU(n)/T to SU(n) is then used to show that the pullback of the basic bundle gerbe on SU(n) defined by the second two authors is stably isomorphic to the Weyl bundle gerbe as SU(n)-equivariant bundle gerbes. Both bundle gerbes come equipped with connections and curvings and by considering the holonomy of these we show that these bundle gerbes are not D-stably isomorphic. △ Less

Submitted 11 December, 2019; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: This paper is based on the MPhil thesis of the first author: arXiv:1910.01776. To appear in Journal of Geometry and Physics

MSC Class: 53C08 55N45

Risk-Averse Planning Under Uncertainty

Authors: Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames

Abstract: We consider the problem of designing policies for partially observable Markov decision processes (POMDPs) with dynamic coherent risk objectives. Synthesizing risk-averse optimal policies for POMDPs requires infinite memory and thus undecidable. To overcome this difficulty, we propose a method based on bounded policy iteration for designing stochastic but finite state (memory) controllers, which ta… ▽ More We consider the problem of designing policies for partially observable Markov decision processes (POMDPs) with dynamic coherent risk objectives. Synthesizing risk-averse optimal policies for POMDPs requires infinite memory and thus undecidable. To overcome this difficulty, we propose a method based on bounded policy iteration for designing stochastic but finite state (memory) controllers, which takes advantage of standard convex optimization methods. Given a memory budget and optimality criterion, the proposed method modifies the stochastic finite state controller leading to sub-optimal solutions with lower coherent risk. △ Less

Submitted 27 September, 2019; originally announced September 2019.

Sign choices for orientifolds

Authors: Pedram Hekmati, Michael K. Murray, Richard J. Szabo, Raymond F. Vozzo

Abstract: We analyse the problem of assigning sign choices to O-planes in orientifolds of type II string theory. We show that there exists a sequence of invariant $p$-gerbes with $p\geq-1$, which give rise to sign choices and are related by coboundary maps. We prove that the sign choice homomorphisms stabilise with the dimension of the orientifold and we derive topological constraints on the possible sign c… ▽ More We analyse the problem of assigning sign choices to O-planes in orientifolds of type II string theory. We show that there exists a sequence of invariant $p$-gerbes with $p\geq-1$, which give rise to sign choices and are related by coboundary maps. We prove that the sign choice homomorphisms stabilise with the dimension of the orientifold and we derive topological constraints on the possible sign configurations. Concrete calculations for spherical and toroidal orientifolds are carried out, and in particular we exhibit a four-dimensional orientifold where not every sign choice is geometrically attainable. We elucidate how the $K$-theory groups associated with invariant $p$-gerbes for $p=-1,0,1$ interact with the coboundary maps. This allows us to interpret a notion of $K$-theory due to Gao and Hori as a special case of twisted $KR$-theory, which consequently implies the homotopy invariance and Fredholm module description of their construction. △ Less

Submitted 11 August, 2020; v1 submitted 15 May, 2019; originally announced May 2019.

Comments: 29 pages; v2: minor corrections and comments added; Final version to appear in Communications in Mathematical Physics

Report number: EMPG-19-13

Nodal lengths of eigenfunctions in the disc

Authors: Xiaolong Han, Michael Murray, Chuong Tran

Abstract: In this paper, we derive the sharp lower and upper bounds of nodal lengths of Laplacian eigenfunctions in the disc. Furthermore, we observe a geometric property of the eigenfunctions whose nodal curves maximize the nodal length. In this paper, we derive the sharp lower and upper bounds of nodal lengths of Laplacian eigenfunctions in the disc. Furthermore, we observe a geometric property of the eigenfunctions whose nodal curves maximize the nodal length. △ Less

Submitted 25 September, 2017; v1 submitted 27 August, 2017; originally announced August 2017.

Comments: 10 pages. Typos have been corrected in the second version

MSC Class: 58J50; 35J05; 35P15

Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications

Authors: J. D. Mireles James, Maxime Murray

Abstract: This paper develops a computational method for studying stable/unstable manifolds attached to periodic orbits of differential equations. The method uses high order Chebyshev-Taylor series approximations in conjunction with the parameterization method -- a general functional analytic framework for invariant manifolds. The parameterization method can follow folds in the embedding, recovers the dynam… ▽ More This paper develops a computational method for studying stable/unstable manifolds attached to periodic orbits of differential equations. The method uses high order Chebyshev-Taylor series approximations in conjunction with the parameterization method -- a general functional analytic framework for invariant manifolds. The parameterization method can follow folds in the embedding, recovers the dynamics on the manifold through a simple conjugacy, and admits a natural notion of a-posteriori error analysis. The key to the approach is the derivation of a recursive system of linear differential equations describing the Taylor coefficients of the invariant manifold. We find periodic solutions of these equations by solving a coupled collection of boundary value problems with Chebyshev spectral methods. We discuss the performance of the method for the Lorenz system, and for circular restricted three and four body problems. We also illustrate the use of the method as a tool for computing cycle-to-cycle connecting orbits. △ Less

Submitted 24 November, 2017; v1 submitted 11 June, 2017; originally announced June 2017.

Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof

Authors: Jan Bouwe van den Berg, Maxime Breden, Jean-Philippe Lessard, Maxime Murray

Abstract: In this paper, we prove existence of symmetric homoclinic orbits for the suspension bridge equation $u""+βu" + e^u-1=0$ for all parameter values $β\in [0.5,1.9]$. For each $β$, a parameterization of the stable manifold is computed and the symmetric homoclinic orbits are obtained by solving a projected boundary value problem using Chebyshev series. The proof is computer-assisted and combines the un… ▽ More In this paper, we prove existence of symmetric homoclinic orbits for the suspension bridge equation $u""+βu" + e^u-1=0$ for all parameter values $β\in [0.5,1.9]$. For each $β$, a parameterization of the stable manifold is computed and the symmetric homoclinic orbits are obtained by solving a projected boundary value problem using Chebyshev series. The proof is computer-assisted and combines the uniform contraction theorem and the radii polynomial approach, which provides an efficient means of determining a set, centered at a numerical approximation of a solution, on which a Newton-like operator is a contraction. △ Less

Submitted 23 February, 2017; originally announced February 2017.

Comments: 37 pages, 6 figures

Quasi-periodic paths and a string 2-group model from the free loop group

Authors: Michael Murray, David Michael Roberts, Christoph Wockel

Abstract: In this paper we address the question of the existence of a model for the string 2-group as a strict Lie-2-group using the free loop group $LSpin$ (or more generally $LG$ for compact simple simply-connected Lie groups $G$). Baez-Crans-Stevenson-Schreiber constructed a model for the string 2-group using a based loop group. This has the deficiency that it does not admit an action of the circle group… ▽ More In this paper we address the question of the existence of a model for the string 2-group as a strict Lie-2-group using the free loop group $LSpin$ (or more generally $LG$ for compact simple simply-connected Lie groups $G$). Baez-Crans-Stevenson-Schreiber constructed a model for the string 2-group using a based loop group. This has the deficiency that it does not admit an action of the circle group $S^1$, which is of crucial importance, for instance in the construction of a (hypothetical) $S^1$-equivariant index of (higher) differential operators. The present paper shows that there are in fact obstructions for constructing a strict model for the string 2-group using $LG$. We show that a certain infinite-dimensional manifold of smooth paths admits no Lie group structure, and that there are no nontrivial Lie crossed modules analogous to the BCSS model using the universal central extension of the free loop group. Afterwards, we construct the next best thing, namely a coherent model for the string 2-group using the free loop group, with explicit formulas for all structure. This is in particular important for the expected representation theory of the string group that we discuss briefly in the end. △ Less

Submitted 19 June, 2017; v1 submitted 6 February, 2017; originally announced February 2017.

Comments: 20 pages; v2 18 pages, version to appear J. Lie Theory

Journal ref: Journal of Lie Theory, 27 (2017), No. 4, 1151-1177

Real bundle gerbes, orientifolds and twisted KR-homology

Authors: Pedram Hekmati, Michael K. Murray, Richard J. Szabo, Raymond F. Vozzo

Abstract: We consider Real bundle gerbes on manifolds equipped with an involution and prove that they are classified by their Real Dixmier-Douady class in Grothendieck's equivariant sheaf cohomology. We show that the Grothendieck group of Real bundle gerbe modules is isomorphic to twisted KR-theory for a torsion Real Dixmier-Douady class. Using these modules as building blocks, we introduce geometric cycles… ▽ More We consider Real bundle gerbes on manifolds equipped with an involution and prove that they are classified by their Real Dixmier-Douady class in Grothendieck's equivariant sheaf cohomology. We show that the Grothendieck group of Real bundle gerbe modules is isomorphic to twisted KR-theory for a torsion Real Dixmier-Douady class. Using these modules as building blocks, we introduce geometric cycles for twisted KR-homology and prove that they generate a real-oriented generalised homology theory dual to twisted KR-theory for Real closed manifolds, and more generally for Real finite CW-complexes, for any Real Dixmier-Douady class. This is achieved by defining an explicit natural transformation to analytic twisted KR-homology and proving that it is an isomorphism. Our model both refines and extends previous results by Wang and Baum-Carey-Wang to the Real setting. Our constructions further provide a new framework for the classification of orientifolds in string theory, providing precise conditions for orientifold lifts of H-fluxes and for orientifold projections of open string states. △ Less

Submitted 11 May, 2020; v1 submitted 23 August, 2016; originally announced August 2016.

Comments: 44 pages; v2: minor changes, citations added; v3: technical corrections throughout, main results unchanged, some clarifying comments and reference added; v4: exposition improved, proof of Theorem 6.10 corrected, references added; v5: Final version to appear in Advances in Theoretical and Mathematical Physics; v6: published version with minor corrections, references updated

Report number: EMPG-16-15

Journal ref: Adv. Theor. Math. Phys. 23 (2019) 2093-2159

Equivariant bundle gerbes

Authors: Michael K. Murray, David Michael Roberts, Danny Stevenson, Raymond F. Vozzo

Abstract: We develop the theory of simplicial extensions for bundle gerbes and their characteristic classes with a view towards studying descent problems and equivariance for bundle gerbes. Equivariant bundle gerbes are important in the study of orbifold sigma models. We consider in detail two examples: the basic bundle gerbe on a unitary group and a string structure for a principal bundle. We show that the… ▽ More We develop the theory of simplicial extensions for bundle gerbes and their characteristic classes with a view towards studying descent problems and equivariance for bundle gerbes. Equivariant bundle gerbes are important in the study of orbifold sigma models. We consider in detail two examples: the basic bundle gerbe on a unitary group and a string structure for a principal bundle. We show that the basic bundle gerbe is equivariant for the conjugation action and calculate its characteristic class; we show also that a string structure gives rise to a bundle gerbe which is equivariant for a natural action of the String 2-group. △ Less

Submitted 5 May, 2016; v1 submitted 25 June, 2015; originally announced June 2015.

Comments: v2 35 pages, introduction rewritten, references added, no other substantial changes; v1 33 pages. Comments welcome. License is CC-BY

MSC Class: 53C80; 18G30; 55R91

Journal ref: Advances in Theoretical and Mathematical Physics 21 (2017) no. 4 pp 921-975

Convex Optimal Uncertainty Quantification

Authors: Shuo Han, Molei Tao, Ufuk Topcu, Houman Owhadi, Richard M. Murray

Abstract: Optimal uncertainty quantification (OUQ) is a framework for numerical extreme-case analysis of stochastic systems with imperfect knowledge of the underlying probability distribution. This paper presents sufficient conditions under which an OUQ problem can be reformulated as a finite-dimensional convex optimization problem, for which efficient numerical solutions can be obtained. The sufficient con… ▽ More Optimal uncertainty quantification (OUQ) is a framework for numerical extreme-case analysis of stochastic systems with imperfect knowledge of the underlying probability distribution. This paper presents sufficient conditions under which an OUQ problem can be reformulated as a finite-dimensional convex optimization problem, for which efficient numerical solutions can be obtained. The sufficient conditions include that the objective function is piecewise concave and the constraints are piecewise convex. In particular, we show that piecewise concave objective functions may appear in applications where the objective is defined by the optimal value of a parameterized linear program. △ Less

Submitted 27 April, 2015; v1 submitted 27 November, 2013; originally announced November 2013.

Comments: Accepted for publication in SIAM Journal on Optimization

A Geometric Model for Odd Differential K-theory

Authors: Pedram Hekmati, Michael K. Murray, Vincent S. Schlegel, Raymond F. Vozzo

Abstract: Odd $K$-theory has the interesting property that it admits an infinite number of inequivalent differential refinements. In this paper we provide a bundle theoretic model for odd differential $K$-theory using the caloron correspondence and prove that this refinement is unique up to a unique natural isomorphism. We characterise the odd Chern character and its transgression form in terms of a connect… ▽ More Odd $K$-theory has the interesting property that it admits an infinite number of inequivalent differential refinements. In this paper we provide a bundle theoretic model for odd differential $K$-theory using the caloron correspondence and prove that this refinement is unique up to a unique natural isomorphism. We characterise the odd Chern character and its transgression form in terms of a connection and Higgs field and discuss some applications. Our model can be seen as the odd counterpart to the Simons-Sullivan construction of even differential $K$-theory. We use this model to prove a conjecture of Tradler-Wilson-Zeinalian regarding a related differential extension of odd $K$-theory △ Less

Submitted 16 March, 2015; v1 submitted 11 September, 2013; originally announced September 2013.

Comments: 36 pages

Journal ref: Differential Geometry and its Applications, Volume 40, June 2015, Pages 123-158

The Faddeev-Mickelsson-Shatashvili anomaly and lifting bundle gerbes

Authors: Pedram Hekmati, Michael K. Murray, Danny Stevenson, Raymond F. Vozzo

Abstract: In gauge theory, the Faddeev-Mickelsson-Shatashvili anomaly arises as a prolongation problem for the action of the gauge group on a bundle of projective Fock spaces. In this paper, we study this anomaly from the point of view of bundle gerbes and give several equivalent descriptions of the obstruction. These include lifting bundle gerbes with non-trivial structure group bundle and bundle gerbes re… ▽ More In gauge theory, the Faddeev-Mickelsson-Shatashvili anomaly arises as a prolongation problem for the action of the gauge group on a bundle of projective Fock spaces. In this paper, we study this anomaly from the point of view of bundle gerbes and give several equivalent descriptions of the obstruction. These include lifting bundle gerbes with non-trivial structure group bundle and bundle gerbes related to the caloron correspondence. △ Less

Submitted 7 February, 2012; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: 15 pages, v2: minor terminology changed, v3: references added

MSC Class: 53C08; 57R22; 81T13

Journal ref: Comm. Math. Phys. 319(2):379-393, 2013

High-Performance Pseudo-Random Number Generation on Graphics Processing Units

Authors: Nimalan Nandapalan, Richard P. Brent, Lawrence M. Murray, Alistair Rendell

Abstract: This work considers the deployment of pseudo-random number generators (PRNGs) on graphics processing units (GPUs), developing an approach based on the xorgens generator to rapidly produce pseudo-random numbers of high statistical quality. The chosen algorithm has configurable state size and period, making it ideal for tuning to the GPU architecture. We present a comparison of both speed and statis… ▽ More This work considers the deployment of pseudo-random number generators (PRNGs) on graphics processing units (GPUs), developing an approach based on the xorgens generator to rapidly produce pseudo-random numbers of high statistical quality. The chosen algorithm has configurable state size and period, making it ideal for tuning to the GPU architecture. We present a comparison of both speed and statistical quality with other common parallel, GPU-based PRNGs, demonstrating favourable performance of the xorgens-based approach. △ Less

Submitted 2 August, 2011; originally announced August 2011.

Comments: 10 pages, submitted to PPAM 2011 (Torun, Poland, 11-14 Sept. 2011). For further information, see http://maths.anu.edu.au/~brent/pub/pub241.html

MSC Class: 11K45 (Primary) 65C10; 65Y05; 65Y10 (Secondary) ACM Class: D.1.3; G.3; G.4; I.6.8

Journal ref: Lecture Notes in Computer Science, Vol. 7203 (2012), 609-618

The general caloron correspondence

Authors: Pedram Hekmati, Michael K. Murray, Raymond F. Vozzo

Abstract: We outline in detail the general caloron correspondence for the group of automorphisms of an arbitrary principal $G$-bundle $Q$ over a manifold $X$, including the case of the gauge group of $Q$. These results are used to define characteristic classes of gauge group bundles. Explicit but complicated differential form representatives are computed in terms of a connection and Higgs field. We outline in detail the general caloron correspondence for the group of automorphisms of an arbitrary principal $G$-bundle $Q$ over a manifold $X$, including the case of the gauge group of $Q$. These results are used to define characteristic classes of gauge group bundles. Explicit but complicated differential form representatives are computed in terms of a connection and Higgs field. △ Less

Submitted 25 June, 2011; v1 submitted 4 May, 2011; originally announced May 2011.

Comments: 25 pages. New section added containing examples

MSC Class: 55R10 (Primary); 55R91; 22E65; 22E67 (Secondary)

Journal ref: J. Geom. Phys., 62(2):224-241, 2012

On the existence of bibundles

Authors: Michael Murray, David Michael Roberts, Danny Stevenson

Abstract: We consider the existence of bibundles, in other words locally trivial principal $G$ spaces with commuting left and right $G$ actions. We show that their existence is closely related to the structure of the group $\Out(G)$ of outer automorphisms of $G$. We also develop a classifying theory for bibundles. The theory is developed in full generality for $(H, G)$ bibundles for a crossed-module… ▽ More We consider the existence of bibundles, in other words locally trivial principal $G$ spaces with commuting left and right $G$ actions. We show that their existence is closely related to the structure of the group $\Out(G)$ of outer automorphisms of $G$. We also develop a classifying theory for bibundles. The theory is developed in full generality for $(H, G)$ bibundles for a crossed-module $(H, G)$ and we show with examples the close links with loop group bundles. △ Less

Submitted 12 February, 2012; v1 submitted 21 February, 2011; originally announced February 2011.

Comments: This version accepted to appear in the Proceedings of the London Mathematical Society. Various changes made at referee's suggestion

MSC Class: 55R65; 53C08; 18D05

Journal ref: Proc. London Math. Soc. (2012) 105 (6): 1290-1314

A note on bundle gerbes and infinite-dimensionality

Authors: Michael Murray, Danny Stevenson

Abstract: Let $(P, Y)$ be a bundle gerbe over a fibre bundle $Y \to M$. We show that if $M$ is simply-connected and the fibres of $Y \to M$ are connected and finite-dimensional then the Dixmier-Douady class of $(P, Y)$ is torsion. This corrects and extends an earlier result of the first author. Let $(P, Y)$ be a bundle gerbe over a fibre bundle $Y \to M$. We show that if $M$ is simply-connected and the fibres of $Y \to M$ are connected and finite-dimensional then the Dixmier-Douady class of $(P, Y)$ is torsion. This corrects and extends an earlier result of the first author. △ Less

Submitted 28 July, 2010; originally announced July 2010.

MSC Class: 53C08

Circle actions, central extensions and string structures

Authors: Michael K. Murray, Raymond F. Vozzo

Abstract: The caloron correspondence can be understood as an equivalence of categories between $G$-bundles over circle bundles and $LG \rtimes_ρS^1$-bundles where $LG$ is the group of smooth loops in $G$. We use it, and lifting bundle gerbes, to derive an explicit differential form based formula for the (real) string class of an $LG \rtimes_ρS^1$-bundle. The caloron correspondence can be understood as an equivalence of categories between $G$-bundles over circle bundles and $LG \rtimes_ρS^1$-bundles where $LG$ is the group of smooth loops in $G$. We use it, and lifting bundle gerbes, to derive an explicit differential form based formula for the (real) string class of an $LG \rtimes_ρS^1$-bundle. △ Less

Submitted 6 April, 2010; originally announced April 2010.

Comments: 25 pages

MSC Class: 22E67 (Primary); 53C08; 81T30 (Secondary)

Journal ref: Int. J. Geom. Meth. Mod. Phys. 7:1065-1092, 2010

The caloron correspondence and higher string classes for loop groups

Authors: Michael K. Murray, Raymond F. Vozzo

Abstract: We review the caloron correspondence between $G$-bundles on $M \times S^1$ and $ΩG$-bundles on $M$, where $ΩG$ is the space of smooth loops in the compact Lie group $G$. We use the caloron correspondence to define characteristic classes for $ΩG$-bundles, called string classes, by transgression of characteristic classes of $G$-bundles. These generalise the string class of Killingback to higher di… ▽ More We review the caloron correspondence between $G$-bundles on $M \times S^1$ and $ΩG$-bundles on $M$, where $ΩG$ is the space of smooth loops in the compact Lie group $G$. We use the caloron correspondence to define characteristic classes for $ΩG$-bundles, called string classes, by transgression of characteristic classes of $G$-bundles. These generalise the string class of Killingback to higher dimensional cohomology. △ Less

Submitted 23 November, 2009; v1 submitted 18 November, 2009; originally announced November 2009.

Comments: 21 pages. Author addresses added

MSC Class: 55R10 (Primary) 55R35; 57R20; 81T30 (Secondary)

Journal ref: J. Geom. Phys. 60:1235-1250, 2010

Loop groups and holomorphic bundles

Authors: Jacques C. Hurtubise, Michael K. Murray

Abstract: This paper considers the links between the geometry of the various flag manifolds of loop groups and bundles over families of rational curves. Aa an application, a stability result for the moduli on a rational ruled surface of G-bundles with additional flag structure along a line is proven for any reductive group; this gives the corresponding stability statement for any compact group K for the m… ▽ More This paper considers the links between the geometry of the various flag manifolds of loop groups and bundles over families of rational curves. Aa an application, a stability result for the moduli on a rational ruled surface of G-bundles with additional flag structure along a line is proven for any reductive group; this gives the corresponding stability statement for any compact group K for the moduli of K-instantons over the four-sphere, and for the moduli of K-calorons over the three-sphere times the circle. The paper also considers the Hecke transforms on bundles induced by outer automorphisms of the loop groups. △ Less

Submitted 18 December, 2008; originally announced December 2008.

Comments: 31 pages

MSC Class: 14D21 (Primary); 22E67; 57N99 (Secondary)

The basic bundle gerbe on unitary groups

Authors: Michael K Murray, Danny Stevenson

Abstract: We consider the construction of the basic bundle gerbe on SU(n) introduced by Meinrenken and show that it extends to a range of groups with unitary actions on a Hilbert space including U(n), diagonal tori and the Banach Lie group of unitary operators differing from the identity by an element of a Schatten ideal. In all these cases we give an explicit connection and curving on the basic bundle ge… ▽ More We consider the construction of the basic bundle gerbe on SU(n) introduced by Meinrenken and show that it extends to a range of groups with unitary actions on a Hilbert space including U(n), diagonal tori and the Banach Lie group of unitary operators differing from the identity by an element of a Schatten ideal. In all these cases we give an explicit connection and curving on the basic bundle gerbe and calculate the real Dixmier-Douady class. Extensive use is made of the holomorphic functional calculus for operators on a Hilbert space. △ Less

Submitted 22 April, 2008; originally announced April 2008.

MSC Class: 55R65; 47A60

An Introduction to Bundle Gerbes

Authors: Michael K. Murray

Abstract: An introduction to the theory of bundle gerbes and their relationship to Hitchin-Chatterjee gerbes is presented. Topics covered are connective structures, triviality and stable isomorphism as well as examples and applications. An introduction to the theory of bundle gerbes and their relationship to Hitchin-Chatterjee gerbes is presented. Topics covered are connective structures, triviality and stable isomorphism as well as examples and applications. △ Less

Submitted 8 January, 2008; v1 submitted 11 December, 2007; originally announced December 2007.

Comments: To appear in birthday volume in honour of Nigel Hitchin. Replaced with corrected version due to incorrect authorship of example 6.2. Additional references added

MSC Class: 55R65

Bundle gerbes for Chern-Simons and Wess-Zumino-Witten theories

Authors: Alan L. Carey, Stuart Johnson, Michael K. Murray, Danny Stevenson, Bai-Ling Wang

Abstract: We develop the theory of Chern-Simons bundle 2-gerbes and multiplicative bundle gerbes associated to any principal $G$-bundle with connection and a class in $H^4(BG, \ZZ)$ for a compact semi-simple Lie group $G$. The Chern-Simons bundle 2-gerbe realises differential geometrically the Cheeger-Simons invariant. We apply these notions to refine the Dijkgraaf-Witten correspondence between three dime… ▽ More We develop the theory of Chern-Simons bundle 2-gerbes and multiplicative bundle gerbes associated to any principal $G$-bundle with connection and a class in $H^4(BG, \ZZ)$ for a compact semi-simple Lie group $G$. The Chern-Simons bundle 2-gerbe realises differential geometrically the Cheeger-Simons invariant. We apply these notions to refine the Dijkgraaf-Witten correspondence between three dimensional Chern-Simons functionals and Wess-Zumino-Witten models associated to the group $G$. We do this by introducing a lifting to the level of bundle gerbes of the natural map from $H^4(BG, \ZZ)$ to $H^3(G, \ZZ)$. The notion of a multiplicative bundle gerbe accounts geometrically for the subtleties in this correspondence for non-simply connected Lie groups. The implications for Wess-Zumino-Witten models are also discussed. △ Less

Submitted 11 September, 2005; v1 submitted 1 October, 2004; originally announced October 2004.

Comments: 35 pages, xy-pic diagrams, published version

Journal ref: Commun.Math.Phys. 259 (2005) 577-613

Gerbes, Clifford modules and the index theorem

Authors: Michael K. Murray, Michael A. Singer

Abstract: The use of bundle gerbes and bundle gerbe modules is considered as a replacement for the usual theory of Clifford modules on manifolds that fail to be spin. It is shown that both sides of the Atiyah-Singer index formula for coupled Dirac operators can be given natural interpretations using this language and that the resulting formula is still an identity. The use of bundle gerbes and bundle gerbe modules is considered as a replacement for the usual theory of Clifford modules on manifolds that fail to be spin. It is shown that both sides of the Atiyah-Singer index formula for coupled Dirac operators can be given natural interpretations using this language and that the resulting formula is still an identity. △ Less

Submitted 11 February, 2003; v1 submitted 10 February, 2003; originally announced February 2003.

Comments: 10 pages, LaTeX (Added eference to preprint math.DG/0302050 by T. Aristide)

MSC Class: 58J20

Holonomy on D-Branes

Authors: Alan L. Carey, Stuart Johnson, Michael K. Murray

Abstract: This paper shows how to construct anomaly free world sheet actions in string theory with $D$-branes. Our method is to use Deligne cohomology and bundle gerbe theory to define geometric objects which are naturally associated to $D$-branes and connections on them. The holonomy of these connections can be used to cancel global anomalies in the world sheet action. This paper shows how to construct anomaly free world sheet actions in string theory with $D$-branes. Our method is to use Deligne cohomology and bundle gerbe theory to define geometric objects which are naturally associated to $D$-branes and connections on them. The holonomy of these connections can be used to cancel global anomalies in the world sheet action. △ Less

Submitted 3 February, 2004; v1 submitted 23 April, 2002; originally announced April 2002.

Comments: Corrections made and some typographical errors removed

Hyperbolic monopoles and holomorphic spheres

Authors: Michael K. Murray, Paul Norbury, Michael A. Singer

Abstract: We associate to an SU(2) hyperbolic monopole a holomorphic sphere embedded in projective space and use this to uncover various features of the monopole. We associate to an SU(2) hyperbolic monopole a holomorphic sphere embedded in projective space and use this to uncover various features of the monopole. △ Less

Submitted 18 November, 2001; originally announced November 2001.

Comments: 24 pages

MSC Class: 81T13; 53C07

Higgs fields, bundle gerbes and string structures

Authors: M. K. Murray, D. Stevenson

Abstract: We use bundle gerbes and their connections and curvings to obtain an explicit formula for a de Rham representative of the string class of a loop group bundle. This is related to earlier work on calorons. We use bundle gerbes and their connections and curvings to obtain an explicit formula for a de Rham representative of the string class of a loop group bundle. This is related to earlier work on calorons. △ Less

Submitted 20 June, 2001; originally announced June 2001.

Comments: 15 pages

MSC Class: 538C80 (Primary) 81T50; 83E30 (Secondary)

Journal ref: Commun.Math.Phys. 243 (2003) 541-555

Twisted K-theory and K-theory of bundle gerbes

Authors: P. Bouwknegt, A. L. Carey, V. Mathai, M. K. Murray, D. Stevenson

Abstract: In this note we introduce the notion of bundle gerbe K-theory and investigate the relation to twisted K-theory. We provide some examples. Possible applications of bundle gerbe K-theory to the classification of D-brane charges in non-trivial backgrounds are discussed. In this note we introduce the notion of bundle gerbe K-theory and investigate the relation to twisted K-theory. We provide some examples. Possible applications of bundle gerbe K-theory to the classification of D-brane charges in non-trivial backgrounds are discussed. △ Less

Submitted 16 September, 2001; v1 submitted 20 June, 2001; originally announced June 2001.

Comments: 29 pages, corrected typos, added references, included new section on twisted Chern character in non-torsion case

Journal ref: Commun.Math.Phys.228:17-49,2002

Yet another construction of the central extension of the loop group

Authors: Michael K. Murray, Daniel Stevenson

Abstract: We give a characterisation of central extensions of a Lie group G by the non-zero complex numbers in terms of a differential two-form on G and a differential one-form on GxG. This is applied to the case of the central extension of the loop group. We give a characterisation of central extensions of a Lie group G by the non-zero complex numbers in terms of a differential two-form on G and a differential one-form on GxG. This is applied to the case of the central extension of the loop group. △ Less

Submitted 30 January, 2001; originally announced January 2001.

Comments: Conference talk at the National Research Symposium on Geometric Analysis and Applications at the Centre for Mathematics and its Applications

MSC Class: 22E67

Bundle gerbes: stable isomorphism and local theory

Authors: Michael K. Murray, Daniel Stevenson

Abstract: We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory for bundle gerbes using results of Gajer on BC^x bundles. We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory for bundle gerbes using results of Gajer on BC^x bundles. △ Less

Submitted 26 August, 1999; originally announced August 1999.

Comments: 13 pages, LaTeX

MSC Class: 55R65; 55R35

Journal ref: J.Lond.Math.Soc. 62 (2000) 925-937

On the complete integrability of the discrete Nahm equations

Authors: Michael K. Murray, Michael A. Singer

Abstract: The discrete Nahm equations, a system of matrix valued difference equations, arose in the work of Braam and Austin on half-integral mass hyperbolic monopoles. We show that the discrete Nahm equations are completely integrable in a natural sense: to any solution we can associate a spectral curve and a holomorphic line-bundle over the spectral curve, such that the discrete-time DN evolution corr… ▽ More The discrete Nahm equations, a system of matrix valued difference equations, arose in the work of Braam and Austin on half-integral mass hyperbolic monopoles. We show that the discrete Nahm equations are completely integrable in a natural sense: to any solution we can associate a spectral curve and a holomorphic line-bundle over the spectral curve, such that the discrete-time DN evolution corresponds to walking in the Jacobian of the spectral curve in a straight line through the line-bundle with steps of a fixed size. Some of the implications for hyperbolic monopoles are also discussed. △ Less

Submitted 8 March, 1999; originally announced March 1999.

MSC Class: 39A12 (Primary); 58F07 (Secondary)

Journal ref: Commun.Math.Phys. 210 (2000) 497-519

The spherical phylon group and invariants of the Laplace transform

Authors: A. L. Carey, M. G. Eastwood, P. E. Jupp, M. K. Murray

Abstract: We introduce the spherical phylon group, a subgroup of the group of all formal diffeomorphisms of $\R^d$ that fix the origin. The invariant theory of the spherical phylon group is used to understand the invariants of the Laplace transform. We introduce the spherical phylon group, a subgroup of the group of all formal diffeomorphisms of $\R^d$ that fix the origin. The invariant theory of the spherical phylon group is used to understand the invariants of the Laplace transform. △ Less

Submitted 25 November, 1996; originally announced November 1996.

Comments: 14 pages, Latex

Instantons and the information metric

Authors: David Groisser, Michael K. Murray

Abstract: The information metric arises in statistics as a natural inner product on a space of probability distributions. In general this inner product is positive semi-definite but is potentially degenerate. By associating to an instanton its energy density, we can examine the information metric {\bf g} on the moduli spaces $\M$ of self-dual connections over Riemannian 4-manifolds. Compared with the mo… ▽ More The information metric arises in statistics as a natural inner product on a space of probability distributions. In general this inner product is positive semi-definite but is potentially degenerate. By associating to an instanton its energy density, we can examine the information metric {\bf g} on the moduli spaces $\M$ of self-dual connections over Riemannian 4-manifolds. Compared with the more widely known $L^2$ metric, the information metric better reflects the conformal invariance of the self-dual Yang-Mills equations, and seems to have better completeness properties. In the case of $SU(2)$ instantons on $S^4$ of charge one, {\bf g} is known to be the hyperbolic metric on the five-ball. We show more generally that for charge-one $SU(2)$ instantons over $1$-connected, positive-definite manifolds, {\bf g} is nondegenerate and complete in the collar region of $\M$, and is `asymptotically hyperbolic' there; {\bf g} vanishes at the cone points of $\M$. We give explicit formulae for the metric on the space of instantons of charge one on $\C P_2$. △ Less

Submitted 24 November, 1996; originally announced November 1996.

Comments: 18 pages, Latex

Higher bundle gerbes and cohomology classes in gauge theories

Authors: A. L. Carey, M. K. Murray, B. L. Wang

Abstract: The notion of a higher bundle gerbe is introduced to give a geometric realization of the higher degree integral cohomology of certain manifolds. We consider examples using the infinite dimensional spaces arising in gauge theories. The notion of a higher bundle gerbe is introduced to give a geometric realization of the higher degree integral cohomology of certain manifolds. We consider examples using the infinite dimensional spaces arising in gauge theories. △ Less

Submitted 23 November, 1995; originally announced November 1995.

Comments: 16 pages, LaTeX

Journal ref: J.Geom.Phys.21:183-197,1997

Index Theory, Gerbes, and Hamiltonian Quantization

Authors: Alan Carey, Jouko Mickelsson, Michael Murray

Abstract: We give an Atiyah-Patodi-Singer index theory construction of the bundle of fermionic Fock spaces parametrized by vector potentials in odd space dimensions and prove that this leads in a simple manner to the known Schwinger terms (Faddeev-Mickelsson cocycle) for the gauge group action. We relate the APS construction to the bundle gerbe approach discussed recently by Carey and Murray, including an… ▽ More We give an Atiyah-Patodi-Singer index theory construction of the bundle of fermionic Fock spaces parametrized by vector potentials in odd space dimensions and prove that this leads in a simple manner to the known Schwinger terms (Faddeev-Mickelsson cocycle) for the gauge group action. We relate the APS construction to the bundle gerbe approach discussed recently by Carey and Murray, including an explicit computation of the Dixmier-Douady class. An advantage of our method is that it can be applied whenever one has a form of the APS theorem at hand, as in the case of fermions in an external gravitational field. △ Less

Submitted 22 November, 1995; originally announced November 1995.

Comments: 16 pages, Plain TeX inputting AMSTeX

Journal ref: Commun.Math.Phys.183:707-722,1997

Symetric Monopoles

Authors: N. J. Hitchin, N. S. Manton, M. K. Murray

Abstract: We discuss $SU(2)$ Bogomolny monopoles of arbitrary charge $k$ invariant under various symmetry groups. The analysis is largely in terms of the spectral curves, the rational maps, and the Nahm equations associated with monopoles. We consider monopoles invariant under inversion in a plane, monopoles with cyclic symmetry, and monopoles having the symmetry of a regular solid. We introduce the notio… ▽ More We discuss $SU(2)$ Bogomolny monopoles of arbitrary charge $k$ invariant under various symmetry groups. The analysis is largely in terms of the spectral curves, the rational maps, and the Nahm equations associated with monopoles. We consider monopoles invariant under inversion in a plane, monopoles with cyclic symmetry, and monopoles having the symmetry of a regular solid. We introduce the notion of a strongly centred monopole and show that the space of such monopoles is a geodesic submanifold of the monopole moduli space. By solving Nahm's equations we prove the existence of a tetrahedrally symmetric monopole of charge $3$ and an octahedrally symmetric monopole of charge $4$, and determine their spectral curves. Using the geodesic approximation to analyse the scattering of monopoles with cyclic symmetry, we discover a novel type of non-planar $k$-monopole scattering process. △ Less

Submitted 30 March, 1995; originally announced March 1995.

Report number: DAMTP 95-17

Journal ref: Nonlinearity8:661-692,1995

Symmetric Monopoles

Authors: N. S. Manton, M. K. Murray

Abstract: We discuss the spectral curves and rational maps associated with $SU(2)$ Bogomolny monopoles of arbitrary charge $k$. We describe the effect on the rational maps of inverting monopoles in the plane with respect to which the rational maps are defined, and discuss the monopoles invariant under such inversion. We define the strongly centred monopoles, and show they form a geodesic submanifold of th… ▽ More We discuss the spectral curves and rational maps associated with $SU(2)$ Bogomolny monopoles of arbitrary charge $k$. We describe the effect on the rational maps of inverting monopoles in the plane with respect to which the rational maps are defined, and discuss the monopoles invariant under such inversion. We define the strongly centred monopoles, and show they form a geodesic submanifold of the $k$-monopole moduli space. The space of strongly centred $k$-monopoles invariant under the cyclic group of rotations about a fixed axis, $C_k$, is shown to consist of several surfaces of revolution, generalizing the two surfaces obtained by Atiyah and Hitchin in the 2-monopole case. Geodesics on these surfaces give a novel type of $k$-monopole scattering. We present a number of curves in $TP_1$ which we conjecture are the spectral curves of monopoles with the symmetries of a regular solid. These conjectures are based on analogies with Skyrmions. △ Less

Submitted 17 July, 1994; originally announced July 1994.

Comments: 36 pages

Report number: DAMTP 94-57

Bundle gerbes

Authors: Michael K. Murray

Abstract: Just as $\Cstar$ principal bundles provide a geometric realisation of two-dimensional integral cohomology; gerbes or sheaves of groupoids, provide a geometric realisation of three dimensional integral cohomology through their Dixmier-Douady class. I consider an alternative, related, geometric realisation of three dimensional cohomology called a bundle gerbe. Every bundle gerbe gives rise to a ge… ▽ More Just as $\Cstar$ principal bundles provide a geometric realisation of two-dimensional integral cohomology; gerbes or sheaves of groupoids, provide a geometric realisation of three dimensional integral cohomology through their Dixmier-Douady class. I consider an alternative, related, geometric realisation of three dimensional cohomology called a bundle gerbe. Every bundle gerbe gives rise to a gerbe and most of the well-known examples examples of gerbes are bundle gerbes. I discuss the properties of bundle gerbes, in particular bundle gerbe connections and curvature and their associated Dixmier-Douady class. △ Less

Submitted 25 July, 1994; originally announced July 1994.

Comments: 19 pages

Journal ref: J.Lond.Math.Soc. 54 (1996) 403-416

A note on the index bundle over the moduli space of monopoles

Authors: John D. S. Jones, Michael K. Murray

Abstract: Donaldson has shown that the moduli space of monopoles $M_k$ is diffeomorphic to the space $\Rat_k$ of based rational maps from the two-sphere to itself. We use this diffeomorphism to give an explicit description of the bundle on $\Rat_k$ obtained by pushing out the index bundle from $M_k$. This gives an alternative and more explicit proof of some earlier results of Cohen and Jones. Donaldson has shown that the moduli space of monopoles $M_k$ is diffeomorphic to the space $\Rat_k$ of based rational maps from the two-sphere to itself. We use this diffeomorphism to give an explicit description of the bundle on $\Rat_k$ obtained by pushing out the index bundle from $M_k$. This gives an alternative and more explicit proof of some earlier results of Cohen and Jones. △ Less

Submitted 15 July, 1994; originally announced July 1994.

Comments: 9 pages