2
votes
1answer
82 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
226 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
76 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
54 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 ...
1
vote
2answers
131 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
299 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
241 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
60 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
120 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
526 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
208 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
206 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
246 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
726 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
234 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
469 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
410 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
390 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
464 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
239 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
210 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
156 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 ...