Source author record

Moon Duchin

Moon Duchin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

20works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2022arXiv

Census TopDown: The Impacts of Differential Privacy on Redistricting

The 2020 Decennial Census will be released with a new disclosure avoidance system in place, putting differential privacy in the spotlight for a wide range of data users. We consider several key applications of Census data in redistricting, developing tools and demonstrations for practitioners who are concerned about the impacts of this new noising algorithm called TopDown. Based on a close look at reconstructed Texas data, we find reassuring evidence that TopDown will not threaten the ability to produce districts with tolerable population balance or to detect signals of racial polarization for Voting Rights Act enforcement.

preprint2022arXiv

Measuring Segregation via Analysis on Graphs

In this paper, we use analysis on graphs to study quantitative measures of segregation. We focus on a classical statistic from the geography and urban sociology literature known as Moran's I, which in our language is a score associated to a real-valued function on a graph, computed with respect to a spatial weight matrix such as the adjacency matrix associated to the geographic units that tile a city. Our results characterizing the extremal behavior of I illustrate the important role of the underlying graph structure, especially the degree distribution, in interpreting the score. In addition to the standard spatial weight matrices encoding unit adjacency, we consider the Laplacian L and a doubly-stochastic approximation M. These alternatives allow us to connect I to ideas from Fourier analysis and random walks. We offer illustrations of our theoretical results with a mix of stylized synthetic examples and real geographic/demographic data.

preprint2021arXiv

Implementing partisan symmetry: Problems and paradoxes

We consider the measures of partisan symmetry proposed for practical use in the political science literature, as clarified and developed in Katz, King, and Rosenblatt (2020). Elementary mathematical manipulation shows the symmetry metrics to have surprising properties that call their meaningfulness into question. To accompany the general analysis, we study measures of partisan symmetry with respect to recent voting patterns in Utah, Texas, and North Carolina, flagging problems in each case. Taken together, these observations should raise major concerns about the available techniques for quantitative scores of partisan symmetry -- including the mean-median score, the partisan bias score, and the more general "partisan symmetry standard" -- as the decennial redistricting begins.

preprint2020arXiv

A Computational Approach to Measuring Vote Elasticity and Competitiveness

The recent wave of attention to partisan gerrymandering has come with a push to refine or replace the laws that govern political redistricting around the country. A common element in several states' reform efforts has been the inclusion of competitiveness metrics, or scores that evaluate a districting plan based on the extent to which district-level outcomes are in play or are likely to be closely contested. In this paper, we examine several classes of competitiveness metrics motivated by recent reform proposals and then evaluate their potential outcomes across large ensembles of districting plans at the Congressional and state Senate levels. This is part of a growing literature using MCMC techniques from applied statistics to situate plans and criteria in the context of valid redistricting alternatives. Our empirical analysis focuses on five states---Utah, Georgia, Wisconsin, Virginia, and Massachusetts---chosen to represent a range of partisan attributes. We highlight situation-specific difficulties in creating good competitiveness metrics and show that optimizing competitiveness can produce unintended consequences on other partisan metrics. These results demonstrate the importance of (1) avoiding writing detailed metric constraints into long-lasting constitutional reform and (2) carrying out careful mathematical modeling on real geo-electoral data in each redistricting cycle.

preprint2020arXiv

Conjugation curvature for Cayley graphs

We introduce a notion of Ricci curvature for Cayley graphs that can be thought of as "medium-scale" because it is neither infinitesimal nor asymptotic, but based on a chosen finite radius parameter. We argue that it gives the foundation for a definition of Ricci curvature well adapted to geometric group theory, beginning by observing that the sign can easily be characterized in terms of conjugation in the group. With this conjugation curvature $κ$, abelian groups are identically flat, and in the other direction we show that $κ\equiv 0$ implies the group is virtually abelian. Beyond that, $κ$ captures known curvature phenomena in right-angled Artin groups (including free groups) and nilpotent groups, and has a strong relationship to other group-theoretic notions like growth rate and dead ends. We study dependence on generators and behavior under embeddings, and close with directions for further development and study.

preprint2020arXiv

