Showing 1–25 of 25 results for author: Jones, W

Creating a dynamic database of finite groups

Authors: Lewis Combes, John W. Jones, Jennifer Paulhus, David Roe, Manami Roy, Sam Schiavone

Abstract: A database of abstract groups has been added to the L-functions and Modular Forms Database (LMFDB), available at https://www.lmfdb.org/Groups/Abstract/. We discuss the functionality of the database and what makes it distinct from other available databases of abstract groups. We describe solutions to mathematical problems we encountered while creating the database, as well as connections between th… ▽ More A database of abstract groups has been added to the L-functions and Modular Forms Database (LMFDB), available at https://www.lmfdb.org/Groups/Abstract/. We discuss the functionality of the database and what makes it distinct from other available databases of abstract groups. We describe solutions to mathematical problems we encountered while creating the database, as well as connections between the abstract groups database and other collections of objects in the LMFDB. △ Less

Submitted 13 September, 2024; originally announced September 2024.

MSC Class: 20-04

Proportion-Based Hypergraph Burning

Authors: Andrea C. Burgess, John A. Hawkin, Alexander J. M. Howse, Caleb W. Jones, David A. Pike

Abstract: Graph burning is a discrete process that models the spread of influence through a network using a fire as a proxy for the type of influence being spread. This process was recently extended to hypergraphs. We introduce a variant of hypergraph burning that uses an alternative propagation rule for how the fire spreads - if some fixed proportion of vertices are on fire in a hyperedge, then in the next… ▽ More Graph burning is a discrete process that models the spread of influence through a network using a fire as a proxy for the type of influence being spread. This process was recently extended to hypergraphs. We introduce a variant of hypergraph burning that uses an alternative propagation rule for how the fire spreads - if some fixed proportion of vertices are on fire in a hyperedge, then in the next round the entire hyperedge catches fire. This new variant has more potential for applications than the original model, and it is similarly viable for obtaining deep theoretical results. We obtain bounds which apply to general hypergraphs, and introduce the concept of the burning distribution, which describes how the model changes as the proportion ranges over (0,1). We also obtain computational results which suggest there is a strong correlation between the automorphism group order and the lazy burning number of a balanced incomplete block design. △ Less

Submitted 12 August, 2024; originally announced August 2024.

Extending Graph Burning to Hypergraphs

Authors: Andrea C. Burgess, Caleb W. Jones, David A. Pike

Abstract: Graph burning is a round-based game or process that discretely models the spread of influence throughout a network. We introduce a generalization of graph burning which applies to hypergraphs, as well as a variant called ''lazy'' hypergraph burning. Interestingly, lazily burning a graph is trivial, while lazily burning a hypergraph can be quite complicated. Moreover, the lazy burning model is a us… ▽ More Graph burning is a round-based game or process that discretely models the spread of influence throughout a network. We introduce a generalization of graph burning which applies to hypergraphs, as well as a variant called ''lazy'' hypergraph burning. Interestingly, lazily burning a graph is trivial, while lazily burning a hypergraph can be quite complicated. Moreover, the lazy burning model is a useful tool for analyzing the round-based model. One of our key results is that arbitrary hypergraphs do not satisfy a bound analogous to the one in the Burning Number Conjecture for graphs. We also obtain bounds on the burning number and lazy burning number of a hypergraph in terms of its parameters, and present several open problems in the field of (lazy) hypergraph burning. △ Less

Submitted 1 March, 2024; originally announced March 2024.

Graphs with prescribed radius, diameter, and center

Authors: Kelly Guest, Andrew Johnson, Peter Johnson, William Jones, Yuki Takahashi, Zhichun Joy Zhang

Abstract: Among other things, it is shown that for every pair of positive integers $r$, $d$, satisfying $1<r<d\leq 2r$, and every finite simple graph $H,$ there is a connected graph $G$ with diameter $d$, radius $r$, and center $H.$ Among other things, it is shown that for every pair of positive integers $r$, $d$, satisfying $1<r<d\leq 2r$, and every finite simple graph $H,$ there is a connected graph $G$ with diameter $d$, radius $r$, and center $H.$ △ Less

