Related papers: Weihrauch goes Brouwerian
This paper addresses the isomorphism problem for the universal (nonself-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if…
Constructive dualities have been recently proposed for some lattice based algebras and a related project has been outlined by Holliday and Bezhanishvili, aiming at obtaining "choice-free spatial dualities for other classes of algebras…
This paper gives two results on the simple modules for the Brauer algebra over the complex field. First we describe the module structure of the restriction of all simple modules. Second we give a new geometrical interpretation of Ram and…
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn…
Formal mathematics and computer science proofs are formalized using Hilbert-Russell-style logical systems which are designed to not admit paradoxes and self-refencing reasoning. These logical systems are natural way to describe and reason…
We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study…
In this project, we will study the Brauer group that was first defined by R. Brauer. The elements of the Brauer group are the equivalence classes of finite dimensional central simple algebra. Therefore understanding the structure of the…
The aim of this short survey is to trace back the ingredients going into the derived equivalence classification of Brauer graph algebras and into the proof of the fact that these algebras are closed under derived equivalence.
This book offers an introduction to vertex algebra based on a new approach. The new approach says that a vertex algebra is an associative algebra such that the underlying Lie algebra is a vertex Lie algebra. In particular, vertex algebras…
In this paper, we determine the structure and representation theory of the Brauer algebra associated to a complex reflection group (here called the Brauer-Chen algebra), defined by Chen in 2011. We prove that it is semisimple and provide a…
If one wishes to define a complete Leibniz algebra in such a way as to extend the notion of a complete Lie algebra, two distinct definitions can be found in the current literature. Since biderivations on complete Lie algebras have already…
Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research challenge is to design theorem provers that are "reasonably…
We introduce a class of multidimensional Schr\"odinger operators with elliptic potential which generalize the classical Lam\'e operator to higher dimensions. One natural example is the Calogero--Moser operator, others are related to the…
For a finitely-generated vertex operator algebra of central charge c, a locally convex topological completion is constructed. We construct on the completion a structure of an algebra over the operad of the c/2-th power of the determinant…
In the present work we characterized full operators and we showed some properties that have nonfull injectives operators. With the results developed for full operators, we affirmatively respond two questions formulated by Bravo and Feintuch…
Practically and intrinsically, inclusions of operator algebras are of fundamental interest. The subject of this paper is intermediate operator algebras of inclusions. There are two previously known theorems which naturally and completely…
Given a complete Heyting algebra we construct an algebraic tensor triangulated category whose Bousfield lattice is the Booleanization of the given Heyting algebra. As a consequence we deduce that any complete Boolean algebra is the…
In this article we calculate two aspects of the representation theory of a Brauer configuration algebra: its Cartan matrix, and the module length of its associated indecomposable projective modules. Then we introduce the concept of…
The numerical invariants (global) cohomological length, (global) cohomological width, and (global) cohomological range of complexes (algebras) are introduced. Cohomological range leads to the concepts of derived bounded algebras and…
The increasing advancement of emerging device technologies that provide alternative basis logic sets necessitates the exploration of innovative logic design automation methodologies. Specifically, emerging computing architectures based on…