Ask Your Question
1

Counting cycles of induced permutations

asked 2015-12-28 17:56:15 +0100

Malte gravatar image

updated 2015-12-28 18:00:45 +0100

In order to do some sophisticated counting in graph theory, I need to count the cycles of some particular permutations.

In my situation, $n$ is an integer greater than 1, and $K_n$ is the set of all two-element sets {a,b} with $a, b$ being integers not greater than $n$. Now any element $\pi$ of the symmetric group $S_n$ induces a permutation $\overline{\pi}$ of $K_n$ in a natural way, i.e. $\overline{\pi}$ maps any set {a,b} of $K_n$ onto {$\pi(a)$, $\pi(b)$}. What I want to figure out with the help of SAGE is the number of cycles that the permutation $\overline{\pi}$ has.

If you can help me, please do not forget to mention those little extra things that need to be done and that might appear obvious to you (e.g. importing packages and so forth), since I am a relative novice to SAGE.

Thank you very much.

Malte

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
1

answered 2015-12-28 21:20:55 +0100

vdelecroix gravatar image

Hello,

This is more a mathematical question rather than a Sage question. Given a permutation $\pi$ with a given cycle decomposition, let say $p = [p_0, p_1, ..., p_{m-1}]$ (I mean that the cycles of $\pi$ have lengths $p_0$, $p_1$, etc). Then the cycle decomposition of the action of $\pi$ on sets can be explicitely computed in terms of $p$. In particular, for the question of the number of cycles you get $$\sum_{i=0}^{m-1} \sum_{j=0}^{i-1} \gcd(p_i, p_j) + \sum_{i=0}^{m-1} \left\lfloor \frac{p_i}{2} \right\rfloor$$.

The above sum can be easily computed with Sage.

Vincent

edit flag offensive delete link more

Comments

Merci, Vincent, for that quick and profound answer. I am surprised to learn that answering my question by doing maths is easier than by doing Sage. Your answer completely satisfies my needs, as far as I understand things by now. The reason I was thinking of this as a Sage problem was that I couldn't find a way to make Sage tell me anything about the cycle decomposition of a permutation operating on anything other than integers (here, it's sets of integers instead), and I thought maybe I needed a hint in that direction. Do you happen to know of a general theorem cited in a mathbook that discusses your mathematical solution?

Anyway: Thank you very much for your kind answer.

Vive la France, Malte

Malte gravatar imageMalte ( 2015-12-28 22:08:34 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2015-12-28 17:56:15 +0100

Seen: 426 times

Last updated: Dec 28 '15