Given two matroids $M$ and $M'$ over the same universe $E$, and some element $x \in E$, I am interested in the importance of $x$ for the intersection (the common independent sets) of $M$ and $M'$.
It is easy to test whether $x$ is contained in all maximum-cardinality common independent sets: for this we can simply compute the size $n$ of a maximum set in $M \cap M'$ by a matroid intersection algorithm, compute the size $n'$ of a maximum set in $(M - x) \cap (M' - x)$, and test whether these have the same size. Element $x$ is in all maximum-cardinality common independent sets of $M$ and $M'$ iff $n = n'+1$.
But now consider the inclusion-wise maximal sets in $M \cap M'$, which may be smaller than a maximum common independent set. I want to determine algorithmically whether $x$ is contained in all such inclusion-wise maximal common independent sets. Clearly, a necessary condition is that $x$ is in all maximum common independent sets; but this is not sufficient. Is there a polynomial-time algorithm to determine whether $x$ is in all maximal common independent sets of two represented matroids?
I am even interested in the case that both $M$ and $M'$ are transversal matroids. Has this topic been studied before? My literature search did not turn up anything useful.
Edit: I just realized that the following question is equivalent to the one I described above: given two matroids $M$ and $M'$ and an element $x$, does one of the two matroids contain a circuit $C \supseteq {x}$ such that $C - x$ is independent in the other matroid? I'm hoping that this alternative formulation might ring a bell for someone.