Computational geometry and the U.S. Supreme Court
Abstract.
We use the United States Supreme Court as an illuminative context in which to discuss three different spatial voting preference models: an instance of the widely used singlepeaked preferences, and two models that are more novel in which vote outcomes have a strength in addition to a location. We introduce each model from a formal axiomatic perspective, briefly discuss practical motivation for each in terms of judicial behavior, prove mathematical relationships among the voting coalitions compatible with each model, and then study the twodimensional setting by presenting computational tools for working with the models and by exploring these with judicial voting data from the Supreme Court.
Keywords: Supreme Court; voter preference; coalition; ideal points; sets; Voronoi
1. Introduction
A popular view among legal scholars, journalists, and amateur courtwatchers is that the nine justices sitting on the bench of the U. S. Supreme Court are driven largely by political ideology [17]. To quantify this perspective, one considers each justice as having an “ideal point” on a onedimensional axis^{1}^{1}1There have been several sophisticated statistical methods proposed to estimate the location of the ideals points, using data such as judicial voting records, oped authorship, party of presidential appointment, etc. [3, 7, 13, 14, 16]. and uses this layout in voting models to help understand the ways the justices vote, and in particular the ways the justices group themselves into a majority coalition and a minority coalition. While the majority/minority dichotomy masks the complexity of the concurring and dissenting opinions underlying each decision, it is a simplification that many scholars—ourselves included—are willing to make, so we shall assume that each case has two outcomes, affirm or reverse, and that each justice votes for exactly one of these.
Voting models often assume “single peaked” preferences, which here means the two potential outcomes of a case are placed along the same onedimensional political axis as the justices’ ideal points, and if a justice is to the left of both outcomes or to the right of both then the justice votes for the closer of the two outcomes. If a justice lies between the two outcomes then the vote depends on the precise shape of the justice’s preference function; since this is difficult to estimate, a natural simplifying assumption is that all the justices use negated distance for their preference function, which means they just vote for the closest outcome to their ideal point on the political axis. The midpoint between the two case outcomes then serves as a dividing point so that all justices to the left of it vote one way and all justices to the right vote the other way. In particular, each majority coalition provided by this model is separated from the minority coalition by a point on the political axis. But how does one then make sense of scrambled situations like the 5to4 vote in Ginzburg v. United States (1965), where the minority coalition consisted of far left Douglas, far right Harlan, the rightleaning Stewart, and the centrist Black? (See Figure 1.)
The dimensionality of the Supreme Court has been an active topic of exploration among scholars [3, 19, 5, 12], and indeed some of the majority/minority divisions that seem illogical from the political spectrum perspective naturally reveal themselves on a second dimension [8]. However, a twodimensional binary outcome voting model based on Euclidean distance preference functions still only allows for votes in which the majority is separated from the minority by a line in the plane, and while many cases do nicely exhibit this structure, many yet do not (including, for instance, the scrambled 54 vote mentioned above). We introduce here two voting models, one which allows more geometrically flexible majority/minority divisions and one which allows the same divisions as the Euclidean distance model but arrives at these divisions in a different manner. These models might be novel, but both authors of this paper come from a mathematical—specifically, geometric—background, so we are less familiar with the voting theory literature; our emphasis then is not on originality, per se, of these two voting models but on comparing the coalitions provided by all three models in two dimensions and presenting methods from computational geometry that allow a practitioner to work with and explore them.
In §2 we introduce the three models from a formal mathematical perspective, provide a geometric interpretation, and briefly discuss some motivation for the models in the context of Supreme Court judicial voting behavior. We then prove a theorem relating the coalitions—which is to say, the majority/minority divisions—allowed by each model; this is done for a Euclidean space of arbitrary dimension . The section concludes with an illustration of the models in two dimensions on a few case votes from the Supreme Court. In §3 we present computational methods for finding all the coalitions allowed by each model for a fixed configuration of voter ideal points, and for one of the models we also show how to estimate the locations of the two case outcomes based on the votes; this too is illustrated with Supreme Court cases. We also mention connections to some topics in discrete/computational geometry, such as sets [6] and higher order Voronoi diagrams [11]. We conclude in §4 with a few closing remarks.
Acknowledgements
We thank Paul Edelman for helpful conversations on Supreme Court data and the literature analyzing it, Michael Burr for helpful conversations on computational geometry algorithms, and John Roemer for invaluable feedback and suggestions based on an earlier draft of this paper. The first author was supported with funds from the NSF grant DMS1802263.
2. Three spatial voting models
For each of the three voting models under consideration we: provide a formal mathematical description and geometric interpretation; briefly discuss a rationale for the model in terms of judicial behavior; and study the majority/minority coalitions allowed by the model in all dimensions, with illustrations in dimensions one and two coming from Supreme Court cases.
2.1. Formal definitions and judicial motivation
2.1.1. General setup
In all three of the settings discussed here we suppose each of the voters has an ideal point in Euclidean space, let us denote these
The component represents the placement of the th voter along the th axis; typically the axes represent some quality influencing the voter’s outlook, such as political ideology, but such an interpretation is immaterial for the mathematical treatment itself.
We only consider binary votes, meaning the space of possible outcomes for each vote has only two items (affirm and reverse, in the case of the Court). As is common in voting theory, for each vote (or case in our judicial setting) in question, each voter (or justice) has an associated preference function—let us write this as
for the th voter—and the voter always votes for the outcome with a greater preference value (we do not need to identify the set with affirm and reject in any particular way as we shall treat both possible outcomes equally from a mathematical perspective). Thus a voting model, in this context, is a way of specifying the preferences functions of all voters.
In all three of the models we consider, the outcome space is embedded in the same Euclidean space as the voters,
and the preference functions are derived in some way from the spatial relations among the ideal points and the outcome points; we shall refer to this as a spatial voting model. In the judicial context, when we shall view smaller values in as more politically liberal and larger values as more politically conservative, so each justice has their own hypothesized location on this political axis and each of the two possible outcomes of each case before the Court also has a hypothesized location on this axis. We next describe the preference functions for our three different spatial models.
2.1.2. Euclidean Distance Preference (EDP)
This is a special case of singlepeaked voting preferences where we simply use the Euclidean distance formula to define the preference functions:
The motivation for this model is rather straightforward: the closer a case outcome is to a justice’s personal outlook, the more inclined the justice is to vote for it—this suggests the use of a metric on , and the Euclidean metric is as natural as any.
2.1.3. Sphere of Influence (SOI)
Here we suppose the case under consideration associates not just a Euclidean location to the possible outcomes, but also a strength, which we shall denote by
We then have the following preference functions:
Thus the th voter likes an outcome if the voter’s ideal point lies within a sphere of radius equal to the strength of the outcome (which we shall term an outcome sphere) and dislikes the outcome otherwise. This can frequently result in ties—both outcomes having equal preference for a voter—so we will only consider this model under the assumption that each voter lies within exactly one of the two outcome spheres. Note, however, that it does not matter whether the two outcome spheres overlap, as long as there are no voter ideal points within the intersection.
The legal interpretation of this model is that a justice may have an innate inclination toward a particular outcome (based on political ideology, for instance) but the willingness of the justice to vote for that outcome also depends on the strength of the legal argument put before the court. If both sides have equally strong arguments then the justice votes for the nearest outcome just as in the EDP model—but the justice is more willing to switch to a politically further away outcome if that side of the case is argued more strongly. One might consider a more general setup in which the strengths of the two sides vary among the voters (as different justices will certainly measure the strength of an argument differently) but we shall not do this in the present paper; the model already provides plenty to explore with a single strength function for all voters.
2.1.4. Take It or Leave It (TIOLI)
Here we take an unorthodox approach by breaking symmetry and have the preference functions determined by properties of just one of the two possible outcomes, without loss of generality —and like the SOI model, we assign a strength to this outcome in addition to its Euclidean location . Specifically, we use the following preference functions:
Thus a voter selects outcome if the voter’s ideal point lies in a sphere of radius , otherwise the voter selects outcome . This can be viewed in rough analogy to the concept in statistics of rejecting the null hypothesis: the voter can be thought of as defaulting to outcome but is willing to switch to if sufficiently compelled by it. In the judicial context, being compelled to switch to outcome means having an ideology in reasonably close proximity to this outcome—and exactly how close this proximity needs to be is measured by the strength of the argument for . For instance, a justice may generally opt to affirm cases brought to the court but is willing to reverse them if the political orientation of doing so is sufficiently compatible with the justice’s innate outlook and the legal argument for reversing is also sufficiently convincing.
2.2. Coalitions in one dimension
Since we are focusing on votes with two outcomes, each vote divides the voters into two disjoint subsets: those who vote for , and those who vote for . Let us refer to these two subsets as coalitions. For the Supreme Court, this means there is a majority coalition and a minority coalition, since the fully staffed Court has an odd number of justices so one of the two outcomes always receives strictly more votes than the other. In the remainder of this section we explore the possible coalitions allowed by our three voting models; here by an allowed coalition we mean that for a fixed configuration of voter ideal points, there exists locations (and strength(s) for the SOI and TIOLI models) of the vote outcomes such that the vote specified by the model in question yields the given coalition and its complementary coalition (the set of allowed coalitions is closed under complement due to our binary outcome assumption).
The set of allowed coalitions for each model depends heavily on the configuration of voter ideal points, and the complexity of the configurations that can occur rapidly increases with the dimension of the ambient Euclidean space. We start here with dimension one, where it is quite straightforward to characterize everything completely. In this setting the voter ideal points and the outcome locations are all scalars. Let us assume without loss of generality that .
Proposition 2.1.
A subset of voters is an allowed coalition for the onedimensional EDP model if and only if there exists a point with for all and for all , or vice versa.
Proof.
This follows immediately from the observation that all voters with ideal point to the left of the outcome midpoint will vote for outcome while all those to the right will vote for . ∎
This accords with the multitude of politically split Court cases where a liberal bloc of four justices vote one way, a conservative bloc of four justices votes the opposite way, and the central justice is the “swing vote” going back and forth between the two blocks—thus singlehandedly determining the outcome—depending on the particular case. This model also allows for rulings where, say, the two most liberal justices form a minority versus the majority of the remaining seven.
Proposition 2.2.
The allowed coalitions for the onedimensional SOI model are the same as for the EDP model.
Proof.
The outcome spheres in one dimension are just closed intervals, and we always assume in this model that there are no voter ideal points in the intersection of the two outcome spheres, so all voter ideal points in one interval are separated from the other interval either by any point between the two intervals (if they are disjoint) or by any point in the intersection of the two intervals (if they are not disjoint). ∎
Proposition 2.3.
A subset of voters is an allowed coalition for the onedimensional TIOLI model if and only if there exists an interval such that precisely when , or precisely when .
Proof.
This follows immediately from the definition of the preference functions for this model. ∎
While we see here that the onedimensional TIOLI model allows votes like the bizarre minority coalition of far left Ginsburg with far right Thomas that occurred in the 7to2 case Alabama Department of Revenue v. CSX Transportation, Inc. (2015)—see Figure 2—none of our three onedimensional models allows the scrambled 5to4 vote mentioned in the introduction. To get a better grasp of that vote we need to turn to the second dimension of the Supreme Court.
2.3. Coalitions in two dimensions (and higher)
The classification of allowed coalitions for the EDP model has an immediate, and straightforward, extension to all higher dimensions:
Proposition 2.4.
The allowed EDP coalitions are the sets of voters whose ideal points can be separated from the remaining ideal points by a hyperplane in .
Proof.
Consider the line segment joining the outcome points . The hyperplane orthogonal to this line segment and passing through its midpoint provides the decision boundary where on one side all voters choose one outcome and on the other side they all choose the other outcome. Conversely, given a hyperplane separating the two coalitions, we can take as the outcome locations any point on one side of the hyperplane and the reflection of this point across the hyperplane. ∎
Remark 2.5.
Since one of our points of emphasis in this paper is bringing more computational geometry into voting theory, it is worth noting that the preceding proposition has a nice generalization to the EDP model where more than two vote outcomes are considered: the Voronoi diagram [1] constructed from the configuration of outcome locations in subdivides Euclidean space into convex polyhedral regions, one such for each outcome point, and the voters in the region corresponding to a particular outcome are precisely those who in the EDP model will vote for that outcome.
We can now characterize the relationship between the allowable coalitions provided by these three models, in any dimension.
Theorem 2.6.
Fix any dimension .

