arXiv++ Combinatorics

In this article, we explore the use of universal Gröbner bases in public-key cryptography by proposing a key establishment protocol that is resistant to quantum attacks. By utilizing a universal Gröbner basis $\mathcal{U}_I$ of a polynomial ideal $I$ as a private key, this protocol leverages the computational disparity between generating the universal Gröbner basis needed for decryption compared with the single Gröbner basis used for encryption. The security of the system lies in the difficulty of directly computing the Gröbner fan of $I$ required to construct $\mathcal{U}_I$. We provide an analysis of the security of the protocol and the complexity of its various parameters. Additionally, we provide efficient ways to recursively generate $\mathcal{U}_I$ for toric ideals of graphs with techniques which are also of independent interest to the study of these ideals.

We use a Gröbner basis technique first introduced by Knutson, Miller and Yong to study the interplay between properties of a graph $G$ and algebraic properties of the toric ideal that it defines. We first recover a well-known height formula for the toric ideal of a graph $I_G$ and demonstrate an algebraic property that can detect when a graph deletion is bipartite. We also bound the chromatic number $χ(G)$ using information about an initial ideal of $I_G$.

In this paper we study the $s$-th symbolic powers of the edge ideals of complete graphs. In particular, we provide a criterion for finding an Eliahou-Kervaire splitting on these ideals, and use the splitting to provide a description for the graded Betti numbers. We also discuss the symbolic powers and graded Betti numbers of edge ideals of parallelizations of finite simple graphs.

The Oda's Strong Factorization Conjecture states that a proper birational map between smooth toric varieties can be decomposed as a sequence of smooth toric blowups followed by a sequence of smooth toric blowdowns. This article describes an algorithm that conjecturally constructs such a decomposition. Several reductions and simplifications of the algorithm are presented and some special cases of the conjecture are proved.