Searcharxiv⌕ Search

arXiv subjects

Apostolos Thoma

Publications and source records attributed to Apostolos Thoma.

At least 19 recordsLinked to original sources
arXiv2026

Radical splittings of toric ideals

Let $I_A \subset K[x_1,\ldots,x_n]$ be a toric ideal. In this paper, we provide a necessary and sufficient condition for the toric variety $V(I_A)$, over an algebraically closed field, to be expressed as the set-theoretic intersection of other toric varieties. We also introduce the radical splitting number of $I_A$, denoted by ${\rm Split}_{\rm rad}(I_A)$, and compute its exact value in several cases, with particular emphasis on toric ideals arising from graphs. In particular, we show that ${\rm Split}_{\rm rad}(I_A)=3$ for toric ideals of complete bipartite graphs. Additionally, we prove that ${\rm Split}_{\rm rad}(I_A)$ coincides with the binomial arithmetical rank of $I_A$ when the height of $I_A$ is equal to 2.

math.AC↗
arXiv2025

On the dimension of the strongly robust complex for configurations in general position

Strongly robust toric ideals are the toric ideals for which the set of indispensable binomials is the Graver basis. The strongly robust simplicial complex $Δ_T$ of a simple toric ideal $I_T$ determines the strongly robust property for all toric ideals that have $I_T$ as their bouquet ideal. We prove that $\text{dim} Δ_T<\text{rank}(T)$ for configurations in general position, partially answering a question posed by Sullivant.

math.AC↗
arXiv2025

Splittings of toric ideals of graphs

Let $G$ be a simple graph on the vertex set $\{v_{1},\ldots,v_{n}\}$. An algebraic object attached to $G$ is the toric ideal $I_G$. We say that $I_G$ is subgraph splittable if there exist subgraphs $G_1$ and $G_2$ of $G$ such that $I_G=I_{G_1}+I_{G_2}$, where both $I_{G_1}$ and $I_{G_2}$ are not equal to $I_G$. We show that $I_G$ is subgraph splittable if and only if it is edge splittable. We also prove that the toric ideal of a complete bipartite graph is not subgraph splittable. In contrast, we show that the toric ideal of a complete graph $K_n$ is always subgraph splittable when $n \geq 4$. Additionally, we show that the toric ideal of $K_n$ has a minimal splitting if and only if $4 \leq n \leq 5$. Finally, we prove that any minimal splitting of $I_G$ is also a reduced splitting.

math.AC↗
arXiv2024

Toric splittings

The toric ideal $I_A$ is splittable if it has a toric splitting; namely, if there exist toric ideals $I_{A_1}, I_{A_2}$ such that $I_A=I_{A_1}+I_{A_2}$ and $I_{A_i}\not =I_{A}$ for all $1 \leq i \leq 2$. We provide a necessary and sufficient condition for a toric ideal to be splittable in terms of $A$, and we apply it to prove or disprove that certain classes of toric ideals are splittable.

math.AC↗
arXiv2023

Self-dual toric varieties

We describe explicitly all multisets of weights whose defining projective toric varieties are self-dual. In addition, we describe a remarkable and unexpected combinatorial behaviour of the defining ideals of these varieties. The toric ideal of a self-dual projective variety is weakly robust, that means the Graver basis is the union of all minimal binomial generating sets. When, in addition, the self-dual projective variety has a non-pyramidal configuration, then the toric ideal is strongly robust, namely the Graver basis is a minimal generating set, therefore there is only one minimal binomial generating set which is also a reduced Gröbner basis with respect to every monomial order and thus, equals the universal Gröbner basis.

math.AG↗
arXiv2023

The strongly robust simplicial complex of monomial curves

