Related papers: A lattice-theoretic approach to the Bourque-Ligh c…

We search and classify two-component versions of the quad equations in the ABS list, under certain assumptions. The independent variables will be called $y,z$ and in addition to multilinearity and irreducibility the equation pair is…

Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each…

For a finite lattice L, the congruence lattice Con L of L can be easily computed from the partially ordered set J(L) of join-irreducible elements of L and the join-dependency relation D\_L on J(L). We establish a similar version of this…

Let $D=(V,A)$ be a digraph whose underlying undirected graph is $2$-edge-connected, and let $P$ be the polytope whose vertices are the incidence vectors of arc sets whose reversal makes $D$ strongly connected. We study the lattice theoretic…

We reconstruct a function by values of its Segal-Bargmann transform at points of a lattice.

We construct a lattice model for two-dimensional N=(2,2) supersymmetric QCD (SQCD), with the matter multiplets belonging to the fundamental or anti-fundamental representation of the gauge group U(N) or SU(N). The construction is based on…

We consider the ring $\mathbb Z_n$ (integers modulo $n$) with the partial order `$\leq$' given by `$a \leq b$ if either $a=b$ or $a\equiv ab~(mod~n)$'. In this paper, we obtain necessary and sufficient conditions for the poset ($\mathbb…

Let $t$ be a non-negative integer and $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ be a set-pair family satisfying $|A_i \cap B_i|\leq t$ for $1\leq i \leq m$. $\mbox{$\cal P$}$ is called strong Bollob\'as $t$-system, if $|A_i\cap…

The goal of this paper is to prove that several variants of deciding whether a poset can be (weakly) embedded into a small Boolean lattice, or to a few consecutive levels of a Boolean lattice, are NP-complete, answering a question of Griggs…

A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…

For positive integers $s$ and $L \geq 3$, Berkovich and Uncu (Ann. Comb. $23$ ($2019$) $263$--$284$) conjectured an inequality between the sizes of two closely related sets of partitions whose parts lie in the interval $\{s, \ldots, L+s\}$.…

In this note we consider distinct distances determined by points in an integer lattice. We first consider Erdos's lower bound for the square lattice, recast in the setup of the so-called Elekes-Sharir framework \cite{ES11,GK11}, and show…

We prove a converse theorem for the multiplicative Borcherds lift for lattices of square-free level whose associated discriminant group is anisotropic. This can be seen as generalization of Bruinier's results in \cite{Br2}, which provides a…

We prove Zimmer's conjecture for co-compact lattices in ${\rm SL}(n, \mathbb C)$: for any co-compact lattice in ${\rm SL}(n, \mathbb C)$, $n \geq 3$, any $\Gamma$-action on a compact manifold $M$ with dimension: (I) less than $2n-2$ if $n…

We prove that there is a lattice embedded from every countable distributive lattice into the Boolean algebra of computable subsets of $\mathbb{N}$. Along the way, we discuss all relevant results about lattices, Boolean algebras and…

We show that the problem of deciding whether a given Euclidean lattice L has an orthonormal basis is in NP and co-NP. Since this is equivalent to saying that L is isomorphic to the standard integer lattice, this problem is a special form of…

Lifting theorems are theorems that bound the communication complexity of a composed function $f\circ g^{n}$ in terms of the query complexity of $f$ and the communication complexity of $g$. Such theorems constitute a powerful generalization…

Let \Gamma be a lattice in G=SL(n,R) and X=G/S a homogeneous space of G, where S is a closed subgroup of G which contains a real algebraic subgroup H such that G/H is compact. We establish uniform distribution of orbits of \Gamma in X…

We present a simple lattice formulation of two-dimensional $\mathcal{N}=(2,2)$ $U(k)$ supersymmetric QCD (SQCD) with $N$ matter multiplets in the fundamental representation. The construction uses compact gauge link variables and exactly…

Let $\Gamma$ be an irreducible lattice in a product of n infinite irreducible complete Kac-Moody groups of simply laced type over finite fields. We show that if n is at least 3, then each Kac-Moody groups is in fact a simple algebraic group…