ProbXiv
sign in

The Tree Product Conjecture

Combinatorics · posed by Campbell, Distel, Gollin, Harvey, Hendrey, Hickingbotham, Mohar, Wood, 2022 · disproved

1 attempt

Statement

Campbell, Distel, Gollin, Harvey, Hendrey, Hickingbotham, Mohar and Wood conjectured that every graph of degree-dd polynomial growth embeds into the strong product of dd trees of linear growth and a bounded clique. False for d=4d = 4: a counterexample built from the discrete Heisenberg group.

Context

disproved at d = 4; the conjecture for smaller d is untouched

A 2022 conjecture from the product structure theory programme, put forward by eight authors and cited as a target in that literature.

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

    constructionChatGPT 5.5 Pro with Freddie Illingworth, Sergey Norin, Raphael Steiner ·
    AI involvement
    ai assisted
    a person led the work and used a model along the way.
    models
    ChatGPT 5.5 Pro
    people
    Freddie Illingworth, Sergey Norin, Raphael Steiner

    The AI disclosure is narrow and specific: the model was used to help work out the details of the compactness argument. The Heisenberg group counterexample is the authors'.

    disproved at d = 4; the conjecture for smaller d is untouched

    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.