REVIEW 2 major objections 5 minor 16 references
Mixed Cages: monotony, connectivity and upper bounds
T0 review · 2 major / 5 minor · reviewed 2026-08-27 · deepseek-v4-flash
Pith's one-line read Mixed cages grow strictly larger as girth increases, for arc-degree 1 or 2.
desk verdict Solid structural results for mixed cages, but the monotonicity proof has a repairable gap and the lower bound section is not proven as written. 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 load-bearing mechanism is the local structure of a shortest cycle: Lemma 1 asserts that in any [z,r;g]-mixed cage with z ∈ {1,2}, some girth cycle has either two consecutive arcs or two consecutive edges. Starting from that pattern, the proofs of Theorem 3 delete one or two vertices and add a carefully chosen set of edges and arcs, preserving the prescribed arc-degree z and edge-degree r while forcing the girth down exactly to g. For connectivity, strict monotonicity does the heavy lifting: the splicing operation that forms a smaller mixed graph from a cut component and its reverse copy is only a contradiction because n[z,r;·] is strictly increasing. For the upper bounds, the constructions use the incidence graph of a biaffine plane over a prime field, reduced to a smaller bipartite graph and amalgamated with a circulant digraph that contributes the z arcs per vertex; a second construction lays g copies of an (r,g)-cage in a cycle and joins consecutive copies by directed 1-factors.
What would settle it
Search all [1,r;g]- and [2,r;g]-mixed cages for small r and g and check whether any has every shortest cycle strictly alternating between arcs and edges; one such example would falsify Lemma 1 and the proof of Theorem 3. For the exact order claim, a computer search for a [10,3;5]-mixed graph on at most 49 vertices, or an independent verification that the 50-vertex graph displayed in the paper has girth exactly 5, would settle Corollary 12.
Extended reading notes
Core claim
The central claim is that the order function n[z,r;g] of a mixed cage is strictly monotone in g for z ∈ {1,2}: whenever 3 ≤ g1 < g2, one has n[z,r;g1] < n[z,r;g2]. The proof passes from a [z,r;g+1]-cage to a smaller [z,r;g]-graph by deleting one vertex (or two vertices adjacent on the chosen cycle) and reconnecting the incident edges and arcs in pairs; for the operation to start, the cage must contain a shortest cycle with two consecutive arcs or two consecutive edges, which Lemma 1 guarantees for z ∈ {1,2}. Monotonicity is then the engine for Theorem 5: if some vertex were a cut vertex of the underlying graph, taking a smallest component and gluing it to a reversed copy would produce a mixed graph with fewer vertices and girth at least g, contradicting the strict inequality n[z,r;g'] < n[z,r;g]. The paper also establishes strong connectivity of every mixed cage by counting arcs across strong components.
Load-bearing premise
The proof of strict monotonicity rests on Lemma 1's guarantee that every [z,r;g]-mixed cage with z ∈ {1,2} contains a shortest cycle with two consecutive arcs or two consecutive edges; if a cage with all shortest cycles strictly alternating between arcs and edges existed, the vertex-deletion operations would have no guaranteed starting pattern and the monotonicity proof would not go through.
Editorial extensions
If this is right
- For z ∈ {1,2}, n[z,r;g] is strictly increasing in g, so two mixed cages with the same r but different girths cannot share an order.
- The underlying graph of every [z,r;g]-mixed cage with z ∈ {1,2} is 2-connected; cutting any single vertex leaves it connected.
- Every [z,r;g]-mixed cage is strongly connected in the directed sense, regardless of the degree parameters.
- There is a [10,3;5]-mixed cage with exactly 50 vertices, matching the lower and upper bounds proved in the paper.
- For z ≠ 2 and r in the stated range, there are [z,r;5]-mixed graphs of order 2pr, where p is the smallest prime with 4z+1 ≤ p ≤ 5z; and for every z' ≤ n0(r,g) there are [z',r;g]-mixed graphs of order g n0(r,g).
Reading between the lines
- The monotonicity proof leans entirely on Lemma 1's 'two consecutive arcs or two consecutive edges' pattern; whether the same pattern holds for z ≥ 3 is the natural next test, and a counterexample there would stop the proof method, not necessarily the theorem.
- The biaffine-plane construction is run over prime fields to guarantee the needed prime in [4z+1, 5z], but the plane itself exists over any finite field; trying composite q could produce [z,r;5] graphs of order 2qr for parameter pairs the current statement misses.
- The exact value 50 for [10,3;5] shows the general lower bound n0(r,g)+2z is far from tight in at least one case; identifying parameters where that bound is sharp would give a cleaner picture of when the easy counting argument suffices.
- If strict monotonicity could be proved for z ≥ 3 by other means, the splicing argument would immediately promote the 2-connectivity theorem to all arc-degrees, since the rest of Theorem 5 does not use z.
Formalized claims in Lean
-
Claim #1: The central claim is that the order function n[z,r;g] of a mixed cage is strictly monotone in g for z ∈ {1,2}: whenever 3 ≤ g1 < g2, one has n[z,r;g1] < n[z,r;g2]. The proof passes from a [z,r;g+1]-cage to a smaller [z,r;g]-graph by deleting one vertex (or two vertices adjacent on the chosen cycle) and reconnecting the incident edges and arcs in pairs; for the operation to start, the cage must con
/-- @claim 1 The central claim is that the order function n[z,r;g] of a mixed cage is strictly monotone in g for z ∈ {1,2}: whenever 3 ≤ g1 < g2, one has n[z,r;g1] < n[z,r;g2]. The proof passes from a [z,r;g+1]-cage to a smaller [z,r;g]-graph by deleting one vertex (or two vertices adjacent on the chosen cycle) and reconnecting the incident edges and arcs in pairs; for the operation to start, the cage must con -/ def central_claim : Prop :=
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies [z,r;g]-mixed cages, i.e., minimal mixed graphs that are z-regular in arcs and r-regular in edges with girth g. The main results are: (1) a monotonicity theorem n[z,r;g1] < n[z,r;g2] for z in {1,2} and g1 < g2; (2) strong connectivity of every mixed cage; (3) 2-connectivity of the underlying graph for z in {1,2}; (4) a lower bound n[z,r;g] >= n0(r,g)+2z; (5) an upper bound family n[z,r;5] <= 2pr via amalgams of biaffine planes and circulant digraphs; and (6) an upper bound n[z',r;g] <= g n0(r,g). These are combined to exhibit a [10,3;5]-mixed cage of order 50.
Significance. The monotonicity result, if fully established, is a natural mixed-graph analogue of the classical monotonicity of cage orders and is used to derive a 2-connectivity result, so it is the conceptual core of the paper. The lower bound and the two upper-bound constructions are concrete and make the paper self-contained enough to certify the order-50 [10,3;5]-cage. The proof of the lower bound for the [10,3;5] case is a nontrivial case analysis. The paper also gives a constructive family for girth 5 parameterized by a prime near 4z, and the general girth upper bound via directed blow-ups of cages. The authors rely on standard external results (Moore bounds, existing cages, biaffine planes, Dusart's prime gap) and include a finite computational check for small z, which are appropriate. However, the proof of the key Lemma 1 contains an unjustified inequality, and Proposition 6 is under-proved; these need to be repaired before the main claims are fully supported.
major comments (2)
- [Section 2.1, Lemma 1] In the proof of Lemma 1, Case 1 (z=1, r even), the assertion ell(C') >= d_{G-y}(alpha_i, alpha_j)+1 >= g is not justified by the girth hypothesis alone. The girth argument gives only d_{G-y}(alpha_i, alpha_j) >= g-2, because the path in G-y together with the two incidences through y is a closed walk of length d+2 in a girth-g graph. If d = g-2, this closed walk is a g-cycle containing two consecutive arcs (or two consecutive edges), which contradicts the lemma's standing assumption that all g-cycles are alternating. This additional contradiction is missing from the proof, and the same gap is implicit in the 'similar analysis' claims for the r-odd and z=2 cases. Since Lemma 1 is the starting point of the proof of Theorem 3 and hence of Theorem 5, this step must be completed.
- [Section 3.1, Proposition 6] The proof of Proposition 6 asserts |V(G)| >= n0(r,g)+2z after noting that every vertex has z out-neighbors and z in-neighbors. This does not follow as written: one must prove that the sets N^+(v), N^-(v), and the Moore-bound ball in G-A(G) around v are pairwise disjoint. The disjointness does follow from the girth condition (an in- or out-neighbor inside the ball would create a cycle of length at most floor((g-1)/2)+1 < g, and a vertex that is both an in- and out-neighbor would create a 2-cycle), but this argument is absent. Without it, the '+2z' term is unsupported. Please supply the missing argument or rephrase the proof.
minor comments (5)
- [Section 2.2, Theorem 5] The displayed inequality g(G*) >= 2(g-2) > g is false for g=3 and g=4. The intended counting gives 2d+2 with d >= g-2, hence a lower bound of 2g-2, which is greater than g for all g >= 3; please correct the displayed inequality.
- [Section 3.2.1, Theorem 10] The statement allows r in {1,...,p}, but the proof treats r in {2,...,p-1} via gamma in {1,...,p-2} and separately r=p. For r=1 one would need gamma=p-1, which is outside the stated range; please either adjust the statement or add the missing argument for r=1.
- [Throughout] There are several typos and wording issues: 'the More bound' should be 'the Moore bound' (Section 3.1), 'monotonocity' should be 'monotonicity' (Section 4), and 'ex-neighbors' should likely be 'out-neighbors'.
- [Section 2.1, Lemma 1] The phrase 'Since C is an induced cycle' should be justified; in a graph of girth g, any cycle of length g is chordless, but this fact is not stated in the paper.
- [Section 3.2.2, Theorem 11] The notation '->Ai(j) = union_{j}^{i=1} Ai' is hard to parse; please define A_i explicitly as the i-th oriented 1-factor and write the union as the first j factors, so that the construction is unambiguous.
Circularity Check
No circularity: the main estimates are separate from the claims; the only self-citation is a base case from prior published work.
full rationale
The paper's derivation chain is self-contained with respect to the claims it labels as predictions. Lemma 1 and Theorem 3 use standard contradiction constructions: from a putative minimal [z,r;g]-cage, a smaller [z,r;g]-graph is produced by vertex deletion plus edge/arc replacement, and the contradiction is to cage minimality, not to the monotonicity being proved. The lower and upper bounds (Propositions 6 and 7, Theorems 10 and 11) are derived from external ingredients — Moore bounds, existence of undirected cages, biaffine plane incidence graphs, circulant digraphs, and Dusart's prime-gap estimate — none of which are defined in terms of n[z,r;g] or presuppose monotonicity. The use of prior paper [5] for the base case n[1,r;3]=r+3 and n[1,r;4]≥2r+4 is a citation of a published lower-bound result; it is not an input renamed as the conclusion, and it does not carry the central argument, which is established for g≥4 by the deletion/replacement construction. Theorem 5 depends on Theorem 3 as a premise, but that is ordinary theorem dependency, not circularity, because Theorem 3 is proved separately. The only flagged issue in review is a possible off-by-one in a distance claim inside Lemma 1; even if correct, that would be a proof-correctness gap, not a circular reduction. No fitted parameter is called a prediction, and no uniqueness theorem is imported from the authors' own prior work to forbid alternatives. Therefore the paper merits a circularity score of 0.
Assumptions & free parameters
assumptions (4)
- standard math Moore bound for r-regular graphs of girth g
- standard math Existence of (r,g)-cages
- standard math Incidence graph properties of the biaffine plane
- domain assumption For every positive integer z != 2 there is a prime p with 4z+1 <= p <= 5z
Cite this review
Pith. "Pith review of Mixed Cages: monotony, connectivity and upper bounds." pith.science (2026). https://pith.science/paper/OE4H53G3
@misc{pith2026200913709,
author = {Pith},
title = {Pith review of: Mixed Cages: monotony, connectivity and upper bounds},
year = {2026},
howpublished = {\url{https://pith.science/paper/OE4H53G3}},
note = {Machine review of arXiv:2009.13709}
}
abstract
A \emph{$[z, r; g]$-mixed cage} is a mixed graph $z$-regular by arcs, $r$-regular by edges, with girth $g$ and minimum order. %In this paper we study structural properties of mixed cages: Let $n[z,r;g]$ denote the order of a $[z,r;g]$-mixed cage. In this paper we prove that $n[z,r;g]$ is a monotonicity function, with respect of $g$, for $z\in \{1,2\}$, and we use it to prove that the underlying graph of a $[z,r;g]$-mixed cage is 2-connected, for $z\in \{1,2\}$. We also prove that $[z,r;g]$-mixed cages are strong connected. We present bounds of $n[z,r;g]$ and constructions of $[z,r;5]$-mixed graphs and show a $[10,3;5]$-mixed cage of order $50$.
Figures
Figures from the paper (10 more)
Reference graph
Works this paper leans on
-
[1]
Abajo E., Araujo-Pardo G., Balbuena C., Bendala M., New small regular graphs of girth five. Discrete Math. 340, no. 8, 18781888 (2017)
work page 2017
-
[2]
Abajo E., Araujo-Pardo G., A note on new small mixed graphs of girth five. In preparation
-
[3]
Abreu M., Araujo-Pardo G., Balbuena C., Labbate D., Families of small regular graphs of girth 5, Discrete Math. 312 (2012) 2832-2842
work page 2012
-
[4]
Araujo-Pardo G., Balbuena C., Miller, M., ˇZd´ ımalov´ a M.: A family of mixed graphs with large order and diameter 2. Discrete Applied Math. 218, 57–63 (2017)
work page 2017
-
[5]
Araujo-Pardo G., Hern´ andez-Cruz C., Montellano-Ballesteros J.J., Mixed Cages. Graphs and Combi- natorics. 35 No. 5, 989-999 (2019). https://doi.org/10.1007/s00373-019-02050-1
-
[6]
Balbuena C., Salas J., A new bound for the connectivity of cages, Applied Mathematics Letters, 25(11) (2012) 16761680 (2012)
work page 2012
-
[7]
Balbuena C., Lin Y., Marcote X., Miller M., On the connectivity of (k, g)-cages of even girth, Discrete Math. 308(15), 32493256 (2008)
work page 2008
-
[8]
Brown W.G., On Hamiltonian regular graphs of girth six, J. Lond. Math. Soc. 42 (1967) 514520
work page 1967
Show all 16 references
-
[9]
Thesis, Universit´ e de Limoges, 1998
Dusart P., Autour de la fonction qui compte le nombre de nombres premiers, Ph.D. Thesis, Universit´ e de Limoges, 1998
1998
-
[10]
and Sachs
Erd¨ os P. and Sachs. H., Regul¨ are Graphen gegebener Taillenweite mit minimaler Knotenzahl. Wiss. Z. Uni. Halle (Math. Nat.), 12, 251–257, (1963)
1963
-
[11]
Exoo, G., Jaycay, R., Dynamic cage survey, Electronic Journal of Combinatorics, 15, #DS16, (2008)
2008
-
[12]
and Rodger C.A., Connectivity of Cages, J
Fu H.L., Huang K.C. and Rodger C.A., Connectivity of Cages, J. Graph Theory 24, 187-191, 1997
1997
-
[13]
Journal of Graph Theory
Lin Y., Miller M., Rodger C., All ( k;g)cages are kedgeconnected. Journal of Graph Theory. 48. 219 -
-
[14]
W.T., A family of cubical graphs
Tutte. W.T., A family of cubical graphs. Math. Proc. Cambridge Philos. Soc., 43 (4), 459-474, (1947)
1947
-
[15]
Electron J Combin
Wang P., Baoguang X., Wang J., A Note on the Edge-Connectivity of Cages. Electron J Combin. 10. 10.37236/1742. (2003). 13
2003 doi
-
[227]
10.1002/jgt.20052, (2005)
2005 doi
Reviewed August 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.