English
Related papers

Related papers: Finite Relation Algebras with Normal Representatio…

200 papers

A number of boundary problems in multidimensional elasticity theory are solved. The solutions can be treated as the simplest cosmological models. Some specific properties of the solutions and experimental consequences of the theory are…

General Relativity and Quantum Cosmology · Physics 2009-11-10 Sergey S. Kokarev

Understanding realistic complex systems requires confronting significant conceptual, theoretical and experimental limitations rooted in the persistence of views that originated in the mechanics of simple moving bodies. We define the…

Physics and Society · Physics 2024-03-06 Santiago Núñez-Corrales , Eric Jakobsson

The relation between representations and positive definite functions is a key concept in harmonic analysis on topological groups. Recently this relation has been studied on topological groupoids. This is the second in a series of papers in…

Operator Algebras · Mathematics 2016-09-07 Massoud Amini , Alireza Medghalchi

We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters or orbits, every finite structure. Our results generalize…

Logic in Computer Science · Computer Science 2023-02-24 Libor Barto , Bertalan Bodor , Marcin Kozik , Antoine Mottet , Michael Pinsker

Complexity theory can be viewed as the study of the relationship between computation and applications, understood the former as complexity classes and the latter as problems. Completeness results are clearly central to that view. Many…

Logic in Computer Science · Computer Science 2020-09-10 Flavio Ferrarotti , Senen Gonzalez , Klaus-Dieter Schewe , Jose Maria Turull-Torres

In this paper we determine the representation type of some algebras of infinite matrices continuously controlled at infinity by a compact metrizable space. We explicitly classify their finitely presented modules in the finite and tame…

Representation Theory · Mathematics 2007-05-23 Fernando Muro

We develop here a concept of deformed algebras through three examples and an application. Deformed algebras are obtained from a fixed algebra by deformation along a family of indexes, through formal series. We show how the example of…

Functional Analysis · Mathematics 2014-02-25 Jean-Pierre Magnot

Primarily this paper presents an expository report on alternatives to the traditional methods of classifying representations of finite dimensional algebras. Some new results illustrating such alternatives for algebras with only finitely…

Representation Theory · Mathematics 2014-07-10 Birge Huisgen-Zimmermann

We study the relation between algebraic structures and Graph Theory. We have defined five different weighted digraphs associated to a finite dimensional algebra over a field in order to tackle important properties of the associated…

Combinatorics · Mathematics 2017-06-05 R. M. Aquino , L. M. Camacho , E. M. Cañete , C. Cavalgante , A. Márquez

We present module theory and linear maps as a powerful generalised and computationally efficient framework for the relational data model, which underpins today's relational database systems. Based on universal constructions of modules we…

Programming Languages · Computer Science 2022-07-05 Fritz Henglein , Robin Kaarsgaard , Mikkel Kragh Mathiesen

The study of the relation between Lie algebras and groups, and especially the derivation of new algebras from them, is a problem of great interest in mathematics and physics, because finding a new Lie group from an already known one also…

General Relativity and Quantum Cosmology · Physics 2013-08-23 Laura Andrianopoli , Nelson Merino , Felip Nadal , Mario Trigiante

To any fixed, finite relational structure, $\mathbb{D}$, there is an associated decision problem, CSP$(\mathbb{D})$, which is a restricted version of the constraint satisfaction problem. In [8], the so called "algebraic approach" to the…

Logic · Mathematics 2016-09-14 Ian Payne

We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical…

The connections between Tarski's relation algebras and Thompson's groups F, T, V, and his monoid M are reviewed here, along with Jonsson-Tarski algebras, fork algebras, true pairing algebras, and tabular relation algebras. All of these…

Logic · Mathematics 2024-11-19 Roger D. Maddux

In the talk at the workshop my aim was to demonstrate the usefulness of graph techniques for tackling problems that have been studied predominantly as problems on the term level: increasing sharing in functional programs, and addressing…

Logic in Computer Science · Computer Science 2019-02-07 Clemens Grabmayer

We summarize recent progress in the understanding of fixed point resolution for conformal field theories. Fixed points in both coset conformal field theories and non-diagonal modular invariants which describe simple current extensions of…

High Energy Physics - Theory · Physics 2007-05-23 J. Fuchs , A. N. Schellekens , C. Schweigert

The integrability condition called shape invariance is shown to have an underlying algebraic structure and the associated Lie algebras are identified. These shape-invariance algebras transform the parameters of the potentials such as…

Quantum Physics · Physics 2009-10-30 A. B. Balantekin

We present recent advances in the analysis of constrained optimization problems with constraints given by singular mappings obtained within the framework of the $p$-regularity theory developed over the last twenty years. In particular, we…

Optimization and Control · Mathematics 2018-11-14 Ewa Bednarczuk , Agnieszka Prusińska , Alexey Tret'yakov

Matrices are very popular and widely used in mathematics and other fields of science. Every mathematician has known the properties of finite-sized matrices since the time of study. In this paper, we consider the basic theory of infnite…

General Mathematics · Mathematics 2021-08-19 Lukasz Matysiak , Weronika Przewozniak , Natalia Rulinska

A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either be represented extensionally, by explicitly listing allowed…

Artificial Intelligence · Computer Science 2013-07-09 Evgenij Thorstensen
‹ Prev 1 4 5 6 7 8 10 Next ›