English
Related papers

Related papers: Convolution Algebras: Relational Convolution, Gene…

200 papers

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

Rings and Algebras · Mathematics 2017-08-04 Nathan BeDell

This paper is about Kripke structures that are inside a relational database and queried with a modal language. At first the modal language that is used is introduced, followed by a definition of the database and relational algebra. Based on…

Logic in Computer Science · Computer Science 2007-05-29 Yeb Havinga

Algebraic operations are understood as topologiztion of algebra. They become an example of simplest convergence space. In our article the convergence is a arbitrary multivalued appointment. The continuity of some mapping between two…

General Topology · Mathematics 2010-04-20 Gintaras Valiukevicius

Although algebraic structures are frequently analyzed using unary and binary operations, they can also be effectively defined and unified through ternary operations. In this context, we introduce structures that contain two constants and a…

Rings and Algebras · Mathematics 2024-10-31 Jorge Fatelo , Nelson Martins-Ferreira

Starting from a description of various generalized function algebras based on sequence spaces, we develop the general framework for considering linear problems with singular coefficients or non linear problems. Therefore, we prove…

Functional Analysis · Mathematics 2007-05-23 Antoine Delcroix , Maximilian F. Hasler , Stevan Pilipović , Vincent Valmorin

Based on the assumption that time evolves only in one direction and mechanical systems can be described by Lagrangeans, a dynamical C*-algebra is presented for non-relativistic particles at atomic scales. Without presupposing any…

Quantum Physics · Physics 2019-05-08 Detlev Buchholz , Klaus Fredenhagen

Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory,…

Logic in Computer Science · Computer Science 2020-05-29 Žiga Lukšič , Matija Pretnar

Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter represents meaning as vectors in high-dimensional spaces shaped…

Logic · Mathematics 2026-02-04 Daniel Quigley

We classify (possibly non commutative) algebras of low rank over a domain R. We first review results for algebras of rank 2 and for finite-dimensional division algebras over the real numbers. These results motivate us to consider which…

Rings and Algebras · Mathematics 2013-12-24 Alex S. E. Levin

Algebraic characterizations of the computational aspects of functions defined over the real numbers provide very effective tool to understand what computability and complexity over the reals, and generally over continuous spaces, mean. This…

Logic in Computer Science · Computer Science 2016-09-27 Olivier Bournez , Walid Gomaa , Emmanuel Hainry

Algebraic tools in statistics have recently been receiving special attention and a number of interactions between algebraic geometry and computational statistics have been rapidly developing. This paper presents another such connection,…

Probability · Mathematics 2008-05-19 Alexey Koloydenko

Evolution algebras are a special class of non-associative algebras exhibiting connections with different fields of Mathematics. Hilbert evolution algebras generalize the concept through a framework of Hilbert spaces. This allows to deal…

Rings and Algebras · Mathematics 2021-11-16 Sebastian J. Vidal , Paula Cadavid , Pablo M. Rodriguez

Automata learning is a popular technique for inferring minimal automata through membership and equivalence queries. In this paper, we generalise learning to the theory of coalgebras. The approach relies on the use of logical formulas as…

Logic in Computer Science · Computer Science 2019-08-09 Simone Barlocco , Clemens Kupke , Jurriaan Rot

Stochastic (Markovian) process algebra extend classical process algebra with probabilistic exponentially distributed time durations denoted by rates (the parameter of the exponential distribution). Defining a semantics for such an algebra,…

Logic in Computer Science · Computer Science 2015-12-23 Mario Bravetti

We introduce the notions of relational groupoids and relational convolution algebras. We provide various examples arising from the group algebra of a group $G$ and a given normal subgroup $H$. We also give conditions for the existence of a…

Mathematical Physics · Physics 2021-09-22 Ivan Contreras , Nima Moshayedi , Konstantin Wernli

Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An important class of algebras are those that generate congruence…

Computational Complexity · Computer Science 2015-07-01 Emil Kiss , Matthew Valeriote

Constellations are partial algebras that are one-sided generalisations of categories. It has previously been shown that the category of inductive constellations is isomorphic to the category of left restriction semigroups. Here we consider…

Category Theory · Mathematics 2015-10-21 Victoria Gould , Tim Stokes

For a complete lattice $L$ and a relational structure $\mathfrak{X}=(X,(R_i)_I)$, we introduce the convolution algebra $L^{\mathfrak{X}}$. This algebra consists of the lattice $L^X$ equipped with an additional $n_i$-ary operation $f_i$ for…

Logic · Mathematics 2017-02-10 John Harding , Carol Walker , Elbert Walker

The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…

Category Theory · Mathematics 2019-05-21 Dali Zangurashvili

Novel types of convolution operators for quaternion linear canonical transform (QLCT) are proposed. Type one and two are defined in the spatial and QLCT spectral domains, respectively. They are distinct in the quaternion space and are…

Classical Analysis and ODEs · Mathematics 2022-12-13 Xiaoxiao Hu , Dong Cheng , Kit Ian Kou