2
$\begingroup$

Question:

Given a finite simplicial complex $K$, what general techniques allow one to efficiently compute (a presentation of) the group $\text{Aut}(K)$ of $K$'s automorphisms?

Since this is strictly harder than the corresponding problem for graphs (often solved using NAUTY), one shouldn't expect a universally efficient answer, so I'm only looking for implementations of good heuristics, a la NAUTY. Both GAP and SAGE have some implementations which do the job, but I'm wondering if it is possible to know what the underlying algorithms are without having to read through the source code.

$\endgroup$

1 Answer 1

5
$\begingroup$

In Sage, at least, the documentation suggests what algorithm is used:

This is done by creating a bipartite graph, whose vertices are
vertices and facets of the simplicial complex, and computing its
automorphism group.

(I wouldn't be surprised if Sage called GAP to do this graph computation, by the way.)

$\endgroup$
2
  • $\begingroup$ as a matter of fact Sage doesn't call GAP here (nor anywhere else on graph automorphisms, in fact). GAP also doesn't do graph automorphsims "natively", it uses a package called GRAPE. Which calls nauty, in fact... $\endgroup$ Sep 19, 2013 at 1:31
  • $\begingroup$ Hi Dima. Ah, okay. I was looking at the code in the original patch (as linked in the question), and it had variables with names like simpl_to_gap, so that's what led me to believe that. I see the current source code doesn't have those anymore. $\endgroup$ Sep 19, 2013 at 3:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.