Related papers: Congruence Boolean Lifting Property
Lovelock terms are polynomial scalar densities in the Riemann curvature tensor that have the remarkable property that their Euler-Lagrange derivatives contain derivatives of the metric of order not higher than two (while generic polynomial…
The recollement approach to the representation theory of sequences of algebras is extended to pass basis information directly through the globalisation functor. The method is hence adapted to treat sequences that are not necessarily towers…
We introduce a notion of residual derivative for elements of a preordered set, a construction that generalizes both the Frattini subgroup in algebra and the Cantor-Bendixson derivative in T1 topological spaces. For dual algebraic coframes…
It is well-known that the maximalization of a coaction of a locally compact group on a C*-algebra enjoys a universal property. We show how this important property can be deduced from a categorical framework by exploiting certain properties…
We review how some multianalytic inner functions of the Beurling type theorem are associated to row contractions following works of G.Popescu. Motivated by a result on weak Markov dilations, we define a notion of characteristic function for…
We establish the exponential law for suitably topologies on spaces of vector-valued smooth functions on topological groups, where smoothness is defined by using differentiability along continuous one-parameter subgroups. As an application,…
We propose a novel combinatorial inference framework to conduct general uncertainty quantification in ranking problems. We consider the widely adopted Bradley-Terry-Luce (BTL) model, where each item is assigned a positive preference score…
In this paper, we characterize the congruences of an arbitrary i--lattice, investigate the structure of the lattice they form and how it relates to the structure of the lattice of lattice congruences, then, for an arbitrary non--zero…
In this paper, we define a property, trimness, for lattices. Trimness is a not-necessarily-graded generalization of distributivity; in particular, if a lattice is trim and graded, it is distributive. Trimness is preserved under taking…
We present one of the preliminary NLP works under the challenging setup of Learning from Label Proportions (LLP), where the data is provided in an aggregate form called bags and only the proportion of samples in each class as the ground…
We report on recent progress in the program to classify separable amenable C*-algebras. Our emphasis is on the newly apparent role of regularity properties such as finite decomposition rank, strict comparison of positive elements, and…
Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…
Recently, a new class of semi-Lagrangian methods for the BGK model of the Boltzmann equation has been introduced [8, 17, 18]. These methods work in a satisfactory way either in rarefied or fluid regime. Moreover, because of the…
The cohomology algebra of the canonical bundle of a compact K\"ahler manifold is naturally viewed as a module over an exterior algebra. We use the Bernstein-Gel'fand-Gel'fand correspondence, together with Generic Vanishing theory, in order…
The main purpose of this paper is to study Bishop-Phelps-Bollob\'as type properties on $c_0$ sum of Banach spaces. Among other results, we show that the pair $(c_0(X),Y)$ has the Bishop-Phelps-Bollob\'as property (in short, BPBp) for…
In contrast to conventional (single-label) classification, the setting of multilabel classification (MLC) allows an instance to belong to several classes simultaneously. Thus, instead of selecting a single class label, predictions take the…
In recent research, some of the present authors introduced the concept of an n-dimensional Boolean algebra and its corresponding propositional logic nCL, generalising the Boolean propositional calculus to n>= 2 perfectly symmetric truth…
Let C denote any of the following cardinal characteristics of Boolean algebras: incomparability, spread, character, pi-character, hereditary Lindelof number, hereditary density. It is shown to be consistent that there exists a sequence…
In their seminal work, Lau and Mah (1986) study $w^*$-normal structure in the space of operators $\mathcal{L}(H)$, on a Hilbert space $H$, using a geometric property of the dual unit ball called Lim's condition. In this paper, we study a…
Contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with a relation called contact. The elements of the Boolean algebra are considered as formal representations of physical…