共查询到20条相似文献,搜索用时 46 毫秒
1.
It is possible to compute and its modular equations with no perception of its related classical group structure except at . We start by taking, for prime, an unknown ``-Newtonian' polynomial equation with arbitrary coefficients (based only on Newton's polygon requirements at for and ). We then ask which choice of coefficients of leads to some consistent Laurent series solution , (where . It is conjectured that if the same Laurent series works for -Newtonian polynomials of two or more primes , then there is only a bounded number of choices for the Laurent series (to within an additive constant). These choices are essentially from the set of ``replicable functions,' which include more classical modular invariants, particularly . A demonstration for orders and is done by computation. More remarkably, if the same series works for the -Newtonian polygons of 15 special ``Fricke-Monster' values of , then is (essentially) determined uniquely. Computationally, this process stands alone, and, in a sense, modular invariants arise ``spontaneously.'
2.
Let be a tetrahedral mesh. We present a 3-D local refinement algorithm for which is mainly based on an 8-subtetrahedron subdivision procedure, and discuss the quality of refined meshes generated by the algorithm. It is proved that any tetrahedron produces a finite number of classes of similar tetrahedra, independent of the number of refinement levels. Furthermore, , where , is a positive constant independent of and the number of refinement levels, is any refined tetrahedron of , and is a tetrahedron shape measure. It is also proved that local refinements on tetrahedra can be smoothly extended to their neighbors to maintain a conforming mesh. Experimental results show that the ratio of the number of tetrahedra actually refined to the number of tetrahedra chosen for refinement is bounded above by a small constant.
3.
B. G. S. Doman. 《Mathematics of Computation》1996,65(215):1283-1288
A new asymptotic expansion is derived for the incomplete beta function , which is suitable for large , small and . This expansion is of the form
where is the incomplete Gamma function ratio and . This form has some advantages over previous asymptotic expansions in this region in which depends on as well as on and .
4.
Hisao Taya. 《Mathematics of Computation》1996,65(214):779-784
Let be a real quadratic field and an odd prime number which splits in . In a previous work, the author gave a sufficient condition for the Iwasawa invariant of the cyclotomic -extension of to be zero. The purpose of this paper is to study the case of this result and give new examples of with , by using information on the initial layer of the cyclotomic -extension of .
5.
Let be complex numbers, and consider the power sums , . Put , where the minimum is over all possible complex numbers satisfying the above. Turán conjectured that , for some positive absolute constant. Atkinson proved this conjecture by showing . It is now known that , for . Determining whether or approaches some other limiting value as is still an open problem. Our calculations show that an upper bound for decreases for , suggesting that decreases to a limiting value less than as .
6.
We call an integer semismooth with respect to and if each of its prime factors is , and all but one are . Such numbers are useful in various factoring algorithms, including the quadratic sieve. Let be the asymptotic probability that a random integer is semismooth with respect to and . We present new recurrence relations for and related functions. We then give numerical methods for computing , tables of , and estimates for the error incurred by this asymptotic approximation.
7.
Quadrature convergence of the extended Lagrange interpolant for any continuous function is studied, where the interpolation nodes are the zeros of an orthogonal polynomial of degree and the zeros of the corresponding ``induced' orthogonal polynomial of degree . It is found that, unlike convergence in the mean, quadrature convergence does hold for all four Chebyshev weight functions. This is shown by establishing the positivity of the underlying quadrature rule, whose weights are obtained explicitly. Necessary and sufficient conditions for positivity are also obtained in cases where the nodes and interlace, and the conditions are checked numerically for the Jacobi weight function with parameters and . It is conjectured, in this case, that quadrature convergence holds for .
8.
David W. Boyd. 《Mathematics of Computation》1996,65(214):861-875
For a given , the beta transformation is defined for by (mod ). The number is said to be a beta number if the orbit is finite, hence eventually periodic. It is known that all Pisot numbers are beta numbers, and it is conjectured that this is true for Salem numbers, but this is known only for Salem numbers of degree . Here we consider some computational and heuristic evidence for the conjecture in the case of Salem numbers of degree , by considering the set of such numbers of trace at most . Although the orbit is small for the majority of these numbers, there are some examples for which the orbit size is shown to exceed and for which the possibility remains that the orbit is infinite. There are also some very large orbits which have been shown to be finite: an example is given for which the preperiod length is and the period length is . This is in contrast to Salem numbers of degree where the orbit size is bounded by . An heuristic probabilistic model is proposed which explains the difference between the degree- and degree- cases. The model predicts that all Salem numbers of degree and should be beta numbers but that degree- Salem numbers can have orbits which are arbitrarily large relative to the size of . Furthermore, the model predicts that a positive proportion of Salem numbers of any fixed degree will not be beta numbers. This latter prediction is not tested here.
9.
We present a new deterministic algorithm for the problem of constructing th power nonresidues in finite fields , where is prime and is a prime divisor of . We prove under the assumption of the Extended Riemann Hypothesis (ERH), that for fixed and , our algorithm runs in polynomial time. Unlike other deterministic algorithms for this problem, this polynomial-time bound holds even if is exponentially large. More generally, assuming the ERH, in time we can construct a set of elements that generates the multiplicative group . An extended abstract of this paper appeared in Proc. 23rd Ann. ACM Symp. on Theory of Computing, 1991.
10.
Two new points in the spectrum of the absolute Mahler measure of totally positive algebraic integers
V. Flammang. 《Mathematics of Computation》1996,65(213):307-311
For totally positive algebraic integers of degree , we consider the set of values of , where is the Mahler measure of . C. J. Smyth has found the four smallest values of and conjectured that the fifth point is . We prove that this is so and, moreover, we give the sixth point of .
11.
We study the uniform approximation of boundary layer functions for , , by the and versions of the finite element method. For the version (with fixed mesh), we prove super-exponential convergence in the range . We also establish, for this version, an overall convergence rate of in the energy norm error which is uniform in , and show that this rate is sharp (up to the term) when robust estimates uniform in are considered. For the version with variable mesh (i.e., the version), we show that exponential convergence, uniform in , is achieved by taking the first element at the boundary layer to be of size . Numerical experiments for a model elliptic singular perturbation problem show good agreement with our convergence estimates, even when few degrees of freedom are used and when is as small as, e.g., . They also illustrate the superiority of the approach over other methods, including a low-order version with optimal ``exponential" mesh refinement. The estimates established in this paper are also applicable in the context of corresponding spectral element methods.
12.
David W. Boyd. 《Mathematics of Computation》1996,65(214):841-860
Given a number , the beta-transformation is defined for by (mod 1). The number is said to be a beta-number if the orbit is finite, hence eventually periodic. In this case is the root of a monic polynomial with integer coefficients called the characteristic polynomial of . If is the minimal polynomial of , then for some polynomial . It is the factor which concerns us here in case is a Pisot number. It is known that all Pisot numbers are beta-numbers, and it has often been asked whether must be cyclotomic in this case, particularly if . We answer this question in the negative by an examination of the regular Pisot numbers associated with the smallest 8 limit points of the Pisot numbers, by an exhaustive enumeration of the irregular Pisot numbers in (an infinite set), by a search up to degree in , to degree in , and to degree in . We find the smallest counterexample, the counterexample of smallest degree, examples where is nonreciprocal, and examples where is reciprocal but noncyclotomic. We produce infinite sequences of these two types which converge to from above, and infinite sequences of with nonreciprocal which converge to from below and to the th smallest limit point of the Pisot numbers from both sides. We conjecture that these are the only limit points of such numbers in . The Pisot numbers for which is cyclotomic are related to an interesting closed set of numbers introduced by Flatto, Lagarias and Poonen in connection with the zeta function of . Our examples show that the set of Pisot numbers is not a subset of .
13.
Vincenzo Acciaro. 《Mathematics of Computation》1996,65(216):1663-1674
Let be an abelian number field of prime degree , and let be a nonzero rational number. We describe an algorithm which takes as input and the minimal polynomial of over , and determines if is a norm of an element of . We show that, if we ignore the time needed to obtain a complete factorization of and a complete factorization of the discriminant of , then the algorithm runs in time polynomial in the size of the input. As an application, we give an algorithm to test if a cyclic algebra over is a division algebra.
14.
Some New Error Estimates for Ritz--Galerkin Methods with Minimal Regularity Assumptions 总被引:1,自引:0,他引:1
New uniform error estimates are established for finite element approximations of solutions of second-order elliptic equations using only the regularity assumption . Using an Aubin--Nitsche type duality argument we show for example that, for arbitrary (fixed) sufficiently small, there exists an such that for
Here, denotes the norm on the Sobolev space . Other related results are established.
15.
16.
Simultaneous Pell Equations 总被引:6,自引:0,他引:6
W. S. Anglin. 《Mathematics of Computation》1996,65(213):355-359
Let and be positive integers with . We shall call the simultaneous Diophantine equations
simultaneous Pell equations in and . Each such pair has the trivial solution but some pairs have nontrivial solutions too. For example, if and , then is a solution. Using theorems due to Baker, Davenport, and Waldschmidt, it is possible to show that the number of solutions is always finite, and it is possible to give a complete list of them. In this paper we report on the solutions when .
17.
The eigenvalue clustering of matrices and is experimentally studied, where , and respectively are Toeplitz matrices, Strang, and optimal circulant preconditioners generated by the Fourier expansion of a function . Some illustrations are given to show how the clustering depends on the smoothness of and which preconditioner is preferable. An original technique for experimental exploration of the clustering rate is presented. This technique is based on the bisection idea and on the Toeplitz decomposition of a three-matrix product , where is a Toeplitz matrix and is a circulant. In particular, it is proved that the Toeplitz (displacement) rank of is not greater than 4, provided that and are symmetric.
18.
An algorithm for matrix extension and wavelet construction 总被引:15,自引:0,他引:15
This paper gives a practical method of extending an matrix , , with Laurent polynomial entries in one complex variable , to a square matrix also with Laurent polynomial entries. If has orthonormal columns when is restricted to the torus , it can be extended to a paraunitary matrix. If has rank for each , it can be extended to a matrix with nonvanishing determinant on . The method is easily implemented in the computer. It is applied to the construction of compactly supported wavelets and prewavelets from multiresolutions generated by several univariate scaling functions with an arbitrary dilation parameter.
19.
Ronald Joseph Burthe Jr.. 《Mathematics of Computation》1996,65(213):373-381
Recently, Damgård, Landrock and Pomerance described a procedure in which a -bit odd number is chosen at random and subjected to random strong probable prime tests. If the chosen number passes all tests, then the procedure will return that number; otherwise, another -bit odd integer is selected and then tested. The procedure ends when a number that passes all tests is found. Let denote the probability that such a number is composite. The authors above have shown that when and . In this paper we will show that this is in fact valid for all and .
20.
Eric Bach Richard Lukes Jeffrey Shallit H. C. Williams. 《Mathematics of Computation》1996,65(216):1737-1747
Let be a positive integer. We say looks like a power of 2 modulo a prime if there exists an integer such that . First, we provide a simple proof of the fact that a positive integer which looks like a power of modulo all but finitely many primes is in fact a power of . Next, we define an -pseudopower of the base to be a positive integer that is not a power of , but looks like a power of modulo all primes . Let denote the least such . We give an unconditional upper bound on , a conditional result (on ERH) that gives a lower bound, and a heuristic argument suggesting that is about for a certain constant . We compare our heuristic model with numerical data obtained by a sieve. Some results for bases other than are also given.