Related papers: A lexicographic shellability characterization of g…
If $\Gamma$ is an irreducible non-uniform higher-rank characteristic zero arithmetic lattice (for example, $SL_n(\mathbb{Z})$, $n \geq 3$) and $\Lambda$ is a finitely generated group that is elementarily equivalent to $\Gamma$, then…
For a large class of tilings, including the Penrose tiling in two dimension as well as the icosahedral ones in 3 dimension, the continuous hull of such a tiling inherits a minimal lamination structure with flat leaves and a transversal…
We prove that if a simplicial complex is shellable, then the intersection lattice for the corresponding diagonal arrangement is homotopy equivalent to a wedge of spheres. Furthermore, we describe precisely the spheres in the wedge, based on…
We explore inflectional morphology as an example of the relationship of the discrete and the continuous in linguistics. The grammar requests a form of a lexeme by specifying a set of feature values, which corresponds to a corner M of a…
Dualization of a monotone Boolean function on a finite lattice can be represented by transforming the set of its minimal 1 to the set of its maximal 0 values. In this paper we consider finite lattices given by ordered sets of their meet and…
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This…
We provide a characterization of upper locally distributive lattices (ULD-lattices) in terms of edge colorings of their cover graphs. In many instances where a set of combinatorial objects carries the order structure of a lattice this…
We introduce labelled sequent calculi for the basic normal non-distributive modal logic L and 31 of its axiomatic extensions, where the labels are atomic formulas of a first order language which is interpreted on the canonical extensions of…
Skew lattices are non-commutative generalizations of lattices, and the cosets represent the building blocks that skew lattices are built of. As by Leech's Second Decomposition Theorem any skew lattice embeds into a direct product of a…
Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure…
Among (isotopy classes of) automorphisms of handlebodies those called irreducible (or generic) are the most interesting, analogues of pseudo-Anosov automorphisms of surfaces. We consider the problem of isotoping an irreducible automorphism…
This paper develops geographic-style maps containing 2D lattices in all known crystals parameterised by recent complete invariants. Motivated by rigid crystal structures, lattices are considered up to rigid motion and uniform scaling. The…
We investigate endomorphism semirings of a finite semilattice with one least element and one greatest element such that all the other elements form an antichain. We construct some new finite simple semirings. Keywords: endomorphism…
Let $\mathcal{A} = \{A_1, \ldots, A_m\}$ and $\mathcal{B} = \{B_1, \ldots, B_n\}$ be a pair of dual multi-hypergraphs on the common ground set $O = \{o_1, \ldots, o_k\}$. Note that each of them may have embedded or equal edges. An edge is…
We study numerically the geometric entanglement in the Laughlin wave function, which is of great importance in condensed matter physics. The Slater determinant having the largest overlap with the Laughlin wave function is constructed by an…
A $\Gamma$-labeled graph is an oriented graph with edges invertibly labeled by a group $\Gamma$. We prove a structure theorem for $\Gamma$-labeled graphs which forbid a fixed $\Gamma$-labeled graph as an immersion, for any finite $\Gamma$.…
In this paper we investigate measures over bounded lattices, extending and giving a unifying treatment to previous works. In particular, we prove that the measures of an arbitrary bounded lattice can be represented as measures over a…
We give a criterium when a linearly ordered topological semilattice is $H$-closed. We also prove that any linearly ordered $H$-closed topological semilattice is absolutely $H$-closed and we show that every linearly ordered semilattice is a…
A set of vertices $S$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of $G$ is the minimum cardinality of a resolving set of $G$. Let $\{G_1, G_2, \ldots,…
This paper shows that an analytic space $X$ has a unique maximal model through which every proper surjective morphism from a non-singular analytic space to $X$ factors. This is called the {\sl geometric minimal model} of $X$ and…