Submitted 31 October, 2021; originally announced November 2021.

Journal ref: Graphs with prescribed radius, diameter, and center, International Journal of Mathematics and Computer Science, 16(2021), No. 4

Linear solvers for power grid optimization problems: a review of GPU-accelerated linear solvers

Authors: Kasia Swirydowicz, Eric Darve, Wesley Jones, Jonathan Maack, Shaked Regev, Michael A. Saunders, Stephen J. Thomas, Slaven Peles

Abstract: The linear equations that arise in interior methods for constrained optimization are sparse symmetric indefinite and become extremely ill-conditioned as the interior method converges. These linear systems present a challenge for existing solver frameworks based on sparse LU or LDL^T decompositions. We benchmark five well known direct linear solver packages using matrices extracted from power grid… ▽ More The linear equations that arise in interior methods for constrained optimization are sparse symmetric indefinite and become extremely ill-conditioned as the interior method converges. These linear systems present a challenge for existing solver frameworks based on sparse LU or LDL^T decompositions. We benchmark five well known direct linear solver packages using matrices extracted from power grid optimization problems. The achieved solution accuracy varies greatly among the packages. None of the tested packages delivers significant GPU acceleration for our test cases. △ Less

Submitted 13 August, 2021; v1 submitted 25 June, 2021; originally announced June 2021.

K-spin Hamiltonian for quantum-resolvable Markov decision processes

Authors: Eric B. Jones, Peter Graf, Eliot Kapit, Wesley Jones

Abstract: The Markov decision process is the mathematical formalization underlying the modern field of reinforcement learning when transition and reward functions are unknown. We derive a pseudo-Boolean cost function that is equivalent to a K-spin Hamiltonian representation of the discrete, finite, discounted Markov decision process with infinite horizon. This K-spin Hamiltonian furnishes a starting point f… ▽ More The Markov decision process is the mathematical formalization underlying the modern field of reinforcement learning when transition and reward functions are unknown. We derive a pseudo-Boolean cost function that is equivalent to a K-spin Hamiltonian representation of the discrete, finite, discounted Markov decision process with infinite horizon. This K-spin Hamiltonian furnishes a starting point from which to solve for an optimal policy using heuristic quantum algorithms such as adiabatic quantum annealing and the quantum approximate optimization algorithm on near-term quantum hardware. In proving that the variational minimization of our Hamiltonian is equivalent to the Bellman optimality condition we establish an interesting analogy with classical field theory. Along with proof-of-concept calculations to corroborate our formulation by simulated and quantum annealing against classical Q-Learning, we analyze the scaling of physical resources required to solve our Hamiltonian on quantum hardware. △ Less

Submitted 13 April, 2020; originally announced April 2020.

On the Computational Viability of Quantum Optimization for PMU Placement

Authors: Eric B. Jones, Eliot Kapit, Chin-Yao Chang, David Biagioni, Deepthi Vaidhynathan, Peter Graf, Wesley Jones

Abstract: Using optimal phasor measurement unit placement as a prototypical problem, we assess the computational viability of the current generation D-Wave Systems 2000Q quantum annealer for power systems design problems. We reformulate minimum dominating set for the annealer hardware, solve the reformulation for a standard set of IEEE test systems, and benchmark solution quality and time to solution agains… ▽ More Using optimal phasor measurement unit placement as a prototypical problem, we assess the computational viability of the current generation D-Wave Systems 2000Q quantum annealer for power systems design problems. We reformulate minimum dominating set for the annealer hardware, solve the reformulation for a standard set of IEEE test systems, and benchmark solution quality and time to solution against the CPLEX Optimizer and simulated annealing. For some problem instances the 2000Q outpaces CPLEX. For instances where the 2000Q underperforms with respect to CPLEX and simulated annealing, we suggest hardware improvements for the next generation of quantum annealers. △ Less

Submitted 13 January, 2020; originally announced January 2020.

