BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Shahn Majid

Shahn Majid contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.QAmath-phmath.MPgr-qchep-thmath.GRmath.RTquant-phmath.COmath.CTmath.DGmath.RA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
18works
0followers
12topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2022arXiv

Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model

We provide a systematic treatment of boundaries based on subgroups $K\subseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk. The boundary sites are representations of a $*$-subalgebra $Ξ\subseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra dependent on a choice of transversal $R$. We provide decomposition formulae for irreducible representations of $D(G)$ pulled back to $Ξ$. We also provide explicitly the monoidal equivalence of the category of $Ξ$-modules and the category of $G$-graded $K$-bimodules and use this to prove that different choices of $R$ are related by Drinfeld cochain twists. Examples include $S_{n-1}\subset S_n$ and an example related to the octonions where $Ξ$ is also a Hopf quasigroup. As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=\{e\}$ vertically and show how these could be used in a quantum computer using the technique of lattice surgery.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Geometric Dirac operator on the fuzzy sphere

We construct a Connes spectral triple or `Dirac operator' on the non-reduced fuzzy sphere $C_λ[S^2]$ as realised using quantum Riemannian geometry with a central quantum metric $g$ of Euclidean signature and its associated quantum Levi-Civita connection. The Dirac operator is characterised uniquely up to unitary equivalence within our quantum Riemannian geometric setting and an assumption that the spinor bundle is trivial and rank 2 with a central basis. The spectral triple has KO dimension 3 and in the case of the round metric, essentially recovers a previous proposal motivated by rotational symmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Poisson Principal Bundles

We semiclassicalise the theory of quantum group principal bundles to the level of Poisson geometry. The total space $X$ is a Poisson manifold with Poisson-compatible contravariant connection, the fibre is a Poisson-Lie group in the sense of Drinfeld with bicovariant Poisson-compatible contravariant connection, and the base has an inherited Poisson structure and Poisson-compatible contravariant connection. The latter are known to be the semiclassical data for a quantum differential calculus. The theory is illustrated by the Poisson level of the $q$-Hopf fibration on the standard $q$-sphere. We also construct the Poisson level of the spin connection on a principal bundle.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Quantum and braided ZX calculus

We revisit the notion of interacting Frobenius Hopf algebras for ZX-calculus in quantum computing, with focus on allowing the algebras to be noncommutative and coalgebras to be noncocommutative. We introduce the notion of *-structures in ZX-calculus at this algebraic level and construct examples based on the quantum group u_q(sl_2) at a root of unity. We provide an abstract formulation of the Hadamard gate at this level and clarify its relationship to Hopf algebra self-duality. We then solve the problem of extending the notion of interacting Hopf algebras and ZX-calculus to take place in a braided tensor category. In the ribbon case, the Hadamard gate coming from braided self-duality obeys a modular identity. We give the example of b_q(sl_2), the self-dual braided version of u_q(sl_2).

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Quantum double aspects of surface code models

We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry, where $G$ is a finite group. We provide projection operators for its quasiparticles content as irreducible representations of $D(G)$ and combine this with $D(G)$-bimodule properties of open ribbon excitation spaces $L(s_0,s_1)$ to show how open ribbons can be used to teleport information between their endpoints $s_0,s_1$. We give a self-contained account that builds on earlier work but emphasises applications to quantum computing as surface code theory, including gates on $D(S_3)$. We show how the theory reduces to a simpler theory for toric codes in the case of $D( \Bbb Z_n)\cong \Bbb C\Bbb Z_n^2$, including toric ribbon operators and their braiding. In the other direction, we show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$, including site actions of $D(H)$ and partial results on ribbon equivariance even when the Hopf algebra is not semisimple.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum differentials on cross product Hopf algebras

We construct canonical strongly bicovariant differential graded algebra structures on all four flavours of cross product Hopf algebras, namely double cross products $A\hookrightarrow A\bowtie H\hookleftarrow H$, double cross coproducts $A\twoheadleftarrow A {\blacktriangleright\!\!\blacktriangleleft} H\twoheadrightarrow H$, biproducts $A{\buildrel\hookrightarrow\over \twoheadleftarrow}A{\cdot\kern-.33em\triangleright\!\!\!<} B$ and bicrossproducts $A\hookrightarrow A{\blacktriangleright\!\!\triangleleft} H\twoheadrightarrow H$ on the assumption that the factors have strongly bicovariant calculi $Ω(A),Ω(H)$ (or a braided version $Ω(B)$). We use super versions of each of the constructions. Moreover, the latter three quantum groups all coact canonically on one of their factors and we show that this coaction is differentiable. In the case of the Drinfeld double $D(A,H)=A^{\rm op}\bowtie H$ (where $A$ is dually paired to $H$), we show that its canonical actions on $A,H$ are differentiable. Examples include are a canonical $Ω(\Bbb C_q[GL_2\ltimes \Bbb C^2])$ for the quantum group of affine transformations of the quantum plane and $Ω(\Bbb C_λ[{\rm Poinc_{1,1}}])$ for the bicrossproduct Poincaré quantum group in 2 dimensions. We also show that $Ω(\Bbb C_q[GL_2])$ itself is uniquely determined by differentiability of the canonical coaction on the quantum plane and of the determinant subalgebra.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum geometry, logic and probability

Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these `lattice spacing&#39; weights do not have to be independent of the direction of the arrow. We use this greater freedom to give a quantum geometric interpretation of discrete Markov processes with transition probabilities as arrow weights, namely taking the diffusion form $\partial_+ f=(-Δ_θ+ q-p)f$ for the graph Laplacian $Δ_θ$, potential functions $q,p$ built from the probabilities, and finite difference $\partial_+$ in the time direction. Motivated by this new point of view, we introduce a `discrete Schroedinger process&#39; as $\partial_+ψ=\imath(-Δ+V)ψ$ for the Laplacian associated to a bimodule connection such that the discrete evolution is unitary. We solve this explicitly for the 2-state graph, finding a 1-parameter family of such connections and an induced `generalised Markov process&#39; for $f=|ψ|^2$ in which there is an additional source current built from $ψ$. We also discuss our recent work on the quantum geometry of logic in `digital&#39; form over the field $\Bbb F_2=\{0,1\}$, including de Morgan duality and its possible generalisations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum Gravity and Riemannian Geometry on the Fuzzy Sphere

