arXiv++ Combinatorics

We define and study a collection of matroid isomorphism games corresponding to various axiomatic characterizations of matroids. These are nonlocal games played between two cooperative players. Each game is played on two matroids, and the matroids are isomorphic if and only if the game has a perfect classical winning strategy. We define notions of quantum isomorphism in terms of perfect quantum commuting strategies, and we find a pair of nonisomorphic matroids that are quantum isomorphic. We also give a purely algebraic characterization of quantum isomorphic matroids. Finally, we use this notion of quantum isomorphism to describe a new type of quantum automorphism group of a matroid and derive a sufficient condition for a matroid to have nonclassical quantum automorphism.

In his pioneering paper on matroids in 1935, Whitney obtained a characterization for binary matroids and left a comment at end of the paper that the problem of characterizing graphic matroids is the same as that of characterizing matroids which correspond to matrices (mod 2) with exactly two ones in each column. Later on Tutte obtained a characterization of graphic matroids in terms of forbidden minors in 1959. It is clear that Whitney indicated about incidence matrices of simple undirected graphs. Here we introduce the concept of a segment binary matroid which corresponds to matrices over $\mathbb{Z}_2$ which has the consecutive $1$'s property (i.e., $1$'s are consecutive) for columns and obtained a characterization of graphic matroids in terms of this. In fact, we introduce a new representation of simple undirected graphs in terms of some vectors of finite dimensional vector spaces over $\mathbb{Z}_2$ which satisfy consecutive $1$'s property. The set of such vectors is called a coding sequence of a graph $G$. Among all such coding sequences we identify the one which is unique for a class of isomorphic graphs. We call it the code of the graph. We characterize several classes of graphs in terms of coding sequences. It is shown that a graph $G$ with $n$ vertices is a tree if and only if any coding sequence of $G$ is a basis of the vector space $\mathbb{Z}_2^{n-1}$ over $\mathbb{Z}_2$. Moreover considering coding sequences as binary matroids, we obtain a characterization for simple graphic matroids and found a necessary and sufficient condition for graph isomorphism in terms of a special matroid isomorphism between their corresponding coding sequences. For this, we introduce the concept of strong isomorphisms of segment binary matroids and show that two simple (undirected) graphs are isomorphic if and only if their canonical sequences are strongly isomorphic segment binary matroids.

Let k be a field of characteristic zero. We consider graded subalgebras A of k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear forms. Representations of matroids over k provide a natural description of the structure of these algebras. In return, the numerical properties of the Hilbert function of A yield some information about the Tutte polynomial of the corresponding matroid. Isomorphism classes of these algebras correspond to equivalence classes of hyperplane arrangements under the action of the general linear group.