Cops that surround a robber

Authors: Andrea C. Burgess, Rosalind A. Cameron, Nancy E. Clarke, Peter Danziger, Stephen Finbow, Caleb W. Jones, David A. Pike

Abstract: We introduce the game of Surrounding Cops and Robbers on a graph, as a variant of the original game of Cops and Robbers. In contrast to the original game in which the cops win by occupying the same vertex as the robber, they now win by occupying each of the robber's neighbouring vertices. We denote by $σ(G)$ the {\em surrounding cop number} of $G$, namely the least number of cops required to surro… ▽ More We introduce the game of Surrounding Cops and Robbers on a graph, as a variant of the original game of Cops and Robbers. In contrast to the original game in which the cops win by occupying the same vertex as the robber, they now win by occupying each of the robber's neighbouring vertices. We denote by $σ(G)$ the {\em surrounding cop number} of $G$, namely the least number of cops required to surround a robber in the graph $G$. We present a number of results regarding this parameter, including general bounds as well as exact values for several classes of graphs. Particular classes of interest include product graphs, graphs arising from combinatorial designs, and generalised Petersen graphs. △ Less

Submitted 5 August, 2021; v1 submitted 30 October, 2019; originally announced October 2019.

On the joint distribution of cyclic valleys and excedances over conjugacy classes of $\mathfrak{S}_{n}$

Authors: M. Crossan Cooper, William S. Jones, Yan Zhuang

Abstract: We derive a formula expressing the joint distribution of the cyclic valley number and excedance number statistics over a fixed conjugacy class of the symmetric group in terms of Eulerian polynomials. Our proof uses a slight extension of Sun and Wang's cyclic valley-hopping action as well as a formula of Brenti. Along the way, we give a new proof for the $γ$-positivity of the excedance number distr… ▽ More We derive a formula expressing the joint distribution of the cyclic valley number and excedance number statistics over a fixed conjugacy class of the symmetric group in terms of Eulerian polynomials. Our proof uses a slight extension of Sun and Wang's cyclic valley-hopping action as well as a formula of Brenti. Along the way, we give a new proof for the $γ$-positivity of the excedance number distribution over any fixed conjugacy class along with a combinatorial interpretation of the $γ$-coefficients. △ Less

Submitted 16 January, 2020; v1 submitted 12 June, 2019; originally announced June 2019.

Comments: 13 pages

MSC Class: 05A15; 05A05; 05E18

Journal ref: Advances in Applied Mathematics 115: Article #101999, 15 pp., 2020

The infinite Viterbi alignment and decay-convexity

Authors: Nick Whiteley, Matt W. Jones, Aleks P. F. Domanski

Abstract: The infinite Viterbi alignment is the limiting maximum a-posteriori estimate of the unobserved path in a hidden Markov model as the length of the time horizon grows. For models on state-space $\mathbb{R}^{d}$ satisfying a new ``decay-convexity'' condition, we develop an approach to existence of the infinite Viterbi alignment in an infinite dimensional Hilbert space. Quantitative bounds on the dist… ▽ More The infinite Viterbi alignment is the limiting maximum a-posteriori estimate of the unobserved path in a hidden Markov model as the length of the time horizon grows. For models on state-space $\mathbb{R}^{d}$ satisfying a new ``decay-convexity'' condition, we develop an approach to existence of the infinite Viterbi alignment in an infinite dimensional Hilbert space. Quantitative bounds on the distance to the infinite Viterbi alignment, which are the first of their kind, are derived and used to illustrate how approximate estimation via parallelization can be accurate and scaleable to high-dimensional problems because the rate of convergence to the infinite Viterbi alignment does not necessarily depend on $d$. The results are applied to approximate estimation via parallelization and a model of neural population activity. △ Less

Submitted 13 February, 2023; v1 submitted 8 October, 2018; originally announced October 2018.

Localization of Neumann Eigenfunctions near Irregular Boundaries

Authors: Peter W. Jones, Stefan Steinerberger