A set of voters is an EDP allowed coalition if and only if it is an SOI allowed coalition.

Every EDP/SOI allowed coalition is a TIOLI allowed coalition, but the converse does not always hold.
Thus the SOI model sees exactly the same possible voting patters as the EDP model, but the two models arrive at these voting patterns in different ways, so to speak—whereas the TIOLI model is more flexibility and includes every voting pattern provided by the other two models but allows for strictly more voting patterns.
Proof.
If a coalition is EDP allowed then by Proposition 2.4 there exists a hyperplane separating the ideal points of the coalition and its complementary coalition. Place spheres of radius on either side of this hyperplane, both with centers distance from the hyperplane and such that the line segment between the two centers is perpendicular to the hyperplane (thus both spheres are tangent to the hyperplane and tangent to each other—see Figure 3(a)). As the two spheres locally (which is to say, near the fixed configuration of voters) approach the hyperplane, and since there are only finitely many voters there exists a finite value of for which the SOI vote with these two spheres used as the outcome spheres coincides with the EDP vote corresponding to this hyperplane. By removing one of the two spheres we also get this vote from the TIOLI model.
Thus we have shown that EDPallowed coalitions are also SOIallowed and TIOLIallowed, and we shall see examples in §2.3.2 of coalitions that are TIOLIallowed but not EDP or SOIallowed, so all that remains is to show that SOIallowed implies EPDallowed. Recall that a SOIallowed coalition means there is a sphere, call it , of radius centered at containing all the ideal points for and none of the ideal points from the complementary coalition , and there is a sphere of radius centered at containing all the , , and none of the , . If these two spheres are disjoint then clearly there exists a hyperplane separating them and hence separating the two coalitions, so let us assume that the spheres overlap, . The intersection of the surfaces of these spheres is the surface of a sphere of one dimension lower, and the hyperplane spanned by separates the two coalitions since the two regions and lie on opposite sides of this hyperplane (see Figure 3(b)) and there are no voter ideal points in the intersection by assumption. ∎
Our focus for the remainder of the discussion in this section is to explore the coalitions allowed by these twodimensional models in the context of the Supreme Court. There are various ways of estimating the ideal points of the justices on the Supreme Court—indeed, this has been a topic of extensive investigation in the empirical legal studies literature [3, 7, 13, 14, 16]. For concreteness and simplicity, in this paper take the following approach (which is also what we used to create Figures 1 and 2).
2.3.1. Estimating judicial ideal points
Given a symmetric matrix of nonnegative numbers, thought of as distances (or approximations thereof) between objects, and a positive integer , multidimensional scaling (MDS) produces points in Euclidean space such that their pairwise distances are close to the entries of the input matrix [2, 4]. To use MDS to compute Supreme Court ideal points, scholars typically^{2}^{2}2Schubert largely initiated this approach in his seminal 1965 treatise [15], but Brazill and Grofman in 2002 popularized, modernized, and refined it, while also comparing it (favorably) to related methods like factor analysis [3]. take the entry of the input matrix to be one minus the fraction of cases during a given natural court that Justice and Justice voted “together”—meaning either both with the majority or both against the majority^{3}^{3}3This means the disposition of the decision is what matters rather than the opinion, so for instance if two justices ultimately reach the same conclusion but for different reasons and consequently write separate opinions, they are nonetheless counted as voting together.—and a widely used way of accessing this information, which we use in the present paper, is the binary “majority” variable in the Spaeth Supreme Court Database [18].
While the exact coordinates of ideal points vary across the different estimation methods, in one dimension () the order of the nine justices for each natural court is remarkably consistent across the different methods and is generally compatible with expert opinion of the political leanings of the justices [8, pp.1693–4]—so one can view the first dimension in all these methods as quantifying the liberaltoconservative spectrum.^{4}^{4}4A word of caution: MDS is only welldefined up to coordinate reflections, so liberaltoconservative may show up as lefttoright or righttoleft, but it is usually straightforward to determine which is which and fix the direction. The second dimension for MDS ideal point estimation has been studied in [8], where a legal interpretation is proffered: the axis often roughly tracks with the judicial philosophies of legalism versus pragmatism. We do not require this interpretation for what follows, but the reader may find it nonetheless enriching to consider and so is encouraged to read [8].
2.3.2. Examples from the Supreme Court
In Figure 4 we plot the twodimensional MDS ideal point locations of the nine justices on the 2009–2015 natural court (top row), the 2009 natural court (bottom left), and the 1965–1966 natural court (bottom right); in each of the four plots the names in bold are the majority coalition for at least one case heard during that natural court.
The topleft plot’s minority/majority division is one that occurred frequently: it clearly splits along left/right political lines, and here Kennedy sides with the conservatives (which he did more often than not). The coalitions for this vote are allowed by all the models we have discussed, including the onedimensional version of all three models since the onedimensional MDS ideal point configuration is obtained simply by projecting down to the axis. The topright plot—which occurred, for instance, in J. McIntyre Machinery, Ltd. v. Nicastro (2011)—is more interesting. Here Breyer has abandoned the liberal bloc, but the twodimensional layout suggests why: the coordinate (however it should be interpreted [8]) of his ideal point is too far from those of the rest of the liberal bloc. The result is that the majority/minority coalitions here are no longer divided by a vertical line (the most common conceptualization) nor even a horizontal line (the divisions studied in [8]), but they are still separated by a line, albeit a diagonal one, so this pair of coalitions is allowed by the EPD model, and hence by Theorem 2.6 by the SOI and TIOLI models as well.
In the lowerleft plot—which occurred, for instance, in New Process Steel v. NLRB (2010)—the two coalitions are almost separated by a diagonal line but not quite: the majority voting Alito and Stevens are too far left for this to be possible. On the other hand, all four minority justice ideal points are in fairly close proximity to each other and it is easy to picture a circle centered around the point that encompasses precisely the minority coalition, so the minority/majority coalitions here are allowed by the TIOLI model even though they are not allowed by the EDP or SOI models.
For the lowerright plot, which depicts a vote that occurred in Ginzburg v. United States (1965), there is in fact a line that separates the majority from the minority, but just barely. A slight deviation of the ideal point estimations—and one should recall that there is always error/uncertainty when making such estimations—could easily break this delicate configuration and result in one for which this vote is not allowed by the EDP model. On the other hand, there is a very clear clustering of the majority ideal points so this pair of coalitions is allowed by the TIOLI model and it is quite robust for that model, in the sense that fairly large perturbations of the ideal points would not prevent this vote division from being allowed. In fact, the judicial ideal points are almost distributed radially around a point located roughly at and for this particular case the inner ring of justices near this point formed the majority and the outer ring further away from this point formed the minority.
3. Computational geometry
Here we explore some of the algorithmic aspects of working with spatial voting models in two dimensions. Specifically, we show how to compute the allowed coalitions for a given collection of voter ideal points under each of the EDP, SOI, and TIOLI models, and we discuss the problem—and present a solution for the SOI model—of locating the two outcomes points that could have resulted in a given pair of complementary allowed coalitions.
3.1. The EDP model
Recall that, by Proposition 2.4, the allowed coalitions for the EDP model are the subsets of voters whose ideal points can be separated from those of the complementary set by a hyperplane in . Such sets of points have been studied in the discrete geometry literature and go by the name “set” (here refers to the number of points one is trying to separate from the remaining points). In dimension this problem has been studied from a computational perspective (see, e.g., [6]) so for a large number of voters one can implement the algorithms presented there. For a small number of votes, such as the in Supreme Court voting, there is an easier method that was kindly communicated to us by Michael Burr, which we next describe. We present this method for and , so that one is finding all allowed 5to4 votes under EDP, but it is straightforward to extend it to other values of and other small values of . We assume here that the voter ideal points are in general linear position, which means no three of them are collinear.^{5}^{5}5When working with real data this almost always holds, and if it doesn’t then one can simply perturb the points slightly so that it does.
At first glance, to find all collections of four points in the plane that can be separated from the remaining five by a line would require testing the infinitely many lines in the plane—but thankfully this can be reduced to a finite problem. For any line that separates the ideal points into a 5to4 division, we can slide that line without changing its slope until it meets exactly one or two of the nine ideal points (by the general linear position assumption). After doing so, if the line meets only one ideal point then we can rotate it about this point in either direction until it meets exactly two ideal points. There are then a few possibilities: either both ideal points are in the fourvoter coalition, both ideal points are in the fivevoter coalition, or one ideal point is in each coalition. This shows that every EDP allowed 5to4 coalition split can be found as follows. For each of the pairs of ideal points, call them and , consider the line they span, and:

