Source author record

Nigel Boston

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.GR math.NT Machine Learning Discrete Mathematics Information Theory math.CO math.IT

Catalog footprint

Research overview

10works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Heuristics for $2$ -class Towers of Cyclic Cubic Fields

We consider the Galois group $G_2(K)$ of the maximal unramified $2$ -extension of $K$ where $K/\mathbb{Q}$ is cyclic of degree $3$ . We also consider the group $G^+_2(K)$ where ramification is allowed at infinity. In the spirit of the Cohen-Lenstra heuristics, we identify certain types of pro- $2$ group as the natural spaces where $G_2(K)$ and $G^+_2(K)$ live when the $2$ -class group of $K$ is $2$ -generated. While we do not have a theoretical scheme for assigning probabilities, we present data and make some observations and conjectures about the distribution of such groups.

preprint2016arXiv

A Characterization of Deterministic Sampling Patterns for Low-Rank Matrix Completion

Low-rank matrix completion (LRMC) problems arise in a wide variety of applications. Previous theory mainly provides conditions for completion under missing-at-random samplings. This paper studies deterministic conditions for completion. An incomplete $d \times N$ matrix is finitely rank- $r$ completable if there are at most finitely many rank- $r$ matrices that agree with all its observed entries. Finite completability is the tipping point in LRMC, as a few additional samples of a finitely completable matrix guarantee its unique completability. The main contribution of this paper is a deterministic sampling condition for finite completability. We use this to also derive deterministic sampling conditions for unique completability that can be efficiently verified. We also show that under uniform random sampling schemes, these conditions are satisfied with high probability if $O(\max\{r,\log d\})$ entries per column are observed. These findings have several implications on LRMC regarding lower bounds, sample and computational complexity, the role of coherence, adaptive settings and the validation of any completion algorithm. We complement our theoretical results with experiments that support our findings and motivate future analysis of uncharted sampling regimes.

preprint2015arXiv

Deterministic Conditions for Subspace Identifiability from Incomplete Sampling

Consider a generic $r$ -dimensional subspace of $\mathbb{R}^d$ , $r<d$ , and suppose that we are only given projections of this subspace onto small subsets of the canonical coordinates. The paper establishes necessary and sufficient deterministic conditions on the subsets for subspace identifiability.

preprint2014arXiv

Heuristics for $p$ -class towers of imaginary quadratic fields, with an Appendix by Jonathan Blackhurst

Cohen and Lenstra have given a heuristic which, for a fixed odd prime $p$ , leads to many interesting predictions about the distribution of $p$ -class groups of imaginary quadratic fields. We extend the Cohen-Lenstra heuristic to a non-abelian setting by considering, for each imaginary quadratic field $K$ , the Galois group of the $p$ -class tower of $K$ , i.e. $G_K:=\mathrm{Gal}(K_\infty/K)$ where $K_\infty$ is the maximal unramified $p$ -extension of $K$ . By class field theory, the maximal abelian quotient of $G_K$ is isomorphic to the $p$ -class group of $K$ . For integers $c\geq 1$ , we give a heuristic of Cohen-Lentra type for the maximal $p$ -class $c$ quotient of $\G_K$ and thereby give a conjectural formula for how frequently a given $p$ -group of $p$ -class $c$ occurs in this manner. In particular, we predict that every finite Schur $σ$ -group occurs as $G_K$ for infinitely many fields $K$ . We present numerical data in support of these conjectures.

preprint2014arXiv

On the Algebraic Structure of Linear Trellises

Trellises are crucial graphical representations of codes. While conventional trellises are well understood, the general theory of (tail-biting) trellises is still under development. Iterative decoding concretely motivates such theory. In this paper we first develop a new algebraic framework for a systematic analysis of linear trellises which enables us to address open foundational questions. In particular, we present a useful and powerful characterization of linear trellis isomorphy. We also obtain a new proof of the Factorization Theorem of Koetter/Vardy and point out unnoticed problems for the group case. Next, we apply our work to: describe all the elementary trellis factorizations of linear trellises and consequently to determine all the minimal linear trellises for a given code; prove that nonmergeable one-to-one linear trellises are strikingly determined by the edge-label sequences of certain closed paths; prove self-duality theorems for minimal linear trellises; analyze quasi-cyclic linear trellises and consequently extend results on reduced linear trellises to nonreduced ones. To achieve this, we also provide new insight into mergeability and path connectivity properties of linear trellises. Our classification results are important for iterative decoding as we show that minimal linear trellises can yield different pseudocodewords even if they have the same graph structure.