Abstract: It has been empirically observed that eigenfunctions of Laplace's equation $-Δφ= λφ$ with Neumann boundary conditions sometimes localize near the boundary of the domain if that boundary is rough (say, fractal). This has some nontrivial implications in acoustics that has been put to real-life use (sound attenuation by noise-protective walls); this short paper describes the mathematical mechanism re… ▽ More It has been empirically observed that eigenfunctions of Laplace's equation $-Δφ= λφ$ with Neumann boundary conditions sometimes localize near the boundary of the domain if that boundary is rough (say, fractal). This has some nontrivial implications in acoustics that has been put to real-life use (sound attenuation by noise-protective walls); this short paper describes the mathematical mechanism responsible for this and describes the quantitative strength of the phenomenon for some examples. △ Less

Submitted 4 September, 2018; originally announced September 2018.

Advanced Scenario Creation Strategies for Stochastic Economic Dispatch with Renewables

Authors: Ryan N. King, Matthew Reynolds, Devon Sigler, Wesley Jones

Abstract: Real-time dispatch practices for operating the electric grid in an economic and reliable manner are evolving to accommodate higher levels of renewable energy generation. In particular, stochastic optimization is receiving increased attention as a technique for handling the inherent uncertainty in wind and solar generation. The typical two-stage stochastic optimization formulation relies on a sampl… ▽ More Real-time dispatch practices for operating the electric grid in an economic and reliable manner are evolving to accommodate higher levels of renewable energy generation. In particular, stochastic optimization is receiving increased attention as a technique for handling the inherent uncertainty in wind and solar generation. The typical two-stage stochastic optimization formulation relies on a sample average approximation with scenarios representing errors in forecasting renewable energy ramp events. Standard Monte Carlo sampling approaches can result in prohibitively high-dimensional systems for optimization, as well as a poor representation of extreme events that challenge grid reliability. We propose two alternative scenario creation strategies, importance sampling and Bayesian quadrature, that can reduce the estimator's variance. Their performance is assessed on a week's worth of 5 minute stochastic economic dispatch decisions for realistic wind and electrical system data. Both strategies yield more economic solutions and improved reliability compared to Monte Carlo sampling, with Bayesian quadrature being less computationally intensive than importance sampling and more economic when considering at least 20 scenarios. △ Less

Submitted 27 June, 2018; originally announced June 2018.

Artin L-functions of small conductor

Authors: John W. Jones, David P. Roberts

Abstract: We study the problem of finding the Artin L-functions with the smallest conductor for a given Galois type. We adapt standard analytic techniques to our novel situation of fixed Galois type and get much improved lower bounds on the smallest conductor. For small Galois types we use complete tables of number fields to determine the actual smallest conductor. We study the problem of finding the Artin L-functions with the smallest conductor for a given Galois type. We adapt standard analytic techniques to our novel situation of fixed Galois type and get much improved lower bounds on the smallest conductor. For small Galois types we use complete tables of number fields to determine the actual smallest conductor. △ Less

Submitted 4 October, 2016; originally announced October 2016.

Comments: 32 pages, 3 figures

Mixed degree number field computations

Authors: John W. Jones, David P. Roberts

Abstract: We present a method for computing complete lists of number fields in cases where the Galois group, as an abstract group, appears as a Galois group in smaller degree. We apply this method to find the twenty-five octic fields with Galois group $\textrm{PSL}_2(7)$ and smallest absolute discriminant. We carry out a number of related computations, including determining the octic field with Galois group… ▽ More We present a method for computing complete lists of number fields in cases where the Galois group, as an abstract group, appears as a Galois group in smaller degree. We apply this method to find the twenty-five octic fields with Galois group $\textrm{PSL}_2(7)$ and smallest absolute discriminant. We carry out a number of related computations, including determining the octic field with Galois group $2^3{:}\textrm{GL}_3(2)$ of smallest absolute discriminant. △ Less

Submitted 10 November, 2016; v1 submitted 29 February, 2016; originally announced February 2016.

MSC Class: 11R21