We study the quantum geometry of the fuzzy sphere defined as the angular momentum algebra $[x_i,x_j]=2\imathλ_p ε_{ijk}x_k$ modulo setting $\sum_i x_i^2$ to a constant, using a recently introduced 3D rotationally invariant differential structure. Metrics are given by symmetric $3 \times 3$ matrices $g$ and we show that for each metric there is a unique quantum Levi-Civita connection with constant coefficients, with scalar curvature $ \frac{1}{2}({\rm Tr}(g^2)-\frac{1}{2}{\rm Tr}(g)^2)/\det(g)$. As an application, we construct Euclidean quantum gravity on the fuzzy unit sphere. We also calculate the charge 1 monopole for the 3D differential structure.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Quantum gravity on a square graph

We consider functional-integral quantisation of the moduli of all quantum metrics defined as square-lengths $a$ on the edges of a Lorentzian square graph. We determine correlation functions and find a fixed relative uncertainty $Δa/<a>= 1/\sqrt{8}$ for the edge square-lengths relative to their expected value $<a>$. The expected value of the geometry is a rectangle where parallel edges have the same square-length. We compare with the simpler theory of a quantum scalar field on such a rectangular background. We also look at quantum metric fluctuations relative to a rectangular background, a theory which is finite and interpolates between the scalar theory and the fully fluctuating theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Lie theory and coverings of finite groups

We introduce the notion of an `inverse property&#39; (IP) quandle C which we propose as the right notion of `Lie algebra&#39; in the category of sets. To any IP quandle we construct an associated group G_C. For a class of IP quandles which we call `locally skew&#39; and when G_C is finite we show that the noncommutative de Rham cohomology H^1(G_C) is trivial aside from a single generator θthat has no classical analogue. If we start with a group G then any subset C\subseteq G\setminus {e} which is ad-stable and inversion-stable naturally has the structure of an IP quandle. If C also generates G then we show that G_C \twoheadrightarrow G with central kernel, in analogy with the similar result for the simply-connected covering group of a Lie group. We prove that G_C\twoheadrightarrow G is an isomorphism for all finite crystallographic reflection groups W with C the set of reflections, and that C is locally skew precisely in the simply laced case. This implies that H^1(W)=k when W is simply laced, proving in particular a previous conjecture for S_n. We obtain similar results for the dihedral groups D_{6m}. We also consider C=Z P^1\cup Z P^1 as a locally skew IP-quandle `Lie algebra&#39; of SL_2(Z) and show that G_C\cong B_3, the braid group on 3 strands. The map B_3\twoheadrightarrow SL_2(Z) which arises naturally as a covering map in our theory, coincides with the restriction of the universal covering map \widetilde {SL_2(R)}\to SL_2(R) to the inverse image of SL_2(Z).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Lie theory of finite simple groups and the Roth property

