English
Related papers

Related papers: Generalised M\"obius Categories and Convolution Kl…

200 papers

In these notes we show that any projective subspace arrangement can be realized as a generalized star configuration variety. This type of interpolation result may be useful in designing linear codes with prescribed codewords of minimum…

Algebraic Geometry · Mathematics 2017-06-01 Stefan Tohaneanu

We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales which can be seen as weight or value algebras. In the…

Logic in Computer Science · Computer Science 2021-05-04 Uli Fahrenberg , Christian Johnsen , Georg Struth , Krzysztof Ziemiański

Motivated by the study of H\"ormander's sums-of-squares operators and their generalizations, we define the convolution algebra of transverse distributions associated to a singular foliation. We prove that this algebra is represented as…

Analysis of PDEs · Mathematics 2020-04-20 Iakovos Androulidakis , Omar Mohsen , Robert Yuncken

We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this…

High Energy Physics - Theory · Physics 2015-06-15 Yi-Zhi Huang , James Lepowsky

We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleene algebra, a higher-dimensional generalisation of modal and…

Logic in Computer Science · Computer Science 2023-06-22 Cameron Calk , Eric Goubault , Philippe Malbos , Georg Struth

We construct common triangular bases for almost all the known (quantum) cluster algebras from Lie theory. These bases provide analogs of the dual canonical bases, long anticipated in cluster theory. In cases where the generalized Cartan…

Representation Theory · Mathematics 2025-03-27 Fan Qin

For a locally compact group $G$ and a compact subgroup $H$, we show that the Banach space $M(G/H)$ may be considered as a quotient space of $M(G)$. Also, we define a convolution on $M(G/H)$ which makes it into a Banach algebra. It may be…

Classical Analysis and ODEs · Mathematics 2016-06-29 Hossein Javanshiri , Narguess Tavallaei

We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category of finite-dimensional Hilbert spaces into the category of…

Quantum Physics · Physics 2014-09-17 Bob Coecke , Chris Heunen , Aleks Kissinger

The goal of this paper is to construct a calculus whose higher indices are naturally elements in the twisted K-theory groups for Lie groupoids. Given a Lie groupoid $G$ and a $PU(H)$-valued groupoid cocycle, we construct an algebra of…

Operator Algebras · Mathematics 2018-01-15 Paulo Carrillo Rouse

Let $X$ be a smooth complex algebraic variety and let $\operatorname{Coh} (X)$ denote its Abelian category of coherent sheaves. By the work of W. Lowen and M. Van den Bergh, it is known that the deformation theory of $\operatorname{Coh}…

Quantum Algebra · Mathematics 2020-11-16 Severin Barmeier , Yaël Frégier

Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reasoning about regularly structured programs. Interest in KATs has increased greatly since NetKAT demonstrated how well extensions of KATs with…

Programming Languages · Computer Science 2022-04-05 Michael Greenberg , Ryan Beckett , Eric Campbell

Factorizations over cones and their duals play central roles for many areas of mathematics and computer science. One of the reasons behind this is the ability to find a representation for various objects using a well-structured family of…

Optimization and Control · Mathematics 2025-02-18 Adam Brown , Kanstantsin Pashkovich , Levent Tunçel

We study the Coulomb branches of 3d N=4 `star-shaped' quiver gauge theories and their deformation quantizations, by applying algebraic techniques that have been developed in the mathematics and physics literature over the last few years.…

High Energy Physics - Theory · Physics 2019-02-20 Tudor Dimofte , Niklas Garner

In a previous work by the author it was shown that every finite dimensional algebraic structure over an algebraically closed field of characteristic zero K gives rise to a character $K[X]_{aug}\to K$, where $K[X]_aug$ is a commutative Hopf…

Quantum Algebra · Mathematics 2023-07-19 Ehud Meir

Over the last two decades, machine learning models have been widely applied and have proven effective in classifying variable stars, particularly with the adoption of deep learning architectures such as convolutional neural networks,…

Machine Learning · Computer Science 2025-05-22 Francisco Pérez-Galarce , Jorge Martínez-Palomera , Karim Pichara , Pablo Huijse , Márcio Catelan

Clifford algebras are used for definition of spinors. Because of using spin-1/2 systems as an adequate model of quantum bit, a relation of the algebras with quantum information science has physical reasons. But there are simple mathematical…

Quantum Physics · Physics 2007-05-23 Alexander Yu. Vlasov

This thesis is divided into two parts. The first one is composed of recollections on operad theory, model categories, simplicial homotopy theory, rational homotopy theory, Maurer-Cartan spaces, and deformation theory. The second part deals…

Algebraic Topology · Mathematics 2018-07-09 Daniel Robert-Nicoud

Grandis's non-abelian homological algebra generalizes standard homological algebra in abelian categories to \textit{homological categories}, which are a broader class of categories including for example the category of lattices and Galois…

K-Theory and Homology · Mathematics 2023-01-11 Tobias Fritz

We review the problem of finding a general framework within which one can construct quantum theories of non-standard models for space, or space-time. The starting point is the observation that entities of this type can typically be regarded…

Quantum Physics · Physics 2015-06-26 C J Isham

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

Logic in Computer Science · Computer Science 2021-12-10 Oliver Nash