Related papers: A half-space approach to order dimension
We give the first data structure for the problem of maintaining a dynamic set of n elements drawn from a partially ordered universe described by a tree. We define the Line-Leaf Tree, a linear-sized data structure that supports the…
A quasi-order is a binary, reflexive and transitive relation. In the Journal of Pure and Applied Algebra 45 (1987), S.M. Fakhruddin introduced the notion of (totally) quasi-ordered fields and showed that each such field is either an ordered…
After Boltzmann and Gibbs, the notion of disorder in statistical physics relates to ensembles, not to individual states. This disorder is measured by the logarithm of ensemble volume, the entropy. But recent results about measure…
In an Archimedean directed partially ordered vector space $X$ one can define the concept of a band in terms of disjointness. Bands can be studied by using a vector lattice cover $Y$ of $X$. If $X$ has an order unit, $Y$ can be represented…
We deduce mixed quasi-norm estimates of Lebesgue types on semi-continuous convolutions between sequences and functions which may be periodic or possess a weaker form of periodicity in certain directions. In these directions, the Lebesgue…
We study the order dimension of the lattice of closed sets for a convex geometry. Further, we prove the existence of large convex geometries realized by planar point sets that have very low order dimension. We show that the planar point set…
In this note, we find a sharp bound for the minimal number (or in general, indexing set) of subspaces of a fixed (finite) codimension needed to cover any vector space V over any field. If V is a finite set, this is related to the problem of…
We propose a multiscale approach for an elliptic multiscale setting with general unstructured diffusion coefficients that is able to achieve high-order convergence rates with respect to the mesh parameter and the polynomial degree. The…
The representations of dimension vector $\alpha$ of the quiver Q can be parametrised by a vector space $R(Q,\alpha)$ on which an algebraic group $\Gl(\alpha)$ acts so that the set of orbits is bijective with the set of isomorphism classes…
As continuation of the study of polynomial approximation and composition operators on Dirichlet spaces of unit disk, which has settled a problem posed by Cima in 1976, the present paper aims to consider the case of the unbounded domains,…
The aim of this paper is to investigate the equivalence conditions for uniform perfectness of quasi-metric spaces. We also obtain the invariant property of uniform perfectness under quasim\"obius maps in quasi-metric spaces. In the end, two…
We prove that each semialgebraic subset of $\R^n$ of positive codimension can be locally approximated of any order by means of an algebraic set of the same dimension. As a consequence of previous results, algebraic approximation preserving…
Let $R$ be an order in an algebraic number field. If $R$ is a principal order, then many explicit results on its arithmetic are available. Among others, $R$ is half-factorial if and only if the class group of $R$ has at most two elements.…
A variety of possible extensions of mappings between posets to their Dedekind order completion is presented. One of such extensions has recently been used for solving large classes of nonlinear systems of partial differential equations with…
In earlier work, we had introduced the Kantorovich probability monad on complete metric spaces, extending a construction due to van Breugel. Here we extend the Kantorovich monad further to a certain class of ordered metric spaces, by…
Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets…
The objective of this paper is to explain the principles of the design of a coarse space in a simplified way and by pictures. The focus is on ideas rather than on a more historically complete presentation. Also, space limitation does not…
Given two elements $x,y$ of a semigroup $X$ we write $x\lesssim y$ if for every homomorphism $\chi:X\to\{0,1\}$ we have $\chi(x)\le\chi(y)$. The quasiorder $\lesssim$ is called the $binary$ $quasiorder$ on $X$. It induces the equivalence…
We study a class of evolutionary partial differential systems with two components related to second order (in time) non-evolutionary equations of odd order in spatial variable. We develop the formal diagonalisation method in symbolic…
We introduce the notion of $\mathit{skeleton}$ with a head in a non-zero real vector space. We prove that skeletons with heads describe order unit spaces geometrically. Next, we consider the notion of $\mathit{periphery}$ corresponding to…