7
$\begingroup$

A (finite) poset $P = (X, <)$, or partially ordered set, is a (finite) set $X$ equipped with a transitive antisymmetric relation $<$; it can be equivalently seen as a DAG $G = (X, E)$ that is transitive (whenever $(x, y) \in E$ and $(y, z) \in E$ then $(x, z) \in E$).

An automorphism of $P$ is a bijection $f$ from $X$ to $X$ such that $x < y$ iff $f(x) < f(y)$, in other words, both $f$ and $f^{-1}$ are order-preserving. The automorphism is fixed-point-free if there is no $x$ such that $f(x) = x$. Of course, the identity is always an automorphism (which is not fixed-point-free); other automorphisms are said to be non-trivial. Both automorphisms and fixed-point-free automorphisms are well-studied natural notions for posets; intuitively, posets that have non-trivial (fixed-point-free) automorphisms have a certain symmetry.

Is anything known about the complexity of determining if a poset has a non-trivial automorphism, or fixed-point-free automorphism? Or the complexity of counting the number of automorphisms, or fixed-point-free automorphisms?

For DAGs that are not transitive, determining if a DAG has a non-trivial automorphism is in NP and its complexity is unknown, like that of graph isomorphism (source). So, while the problem for transitive DAGs is still in NP, it should not be realistic to prove hardness as that would imply hardness of that open problem; but maybe the graph being transitive makes the problem easier (solvable in polynomial time)?

For other natural counting problems about posets, the problems of antichain counting (antichains are subsets of elements that are all pairwise incomparable), or of linear extension counting (linear extensions are the way to extend the partial order to a total order by adding more comparability relations), are all #P-complete to compute. (source and source). Is it also hard to count automorphisms, then?

$\endgroup$
3
$\begingroup$

Graph isomorphism for bipartite graphs is as hard as graph isomorphism for general undirected graphs. Considering bipartite posets (i.e., seeing bipartite graphs as Hasse diagrams of posets), you may see that counting the automorphisms of bipartite posets is as hard as counting the automorphisms of general undirected graphs.

$\endgroup$
  • $\begingroup$ Thanks! I tried to source your claims and indeed it seems that connected directed bipartite graphs are GI-complete: "Graph isomorphism problem", V. N. Zemlyachenko, N. M. Korneenko, R. I. Tyshkevich, p. 49, refers to F. Schweiggert, "Zur isomorphie endlicher Graphen und Strukturen," seemingly unavailable online :(. So indeed, if counting automorphisms (or deciding their existence) on GI-complete families is of known complexity, this answers the question. Do you know the exact status of this? I'm currently trying to understand it, but it may not be straightforward (see edit to my question). $\endgroup$ – a3nm May 15 '14 at 22:44
  • $\begingroup$ @a3nm: I don't know the origin, but to me it is a folklore. To see the claim, for a given undirected graph G, we create a bipartite graph H as follows. One partite set of H corresponds to the vertex set of G, and the other partite set of H corresponds to the edge set of G. Two vertices of H are adjacent if and only if the corresponding vertex and edge in G are incident. If G is connected, then H is also connected, and in a connected bipartite graph, the bipartition is unique. Hence, if the size of partite sets differ, an automorphism on H naturally translates to G. $\endgroup$ – Yoshio Okamoto May 15 '14 at 23:09
  • $\begingroup$ OK, I buy that. $H$ should be oriented to match the poset case, but that's not a problem, and it even deals with the problem of differing partite set sizes. So, to rephrase your argument, there is a bijection between the automorphisms of a connected undirected graph and that of its directed bipartite edge-vertex incidence graph, and it preserves the fact of being fixpoint-free. So, as directed bipartite graphs can be seen as posets, there is a PTIME reduction from the counting and decision problems for connected undirected graphs to the analogous problems for posets. $\endgroup$ – a3nm May 16 '14 at 22:46
  • $\begingroup$ To complete the picture, the complexity of deciding the existence of a fixed-point-free automorphism is NP-complete, and counting them is #P-complete, by epubs.siam.org/doi/abs/10.1137/0210002. Deciding the existence of a non-trivial automorphism is in NP and of unknown complexity, it is PTIME many-one reducible to isomorphism but the converse reduction is unknown. As for counting graph automorphisms overall, I am not sure what the complexity is... In all of this, the fact that the graph is connected is not crucial as you can always take the complement graph otherwise. $\endgroup$ – a3nm May 16 '14 at 22:53
  • $\begingroup$ And last (and somewhat surprisingly), counting graph automorphisms is PTIME equivalent to graph isomorphism, according to R. Mathon, "A note on the graph isomorphism counting problem". (Thanks @Mc... for pointing me to this) $\endgroup$ – a3nm May 16 '14 at 23:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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