REVIEW 6 minor 46 references
Transversal packings in families of percolated hypergraphs
T0 review · 0 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper proves that hypergraph systems slightly above the transversal Dirac threshold still contain a transversal $F$-factor after each member is independently thinned at the optimal edge probability $p = C n^{-1/d_1(F)-1} (\log…
desk verdict Sharp transversal F-factor threshold, with a fillable but real gap at the Riordan coupling step. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the expansion $F^*$: a $(k+1)$-uniform hypergraph obtained from $F$ by attaching one new color vertex to each edge, so that different edges receive different colors. Building the expanded hypergraph from a system $\mathbf H$ by adding the color set as a new vertex class, a transversal $F$-factor in $\mathbf H$ is exactly an $F^*$-factor in the expansion. The proof then (1) proves, by random clustering plus a cooperative perfect-matching theorem, a $(C/n)$-vertex-spread distribution on $F^*$-factor embeddings whenever the system is above $\delta^T_{F,d}$; (2) converts vertex-spreadness to a spread measure on perfect matchings of the $F^*$-complex; (3) applies the spread-threshold theorem to get a perfect matching in the percolated $F^*$-complex; and (4) uses a coupling theorem for strictly $1$-balanced hypergraphs. The strict $1$-balancedness of $F^*$ is verified directly: $d_1(F^*)=t/(s+t-1)$, so the coupling step applies.
What would settle it
Take the complete system $H_i = K_{sn}^{(k)}$ and test the boundary: Theorem 1.6 says $p = C n^{-1/d_1(F)-1} (\log n)^{1/t}$ works while $p = o(n^{-1/d_1(F)-1} (\log n)^{1/t})$ fails, because a sprinkling reduction to a random hypergraph below the $F$-factor threshold leaves some vertex uncovered. A simulation for $F = K_3$ in graphs, with $p$ near $n^{-5/3} (\log n)^{1/3}$, would exhibit the two regimes; if no fixed constant $C$ made the sufficiency side succeed, the sharpness claim would be wrong.
Extended reading notes
Core claim
On the paper's own terms, the discovery is Theorem 1.6: for every $\alpha>0$ and every strictly $1$-balanced $k$-uniform hypergraph $F$ on $s$ vertices with $t$ edges, there is a constant $C=C(k,s,t,\alpha)$ so that any $k$-graph system $\mathbf H=\{H_1,\dots,H_{tn}\}$ on $sn$ vertices with $\delta_d(H_i) \ge (\delta^T_{F,d}+\alpha)\binom{sn-d}{k-d}$ for all $i$ admits, with high probability, a transversal $F$-factor after independent random sparsification at $p = C n^{-1/d_1(F)-1} (\log n)^{1/t}$. Here a transversal $F$-factor means $n$ vertex-disjoint copies of $F$ using exactly one edge from each $H_i$, and $\delta^T_{F,d}$ is the infimum degree threshold for such factors in unpercolated systems. The paper shows the rate is sharp up to a constant by a sprinkling reduction to the known random-hypergraph $F$-factor threshold, and proves as an auxiliary step a spread version of the cooperative minimum-degree condition for perfect matchings in $k$-partite $k$-graphs, which is then used to build a $(C/n)$-vertex-spread distribution on embeddings of $F^*$-factors.
Load-bearing premise
The proof's load-bearing premise is that the transversal Dirac threshold keeps working for the constant-sized random subsystems created by clustering, and that the coupling step transferring random $F^*$-complexes to non-complete percolated hosts remains valid.
Editorial extensions
If this is right
- For strictly $1$-balanced $F$, the probability bound is tight up to a constant: it matches, after sprinkling, the known random-hypergraph threshold for $F$-factors.
- When $F$ is a graph and the transversal Dirac threshold coincides with the ordinary one, Theorem 1.6 gives a graph-system analogue of the known robust $F$-factor theorem.
- For arbitrary $F$, Theorem 1.7 supplies a transversal $F$-factor at $p = C n^{-1/m_1(F)-1} \log n$, where $m_1(F)$ is the maximum $1$-density of a subgraph of $F$.
- Taking each $H_i$ to be an independent random subhypergraph of one high-degree hypergraph $H$ yields a transversal $F$-factor in the collection at the same optimal rate (Corollary 5.5).
- The vertex-spread construction implies that such systems contain $e^{(s+t-1)n\log n - O(n)}$ distinct transversal $F$-factors, giving an automatic counting statement.
Reading between the lines
- If a single shared random thinning is used instead of independent percolation per member, the probability threshold should drop from $n^{-1/d_1(F)-1}$ to $n^{-1/d_1(F)}$ times a log-power; the paper leaves this as Question A and notes a positive answer for complete graph cliques.
- The expansion-to-matching route is modular: the same recipe should transfer to other spanning rainbow structures, such as rainbow Hamilton cycles or powers of cycles, whenever a Dirac-type threshold and a spread distribution for the structure exist.
- The explicit vertex-spread measure is an independent quantitative byproduct: it gives not just existence but a controlled distribution over rainbow factors, which may enable resilience or enumeration results beyond the percolation statement proven here.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies transversal F-factors in percolated k-graph systems. Given a k-graph system H = {H_1,...,H_tn} on sn vertices with minimum d-degree slightly above the transversal Dirac threshold δ^T_{F,d}, it shows that after independent p-percolation of each H_i, with p = Ω(n^{-1/d_1(F)-1} (log n)^{1/t}), the system w.h.p. contains a transversal F-factor, and this p is best possible up to a constant. The proof expands F to a (k+1)-graph F* by adding a unique color to each edge, constructs a vertex-spread distribution on F*-factor embeddings via a random-clustering argument (Theorem 2.10 and Lemmas 3.1-3.2), converts it to a spread measure on perfect matchings of the F*-complex, applies the Frankston-Kahn-Narayanan-Park theorem to find a perfect matching in an independent percolation of the complex, and finally transfers this to the sparsified system via Riordan's coupling theorem. The paper also proves a spread version of Pikhurko's perfect-matching theorem for k-partite k-graphs (Theorem 2.7).
Significance. If the result holds, it is a natural and substantial extension of the recent robust F-factor theorems of Kelly, Müyesser and Pokrovskiy, and of Joos, Lang and Sanhueza-Matamala, to transversal settings, with an edge probability that is best possible up to constants and matches the random-graph threshold for the union of the colors. The proof methodology is current and technically involved: the random-clustering lemmas contain full concentration arguments, Claim 2.13 correctly proves strict 1-balancedness of the expanded hypergraph F*, and the construction of vertex-spread distributions for transversal factors is new. The paper is honest about using the external Dirac threshold δ^T_{F,d} as a black box, and the central claim is not assumed in the proof. The main theorem yields explicit, falsifiable threshold predictions and extends the reach of the spread method to transversal packing problems.
minor comments (6)
- [§2.3, proof of Theorem 1.6] The sentence applying Theorem 2.12 to transfer a perfect matching in H_{F*}(π) to an F*-factor in H(p) is too terse, because Theorem 2.12 is stated only for the complete binomial random hypergraph. Please add a short justification: apply Theorem 2.12 to the complete (k+1)-graph on V(H) ∪ C(H) with F = F*, then restrict the independent percolation on the full F*-complex to the subcomplex H_{F*}; every surviving H-copy is then realized in H(p), since the coupled binomial (k+1)-graph induces independent random k-graphs on the color classes and H(p) is the intersection of H with those. This restricted-host coupling is valid and standard, but it should be stated explicitly.
- [§1.4, notation] The symbol GF(n,p) is first defined as the F-complex of G(k)(n,p), but in Theorem 2.12 it is used to mean an independent percolation on the F-complex of the complete k-graph, where each copy of F is retained independently with probability p. Please disambiguate the definition; otherwise the statement of Theorem 2.12 is tautological because the F-complex of G is determined by G.
- [§3.2, proof of Lemma 3.1, property (3)] The displayed bound on P[∩ D^1_{i,j}] uses cluster sizes s(C-1) and t(C-1), which is correct only for i ≥ 2; for the exceptional cluster U_1 (resp. W_1) the size is about sC(C-1) (resp. tC(C-1)), giving a larger probability by a factor depending on C. The conclusion of property (3) is still true if C' is chosen suitably larger than C, but the proof should say this explicitly.
- [§3.1, deduction of Theorem 2.8] The proof of Theorem 2.8 from Lemma 3.2 is omitted with the justification that it follows the same argument as the proof of Theorem 2.10 from Lemma 3.1. Since Theorem 2.8 is used in the proof of Theorem 2.7, which is itself used in Lemma 3.1, please include a detailed proof or at least a precise outline of this deduction.
- [§2.3, proof of Theorem 1.6 and Lemma 3.1] When applying Definition 1.5 to the constant-size sub-systems produced by the random clustering, the paper should explicitly state that the constant C is chosen larger than the hidden n0 in Definition 1.5; this is implicit in the hierarchy 1/C ≪ α, 1/k, 1/s, 1/t, but it is a uniformity assumption that deserves to be stated.
- [§3.2, notation in the proof of Lemma 3.1] The events D_{i,j}, D^1_{i,j}, and D^2_{i,j} are indexed by both a vertex index i and a color index j, which makes the later unions over i ∈ [r], j ∈ [ℓ] awkward; a cleaner indexing (separate vertex events and color events) would help readability. Also, in Corollary 5.5 the notation H(p) is reused for a single hypergraph and for the system; please distinguish the two usages.
Circularity Check
No circularity: the proof reduces to an external Dirac threshold and independent spread/coupling machinery; the only flagged concern is a non-circular gap in applying Riordan's coupling to a restricted host.
full rationale
The derivation is self-contained in the sense relevant to circularity. Theorem 1.6 is conditional on the external p=1 transversal Dirac threshold delta^T_{F,d} (Definition 1.5), which is used as a black-box hypothesis rather than derived from the random conclusion; applying it to constant-size clusters is a legitimate large-C choice, not a circular reduction. The spread machinery (Theorems 2.7, 2.8, 2.10, Proposition 2.4, Lemmas 3.1 and 3.2) constructs vertex-spread measures from the Dirac input and Pikhurko-type matching arguments, without assuming the target percolation statement. The FKN theorem (2.11) and Riordan's coupling (2.12) are external results; the only concern is that Theorem 2.12 is quoted for the complete binomial random hypergraph while it is applied to the F*-complex of an arbitrary Dirac system, so the one-sentence transition in the proof of Theorem 1.6 is a possible proof gap, but not circularity, because 'H(p) contains an F*-factor' is not among the hypotheses of the argument. Self-citation [19] appears only in the concluding remarks and is not load-bearing. Hence no step reduces to its own input; score 0.
Assumptions & free parameters
assumptions (5)
- standard math FKNP spread theorem (Theorem 2.11)
- standard math Riordan coupling theorem (Theorem 2.12)
- standard math Pham-Sah-Sawhney-Simkin spread distribution on dense bipartite perfect matchings (Theorem 2.2)
- standard math Kelly-Müyesser-Pokrovskiy vertex-spread to spread conversion (Proposition 2.4)
- domain assumption Definition and existence of the transversal Dirac threshold δ^T_{F,d} with uniform n0
invented entities (1)
-
The expanded hypergraph F* and the color-augmented system H
Cite this review
Pith. "Pith review of Transversal packings in families of percolated hypergraphs." pith.science (2026). https://pith.science/paper/UW6YD6TT
@misc{pith2026250712740,
author = {Pith},
title = {Pith review of: Transversal packings in families of percolated hypergraphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/UW6YD6TT}},
note = {Machine review of arXiv:2507.12740}
}
abstract
Let $F$ be a strictly $1$-balanced $k$-graph on $s$ vertices with $t$ edges and $\delta_{F,d}^T$ be the infimum of $\delta>0$ such that for every $\alpha>0$ and sufficiently large $n\in \mathbb{N}$, every $k$-graph system $\mathbf H=\{H_{1}, H_{2}, \dots ,H_{tn}\}$ on the same $sn$ vertices with $\delta_d(H_i)\ge (\delta+\alpha)\binom{sn-d}{k-d}$, $i\in [tn]$ contains a transversal $F$-factor, that is, an $F$-factor consisting of exactly one edge from each $H_i$. In this paper we prove the following result. Let $\mathbf{H} =\{H_{1}, H_{2}, \dots ,H_{tn}\}$ be a $k$-graph system where each $H_{i}$ is an $sn$-vertex $k$-graph with $\delta_d(H_i)\ge (\delta_{F,d}^T+\alpha)\binom{sn-d}{k-d}$. Then with high probability $\mathbf{H}(p) :=\{H_{1}(p), H_{2}(p), \dots ,H_{tn}(p)\}$ contains a transversal $F$-factor, where $H_i(p)$ is a random subhypergraph of $H_i$ and $p=\Omega(n^{-1/d_1(F)-1}(\log n)^{1/t})$. This extends a recent result by Kelly, M\"{u}yesser and Pokrovskiy, and independently by Joos, Lang and Sanhueza-Matamala. Moreover, the assumption on $p$ is best possible up to a constant. Along the way, we also obtain a spread version of a result of Pikhurko on perfect matchings in $k$-partite $k$-graphs.
Reference graph
Works this paper leans on
-
[1]
R. Aharoni, M. DeVos, S. Gonz´ alez Hermosillo de la Maza, A. Montejano, and R. ˇS´ amal. A rainbow version of Mantel’s theorem. Adv. Comb., pages Paper No. 2, 12pp, 2020
work page 2020
-
[2]
R. Aharoni, A. Georgakopoulos, and P. Spr¨ ussel. Perfect matching inr-partite r-graphs. Eur. J. Comb. , 30:39–42, 2009
work page 2009
-
[3]
R. Aharoni and D. Howard. A rainbow r-partite version of the Erd˝ os-Ko-Rado theorem. Combin. Probab. Comput., 26(3):321–337, 2017
work page 2017
- [4]
-
[5]
M. Anastos and D. Chakraborti. Robust Hamiltonicity in families of Dirac graphs. arXiv preprint arXiv:2309.12607, 2023. 20
arXiv 2023
-
[6]
P. Bastide, C. Legrand-Duchesne, and A. M¨ uyesser. Random embeddings of bounded degree trees with optimal spread. arXiv preprint arXiv:2409.06640 , 2024
arXiv 2024
- [7]
-
[8]
D. Chakraborti, S. Im, J. Kim, and H. Liu. A bandwidth theorem for graph transversals. arXiv preprint arXiv:2302.09637, 2023
arXiv 2023
Show all 46 references
-
[9]
Cheng, J
Y. Cheng, J. Han, B. Wang, and G. Wang. Rainbow spanning structures in graph and hypergraph systems. Forum Math. Sigma , 11:Paper No. e95, 20, 2023
2023
-
[10]
Cheng, J
Y. Cheng, J. Han, B. Wang, G. Wang, and D. Yang. Transversal Hamilton cycle in hypergraph systems. SIAM J. Discrete Math. , 39(1):55–74, 2025
2025
-
[11]
Cheng, G
Y. Cheng, G. Wang, and Y. Zhao. Rainbow pancyclicity in graph systems. Electron. J. Combin. , 28(3):Paper No. 3.24, 9pp, 2021
2021
-
[12]
Corr´ adi and A
K. Corr´ adi and A. Hajnal. On the maximal number of independent circuits in a graph. Acta Math. Acad. Sci. Hungar. , 14:423–439, 1963
1963
-
[13]
G. A. Dirac. Some theorems on abstract graphs. Proc. Lond. Math. Soc. , 3(1):69–81, 1952
1952
-
[14]
Ferber, J
A. Ferber, J. Han, and D. Mao. Dirac-type problem of rainbow matchings and Hamilton cycles in random graphs. arXiv preprint arXiv:2211.05477 , 2022
2022 arXiv
-
[15]
Frankston, J
K. Frankston, J. Kahn, B. Narayanan, and J. Park. Thresholds versus fractional expectation thresholds. Ann. of Math. , 194(2):475–495, 2021
2021
-
[16]
Gupta, F
P. Gupta, F. Hamann, A. M¨ uyesser, O. Parczyk, and A. Sgueglia. A general approach to transversal versions of Dirac-type theorems. Bull. Lond. Math. Soc , 55(6):2817–2839, 2023
2023
-
[17]
Hajnal and E
A. Hajnal and E. Szemer´ edi. Proof of a conjecture of P. Erd˝ os.Comb. Theory Appl., 2(4):601–623, 1970
1970
-
[18]
H` an, Y
H. H` an, Y. Person, and M. Schacht. On perfect matchings in uniform hypergraphs with large minimum vertx degree. SIAM J. Discret. Math. , 23(2):732–748, 2009
2009
-
[19]
J. Han, J. Hu, and D. Yang. A robust version of the multipartite Hajnal–Szemer´ edi theorem. arXiv preprint arXiv:2311.00950v1, 2023
2023 arXiv
-
[20]
Janson, T
S. Janson, T. Luczak, and A. Rucinski. Random graphs. Wiley-Interscience Series in Discrete Mathem- atics and Optimization. Wiley-Interscience, New York, 2000
2000
-
[21]
Johansson, J
A. Johansson, J. Kahn, and V. Vu. Factors in random graphs. Random Struct. Algorithms , 33(1):1–28, 2008
2008
-
[22]
Joos and J
F. Joos and J. Kim. On a rainbow version of Dirac’s theorem. Bull. Lond. Math. Soc. , 52(3):498–504, 2020
2020
-
[23]
F. Joos, R. Lang, and N. Sanhueza-Matamala. Robust Hamiltonicity. arXiv preprint arXiv:2312.15262 , 2023
2023 arXiv
-
[24]
Kahn and G
J. Kahn and G. Kalai. Thresholds and expectation thresholds. Combin. Probab. Comput., 16(3):495–502, 2007
2007
-
[25]
D. Y. Kang, T. Kelly, D. K¨ uhn, D. Osthus, and V. Pfenninger. Perfect matchings in random sparsifica- tions of Dirac hypergraphs. Combinatorica, 44:1233–1266, 2024
2024
-
[26]
Kelly, A
T. Kelly, A. M¨ uyesser, and A. Pokrovskiy. Optimal spread for spanning subgraphs of Dirac hypergraphs. J. Combin. Theory Ser. B , 169:507–541, 2024. 21
2024
-
[27]
Krivelevich, C
M. Krivelevich, C. Lee, and B. Sudakov. Robust Hamiltonicity of Dirac graphs. Trans. Amer. Math. Soc., 366(6):3095–3130, 2014
2014
-
[28]
K¨ uhn and D
D. K¨ uhn and D. Osthus. Matchings in hypergraphs of large minimum degree. J. Graph Theory , 51(4):269–280, 2006
2006
-
[29]
K¨ uhn and D
D. K¨ uhn and D. Osthus. The minimum degree threshold for perfect graph packings. Combinatorica, 29(1):65–107, 2009
2009
-
[30]
Liebenau and N
A. Liebenau and N. Wormald. Asymptotic enumeration of graphs by degree sequence, and the degree sequence of a random graph. J. Eur. Math. Soc. , 26(1):1–40, 2023
2023
-
[31]
H. Lu, Y. Wang, and X. Yu. Rainbow perfect matchings for 4-uniform hypergraphs. SIAM J. Discrete Math., 36(3):1645–1662, 2022
2022
-
[32]
H. Lu, Y. Wang, and X. Yu. A better bound on the size of rainbow matchings. J. Combin. Theory Ser. A, 195(105700), 2023
2023
-
[33]
H. Lu, X. Yu, and X. Yuan. Rainbow matchings for 3-uniform hypergraphs. J. Combin. Theory Ser. A , 183(105489), 2021
2021
-
[34]
L. Lu, P. Li, and X. Li. Rainbow structures in a collection of graphswith degree conditions. J. Graph Theory, 104(2):341–359, 2023
2023
-
[35]
Molloy and B
M. Molloy and B. Reed. Graph colouring and the probabilistic method , volume 23 of Algorithms and Combinatorics. Springer-Verlag, Berlin, 2002
2002
-
[36]
Montgomery, A
R. Montgomery, A. M¨ uyesser, and Y. Pehova. Transversal factors and spanning trees. Adv. Comb. , pages Paper No. 3, 25pp, 2022
2022
-
[37]
Park and H
J. Park and H. T. Pham. A proof of the Kahn-Kalai conjecture. J. Amer. Math. Soc. , 37(1):235–243, 2024
2024
-
[38]
H. T. Pham, A. Sah, M. Sawhney, and M. Simkin. A toolkit for robust thresholds. arXiv preprint arXiv:2210.03064v3, 2022
2022 arXiv
-
[39]
Pikhurko
O. Pikhurko. Perfect matching and K 3 4 -tilings in hypergraphs of large codegree. Graphs and Combinat- orics, 24:391–404, 2008
2008
-
[40]
O. Riordan. Random cliques in random graphs and sharp thresholds for F -factors. Random Struct. Algorithms, 61(4):619–637, 2022
2022
-
[41]
R¨ odl and A
V. R¨ odl and A. Ruci´ nski. Dirac-type questions for hypergraphs – A survey (or more problems for Endre to solve). Bolyai Soc. Math. Stud. , 21:561–590, 2010
2010
-
[42]
Ruci´ nski
A. Ruci´ nski. Matching and covering the vertices of a random graph by copies of a given graph.Discrete. Math., 105:185–197, 1992
1992
-
[43]
B. Sudakov. Robustness of graph properties. Surveys in combinatorics 2017, London Math. Soc. Lecture Note Ser. , Cambridge Univ. Press, Cambridge, 440:372–408, 2017
2017
-
[44]
Sudakov and V
B. Sudakov and V. H. Vu. Local resilience of graphs. Random Struct. Algorithms , 33(4):409–433, 2008
2008
-
[45]
W. Sun, G. Wang, and L. Wei. Transversal structures in graph systems: A survey. arXiv preprint arXiv.2412.01121, 2024
2024 arXiv
-
[46]
good”. Fix a good Mi uniformly at random and repeat this for Mi+1 (until i = ℓ − 1). Hence for every i ∈ [ℓ − 1] there is a ( C/n)-vertex-spread distribution on embeddings of “good
M. Talagrand. Are many small sets explicitly small? In Proceedings of the forty-second ACM symposium on Theory of computing , pages 13–36, 2010. 22 Appendix A Proof of Theorem 2.7 We need the following concentration result in [39]. Lemma A.1. Let G be an arbitrary subgraph ofK...
2010
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.