if there are two and five ideal points on either side of , then the two points together with and yields a fourvoter coalition;

if there are three and four points on either side of , then the four points form a coalition, the three points with form a coalition, and the three points with form a coalition.
The fourvoter coalitions obtained above, together with their complementary fivevoter coalitions, form all the allowed EDP coalitions.
It is not really possible to depict in a visually meaningful way (as we shall do below for SOI) the regions where the two vote outcomes could be that yield a given EDP allowed coalition, because the location of one outcome depends on that of the other. Indeed, for any line that splits the voters into two coalitions, we can take any point on one side of the line as one outcome location and reflect this point across the line to obtain a second outcome location that yields the same dividing line and hence the same pair of coalitions. An interactive program might be useful: the user could place two points in the plane and the program would draw the corresponding dividing line and then the user could see how the voters are split by this line as the points are dragged around. In fact, such software already exists—even when more than two vote outcomes are considered (cf. Remark 2.5)! This is because the user is really plotting the Voronoi diagram determined by the outcome locations and there are many programs available, and easily found through a web search, for interactive Voronoi diagrams/tessellations.
3.2. The SOI model
For this model we recommend the following discrete approximation method which combines the two computational problems of (a) finding all allowed coalitions and (b) locating the two outcome points.

Choose a large square containing all of the voter ideal points (with the voters near the center of the square rather than any of its boundary).

