Related papers: Sufficiently many projections in archimedean vecto…
We show that every braided monoidal category arises as $\End(I)$ for a weak unit $I$ in an otherwise completely strict monoidal 2-category. This implies a version of Simpson's weak-unit conjecture in dimension 3, namely that one-object…
For a distributive join-semilattice S with zero, a S-valued poset measure on a poset P is a map m:PxP->S such that m(x,z) <= m(x,y)vm(y,z), and x <= y implies that m(x,y)=0, for all x,y,z in P. In relation with congruence lattice…
One-dimensional quasilattices are classified into mutual local-derivability (MLD) classes on the basis of geometrical and number-theoretical considerations. Most quasilattices are ternary, and there exist an infinite number of MLD classes.…
Strong variational sufficiency is a newly proposed property, which turns out to be of great use in the convergence analysis of multiplier methods. However, what this property implies for non-polyhedral problems remains a puzzle. In this…
In this papar, we point out some mistakes in a proof of an important combinatorial property of $S(\mathbb{A}_n)$, the set of all minimal vectors of lattice $\mathbb{A}_n$, and correct them in the last section. This property plays an…
We introduce a notion of strong proximity join-semilattice, a predicative notion of continuous lattice which arises as the Karoubi envelop of the category of algebraic lattices. Strong proximity join-semilattices can be characterised by the…
A periodic lattice in Euclidean space is the infinite set of all integer linear combinations of basis vectors. Any lattice can be generated by infinitely many different bases. This ambiguity was only partially resolved, but standard…
The topologies permitted in joint ocular dominance (OD), orientation preference (OP), and direction preference (DP) maps in the primary visual cortex (V1) are considered, with the aim of finding a maximally symmetric periodic case that can…
We develop the $p$-adic representation theory of $p$-adic Lie groups on solid vector spaces over a complete non-archimedean extension of $\mathbb{Q}_p$. More precisely, we define and study categories of solid, solid locally analytic and…
In this paper, we tie together two well studied topics related to finite Desarguesian affine and projective planes. The first topic concerns directions determined by a set, or even a multiset, of points in an affine plane. The second topic…
A discrete set $A$ in the Euclidian space is almost periodic if the measure with the unite masses at points of the set is almost periodic in the weak sense. We investigate properties of such sets in the case when $A-A$ is discrete. In…
This note provides new criteria on a unimodular group $G$ and a discrete series representation $(\pi, \mathcal{H}_{\pi})$ of formal degree $d_{\pi} > 0$ under which any lattice $\Gamma \leq G$ with $\text{vol}(G/\Gamma) d_{\pi} \leq 1$…
A shape of a combinatorial polytope is a convex embedding into Euclidean space. We provide necessary and sufficient conditions for a piecewise linear map between two shapes of the same polytope to be a compression (respectively a weak…
Let $M$ be a complete, connected Riemannian surface and suppose that $\mathcal{S} \subset M$ is a discrete subset. What can we learn about $M$ from the knowledge of all distances in the surface between pairs of points of $\mathcal{S}$? We…
The strong shape category of compact metrizable spaces (compacta) is very well-studied; extending it to noncompact spaces, however, introduces computational complexity that makes it hard to work with. The fine shape category, as defined by…
Based on the projective matrix spaces studied by B. Schwarz and A. Zaks, we study the notion of projective space associated to a C*-algebra A with a fixed projection p. The resulting space P(p) admits a rich geometrical structure as a…
We prove that if A is a synaptic algebra and the orthomodular lattice P of projections in A is complete, then A is a factor iff A is an antilattice. We also generalize several other results of R. Kadison pertaining to infima and suprema in…
Let $L$ be a lattice of full rank in $n$-dimensional real space. A vector in $L$ is called $i$-sparse if it has no more than $i$ nonzero coordinates. We define the $i$-th successive sparsity level of $L$, $s_i(L)$, to be the minimal $s$ so…
The aim of this note is to obtain results about when the norm of a projective tensor product is strongly subdifferentiable. We prove that if $X\hat{\otimes}_\pi Y$ is strongly subdifferentiable and either $X$ or $Y$ has the metric…
Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are…