Related papers: Valuations in Nilpotent Minimum Logic
We extend some classical constructions in commutative algebra to the setting of modules over orders in (non-commutative) semisimple algebras. Our theory incorporates, inter alia, `reduced' versions of the notions of higher Fitting…
We introduce the method of calculation of index of Lie algebras that are factors of the unitriangular Lie algebra with respect to ideals spanned by subsets of root vectors.
Datasets are mathematical objects (e.g., point clouds, matrices, graphs, images, fields/functions) that have shape. This shape encodes important knowledge about the system under study. Topology is an area of mathematics that provides…
The energy of an $n^{th}-$gradient fluid depends on its Eulerian velocity gradients of order $n$. A variational principle is introduced for the dynamics of $n^{th}-$gradient fluids and their properties are reviewed in the context of…
It is well known that the Euler characteristic of an odd dimensional compact manifold is zero. An Euler complex is a combinatorial analogue of a compact manifold. We present here an elementary proof of the corresponding result for Euler…
Narrowing is a well-known technique that adds to term rewriting mechanisms the required power to search for solutions to equational problems. Rewriting and narrowing are well-studied in first-order term languages, but several problems…
Within classical propositional logic, assigning probabilities to formulas is shown to be equivalent to assigning probabilities to valuations. A novel notion of probabilistic entailment enjoying desirable properties of logical consequence is…
We study logic for reasoning with if-then formulas describing dependencies between attributes of objects which are observed in consecutive points in time. We introduce semantic entailment of the formulas, show its fixed-point…
Ontologies formalise how the concepts from a given domain are interrelated. Despite their clear potential as a backbone for explainable AI, existing ontologies tend to be highly incomplete, which acts as a significant barrier to their more…
We study an old variational problem formulated by Euler as Proposition 53 of his `Scientia Navalis' by means of the direct method of the calculus of variations. Precisely, through relaxation arguments, we prove the existence of minimizers.…
The Euler-Poincare characteristic, or Euler characteristic in short, is a fundamental topological invariant of compact manifolds that plays a crucial role in a variety of geometric and topological situations. From this point of view, we…
We present alternative postulates for Euclidean geometry whose merit is that they lead to a new class of invariants and associated geometries for real finite-dimensional unital associative algebras.
A closed form formula (generating function) for the Euler characteristic of the configuration space of $\scriptstyle n$ particles in a simplicial complex is given.
We develop the theory of the higher commutator for Taylor varieties. A new higher commutator operation called the hypercommutator is defined using a type of invariant relation called a higher dimensional congruence. The hypercommutator is…
In this short paper, we give two proofs that the Euler characteristic is multiplicative, for fiber sequences of finitely dominated spaces. This is equivalent to proving that the Becker-Gottlieb transfer is functorial on $\pi_0$.
Roughly speaking, to any space $M$ with perfect obstruction theory we associate a space $N$ with symmetric perfect obstruction theory. It is a cone over $M$ given by the dual of the obstruction sheaf of $M$, and contains $M$ as its zero…
Tools of Topological Data Analysis provide stable summaries encapsulating the shape of the considered data. Persistent homology, the most standard and well studied data summary, suffers a number of limitations; its computations are hard to…
The notion of pairable functions is introduced and some of its properties are developed. In this connection the famous Euler identity is interpreted as a property of certain pairable functions and finite cyclic groups.
The paper is devoted to the study of annihilator extensions of evolution algebras and suggests an approach to classify finite-dimensional nilpotent evolution algebras. Subsequently nilpotent evolution algebras of dimension up to four are…
We define a bicomplex whose Euler characteristic is the idempotented version of the ribbon element of quantum sl(2). We show that properties of this bicomplex descend to the centrality, invertibility and symmetries of the ribbon element…