preprint2013arXiv

A Refined Conjecture For Factoring Iterates Of Quadratic Polynomials Over Finite Fields

Jones and Boston conjectured that the factorization process for iterates of irreducible quadratic polynomials over finite fields is approximated by a Markov model. In this paper, we find unexpected and intricate behavior for some quadratic polynomials, in particular for the ones with tail size one. We also propose a multi-step Markov model that explains these new observations better than the model of Jones and Boston.

preprint2013arXiv

An infinite family of 2-groups with mixed Beauville structures

We construct an infinite family of triples $(G_k,H_k,T_k)$ , where $G_k$ are 2-groups of increasing order, $H_k$ are index-2 subgroups of $G_k$ , and $T_k$ are pairs of generators of $H_k$ . We show that the triples $u_k = (G_k,H_k,T_k)$ are mixed Beauville structures if $k$ is not a power of 2. This is the first known infinite family of 2-groups admitting mixed Beauville structures. Moreover, the associated Beauville surface $S(u_3)$ is real and, for $k > 3$ not a power of 2, the Beauville surface $S(u_k)$ is not biholomorphic to $\bar{S(u_k)}$ .

preprint2012arXiv

A Note on Beauville p-Groups

We examine which $p$ -groups of order $\le p^6$ are Beauville. We completely classify them for groups of order $\le p^4$ . We also show that the proportion of 2-generated groups of order $p^5$ which are Beauville tends to 1 as $p$ tends to infinity; this is not true, however, for groups of order $p^6$ . For each prime $p$ we determine the smallest non-abelian Beauville $p$ -group.

preprint2012arXiv

Random pro-p groups, braid groups, and random tame Galois groups

We introduce a heuristic prediction for the distribution of the isomorphism class of the Galois group of the maximal pro-p extension of Q unramified outside a "random" set of primes. This is guided by reasoning similar to that governing the Cohen-Lenstra conjectures. We conclude by describing theoretical and experimental evidence for our heuristic.

preprint2011arXiv

Regular algebraic surfaces isogenous to a higher product constructed from group representations using projective planes

Regular algebraic surfaces isogenous to a higher product of curves can be obtained from finite groups with ramification structures. We find unmixed ramification structures for finite groups constructed as p-quotients of particular infinite groups with special presentations related to finite projective planes.

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.

Nigel Boston

Research overview

Is this your work?

10 publications

Heuristics for $2$ -class Towers of Cyclic Cubic Fields

A Characterization of Deterministic Sampling Patterns for Low-Rank Matrix Completion

Deterministic Conditions for Subspace Identifiability from Incomplete Sampling

Heuristics for $p$ -class towers of imaginary quadratic fields, with an Appendix by Jonathan Blackhurst

On the Algebraic Structure of Linear Trellises

A Refined Conjecture For Factoring Iterates Of Quadratic Polynomials Over Finite Fields

An infinite family of 2-groups with mixed Beauville structures

A Note on Beauville p-Groups

Random pro-p groups, braid groups, and random tame Galois groups

Regular algebraic surfaces isogenous to a higher product constructed from group representations using projective planes

See the researcher in context

Building this map preview

Nigel Boston

Research overview

Is this your work?

10 publications

Heuristics for 222-class Towers of Cyclic Cubic Fields

A Characterization of Deterministic Sampling Patterns for Low-Rank Matrix Completion

Deterministic Conditions for Subspace Identifiability from Incomplete Sampling

Heuristics for ppp-class towers of imaginary quadratic fields, with an Appendix by Jonathan Blackhurst

On the Algebraic Structure of Linear Trellises

A Refined Conjecture For Factoring Iterates Of Quadratic Polynomials Over Finite Fields

An infinite family of 2-groups with mixed Beauville structures

A Note on Beauville p-Groups

Random pro-p groups, braid groups, and random tame Galois groups

Regular algebraic surfaces isogenous to a higher product constructed from group representations using projective planes

See the researcher in context

Building this map preview

Heuristics for $2$ -class Towers of Cyclic Cubic Fields

Heuristics for $p$ -class towers of imaginary quadratic fields, with an Appendix by Jonathan Blackhurst