Pith. sign in

REVIEW 6 cited by

A proof of the Ryser-Brualdi-Stein conjecture for large even $n$

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2310.19779 v1 pith:4Z5FRKB2 submitted 2023-10-30 math.CO

classification math.CO
keywords cellslatinordersquaretransversalconjectureeverylarge
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

A Latin square of order $n$ is an $n$ by $n$ grid filled using $n$ symbols so that each symbol appears exactly once in each row and column. A transversal in a Latin square is a collection of cells which share no symbol, row or column. The Ryser-Brualdi-Stein conjecture, with origins from 1967, states that every Latin square of order $n$ contains a transversal with $n-1$ cells, and a transversal with $n$ cells if $n$ is odd. Keevash, Pokrovskiy, Sudakov and Yepremyan recently improved the long-standing best known bounds towards this conjecture by showing that every Latin square of order $n$ has a transversal with $n-O(\log n/\log\log n)$ cells. Here, we show, for sufficiently large $n$, that every Latin square of order $n$ has a transversal with $n-1$ cells. We also apply our methods to show that, for sufficiently large $n$, every Steiner triple system of order $n$ has a matching containing at least $(n-4)/3$ edges. This improves a recent result of Keevash, Pokrovskiy, Sudakov and Yepremyan, who found such matchings with $n/3-O(\log n/\log\log n)$ edges, and proves a conjecture of Brouwer from 1981 for large $n$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 6 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A proof of Andersen's rainbow path conjecture for large $n$

    math.CO 2026-08 conditional novelty 8.0 of 10

    For all sufficiently large n, every properly edge-coloured n-vertex complete graph has a rainbow path on n-1 vertices, resolving Andersen's conjecture and its Latin-square analogue for large n.

  2. Almost every Latin square has a decomposition into transversals

    math.CO 2025-01 accept novelty 8.0 of 10

    With high probability, a uniformly random Latin square of order n has a decomposition into n disjoint transversals.

  3. Colour-balanced subgraphs

    math.CO 2026-04 unverdicted novelty 7.0 of 10

    Colour-balanced k-edge-coloured K_{2kt} has a perfect matching adjustable to colour-balance by recolouring O(k^2) edges.

  4. A note on improved bounds for hypergraph rainbow matching problems

    math.CO 2025-01 conditional novelty 7.0 of 10

    For r-uniform hypergraphs, rainbow matchings of size at least 2n/(r+1) - O_r(1) are guaranteed, but the maximum guaranteed size is below n - Ω_r(n^{1-1/r}).

  5. Recent progress in graph theory using expansion

    math.CO 2026-07 accept novelty 3.0 of 10

    Sublinear expansion—weak neighbourhood growth in sparse graphs—has resolved many long-standing extremal graph theory conjectures, and this survey organizes that progress.

  6. Restricted subgraphs of edge-colored graphs and applications

    math.CO 2024-12 conditional novelty 2.0 of 10

    A survey that maps the results and methods for finding rainbow subgraphs in edge-colored graphs, and their applications across discrete mathematics, coding theory, and computer science.

Pith tools