Related papers: Group Theory Structures Underlying Integrable Syst…
In group theory the chief factors allow a group to be studied by its representation theory on particularly natural irreducible modules. It is to be expected, therefore, that they will play an important role in the study of Lie algebras. In…
We study a family of integrable systems of nonlinearly coupled harmonic oscillators on the classical and quantum levels. We show that the integrability of these systems follows from their symmetry characterized by algebras called here…
Systems displaying quantum topological order feature robust characteristics that are very attractive to quantum computing schemes. Topological quantum field theories have proven to be powerful in capturing the quintessential attributes of…
We define a new mathematical structure ( graph quantum group) which combines the tower of algebras associated with a graph ${\cal G}$ and the structure of a Hopf algebra {\cal A}. In this structure Ocneanu's string operators become Hopf…
We develop a generalised gauge theory in which the role of gauge group is played by a coalgebra and the role of principal bundle by an algebra. The theory provides a unifying point of view which includes quantum group gauge theory,…
Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…
A formulation of quantum mechanics based on replacing the general unitary group by finite groups is considered. To solve problems arising in the context of this formulation, we use computer algebra and computational group theory methods.
A `whole-part' theory is developed for a set of finite quantum systems $\Sigma (n)$ with variables in ${\mathbb Z}(n)$. The partial order `subsystem' is defined, by embedding various attributes of the system $\Sigma (m)$ (quantum states,…
We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…
Current quantum theories of an elementary free particle assume unitary space inversion and anti-unitary time reversal operators. In so doing robust classes of possible theories are discarded. The present work shows that consistent theories…
The algebraic formulation of the quantum group gauge models in the framework of the $R$-matrix approach to the theory of quantum groups is given. We consider gauge groups taking values in the quantum groups and noncommutative gauge fields…
In this article, we introduce an interesting topology-like concept concerning groups (and with almost the same method it can be defined for other algebraic systems). Given an arbitrary group $G$, we define a {\em topo-system} on $G$ as a…
Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.
We give a survey of techniques from quantum group theory which can be used to show that some quantum spaces (objects of the category dual to the category of $\mathrm{C}^*$-algebras) do not admit any quantum group structure. We also provide…
Integrability in string/field theories is known to emerge when considering dynamics in the moduli space of physical theories. This implies that one has to look at the dynamics with respect to unusual time variables like coupling constants…
We suggest a generalization of \pi_0 for topological groupoids, which encodes incidence relations among the strata of the associated quotient object, and argue for its utility by example, starting from the orbit categories of the theory of…
We begin the process of classifying all supersymmetric theories with quantum modified moduli. We determine all theories based on a single SU or Sp gauge group with quantum modified moduli. By flowing among theories we have calculated the…
One of the perspectives in modern quantum field and string theory is related with the attempts to go beyond the perturbation theory. It turns out that a key principle in the formulation of all known non-perturbative results is {\it…
We present a development of the theory of higher groups, including infinity groups and connective spectra, in homotopy type theory. An infinity group is simply the loops in a pointed, connected type, where the group structure comes from the…
On a compact connected Lie group $G$, we study the global solvability and the cohomology spaces of the differential complex associated with an essentially real involutive structure that is invariant under left translations. We prove that…