Related papers: The lattice of arithmetic progressions

A lattice L is spatial if every element of L is a join of completely join-irreducible elements of L (points), and strongly spatial if it is spatial and the minimal coverings of completely join-irreducible elements are well-behaved.…

We consider two sequences of orthogonal polynomials $(P_n)_{n\geq 0}$ and $(Q_n)_{n\geq 0}$ with respect regular functionals ${\bf u}$ and ${\bf v}$, respectively. We assume that $$\sum_{j=1} ^{M} a_{j,n}\mathrm{D}_x ^k P_{k+n-j}…

Let $\mathbb{F}$ be a field of characteristic zero and let $\mathfrak{g}$ be a non-zero finite-dimensional split semisimple Lie algebra with root system $\Delta$. Let $\Gamma$ be a finite set of integral weights of $\mathfrak{g}$ containing…

In this paper, we study classes of discrete convex functions: submodular functions on modular semilattices and L-convex functions on oriented modular graphs. They were introduced by the author in complexity classification of minimum…

We show there exists a closed locally symmetric manifold $M$ modeled on $SL_n(\mathbb R)/SO(n)$, and a non-trivial homology class in degree $dim(M)-rank(M)$ represented by a totally geodesic submanifold that contains a circle factor. As a…

Let L(n-l+1/2,0) be the vertex operator algebra associated to an affine Lie algebra of type B_l^(1) at level n-l+1/2, for a positive integer n. We classify irreducible L(n-l+1/2,0)-modules and show that every L(n-l+1/2,0)-module is…

We study the Lattice Isomorphism Problem (LIP), in which given two lattices L_1 and L_2 the goal is to decide whether there exists an orthogonal linear transformation mapping L_1 to L_2. Our main result is an algorithm for this problem…

In this paper we construct a non-autonomous version of the Hietarinta equation [Hietarinta J., J. Phys. A: Math. Gen. 37 (2004), L67-L73] and study its integrability properties. We show that this equation possess linear growth of the…

We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…

The moduli space of rank-n commutative algebras equipped with an ordered basis is an affine scheme B_n of finite type over Z, with geometrically connected fibers. It is smooth if and only if n <= 3. It is reducible if n >= 8 (and the…

In $\mathcal L$, the semilattice of faces of an $n$-cube, we count the number of automorphisms of $\mathcal L$ that fix a given subalgebra -- either pointwise or as a subalgebra. By using M\"obius inversion we get a formula for the number…

The extended weak order on a Coxeter group $W$ is the poset of biclosed sets in its root system. In (Barkley-Speyer 2024), it was shown that when $W=\widetilde{S}_n$ is the affine symmetric group, then the extended weak order is a quotient…

Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal…

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 $(X,o)$ be a complex analytic normal surface singularity with rational homology sphere link $M$. The `topological' lattice cohomology ${\mathbb H}^*=\oplus_{q\geq 0} {\mathbb H}^q$ associated with $M$ and with any of its spin$^c$…

The optimization of submodular functions on the integer lattice has received much attention recently, but the objective functions of many applications are non-submodular. We provide two approximation algorithms for maximizing a…

Non-perturbative investigations of $\mathcal N = 4$ supersymmetric Yang--Mills theory formulated on a space-time lattice have advanced rapidly in recent years. Large-scale numerical calculations are currently being carried out based on a…

We prove noncoherence of certain families of lattices in the isometry group of the hyperbolic n-space for n greater than 3. For instance, every nonuniform arithmetic lattice in SO(n,1) is noncoherent, provided that n is at least 6.

For a slim, planar, semimodular lattice $L$ and covering square~$S$, G.~Cz\'edli and E.\,T.~Schmidt introduced the fork extension, $L[S]$, which is also a slim, planar, semimodular lattice. We investigate when a congruence of $L$ extends to…

For L a finite lattice, let C(L) denote the set of pairs g = (g_0,g_1) such that g_0 is a lower cover of g_1 and order it as follows: g <= d iff g_0 <= d_0, g_1 <= d_1, but not g_1 <= d_0. Let C(L,g) denote the connected component of g in…