arXiv++ Combinatorics

We study determinantal varieties from conditional independence models with hidden variables, focusing on their irreducible decompositions, dimensions, degrees, and Gröbner bases. Each variety encodes a collection of matroids, whose flats capture algebraic dependencies among variables. Using this approach, we provide a systematic description of the components, their dimensions, and defining equations, and introduce a combinatorial framework for computing the degree of the determinantal variety. Our approach highlights the central role of matroidal structures in the study of determinantal varieties and extends beyond the reach of current computational techniques.

Given a finite simple graph $G$ and a positive integer $d$, one can associate to $G$ the Lovász--Saks--Schrijver ideal $L_{G}(d)$, an ideal generated by quadratic polynomials coming from orthogonality conditions. The corresponding variety $\mathbb{V}(L_{G}(d))$, denoted $\mathrm{OR}_{d}(\overline{G})$, is the variety of orthogonal representations of the complement graph $\overline{G}$: its points are maps from the vertex set of $G$ to $\mathbb{K}^{d}$ that send adjacent vertices of $G$ to orthogonal vectors. In this paper we study the irreducible decomposition of $\mathrm{OR}_{d}(\overline{G})$ and the primary decomposition of $L_{G}(d)$. Our main focus is the case in which $G$ is a forest. Under this assumption, we determine the irreducible components of $\mathrm{OR}_{d}(\overline{G})$, compute their dimensions, and describe their defining equations, thereby obtaining the primary decomposition of $L_{G}(d)$. The key ingredient is a matroid-theoretic framework in which we associate to every forest $G$ a paving matroid $\mathcal{M}(G)$.

We study a class of determinantal ideals arising from conditional independence (CI) statements with hidden variables. Such CI statements translate into determinantal conditions on a matrix whose entries represent the probabilities of events involving the observed random variables. Our main objective is to determine the irreducible components of the corresponding varieties and to provide a combinatorial or geometric interpretation of each. We achieve this by introducing a new approach rooted in matroid theory. In particular, we introduce a new class of matroids, which we term quasi-paving matroids, and show that the components of these determinantal varieties are precisely matroid varieties of quasi-paving matroids. Moreover, we derive generating functions that encode the number of irreducible components of these CI ideals.

The v-number of a graded ideal is an invariant recently introduced in the context of coding theory, particularly in the study of Reed--Muller-type codes. In this work, we study the localized v-numbers of a binomial edge ideal $J_G$ associated to a finite simple graph $G$. We introduce a new approach to compute these invariants, based on the analysis of transversals in families of subsets arising from dependencies in certain rank-two matroids. This reduces the computation of localized v-numbers to the determination of the radical of an explicit ideal and provides upper bounds for these invariants. Using this method, we explicitly compute the localized v-numbers of $J_G$ at the associated minimal primes corresponding to minimal cuts of $G$. Additionally, we determine the v-number of binomial edge ideals for cycle graphs and give an almost complete answer to a recent conjecture, showing that the v-number of a cycle graph $C_n$ is either $\textstyle \left\lceil \frac{2n}{3} \right\rceil$ or $\textstyle \left\lceil \frac{2n}{3} \right\rceil - 1$.

We study rank-three matroids, known as point-line configurations, and their associated matroid varieties, defined as the Zariski closures of their realization spaces. Our focus is on determining finite generating sets of defining equations for these varieties, up to radical, and describing the irreducible components of the corresponding circuit varieties. We generalize the notion of cactus graphs to matroids, introducing a family of point-line configurations whose underlying graphs are cacti. Our analysis includes several classical matroids, such as the Pascal, Pappus, and cactus matroids, for which we provide explicit finite generating sets for their associated matroid ideals. The matroid ideal is the ideal of the matroid variety, whose construction involves a saturation step with respect to all the independence relations of the matroid. This step is computationally very expensive and has only been carried out for very small matroids. We provide a complete generating set of these ideals for the Pascal, Pappus, and cactus matroids. The proofs rely on classical geometric techniques, including liftability arguments and the Grassmann--Cayley algebra, which we use to construct so-called bracket polynomials in these ideals. In addition, we prove that every cactus matroid is realizable and that its matroid variety is irreducible.

