2
votes
0answers
43 views

Generators for lattice polytopes

Let $V$ be a finite set of integral vectors in $\mathbb{R}_n$. Consider the real (positive) convex cone $\mathbb{R}^+V$ spanned by $V$. We can assume that all vectors in $V$ are extremal in ...
4
votes
1answer
104 views

Periodic functions over different lattices in $\mathbb R^d$ are linearly independent [closed]

I have the following claim that I think have been proved by someone, but I can not find the reference, hence I would like to ask for help. Here is the claim: Let $f_1, \ldots, f_n$ be continuous ...
0
votes
1answer
79 views

A limit of a sum related to integer lattice and power series

I have the following lemma that I would like to find a source to cite for. Let $L$ be a subset of $\mathbb Z^d_{>0}$. I would like to claim that the limit $$\lim_{z \to (1,\ldots,1)^-} (\sum_{v ...
2
votes
1answer
88 views

Has the single sorted case of formal concept analysis been investigated?

A formal context in formal concept analysis is a triple $K = (G, M, I)$ where $G$ is a set of objects, $M$ is a set of attributes and the binary relation $I \subset G \times M$ shows which objects ...
6
votes
1answer
279 views

coloring in lattice

This is a mathematical question raised from engineering and physics: Is there some established mathematical approach in filling a physical lattice with some colored basis (black and white here)? For ...
1
vote
0answers
77 views

Classification of involutions of the lattice $H\oplus H(k)^{\oplus2}$ for $k=5,6$?

Let $H$ denote the hyperbolic lattice (rank 2 lattice generated by $e,f$ such that $e^2=f^2=e.f-2=0$). Let $k >0$ be an integer. Is it possible to classify involutions $\iota$ of the lattice $$ ...
1
vote
0answers
57 views

Reference request: Compact metrizable semilattices with small connected semilattices are absolute retracts

Let $X$ be a compact metrizable topological semilattice with a neighbourhood base of sub-semilattices that are path connected. I need a reference for a proof that $X$ is an absolute retract. Here is ...
2
votes
2answers
142 views

Equivalence relations in suplattices

I am wondering about generalisations of the concept of equivalence relations to suplattices. Here is my motivation: Given a set $X$. The powerset $\mathcal{P}(X)$ is a suplattice. For suplattices ...
1
vote
1answer
302 views

Minkowski's successive minima: A quantity not much larger than det(L)^(1/n) and not much smaller than λ_n(L)?

Let $\mathbf{v}_1, \mathbf{v}_2, ..., \mathbf{v}_n$ be $n$ linearly independent vectors in an $n$-dimensional lattice $\Lambda$ in $\mathbf{R}^n$ and let $\mathbf{v}^*_1 ,\mathbf{v}^*_2, ..., ...
4
votes
1answer
248 views

A question of compactness in the geometry of numbers

Given a star body $S \subset \mathbb{R}^n$ with the origin as interior point, the critical determinant of $S$---usually denoted as $\Delta(S)$---is the infimum of the determinants of all lattices ...
1
vote
0answers
67 views

Reference request for gluing construction of lattices

I would like to study gluing method of lattices (such as constructing Niemeier lattices from certain root lattices etc) and am looking for good references. I am aware of the book "Sphere Packings, ...
1
vote
0answers
82 views

Information about mutant Leech lattice related to smallest perfect squared square

What happens if we follow the construction of the Leech lattice but replace the relation $\displaystyle \sum_{n=1}^{24} n^2 = 70^2$ with the smallest perfect squared square? Explicitly, if we set ...
3
votes
0answers
125 views

references for properties/examples of breadth in (semi)lattices

This is in some sense following up on my earlier question and the answer given by NN. I am currently revising the paper which used the condition mentioned in my question. It was pointed out in NN's ...
14
votes
2answers
541 views

Maximal number of maximal subgroups

Let $G$ be a finite group. I want to find an upper bound on the number of the maximal subgroups. My questions is does it possible to prove that the number of maximal subgroups of any finite group $G$ ...
4
votes
1answer
240 views

Reference for subsemigroups of $\mathbb{N}^n$

A well known result about the natural numbers $\mathbb{N}$ says that for any finite subset $A \subset \mathbb{N}$ there exists $R \ge 0$ such that if $n$ is in the subgroup of $\mathbb{Z}$ generated ...
2
votes
0answers
211 views

Hurwitz integers and $F_4$

The Hurwitz integers are $$ \mathcal H= \{a+bi+cj+dk:a,b,c,d\in\mathbb Z\;\text{ or } \;a,b,c,d\in \tfrac12+\mathbb Z\}. $$ I want to know if there is a formula, for $m\in\mathbb Z$, for the number ...
2
votes
0answers
276 views

Constructing the Stone Space of a Distributive Lattice

Does anyone have a good reference for the method of giving a topology to a distributive lattice as outlined in M.H. Stone's "Topological representation of distributive lattices and Brouwerian logics"? ...
9
votes
1answer
733 views

Reference request: Ehrhart's conjecture on the geometry of numbers

Conjecture (Ehrhart). If a convex body $K \subset {\mathbb R}^n$ has its barycenter at the origin and contains no other point with integer coordinates, the volume of $K$ is less than or equal to $(n ...
2
votes
1answer
236 views

Is there existing terminology for this technical condition on semilattices?

Given a semilattice $S$, a subset $E$, and a positive integer $n$, let $E^{[n]}$ be the set of all products of $n$-tuples in $E$. Thus $\bigcup_{n\geq 1} E^{[n]}$ is nothing but the subsemigroup of ...
5
votes
2answers
507 views

Lattices in SOL

Consider a semi-direct product $\mathbb{Z}^2\rtimes_A\mathbb{Z}$, where $A\in SL_2(\mathbb{Z})$ and $|Tr(A)|>2$. It is clear that it is isomorphic to a lattice in the 3-dimensional solvable Lie ...
4
votes
1answer
434 views

Lorentzian characterization of genus

Suppose we take the "even" indefinite lattice from page 50 in Serre A Course in Arithmetic (1973) $$ U \; = \; \left( \begin{array}{cc} 0 & 1 \\\ 1 & 0 \end{array} \right),$$ ...
6
votes
2answers
406 views

Is the square of the covering radius of an integral lattice/quadratic form always rational?

This is one of many observations from Pete L. Clark's questions on "Euclidean" quadratic forms. I sent Pete many positive integral forms that obeyed his condition. In turn, his condition turns out to ...
2
votes
1answer
468 views

Even lattices and binary codes

I have a maybe simple question about even positive-definite lattices and lattices coming from binary codes. They seemed to be used in framed vertex operator algebras. What is known about even ...
4
votes
1answer
242 views

Turing Machine which generates order on the set of its states

This question is related to this one Do Turing Machines generates any nontrivial lattice on the set o symbols or states? The Turing machine (TM) is an abstract model for effective implementation of ...
1
vote
1answer
211 views

Do Turing Machines generates any nontrivial lattice on the set o symbols or states?

Second question, probably better: Turing Machine which generates order on the set of its states I would like to ask ( if it is not terribly obviously wrong): Do Turing Machine generates ...
12
votes
1answer
1k views

Sublattices of Young's Lattice

Young's Lattice is the lattice of inclusions of Young tableaux, or integer partitions. In R. Stanley's Enumerative Combinatorics Vol. 1, Proposition 1.4.4., there is a generalization of integer ...
21
votes
4answers
3k views

Gossip about Grothendieck and distributive lattices

In Gian-Carlo Rota's Indiscrete Thoughts, there a list of mathematical gossip among which one reads: [...] What would have happened [...] if Grothendieck had known the theory of distributive ...
0
votes
0answers
163 views

Vector-valued valuations on lattices

There's a fair amount of work on valuations on (modular) lattices, by which I mean functions $v : \mathcal{L} \rightarrow R$ that satisfy the modular expression $$v(x) + v(y) = v(x \wedge y) + v(x ...