Related papers: Yet Another Single Law for Lattices
This paper applies analytical approximations for the luminescence of short period semiconductor superlattices and analyses the low density regime, demonstrating that the theory clearly connects with low density absorption with ratios of…
It is shown that there is $N$ such that there is no algorithm to decide for identities in at most $N$ variables validity in the class of finite modular lattices. This is based on Slobodskoi's result that the Restricted Word Problem is…
We consider a variation of Construction A of lattices from linear codes based on two classes of number fields, totally real and CM Galois number fields. We propose a generic construction with explicit generator and Gram matrices, then focus…
Dilworth's theorem. Every finite distributive lattice $D$ can be represented as the congruence lattice of a finite lattice $L$. We want: Every finite distributive lattice $D$ can be represented as the congruence lattice of a nice finite…
The illumination conjecture is a classical open problem in convex and discrete geometry, asserting that every compact convex body~$K$ in $\mathbb R^n$ can be illuminated by a set of no more than $2^n$ points. If $K$ has smooth boundary, it…
The Toda lattice is a nonlinear but integrable system. Here we study the thermalization problem in one-dimensional, perturbed Toda lattices in the thermodynamic limit. We show that the thermalization time, $T_{eq}$, follows a universal law;…
A class of partial differential equations (a conservation law and four balance laws), with four independent variables and involving sixteen arbitrary continuously differentiable functions, is considered in the framework of equivalence…
We show that all finite lattices, including non-distributive lattices, arise as stable matching lattices when all agents have path-independent choice functions. This result answers an open question of Blair~\cite{blair1988lattice}. In the…
A low density film on a flat surface is described by an expansion involving the first four virial coefficients. The first coefficient (alone) yields the Henry's law regime, while the next three correct for the effects of interactions. The…
In addition to the unique cover $M^+$ of the variety of modular lattices, we also deal with those twenty-three known covers of $M^+$ that can be extracted from the literature. For $M^+$ and for each of these twenty-three known varieties…
We define and study semilattices and lattices for $E$-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with least generating sets are…
A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the atoms of $U$. This operation creates one or two nonisomorphic…
The law of likelihood underlies a general framework, known as the likelihood paradigm, for representing and interpreting statistical evidence. As stated, the law applies only to simple hypotheses, and there have been reservations about…
This paper is an investigation of a procedure for constructing lattices by means of taking the sum of a pair of isometric lattices. We present various general results pertaining to this construction and discuss several examples of it…
We show that the set of all measures on any measurable space is a complete lattice, i.e. every collection of measures has both a greatest lower bound and a least upper bound.
It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic propositional logic have the deductive interpolation…
We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified complete lattices, and weakly monotone functions over them,…
Relational lattice reduces the set of six classic relational algebra operators to two binary lattice operations: natural join and inner union. We give an introduction to this theory with emphasis on formal algebraic laws. New results…
A simple extension of the Lattice Boltzmann equation is proposed, which permits to handle reactive flow dynamics in the limit of fast chemistry at virtually no extra-cost with respect to the purely hydrodynamic scheme.
We define a lattice model for rock, absorbers, and gas that makes it possible to examine the flow of gas to a complicated absorbing boundary over long periods of time. The motivation is to deduce the geometry of the boundary from the time…