In a remarkable series of papers Zlil Sela classified the first-order theories of free groups and torsion-free hyperbolic groups using geometric structures he called towers, and independently Olga Kharlampovich and Alexei Myasnikov did the same using equivalent structures they called regular NTQ groups. It was later proved by Chloé Perin that if H is an […]

Public key quantum money is a replacement for paper money which has cryptographic guarantees against counterfeiting. We propose a new idea for public key quantum money. In the abstract sense, our bills are encoded as a joint eigenstate of a fixed system of commuting unitary operators. We show that the proposal is secure against black […]

A numerical semigroup is a subset S of the natural numbers that is closed under addition.  One of the primary attributes of interest in commutative algebra are the relations (or trades) between the generators of S; any particular choice of minimal trades is called a minimal presentation of S (this is equivalent to choosing a […]

Biquandle brackets are skein invariants of biquandle-colored knots, with skein coefficients that are functions of the colors at a crossing. Biquandle power brackets take this idea a step further with state component values that also depend on biquandle colors. This is joint work with Neslihan Gügümcü (IYTE).