REVIEW 2 major objections 4 minor 43 references
On the strong persistence property and normally torsion-freeness of square-free monomial ideals
T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read This paper proves that every square-free monomial ideal in five variables has the strong persistence property, giving a boundary case for powers of monomial ideals, and derives criteria for Conforti-Cornuejols counterexamples and for…
desk verdict The n=5 strong persistence theorem is the real result and looks solid; Theorem 5.5's proof has a genuine gap that the stress-test doesn't fix. 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 machinery is the clutter of a square-free monomial ideal together with the colon identity $(I^{s+1}:I)=I^s$ that defines strong persistence. For the five-variable theorem, the proof splits according to whether edges have size 1, 2, 3, or 4 and then applies structural lemmas: cones and chains of edges, the fact that polymatroidal ideals are strongly persistent, and reductions to edge ideals of bipartite graphs. For normal torsion-freeness, the load-bearing equivalence is the standard one recorded in Theorem 2.12, connecting the containment $\operatorname{Ass}(R/I^s)\subseteq\operatorname{Ass}(R/I)$ with $I^k=I^{(k)}$ for all $k$ and with the Mengerian/max-flow-min-cut property of the clutter. The proof of Theorem 5.5 compares the symbolic power $L^{(k)}=(x_iI,x_j)^{(k)}\cap(x_iI,J)^{(k)}$, expanded through $(I\cap J)^{(k)}=I^{(k)}\cap J^{(k)}$, with the ordinary power $(x_iI+x_jJ)^k$ using a binomial expansion and a cancellation step in the quotient by $x_j^{k-\alpha}$.
What would settle it
Enumerate all clutters on five vertices with edges of size 2 or 3 (the cases left in Theorem 3.18) and test the colon equality $(I^{s+1}:I)=I^s$ for $s=1,2,3$; the theorem predicts the equality holds in every case, so a single exceptional square-free monomial ideal would falsify it.
Extended reading notes
Core claim
The paper's central discovery is that the five-variable ring is the dividing line for the strong persistence property of square-free monomial ideals. Theorem 3.18 asserts that every square-free monomial ideal $I$ in $K[x_1,\ldots,x_5]$ satisfies $(I^{s+1}:I)=I^s$ for all $s\geq 1$, while a displayed ten-generator cubic ideal in six variables has $(I^3:I)\neq I^2$ and hence fails. The proof reduces the associated clutter to a finite list of edge-cardinality cases and handles each with lemmas about cones, chains, polymatroidal exchange, and graph edge ideals. Separately, Corollary 4.8 states that in a minimal counterexample to the Conforti-Cornuejols conjecture, every square-free monomial $v\in I^\ell$ must lie in $p^{\ell+1}$ for some minimal prime $p$ of $I$. Theorem 5.5 then gives the iff criterion that $L=x_iI+x_jJ$ is normally torsion-free exactly when both $x_iI+J$ and $I+x_jJ$ are, under the support-disjointness assumptions $\gcd(x_j,u)=1$ and $\gcd(x_i,v)=1$.
Load-bearing premise
The weakest load-bearing premise is the uncomputed colon step in the proof of Theorem 5.5: after multiplying a monomial by $x_j^{k-\alpha}$, the paper concludes it lies in $J^{k-\alpha}I^\alpha$ without computing the quotient ideal $(I+x_jJ)^k : x_j^{k-\alpha}$.
Editorial extensions
If this is right
- If Theorem 3.18 is correct, the first possible failure of strong persistence for square-free monomial ideals occurs in six variables, and the cubic ideal displayed in the introduction is a witness.
- Since strong persistence implies persistence, every square-free monomial ideal in at most five variables also has the persistence property for associated primes.
- Corollary 4.8 gives an explicit obstruction: any square-free monomial ideal with some $v\in I^\ell$ lying outside every $p^{\ell+1}$, $p\in\operatorname{Min}(I)$, cannot be a minimal counterexample to the Conforti-Cornuejols conjecture.
- Theorem 5.5 reduces the normal torsion-freeness of $x_iI+x_jJ$ to two smaller checks, $x_iI+J$ and $I+x_jJ$, and Example 5.6 shows how repeated application verifies a Mengerian 4-uniform hypergraph ideal.
- By contrapositive of Theorem 5.5, if either $x_iI+J$ or $I+x_jJ$ is not normally torsion-free, then $L$ itself cannot be; Example 5.4 demonstrates that both failures can occur even when $I$, $J$, and $I+J$ are normally torsion-free.
Reading between the lines
- Beyond the paper, the five-variable theorem suggests that the family of strongly persistent square-free monomial ideals has a finite combinatorial description in each fixed variable count, so the same case-split method could yield an explicit certificate for each clutter on five vertices.
- The iff criterion of Theorem 5.5 is iterative in spirit: if one records which half-combinations are normally torsion-free, the criterion can be applied repeatedly to decide sums of many scaled ideals, at the cost of an exponential number of sub-checks.
- A testable extension is that the strong persistence failure in six variables is not an artifact of the coefficient field: monomial colon equalities are preserved under field extension, so the same ten-generator ideal should fail over every field.
- The uncomputed colon step in Theorem 5.5 can be probed independently on the examples in the paper; if the containment $I^\alpha \cap \sum_{\beta<\alpha} J^{k-\beta}I^\beta \subseteq J^{k-\alpha}I^\alpha$ ever fails, the proof would need repair even though the theorem statement might survive.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves three results about square-free monomial ideals: (1) every square-free monomial ideal in K[x1,x2,x3,x4,x5] has the strong persistence property (Theorem 3.18); (2) a necessary condition for a minimal counterexample to the Conforti-Cornuéjols conjecture, namely that every square-free monomial v in I^ℓ must lie in p^{ℓ+1} for some minimal prime p (Corollary 4.8); and (3) a necessary and sufficient condition for the linear combination L = xiI + xjJ to be normally torsion-free, namely that both xiI + J and I + xjJ are normally torsion-free (Theorem 5.5). The proofs are largely combinatorial case analyses, supplemented by known results on strong persistence, symbolic powers, and normally torsion-free ideals, and by explicit Macaulay2 computations in examples.
Significance. If correct, Theorem 3.18 is a substantial structural result: it identifies n = 5 as the exact boundary for the strong persistence property among square-free monomial ideals, complementing the known six-variable counterexample. Theorem 5.5 gives a clean, checkable criterion for normally torsion-free linear combinations and is used to reprove that the 4-uniform hypergraph H3(C8) is Mengerian. The paper is careful to give concrete examples and to use Macaulay2 to verify computational claims, and the proofs are self-contained in their use of elementary monomial ideal techniques. However, the case analysis in Theorem 3.18 is long enough that completeness of the case split must be checked explicitly, and one step in Theorem 5.5 is asserted without the needed monomial-degree justification.
major comments (2)
- [§3, Theorem 3.18, Case 4] The classification of three 2-edges into types I, II, and III is not exhaustive. On X = {x1,...,x5}, take the 2-edges e1={x1,x2}, e2={x3,x4}, e3={x1,x5} and the 3-edges {x2,x3,x5}, {x2,x4,x5}. This is a valid clutter satisfying the standing assumptions of Case 4, including e_i^c ∉ E(C) and |e'∩e_i| = 1 for every 3-edge e', but the three 2-edges are none of the listed types. The subsequent analysis treats only type III and type I, so this configuration is omitted from the proof of Theorem 3.18. The omission is repairable: e1 and e2 are disjoint and every remaining edge meets e1, so Proposition 3.11 applies directly; the proof should state this case explicitly rather than asserting the three-type classification.
- [§5, Theorem 5.5, inclusion (23)] The deduction of inclusion (23) is not justified in the text. From x_j^{k-α}W ∈ (I+x_jJ)^k with W ∈ I^α, the paper concludes W ∈ J^{k-α}I^α. This conclusion is valid: since x_j is coprime to every generator of I and J, the monomial W has no factor x_j, and expanding (I+x_jJ)^k = Σ_{r=0}^k x_j^{k-r} I^r J^{k-r}, only the r = α summand has x_j-exponent k-α and can divide x_j^{k-α}W, forcing W ∈ J^{k-α}I^α. However, this monomial-degree argument is not supplied, and the same missing justification is needed when factoring x_i^α in the display immediately after (23). Because this step is load-bearing for the iff statement, it should be written out.
minor comments (4)
- [§4, Lemma 4.2] In the proof of Lemma 4.2, the symbol m is first used as an integer (|G(I^s)|) and then is used as a prime ideal ('If p = m', 'p ⊊ m'); this makes the argument very hard to read and should be rewritten with distinct notation.
- [§3, Theorem 3.18, Case 4] In the sentence 'In particular, if e′ ∈ E(C) with |e′| = 3, then |e∩ei| = 1 for each i', the first edge should be e′; also the notation e_i^c should be introduced before first use.
- [§3, Theorem 3.18, Case 4] The phrases 'we consider {y1,y2} = {x1,x5} in Proposition 3.13' and 'in Proposition 3.14' are imprecise, since those propositions are stated in terms of sets X and Y; the identification of variables should be spelled out.
- [Throughout] There are several English and grammar slips, e.g. 'Due to p is arbitrary' in Proposition 4.1, 'the proof is over' in Lemma 4.2, and 'the only possible for the edges' in Theorem 3.18; these should be corrected.
Circularity Check
No significant circularity: the central claims are derived from prior published theorems and the paper's own monomial computations, not from the conclusions being proved.
full rationale
I walked the derivation chains of the three main results. Theorem 3.18 is proved by reducing a 5-variable square-free ideal to the existing 4-variable result (Theorem 2.3 from [36]), cone and two-edge reductions (Propositions 3.5 and 3.6), graph edge-ideal strong persistence, and the new 3-uniform lemmas. None of these inputs defines strong persistence in terms of the theorem's conclusion; the lemmas are proved directly from membership in (I^{k+1}:I). The dependence on [36] and [34] is self-citation only in the sense that a current coauthor is also an author of those papers; those citations are published, parameter-free theorems with stated assumptions that do not contain Theorem 3.18, so under the review rules they are independent evidence rather than circular imports. Section 4's criterion (Corollary 4.8) follows contrapositively from Theorem 4.6, whose proof uses the colon equalities (p^t:v)=p^{t-ℓ} and Proposition 2.10; these are proved in the paper or in [31] and do not presuppose the target normally torsion-free conclusion. Section 5's Theorem 5.5 is an iff statement; the necessity direction uses contraction/deletion stability from [37], and sufficiency derives L^k = L^{(k)} by binomial expansion and inclusion (23). The flagged inclusion (23) is a monomial ideal-theoretic step, potentially a soundness gap, but not circular: it is not obtained by assuming L is normally torsion-free, and the claimed equality L^{(k)}=(xiI+xjJ)^k is derived, not assumed. No fitted parameter is renamed as a prediction, no uniqueness theorem is imported from same-author work to forbid alternatives, and no ansatz is smuggled via citation. I therefore find no circular step.
Assumptions & free parameters
assumptions (4)
- standard math Standard facts on associated primes, symbolic powers, and Brodmann stabilization.
- domain assumption Square-free monomial ideals are identified with clutters.
- standard math Theorem 2.12 equivalence of normal torsion-freeness, the Mengerian property, the max-flow min-cut property, and ordinary/symbolic power equality.
- ad hoc to paper The hidden colon implication in Theorem 5.5 leading to inclusion (23).
Cite this review
Pith. "Pith review of On the strong persistence property and normally torsion-freeness of square-free monomial ideals." pith.science (2026). https://pith.science/paper/67HRRIPH
@misc{pith2026241114227,
author = {Pith},
title = {Pith review of: On the strong persistence property and normally torsion-freeness of square-free monomial ideals},
year = {2026},
howpublished = {\url{https://pith.science/paper/67HRRIPH}},
note = {Machine review of arXiv:2411.14227}
}
abstract
In this paper, we first show that any square-free monomial ideal in $K[x_1, x_2, x_3, x_4, x_5]$ has the strong persistence property. Next we will provide a criterion for a minimal counterexample to the Conforti-Cornuejols conjecture. Finally we give a necessary and sufficient condition to determine the normally torsion-freeness of a linear combination of two normally torsion-free square-free monomial ideals.
Reference graph
Works this paper leans on
-
[1]
I. Al-Ayyoub, M. Nasernejad, K. Khashyarmanesh, L. G. Ro berts, and V. C. Qui˜ nonez,Results on the normality of square-free monomial ideals and cover ideals under some graph operations, Math. Scand. 127 (2021), no. 3, 441–457
work page 2021
-
[2]
I. Al-Ayyoub, M. Nasernejad, and L. G. Roberts, Normality of cover ideals of graphs and normality under some operations, Results Math. 74 (2019), no. 4, Paper No. 140, 26 pp
work page 2019
-
[3]
I. Al-Ayyoub, M. Nasernejad, and L. G. Roberts, On the normality and associated primes of cover ideals of a class of imperfect graphs, Math. Rep. (Bucur.) 26(76) (2024), no. 1, 59–69
work page 2024
-
[4]
I. Al-Ayyoub, M. Nasernejad, and L. G. Roberts, On the strong persistence property and normality of cover ideals of theta graphs, 2023, Comm. Algebra 51 (2023), no. 9, 3782–3791
work page 2023
-
[5]
Berge, Hypergraphs: Combinatorics of finite sets
C. Berge, Hypergraphs: Combinatorics of finite sets. Tra nslated from the French. North-Holland Mathematical Library, 45. North-Holland Pu blishing Co., Amster- dam, 1989. x+255 pp. ISBN: 0-444-87489-5 Hypergraphs Combi natorics of Finite Sets, Mathematical Library 45, North-Holland, 1989. 32 A. BRETTO, M. NASERNEJAD, AND J. TOLEDO
work page 1989
-
[6]
Brodmann, Asymptotic stability of Ass(M/I nM ), Proc
M. Brodmann, Asymptotic stability of Ass(M/I nM ), Proc. Amer. Math. Soc. 74 (1979), 16–18
work page 1979
-
[7]
Cornu´ ejols, Combinatorial optimization
G. Cornu´ ejols, Combinatorial optimization. Packing a nd covering. CBMS-NSF Re- gional Conference Series in Applied Mathematics, 74. Socie ty for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2001. xii+1 32 pp
work page 2001
-
[8]
M. Conforti and G. Corn´ uejols, A decomposition theorem for balanced matrices, Integer Programming and Combinatorial Optimization, Vol. 74, 147–169, 1990
work page 1990
Show all 43 references
-
[9]
Gitler, E
I. Gitler, E. Reyes, and R. H. Villarreal, Blowup algebras of ideals of vertex covers of bipartite graphs, Contemp. Math. 376 (2005), 273-279
2005
-
[10]
D. R. Grayson and M. E. Stillman, Macaulay2, a software s ystem for research in algebraic geometry, http://www.math.uiuc.edu/Macaulay2/
-
[11]
H. T. H` a and S. Morey, Embedded associated primes of powers of square-free mono- mial ideals, J. Pure Appl. Algebra 214 (2010), 301–308
2010
-
[12]
Herzog and T
J. Herzog and T. Hibi, Monomial Ideals, Graduate Texts i n Mathematics 260 Springer-Verlag, 2011
2011
-
[13]
Herzog and A
J. Herzog and A. A. Qureshi, Persistence and stability properties of powers of ideals, J. Pure Appl. Algebra 219 (2015), 530–542
2015
-
[14]
Hochst¨ attler and M
W. Hochst¨ attler and M. Nasernejad, A classification of Mengerian 4-uniform hyper- graphs derived from graphs , Submitted, ArXiv:2311.11799
-
[15]
Kaiser, M
T. Kaiser, M. Stehl ´ik, and R. ˇSkrekovski, Replication in critical graphs and the persistence of monomial ideals, J. Comb. Theory, Ser. A 123 (2014), 239–251
2014
-
[16]
Khashyarmanesh and M
K. Khashyarmanesh and M. Nasernejad, A note on the Alexander dual of path ideals of rooted trees, Comm. Algebra 46 (2018), 283–289
2018
-
[17]
Khashyarmanesh and M
K. Khashyarmanesh and M. Nasernejad, Some results on the associated primes of monomial ideals, Southeast Asian Bull. Math. 39 (2015), 439–451
2015
-
[18]
Khashyarmanesh, M
K. Khashyarmanesh, M. Nasernejad, and J. Toledo, Symbolic strong persistence property under monomial operations and strong persistence property of cover ideals, Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 64(112) (2021), no. 2, 105–131
2021
-
[19]
McAdam, Asymptotic Prime Divisors, Lecture Notes in Mathematics 103, Springer-Verlag, New York, 1983
S. McAdam, Asymptotic Prime Divisors, Lecture Notes in Mathematics 103, Springer-Verlag, New York, 1983
1983
-
[20]
Martinez-Bernal, S
J. Martinez-Bernal, S. Morey, and R. H. Villarreal, Associated primes of powers of edge ideals, J. Collect. Math. 63 (2012), 361–374
2012
-
[21]
W. F. Moore, M. Rogers, and S. Sather-Wagstaff, Monomial ideals and their decom- positions. Universitext. Springer, Cham, 2018. xxiv+387 p p
2018
-
[22]
Musapa¸ sao˘ glu, M
A. Musapa¸ sao˘ glu, M. Nasernejad, and A. A. Qureshi, The edge ideals of t-spread d-partite hypergraphs, Collect. Math. 75 (2024), no. 3, 735–751
2024
-
[23]
Nasernejad, Asymptotic behaviour of associated primes of monomial idea ls with combinatorial applications, J
M. Nasernejad, Asymptotic behaviour of associated primes of monomial idea ls with combinatorial applications, J. Algebra Relat. Top. 2 (2014) 15–25
2014
-
[24]
Nasernejad, Persistence property for some classes of monomial ideals of a poly- nomial ring, J
M. Nasernejad, Persistence property for some classes of monomial ideals of a poly- nomial ring, J. Algebra Appl. 16, no. 5 (2017), 1750105 (17 pages)
2017
-
[25]
Nasernejad, Some counterexamples for (strong) persistence property an d (nearly) normally torsion-freeness, Examples and Counterexamples 3 (2023), 100111
M. Nasernejad, Some counterexamples for (strong) persistence property an d (nearly) normally torsion-freeness, Examples and Counterexamples 3 (2023), 100111
2023
-
[26]
Nasernejad, S
M. Nasernejad, S. Bandari, and L. G. Roberts, Normality and associated primes of closed neighborhood ideals and dominating ideals , Journal of Algebra and Its Applications, 2023, doi: 10.1142/S0219498825500094
2023 doi
-
[27]
Nasernejad and K
M. Nasernejad and K. Khashyarmanesh, On the Alexander dual of the path ideals of rooted and unrooted trees, Comm. Algebra 45 (2017), 1853–1864
2017
-
[28]
Nasernejad, K
M. Nasernejad, K. Khashyarmanesh, and I. Al-Ayyoub, Associated primes of powers of cover ideals under graph operations, Comm. Algebra, 47 (2019), no. 5, 1985–1996
2019
-
[29]
Nasernejad, K
M. Nasernejad, K. Khashyarmanesh, L. G. Roberts, and J. Toledo, The strong persistence property and symbolic strong persistence prop erty, Czechoslovak Math. J., 72(147) (2022), no. 1, 209–237. STRONG PERSISTENCE PROPERTY AND NORMALLY TORSION-FREENES S 33
2022
-
[30]
Nasernejad and A
M. Nasernejad and A. A. Qureshi, Algebraic implications of neighborhood hyper- graphs and their transversal hypergraphs , Comm. Algebra 52 (2024), no. 6, 2328– 2345
2024
-
[31]
Nasernejad, V
M. Nasernejad, V. Crispin Qui˜ nonez, and J. Toledo, Normally torsion-freeness and normality criteria for monomial ideals , 2024, To appear in AMS Contemporary Mathematics. https://arxiv.org/abs/2408.05561
2024 arXiv
-
[32]
Nasernejad, A
M. Nasernejad, A. A. Qureshi, S. Bandari, and A. Musapa¸ sao˘ glu,Dominating ideals and closed neighborhood ideals of graphs , Mediterr. J. Math. 19 (2022), no. 4, Paper No. 152, 18 pp
2022
-
[33]
Nasernejad, A
M. Nasernejad, A. A. Qureshi, K. Khashyarmanesh, and L. G. Roberts, Classes of normally and nearly normally torsion-free monomial ideals , Comm. Algebra, 50(9) (2022), 3715–3733
2022
-
[34]
Rajaee, M
S. Rajaee, M. Nasernejad, and I. Al-Ayyoub, Superficial ideals for monomial ideals, J. Algebra Appl. 16(2) (2018) 1850102 (28 pages)
2018
-
[35]
L. J. Ratliff, Jr., On prime divisors of I n, n large, Michigan Math. J. 23 (1976), 337–352
1976
-
[36]
Reyes and J
E. Reyes and J. Toledo, On the strong persistence property for monomial ideals, Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 60(108) (2017), 293–305
2017
-
[37]
Sayedsadeghi and M
M. Sayedsadeghi and M. Nasernejad, Normally torsion-freeness of monomial ideals under monomial operators, Comm. Algebra 46(12) (2018), 5447–5459
2018
-
[38]
Sayedsadeghi, M
M. Sayedsadeghi, M. Nasernejad, and A. A. Qureshi, Correction to the article: On the embedded associated primes of monomial ideals, Rocky Mountain J. Math. 53 (2023), no. 5, 1657–1659
2023
-
[39]
Sayedsadeghi, M
M. Sayedsadeghi, M. Nasernejad, and A. A. Qureshi, On the embedded associated primes of monomial ideals, Rocky Mountain J. Math. 52(1) (2022), 275-287
2022
-
[40]
R. Y. Sharp, Steps in commutative algebra, London Mathe matical Society Student Texts 19. Cambridge University Press, Cambridge (1990), 2nd editio n (2000)
1990
-
[41]
Simis, W
A. Simis, W. Vasconcelos, and R. Villarreal, On the ideal theory of graphs, J. Algebra 167 (1994), 389–416
1994
-
[42]
R. H. Villarreal, Cohen-Macaulay graphs, Manuscripta Math. 66 (1990), 277–293
1990
-
[43]
R. H. Villarreal, Monomial Algebras. 2nd. Edition, Mon ographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL, 2015. Authors’ addresses Alain Bretto : Universit´ e de Caen, GREYC CNRS UMR-6072, Campus II, Bd Marechal Juin BP 5186, 14032 Caen cedex, France Email a...
2015
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.