-
Ahead of the Count: An Algorithm for Probabilistic Prediction of Instant Runoff (IRV) Elections
Authors:
Nicholas Kapoor,
P. Christopher Staecker
Abstract:
How can we probabilistically predict the winner in a ranked-choice election without all ballots being counted? In this study, we introduce a novel algorithm designed to predict outcomes in Instant Runoff Voting (IRV) elections. The algorithm takes as input a set of discrete probability distributions describing vote totals for each candidate ranking and calculates the probability that each candidat…
▽ More
How can we probabilistically predict the winner in a ranked-choice election without all ballots being counted? In this study, we introduce a novel algorithm designed to predict outcomes in Instant Runoff Voting (IRV) elections. The algorithm takes as input a set of discrete probability distributions describing vote totals for each candidate ranking and calculates the probability that each candidate will win the election. In fact, we calculate all possible sequences of eliminations that might occur in the IRV rounds and assign a probability to each.
The discrete probability distributions can be arbitrary and, in applications, could be measured empirically from pre-election polling data or from partial vote tallies of an in-progress election.
The algorithm is effective for elections with a small number of candidates (five or fewer), with fast execution on typical consumer computers. The run-time is short enough for our method to be used for real-time election night modeling where new predictions are made continuously as more and more vote information becomes available. We demonstrate the algorithm in abstract examples, and also using real data from the 2022 Alaska state elections to simulate election-night predictions and also predictions of election recounts.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Digital topological groups
Authors:
Dae-Woong Lee,
P. Christopher Staecker
Abstract:
In this article, we develop the basic theory of digital topological groups. The basic definitions directly lead to two separate categories, based on the details of the continuity required of the group multiplication. We define $\NP_1$- and $\NP_2$-digital topological groups, and investigate their properties and algebraic structure. The $\NP_2$ category is very restrictive, and we give a complete c…
▽ More
In this article, we develop the basic theory of digital topological groups. The basic definitions directly lead to two separate categories, based on the details of the continuity required of the group multiplication. We define $\NP_1$- and $\NP_2$-digital topological groups, and investigate their properties and algebraic structure. The $\NP_2$ category is very restrictive, and we give a complete classification of $\NP_2$-digital topological groups. We also give many examples of $\NP_1$-digital topological groups. We define digital topological group homomorphisms, and describe the digital counterpart of the first isomorphism theorem.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Digital homotopy relations and digital homology theories
Authors:
P. Christopher Staecker
Abstract:
In this paper we prove results relating to two homotopy relations and four homology theories developed in the topology of digital images.
We introduce a new type of homotopy relation for digitally continuous functions which we call "strong homotopy." Both digital homotopy and strong homotopy are natural digitizations of classical topological homotopy: the difference between them is analogous to…
▽ More
In this paper we prove results relating to two homotopy relations and four homology theories developed in the topology of digital images.
We introduce a new type of homotopy relation for digitally continuous functions which we call "strong homotopy." Both digital homotopy and strong homotopy are natural digitizations of classical topological homotopy: the difference between them is analogous to the difference between digital 4-adjacency and 8-adjacency in the plane.
We also consider four different digital homology theories: a simplicial homology theory by Arslan et al which is the homology of the clique complex, a singular simplicial homology theory by D. W. Lee, a cubical homology theory by Jamil and Ali, and a new kind of cubical homology for digital images with $c_1$-adjacency which is easily computed, and generalizes a construction by Karaca \& Ege. We show that the two simplicial homology theories are isomorphic to each other, but distinct from the two cubical theories.
We also show that homotopic maps have the same induced homomorphisms in the cubical homology theory, and strong homotopic maps additionally have the same induced homomorphisms in the simplicial theory.
△ Less
Submitted 2 June, 2021;
originally announced June 2021.
-
Strong homotopy of digitally continuous functions
Authors:
P. Christopher Staecker
Abstract:
We introduce a new type of homotopy relation for digitally continuous functions which we call ``strong homotopy.'' Both digital homotopy and strong homotopy are natural digitizations of classical topological homotopy: the difference between them is analogous to the difference between digital 4-adjacency and 8-adjacency in the plane.
We explore basic properties of strong homotopy, and give some e…
▽ More
We introduce a new type of homotopy relation for digitally continuous functions which we call ``strong homotopy.'' Both digital homotopy and strong homotopy are natural digitizations of classical topological homotopy: the difference between them is analogous to the difference between digital 4-adjacency and 8-adjacency in the plane.
We explore basic properties of strong homotopy, and give some equivalent characterizations. In particular we show that strong homotopy is related to ``punctuated homotopy,'' in which the function changes by only one point in each homotopy time step.
We also show that strongly homotopic maps always have the same induced homomorphisms in the digital homology theory. This is not generally true for digitally homotopic maps, though we do show that it is true for any homotopic selfmaps on the digital cycle $C_n$ with $n\ge 4$.
We also define and consider strong homotopy equivalence of digital images. Using some computer assistance, we produce a catalog of all small digital images up to strong homotopy equivalence. We also briefly consider pointed strong homotopy equivalence, and give an example of a pointed contractible image which is not pointed strongly contractible.
△ Less
Submitted 2 March, 2019;
originally announced March 2019.
-
Homotopy relations for digital images
Authors:
Laurence Boxer,
P. Christopher Staecker
Abstract:
We introduce three generalizations of homotopy equivalence in digital images, to allow us to express whether a finite and an infinite digital image are similar with respect to homotopy.
We show that these three generalizations are not equivalent to ordinary homotopy equivalence, and give several examples. We show that, like homotopy equivalence, our three generalizations imply isomorphism of fun…
▽ More
We introduce three generalizations of homotopy equivalence in digital images, to allow us to express whether a finite and an infinite digital image are similar with respect to homotopy.
We show that these three generalizations are not equivalent to ordinary homotopy equivalence, and give several examples. We show that, like homotopy equivalence, our three generalizations imply isomorphism of fundamental groups, and are preserved under wedges and Cartesian products.
△ Less
Submitted 2 August, 2016; v1 submitted 22 September, 2015;
originally announced September 2015.
-
A Borsuk-Ulam theorem for digital images
Authors:
P. Christopher Staecker
Abstract:
The Borsuk-Ulam theorem states that a continuous function $f:S^n \to \R^n$ has a point $x\in S^n$ with $f(x)=f(-x)$. We give an analogue of this theorem for digital images, which are modeled as discrete spaces of adjacent pixels equipped with $\Z^n$-valued functions.
In particular, for a concrete two-dimensional rectangular digital image whose pixels all have an assigned "brightness" function, w…
▽ More
The Borsuk-Ulam theorem states that a continuous function $f:S^n \to \R^n$ has a point $x\in S^n$ with $f(x)=f(-x)$. We give an analogue of this theorem for digital images, which are modeled as discrete spaces of adjacent pixels equipped with $\Z^n$-valued functions.
In particular, for a concrete two-dimensional rectangular digital image whose pixels all have an assigned "brightness" function, we prove that there must exist a pair of opposite boundary points whose brightnesses are approximately equal. This theorem applies generally to any integer-valued function on an abstract simple graph.
We also discuss generalizations to digital images of dimension 3 and higher. We give some partial results for higher dimensional images, and show a counter example which demonstrates that the full results obtained in lower dimensions cannot hold generally.
△ Less
Submitted 21 June, 2015;
originally announced June 2015.
-
Connectivity Preserving Multivalued Functions in Digital Topology
Authors:
Laurence Boxer,
P. Christopher Staecker
Abstract:
We study connectivity preserving multivalued functions between digital images. This notion generalizes that of continuous multivalued functions studied mostly in the setting of the digital plane $Z^2$. We show that connectivity preserving multivalued functions, like continuous multivalued functions, are appropriate models for digital morpholological operations. Connectivity preservation, unlike co…
▽ More
We study connectivity preserving multivalued functions between digital images. This notion generalizes that of continuous multivalued functions studied mostly in the setting of the digital plane $Z^2$. We show that connectivity preserving multivalued functions, like continuous multivalued functions, are appropriate models for digital morpholological operations. Connectivity preservation, unlike continuity, is preserved by compositions, and generalizes easily to higher dimensions and arbitrary adjacency relations.
△ Less
Submitted 23 December, 2015; v1 submitted 8 April, 2015;
originally announced April 2015.
-
Remarks on pointed digital homotopy
Authors:
Laurence Boxer,
P. Christopher Staecker
Abstract:
We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z \rightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results.
We present a variant fo…
▽ More
We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z \rightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results.
We present a variant form of the digital fundamental group. Based on what we call {\em eventually constant} loops, this version of the fundamental group is equivalent to that of Boxer (1999), but offers the advantage that eventually constant maps are often easier to work with than the trivial extensions that are key to the development of the fundamental group in Boxer (1999) and many subsequent papers.
We show that homotopy equivalent digital images have isomorphic fundamental groups, even when the homotopy equivalence does not preserve the basepoint. This assertion appeared in Boxer (2005), but there was an error in the proof; here, we correct the error.
△ Less
Submitted 4 June, 2015; v1 submitted 10 March, 2015;
originally announced March 2015.
-
Some enumerations of binary digital images
Authors:
P. Christopher Staecker
Abstract:
The topology of digital images has been studied much in recent years, but no attempt has been made to exhaustively catalog the structure of binary images of small numbers of points. We produce enumerations of several classes of digital images up to isomorphism and decide which among them are homotopy equivalent to one another. Noting some patterns in the results, we make some conjectures about dig…
▽ More
The topology of digital images has been studied much in recent years, but no attempt has been made to exhaustively catalog the structure of binary images of small numbers of points. We produce enumerations of several classes of digital images up to isomorphism and decide which among them are homotopy equivalent to one another. Noting some patterns in the results, we make some conjectures about digital images which are irreducible but not rigid.
△ Less
Submitted 22 February, 2015;
originally announced February 2015.
-
Homotopy equivalence of finite digital images
Authors:
Jason Haarmann,
Meg P. Murphy,
Casey S. Peters,
P. Christopher Staecker
Abstract:
For digital images, there is an established homotopy equivalence relation which parallels that of classical topology. Many classical homotopy equivalence invariants, such as the Euler characteristic and the homology groups, do not remain invariants in the digital setting. This paper develops a numerical digital homotopy invariant and begins to catalog all possible connected digital images on a sma…
▽ More
For digital images, there is an established homotopy equivalence relation which parallels that of classical topology. Many classical homotopy equivalence invariants, such as the Euler characteristic and the homology groups, do not remain invariants in the digital setting. This paper develops a numerical digital homotopy invariant and begins to catalog all possible connected digital images on a small number of points, up to homotopy equivalence.
△ Less
Submitted 13 October, 2014; v1 submitted 11 August, 2014;
originally announced August 2014.
