Searcharxiv⌕ Search

arXiv subjects

E. J. Beggs

Publications and source records attributed to E. J. Beggs.

At least 19 recordsLinked to original sources
arXiv2018

Analogue-digital systems and the modular decomposition of physical behaviour

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.

eess.SY↗
arXiv2011

Line bundles and the Thom construction in noncommutative geometry

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.

math.QA↗
arXiv2009

Nonassociative Riemannian Geometry by Twisting

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.

math.QA↗
arXiv2009

Limits to measurement in experiments governed by algorithms

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.

math.LO↗
arXiv2009

*-Compatible Connections in Noncommutative Riemannian Geometry

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.

math.QA↗
arXiv2007

Bar categories and star operations

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.

math.QA↗
arXiv2007

Further results on coset representative categories

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.

math.QA↗
arXiv2005

Semi-classical differential structures

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.

math.QA↗
arXiv2005

Quantization by cochain twists and nonassociative differentials

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.

math.QA↗
arXiv2003

Braiding and exponentiating noncommutative vector fields

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.

math.QA↗
arXiv2003

Making nontrivially associated modular categories from finite groups

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).

math.QA↗
arXiv2000

The braiding for representations of q-deformed affine $sl_2$

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.

hep-th↗
arXiv2000

Making non-trivially associated tensor categories from left coset representatives

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.

math.QA↗
arXiv1999

Poisson-Lie T-duality for quasitriangular Lie bialgebras

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.

math.QA↗
arXiv1998

Inverse scattering and solitons in $A_{n-1}$ affine Toda field theories II

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.

hep-th↗
arXiv1997

Inverse scattering and the symplectic form for sine-Gordon solitons

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.

hep-th↗