Adam Boocher

Sampling Lissajous and Fourier Knots

A Lissajous knot is one that can be parameterized as , where the frequencies n x , n y , and n z are relatively prime integers and the phase shifts ϕ x , ϕ y , and ϕ z are real numbers. Lissajous knots are highly symmetric, and for this reason, not all knots are Lissajous. We prove several theorems that allow us to place bounds on the number of Lissajous knot types with given frequencies and to efficiently sample all possible Lissajous knots with a given set of frequencies. In particular, we systematically tabulate all Lissajous knots with small frequencies and as a result substantially enlarge the tables of known Lissajous knots. A Fourier-(i, j, k) knot is similar to a Lissajous knot except that the x, y, and z coordinates are now each described by a sum of i, j, and k cosine functions, respectively. According to Lamm, every knot is a Fourier-(1, 1, k) knot for some k. By randomly searching the set of Fourier-(1, 1, 2) knots we find that all 2-bridge knots with up to 14 crossings are either Lissajous or Fourier-(1, 1, 2) knots. We show that all twist knots are Fourier-(1, 1, 2) knots and give evidence suggesting that all torus knots are Fourier-(1, 1, 2) knots. As a result of our computer search, several knots with relatively small crossing numbers are identified as potential counterexamples to interesting conjectures.

Robust Graph Ideals

Let I be a toric ideal. We say I is robust if its universal Gröbner basis is a minimal generating set. We show that any robust toric ideal arising from a graph G is also minimally generated by its Graver basis. We then completely characterize all graphs which give rise to robust ideals. Our characterization shows that robustness can be determined solely in terms of graph-theoretic conditions on the set of circuits of G.

Edge ideals and DG algebra resolutions

Let

On generators of bounded ratios of minors for totally positive matrices

R= S/I

Koszul Algebras Defined by Three Relations

where

On the growth of deviations

S=k[T_1, \ldots, T_n]

Formal Fibers of Unique Factorization Domains

and

Dimensions of Formal Fibers of Height One Prime Ideals

I

Free resolutions and sparse determinantal ideals

is a homogeneous ideal in

The closure of a linear space in a product of lines

S