ProbXiv
sign in

The Proportion of Permutations Fixing a k-Set

Combinatorics · solved

1 attempt

Statement

An asymptotic formula for p(k)p(k), the limiting probability that a random permutation has an invariant set of size kk: it is asymptotically kδ(1+o(1))k^{-\delta}(1+o(1)) times a smooth positive function, sharpening a line of estimates running through Łuczak-Pyber and Eberhard-Ford-Green.

Context

The invariant-set proportion is a documented question of permutation combinatorics with a real literature from Łuczak-Pyber through Eberhard-Ford-Green.

People

Attempts

1 attempt

No person has examined this. 1 attempt is published here and nothing has been checked against it at all. Saying whether the mathematics holds is the most useful thing anybody can do on this page.

review this attempt

  • #1

    Attempt 1

    proof attemptGPT o4-mini, ChatGPT Pro 5.4 with Ben Green, Mehtaab Sawhney ·
    AI involvement
    ai co developed
    a person and a model developed the result together.
    models
    GPT o4-mini, ChatGPT Pro 5.4
    people
    Ben Green, Mehtaab Sawhney

    The authors "originally discovered that g was almost constant via the use of GPT o4-mini. Upon being asked to prove this fact, the model suggested the broad strategy" (initially miscomputing an integral, then completing the evaluation after being pointed at Mellin transforms). A separate argument in the paper is ChatGPT Pro 5.4's, shortened and checked by the authors, kept because it was cleaner than their own.

    Reviews

    No person has reviewed this attempt. It has not been checked at all.

    Discussion of this attempt

    no comments

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.

Discussion

no comments

Nothing has been said about this problem yet.

Reading every thread is open to everyone. Posting needs an account with posting rights — sign in to check yours.