Product Formalisms for Measures on Spaces with Binary Tree Structures: Representation, Visualization, and Multiscale Noise

Authors: Devasis Bassu, Peter W. Jones, Linda Ness, David Shallcross

Abstract: In this paper we present a theoretical foundation for a representation of a data set as a measure in a very large hierarchically parametrized family of positive measures, whose parameters can be computed explicitly (rather than estimated by optimization), and illustrate its applicability to a wide range of data types. The pre-processing step then consists of representing data sets as simple measur… ▽ More In this paper we present a theoretical foundation for a representation of a data set as a measure in a very large hierarchically parametrized family of positive measures, whose parameters can be computed explicitly (rather than estimated by optimization), and illustrate its applicability to a wide range of data types. The pre-processing step then consists of representing data sets as simple measures. The theoretical foundation consists of a dyadic product formula representation lemma, a visualization theorem. We also define an additive multiscale noise model which can be used to sample from dyadic measures and a more general multiplicative multiscale noise model which can be used to perturb continuous functions, Borel measures, and dyadic measures. The first two results are based on theorems. The representation uses the very simple concept of a dyadic tree, and hence is widely applicable, easily understood, and easily computed. Since the data sample is represented as a measure, subsequent analysis can exploit statistical and measure theoretic concepts and theories. Because the representation uses the very simple concept of a dyadic tree defined on the universe of a data set and the parameters are simply and explicitly computable and easily interpretable and visualizable, we hope that this approach will be broadly useful to mathematicians, statisticians, and computer scientists who are intrigued by or involved in data science including its mathematical foundations. △ Less

Submitted 14 June, 2020; v1 submitted 12 January, 2016; originally announced January 2016.

Comments: submitted

MSC Class: 42B99

Optimal control of plate shape with incompatible strain fields

Authors: Gareth Wyn Jones, L. Mahadevan

Abstract: A flat plate can bend into a curved surface if it experiences an inhomogeneous growth field. In this article a method is described that numerically determines the optimal growth field giving rise to an arbitrary target shape, optimizing for closeness to the target shape and for growth field smoothness. Numerical solutions are presented, for the full non-symmetric case as well as for simplified one… ▽ More A flat plate can bend into a curved surface if it experiences an inhomogeneous growth field. In this article a method is described that numerically determines the optimal growth field giving rise to an arbitrary target shape, optimizing for closeness to the target shape and for growth field smoothness. Numerical solutions are presented, for the full non-symmetric case as well as for simplified one-dimensional and axisymmetric geometries. This system can also be solved semi-analytically by positing an ansatz for the deformation and growth fields in a circular disk with given thickness profile. Paraboloidal, cylindrical and saddle-shaped target shapes are presented as examples, of which the last two exemplify a soft mode arising from a non-axisymmetric deformation of a structure with axisymmetric material properties. △ Less

Submitted 22 December, 2014; originally announced December 2014.

Comments: 21 pages, 6 figures

Journal ref: Nonlinearity (2015), 28(9):3153-3174

A database of number fields

Authors: John W. Jones, David P. Roberts

Abstract: We describe an online database of number fields which accompanies this paper The database centers on complete lists of number fields with prescribed invariants. Our description here focuses on summarizing tables and connections to theoretical issues of current interest. We describe an online database of number fields which accompanies this paper The database centers on complete lists of number fields with prescribed invariants. Our description here focuses on summarizing tables and connections to theoretical issues of current interest. △ Less

Submitted 1 April, 2014; originally announced April 2014.

Comments: 25 pages, 1 figure

MSC Class: 11R21; 11R32

Journal ref: LMS J. Comput. Math. 17 (2014) 595-618

Approximate Dynamical Systems

Authors: K. R. W. Jones

Abstract: Working notes on setting up approximate dynamical systems and nonlinear eigenvalue problems, here embedded within the theory of complex nonlinear dynamics. Computations parallel those of linear quantum theory except that we use functional methods rather than Hilbert space. Working notes on setting up approximate dynamical systems and nonlinear eigenvalue problems, here embedded within the theory of complex nonlinear dynamics. Computations parallel those of linear quantum theory except that we use functional methods rather than Hilbert space. △ Less

