Related papers: Quadratic nonsymmetric quaternary operads
Quadratic Unconstrained Binary Optimization models are useful for solving a diverse range of optimization problems. Constraints can be added by incorporating quadratic penalty terms into the objective, often with the introduction of slack…
We show that the variety of symmetric implication algebras is generated from cubic implication algebras and Boolean algebras. We do this by developing the notion of a locally symmetric implication algebra that has properties similar to…
Quaternionic and octonionic realizations of Clifford algebras and spinors are classified and explicitly constructed in terms of recursive formulas. The most general free dynamics in arbitrary signature space-times for both quaternionic and…
Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular implication, and quasi-implication algebras are analysed and…
We introduce the notion of quadratic hull of a linear code, and give some of its properties. We then show that any symmetric bilinear multiplication algorithm for a finite-dimensional algebra over a field can be obtained by…
The first steps towards linearisation of partial orders and equivalence relations are described. The definitions of partial orders and equivalence relations (on sets) are formulated in a way that is standard in category theory and that…
Geometric algebra is an optimal frame work for calculating with vectors. The geometric algebra of a space includes elements that represent all the its subspaces (lines, planes, volumes, ...). Conformal geometric algebra expands this…
The theory of operads (May, cyclic, modular, PROPs, etc) is extended to include higher dimensional phenomena, i.e. operations between operations, mimicking the algebraic structure on varieties of arbitrary dimensions, having marked…
We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…
We discuss a procedure to determine finite sets $\mathcal{M}$ within the commutant of an algebraic Hamiltonian in the enveloping algebra of a Lie algebra $\mathfrak{g}$ such that their generators define a quadratic algebra. Although…
Motivated by some recent developments in abstract theories of quadratic forms, we start to develop in this work an expansion of Linear Algebra to multivalued structures (a multialgebraic structure is essentially an algebraic structure but…
Consider a formally self-adjoint first order linear differential operator acting on pairs (2-columns) of complex-valued scalar fields over a 4-manifold without boundary. We examine the geometric content of such an operator and show that it…
Classification of AS-regular algebras is one of the most important projects in noncommutative algebraic geometry. Recently, Itaba and the first author gave a complete list of defining relations of $3$-dimensional quadratic AS-regular…
This paper draws on diverse areas of computer science to develop a unified view of computation: (1) Optimization in operations research, where a numerical objective function is maximized under constraints, is generalized from the numerical…
This paper is an introduction to a series of papers in which we give combinatorial models for certain important operads (including A-infinity and E-infinity operads, the little n-cubes operads, and the framed little disks operad) and…
The aim of this note is to give a detailed account of how symmetric operads can be constructed from planar (non-symmetric) operads, and to carefully spell out the algebraic interplay between these two notions. It is a companion note to the…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…
Integration over curved manifolds with higher codimension and, separately, discrete variants of continuous operators, have been two important, yet separate themes in harmonic analysis, discrete geometry and analytic number theory research.…
Consistent tensor products on auxiliary spaces, hereafter denoted "fusion procedures", are defined for general quadratic algebras, non-dynamical and dynamical, inspired by results on reflection algebras. Applications of these procedures…
It is shown how nonlinear versions of quantum mechanics can be refolmulated in terms of a (linear) C*-algebraic theory. Then also their symmetries are described as automorphisms of the correspondong C*-algebra. The requirement of…