Mathematics of Nested Districts: The Case of Alaska

In eight states, a "nesting rule" requires that each state Senate district be exactly composed of two adjacent state House districts. In this paper we investigate the potential impacts of these nesting rules with a focus on Alaska, where Republicans have a 2/3 majority in the Senate while a Democratic-led coalition controls the House. Treating the current House plan as fixed and considering all possible pairings, we find that the choice of pairings alone can create a swing of 4-5 seats out of 20 against recent voting patterns, which is similar to the range observed when using a Markov chain procedure to generate plans without the nesting constraint. The analysis enables other insights into Alaska districting, including the partisan latitude available to districters with and without strong rules about nesting and contiguity.

preprint2020arXiv

The (homological) persistence of gerrymandering

We apply persistent homology, the dominant tool from the field of topological data analysis, to study electoral redistricting. Our method combines the geographic information from a political districting plan with election data to produce a persistence diagram. We are then able to visualize and analyze large ensembles of computer-generated districting plans of the type commonly used in modern redistricting research (and court challenges). We set out three applications: zoning a state at each scale of districting, comparing elections, and seeking signals of gerrymandering. Our case studies focus on redistricting in Pennsylvania and North Carolina, two states whose legal challenges to enacted plans have raised considerable public interest in the last few years. To address the question of robustness of the persistence diagrams to perturbations in vote data and in district boundaries, we translate the classical stability theorem of Cohen--Steiner et al. into our setting and find that it can be phrased in a manner that is easy to interpret. We accompany the theoretical bound with an empirical demonstration to illustrate diagram stability in practice.

preprint2014arXiv

A sharper threshold for random groups at density one-half