In noncommutative geometry a `Lie algebra&#39; or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G \ {e} we show that the magnitude of the Killing form μ=\sum_{a,b\in C}K^{-1}_{a,b} is defined for all finite groups (even when K is not invertible) and that a finite group is Roth, meaning its conjugation representation contains every irreducible, iff μ is not equal to 1/(N-1), where N is the number of conjugacy classes. We show further that the Killing form is invertible in the Roth case, and that the Killing form restricted to the (N-1)-dimensional subspace of invariant vectors is invertible iff the finite group is almost-Roth group (meaning its conjugation representation has at most one missing irreducible). It is known that most finite simple groups are Roth and that all are almost Roth. At the other extreme from the universal calculus we prove that the generating conjugacy class in the case of the dihedral groups D_{2n} with n odd has invertible Killing form, and the same for the 2-cycles conjugacy class in any S_n. We also compute some eigenvalues of the Killing form in the case of the n-cycles class in S_n. Finally, we verify invertibility of the Killing forms of all real conjugacy classes in all nonabelian finite simple groups to order 75,000, by computer, and we conjecture this to extend to all nonabelian finite simple groups.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Newtonian gravity on quantum spacetime

The bicrossproduct model λ-Minkowski (or `κ-Minkowski&#39;) quantum spacetime has an anomaly for the action of the Poincaré quantum group which was resolved by an extra cotangent direction θ&#39; not visible classically. We show that gauging a coefficient of θ&#39; introduces gravity into the model. We solve and analyse the model nonrelativisticaly in a 1/r potential, finding an induced constant term in the effective potential energy and a weakening and separation of the effective gravitational and inertial masses as the test particle Klein-Gordon mass increases. The present work is intended as a proof of concept but the approach could be relevant to an understanding of dark energy and possibly to macroscopic quantum systems.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Strict quantum 2-groups

A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum 2-group where we replace the above by Hopf algebras and introduce a new version of quantum groupoid. The work also suggests a natural notion of braided crossed module where A a braided-Hopf algebra in the braided category Z({}_H\CM) of crossed H-modules, although without the full groupoid picture in this more general case.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On braided zeta functions

We propose a ribbon braided category approach to zeta-functions in q-deformed geometry. As a proof of concept we compute $ζ_t(C^n)$ where $C^n$ is viewed as the standard representation in the category of modules of $U_q(sl_n)$. We show that the same $ζ_t(C^n)$ is obtained for the $n$-dimensional representation in the category of $U_q(sl_2)$ modules. We show that this implies and is equivalent to the generating function for the decomposition into irreducibles of the symmetric tensor products $S^j(V)$ for $V$ an irreducible representation of $sl_2$. We discuss $ζ_t(C_q(S^2))$ for the standard q-deformed sphere.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

q-Fuzzy spheres and quantum differentials on B_q[SU_2] and U_q(su_2)

Whereas the classical sphere $C P^1$ can be defined as the coordinate algebra generated by the matrix entries of a projector $e$ with $\trace(e)=1$, the fuzzy-sphere is defined in the same way by $\trace(e)=1+λ$. We show that the standard $q$-sphere is similarly defined by $\trace_q(e)=1$ and the Podles 2-spheres by $\trace_q(e)=1+λ$, thereby giving a unified point of view in which the 2-parameter Podles spheres are $q$-fuzzy spheres. We show further that they arise geometrically as `constant time slices&#39; of the unit hyperboloid in $q$-Minkowski space viewed as the braided group $B_q[SU_2]$. Their localisations are then isomorphic to quotients of $U_q(su_2)$ at fixed values of the $q$-Casimir precisely $q$-deforming the fuzzy case. We use transmutation and twisting theory to introduce a $C_q[G_C]$-covariant calculus on general $B_q[G]$ and $U_q(g)$, and use $Ω(B_q[SU_2])$ to provide a unified point of view on the 3D calculi on fuzzy and Podles spheres. To complete the picture we show how the covariant calculus on the 3D bicrossproduct spacetime arises from $Ω(C_q[SU_2])$ prior to twisting.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Scaling Limit of the Noncommutative Black Hole

We show that the recent `quantum&#39; black hole wave operator in the $κ$-Minkowski or bicrossproduct model quantum spacetime has a natural scaling limit $λ_p\to 0$ at the event horizon. Here $λ_p$ is the Planck time and the geometry at the event horizon in Planck length is maintained at the same time as the limit is taken, resulting in a classical theory with quantum gravity remnants. Among the features is a frequency-dependent `skin&#39; of some $ω\overν$ Planck lengths just inside the event horizon for $ω>0$ and just outside for $ω<0$, where $ν$ is the frequency associated to the Schwarzschild radius. We use bessel and hypergeometric functions to analyse propagation through the event horizon and skin in both directions. The analysis confirms a finite redshift at the horizon for positive frequency modes in the exterior.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Bicrossproduct approach to the Connes-Moscovici Hopf algebra

We give a rigorous proof that the (codimension one) Connes-Moscovici Hopf algebra H_CM is isomorphic to a bicrossproduct Hopf algebra linked to a group factorisation of the group of positively-oriented diffeomorphisms of the real line. We construct a second bicrossproduct U_CM equipped with a nondegenerate dual pairing with H_CM. We give a natural quotient Hopf algebra of H_CM and Hopf subalgebra of U_CM which again are in duality. All these Hopf algebras arise as deformations of commutative or cocommutative Hopf algebras that we describe in each case. Finally we develop the noncommutative differential geometry of the quotient of H_CM by studying covariant first order differential calculi of small dimension over this algebra.

0 citations0 reviewsNo code linkedOpen access