Primes represented by binary quadratic forms

In 1882 Weber showed that any primitive binary quadratic form with integral coefficients represents infinitely many primes in any arithmetic progression consistent with the generic characters of the form. In this paper it is shown that for any two primitive integral binary quadratic forms with unequal but fundamental discriminants, there is an infinite set of prime numbers p in any arithmetic progression consistent with the generic characters of the forms such that both forms represent p.     

A two-dimensional Minkowski ?(x) function

A function from a triangle to itself is defined that has both interesting number theoretic and analytic properties. This function is shown to be a natural generalization of the classical Minkowski ?(x) function. It is shown there exists a natural class of pairs of cubic irrational numbers in the same cubic number field that are mapped to pairs of rational numbers, in analog to ?(x) mapping quadratic irrationals on the unit interval to rational numbers on the unit interval. It is also shown that this new function satisfies an analog to the fact that ?(x), while increasing and continuous, has derivative zero almost everywhere.     

Dihedral Congruence Primes and Class Fields of Real Quadratic Fields

We show that for a real quadratic field F the dihedral congruence primes with respect to F for cusp forms of weight k and quadratic nebentypus are essentially the primes dividing expressions of the form ε^k−1₊±1 where ε₊ is a totally positive fundamental unit of F. This extends work of Hida. Our results allows us to identify a family of (ray) class fields of F which are generated by torsion points on modular abelian varieties.     

y^2=x^3＋27x-62上的整数点

使用代数数论和p-adic分析,我们找到了椭圆曲线y^2=x^3＋27x-62上所有的整数点．我们给出了一个全虚四次域的子环上计算基本单位和二次代数数“不相关分解”的方法．     

Construction of lattice orders on the semigroup ring of a positive rooted monoid

Lattice orders on the semigroup ring of a positive rooted monoid are constructed, and it is shown how to make the monoid ring into a lattice-ordered ring with squares positive in various ways. It is proved that under certain conditions these are all of the lattice orders that make the monoid ring into a lattice-ordered ring. In particular, all of the partial orders on the polynomial ring A[x] in one positive variable are determined for which the ring is not totally ordered but is a lattice-ordered ring with the property that the square of every element is positive. In the last section some basic properties of d-elements are considered, and they are used to characterize lattice-ordered division rings that are quadratic extensions of totally ordered division rings.     

The length and other invariants of a real field

The length of a field is the smallest integer m such that any totally positive quadratic form of dimension m represents all sums of squares. We investigate this field invariant and compare it to others such as the u-invariant, the Pythagoras number, the Hasse number, and the Mordell function related to sums of squares of linear forms.     

Integral and rational completions of combinatorial matrices II

Results are derived on rational solutions to AA^T = B, where B is integral and A need not be square. Restrictions possible on the denominators of the elements of A are shown to be related to corresponding restrictions on the denominators of rational matrices representing integral positive definite quadratic forms of determinant 1. Results due to Kneser are applied to find possible denominator restrictions when A has a small number of columns. These results are then applied to rational completions of (0, 1) matrices satisfying a partial incidence equation of a symmetric block design. Using results derived previously, it is shown that in fact (0, 1) normal completions are possible if no more than seven lines are to be added, extending a similar result by Marshall Hall for completions of no more than four lines.     

Class numbers of definite binary quadratic lattices over algebraic function fields

Let k be an algebraic function field of one variable X having a finite field GF(q) of constants with q elements, q odd. Confined to imaginary quadratic extensions $\text{K}\text{k}$, class number formulas are developed for both the maximal and nonmaximal binary quadratic lattices L on (K, N), where N denotes the norm from K to k. The class numbers of L grow either with the genus g(k) of k (assuming the fields under consideration have bounded degree) or with the relative genus $\text{g(}\text{K}\text{k}\text{)}$ (assuming the lattices under consideration have bounded scale). In contrast to analogous theorems concerning positive definite binary quadratic lattices over totally real number fields, k is not necessarily totally real.     