In the density model of random groups, we consider presentations with any fixed number m of generators and many random relators of length l, sending l to infinity. If d is a "density" parameter measuring the rate of exponential growth of the number of relators compared to the length of relators, then many group-theoretic properties become generically true or generically false at different values of d. The signature theorem for this density model is a phase transition from triviality to hyperbolicity: for d < 1/2, random groups are a.a.s. infinite hyperbolic, while for d > 1/2, random groups are a.a.s. order one or two. We study random groups at the density threshold d = 1/2. Kozma had found that trivial groups are generic for a range of growth rates at d = 1/2; we show that infinite hyperbolic groups are generic in a different range. (We include an exposition of Kozma's previously unpublished argument, with slightly improved results, for completeness.)

preprint2014arXiv

Rational growth in the Heisenberg group

A group presentation is said to have rational growth if the generating series associated to its growth function represents a rational function. A long-standing open question asks whether the Heisenberg group has rational growth for all finite generating sets, and we settle this question affirmatively. We also establish almost-convexity for all finite generating sets. Previously, both of these properties were known to hold for hyperbolic groups and virtually abelian groups, and there were no further examples in either case. Our main method is a close description of the relationship between word metrics and associated Carnot-Caratheodory Finsler metrics on the ambient Lie group. We provide (non-regular) languages in any word metric that suffice to represent all group elements.

preprint2013arXiv

Statistical hyperbolicity in Teichmüller space

In this paper we explore the idea that Teichmüller space is hyperbolic "on average." Our approach focuses on studying the geometry of geodesics which spend a definite proportion of time in some thick part of Teichmüller space. We consider several different measures on Teichmüller space and find that this behavior for geodesics is indeed typical. With respect to each of these measures, we show that the average distance between points in a ball of radius r is asymptotic to 2r, which is as large as possible. Our techniques also lead to a statement quantifying the expected thinness of random triangles in Teichmüller space, showing that "most triangles are mostly thin."

preprint2012arXiv

Spheres in the curve complex

In this paper we study the geometry of metric spheres in the curve complex of a surface, with the goal of determining the "average" distance between points on a given sphere. Averaging is not technically possible because metric spheres in the curve complex are countably infinite and do not support any invariant probability measures. To make sense of the idea of averaging, we instead develop definitions of null and generic subsets in a way that is compatible with the topological structure of the curve complex. With respect to this notion of genericity, we show that pairs of points on a sphere of radius R almost always have distance exactly 2R apart, which is as large as possible.

preprint2011arXiv

Fine asymptotic geometry in the Heisenberg group

For every finite generating set on the integer Heisenberg group H(Z), Pansu showed that the word metric has the large-scale structure of a Carnot-Caratheodory Finsler metric on the real Heisenberg group H(R). We study the properties of those limit metrics and obtain results about the geometry of word metrics that reflect the dependence on generators. For example we will study the probability that a group element has all of its geodesic spellings sublinearly close together, relative to the size of the element. In free abelian groups of rank at least two, that probability is 0; in infinite hyperbolic groups, the probability is 1. In H(Z) it is a rational number strictly between 0 and 1 that depends on the generating set; with respect to the standard generators, the probability is precisely 19/31.

preprint2011arXiv

Pushing fillings in right-angled Artin groups

We construct "pushing maps" on the cube complexes that model right-angled Artin groups (RAAGs) in order to study filling problems in certain subsets of these cube complexes. We use radial pushing to obtain upper bounds on higher divergence functions, finding that the k-dimensional divergence of a RAAG is bounded by r^{2k+2}. These divergence functions, previously defined for Hadamard manifolds to measure isoperimetric properties "at infinity," are defined here as a family of quasi-isometry invariants of groups; thus, these results give new information about the QI classification of RAAGs. By pushing along the height gradient, we also show that the k-th order Dehn function of a Bestvina-Brady group is bounded by V^{(2k+2)/k}. We construct a class of RAAGs called "orthoplex groups" which show that each of these upper bounds is sharp.

preprint2011arXiv

Statistical hyperbolicity in groups

In this paper, we introduce a geometric statistic called the "sprawl" of a group with respect to a generating set, based on the average distance in the word metric between pairs of words of equal length. The sprawl quantifies a certain obstruction to hyperbolicity. Group presentations with maximum sprawl (i.e., without this obstruction) are called statistically hyperbolic. We first relate sprawl to curvature and show that nonelementary hyperbolic groups are statistically hyperbolic, then give some results for products, for Diestel-Leader graphs and lamplighter groups. In free abelian groups, the word metrics asymptotically approach norms induced by convex polytopes, causing the study of sprawl to reduce to a problem in convex geometry. We present an algorithm that computes sprawl exactly for any generating set, thus quantifying the failure of various presentations of Z^d to be hyperbolic. This leads to a conjecture about the extreme values, with a connection to the classic Mahler conjecture.

preprint2011arXiv

The geometry of spheres in free abelian groups

We study word metrics on Z^d by developing tools that are fine enough to measure dependence on the generating set. We obtain counting and distribution results for the words of length n. With this, we show that counting measure on spheres always converges to a limit measure on a limit shape (strongly, in an appropriate sense). The existence of a limit measure is quite strong-even virtually abelian groups need not satisfy these kinds of asymptotic formulas. Using the limit measure, we can reduce probabilistic questions about word metrics to problems in convex geometry of Euclidean space. As an application, we give asymptotics for the spherical growth function with respect to any generating set, as well as statistics for other "size-like" functions.

preprint2010arXiv

Divergence of geodesics in Teichmuller space and the mapping class group

We show that both Teichmuller space (with the Teichmuller metric) and the mapping class group (with a word metric) have geodesic divergence that is intermediate between the linear rate of flat spaces and the exponential rate of hyperbolic spaces. For every two geodesic rays in Teichmuller space, we find that their divergence is at most quadratic. Furthermore, this estimate is shown to be sharp via examples of pairs of rays with exactly quadratic divergence. The same statements are true for geodesic rays in the mapping class group. We explicitly describe efficient paths "near infinity" in both spaces.

preprint2009arXiv

Length spectra and degeneration of flat metrics

In this paper we consider flat metrics (semi-translation structures) on surfaces of finite type. There are two main results. The first is a complete description of when a set of simple closed curves is spectrally rigid, that is, when the length vector determines a metric among the class of flat metrics. Secondly, we give an embedding into the space of geodesic currents and use this to get a boundary for the space of flat metrics. The geometric interpretation is that flat metrics degenerate to "mixed structures" on the surface: part flat metric and part measured foliation.