English
Related papers

Related papers: Markov complexity of monomial curves

200 papers

In this article we produce Groebner bases for the defining ideal of a monomial curve that corresponds to an almost arithmetic sequence of positive integers, correcting previous work of Sengupta,(2003).

Commutative Algebra · Mathematics 2007-05-23 Ibrahim Al-Ayyoub

A toric ideal is called robust if its universal Gr\"obner basis is a minimal set of generators, and is called generalized robust if its universal Gr\"obner basis equals its universal Markov basis (the union of all its minimal sets of…

Commutative Algebra · Mathematics 2022-04-29 Christos Tatakis , Ignacio García-Marco

An ideal I is robust if its universal Gr\"obner basis is a minimal generating set for this ideal. In this paper, we generalize the meaning of robust ideals. An ideal is defined as generalized robust if its universal Gr\"obner basis is equal…

Commutative Algebra · Mathematics 2018-10-30 Christos Tatakis

Let ${\cal P}_n^c$ denote the set of all algebraic polynomials of degree at most $n$ with complex coefficients. Let $$D^+ := \{z \in \mathbb{C}: |z| \leq 1, \, \, \Im(z) \geq 0\}$$ be the closed upper half-disk of the complex plane. For…

Classical Analysis and ODEs · Mathematics 2019-09-24 Tamás Erdélyi

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…

Commutative Algebra · Mathematics 2017-11-08 Sonja Petrović , Apostolos Thoma , Marius Vladoiu

This document explains how to obtain a Markov basis of the graphical model of the complete bipartite graph $K_{3,N}$ with binary nodes. The computations illustrate the theory developed in arXiv:1404.6392 that explains how to compute Markov…

Commutative Algebra · Mathematics 2014-06-27 Johannes Rauh , Seth Sullivant

Thompson (2014) exhibits a formula for the multiplier ideal with multiplier lambda of a monomial curve C with ideal I as an intersection of a term coming from the I-adic valuation, the multiplier ideal of the term ideal of I, and terms…

Algebraic Geometry · Mathematics 2015-11-12 Howard M Thompson

We introduce the package allMarkovBases for Macaulay2, which is used to compute all minimal Markov bases of a given toric ideal. The package builds on functionality of 4ti2 by producing the fiber graph of the toric ideal. The package uses…

Commutative Algebra · Mathematics 2025-02-27 Oliver Clarke , Alexander Milner

We find the exact values of complexity for an infinite series of 3-manifolds. Namely, by calculating hyperbolic volumes, we show that c(N_n)=2n, where $c$ is the complexity of a 3-manifold and N_n is the total space of the punctured torus…

Geometric Topology · Mathematics 2007-05-23 Sergei Anisov

The universal Gr\"{o}bner basis of $I$, is a Gr\"{o}bner basis for $I$ with respect to all term orders simultaneously. Let $I_G$ be the toric ideal of a graph $G$. We characterize in graph theoretical terms the elements of the universal…

Commutative Algebra · Mathematics 2010-05-25 Christos Tatakis , Apostolos Thoma

Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…

Logic · Mathematics 2015-10-19 Richard Rast , Davender Singh Sahota

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…

Commutative Algebra · Mathematics 2026-02-10 Anargyros Katsabekis , Apostolos Thoma

In this article we compute a minimal Groebner basis for the symmetric algebra for certain affine Monomial Curves, as an R-module. Keywords: Monomial Curves, Groebner Basis, Symmetric Algebra. Mathematics Subject Classification 2000: 13P10,…

Commutative Algebra · Mathematics 2011-01-12 Debasish Mukhopadhyay

We show that for all $n\geq 3$ and all primes $p$ there are infinitely many simplicial toric varieties of codimension $n$ in the $2n$-dimensional affine space whose minimum number of defining equations is equal to $n$ in characteristic $p$,…

Algebraic Geometry · Mathematics 2016-09-07 Margherita Barile

Markov's equation x^2 + y^2 + z^2 = 3xyz is a widely studied topic in number theory, and the structure of its solutions has profound connections with mathematical fields such as combinatorics, hyperbolic geometry, approximation theory, and…

Combinatorics · Mathematics 2025-10-14 Tianyi Tao , Bohan Yang

We show that there is no simple (e.g. finite or countable) basis for Borel graphs with infinite Borel chromatic number. In fact, it is proved that the closed subgraphs of the shift graph on $[\mathbb{N}]^{<\mathbb{N}}$ with finite (or,…

Logic · Mathematics 2021-05-28 Stevo Todorčević , Zoltán Vidnyánszky

We enumerate the singular algebraic curves in a complete linear system on a smooth projective surface. The system must be suitably ample in a rather precise sense. The curves may have up to eight nodes, or a triple point of a given type and…

Algebraic Geometry · Mathematics 2007-05-23 Steven Kleiman , Ragni Piene

To integer programming problems, computational algebraic approaches using Grobner bases or standard pairs via the discreteness of toric ideals have been studied in recent years. Although these approaches have not given improved time…

Combinatorics · Mathematics 2007-05-23 Takayuki Ishizeki , Hiroki Nakayama , Hiroshi Imai

It is well known that any graph admits a crossing-free straight-line drawing in $\mathbb{R}^3$ and that any planar graph admits the same even in $\mathbb{R}^2$. For a graph $G$ and $d \in \{2,3\}$, let $\rho^1_d(G)$ denote the smallest…

Computational Complexity · Computer Science 2024-03-04 Steven Chaplick , Krzysztof Fleszar , Fabian Lipp , Alexander Ravsky , Oleg Verbitsky , Alexander Wolff

Let $\mathcal A$ be a simple, $\sigma$-unital, non-unital, non-elementary C*-algebra and let $I_{min}$ be the intersection of all the ideals of $\mathcal M(\mathcal A)$ that properly contain $\mathcal A$. $I_{min}$ coincides with the ideal…

Operator Algebras · Mathematics 2017-05-15 Victor Kaftal , P. W. Ng , Shuang Zhang