Source authenticated

The Leading Constant for Large-Order Davenport-Schinzel Sequences

Wellman and Pettie noted that the true leading constant for large-order Davenport-Schinzel sequences was known only to lie in an interval. The paper improves the Roselle-Stanton lower bound to match the pigeonhole upper bound in the leading term, resolving the constant to exactly 1/2.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Feb 17, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. Imported under CC BY 4.0.

Canonical aliases: The Leading Constant for Large-Order Davenport-Schinzel Sequences · Davenport-Schinzel constant

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Jesse Geneson
human · human collaborator

Claude 4.6
model · ai model contributor · Anthropic

GPT 5.2
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Jesse Geneson

This event attributed to GPT 5.2

This event attributed to Claude 4.6

Act on this frontier

Verify, challenge, or extend the result.

The Leading Constant for Large-Order Davenport-Schinzel Sequences — Mathematical Frontier Network