Closed sashakolpakov closed 4 years ago
@drewitz, @rgugliel : please, contact me by email for more info or more test examples.
Hey Sasha! Thanks for opening the two issues. I don't have a lot of time for CoxIter these days but I'll try to have a look.
Cheers.
@drewitz, @rgugliel : If you replace the green edges in the diagram above (i.e. all edges with label 8) with \infty-edges (i.e. by bold edges), then you get an actual Coxeter diagram for some finite-volume polytope in H^{18} (not known at the time to Kaplinskaya and Vinberg). This one passes the finite-volume test in CoxIter (and it should!)
Hello @sashakolpakov , I'm wondering whether the above diagram corresponds to an hyperbolic Coxeter group. According to Matthieu, the signature of the Gram matrix is not (18, 1, 5): you can see that by consider the following equation: Reduce[Det[G[[3 ;; 22, 3 ;; 22]]] == 0 && 0 == Det[G[[2 ;; 21, 2 ;; 21]]]]
Can you keep me updated?
Thanks.
I took the diagram from my initial post, and used another colour code: "green" -- zero angle, "grey" -- dotted edge, "red" -- pi/3. By using SageMath I computed the eigenvalues of the matrix in question:
[-5.319533644619737?, 0, 0, 0, 0, 0, 0.3742968230177789?, 0.50000000000000000?, 0.5573840559382009?, 0.5573840559382009?, 1, 1, 1.170174712838487?, 1.170174712838487?, 1.202201347703642?, 1.5000000000000000?, 1.634855179510917?, 1.696037527243352?, 1.696037527243352?, 2, 2, 2.108180294387398?, 4.576403703979960?, 4.576403703979960?]
Looks good to me. Some dotted edge lengths are necessary to get this computation done (which I did not provide).
@sashakolpakov Can you provide the dotted edge length, please?
@rgugliel : all have length \ell such that cosh(\ell) = 3 (the respective element of the Gram matrix is -3, according to what I got from SageMath)
@sashakolpakov When exporting the above initial graph from CoxIter and replacing the 3*2 corresponding entries in the Gram matrix by -3, I find signature (20, 2, 2).
In order to proceed forward, please provide the Gram matrix you considered (with the same ordering as the graph you posted above).
@rgugliel: Just a reminder: below is the correct example with correct signature that has to pass the finite volume test by Coxeter. The initial example is not finite volume (for the reasons described in the initial posting), but it passes the test for me.
I just wonder: what kind of software have you used for signature computation? I used SageMath, which goes to (what I believe to be) a BLAS eigenvalues routine.
1) Diagram: (indexed from 0 to 23)
2) Gram matrix: (indexed from 0 to 23)
[(1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/2, 0, 0, 0, 0, 0, -1/2, 0, 0, 0, -1/2), (0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/2, 0, 0, 0, 0, 0, 0, -1/2, 0), (0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/2, -1/2, 0, 0, 0, 0, -1/2, 0, 0), (0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, -1/2, -1/2, 0, 0, 0, 0, 0), (0, 0, 0, 0, 1, 0, 0, 0, 0, -1/2, -1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), (0, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1/2, -1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), (0, 0, 0, 0, 0, 0, 1, -1/2, 0, 0, 0, 0, 0, -1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), (0, 0, 0, 0, 0, 0, -1/2, 1, 0, 0, 0, -1/2, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), (0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, -3, 0, -3, 0, 0, 0, 0, -1, 0, 0, -1, 0), (0, 0, 0, 0, -1/2, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/2, 0), (0, 0, 0, 0, -1/2, -1/2, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/2, 0, 0, 0), (0, 0, 0, 0, 0, -1/2, 0, -1/2, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), (0, 0, 0, 0, 0, 0, 0, -1, -3, 0, 0, 0, 1, 0, -3, 0, 0, 0, 0, 0, 0, -1, 0, 0), (-1/2, 0, 0, 0, 0, 0, -1/2, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), (0, 0, 0, -1, 0, 0, 0, 0, -3, 0, 0, 0, -3, 0, 1, 0, 0, 0, 0, 0, -1, 0, 0, 0), (0, -1/2, -1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0), (0, 0, -1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, -1/2, 0, 0, 0, 0, 0), (0, 0, 0, -1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, -1/2), (0, 0, 0, -1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/2, 0, 1, 0, 0, 0, 0, 0), (-1/2, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0), (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/2, 0, 0, 0, -1, 0, 0, 0, 0, 0, 1, 0, 0, 0), (0, 0, -1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0), (0, -1/2, 0, 0, 0, 0, 0, 0, -1, -1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0), (-1/2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/2, 0, 0, 0, 0, 0, 1)]
3) Eigenvalues: [-5.319533644619737?, 0, 0, 0, 0, 0, 0.3742968230177789?, 0.50000000000000000?, 0.5573840559382009?, 0.5573840559382009?, 1, 1, 1.170174712838487?, 1.170174712838487?, 1.202201347703642?, 1.5000000000000000?, 1.634855179510917?, 1.696037527243352?, 1.696037527243352?, 2, 2, 2.108180294387398?, 4.576403703979960?, 4.576403703979960?]
We used Mathematica. In the graph you give at the beginning there are weights 8. I the above snippet, I don't see them; it seems they are replaced by some -1.
@rgugliel : Ok, one more time. I think some kind of miscommunication takes place.
Just a reminder: below is the correct example with correct signature that has to pass the finite >volume test by Coxeter. The initial example is not finite volume (for the reasons described in the > initial posting), ...
So the example above (example A) for which I supplied the diagram + Gram matrix + eigenvalues is correct. It has no \pi/8 angles, but angles of 0 instead. It colour code is "green" -- zero angle, "grey" -- dotted edge, "red" -- pi/3. Example A should pass the finite volume test. This is true positive.
If we use another colour code, "green" -- pi/8, "grey" -- dotted edge, "red" -- pi/3, then we get another example (example B, from which I started). In example B, there is a problem: its Coxeter diagram contains a disjoint union of two affine \tilde{E}_8 sub-diagrams (11, 5, 10, 4, 9, 22, 1, 15, 20) and (6, 13, 0, 23, 17, 3, 18, 16, 19). Their common orthogonal complement is the single edge (12,21). The latter is an elliptic sub-diagram. However, the orthogonal complement of an affine sub-diagram cannot be elliptic (it should be also affine, otherwise there is no finite-volume cusp with the property).
I have no idea what goes wrong with example B, and why CoxIter says it has finite volume. I know for sure that it does not (see above). I never computed the Gram matrix for it, nor its signature.
If I'm not mistaken, example B is not hyperbolic. As such, any answer from CoxIter cannot be trusted (the hyperbolicity assumption is absolutely necessary).
Aha, I did not know about this! Somehow I assumed that CoxIter runs a signature pre-check, and would at least give a warning.
That would be nice! However, it is quite difficult: to compute the signature, you need the full Gram matrix, and for that you need the values of the dotted edges.
As far as I know, there are some partial criteria to exclude hyperbolicity, but no full test.
I may update the documentation that make that more clear.
@rgugliel, @drewitz : as I noted in the initial posting, each affine diagram should have an affine orthogonal complement. This could be some kind of a pre-check + signature if no common perpendiculars present. However, this is just an idea for the future. Thanks for the info!
Yes, of course, you are right. As mentioned, I don't really have time to do further developments to CoxIter. However, it is opensource, so anyone can open a PR to add new features. I'll be happy to provide support and review it. Cheers.
Polytope diagram (colour code: red=3, green=8, grey=dotted edge):![d18-2](https://i.ibb.co/94CQTN0/d18-2.png)
CoxIter input file (vertex indices +1 compared to the diagram):
CoxIter output:
Issue: this polytope cannot have finite covolume. Its Coxeter diagram contains a disjoint union of two affine \tilde{E}_8 sub-diagrams (11, 5, 10, 4, 9, 22, 1, 15, 20) and (6, 13, 0, 23, 17, 3, 18, 16, 19). Their common orthogonal complement is the single edge (12,21). The latter is an elliptic sub-diagram. However, the orthogonal complement of an affine sub-diagram cannot be elliptic (it should be also affine, otherwise there is no finite-volume cusp with the property).