arXiv Science⌕ Search

arXiv subjects

Kristopher Tapp

Publications and source records attributed to Kristopher Tapp.

At least 19 recordsLinked to original sources
arXiv2026

Bonsai: A class of effective methods for independent sampling of graph partitions

We develop effective methods for constructing an ensemble of district plans via independent sampling from a reasonable probability distribution on the space of graph partitions. We compare the performance of our algorithms to that of standard Markov Chain based algorithms in the context of grid graphs and state congressional and legislative maps. For the case of perfect population balance between districts, we provide an explicit description of the distribution from which our method samples.

cs.DS↗
arXiv2026

The Balanced Up-Down Walk

Markov chains based on spanning trees have been hugely influential in algorithms for assessing fairness in political redistricting. The input graph represents the geographic building blocks of a jurisdiction. The goal is to output a large ensemble of random graph partitions, which is done by drawing and splitting random spanning trees. Crucially, these subtrees must be balanced, since political districts are required to have equal population. The Up-Down walk (on trees or forests) repeatedly adds a random edge then deletes a random edge to produce a new tree or forest; it can be used to efficiently generate a large ensemble, but the rejection rate to maintain balance grows exponentially with the number of parts. ReCom, the most widely-used class of Markov chains, circumvents this complexity barrier by merging and splitting pairs of districts at a time. This runs fast in practice but can have trouble exploring the state space. To overcome these efficiency and mixing barriers, we propose a new Markov chain called the Balanced Up-Down (BUD) walk. The main idea is to run the Up-Down walk on the space of trees, but require all steps to preserve the property that the tree is splittable into balanced subtrees. The BUD walk samples from a known invariant measure under exact balance. We prove that the BUD walk is irreducible in several cases, including a regime where ReCom is not irreducible. Running the BUD walk efficiently presents algorithmic challenges, especially when parts are allowed to deviate from their ideal size. A key subroutine is determining whether a tree is splittable into approximately-balanced subtrees. We give an improved analysis of an existing algorithm for this problem and prove that the associated counting problem is #P-complete. We empirically validate the usefulness of the BUD walk by comparing its performance to that of other existing methods for sampling partitions.

cs.DM↗
arXiv2026

Metric geometry for ranking-based voting: Tools for learning electoral structure

In this paper, we develop the metric geometry of ranking statistics, proving that the two major permutation distances in the statistics literature -- Kendall tau and Spearman footrule -- extend naturally to incomplete rankings with both coordinate embeddings and graph realizations. This gives us a unifying framework that allows us to connect popular topics in computational social choice: metric preferences (and metric distortion), polarization, and proportionality. As an important application, the metric structure enables efficient identification of blocs of voters and slates of their preferred candidates. Since the definitions work for partial ballots, we can execute the methods not only on synthetic elections, but on a suite of real-world elections. This gives us robust clustering methods that often produce an identical grouping of voters -- even though one family of methods is based on a Condorcet-consistent ranking rule while the other is not.

math.MG↗
arXiv2025

Balanced spanning trees of the 2-by-N grid

We obtain an exact formula for the probability that a uniformly random spanning tree of the $2$-by-$n$ square grid is ``balanced'' in the sense that it has an edge whose removal partitions its vertices into two sets of equal size. We compute the exact limit of this probability as $n\rightarrow\infty$.

math.CO↗
arXiv2025

Parameter Effects in ReCom Ensembles

Ensemble analysis has become central to redistricting litigation, but parameter effects remain understudied. We analyze 315 ReCom ensembles across the three legislative chambers in 7 states, systematically varying the population tolerance, county preservation strength, and algorithm variant. To validate convergence, we introduce new methods to approximate effective sample size and measure redundancy. We find that varying the population tolerance has a negligible effect on all scores, whereas the algorithm and county-preservation parameters can significantly affect some metrics, inconsistently in some cases but surprisingly consistently in others across jurisdictions. These findings suggest parameter choices should be thoughtfully considered when using ReCom ensembles.

physics.soc-ph↗
arXiv2025

Revisiting Compactness for District Plans

Modern sampling methods create ensembles of district maps that score well on discrete compactness scores, whereas the Polsby-Popper and other shape-based scores remain highly relevant for building fair maps and litigating unfair ones. The aim of this paper is twofold. First, we introduce population-weighted versions of shape-based scores and show a precise sense in which this interpolates between shape-based and discrete scores. Second, we introduce a modification of the ReCom sampling method that produces ensembles of maps with improved shape-based compactness scores.

physics.soc-ph↗
arXiv2024

On the Minimum Spanning Tree Distribution in Grids

We study the minimum spanning tree distribution on the space of spanning trees of the $n$-by-$n$ grid for large $n$. We establish bounds on the decay rates of the probability of the most and the least probable spanning trees as $n\rightarrow\infty$.

math.PR↗
arXiv2021

Spanning Tree Bounds for Grid Graphs

Among subgraphs with a fixed number of vertices of the regular square lattice, we prove inequalities that essentially say that those with smaller boundaries have larger numbers of spanning trees and vice-versa. As an application, we relate two commonly used measurements of the compactness of district maps.

math.CO↗
arXiv2019