To every simple toric ideal $I_T$ one can associate the strongly robust simplicial complex $Δ_T$, which determines the strongly robust property for all ideals that have $I_T$ as their bouquet ideal. We show that for the simple toric ideals of monomial curves in $\mathbb{A}^{s}$, the strongly robust simplicial complex $Δ_T$ is either $\{\emptyset \}$ or contains exactly one 0-dimensional face. In the case of monomial curves in $\mathbb{A}^{3}$, the strongly robust simplicial complex $Δ_T$ contains one 0-dimensional face if and only if the toric ideal $I_T$ is a complete intersection ideal with exactly two Betti degrees. Finally, we provide a construction to produce infinitely many strongly robust ideals with bouquet ideal the ideal of a monomial curve and show that they are all produced this way.

math.AC↗
arXiv2022

Asymptotic behavior of Markov complexity of matrices

To any integer matrix $A$ one can associate a matroid structure consisting of a graph and another integer matrix $A_B$. The connected components of this graph are called bouquets. We prove that bouquets behave well with respect to the $r$--th Lawrence liftings of matrices and we use it to prove that the Markov and Graver complexities of $m\times n$ matrices of rank $d$ may be arbitrarily large for $n\geq 4$ and $d\leq n-2$. In contrast, we show they are bounded in terms of $n$ and the largest absolute value $a$ of any entry of $A$.

math.CO↗
arXiv2022

On the strongly robustness property of toric ideals

To every toric ideal one can associate an oriented matroid structure, consisting of a graph and another toric ideal, called bouquet ideal. The connected components of this graph are called bouquets. Bouquets are of three types; free, mixed and non mixed. We prove that the cardinality of the following sets - the set of indispensable elements, minimal Markov bases, the Universal Markov basis and the Universal Gröbner basis of a toric ideal - depends only on the type of the bouquets and the bouquet ideal. These results enable us to introduce the strongly robustness simplicial complex and show that it determines the strongly robustness property. For codimension 2 toric ideals, we study the strongly robustness simplicial complex and prove that robustness implies strongly robustness.

math.AC↗
arXiv2021

On the relative size of toric bases

We consider the Graver basis, the universal Groebner basis, a Markov basis and the set of the circuits of a toric ideal. Let $A, B$ be any two of these bases such that $A\not \subset B$, we prove that there is no polynomial on the size or on the maximal degree of the elements of $B$ which bounds the size or the maximal degree of the elements of $A$ correspondingly.

math.CO↗
arXiv2018

Unboundedness of Markov complexity of monomial curves in ${\mathbb A}^n$ for $n\geq 4$

Computing the complexity of Markov bases is an extremely challenging problem; no formula is known in general and there are very few classes of toric ideals for which the Markov complexity has been computed. A monomial curve $C$ in $\mathbb{A}^3$ has Markov complexity $m(C)$ two or three. Two if the monomial curve is complete intersection and three otherwise. Our main result shows that there is no $d\in \mathbb{N}$ such that $m(C)\leq d$ for all monomial curves $C$ in $\mathbb{A}^4$. The same result is true even if we restrict to complete intersections. We extend this result to all monomial curves in $\mathbb{A}^n, n\geq 4$.

math.AC↗
arXiv2017

Hypergraph encodings of arbitrary toric ideals

Relying on the combinatorial classification of toric ideals using their bouquet structure, we focus on toric ideals of hypergraphs and study how they relate to general toric ideals. We show that hypergraphs exhibit a surprisingly general behavior: the toric ideal associated to any general matrix can be encoded by that of a $0/1$ matrix, while preserving the essential combinatorics of the original ideal. We provide two universality results about the unboundedness of degrees of various generating sets: minimal, Graver, universal Gröbner bases, and indispensable binomials. Finally, we provide a polarization-type operation for arbitrary positively graded toric ideals, which preserves all the combinatorial signatures and the homological properties of the original toric ideal.

math.AC↗
arXiv2017

Bouquet algebra of toric ideals

