their employees, nor any of their contractors, s\lbcQntracJors, or their employees, makes any warranty, express or implied, or assumes any legal liability or responsibility for the accura,·y, completeness or u.efulness of any information, apparatus, produ ct or process disclosed, or rep~esents that its we wou1d not infrinae privately owned naJlts.Operated by the Union Carbide Corpo::-e.tion for the Departn ent o f "F'-,e :::-g::;' .
We resolve an open conjecture from algebraic geometry, which states that two generating functions for plane partition-like objects (the "box-counting" formulae for the Calabi-Yau topological vertices in Donaldson-Thomas theory and Pandharipande-Thomas theory) are equal up to a factor of MacMahon's generating function for plane partitions. The main tools in our proof are a Desnanot-Jacobi-type condensation identity, and a novel application of the tripartite double-dimer model of Kenyon-Wilson.
The catenary degree of an element n of a cancellative commutative monoid S is a nonnegative integer measuring the distance between the irreducible factorizations of n. The catenary degree of the monoid S, defined as the supremum over all catenary degrees occurring in S, has been studied as an invariant of nonunique factorization. In this paper, we investigate the set C(S) of catenary degrees achieved by elements of S, focusing on the case where S in finitely generated (where C(S) is known to be finite). Answering an open question posed by García-Sánchez, we provide a method to compute the smallest nonzero element of C(S) that parallels a well-known method of computing the maximum value. We also give several examples demonstrating certain extremal behavior for C(S), and present some open questions for further study.
We present several new algorithms for computing factorization invariant values over affine semigroups. In particular, we give (i) the first known algorithm to compute the delta set of any affine semigroup, (ii) an improved method of computing the tame degree of an affine semigroup, and (iii) a dynamic algorithm to compute catenary degrees of affine semigroup elements. Our algorithms rely on theoretical results from combinatorial commutative algebra involving Gröbner bases, Hilbert bases, and other standard techniques. Implementation in the computer algebra system GAP is discussed.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.