Clustering and Expected Seat-Share for District Maps

In the context of modern sampling methods for redistricting, we define a natural measurement of the clustering of a political party, and we study how clustering affects the expected election outcome. We first prove general results and then apply this framework to understand how the political geography in Pennsylvania affects the expected outcome of congressional elections.

physics.soc-ph↗
arXiv2018

On the mathematics of the free-choice paradigm

Chen and Risen pointed out a logical flaw affecting the conclusions of a number of past experiments that used the free-choice paradigm to measure choice-induced attitude change. They went on to design and implement a free-choice experiment that used a novel type of control group in order to avoid this logical pitfall. In this paper, we describe a method by which a free-choice experiment can be correctly conducted even without a control group.

stat.OT↗
arXiv2018

Measuring Political Gerrymandering

In 2016, a Wisconsin court struck down the state assembly map due to unconstitutional gerrymandering. If this ruling is upheld by the Supreme Court's pending 2018 decision, it will be the fist successful political gerrymandering case in the history of the United States. The efficiency gap formula made headlines for the key role it played in this case. Meanwhile, the mathematics is moving forward more quickly than the courts. Even while the country awaits the Supreme Court decision, improved versions of the efficiency gap formula have been proposed, analyzed and compared. Since much of the relevant literature appears (or will appear) in law journals, we believe that the general math audience might find benefit in a concise self-contained overview of this application of mathematics that could have profound consequences for our democracy.

physics.soc-ph↗
arXiv2017

A Relative Efficiency Gap formula for measuring Political Gerrymandering

The efficiency gap formula was introduced in to measure political gerrymandering. It played a key role in the Gill v. Whitford case whose appeal is currently before the Supreme Court, but it was very recently shown by Bernstein and Duchin to have some problematic mathematical properties. We propose a new relative version of the efficiency gap formula that inherits its desirable but not its undesirable features. Instead of measuring the difference between the number of votes wasted by the two parties, we measure the difference between the proportions of their votes that the two parties wasted.

physics.soc-ph↗
arXiv2014

On pull-backs of the universal connection

Narasihman and Ramanan proved that an arbitrary connection in a vector bundle over a base space B can be obtained as the pull-back (via a correctly chosen classifying map from B into the appropriate Grassmannian) of the universal connection in the universal bundle over the Grassmannian. The purpose of this paper is to relate geometric properties of the classifying map to geometric properties of the pulled-back connection. More specifically, we describe conditions on the classifying map under which the pulled-back connection: (1) is fat (in the sphere bundle), (2) has a parallel curvature tensor, and (3) induces a connection metric with nonnegative sectional curvature on the vector bundle (or positive sectional curvature on the sphere bundle).

math.DG↗
arXiv2012

A note on quasi-positive curvature conditions

We classify the triples $H \subset K \subset G$ of nested compact Lie groups which satisfy the "positive triple" condition that was shown by the second author to ensure that $G/H$ admits a metric with quasi-positive curvature. A few new examples of spaces that admit quasi-positively curved metrics emerge from this classification; namely, a $\CP^2$-bundle over $S^6$, a $B^7$-bundle over $\HP^2$, a $\CP^{2n-1}$-bundle over $\HP^{n}$ for each $n\geq 2$, and a family of finite quotients of $T^1S^6$.

math.DG↗
arXiv2011

Rigidity for Odd-Dimensional Souls

We prove a new rigidity result for an open manifold M with nonnegative sectional curvature whose soul S is odd-dimensional. Specifically, there exists a geodesic in S and a parallel vertical plane field along it with constant vertical curvature and vanishing normal curvature. Under the added assumption that the Sharafutdinov fibers are rotationally symmetric, this implies that for small r, the distance sphere of radius r about S contains an immersed flat cylinder, and thus could not have positive curvature.

math.DG↗
arXiv2010

Metrics with Nonnegative Curvature on S^2xR^4

We study nonnegatively curved metrics on S^2xR^4. First, we prove rigidity theorems for connection metrics; for example, the holonomy group of the normal bundle of the soul must lie in a maximal torus of SO(4). Next, we prove that Wilking's almost-positively curved metric on S2xS3 extends to a nonnegatively curved metric on S^2xR^4 (so that Wilking's space becomes the distance sphere of radius 1 about the soul). We describe in detail the geometry of this extended metric.

math.DG↗
arXiv2009

Totally Geodesic Foliations and Doubly Ruled Surfaces in a Compact Lie Group

For a Riemannian submersion from a simple compact Lie group with a bi-invariant metric, we prove the action of its holonomy group on the fibers is transitive. As a step towards classifying Riemannian submersions with totally geodesic fibers, we consider the parameterized surface induced by lifting a base geodesic to points along a geodesic in a fiber. Such a surface is "doubly ruled" (it is ruled by horizontal geodesics and also by vertical geodesics). Its characterizing properties allow us to define "doubly ruled parameterized surfaces" in any Riemannian manifold, independent of Riemannian submersions. We initiate a study of the doubly ruled parameterized surfaces in compact Lie groups and in other symmetric spaces by establishing several rigidity theorems and by providing several examples with unexpected properties.

math.DG↗