Abstract:The topic of this paper is "gerrymandering", namely the curse of deliberate creations of district maps with highly asymmetric electoral outcomes to disenfranchise voters, and it has a long legal history. Measuring and eliminating gerrymandering has enormous implications to sustain the backbone of democratic principles of a society. Although there is no dearth of legal briefs involving gerrymandering over many years, it is only more recently that mathematicians and applied computational researchers have started to investigate this topic. However, it has received relatively little attention so far from the computational complexity researchers dealing with theoretical analysis of computational complexity issues, such as computational hardness, approximability issues, etc. There could be many reasons for this, such as descriptions of these problem non-CS non-math (often legal or political) journals that theoretical CS (TCS) people usually do not follow, or the lack of coverage of these topics in TCS publication venues. One of our modest goals in writing this article is to improve upon this situation by stimulating further interactions between the gerrymandering and TCS researchers. To this effect, our main contributions are twofold: (1) we provide formalization of several models, related concepts, and corresponding problem statements using TCS frameworks from the descriptions of these problems as available in existing non-TCS (perhaps legal) venues, and (2) we also provide computational complexity analysis of some versions of these problems, leaving other versions for future research. The goal of writing this article is not to have the final word on gerrymandering, but to introduce a series of concepts, models and problems to the TCS community and to show that science of gerrymandering involves an intriguing set of partitioning problems involving geometric and combinatorial optimization.

Geometry in the Courtroom

Discrete geometry for electoral geography

On partisan bias in redistricting: computational complexity meets the science of gerrymandering

Geometrization in Geometry

Embodied geometric reasoning: Dynamic gestures during intuition, insight, and proof.

Random Triangle Theory with Geometry and Applications

Geometry for Computer Graphics in K-12 Education

Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning

An impossibility theorem for gerrymandering

Uncovering the Euclidean Geometry of Data

Mathematical Artifacts Have Politics: The Journey from Examples to Embedded Ethics

The Regular Polyhedra: Drawing and Computing in Euclid's day

Geometry on surfaces, a source for mathematical developments

A program to create new geometry proof problems

The Mathematics of Mathematics: Using Mathematics and Data Science to Analyze the Mathematical Sciences Community and Enhance Social Justice

Polyhedral Geometry in OSCAR

Exploring a Geometric Conjecture, Some Properties of Blaschke Products, and the Geometry of Curves Formed by Them

People use math as a weapon: critical mathematics consciousness in the time of COVID-19

Beyond Euclid: An Illustrated Guide to Modern Machine Learning with Geometric, Topological, and Algebraic Structures

A Clifford Algebraic Method for Geometric Reasoning.

A different perspective on teaching Geometry at high school: The Greek case study