Matroid theory provides a unifying framework for studying dependence across combinatorics, geometry, and applications ranging from rigidity to statistics. In this work, we study circuit varieties of matroids, defined by their minimal dependencies, which play a central role in modeling determinantal varieties, rigidity problems, and conditional independence relations. We introduce an efficient computational strategy for decomposing the circuit variety of a given matroid $M$, based on an algorithm that identifies its maximal degenerations. These degenerations correspond to the largest matroids lying below $M$ in the weak order. Our framework yields explicit and computable decompositions of circuit varieties that were previously out of reach for symbolic or numerical algebra systems. We apply our strategy to several classical configurations, including the Vámos matroid, the unique Steiner quadruple system $S(3,4,8)$, projective and affine planes, the dual of the Fano matroid, and the dual of the graphic matroid of $K_{3,3}$. In each case, we successfully compute the minimal irreducible decomposition of their circuit varieties.

We study point-line configurations, their minimal matroids, and their associated circuit varieties. We present an algorithm for identifying the minimal matroids of these configurations with respect to dependency order, or equivalently, the maximal matroids with respect to weak order, and use it to determine the irreducible decomposition of their corresponding circuit varieties. Our algorithm is applied to several classical configurations, including the Fano matroid, affine plane of order three, MacLane, and Pappus configurations. Additionally, we explore the connection to a conjecture by Jackson and Tanigawa, which provides a criterion for the uniqueness of the minimal matroids.

We study the realization spaces of matroids and hyperplane arrangements. First, we define the notion of naive dimension for the realization space of matroids and compare it with the expected dimension and the algebraic dimension, exploring the conditions under which these dimensions coincide. Next, we introduce the family of inductively connected matroids and investigate their realization spaces, establishing that they are smooth, irreducible, and isomorphic to a Zariski open subset of a complex space with a known dimension. Furthermore, we present an explicit procedure for computing their defining equations. As corollaries, we identify families of hyperplane arrangements whose moduli spaces are connected. Finally, we apply our results to study the rigidity of matroids. Rigidity, which involves matroids with a unique realization under projective transformations, is key to understanding the connectivity of the moduli spaces of the corresponding hyperplane arrangements.

We introduce the families of solvable and nilpotent matroids, examining their realization spaces, closures, and associated matroid and circuit varieties. We study their realizability, as well as the irreducible decomposition of their associated matroid and circuit varieties. Additionally, we describe a finite generating set for the corresponding ideals, considered up to radical. We establish sufficient conditions for both the realizability of these matroids and the irreducibility of their associated varieties. Specifically, we establish the realizability and irreducibility of matroid varieties associated with nilpotent matroids and prove the irreducibility of matroid varieties arising from certain classes of solvable paving matroids. Additionally, we analyze the defining polynomial equations of these varieties using Grassmann-Cayley algebra and geometric liftability techniques. Furthermore, we provide a complete generating set for the matroid ideals associated with forest configurations.

We study paving matroids, their realization spaces, and their closures, along with matroid varieties and circuit varieties. Within this context, we introduce three distinct methods for generating polynomials within the associated ideals of these varieties across any dimension. Additionally, we explain the relationship between polynomials constructed using these different methods. We then compute a comprehensive and finite set of defining equations for matroid varieties associated with specific classes of paving matroids. Finally, we focus on the class of paving matroids of rank $3$, known as point-line configurations, which essentially contain simple matroids of rank $3$. Furthermore, we provide a decomposition for the associated circuit variety of point-line configurations, where all points have a degree less than $3$. Lastly, we present several examples applying our results and compare them with the known cases in the literature.