Construction of Equilibrium Magnetic Vector Potentials

In [9] we introduced the notion of equilibrium surface current JdS_x on the closed C smooth surfaces in R ³ as a generalization of electric solenoid, and proved their existence. We here show an algorithm for JdS_x starting from a given surface current J dS_x on .     

Modular Hypergeometric Residue Sums of Elliptic Selberg Integrals

It is shown that the residue expansion of an elliptic Selberg integral gives rise to an integral representation for a multiple modular hypergeometric series. A conjectural evaluation formula for the integral then implies a closed summation formula for the series, generalizing both the multiple basic hypergeometric ₈₇ sum of Milne-Gustafson type and the (one-dimensional) modular hypergeometric ₈₇ sum of Frenkel and Turaev. Independently, the modular invariance ensures the asymptotic correctness of our multiple modular hypergeometric summation formula for low orders in a modular parameter.     

On a conjecture of Erdos and Stewart

For any , let be the th prime number. In this paper, we confirm a conjecture of Erdos and Stewart concerning all the solutions of the diophantine equation , when .

     

Another Note on the Greatest Prime Factors of Fermat Numbers

For every positive integer k > 1, let P(k) be the largest prime divisor of k. In this note, we show that if F_m = 2^2m + 1 is the mth Fermat number, then P(F_m) 2^m+2(4m + 9) + 1 for all m 4. We also give a lower bound of a similar type for P(F_a,m), where F_a,m = a^2m + 1 whenever a is even and m a¹⁸.AMS Subject Classification (1991) 11A51 11J86     

A Measure of Simultaneous Approximation for Quasi-Modular Functions

We improve on a recent result of Saradha giving a transcendence measure for the quotient of a period of an elliptic curve defined over by its associated quasi-period. In an (almost successful) attempt to include in a single measure both this result and that obtained by Reyssat in 1980, we blend into the modular method ideas related to modular but also hypergeometric functions, as appearing e.g. in André's work, as well as some Galois considerations.     

Some Geometry of the Cone of Nonnegative Definite Matrices and Weights of Associated X2 Distribution

Consider the test problem about matrix normal mean M with the null hypothesis M = O against the alternative that M is nonnegative definite. In our previous paper (Kuriki (1993, Ann. Statist., 21, 1379–1384)), the null distribution of the likelihood ratio statistic has been given in the form of a finite mixture of ² distributions referred to as X² distribution. In this paper, we investigate differential-geometric structure such as second fundamental form and volume element of the boundary of the cone formed by real nonnegative definite matrices, and give a geometric derivation of this null distribution by virtue of the general theory on the X² distribution for piecewise smooth convex cone alternatives developed by Takemura and Kuriki (1997, Ann. Statist., 25, 2368–2387).     

Hermite Interpolation and Sobolev Orthogonality

In this paper, we study orthogonal polynomials with respect to the bilinear form (f, g) _S = V(f) A V(g) ^T + <u, f ^(N) g ^(N)V(f) =(f(c ₀), f "(c ₀), ..., f ^{(n – 1)} ₀(c ₀), ..., f(c _p ), f "(c _p ), ..., f ^{(n – 1)} _p(c _p )) u is a regular linear functional on the linear space P of real polynomials, c ₀, c ₁, ..., c _p are distinct real numbers, n ₀, n ₁, ..., n _p are positive integer numbers, N=n ₀+n ₁+...+n _p , and A is a N × N real matrix with all its principal submatrices nonsingular. We establish relations with the theory of interpolation and approximation.     

Numerical analysis of a quadratic matrix equation

The quadratic matrix equation AX²+ BX + C = 0in n x nmatricesarises in applications and is of intrinsic interest as oneof the simplest nonlinear matrix equations. We give a completecharacterization of solutions in terms of the generalized Schurdecomposition and describe and compare various numerical solutiontechniques. In particular, we give a thorough treatment offunctional iteration methods based on Bernoulli’s method.Other methods considered include Newton’s method with exact line searches, symbolic solution and continued fractions.We show that functional iteration applied to the quadraticmatrix equation can provide an efficient way to solve the associated quadratic eigenvalue problem (²A + B + C)x = 0.     

Minimum Distance Bounds for s-Regular Codes

A code C F ⁿ is s-regular provided, forevery vertex x F ⁿ, if x is atdistance at most s from C then thenumber of codewords y C at distance ifrom x depends only on i and the distancefrom x to C. If denotesthe covering radius of C and C is -regular,then C is said to be completely regular. SupposeC is a code with minimum distance d,strength t as an orthogonal array, and dual degrees ^*. We prove that d 2t + 1 whenC is completely regular (with the exception of binaryrepetition codes). The same bound holds when C is(t + 1)-regular. For unrestricted codes, we show thatd s ^* + t unless C is a binary repetitioncode.     

A Homotopy 2-Groupoid of a Hausdorff Space

If X is a Hausdorff space we construct a 2-groupoid G ₂ X with the following properties. The underlying category of G ₂ X is the `path groupoid" of X whose objects are the points of X and whose morphisms are equivalence classes f, g of paths f, g in X under a relation of thin relative homotopy. The groupoid of 2-morphisms of G ₂ X is a quotient groupoid X / N X, where X is the groupoid whose objects are paths and whose morphisms are relative homotopy classes of homotopies between paths. N X is a normal subgroupoid of X determined by the thin relative homotopies. There is an isomorphism G ₂ X(f,f) ₂(X, f(0)) between the 2-endomorphism group of f and the second homotopy group of X based at the initial point of the path f. The 2-groupoids of function spaces yield a 2-groupoid enrichment of a (convenient) category of pointed spaces.We show how the 2-morphisms may be regarded as 2-tracks. We make precise how cubical diagrams inhabited by 2-tracks can be pasted.