A note on Pall partitions over finite fields

A Pall partition for a quadratic space V is a collection of disjoint (except for {0}) maximal totally isotropic subspaces whose union contains all of the isotropic vectors in V. In this paper it is shown that no non-degenerate quadratic space of dimension 4k+1, k?1, over a finite field of odd characteristic can have a Pall partition. The method of proof consists of assuming such a partition exists and showing by various counting arguments that this leads to the existence of an impossible array of ordered pairs.     

Lattice-ordered matrix algebras containing positive cycles

It is shown that if a lattice-ordered n × n (n ≥ 2) matrix ring over a totally ordered integral domain or division ring containing a positive n-cycle, then it is isomorphic to the lattice-ordered n × n matrix ring with entrywise lattice order.     

Arithmetic expressions of Selberg's zeta functions for congruence subgroups

In [P. Sarnak, Class numbers of indefinite binary quadratic forms, J. Number Theory 15 (1982) 229-247], it was proved that the Selberg zeta function for SL₂(Z) is expressed in terms of the fundamental units and the class numbers of the primitive indefinite binary quadratic forms. The aim of this paper is to obtain similar arithmetic expressions of the logarithmic derivatives of the Selberg zeta functions for congruence subgroups of SL₂(Z). As applications, we study the Brun-Titchmarsh type prime geodesic theorem and the asymptotic formula of the sum of the class number.     

Applications of?the Cosecant and Related Numbers

Power series expansions for cosecant and related functions together with a vast number of applications stemming from their coefficients are derived here. The coefficients for the cosecant expansion can be evaluated by using: (1) numerous recurrence relations, (2) expressions resulting from the application of the partition method for obtaining a power series expansion and (3) the result given in Theorem 3. Unlike the related Bernoulli numbers, these rational coefficients, which are called the cosecant numbers and are denoted by c _k , converge rapidly to zero as k????. It is then shown how recent advances in obtaining meaningful values from divergent series can be modified to determine exact numerical results from the asymptotic series derived from the Laplace transform of the power series expansion for tcsc?(at). Next the power series expansion for secant is derived in terms of related coefficients known as the secant numbers d _k . These numbers are related to the Euler numbers and can also be evaluated by numerous recurrence relations, some of which involve the cosecant numbers. The approaches used to obtain the power series expansions for these fundamental trigonometric functions in addition to the methods used to evaluate their coefficients are employed in the derivation of power series expansions for integer powers and arbitrary powers of the trigonometric functions. Recurrence relations are of limited benefit when evaluating the coefficients in the case of arbitrary powers. Consequently, power series expansions for the Legendre-Jacobi elliptic integrals can only be obtained by the partition method for a power series expansion. Since the Bernoulli and Euler numbers give rise to polynomials from exponential generating functions, it is shown that the cosecant and secant numbers gives rise to their own polynomials from trigonometric generating functions. As expected, the new polynomials are related to the Bernoulli and Euler polynomials, but they are found to possess far more interesting properties, primarily due to the convergence of the coefficients. One interesting application of the new polynomials is the re-interpretation of the Euler-Maclaurin summation formula, which yields a new regularisation formula.     

Chirp transforms and Chirp series

Motivated by the recent work on the non-harmonic Fourier atoms initiated by T. Qian and the non-harmonic Fourier series which originated from the celebrated work of Paley and Wiener, we introduce an integral version of the non-harmonic Fourier series, called Chirp transform. As an integral transform with kernel ei?(t)θ(ω), the Chirp transform is an unitary isometry from L²(R,d?) onto L²(R,dθ) and it can be explicitly defined in terms of generalized Hermite polynomials. The corresponding Chirp series take einθ(t) as a basis which in some sense is dual to the theory of non-harmonic Fourier series which take eiλnt as a basis. The Chirp version of the Shannon sampling theorem and the Poisson summation formula are also considered by dealing with sampling points which may non-equally distributed. Since the Chirp transform interchanges weighted derivatives into multiplications, it plays a role in solving certain differential equations with variable coefficients. In addition, we extend T. Qian's theorem on the characterization of a measure to be a linear combination of a number of harmonic measures on the unit disc with positive integer coefficients to that with positive rational coefficients.     

