Related papers: Valuations in Nilpotent Minimum Logic
The Euler discriminant of a family of very affine varieties is defined as the locus where the Euler characteristic drops. In this work, we study the Euler discriminant of families of complements of hyperplanes. We prove that the Euler…
We use some basic properties of binomial and Stirling numbers to prove that the Euler characteristic is, essentially, the unique numerical topological invariant for compact polyhedra which can be expressed as a linear combination of the…
Given a finite simplicial complex L and a collection of pairs of spaces indexed by its vertex set, one can define their polyhedral product. We record a simple formula for its Euler characteristic. In special cases the formula simplifies…
In this thesis new objects to the existing set of invariants of Lie algebras are added. These invariant characteristics are capable of describing the nilpotent parametric continuum of Lie algebras. The properties of these invariants, in…
This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.
This paper studies the Euler characteristic of a bicategory based on the concept of magnitudes introduced by Leinster. We focus on its invariance with respect to biequivalence and on the product formula for Buckley's fibered bicategories.
A family of Lie algebras of minimal dimension associated with vector fields that define a non-linear dynamical system is calculated. These Lie algebras contain the Heinsenberg algebra. An element that distinguishes these vector fields is…
Generating functions for the number of commuting m-tuples in the symmetric groups are obtained. We define a natural sequence of ``orbifold Euler characteristics'' for a finite group G acting on a manifold X. Our definition generalizes the…
The main purpose of this paper is to study the finite-dimensional solvable Lie algebras described in its title, which we call {\em minimal non-${\mathcal N}$}. To facilitate this we investigate solvable Lie algebras of nilpotent length $k$,…
There is a general notion of the magnitude of an enriched category, defined subject to hypotheses. In topological and geometric contexts, magnitude is already known to be closely related to classical invariants such as Euler characteristic…
Propositional logics in general, considered as a set of sentences, can be undecidable even if they have "nice" representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already…
We extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as studied by Kraus, Lehmann and Magidor in the propositional…
Euler calculus is based on integrating simple functions with respect to the Euler characteristic. This paper makes the case for extending Euler calculus to continuous integrands by integrating with respect to (Gaussian) curvature. This…
For sufficiently high dimensions, the naturally graded nonsplit nilpotent Lie algebras with linear characteristic sequence are classified.
This paper defines the Euler-Poincar\'{e} characteristic of joint reductions of ideals which concerns the maximal terms in the Hilbert polynomial; characterizes the positivity of mixed multiplicities in terms of minimal joint reductions;…
In this short note, we provide a calculation of the Euler characteristic of a finite homotopy colimit of finite cell complexes, which depends only on the Euler characteristics of each space and resembles Mobius inversion. Versions of the…
We establish some properties of \'etoiles and associated valuations over complex analytic spaces, showing that Abhyankar's inequality holds. We give some examples of pathological behavior of these valuations. We prove a regularization…
The Euler Characteristic Transform (ECT) has proven to be a powerful representation, combining geometrical and topological characteristics of shapes and graphs. However, the ECT was hitherto unable to learn task-specific representations. We…
The Euler characteristic, thought of as a function that assigns a numerical value to every finite simplicial complex, is locally determined in both a combinatorial sense and a geometric sense. In this note we show that not every function…
We consider some parametrized classes of multiple sums first studied by Euler. Identities between meromorphic functions of one or more variables generate reduction formulae for these sums.