-
On human-centred security: A new systems model based on modes and mode transitions
Authors:
Edwin J Beggs,
John V Tucker,
Victoria Wang
Abstract:
We propose an abstract conceptual framework for analysing complex security systems using a new notion of modes and mode transitions. A mode is an independent component of a system with its own objectives, monitoring data, algorithms, and scope and limits. The behaviour of a mode, including its transitions to other modes, is determined by interpretations of the mode's monitoring data in the light o…
▽ More
We propose an abstract conceptual framework for analysing complex security systems using a new notion of modes and mode transitions. A mode is an independent component of a system with its own objectives, monitoring data, algorithms, and scope and limits. The behaviour of a mode, including its transitions to other modes, is determined by interpretations of the mode's monitoring data in the light of its objectives and capabilities -- these interpretations we call beliefs. We formalise the conceptual framework mathematically and, by quantifying and visualising beliefs in higher-dimensional geometric spaces, we argue our models may help both design, analyse and explain systems. The mathematical models are based on simplicial complexes.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Noncommutative Fibre Bundles via Bimodules
Authors:
Edwin J. Beggs,
James E. Blake
Abstract:
We construct a Leray-Serre spectral sequence for fibre bundles for de Rham sheaf cohomology on noncommutative algebras. The morphisms are bimodules with zero-curvature extendable bimodule connections. This generalises definitions involving differentiable algebra maps to differentiable completely positive maps by using the KSGNS construction and Hilbert $C^*$-bimodules with bimodule connections. We…
▽ More
We construct a Leray-Serre spectral sequence for fibre bundles for de Rham sheaf cohomology on noncommutative algebras. The morphisms are bimodules with zero-curvature extendable bimodule connections. This generalises definitions involving differentiable algebra maps to differentiable completely positive maps by using the KSGNS construction and Hilbert $C^*$-bimodules with bimodule connections. We give examples of noncommutative fibre bundles, involving group algebras, matrix algebras, and the quantum torus.
△ Less
Submitted 30 December, 2024; v1 submitted 1 February, 2023;
originally announced February 2023.
-
The dynamics of belief: continuously monitoring and visualising complex systems
Authors:
Edwin J. Beggs,
John V. Tucker
Abstract:
The rise of AI in human contexts places new demands on automated systems to be transparent and explainable. We examine some anthropomorphic ideas and principles relevant to such accountablity in order to develop a theoretical framework for thinking about digital systems in complex human contexts and the problem of explaining their behaviour. Structurally, systems are made of modular and hierachica…
▽ More
The rise of AI in human contexts places new demands on automated systems to be transparent and explainable. We examine some anthropomorphic ideas and principles relevant to such accountablity in order to develop a theoretical framework for thinking about digital systems in complex human contexts and the problem of explaining their behaviour. Structurally, systems are made of modular and hierachical components, which we abstract in a new system model using notions of modes and mode transitions. A mode is an independent component of the system with its own objectives, monitoring data, and algorithms. The behaviour of a mode, including its transitions to other modes, is determined by functions that interpret each mode's monitoring data in the light of its objectives and algorithms. We show how these belief functions can help explain system behaviour by visualising their evaluation as trajectories in higher-dimensional geometric spaces. These ideas are formalised mathematically by abstract and concrete simplicial complexes. We offer three techniques: a framework for design heuristics, a general system theory based on modes, and a geometric visualisation, and apply them in three types of human-centred systems.
△ Less
Submitted 17 January, 2024; v1 submitted 11 August, 2022;
originally announced August 2022.
-
Noncommutative geodesics and the KSGNS construction
Authors:
Edwin J Beggs
Abstract:
We study geodesics in noncommutative geometry by means of bimodule connections and completely positive maps using the Kasparov, Stinespring, Gel'fand, Naimark & Segal (KSGNS) construction. This is motivated from classical geometry, and we also consider examples on the algebras M_2(C) and C(Z_n), though restricting to classical real time. On the way we have to consider the reality of a noncommutati…
▽ More
We study geodesics in noncommutative geometry by means of bimodule connections and completely positive maps using the Kasparov, Stinespring, Gel'fand, Naimark & Segal (KSGNS) construction. This is motivated from classical geometry, and we also consider examples on the algebras M_2(C) and C(Z_n), though restricting to classical real time. On the way we have to consider the reality of a noncommutative vector field, and for this we propose a definition depending on a state on the algebra.
△ Less
Submitted 20 August, 2019; v1 submitted 19 November, 2018;
originally announced November 2018.
-
Analogue-digital systems and the modular decomposition of physical behaviour
Authors:
E. J. Beggs,
J. V. Tucker
Abstract:
We take a fresh look at analogue-digital systems focussing on their physical behaviour. We model a general analogue-digital system as a physical process controlled by an algorithm by viewing the physical process as physical oracle to the algorithm, generalising the notion of Turing. We develop a theoretical framework for the specification and analysis of such systems that combines five semantical…
▽ More
We take a fresh look at analogue-digital systems focussing on their physical behaviour. We model a general analogue-digital system as a physical process controlled by an algorithm by viewing the physical process as physical oracle to the algorithm, generalising the notion of Turing. We develop a theoretical framework for the specification and analysis of such systems that combines five semantical notions: actual physical behaviour, measured behaviour, predicted behaviour, computed behaviour and exceptional behaviour. Next, we consider the more general and applicable situation of complex processes that exhibit several distinct modes of physical behaviour. Thus, for their design, a set of mathematical models may be needed, each model having its own domain of application and representing a particular mode of behaviour or operation of physical reality with its own physical oracle. The models may be of disparate kinds and, furthermore, not all physical modes may even have a reliable model. We address the questions: How do we specify algorithms and software that monitor or govern a complex physical situation with many physical modes? How do we specify a portfolio of modes, and the computational problem of transitioning from using one mode to another mode as physical behaviour changes? We propose a general definition of an analogue-digital system with modes, and show how any diverse set of modes, with or without models, can be bound together, and how the transitions between modes can be determined, by constructing a data type and mode selection functions. We illustrate the ideas of physical modes and our theory by reflecting on simple examples, including driverless racing cars.
△ Less
Submitted 16 April, 2018;
originally announced April 2018.
-
Quantum Riemannian geometry of phase space and nonassociativity
Authors:
Edwin J. Beggs,
Shahn Majid
Abstract:
Noncommutative or `quantum' differential geometry has emerged in recent years as a process for quantizing not only a classical space into a noncommutative algebra (as familiar in quantum mechanics) but also differential forms, bundles and Riemannian structures at this level. The data for the algebra quantisation is a classical Poisson bracket, the data for the quantum differential forms is a Poiss…
▽ More
Noncommutative or `quantum' differential geometry has emerged in recent years as a process for quantizing not only a classical space into a noncommutative algebra (as familiar in quantum mechanics) but also differential forms, bundles and Riemannian structures at this level. The data for the algebra quantisation is a classical Poisson bracket, the data for the quantum differential forms is a Poisson-compatible connection it was recently shown that after this, classical data such as classical bundles, metrics etc. all become quantised in a canonical `functorial' way at least to 1st order in deformation theory. There are, however, fresh compatibility conditions between the classical Riemannian and the Poisson structures as well as new physics such as nonassociativity at 2nd order. We give an introduction to this theory and some details for the case of CP${}^n$ where the commutation relations have the canonical form $[w^i,\bar w^j]=\mathrm{i}λδ_{ij}$ similar to the proposal of Penrose for quantum twistor space. Our work provides a canonical but ultimately nonassociative differential calculus on this algebra and quantises the metric and Levi-Civita connection at lowest order in $λ$.
△ Less
Submitted 29 October, 2014;
originally announced October 2014.
-
Semiquantisation Functor and Poisson-Riemannian Geometry, I
Authors:
Edwin J. Beggs,
Shahn Majid
Abstract:
We study noncommutative bundles and Riemannian geometry at the semiclassical level of first order in a deformation parameter $λ$, using a functorial approach. The data for quantisation of the cotangent bundle is known to be a Poisson structure and Poisson preconnection and we now show that this data defines to a functor $Q$ from the monoidal category of classical vector bundles equipped with conne…
▽ More
We study noncommutative bundles and Riemannian geometry at the semiclassical level of first order in a deformation parameter $λ$, using a functorial approach. The data for quantisation of the cotangent bundle is known to be a Poisson structure and Poisson preconnection and we now show that this data defines to a functor $Q$ from the monoidal category of classical vector bundles equipped with connections to the monodial category of bimodules equipped with bimodule connections over the quantised algebra. We adapt this functor to quantise the wedge product of the exterior algebra and in the Riemannian case, the metric and the Levi-Civita connection. Full metric compatibility requires vanishing of an obstruction in the classical data, expressed in terms of a generalised Ricci 2-form, without which our quantum Levi-Civita connection is still the best possible. We apply the theory to the Schwarzschild black-hole and to Riemann surfaces as examples, as well as verifying our results on the 2D bicrossproduct model quantum spacetime. The quantized Schwarzschild black-hole in particular has features similar to those encountered in $q$-deformed models, notably the necessity of nonassociativity of any rotationally invariant quantum differential calculus of classical dimensions.
△ Less
Submitted 17 March, 2014;
originally announced March 2014.
-
Line bundles and the Thom construction in noncommutative geometry
Authors:
E. J. Beggs,
T. Brzezinski
Abstract:
The idea of a line bundle in classical geometry is transferred to noncommutative geometry by the idea of a Morita context. From this we can construct Z and N graded algebras, the Z graded algebra being a Hopf-Galois extension. A non-degenerate Hermitian metric gives a star structure on this algebra, and an additional star operation on the line bundle gives a star operation on the N graded algebra.…
▽ More
The idea of a line bundle in classical geometry is transferred to noncommutative geometry by the idea of a Morita context. From this we can construct Z and N graded algebras, the Z graded algebra being a Hopf-Galois extension. A non-degenerate Hermitian metric gives a star structure on this algebra, and an additional star operation on the line bundle gives a star operation on the N graded algebra. In this case, we can carry out the associated circle bundle and Thom constructions. Starting with a C* algebra as base, and with some positivity assumptions, the associated circle and Thom algebras are also C* algebras. We conclude by examining covariant derivatives and Chern classes on line bundles after the method of Kobayashi and Nomizu.
△ Less
Submitted 20 January, 2011; v1 submitted 7 December, 2010;
originally announced December 2010.
-
Nonassociative Riemannian Geometry by Twisting
Authors:
E. J. Beggs,
S. Majid
Abstract:
Many quantum groups and quantum spaces of interest can be obtained by cochain (but not cocycle) twist from their corresponding classical object. This failure of the cocycle condition implies a hidden nonassociativity in the noncommutative geometry already known to be visible at the level of differential forms. We extend the cochain twist framework to connections and Riemannian structures and pro…
▽ More
Many quantum groups and quantum spaces of interest can be obtained by cochain (but not cocycle) twist from their corresponding classical object. This failure of the cocycle condition implies a hidden nonassociativity in the noncommutative geometry already known to be visible at the level of differential forms. We extend the cochain twist framework to connections and Riemannian structures and provide examples including twist of the $S^7$ coordinate algebra to a nonassociative hyperbolic geometry in the same category as that of the octonions.
△ Less
Submitted 8 December, 2009;
originally announced December 2009.
-
Limits to measurement in experiments governed by algorithms
Authors:
E. J. Beggs,
J. F. Costa,
J. V. Tucker
Abstract:
We pose the following question: If a physical experiment were to be completely controlled by an algorithm, what effect would the algorithm have on the physical measurements made possible by the experiment?
In a programme to study the nature of computation possible by physical systems, and by algorithms coupled with physical systems, we have begun to analyse (i) the algorithmic nature of experi…
▽ More
We pose the following question: If a physical experiment were to be completely controlled by an algorithm, what effect would the algorithm have on the physical measurements made possible by the experiment?
In a programme to study the nature of computation possible by physical systems, and by algorithms coupled with physical systems, we have begun to analyse (i) the algorithmic nature of experimental procedures, and (ii) the idea of using a physical experiment as an oracle to Turing Machines. To answer the question, we will extend our theory of experimental oracles in order to use Turing machines to model the experimental procedures that govern the conduct of physical experiments. First, we specify an experiment that measures mass via collisions in Newtonian Dynamics; we examine its properties in preparation for its use as an oracle. We start to classify the computational power of polynomial time Turing machines with this experimental oracle using non-uniform complexity classes. Second, we show that modelling an experimenter and experimental procedure algorithmically imposes a limit on what can be measured with equipment. Indeed, the theorems suggest a new form of uncertainty principle for our knowledge of physical quantities measured in simple physical experiments. We argue that the results established here are representative of a huge class of experiments.
△ Less
Submitted 19 November, 2009;
originally announced November 2009.
-
*-Compatible Connections in Noncommutative Riemannian Geometry
Authors:
E. J. Beggs,
S. Majid
Abstract:
We develop the formalism for noncommutative differential geometry and Riemmannian geometry to take full account of the *-algebra structure on the (possibly noncommutative) coordinate ring and the bimodule structure on the differential forms. We show that *-compatible bimodule connections lead to braid operators $σ$ in some generality (going beyond the quantum group case) and we develop their rol…
▽ More
We develop the formalism for noncommutative differential geometry and Riemmannian geometry to take full account of the *-algebra structure on the (possibly noncommutative) coordinate ring and the bimodule structure on the differential forms. We show that *-compatible bimodule connections lead to braid operators $σ$ in some generality (going beyond the quantum group case) and we develop their role in the exterior algebra. We study metrics in the form of Hermitian structures on Hilbert *-modules and metric compatibility in both the usual and a cotorsion form. We show that the theory works well for the quantum group $C_q[SU_2]$ with its 3D calculus, finding for each point of a 3-parameter space of covariant metrics a unique `Levi-Civita' connection deforming the classical one and characterised by zero torsion, metric-preservation and *-compatibility. Allowing torsion, we find a unique connection with classical limit that is metric-preserving and *-compatible and for which $σ$ obeys the braid relations. It projects to a unique `Levi-Civita' connection on the quantum sphere. The theory also works for finite groups and in particular for the permutation group $S_3$ where we find somewhat similar results.
△ Less
Submitted 12 September, 2009; v1 submitted 3 April, 2009;
originally announced April 2009.
-
Further results on coset representative categories
Authors:
M. M. Al-Shomrani,
E. J. Beggs
Abstract:
This paper is devoted to further results on the nontrivially associated categories $\mathcal{C}$ and $\mathcal{D}$, which are constructed from a choice of coset representatives for a subgroup of a finite group.
We look at the construction of integrals in the algebras $A$ and $D$ in the categories. These integrals are used to construct abstract projection operators to show that general objects…
▽ More
This paper is devoted to further results on the nontrivially associated categories $\mathcal{C}$ and $\mathcal{D}$, which are constructed from a choice of coset representatives for a subgroup of a finite group.
We look at the construction of integrals in the algebras $A$ and $D$ in the categories. These integrals are used to construct abstract projection operators to show that general objects in $\mathcal{D}$ can be split into a sum of simple objects. The braided Hopf algebra $D$ is shown to be braided cocommutative, but not braided commutative. Extensions of the categories and their connections with conjugations and inner products are discussed.
△ Less
Submitted 16 February, 2007;
originally announced February 2007.
-
Bar categories and star operations
Authors:
E. J. Beggs,
S. Majid
Abstract:
We introduce the notion of `bar category' by which we mean a monoidal category equipped with additional structure formalising the notion of complex conjugation. Examples of our theory include bimodules over a $*$-algebra, modules over a conventional $*$-Hopf algebra and modules over a more general object which call a `quasi-$*$-Hopf algebra' and for which examples include the standard quantum gr…
▽ More
We introduce the notion of `bar category' by which we mean a monoidal category equipped with additional structure formalising the notion of complex conjugation. Examples of our theory include bimodules over a $*$-algebra, modules over a conventional $*$-Hopf algebra and modules over a more general object which call a `quasi-$*$-Hopf algebra' and for which examples include the standard quantum groups $u_q(g)$ at $q$ a root of unity (these are well-known not to be a usual $*$-Hopf algebra). We also provide examples of strictly quasiassociative bar categories, including modules over `$*$-quasiHopf algebras' and a construction based on finite subgroups $H\subset G$ of a finite group. Inside a bar category one has natural notions of `$\star$-algebra' and `unitary object' therefore extending these concepts to a variety of new situations. We study braidings and duals in bar categories and $\star$-braided groups (Hopf algebras) {\em in} braided-bar categories. Examples include the transmutation $B(H)$ of a quasitriangular $*$-Hopf algebra and the quantum plane $C_q^2$ at certain roots of unity $q$ in the bar category of $\widetilde{u_q(su_2)}$-modules. We use our methods to provide a natural quasi-associative $C^*$-algebra structure on the octonions ${\mathbb O}$ and on a coset example. In the appendix we extend the Tannaka-Krein reconstruction theory to bar categories in relation to $*$-Hopf algebras.
△ Less
Submitted 22 December, 2007; v1 submitted 30 December, 2006;
originally announced January 2007.
-
An explicit formula for a strong connection
Authors:
E. J. Beggs,
Tomasz Brzezinski
Abstract:
An explicit formula for a strong connection form in a principal extension by a coseparable coalgebra is given.
An explicit formula for a strong connection form in a principal extension by a coseparable coalgebra is given.
△ Less
Submitted 23 June, 2006;
originally announced June 2006.
-
Quantization by cochain twists and nonassociative differentials
Authors:
E. J. Beggs,
S. Majid
Abstract:
We show that several standard associative quantizations in mathematical physics can be expressed as cochain module-algebra twists in the spirit of Moyal products at least to $O(\hbar^3)$, but to achieve this we twist not by a 2-cocycle but by a 2-cochain. This implies a hidden nonassociavitity not visible in the algebra itself but present in its deeper noncommutative differential geometry, a phe…
▽ More
We show that several standard associative quantizations in mathematical physics can be expressed as cochain module-algebra twists in the spirit of Moyal products at least to $O(\hbar^3)$, but to achieve this we twist not by a 2-cocycle but by a 2-cochain. This implies a hidden nonassociavitity not visible in the algebra itself but present in its deeper noncommutative differential geometry, a phenomenon first seen in our previous work on semiclassicalisation of differential structures. The quantisations are induced by a classical group covariance and include: enveloping algebras $U_\hbar(g)$ as quantisations of $g^*$, a Fedosov-type quantisation of the sphere $S^2$ under a Lorentz group covariance, the Mackey quantisation of homogeneous spaces, and the standard quantum groups $C_q[G]$. We also consider the differential quantisation of $R^n$ for a given symplectic connection as part of our semiclassical analysis and we outline a proposal for the Dirac operator.
△ Less
Submitted 15 November, 2005; v1 submitted 22 June, 2005;
originally announced June 2005.
-
Semi-classical differential structures
Authors:
E. J. Beggs,
S. Majid
Abstract:
We semiclassicalise the standard notion of differential calculus in noncommutative geometry on algebras and quantum groups. We show in the symplectic case that the infinitesimal data for a differential calculus is a symplectic connection, and interpret its curvature as lowest order nonassociativity of the exterior algebra. Semiclassicalisation of the noncommutative torus provides an example with…
▽ More
We semiclassicalise the standard notion of differential calculus in noncommutative geometry on algebras and quantum groups. We show in the symplectic case that the infinitesimal data for a differential calculus is a symplectic connection, and interpret its curvature as lowest order nonassociativity of the exterior algebra. Semiclassicalisation of the noncommutative torus provides an example with zero curvature. In the Poisson-Lie group case we study left-covariant infinitesimal data in terms of partially defined preconnections. We show that the moduli space of bicovariant infinitesimal data for quasitriangular Poisson-Lie groups has a canonical reference point which is flat in the triangular case. Using a theorem of Kostant, we completely determine the moduli space when the Lie algebra is simple: the canonical preconnection is the unique point for other than sl_n, n>2, when the moduli space is 1-dimensional. We relate the canonical preconnection to Drinfeld twists and thereby quantise it to a super coquasi-Hopf exterior algebra. We also discuss links with Fedosov quantisation.
△ Less
Submitted 15 November, 2005; v1 submitted 18 June, 2003;
originally announced June 2003.
-
Braiding and exponentiating noncommutative vector fields
Authors:
E. J. Beggs
Abstract:
The purpose of this paper is to put into a noncommutative context basic notions related to vector fields from classical differential geometry. The manner of exposition is an attempt to make the material as accessible as possible to classical geometers. The definition of vector field used is a specialisation of the Cartan pair definition, and the paper relies on the idea of generalised braidings…
▽ More
The purpose of this paper is to put into a noncommutative context basic notions related to vector fields from classical differential geometry. The manner of exposition is an attempt to make the material as accessible as possible to classical geometers. The definition of vector field used is a specialisation of the Cartan pair definition, and the paper relies on the idea of generalised braidings of 1-forms. The paper considers Kroneker deltas, interior products, Lie derivatives, Lie brackets, exponentiation of vector fields and parallel transport.
△ Less
Submitted 5 June, 2003;
originally announced June 2003.
-
Making nontrivially associated modular categories from finite groups
Authors:
M. M. Al-Shomrani,
E. J. Beggs
Abstract:
We show that the non-trivially associated tensor category constructed from left coset representatives of a subgroup of a finite group is a modular category. Also we give a definition of the character of an object in a ribbon category which is the category of representations of a braided Hopf algebra in the category. The definition is shown to be adjoint invariant and multiplicative. A detailed e…
▽ More
We show that the non-trivially associated tensor category constructed from left coset representatives of a subgroup of a finite group is a modular category. Also we give a definition of the character of an object in a ribbon category which is the category of representations of a braided Hopf algebra in the category. The definition is shown to be adjoint invariant and multiplicative. A detailed example is given. Finally we show an equivalence of categories between the non-trivially associated double D and the category of representations of the double of the group D(X).
△ Less
Submitted 5 March, 2003;
originally announced March 2003.
-
Pointwise bounded asymptotic morphisms and Thomsen's non-stable k-theory
Authors:
Edwin J. Beggs
Abstract:
In this paper I show that pointwise bounded asymptotic morphisms between separable metrisable locally convex *-algebras induce continuous maps between the quasi-unitary groups of the algebras, provided that the algebras support a certain amount of functional calculus. This links the asymptotic morphisms directly to Thomsen's non-stable definition of k-theory in the C* algebra case. A result on c…
▽ More
In this paper I show that pointwise bounded asymptotic morphisms between separable metrisable locally convex *-algebras induce continuous maps between the quasi-unitary groups of the algebras, provided that the algebras support a certain amount of functional calculus. This links the asymptotic morphisms directly to Thomsen's non-stable definition of k-theory in the C* algebra case. A result on composition of asymptotic morphisms is also given.
△ Less
Submitted 8 January, 2002;
originally announced January 2002.
-
Two-forms and Noncommutative Hamiltonian dynamics
Authors:
Edwin J. Beggs
Abstract:
In this paper we extend the standard differential geometric theory of Hamiltonian dynamics to noncommutative spaces, beginning with symplectic forms. Derivations on the algebra are used instead of vector fields, and interior products and Lie derivatives with respect to derivations are discussed. Then the Poisson bracket of certain algebra elements can be defined by a choice of closed 2-form. Exa…
▽ More
In this paper we extend the standard differential geometric theory of Hamiltonian dynamics to noncommutative spaces, beginning with symplectic forms. Derivations on the algebra are used instead of vector fields, and interior products and Lie derivatives with respect to derivations are discussed. Then the Poisson bracket of certain algebra elements can be defined by a choice of closed 2-form. Examples are given using the noncommutative torus, the Cuntz algebra, the algebra of matrices, and the algebra of matrix valued functions on $\Bbb R^2$.
△ Less
Submitted 16 January, 2001;
originally announced January 2001.
-
A generalised Hopf algebra for solitons
Authors:
Falleh R. Al-Solamy,
Edwin J. Beggs
Abstract:
This paper considers a generalisation of the idea of a Hopf algebra in which a commutative ring replaces the field in the unit and counit. It is motivated by an example from the inverse scattering formalism for solitons. We begin with the corresponding idea for groups, where the concept of the identity is altered.
This paper considers a generalisation of the idea of a Hopf algebra in which a commutative ring replaces the field in the unit and counit. It is motivated by an example from the inverse scattering formalism for solitons. We begin with the corresponding idea for groups, where the concept of the identity is altered.
△ Less
Submitted 14 December, 2000;
originally announced December 2000.
-
Maximal abelian subalgebras of O_n
Authors:
E. J. Beggs,
P. Goldstein
Abstract:
We consider maximal abelian subalgebras of O_n which are invariant to the standard circle action.
We consider maximal abelian subalgebras of O_n which are invariant to the standard circle action.
△ Less
Submitted 1 November, 2000;
originally announced November 2000.
-
The braiding for representations of q-deformed affine $sl_2$
Authors:
E. J. Beggs,
P. R. Johnson
Abstract:
We compute the braiding for the `principal gradation' of $U_q(\hat{{\it sl}_2})$ for $|q|=1$ from first principles, starting from the idea of a rigid braided tensor category. It is not necessary to assume either the crossing or the unitarity condition from S-matrix theory. We demonstrate the uniqueness of the normalisation of the braiding under certain analyticity assumptions, and show that its…
▽ More
We compute the braiding for the `principal gradation' of $U_q(\hat{{\it sl}_2})$ for $|q|=1$ from first principles, starting from the idea of a rigid braided tensor category. It is not necessary to assume either the crossing or the unitarity condition from S-matrix theory. We demonstrate the uniqueness of the normalisation of the braiding under certain analyticity assumptions, and show that its convergence is critically dependent on the number-theoretic properties of the number $τ$ in the deformation parameter $q=e^{2πiτ}$. We also examine the convergence using probability, assuming a uniform distribution for $q$ on the unit circle.
△ Less
Submitted 22 March, 2000;
originally announced March 2000.
-
Making non-trivially associated tensor categories from left coset representatives
Authors:
E. J. Beggs
Abstract:
The paper begins by giving an algebraic structure on a set of coset representatives for the left action of a subgroup on a group. From this we construct a non-trivially associated tensor category. Also a double construction is given, and this allows the construction of a non-trivially associated braided tensor category. In this category we explicitly reconstruct a braided Hopf algebra, whose rep…
▽ More
The paper begins by giving an algebraic structure on a set of coset representatives for the left action of a subgroup on a group. From this we construct a non-trivially associated tensor category. Also a double construction is given, and this allows the construction of a non-trivially associated braided tensor category. In this category we explicitly reconstruct a braided Hopf algebra, whose representations comprise the category itself.
△ Less
Submitted 21 February, 2000;
originally announced February 2000.
-
Poisson-Lie T-duality for quasitriangular Lie bialgebras
Authors:
E. J. Beggs,
S. Majid
Abstract:
We introduce a new 2-parameter family of sigma models exhibiting Poisson-Lie T-duality on a quasitriangular Poisson-Lie group $G$. The models contain previously known models as well as a new 1-parameter line of models having the novel feature that the Lagrangian takes the simple form $L=E(u^{-1}u_+,u^{-1}u_-)$ where the generalised metric $E$ is constant (not dependent on the field $u$ as in pre…
▽ More
We introduce a new 2-parameter family of sigma models exhibiting Poisson-Lie T-duality on a quasitriangular Poisson-Lie group $G$. The models contain previously known models as well as a new 1-parameter line of models having the novel feature that the Lagrangian takes the simple form $L=E(u^{-1}u_+,u^{-1}u_-)$ where the generalised metric $E$ is constant (not dependent on the field $u$ as in previous models). We characterise these models in terms of a global conserved $G$-invariance. The models on $G=SU_2$ and its dual $G^\star$ are computed explicitly. The general theory of Poisson-Lie T-duality is also extended; we develop the Hamiltonian formulation and the reduction for constant loops to integrable motion on the group manifold. Finally, we generalise T-duality in the Hamiltonian formulation to group factorisations $D=G\dcross M$ where the subgroups need not be dual or even have the same dimension and need not be connected to the Drinfeld double or to Poisson structures.
△ Less
Submitted 7 June, 1999;
originally announced June 1999.
-
Inverse scattering and solitons in $A_{n-1}$ affine Toda field theories II
Authors:
E. J. Beggs,
P. R. Johnson
Abstract:
New single soliton solutions to the affine Toda field theories are constructed, exhibiting previously unobserved topological charges. This goes some of the way in filling the weights of the fundamental representations, but nevertheless holes in the representations remain. We use the group doublecross product form of the inverse scattering method, and restrict ourselves to the rank one solutions.
New single soliton solutions to the affine Toda field theories are constructed, exhibiting previously unobserved topological charges. This goes some of the way in filling the weights of the fundamental representations, but nevertheless holes in the representations remain. We use the group doublecross product form of the inverse scattering method, and restrict ourselves to the rank one solutions.
△ Less
Submitted 30 March, 1998;
originally announced March 1998.
-
Inverse scattering and the symplectic form for sine-Gordon solitons
Authors:
E. J. Beggs,
P. R. Johnson
Abstract:
We consider the canonical symplectic form for sine-Gordon evaluated explicitly on the solitons of the model. The integral over space in the form, which arises because the canonical argument uses the Lagrangian density, is done explicitly in terms of functions arising in the group doublecrossproduct formulation of the inverse scattering procedure, and we are left with a simple expression given by…
▽ More
We consider the canonical symplectic form for sine-Gordon evaluated explicitly on the solitons of the model. The integral over space in the form, which arises because the canonical argument uses the Lagrangian density, is done explicitly in terms of functions arising in the group doublecrossproduct formulation of the inverse scattering procedure, and we are left with a simple expression given by two boundary terms. The expression is then evaluated explicitly in terms of the changes in the positions and momenta of the solitons, and we find agreement with a result of Babelon and Bernard who have evaluated the form using a different argument, where it is diagonal in terms of `in' or `out' co-ordinates. Using the result, we also investigate the higher conserved charges within the inverse scattering framework, check that they Poisson commute and evaluate them on the soliton solutions.
△ Less
Submitted 20 October, 1997;
originally announced October 1997.
-
Inverse scattering and solitons in $A_{n-1}$ affine Toda field theories
Authors:
E. J. Beggs,
P. R. Johnson
Abstract:
We implement the inverse scattering method in the case of the $A_n$ affine Toda field theories, by studying the space-time evolution of simple poles in the underlying loop group. We find the known single soliton solutions, as well as additional solutions with non-linear modes of oscillation around the standard solution, by studying the particularly simple case where the residue at the pole is a…
▽ More
We implement the inverse scattering method in the case of the $A_n$ affine Toda field theories, by studying the space-time evolution of simple poles in the underlying loop group. We find the known single soliton solutions, as well as additional solutions with non-linear modes of oscillation around the standard solution, by studying the particularly simple case where the residue at the pole is a rank one projection. We show that these solutions with extra modes have the same mass and topological charges as the standard solutions, so we do not shed any light on the missing topological charge problem in these models. We also show that the integrated energy-momentum density can be calculated from the central extension of the loop group.
△ Less
Submitted 8 November, 1996; v1 submitted 15 October, 1996;
originally announced October 1996.
-
The generic soliton of the $A_n$ affine Toda field theories
Authors:
Edwin J. Beggs,
Peter R. Johnson
Abstract:
In this note we show that the single soliton solutions known previously in the $1+1$ dimensional affine Toda field theories from a variety of different methods \cite{H1,MM,OTUa,OTUb}, are in fact not the most general single soliton solutions. We exhibit single soliton solutions with additional small parameters which reduce to the previously known solutions when these extra parameters are set to…
▽ More
In this note we show that the single soliton solutions known previously in the $1+1$ dimensional affine Toda field theories from a variety of different methods \cite{H1,MM,OTUa,OTUb}, are in fact not the most general single soliton solutions. We exhibit single soliton solutions with additional small parameters which reduce to the previously known solutions when these extra parameters are set to zero. The new solution has the same mass and topological charges as the standard solution when these parameters are set to zero. However we cannot yet completely rule out the possibility that other solutions with larger values of these extra parameters are non-singular, in the cases where the number of extra parameters is greater than one, and if so their topological charges would most likely be different.
△ Less
Submitted 30 November, 1995;
originally announced November 1995.
-
A Topologically Stable Solution in Quantum Electrodynamics
Authors:
Edwin J. Beggs
Abstract:
This paper constructs exact classical solutions of the equations of QED. These are constructed in 4+2 dimensional space, which fibers over the usual 3+1 dimensional space-time. The solution is stationary and localised about a topological singularity in space time. The electromagnetic field is that of a point electric charge, positioned at the singularity. Away from the singularity, all the conse…
▽ More
This paper constructs exact classical solutions of the equations of QED. These are constructed in 4+2 dimensional space, which fibers over the usual 3+1 dimensional space-time. The solution is stationary and localised about a topological singularity in space time. The electromagnetic field is that of a point electric charge, positioned at the singularity. Away from the singularity, all the conserved currents vanish. The solution comes in 8 varieties, corresponding to any choice of positive or negative charge, spin or mass (though it is presumed that the negative mass solutions are not physical). The charge is quantised, and determined up to sign by the coupling constant in the theory. The main element in the construction is simply the requirement that the solution be rotationally symmetric.
△ Less
Submitted 30 November, 1993;
originally announced November 1993.