A generalization of Voronoi's unit algorithm I

By means of a new method of mapping an algebraic number field into a euclidean space Voronoi's unit algorithm is generalized to all algebraic number fields and it is proved that the generalized Voronoi algorithm computes the fundamental units of all algebraic number fields of unit rank 1, i.e., of the real quadratic fields, of the complex cubic fields, and of the totally complex quartic fields.     

Quadrature Rules for the Surface Integral of the Unit Sphere Based on Extremal Fundamental Systems

Quadrature rules for the surface integral of the unit Sphere S^r–1 based on an extremal fundamental system, i.e., a nodal system which provides fundamental Lagrange interpolatory polynomials with minimal uniform norm, are investigated. Such nodal systems always exist; their construction has been given in earlier work. Here the main results is that the corresponding interpolatory quadrature for the space of homogeneous polynomials of degree two is equally weighted for arbitrary r, and hence positive. For the full quadratic polynomial space we can prove positivity of the weights, only.     

Phantom holomorphic projections arising from Sturm’s formula

A (positive definite integral) quadratic form is called diagonally 2-universal if it represents all positive definite integral binary diagonal quadratic forms. In this article, we show that, up to equivalence, there are exactly 18 (positive definite integral) quinary diagonal quadratic forms that are diagonally 2-universal. Furthermore, we provide a “diagonally 2-universal criterion” for diagonal quadratic forms, which is similar to “15-Theorem” proved by Conway and Schneeberger.     

Possible spectra of totally positive matrices

For any given set S of n distinct positive numbers, we construct a symmetric n-by-n (strictly) totally positive matrix whose spectrum is S. Thus, in order to be the spectrum of an n-by-n totally positive matrix, it is necessary and sufficient that n numbers be positive and distinct.     

Lattice-Ordered Matrix Rings Over Totally Ordered Rings

For an n ×n matrix algebra over a totally ordered integral domain, necessary and sufficient conditions are derived such that the entrywise lattice order on it is the only lattice order (up to an isomorphism) to make it into a lattice-ordered algebra in which the identity matrix is positive. The conditions are then applied to particular integral domains. In the second part of the paper we consider n ×n matrix rings containing a positive n-cycle over totally ordered rings. Finally a characterization of lattice-ordered matrix ring with the entrywise lattice order is given.     

Class groups of quadratic fields of 3-rank at least 2: Effective bounds

In this paper, we give parametric families of both real and complex quadratic number fields whose class group has 3-rank at least 2. As a consequence, we obtain that for all large positive real numbers x, the number of both real and complex quadratic fields whose class group has 3-rank at least 2 and absolute value of the discriminant ?x is >cx1/3, where c is some positive constant.     

Worst-case complexity bounds for algorithms in the theory of integral quadratic forms

The problem of factoring an integer and many other number-theoretic problems can be formulated in terms of binary quadratic Diophantine equations. This class of equations is also significant in complexity theory, subclasses of it having provided most of the natural examples of problems apparently intermediate in difficulty between P and NP-complete problems, as well as NP-complete problems [2, 3, 22, 26]. The theory of integral quadratic forms developed by Gauss gives some of the deepest known insights into the structure of classes of binary quadratic Diophantine equations. This paper establishes explicit polynomial worst-case running time bounds for algorithms to solve certain of the problems in this theory. These include algorithms to do the following: (1) reduce a given integral binary quadratic form; (2) quasi-reduce a given integral ternary quadratic form; (3) produce a form composed of two given integral binary quadratic forms; (4) calculate genus characters of a given integral binary quadratic form, when a complete prime factorization of its determinant D is given as input; (5) produce a form that is the square root under composition of a given form (when it exists), when a complete factorization of D and a quadratic nonresidue for each prime dividing D is given as input.