Choose a grid resolution and do an iterated loop through all grid points in this square.

For each grid point, compute the Euclidean distances from this grid point to the voter ideal points, put these in increasing order, and record the corresponding order of the voters. Then for each integer , label this grid point by the nearest voter ideal points and also by the nearest voter ideal points.
The allowed SOI coalitions are then the subsets and for which there exists a grid point labeled by and a grid point labeled by . For a fixed pair of complementary allowed coalitions, the possible locations of one vote outcome are all the grid points labeled by and the possible locations of the other vote outcome are all the grid points labeled . A word of caution, however: this only works if the surrounding square is sufficiently large and the grid resolution is sufficiently fine; in practice, one can start with small values for both parameters and increase them and see whether the results appear to be stabilizing.
We illustrate this in Figure 5 where we look at the same two votes as the top row of Figure 4, but now we additionally plot the majority’s possible outcome locations with red dots and the minority’s possible outcome locations with blue dots. The inclusion/exclusion of Breyer’s vote in the minority liberal bloc shifts the liberal outcome’s region upwards and the conservative outcome’s region downwards, as one would expect based on Breyer’s location.
3.3. The TIOLI model
We can use essentially the same discrete approximation method described for the SOI model here for the TIOLI model. Indeed, a subset is a TIOLI allowed coalition if and only if there exists a grid point labeled by , and such grid points are the possible locations for the vote outcome whose outcome sphere contains precisely the voters. The location of the other vote outcome is unconstrained and irrelevant as it does not affect the vote under this model. In Figure 6 we depict the possible locations of the relevant vote outcome for the bottom two cases shown earlier in Figure 4.
Remark 3.1.
Another interesting connection to discrete/computational geometry is that the TIOLI allowed coalitions corresponding to voter ideal points that lie in an outcome sphere (as opposed to the complementary voters outside the outcome sphere) are in bijection with the cells of the th order Voronoi diagram defined by the voter ideal points. Indeed, given a collection of points in the plane, the th order Voronoi diagram is a tessellation of the plane into polyhedral cells for which the set of the nearest of the points is constant [11]. In particular, another way to find all TIOLI allowed coalitions is to compute the th order Voronoi diagram for all and to take the sets of voters whose ideal points correspond to a nonempty cell of at least one of these Voronoi diagrams, as well as the complements to the subsets obtained this way.
4. Conclusion
The 5to4 vote in Ginzburg v. United States (1965) mentioned in the introduction is quite perplexing from a onedimension perspective (recall Figure 1), and even when passing to the second dimension of the Supreme Court as in [8] the majority is not separated from the minority by a horizontal line. But Figure 6 shows there is an ideological common ground in the plane uniting the majority justices. Cases such as this one provide dataoriented evidence that the extra geometric flexibility provided by the TIOLI model introduced in this paper might bear further investigation from a legal perspective.
It is worth clarifying, however, that the models studied in this paper do not offer a method for predicting Supreme Court outcomes (for that one could see [9, 10]), nor do they attempt to explain why the justices voted the way they did in any particular case. Instead, the main point in these models is to try to understand why certain majority/minority devisions that appear disordered and confounding from a traditional liberaltoconservative perspective (or even from a pragmatictolegalistic perspective as in [8]) may perhaps be better viewed through the lens of the outcome spheres introduced in this paper and the consequent notion of ideological common ground revealed through the computational geometry methods discussed above. That said, there are still plenty of cases resulting in majority/minority divisions that are as perplexing as ever even with all these spatial models—but the complexity of Supreme Court analysis is part of the charm of the subject, for both legal scholars and mathematicians.
References
 [1] Austin, D. “Voronoi Diagrams and a Day at the Beach.” Feature Column from the AMS, August 2006.
 [2] Borg, I., and Groenen, P. Modern Multidimensional Scaling: Theory and Applications, Springer Series in Statistics. New York: Springer, 2005.
 [3] Brazill, T., and Grofman, B. “Factor analysis versus multidimensional scaling: binary choice rollcall voting and the US Supreme Court.” Social Networks 24 (2002), 201–229.
 [4] Cox, M., and Cox, T. “Multidimensional Scaling.” In: Handbook of Data Visualization. Berlin: Springer, 2008.
 [5] Edelman, P. “The Dimension of the Supreme Court.” Constitutional Commentary 20 (2004), 557–570.
 [6] Edelsbrunner, H. and Welzl, E. “Constructing belts in twodimensional arrangements with applications.” SIAM J. Comput. 15 no. 1 (1986), 271–284.
 [7] Epstein, L., Martin, A., Segal, J., Westerland, C. “The Judicial Common Space.” Journal of Law, Economics, & Organization 23(2) (2007), 303–325.
 [8] Fischman, J., and Jacobi, T. “The Second Dimension of the Supreme Court.” Wm. & Mary L. Rev. 57 (2016), 1671–1715.
 [9] Kaufman, A., Kraft, P., and Sen, M. “Improving Supreme Court Forecasting Using Boosted Decision Trees.” Preprint (2017).
 [10] Katz, D., Bommarito, M., and Blackman, J. “A general approach for predicting the behavior of the Supreme Court of the United States.” PLoS ONE 12(4) (2017), 1–18.
 [11] Lee, D. “On kNearest Neighbor Voronoi Diagrams in the Plane.” IEEE Transactions on Computers, C31(6) (1982), 478–487.
 [12] Lee, E., Broedersz, C., and Bialek, W. “Statistical Mechanics of the US Supreme Court.” J. Stat. Phys. 160(2) (2015), 275–301.
 [13] Martin, A., and Quinn, K. “Dynamic Ideal Point Estimation via Markov Chain Monte Carlo for the U.S. Supreme Court 1953–1999.” Political Analysis 10(2) (2002), 134–153.
 [14] Peress, M. “Small Chamber Ideal Point Estimation.” Political Analysis 17 (2009), 276–290.
 [15] Schubert, G. The Judicial Mind. Evanston: Northwestern University Press, 1965.
 [16] Segal, J., and Cover, A. “Ideological Values and the Votes of U.S. Supreme Court Justices.” The American Political Science Review 83(2) (1989), 557–565.
 [17] Segal, J., and Spaeth, H. The Supreme Court and the Attitudinal Model Revisited. Cambridge: Cambridge University Press, 2002.
 [18] Spaeth, H., Epstein, L., Ruger, T., Whittington, K., Segal, J., and Martin, A. “Supreme Court Database.” http://scdb.wustl.edu/
 [19] Sirovich, L. “A pattern analysis of the second Rehnquist U.S. Supreme Court.” PNAS 100(13) (2003), 7432–7437.