Submitted 22 December, 2013; originally announced December 2013.

On an interpolative Schrödinger equation and an alternative classical limit

Authors: K. R. W. Jones

Abstract: We introduce a simple deformed quantization prescription that interpolates the classical and quantum sectors of Weinberg's nonlinear quantum theory. The result is a novel classical limit where $\hbar$ is kept fixed while a dimensionless mesoscopic parameter, $λ\in[0,1]$, goes to zero. Unlike the standard classical limit, which holds good up to a certain timescale, ours is a precise limit incorpora… ▽ More We introduce a simple deformed quantization prescription that interpolates the classical and quantum sectors of Weinberg's nonlinear quantum theory. The result is a novel classical limit where $\hbar$ is kept fixed while a dimensionless mesoscopic parameter, $λ\in[0,1]$, goes to zero. Unlike the standard classical limit, which holds good up to a certain timescale, ours is a precise limit incorporating true dynamical chaos, no dispersion, an absence of macroscopic superpositions and a complete recovery of the symplectic geometry of classical phase space. We develop the formalism, and discover that energy levels suffer a {\em generic perturbation\/}. Exactly, they become $E(λ^{2}\hbar)$, where $λ= 1$ gives the standard prediction. Exact interpolative eigenstates can be similarly constructed. Unlike the linear case, these need no longer be orthogonal. A formal solution for the interpolative dynamics is given, and we exhibit the free particle as one exactly soluble case. Dispersion is reduced, to vanish at $λ= 0$. We conclude by discussing some possible empirical signatures, and explore the obstructions to a satisfactory physical interpretation. △ Less

Submitted 15 December, 2013; originally announced December 2013.

Comments: 42 pages

The tame-wild principle for discriminant relations for number fields

Authors: John W. Jones, David P. Roberts

Abstract: Consider tuples of separable algebras over a common local or global number field, related to each other by specified resolvent constructions. Under the assumption that all ramification is tame, simple group-theoretic calculations give best possible divisibility relations among the discriminants. We show that for many resolvent constructions, these divisibility relations continue to hold even in th… ▽ More Consider tuples of separable algebras over a common local or global number field, related to each other by specified resolvent constructions. Under the assumption that all ramification is tame, simple group-theoretic calculations give best possible divisibility relations among the discriminants. We show that for many resolvent constructions, these divisibility relations continue to hold even in the presence of wild ramification. △ Less

Submitted 16 December, 2012; v1 submitted 28 August, 2012; originally announced August 2012.

Comments: 31 pages, 11 figures. Version 2 fixes a normalization error: |G| is corrected to n in Section 7.5. Version 3 fixes an off-by-one error in Section 6.3

MSC Class: 11S15; 11S20; 11R32

Journal ref: Algebra Number Theory 8 (2014) 609-645

Metric properties of mean wiggly continua

Authors: Jacek Graczyk, Peter W. Jones, Nicolae Mihalache

Abstract: We study lower and upper bounds of the Hausdorff dimension for sets which are wiggly at scales of positive density. The main technical ingredient is a construction, for every continuum K, of a Borel probabilistic measure μwith the property that on every ball B(x,r), with x in K, the measure is bounded by a universal constant multiple of r\exp(-g(x,r)), where g(x,r) > 0 is an explicit function. The… ▽ More We study lower and upper bounds of the Hausdorff dimension for sets which are wiggly at scales of positive density. The main technical ingredient is a construction, for every continuum K, of a Borel probabilistic measure μwith the property that on every ball B(x,r), with x in K, the measure is bounded by a universal constant multiple of r\exp(-g(x,r)), where g(x,r) > 0 is an explicit function. The continuum K is mean wiggly at exactly those points x in K where g(x, r) has a logarithmic growth to infinity as r goes to 0. The theory of mean wiggly continua leads, via the product formula for dimensions, to new estimates of the Hausdorff dimension for Cantor sets. We prove also that asymptotically flat sets are of Hausdorff dimension 1 and that asymptotically non-porous continua are of the maximal dimension. Another application of the theory is geometric Bowen's dichotomy for Topological Collet-Eckmann maps in rational dynamics. In particular, mean wiggly continua are dynamically natural as they occur as Julia sets of quadratic polynomials for parameters from a generic set on the boundary of the Mandelbrot set. △ Less

