Garrett Figueroa on Nostr: Here's a cute combinatorial conundrum. I'm certain this has been thought about ...
Here's a cute combinatorial conundrum. I'm certain this has been thought about before, but this is my first time thinking about it and I'm not sure if this problem has a standard name.
Let [𝑛] be the set with 𝑛∈ℕ elements, let 𝑆ₙ↻[𝑛] be the usual action by permutations, and uniformly pick σ∈𝑆ₙ. Now restrict this 𝑆ₙ-action to <σ>, the subgroup generated by σ, and let 𝑓^σ=<σ>↻[𝑛] .
1. What is the expected value of the number of orbits of 𝑓^σ?
2. Now make sure σ has no 1-cycles, i.e. we uniformly pick σ from the subset of 𝑆ₙ of permutations without 1-cycles. Now what is the expected value of the number of orbits of 𝑓^σ?
This is straightforward to compute for small 𝑛 - off the dome, here are the first few for the full 𝑆ₙ from 𝑛=0:
0, 1, 1.5, 11/6, ...
And for 𝑆ₙ less permutations with 1-cycles, 𝑛=2 gives 1 orbit and 𝑛=3 gives (1+1+3)/3=5/3 orbits.
I'm sure this is interesting! And may toy around with some computations eventually, get some practice with Python and so on, but figured I'd ask y'all first if this has been thought about before.
#math #puzzles
Published at
2025-11-11 23:02:48 UTCEvent JSON
{
"id": "7e7e05ce85bed06bcc8da2048d4efb521ba47ade400b94efc2bfee36426b7e65",
"pubkey": "0cf2806d601ee789bc4cd86bd880167ea9d316c29f3ba8e85f52d0c38a04ec3c",
"created_at": 1762902168,
"kind": 1,
"tags": [
[
"t",
"puzzles"
],
[
"proxy",
"https://mathstodon.xyz/@djspacewhale/115533556485906590",
"web"
],
[
"t",
"math"
],
[
"proxy",
"https://mathstodon.xyz/users/djspacewhale/statuses/115533556485906590",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/djspacewhale/statuses/115533556485906590",
"pink.momostr"
],
[
"-"
]
],
"content": "Here's a cute combinatorial conundrum. I'm certain this has been thought about before, but this is my first time thinking about it and I'm not sure if this problem has a standard name.\n\nLet [𝑛] be the set with 𝑛∈ℕ elements, let 𝑆ₙ↻[𝑛] be the usual action by permutations, and uniformly pick σ∈𝑆ₙ. Now restrict this 𝑆ₙ-action to \u003cσ\u003e, the subgroup generated by σ, and let 𝑓^σ=\u003cσ\u003e↻[𝑛] .\n\n1. What is the expected value of the number of orbits of 𝑓^σ?\n\n2. Now make sure σ has no 1-cycles, i.e. we uniformly pick σ from the subset of 𝑆ₙ of permutations without 1-cycles. Now what is the expected value of the number of orbits of 𝑓^σ?\n\nThis is straightforward to compute for small 𝑛 - off the dome, here are the first few for the full 𝑆ₙ from 𝑛=0:\n\n0, 1, 1.5, 11/6, ...\n\nAnd for 𝑆ₙ less permutations with 1-cycles, 𝑛=2 gives 1 orbit and 𝑛=3 gives (1+1+3)/3=5/3 orbits.\n\nI'm sure this is interesting! And may toy around with some computations eventually, get some practice with Python and so on, but figured I'd ask y'all first if this has been thought about before.\n\n#math #puzzles",
"sig": "33d1bc322a720a63845ef0071b8c8f85f494069f1e3c10c3a9eb689331fcce1ce08f87830923159b14e6f5d0eea351d9bdb456c5b423555a131dc804c502f07c"
}