138 results on '"Nigel Boston"'
Search Results
102. A Note on Beauville p-Groups
- Author
-
Ben Fairbairn, Nathan Barker, and Nigel Boston
- Subjects
Beauville group ,20D15 ,General Mathematics ,media_common.quotation_subject ,Group Theory (math.GR) ,30F10 ,Infinity ,Prime (order theory) ,Beauville surface ,Combinatorics ,Mathematics - Algebraic Geometry ,$p$-groups ,FOS: Mathematics ,Order (group theory) ,20E34 ,14J29 ,Mathematics - Group Theory ,Algebraic Geometry (math.AG) ,Beauville structure ,Mathematics ,media_common - Abstract
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., Comment: Some typos corrected
- Published
- 2011
- Full Text
- View/download PDF
103. The proportion of fixed-point-free elements of a transitive permutation group
- Author
-
Judy Leavitt, Tuval Foguel, Nigel Boston, Paul J. Gies, Walter Dabrowski, David A. Jackson, and David T. Ose
- Subjects
Discrete mathematics ,Base (group theory) ,Combinatorics ,Algebra and Number Theory ,Irreducible polynomial ,Symmetric group ,Partial permutation ,Primitive permutation group ,Permutation group ,Frobenius group ,Mathematics ,Cyclic permutation - Abstract
In 1990 Hendrik W. Lenstra, Jr. asked the following question: if G is a transitive permutation group of degree n and A is the set of elements of G that move every letter, then can one find a lower bound (in terms of n) for f(G) = |A|/|G|? Shortly thereafter, Arjeh Cohen showed that 1 n is such a bound. Lenstra’s problem arose from his work on the number field sieve [2]. A simple example of how f(G) arises in number theory is the following: if h is an irreducible polynomial over the integers, consider the proportion
- Published
- 1993
104. Representations related to CM elliptic curves
- Author
-
Nigel Boston and Stephen V. Ullom
- Subjects
Deformation ring ,Pure mathematics ,Elliptic curve ,Absolutely irreducible ,General Mathematics ,Algebraic number theory ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,Galois group ,Algebraic extension ,Finite set ,Prime (order theory) ,Mathematics - Abstract
In [10], Mazur showed that the p-adic lifts of a given absolutely irreducible representation are parametrized by a universal deformation ξ:Gℚ, S → GL2() where has the form . (Here Gℚ, S is the Galois group over ℚ of a maximal algebraic extension unramified outside a finite set S of rational primes.) In [1, 3, 10], situations were investigated where the universal deformation ring turned out to be ℚp[[T1T2, T3]] (i.e. r = 3, I = (0)). In [2], the tame relation of algebraic number theory led to more complicated universal deformation rings, ones whose prime spectra consist essentially of four-dimensional sheets.
- Published
- 1993
105. Distributed curve matching in camera networks using projective joint invariant signatures
- Author
-
Nigel Boston, Yu Hen Hu, Raman Arora, and Charles R. Dyer
- Subjects
Projective harmonic conjugate ,Real projective line ,Computer science ,Complex projective space ,Projective space ,Topology ,Rational normal curve ,Pencil (mathematics) ,Real projective space ,Twisted cubic - Abstract
An efficient method based on projective joint invariant signatures is presented for distributed matching of curves in a camera network. The fundamental projective joint invariants for curves in the real projective space are the volume cross-ratios. A curve in m-dimensional projective space is represented by a signature manifold comprising n-point projective joint invariants, where n is at least m + 2. The signature manifold can be used to establish equivalence of two curves in projective space. However, without correspondence between the two curves, matching signature manifolds is a computational challenge. In this paper we overcome this challenge by finding discriminative sections of signature manifolds consistently across varying viewpoints and scoring the similarity between these sections. This motivates a simple yet powerful method for distributed curve matching in a camera network. Experimental results with real data demonstrate the classification performance of the proposed algorithm with respect to the size of the sections of the invariant signature in various noisy conditions.
- Published
- 2010
106. Robust and Accurate Curvature Estimation Using Adaptive Line Integrals
- Author
-
Nigel Boston, Kerry R. Widder, Wei-Yang Lin, Yu Hen Hu, and Yen-Lin Chiu
- Subjects
Mathematical optimization ,Computation ,lcsh:Electronics ,Line integral ,lcsh:TK7800-8360 ,Curvature ,lcsh:Telecommunication ,Hardware and Architecture ,Robustness (computer science) ,lcsh:TK5101-6720 ,Signal Processing ,Electrical and Electronic Engineering ,Discrete sampling ,Algorithm ,Mathematics - Abstract
The task of curvature estimation from discrete sampling points along a curve is investigated. A novel curvature estimation algorithm based on performing line integrals over an adaptive data window is proposed. The use of line integrals makes the proposed approach inherently robust to noise. Furthermore, the accuracy of curvature estimation is significantly improved by using wild bootstrapping to adaptively adjusting the data window for line integral. Compared to existing approaches, this new method promises enhanced performance, in terms of both robustness and accuracy, as well as low computation cost. A number of numerical examples using synthetic noisy and noiseless data clearly demonstrated the advantages of this proposed method over state-of-the-art curvature estimation algorithms.
- Published
- 2010
107. An integral-based curvature estimator and its application in face recognition
- Author
-
Yen-Lin Chiu, Yu Hen Hu, Nigel Boston, Wei-Yang Lin, and Kerry R. Widder
- Subjects
Discriminative model ,Computer science ,business.industry ,Robustness (computer science) ,Feature extraction ,Line integral ,Pattern recognition ,Artificial intelligence ,business ,Curvature ,Facial recognition system ,Face Recognition Grand Challenge - Abstract
This paper addresses an old, yet challenging issue — curvature estimation from discrete sampling points over a curve. We introduce a novel algorithm based on performing line integrals. The proposed method is computationally more efficient than the previous integration-based methods because of the constant computation time. Qualitative tests on synthesized shapes in the presence of noise are performed, which show the robustness of our approach. Also, the discriminative capability of the estimated curvature is evaluated by conducting experiments on the FRGC (Face Recognition Grand Challenge) v2.0 dataset which contains 4007 3D facial images recorded from 466 subjects. The results show that recognition performance is significantly improved by using our curvature estimation method. This novel approach presents potential for a broad class of multimedia applications.
- Published
- 2010
108. Spaces of constant rank matrices over GF(2)
- Author
-
Nigel Boston
- Subjects
Combinatorics ,Discrete mathematics ,Matrix (mathematics) ,Algebra and Number Theory ,Conjecture ,Rank (graph theory) ,Constant (mathematics) ,Space (mathematics) ,GF(2) ,Mathematics - Abstract
For each n, we consider whether there exists an (n + 1)-dimensional space of n by n matrices over GF(2) in which each nonzero matrix has rank n−1. Examples are given for n =3 ,4, and 5, together with evidence for the conjecture that none exist for n>8.
- Published
- 2010
109. Some cases of the Fontaine-Mazur conjecture
- Author
-
Nigel Boston
- Subjects
Pure mathematics ,Algebra and Number Theory ,Galois cohomology ,Mathematics::Number Theory ,Fundamental theorem of Galois theory ,Fontaine–Mazur conjecture ,Galois group ,Galois module ,Collatz conjecture ,Embedding problem ,symbols.namesake ,Mathematics::K-Theory and Homology ,symbols ,Galois extension ,Mathematics::Representation Theory ,Mathematics - Abstract
We prove more special cases of the Fontaine–Mazur conjecture regarding p -adic Galois representations unramified at p , and we present evidence for and consequences of a generalization of it.
- Published
- 1992
110. Summation invariant multi-region fusion comparison
- Author
-
Nigel Boston, Yu Hen Hu, Kerry R. Widder, and Wei-Yang Lin
- Subjects
Fusion ,Image fusion ,business.industry ,Pattern recognition ,Artificial intelligence ,Overall performance ,Invariant (mathematics) ,business ,Face Recognition Grand Challenge ,Facial recognition system ,Mathematics - Abstract
Applications of summation invariant features to multi-region face recognition are explored in this work. Earlier, we have demonstrated the potential benefits of this approach. In this paper, we provide a systematic, thorough comparison of all the summation invariant features derived to-date, and propose a new multi-feature fusion approach to further improve the overall performance. We also identify summation invariant features that yield superior performance for face recognition applications. Special attention is given to the implementation of 3D summation invariants. Extensive experimental results with the FRGC (Face Recognition Grand Challenge) 2.0 data set confirms the advantage of summation invariant features for 3D face recognition.
- Published
- 2009
111. Elliptic and Hyperelliptic Curve Cryptography
- Author
-
Matthew Darnall and Nigel Boston
- Subjects
Elliptic curve point multiplication ,Pure mathematics ,Jacobian curve ,Edwards curve ,Hyperelliptic curve cryptography ,Hessian form of an elliptic curve ,Elliptic curve cryptography ,Hyperelliptic curve ,Tripling-oriented Doche–Icart–Kohel curve ,Mathematics - Published
- 2009
112. Pro-p groups and towers of rational homology spheres
- Author
-
Jordan S. Ellenberg and Nigel Boston
- Subjects
20E18 ,Pure mathematics ,Mathematics - Number Theory ,Betti number ,pro–$p$ group ,Geometric Topology (math.GT) ,rational homology sphere ,Homology (mathematics) ,hyperbolic 3–manifold ,Mathematics::Algebraic Topology ,Mathematics::Geometric Topology ,Mathematics - Geometric Topology ,Number theory ,FOS: Mathematics ,SPHERES ,Geometry and Topology ,Number Theory (math.NT) ,20E18, 22E40 ,Mathematics::Symplectic Geometry ,22E40 ,Mathematics - Abstract
In the preceding paper, Calegari and Dunfield exhibit a sequence of hyperbolic 3-manifolds which have increasing injectivity radius, and which, subject to some conjectures in number theory, are rational homology spheres. We prove unconditionally that these manifolds are rational homology spheres, and give a sufficient condition for a tower of hyperbolic 3-manifolds to have first Betti number 0 at each level. The methods involved are purely pro-p group theoretical., Comment: This is the version published by Geometry & Topology on 2 April 2006
- Published
- 2009
- Full Text
- View/download PDF
113. Explicit deformation of Galois representations
- Author
-
Nigel Boston
- Subjects
Pure mathematics ,Galois cohomology ,General Mathematics ,Fundamental theorem of Galois theory ,Galois group ,Galois module ,Algebra ,Differential Galois theory ,Normal basis ,Embedding problem ,symbols.namesake ,symbols ,Galois extension ,Mathematics - Published
- 1991
114. Counterexamples to a conjecture of Lemmermeyer
- Author
-
Nigel Boston and C. R. Leedham-Green
- Subjects
Discrete mathematics ,Pure mathematics ,Galois cohomology ,Mathematics::Number Theory ,General Mathematics ,Fundamental theorem of Galois theory ,Abelian extension ,Galois group ,Galois module ,Differential Galois theory ,Embedding problem ,symbols.namesake ,symbols ,Galois extension ,Mathematics - Abstract
We produce infinitely many finite 2-groups that do not embed with index 2 in any group generated by involutions. This disproves a conjecture of Lemmermeyer and restricts the possible Galois groups of unramified 2-extensions, Galois over Q, of quadratic number fields.
- Published
- 1999
115. Planar-projective summation invariant features for camera networks
- Author
-
Yu Hen Hu, Kerry R. Widder, Nigel Boston, and Wei-Yang Lin
- Subjects
Algebra ,Homogeneous coordinates ,Moving frame ,law ,3D single-object recognition ,Euclidean geometry ,Cognitive neuroscience of visual object recognition ,Cartesian coordinate system ,Affine transformation ,Invariant (mathematics) ,Topology ,law.invention ,Mathematics - Abstract
Recently a novel family of geometrically invariant features, called summation invariant, has been developed and applied to object recognition. The range of this family of features is expanded here beyond the Euclidean and affine transformation groups to planar projective transformations. Whereas other methods require small changes in view, or collinear points, this method removes those limitations and allows recognition of general planar objects over wide ranges of viewpoint. The derivation of these new features requires the innovation of deriving the invariants in the homogeneous coordinate space, yet yields results formulated in terms of Cartesian coordinates. Simulations demonstrate the effectiveness of this new approach to object recognition under projective transformations like those encountered in camera networks.
- Published
- 2008
116. Optimal linear combination of facial regions for improving identification performance
- Author
-
Xueqin Zhang, Wei-Yang Lin, Nigel Boston, Yu Hen Hu, and Kin-Chung Wong
- Subjects
Quality Control ,Biometry ,Computer science ,Feature extraction ,ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION ,Information Storage and Retrieval ,Facial recognition system ,Models, Biological ,Sensitivity and Specificity ,Pattern Recognition, Automated ,Imaging, Three-Dimensional ,Discriminative model ,Artificial Intelligence ,Image Interpretation, Computer-Assisted ,Humans ,Computer vision ,Computer Simulation ,Electrical and Electronic Engineering ,Invariant (mathematics) ,Linear combination ,Facial expression ,business.industry ,Reproducibility of Results ,Pattern recognition ,General Medicine ,Linear discriminant analysis ,Image Enhancement ,Face Recognition Grand Challenge ,Computer Science Applications ,Human-Computer Interaction ,Control and Systems Engineering ,Computer Science::Computer Vision and Pattern Recognition ,Face ,Linear Models ,Artificial intelligence ,business ,Software ,Algorithms ,Information Systems - Abstract
This paper presents a novel 3-D multiregion face recognition algorithm that consists of new geometric summation invariant features and an optimal linear feature fusion method. A summation invariant, which captures local characteristics of a facial surface, is extracted from multiple subregions of a 3-D range image as the discriminative features. Similarity scores between two range images are calculated from the selected subregions. A novel fusion method that is based on a linear discriminant analysis is developed to maximize the verification rate by a weighted combination of these similarity scores. Experiments on the Face Recognition Grand Challenge V2.0 dataset show that this new algorithm improves the recognition performance significantly in the presence of facial expressions.
- Published
- 2007
117. 3D Face Recognition Under Expression Variations using Similarity Metrics Fusion
- Author
-
Yu Hen Hu, Kin-Chung Wong, Nigel Boston, and Wei-Yang Lin
- Subjects
Facial expression ,Image fusion ,business.industry ,Computer science ,Speech recognition ,Feature extraction ,ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION ,Pattern recognition ,Linear discriminant analysis ,Face Recognition Grand Challenge ,Facial recognition system ,Robustness (computer science) ,Three-dimensional face recognition ,Artificial intelligence ,business - Abstract
We present a novel 3D face recognition method that incorporates summation invariant features extracted from multiple sub-regions of a facial range images, and optimal fusion of similarity scores between corresponding sub-regions. The key innovation of this paper is the development of the fusion-based face recognition algorithm that delivers significant performance enhancement while requiring very little computation. Experiments on the FRGC (Face Recognition Grand Challenge) version 2 dataset show that our algorithm improves the recognition performance significantly in the presence of facial expressions.
- Published
- 2007
118. A Handwritten Digit Recognition Algorithm using Two-Dimensional Hidden Markov Models for Feature Extraction
- Author
-
Jay D. Wierer and Nigel Boston
- Subjects
Algebraic statistics ,business.industry ,Speech recognition ,Feature extraction ,Pattern recognition ,Solid modeling ,Image (mathematics) ,k-nearest neighbors algorithm ,Handwriting recognition ,Computer Science::Computer Vision and Pattern Recognition ,Artificial intelligence ,Hidden Markov model ,business ,Algorithm ,MNIST database ,Mathematics - Abstract
We propose a handwritten digit recognition algorithm that uses 4×4 2D hidden Markov models to extract basic features from an unclassified image. The novel idea given here is that we use powerful techniques from the emerging mathematical fields of tropical geometry and algebraic statistics to determine parameters for the model. The distance between the unclassified images and prototypes is calculated in stages, where estimates of the distance become finer as obviously distant prototypes are discarded from the pool of possible K-nearest neighbors. Our algorithm achieves a 95.51 percent recognition rate with zero rejection on the MNIST database of handwritten digits.
- Published
- 2007
119. Multiscale Integral Invariants For Facial Landmark Detection in 2.5D Data
- Author
-
Nigel Boston, A. Slater, and Yu Hen Hu
- Subjects
Computer science ,business.industry ,Feature extraction ,Pattern recognition ,Facial recognition system ,Face Recognition Grand Challenge ,Object-class detection ,Feature (computer vision) ,Three-dimensional face recognition ,Computer vision ,Artificial intelligence ,Face detection ,business ,Feature detection (computer vision) - Abstract
In this paper, we introduce a novel 3D surface landmark detection method using a 3D integral invariant feature extended from that proposed by Manay et al. for 2D contours. We apply this new feature to detect the nose tips of 2.5D range images of human faces. Using the Face Recognition Grand Challenge 2.0 dataset, our method compares favorably with a recently proposed competing method.
- Published
- 2007
120. A Cryptanalytic Method for Embedding Video Watermarks
- Author
-
Nigel Boston and Qian Zhang
- Subjects
Theoretical computer science ,business.industry ,Computer science ,Data_MISCELLANEOUS ,Frame (networking) ,Cryptography ,Plaintext ,Watermark ,computer.software_genre ,Encryption ,law.invention ,law ,Ciphertext ,Key (cryptography) ,Data mining ,Cryptanalysis ,business ,computer ,Digital watermarking - Abstract
Digital video watermarking is increasingly important. Video signals are very susceptible to attacks like frame averaging, dropping, swapping, collusion. This paper presents a new video watermarking method. The most important information to be watermarked such as a company's name is hidden in a sequence of statistical data, which is then embedded into each frame. Every segment of the statistical data is typically enough for the key watermark extraction. A very detailed example of this method is given, based on the cryptanalysis. The most important information is used as the key to encrypt a plaintext. The plaintext can be some less important information about the product. The ciphertext is then embedded in the video frames. With statistical knowledge of the English language, we can quickly recover the key. Mathematical analysis and simulation results are given in the paper.
- Published
- 2006
121. Summation Invariant and Its Applications to Shape Recognition
- Author
-
Yu Hen Hu, Nigel Boston, and Wei-Yang Lin
- Subjects
Wavelet ,Transformation group ,business.industry ,Invariant feature ,Differential invariant ,Cognitive neuroscience of visual object recognition ,Pattern recognition ,Artificial intelligence ,Invariant (mathematics) ,business ,Object detection ,Mathematics - Abstract
A novel summation invariant of curves under transformation group action is proposed. This new invariant is less sensitive to noise than the differential invariant and does not require an analytical expression for the curve as the integral invariant does. We exploit this summation invariant to define a shape descriptor called a semi-local summation invariant and use it as a new feature for shape recognition. Tested on a database of noisy shapes of fish, it was observed that the summation invariant feature exhibited superior discriminating power compared to that of wavelet-based invariant features.
- Published
- 2006
122. Reducing the Fontaine-Mazur Conjecture to Group Theory
- Author
-
Nigel Boston
- Subjects
Combinatorics ,Conjecture ,Mathematics::Number Theory ,Fontaine–Mazur conjecture ,Galois theory ,Galois group ,Algebraic number field ,Quantum field theory ,Group theory ,Mathematics ,Knot theory - Abstract
Galois groups of infinite p-extensions of number fields unramified at p are a complete mystery. We find by computer a family of pro-p groups that satisfy everything that such a Galois group must, and give evidence for the conjecture that these are the only such groups. This suggests that these mysterious Galois groups indeed have a specific form of presentation. There are surprising connections with knot theory and quantum field theory. Finally, the Fontaine-Mazur conjecture reduces to a purely group-theoretic conjecture, and evidence for this conjecture and an extension of it is given.
- Published
- 2006
123. Fusion of Summation Invariants in 3D Human Face Recognition
- Author
-
Yu Hen Hu, Nigel Boston, Kin-Chung Wong, and Wei-Yang Lin
- Subjects
Fusion ,Depth map ,Computer science ,business.industry ,Computer Science::Computer Vision and Pattern Recognition ,Feature extraction ,Pattern recognition ,Computer vision ,Artificial intelligence ,Invariant (mathematics) ,business ,Facial recognition system ,Face Recognition Grand Challenge - Abstract
A novel family of 2D and 3D geometrically invariant features, called summation invariants is proposed for the recognition of the 3D surface of human faces. Focusing on a rectangular region surrounding the nose of a 3D facial depth map, a subset of the so called semi-local summation invariant features is extracted. Then the similarity between a pair of 3D facial depth maps is computed to determine whether they belong to the same person. Out of many possible combinations of these set of features, we select, through careful experimentation, a subset of features that yields best combined performance. Tested with the 3D facial data from the on-going Face Recognition Grand Challenge v1.0 dataset, the proposed new features exhibit significant performance improvement over the baseline algorithm distributed with the datase
- Published
- 2006
124. Face Recognition using 3D Summation Invariant Features
- Author
-
Nigel Boston, Kin-Chung Wong, Wei-Yang Lin, and Yu Hu
- Subjects
Digital image ,Computer science ,business.industry ,3D single-object recognition ,Feature extraction ,Euclidean geometry ,Pattern recognition ,Artificial intelligence ,Invariant (mathematics) ,business ,Facial recognition system ,Face Recognition Grand Challenge - Abstract
In this paper, we developed a family of 2D and 3D invariant features with applications to 3D human faces recognition. The main contributions of this paper are: (a) systematically deriving a family of novel features, called summation invariant that are invariant to Euclidean transformation in both 2D and 3D; (b) developing an effective method to apply summation invariant to the 3D face recognition problem. Tested with the 3D data from the Face Recognition Grand Challenge v1.0 dataset, the proposed new features exhibit achieves a performance that rivals the best 3D face recognition algorithms reported so far.
- Published
- 2006
125. Near-Optimal Codebook Constructions for Limited Feedback Beamforming in Correlated MIMO Channels with Few Antennas
- Author
-
Akbar M. Sayeed, Nigel Boston, and Vasanthan Raghavan
- Subjects
Beamforming ,Covariance matrix ,Control theory ,MIMO ,Transmitter ,Codebook ,Data_CODINGANDINFORMATIONTHEORY ,Covariance ,Topology ,Precoding ,Computer Science::Information Theory ,Mathematics ,Communication channel - Abstract
Transmit beamforming with receive combining is a low-complexity solution that achieves the full diversity afforded by a multi-antenna channel. Building on our recent result which shows that even channel statistics are sufficient to achieve perfect feedback performance (in the limit of antenna dimensions) with beamforming and combining, we propose near-optimal codebook designs for correlated channels with a focus on few antennas at the transmitter and the receiver. In the process, we refine the answer to the question: When are channel statistics sufficient to achieve near perfect feedback performance? We show that the condition number of the transmit and receive covariance matrices hold the key to this question. We partition the transmit and receive covariance spaces into 4 regions based on well and ill-conditioning of the covariance matrices and show that the number of bits required for near perfect feedback performance is dependent on the condition numbers of these matrices.
- Published
- 2006
126. Applications of Computer Algebra
- Author
-
Friedrich W. Hehl, Jochem Fleischer, Matthias Steinhauser, Georg Weiglein, Jos Vermaseren, Christian Heinicke, Ilias Kotsireas, Eberhard Schrüfer, Yuri N. Obukhov, Sergey I. Tertychniy, Thomas Wolf, Gerd Baumann, Andreas Dolzmann, Thomas Sturm, Volker Weispfenning, Larry A. Lambe, Joachim Apel, István Heckenberger, Axel Schüler, Wolfram Koepf, Karin Gatermann, Thomas Beth, Karsten Homann, Andreas Klappenecker, Jörn Müller-Quade, Armin Nückel, Markus Roggenbach, Volker Strehl, Kurt Behnke, Karl G. Roesner, Johannes Grabmeier, Michael Clausen, Frank Kurth, Peter Kovács, Laureano Gonzalez-Vega, Andreas W. M. Dress, Herbert Melenk, Bert K. Waits, Paul Drijvers, John Berry, Ted Graham, Jenny Sharp, Stewart Townend, Anthony Watkins, Nigel Boston, David Fowler, Oliver Gloor, Gerhard Hiss, and Gert-Martin Greuel
- Subjects
Development (topology) ,Computer science ,business.industry ,Spectrum (functional analysis) ,Symbolic computation ,Software engineering ,business ,Range (computer programming) - Abstract
Applications of computer algebra range over the entire spectrum of research, development, production, and education. Computer algebra problems arise in industry, commerce, software engineering, and also in banking and insurance applications, although sometimes hidden. We compiled several interesting applications which are exemplary for the most important areas.
- Published
- 2003
127. Genus Two Hyperelliptic Curve Coprocessor
- Author
-
Nigel Boston, T. Clancy, Y. Liow, and J. Webster
- Subjects
Discrete mathematics ,Coprocessor ,business.industry ,Cryptography ,Elliptic curve ,Jacobian curve ,Genus (mathematics) ,ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION ,Hyperelliptic curve cryptography ,Arithmetic ,business ,Extended Euclidean algorithm ,Hyperelliptic curve ,Mathematics - Abstract
Hyperelliptic curve cryptography with genus larger than one has not been seriously considered for cryptographic purposes because many existing implementations are significantly slower than elliptic curve versions with the same level of security. In this paper, the first ever complete hardware implementation of a hyperelliptic curve coprocessor is described. This coprocessor is designed for genus two curves over F2113. Additionally, a modification to the Extended Euclidean Algorithm is presented for the GCD calculation required by Cantor's algorithm. On average, this new method computes the GCD in one-fourth the time required by the Extended Euclidean Algorithm.
- Published
- 2003
128. Makhoul's conjecture for p = 2
- Author
-
Nigel Boston
- Subjects
Causality (physics) ,Discrete mathematics ,Conjecture ,Order (group theory) ,Digital signal (signal processing) ,Counterexample ,Mathematics - Abstract
The IEEE Signal Processing Society (2000) offered a prize of $1000 for proving or disproving Makhoul's conjecture, which says that, given a causal all-pass digital signal x/sub n/ of order p, with nonzero x/sub 0/, the location of the peak of x/sub n/ always lies between n = 0 and n = 2p-1. The case of p = 1 is trivial, and no further progress had been made in 25 years until Lertniphonphun, Rajagopal, and Wenzel gave counter examples for large p. In this paper, Makhoul's conjecture is proven for p = 2. It is also shown that the conjecture fails dramatically in the case of complex coefficients.
- Published
- 2002
129. p-adic Galois Representations and pro-p Galois Groups
- Author
-
Nigel Boston
- Subjects
Embedding problem ,Differential Galois theory ,Pure mathematics ,symbols.namesake ,Galois cohomology ,Mathematics::Number Theory ,Fundamental theorem of Galois theory ,Galois group ,symbols ,Splitting of prime ideals in Galois extensions ,Galois extension ,Galois module ,Mathematics - Abstract
We study the intimate interactions between the theory of p-adic Galois representations and the structure of pro-p Galois groups. In particular, information passes in both directions. Algebraic geometry, for instance in the guise of elliptic curves and modular forms, yields naturally occurring Galois representations, whereas on the other side, co-homological techniques and variants on class field theory tell us about the generators and relations of the pro-p Galois groups. In the case of pro-p extensions ramified at (primes above) p, this combination works together rather well to elucidate the structure of the set of Galois representations. In the case of pro-p extensions unramified at p,both sides are poorly understood, but there is the fundamental conjecture of Fontaine—Mazur claiming that such representations should have finite image (since algebraic geometry can produce no others). This has very interesting consequences for the corresponding pro-p Galois groups, possibly producing a new family of just-infinite pro-p groups.
- Published
- 2000
130. A probabilistic generalization of the Riemann zeta function
- Author
-
Nigel Boston
- Subjects
Discrete mathematics ,Riemann Xi function ,Arithmetic zeta function ,Riemann hypothesis ,symbols.namesake ,Explicit formulae ,symbols ,Proof of the Euler product formula for the Riemann zeta function ,Prime-counting function ,Prime zeta function ,Mathematics ,Riemann zeta function - Abstract
There is an old problem that asks for the probability that two integers chosen at random are relatively prime. The informal solution goes as follows.
- Published
- 1996
131. A refinement of the Faltings–Serre method
- Author
-
Nigel Boston
- Subjects
Algebra ,Number theory ,Applied mathematics ,Mathematics - Published
- 1995
132. Families of Galois representations—increasing the ramification
- Author
-
Nigel Boston
- Subjects
Discrete mathematics ,Pure mathematics ,11F80 ,Galois cohomology ,General Mathematics ,Fundamental theorem of Galois theory ,Abelian extension ,Galois group ,Splitting of prime ideals in Galois extensions ,11F33 ,Galois module ,Embedding problem ,symbols.namesake ,symbols ,Galois extension ,Mathematics - Published
- 1992
133. Deformations of Galois Representations Associated to the Cusp Form △
- Author
-
Nigel Boston
- Subjects
Algebra ,Pure mathematics ,Elliptic curve ,Profinite group ,Mathematics::Number Theory ,Modular form ,Galois group ,Algebraic extension ,Galois module ,Finite set ,Cusp form ,Mathematics - Abstract
In [6] Mazur showed how there is a “versal deformation” parametrising the collection of p-adic representations of a profinite group G lifting a given representation \(\bar p\,:\,G\, \to \,G{L_2}\,\left( {{\mathbb{F}_p}} \right).\) Of particular interest are the \(\bar p\,\) associated to modular forms and elliptic curves in which G is the Galois group of a maximal algebraic extension of Q unramified outside a finite set S of rational primes containing p.
- Published
- 1990
134. The minimum distance of the [137,69] binary quadratic residue code
- Author
-
Nigel Boston
- Subjects
Discrete mathematics ,Concatenated error correction code ,Library and Information Sciences ,Quadratic residue code ,Linear code ,Computer Science Applications ,Gray code ,Combinatorics ,Cyclic code ,Binary code ,Low-density parity-check code ,Hamming code ,Information Systems ,Mathematics - Published
- 1999
135. Perfect Groups
- Author
-
Nigel Boston, Derek F. Holt, and W. Plesken
- Subjects
Computational Mathematics ,Algebra and Number Theory ,Applied Mathematics - Published
- 1991
136. A class of soluble groups
- Author
-
Nigel Boston
- Subjects
Combinatorics ,Finite group ,Algebra and Number Theory ,Character (mathematics) ,Algebraic number theory ,Galois group ,Galois extension ,Discrete valuation ,Valuation ring ,Group theory ,Mathematics - Abstract
In this paper a problem in group theory is solved to produce an interesting class of groups. The motivation, however, comes from algebraic number theory and in particular the Artin representation. To describe this representation we follow [5, Chap. IV and VI]. Let K and L be local fields, i.e., fields complete with respect to a discrete valuation and with perfect residue field. Let L have valuation ring A, and valuation v, extending the valuation on K. Suppose that L/K is a finite Galois extension with Galois group H. Then H has a normal series consisting of the ramification groups Hj = {O E H: V~(UX X) > j + 1 V x E A,}, j = -1, 0, I,2 ,..., which produces a character of H, due to Artin, as described in Theorem 1 below. The notation adopted in this paper is as follows. If G is a finite group, then Irr(G) denotes its set of irreducible characters. l,, rG, and U, = rc 1, are its principal, regular, and augmentation characters, respectively, whilst unless otherwise stated xc and xG will mean the restriction of x to G and the character of G induced from x.
- Full Text
- View/download PDF
137. Explicit Universal Deformations of Galois Representations
- Author
-
Nigel Boston and Barry Mazur
- Subjects
Pure mathematics ,Galois module ,Mathematics - Published
- 1989
138. Deformations for Function Fields
- Author
-
Ose, David T
- Published
- 1998
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.