Related papers: On the consistency problem for modular lattices an…
In this paper, we continue with the results in \cite{Pg} and compute the group of quasi-isometries for a subclass of split solvable unimodular Lie groups. Consequently, we show that any finitely generated group quasi-isometric to a member…
We obtain the most general matrix criterion for stability and instability of multi-component solitary waves considering a system of $N$ incoherently coupled nonlinear Schrodinger equations. Soliton stability is studied as a constrained…
A Lattice is a partially ordered set where both least upper bound and greatest lower bound of any pair of elements are unique and exist within the set. K\"{o}tter and Kschischang proved that codes in the linear lattice can be used for error…
We introduce a new class of lattices, the modernistic lattices, and their duals, the comodernistic lattices. We show that every modernistic or comodernistic lattice has shellable order complex. We go on to exhibit a large number of examples…
We investigate the Bieri--Neumann--Strebel--Renz (BNSR) invariants of irreducible uniform lattices. In the case of a direct product of a tree and a Euclidean space we show that vanishing of the BNSR invariants for all finite-index subgroups…
We show that only a rather small proportion of linear equations are solvable in elements of a fixed finitely generated subgroup of a multiplicative group of a number field. The argument is based on modular techniques combined with a…
Equations over linearly ordered semilattices are studied. For any equation $t(X)=s(X)$ we find irreducible components of its solution set and compute the average number of irreducible components of all equations in $n$ variables.
We characterize unimodular solvable Lie algebras with Vaisman structures in terms of K\"ahler flat Lie algebras equipped with a suitable derivation. Using this characterization we obtain algebraic restrictions for the existence of Vaisman…
We investigate the complexity of the partial order relation of Young's lattice. The definable relations are characterized by establishing the maximal definability property modulo the single automorphism given by conjugation; consequently,…
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type…
In this paper we study algebras of modular forms on unitary groups of signature $(n,1)$. We give a necessary and sufficient condition for an algebra of unitary modular forms to be free in terms of the modular Jacobian. As a corollary we…
We study a notion of indecomposability in differential algebraic groups which is inspired by both model theory and differential algebra. After establishing some basic definitions and results, we prove an indecomposability theorem for…
This paper explores alternative statements of the axioms for lattice gluing, focusing on lattices that are modular, locally finite, and have finite covers, but may have infinite height. We give a set of "maximal" axioms that maximize what…
Relation algebra and its reducts provide us with a strong tool for reasoning about nondeterministic programs and their partial correctness. Demonic calculus, introduced to model the behaviour of a machine where the demon is in control of…
Recently MV18 identified and initiated work on the new problem of understanding structural relationships between the lattices of solutions of two "nearby" instances of stable matching. They also gave an application of their work to finding…
Within the C*-algebraic framework of the resolvent algebra for canonical quantum systems, the structure of oscillating lattice systems with bounded nearest neighbor interactions is studied in any number of dimensions. The global dynamics of…
Lattice theoretical generalizations of some classical linear algebra results are formulated. A vector space is replaced by its subspace lattice and a linear map is replaced by the induced lattice map. This map is a complete join…
We consider the groups of regular circulant matrices over finite fields and integer residue class rings. In both cases we present a formula for the order of these groups. We also make a first step towards finding the algebraic structure of…
Computing modular coincidences can show whether a given substitution system, which is supported on a point lattice in R^d, consists of model sets or not. We prove the computatibility of this problem and determine an upper bound for the…
Let $K$ be a number field, let $A$ be a finite-dimensional $K$-algebra, let $\mathrm{J}(A)$ denote the Jacobson radical of $A$, and let $\Lambda$ be an $\mathcal{O}_{K}$-order in $A$. Suppose that each simple component of the semisimple…