3 papers
math.LO2022
Decidability bounds for Presburger arithmetic extended by sine
Eion Blanchard, Philipp Hieronymi
We consider Presburger arithmetic extended by the sine function, call this extension sine-Presburger arithmetic (-PA), and systematically study decision problems for sets of…
quant-ph2020
A Decoder for the Color Code with Boundaries
Skylar Turner, Josey Hanish, Eion Blanchard +2
We introduce a decoder for the 3D color code with boundaries, which is a variation of the restriction decoder introduced by Kubicka and Delfosse. Specifically, we adapt the lift pr…
math.HO2018
Measuring Congressional District Meandering
Eion Blanchard, Kevin Knudson
In recent decades, state legislatures have often drawn U.S. Congressional voting districts that look---to the human eye---to be rather twisted. In this paper, we propose a method t…