Related papers: Boolean Lifting Property for Residuated Lattices
Lithium borosilicate (LBS) glass is a prototypical lithium-ion conducting oxide glasses available for an all-solid state buttery. Nevertheless, the atomistic modeling of LBS glass using $ab$ $initio$ (AIMD) and classical molecular dynamics…
This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes. The…
In this paper, firstly, we mainly study the relationship of balanced pairs among three Abelian categories in a recollement. As an application of admissible balanced pairs, we introduce the notion of the relative tilting modules, and give a…
Swollen stacks of finite-size disc-like Laponite clay platelets are investigated within a Wigner-Seitz cell model. Each cell is a cylinder containing a coaxial platelet at its centre, together with an overall charge-neutral distribution of…
A locally compact group $G$ has property PL if every isometric $G$-action either has bounded orbits or is (metrically) proper. For $p>1$, say that $G$ has property $BP_{L^p}$ if the same alternative holds for the smaller class of affine…
We introduce the notion of decomposable locally conformally product (LCP) manifolds and characterize those which are defined on quotients of Riemannian Lie groups by co-compact lattices.
We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the…
We exhaustively classify varieties of BL-algebras with the amalgamation property, showing that there are only countably many of them and solving an open problem of Montagna. As a consequence of this classification, we obtain a complete…
We derive exact matrix integral representations for different sums over partitions. The characteristic feature of all obtained matrix models is the presence of logarithmic (or, vice versa, exponential) terms in the potential. Our derivation…
Recent years have witnessed the fast development of machine learning potentials (MLPs) and their widespread applications in chemistry, physics, and material science. By fitting discrete ab initio data faithfully to continuous and…
In this paper we describe an algorithm that quickly computes a maximal a-valued lattice in an F-vector space equipped with a non-degenerate bilinear form, where a is a fractional ideal in a number field F. We then apply this construction to…
Matrix-valued polynomials in any finite number of freely noncommuting variables that enjoy certain canonical partial convexity properties are characterized, via an algebraic certificate, in terms of Linear Matrix Inequalities and Bilinear…
Residual finiteness growth gives an invariant that indicates how well-approximated a finitely generated group is by its finite quotients. We briefly survey the state of the subject. We then improve on the best known upper and lower bounds…
The aim of this paper is to study lattice properties of the sharp partial order for complex matrices having index at most 1. We investigate the down-set of a fixed matrix $B$ under this partial order via isomorphisms with two different…
The aim of the present paper is to generalize the concept of residuated poset, by replacing the usual partial ordering by a generic binary relation, giving rise to relational systems which are residuated. In particular, we modify the…
We show that under some natural ergodicity assumptions extensions given by Rokhlin cocycles lift the multiplier property if the associated locally compact group extension has only countably many L^\infty-eigenvalues. We make use of some…
In this paper, we collect some fundamental properties of the arithmetic restricted volumes (or the arithmetic multiplicities) of the adelically metrized line bundles. The arithmetic restricted volume has the concavity property and…
We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Also conversely, every such a lattice can be converted into a…
Every homomorphism from finite index subgroups of a universal lattices to mapping class groups of orientable surfaces (possibly with punctures), or to outer automorphism groups of finitely generated nonabelian free groups must have finite…
We study computational aspects of relational marginal polytopes which are statistical relational learning counterparts of marginal polytopes, well-known from probabilistic graphical models. Here, given some first-order logic formula, we can…