To any toric ideal $I_A$, encoded by an integer matrix $A$, we associate a matroid structure called {\em the bouquet graph} of $A$ and introduce another toric ideal called {\em the bouquet ideal} of $A$. We show how these objects capture the essential combinatorial and algebraic information about $I_A$. Passing from the toric ideal to its bouquet ideal reveals a structure that allows us to classify several cases. For example, on the one end of the spectrum, there are ideals that we call {\em stable}, for which bouquets capture the complexity of various generating sets as well as the minimal free resolution. On the other end of the spectrum lie toric ideals whose various bases (e.g., minimal generating sets, Gröbner, Graver bases) coincide. Apart from allowing for classification-type results, bouquets provide a new way to construct families of examples of toric ideals with various interesting properties, such as robustness, genericity, and unimodularity. The new bouquet framework can be used to provide a characterization of toric ideals whose Graver basis, the universal Gröbner basis, any reduced Gröbner basis and any minimal generating set coincide.

math.AC↗
arXiv2017

Minimal Generating Sets of Lattice Ideals

Let $L\subset \mathbb{Z}^n$ be a lattice and $I_L=\langle x^{\bf u}-x^{\bf v}:\ {\bf u}-{\bf v}\in L\rangle$ be the corresponding lattice ideal in $\Bbbk[x_1,\ldots, x_n]$, where $\Bbbk$ is a field. In this paper we describe minimal binomial generating sets of $I_L$ and their invariants. We use as a main tool a graph construction on equivalence classes of fibers of $I_L$. As one application of the theory developed we characterize binomial complete intersection lattice ideals, a longstanding open problem in the case of non-positive lattices.

math.AC↗
arXiv2015

Markov bases and generalized Lawrence liftings

Minimal Markov bases of configurations of integer vectors correspond to minimal binomial generating sets of the assocciated lattice ideal. We give necessary and sufficient conditions for the elements of a minimal Markov basis to be (a) inside the universal Gr{\" o}bner basis and (b) inside the Graver basis. We study properties of Markov bases of generalized Lawrence liftings for arbitrary matrices $A\in\mathcal{M}_{m\times n}(\Bbb{Z})$ and $B\in\mathcal{M}_{p\times n}(\Bbb{Z})$ and show that in cases of interest the {\em complexity} of any two Markov bases is the same.

math.AC↗
arXiv2015

Binomial fibers and indispensable binomials

Let $I$ be an arbitrary ideal generated by binomials. We show that certain equivalence classes of fibers are associated to any minimal binomial generating set of $I$. We provide a simple and efficient algorithm to compute the indispensable binomials of a binomial ideal from a given generating set of binomials and an algorithm to detect whether a binomial ideal is generated by indispensable binomials.

math.AC↗
arXiv2013

Markov complexity of monomial curves

Let $\mathcal{A}=\{{\bf a}_1,\ldots,{\bf a}_n\}\subset\Bbb{N}^m$. We give an algebraic characterization of the universal Markov basis of the toric ideal $I_{\mathcal{A}}$. We show that the Markov complexity of $\mathcal{A}=\{n_1,n_2,n_3\}$ is equal to two if $I_{\mathcal{A}}$ is complete intersection and equal to three otherwise, answering a question posed by Santos and Sturmfels. We prove that for any $r\geq 2$ there is a unique minimal Markov basis of $\mathcal{A}^{(r)}$. Moreover, we prove that for any integer $l$ there exist integers $n_1,n_2,n_3$ such that the Graver complexity of $\mathcal{A}$ is greater than $l$.

math.AC↗
arXiv2011

On Complete Intersection toric ideals of graphs

We characterize the graphs $G$ for which their toric ideals $I_G$ are complete intersections. In particular we prove that for a connected graph $G$ such that $I_G$ is complete intersection all of its blocks are bipartite except of at most two. We prove that toric ideals of graphs which are complete intersections are circuit ideals. The generators of the toric ideal correspond to even cycles of $G$ except of at most one generator, which corresponds to two edge disjoint odd cycles joint at a vertex or with a path. We prove that the blocks of the graph satisfy the odd cycle condition. Finally we characterize all complete intersection toric ideals of graphs which are normal.

math.AC↗