Source author record

John D. Wiltshire-Gordon

John D. Wiltshire-Gordon appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.PR math.RT Computational Complexity Cryptography and Security Information Theory math.CT math.GN math.GR math.IT

Catalog footprint

What is connected

3works

9topics

1close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2014arXiv

Uniformly Presented Vector Spaces

Gaussian elimination answers any question about a finitely presented vector space. However, a "uniform family" of such presentations--given as generic relations among an unspecified number of generators--is susceptible to elimination only once the number of generators is fixed. We develop a theory of "uniformly presented vector spaces" to compute with these uniform families, introducing a formalism of finitely generated functors from the category of finite sets to the category of finite dimensional Q-vector spaces. We show that these representations have finite length and polynomial dimension away from the empty set, and produce finite leftward resolutions by manageable functors.

preprint2012arXiv

Robust Coin Flipping

Alice seeks an information-theoretically secure source of private random data. Unfortunately, she lacks a personal source and must use remote sources controlled by other parties. Alice wants to simulate a coin flip of specified bias $α$, as a function of data she receives from $p$ sources; she seeks privacy from any coalition of $r$ of them. We show: If $p/2 \leq r < p$, the bias can be any rational number and nothing else; if $0 < r < p/2$, the bias can be any algebraic number and nothing else. The proof uses projective varieties, convex geometry, and the probabilistic method. Our results improve on those laid out by Yao, who asserts one direction of the $r=1$ case in his seminal paper [Yao82]. We also provide an application to secure multiparty computation.

preprint2011arXiv

Word-Induced Measures on Compact Groups

Consider a group word w in n letters. For a compact group G, w induces a map G^n \rightarrow G$ and thus a pushforward measure μ_w on G from the Haar measure on G^n. We associate to each word w a 2-dimensional cell complex X(w) and prove in Theorem 2.5 that μ_w is determined by the topology of X(w). The proof makes use of non-abelian cohomology and Nielsen's classification of automorphisms of free groups [Nie24]. Focusing on the case when X(w) is a surface, we rediscover representation-theoretic formulas for μ_w that were derived by Witten in the context of quantum gauge theory [Wit91]. These formulas generalize a result of Erdős and Turán on the probability that two random elements of a finite group commute [ET68]. As another corollary, we give an elementary proof that the dimension of an irreducible complex representation of a finite group divides the order of the group; the only ingredients are Schur's lemma, basic counting, and a divisibility argument.