English

The symmetric strong circuit elimination property

Combinatorics 2025-08-04 v1

Abstract

If C1C_1 and C2C_2 are circuits in a matroid MM with e1e_1 in C1C2C_1-C_2 and ee in C1C2C_1\cap C_2, then MM has a circuit C3C_3 such that eC3(C1C2)ee\in C_3\subseteq (C_1\cup C_2)-e. This strong circuit elimination axiom is inherently asymmetric. A matroid MM has the symmetric strong circuit elimination property (SSCE) if, when the above conditions hold and e2C2C1e_2\in C_2-C_1, there is a circuit C3C_3' with {e1,e2}C3(C1C2)e\{e_1,e_2\}\subseteq C_3'\subseteq (C_1\cup C_2)-e. We prove that a connected matroid has this property if and only if it has no two skew circuits. We also characterize such matroids in terms of forbidden series minors, and we give a new matroid axiom system that is built around a modification of SSCE.

Keywords

Cite

@article{arxiv.2508.00132,
  title  = {The symmetric strong circuit elimination property},
  author = {Christine Cho and James Oxley and Suijie Wang},
  journal= {arXiv preprint arXiv:2508.00132},
  year   = {2025}
}