Submitted 29 March, 2012; originally announced March 2012.

MSC Class: 28A78; 37F10

Universal local parametrizations via heat kernels and eigenfunctions of the Laplacian

Authors: Peter W. Jones, Mauro Maggioni, Raanan Schul

Abstract: We use heat kernels or eigenfunctions of the Laplacian to construct local coordinates on large classes of Euclidean domains and Riemannian manifolds (not necessarily smooth, e.g. with $\mathcal{C}^α$ metric). These coordinates are bi-Lipschitz on embedded balls of the domain or manifold, with distortion constants that depend only on natural geometric properties of the domain or manifold. The pro… ▽ More We use heat kernels or eigenfunctions of the Laplacian to construct local coordinates on large classes of Euclidean domains and Riemannian manifolds (not necessarily smooth, e.g. with $\mathcal{C}^α$ metric). These coordinates are bi-Lipschitz on embedded balls of the domain or manifold, with distortion constants that depend only on natural geometric properties of the domain or manifold. The proof of these results relies on estimates, from above and below, for the heat kernel and its gradient, as well as for the eigenfunctions of the Laplacian and their gradient. These estimates hold in the non-smooth category, and are stable with respect to perturbations within this category. Finally, these coordinate systems are intrinsic and efficiently computable, and are of value in applications. △ Less

Submitted 8 October, 2008; v1 submitted 12 September, 2007; originally announced September 2007.

Comments: 41 pages, 2 figures. V2 some minor corrections. V3 more minor corrections. V4 minor corrections and significant rewriting for better readability

MSC Class: 58J65; 35P99.

Number fields unramified away from 2

Authors: John W. Jones

Abstract: We consider finite extensions of the rationals which are unramified except for at 2 and infinity. We show there are no such extensions of degrees 9 through 15. We consider finite extensions of the rationals which are unramified except for at 2 and infinity. We show there are no such extensions of degrees 9 through 15. △ Less

Submitted 16 October, 2007; v1 submitted 24 May, 2006; originally announced May 2006.

MSC Class: 11R21; 11S15

A Database of Local Fields

Authors: John W. Jones, David P. Roberts

Abstract: We describe our online database of finite extensions of the p-adic numbers, and how it can be used to facilitate local analysis of number fields. We describe our online database of finite extensions of the p-adic numbers, and how it can be used to facilitate local analysis of number fields. △ Less

Submitted 18 September, 2003; originally announced September 2003.

Journal ref: J. Symbolic Comput., 41, 80-97 (2006)

Fuchsian Groups, Quasiconformal Groups, and Conical Limit Sets

Authors: Peter W. Jones, Lesley A. Ward

Abstract: We construct examples showing that the normalized Lebesgue measure of the conical limit set of a uniformly quasiconformal group acting discontinuously on the disc may take any value between zero and one. This is in contrast to the cases of Fuchsian groups acting on the disc, conformal groups acting discontinuously on the ball in dimension three or higher, uniformly quasiconformal groups acting d… ▽ More We construct examples showing that the normalized Lebesgue measure of the conical limit set of a uniformly quasiconformal group acting discontinuously on the disc may take any value between zero and one. This is in contrast to the cases of Fuchsian groups acting on the disc, conformal groups acting discontinuously on the ball in dimension three or higher, uniformly quasiconformal groups acting discontinuously on the ball in dimension three or higher, and discrete groups of biholomorphic mappings acting on the ball in several complex dimensions. In these cases the normalized Lebesgue measure is either zero or one. △ Less

Submitted 13 April, 1996; originally announced April 1996.

Report number: MSRI 1996-024