Abstract:In the United States, regions (such as states or counties) are frequently divided into districts for the purpose of electing representatives. How the districts are drawn can have a profound effect on who is elected, and drawing the districts to give an advantage to a certain group is known as gerrymandering. It can be surprisingly difficult to detect when gerrymandering is occurring, but one algorithmic method is to compare a current districting plan to a large number of randomly sampled plans to see whether it is an outlier. Recombination Markov chains are often used to do this random sampling: randomly choose two districts, consider their union, and split this union up in a new way. This approach works well in practice and has been widely used, including in litigation, but the theory behind it remains underdeveloped. For example, it is not known if recombination Markov chains are irreducible, that is, if recombination moves suffice to move from any districting plan to any other. Irreducibility of recombination Markov chains can be formulated as a graph problem: for a planar graph G , is the space of all partitions of G into k connected subgraphs ( k districts) connected by recombination moves? While the answer is yes when districts can be as small as one vertex, this is not realistic in real-world settings where districts must have approximately balanced populations. Here we fix district sizes to be k 1 ± 1 vertices, k 2 ± 1 vertices, … for fixed k 1 , k 2 , … , a more realistic setting. We prove for arbitrarily large triangular regions in the triangular lattice, when there are three simply connected districts, recombination Markov chains are irreducible. This is the first proof of irreducibility under tight district size constraints for recombination Markov chains beyond small or trivial examples. The triangular lattice is the most natural setting in which to first consider such a question, as graphs representing states/regions are frequently triangulated. The proof uses a sweep-line argument, and there is hope it will generalize to more districts, triangulations satisfying mild additional conditions, and other redistricting Markov chains.

Is Peirce's reduction thesis gerrymandered?

Logical reduction of relations: from relational databases to Peirce's reduction thesis

Simplification & Incidence: How an Incidence-focused Perspective Patches Category-theoretic Problems in Graph Theory

Instance reducibility and Weihrauch degrees

Modal reduction principles: a parametric shift to graphs

Charles Peirce on the Classification of Dyadic Relations and the Implications for Mathematical Logic

Reducts of Hrushovski's constructions of a higher geometrical arity

Parahoric Reduction Theory of Formal Connections (or Higgs Fields)

What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory

Modal reduction principles across relational semantics

Generalized Reduction, Core and Discernibility Matrix

The intrinsic reductions and the intrinsic depths in non-archimedean dynamics

Some geometric consequences of the symmetric reduction

Attribute Reduction in Generalized One-Sided Formal Contexts.

Reducibility in Sasakian Geometry

From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic

Reductions: precontact versus presymplectic

Graded geometry and generalized reduction

Quantitative reduction theory and unlikely intersections

On the almost reducibility conjecture

Irreducibility of recombination Markov chains in the triangular lattice