SearcharxivSearch

arXiv subjects

John B. Little

Publications and source records attributed to John B. Little.

12 recordsLinked to original sources

Formal Abel relations for curves in characteristic $p$

In this working paper, we report recent work studying the form of Abel relations in the (generalized) Jacobians of reduced plane curves over an algebraically closed field of characteristic $p$ from a formal power series point of view. The ultimate goal (to be addressed in a subsequent paper) is to complete the work done in the author's PhD thesis from 1980 and to establish a general characteristic $p$ form of the converse of Abel's theorem discussed by Griffths and used in the Lie-Wirtinger theorem on double translation manifolds and the geometry of webs.

math.AG

An algebraic-geometric construction of "lump" solutions of the KP1 equation

In this note, we show how certain everywhere-regular real rational function solutions of the KP1 equation ("multi-lumps") can be constructed via the polynomial analogs of theta functions from singular rational curves with cusps. We use two methods, one direct and the other producing a degeneration of the well-understood soliton solutions from nodal singular curves. The second approach can be seen as a variation on the long-wave limit technique of Ablowitz and Satsuma, as developed by Zhang, Yang, Li, Guo, and Stepanyants. We present an explicit example of a three-lump solution constructed via the polynomial analog of the theta function from a rational curve with two cuspidal singular points, each with semigroup $\langle 2,5\rangle$. (In the theory of curve singularities, these are known as $A_4$ double points.) We conjecture that these ideas will generalize to give similar $M$-lump solutions with $M = \frac{N(N+1)}{2}$ for $N > 2$ starting from rational curves with two singular points with semigroup $\langle 2,2N+1\rangle$ ($A_{2N}$ double points). We also show a five-lump solution obtained from a curve with two cusps with semigroup $\langle 3,4\rangle$. Similar solutions have been constructed by other methods previously; our contribution is to show how they arise from the algebraic-geometric setting by considering singular curves with several cusps, as in previous work of Agostini, Celik, and Little.

math.AG

The Eclectic Content and Sources of Christopher Clavius's Geometria Practica

We consider the Geometria Practica of Christopher Clavius, S.J., a suprisingly eclectic and comprehensive textbook of practical geometry, whose first edition appeared in 1604. Our focus is on four particular sections from Books IV and VI where Clavius has either used his sources in an interesting way or where he has been uncharacteristically reticent about them. These include the treatments of Heron's Formula, Archimedes' Measurement of the Circle, four methods for constructing two mean proportionals between two lines, and finally an algorithm for computing nth roots of numbers.

math.HO

On Algebraic Theta Divisors and Rational Solutions of the KP Equation

In this paper we classify the singular curves whose theta divisors in their generalized Jacobians are algebraic, meaning that they are cut out by polynomial analogs of theta functions. We also determine the degree of an algebraic theta divisor in terms of the singularities of the curve. Furthermore, we show a precise relation between such algebraic theta functions and the corresponding tau functions for the KP hierarchy.

math.AG

Toric Codes and Finite Geometries

We show how the theory of affine geometries over the ring ${\mathbb Z}/\langle q - 1\rangle$ can be used to understand the properties of toric and generalized toric codes over ${\mathbb F}_q$. The minimum distance of these codes is strongly tied to the collections of lines in the finite geometry that contain subsets of the exponent vectors of the monomials that are evaluated to produce the standard generator matrix for the code. We argue that this connection is, in fact, even more direct than the connection with the lattice geometry of those exponent vectors considered as elements of ${\mathbb Z}^2$ or ${\mathbb R}^2$. This point of view should be useful both as a way to visualize properties of these codes and as a guide to heuristic searches for good codes constructed in this fashion. In particular, we will use these ideas to see a reason why these constructions have been so successful over the field ${\mathbb F}_8$, but less successful in other cases. This corrected version (posted on 3/6/2017) adds a necessary hypothesis in Proposition 2.4. A counterexample to the previous version was pointed out to the author by Melda Görür and the author thanks her for bringing that to his attention. Theorem 3.2 and Corollary 3.3 are also reformulated so they do not refer to the new more restricted Proposition 2.4.

cs.IT

Remarks on generalized toric codes

This note presents some new information on how the minimum distance of the generalized toric code corresponding to a fixed set of integer lattice points S in R^2 varies with the base field. The main results show that in some cases, over sufficiently large fields, the minimum distance of the code corresponding to a set S will be the same as that of the code corresponding to the convex hull of S. In an example, we will also discuss a [49,12,28] generalized toric code over GF(8), better than any previously known code according to M. Grassl's online tables, as of July 2011.

cs.IT

The Ubiquity of Order Domains for the Construction of Error Control Codes

The order domains are a class of commutative rings introduced by Høholdt, van Lint, and Pellikaan to simplify the theory of error control codes using ideas from algebraic geometry. The definition is largely motivated by the structures utilized in the Berlekamp-Massey-Sakata (BMS) decoding algorithm, with Feng-Rao majority voting for unknown syndromes, applied to one-point geometric Goppa codes constructed from curves. However, order domains are much more general, and O'Sullivan has shown that the BMS algorithm can be applied to decode all codes constructed from order domains by a suitable generalization of Goppa's procedure for curves. In this article we will first discuss the connection between order domains and valuations on function fields over a finite field. Under some mild conditions, we will see that a general projective variety over a finite field has projective models which can be used to construct order domains and Goppa-type codes for which the BMS algorithm is applicable. We will then give a slightly different interpretation of Geil and Pellikaan's extrinsic characterization of order domains via the theory of Gröbner bases, and show that their results are related to the existence of toric deformations of varieties. To illustrate the potential usefulness of these observations, we present a series of new explicit examples of order domains associated to varieties with many rational points over finite fields: Hermitian hypersurfaces, Grassmannians, and flag varieties.

math.AC

Algebraic geometry codes from higher dimensional varieties

This paper is a general survey of literature on Goppa-type codes from higher dimensional algebraic varieties. The construction and several techniques for estimating the minimum distance are described first. Codes from various classes of varieties, including Hermitian hypersurfaces, Grassmannians, flag varieties, ruled surfaces over curves, and Deligne-Lusztig varieties are considered. Connections with the theories of toric codes and order domains are also briefly indicated.

cs.IT

Determinants Associated to Zeta Matrices of Posets

We consider the matrix ${\frak Z}_P=Z_P+Z_P^t$, where the entries of $Z_P$ are the values of the zeta function of the finite poset $P$. We give a combinatorial interpretation of the determinant of ${\frak Z}_P$ and establish a recursive formula for this determinant in the case in which $P$ is a boolean algebra.

math.CO

A key equation and the computation of error values for codes from order domains

We study the computation of error values in the decoding of codes constructed from order domains. Our approach is based on a sort of analog of the key equation for decoding Reed-Solomon and BCH codes. We identify a key equation for all codes from order domains which have finitely-generated value semigroups; the field of fractions of the order domain may have arbitrary transcendence degree, however. We provide a natural interpretation of the construction using the theory of Macaulay's inverse systems and duality. O'Sullivan's generalized Berlekamp-Massey-Sakata (BMS) decoding algorithm applies to the duals of suitable evaluation codes from these order domains. When the BMS algorithm does apply, we will show how it can be understood as a process for constructing a collection of solutions of our key equation.

math.AC

Solving the Selesnick-Burrus Filter Design Equations Using Computational Algebra and Algebraic Geometry

In a recent paper, I. Selesnick and C.S. Burrus developed a design method for maximally flat FIR low-pass digital filters with reduced group delay. Their approach leads to a system of polynomial equations depending on three integer design parameters $K,L,M$. In certain cases (their ``Region I''), Selesnick and Burrus were able to derive solutions using only linear algebra; for the remaining cases ("Region II''), they proposed using Gröbner bases. This paper introduces a different method, based on multipolynomial resultants, for analyzing and solving the Selesnick-Burrus design equations. The results of calculations are presented, and some patterns concerning the number of solutions as a function of the design parameters are proved.

math.NA

Another Relation Between Approaches to the Schottky Problem

The recent extensive work on different approaches to the Schottky problem has produced marked progress on several fronts. At the same time, it has become apparent that there exist very close connections between the various characterizations of Jacobian varieties described in Mumford's classic lectures {\it Curves and Their Jacobians\/}. Until now, the approach via double translation manifolds has seemed to be quite different from other approaches to the Schottky problem. The purpose of this paper is to bring this last approach ``into the fold'' as it were, and to show precisely how it relates to characterizations of Jacobians based on trisecants and flexes of the Kummer variety, and the K.P. equation.

alg-geom