The quaternion matrix equation ΣA i XB i =E

LetH _F be the generalized quaternion division algebra over a fieldF with charF#2. In this paper, the adjoint matrix of anyn×n matrix overH _F [γ] is defined and its properties is discussed. By using the adjoint matrix and the method of representation matrix, this paper obtains several necessary and sufficient conditions for the existence of a solution or a unique solution to the matrix equation Σ _i=0 ^k A ⁱ XB _i =E overH _F , and gives some explicit formulas of solutions. Supported by the National Natural Science Foundation of China and Human     

The inverse Galois problem over formal power series fields

Consider a valuation ringR of a discrete Henselian field and a positive integerr. LetF be the quotient field of the ringR[[X ₁, …,X _r ]]. We prove that every finite group occurs as a Galois group overF. In particular, ifK ₀ is an arbitrary field andr≥2, then every finite group occurs as a Galois group overK ₀((X ₁, …,X _r )). The work on this paper started when the author was an organizer of a research group on the Arithmetic of Fields in the Institute for Advanced Studies at the Hebrew Univesity of Jerusalem in 1991–92. It was partially supported by a grant from the G.I.F., the German-Israeli Foundation for Scientific Research and Development.     

Bounds on the number of cycles of length three in a planar graph

LetG be ap-vertex planar graph having a representation in the plane with nontriangular facesF ₁,F ₂, …,F _r. Letf ₁,f ₂, …,f _r denote the lengths of the cycles bounding the facesF ₁,F ₂, …,F _r respectively. LetC ₃(G) be the number of cycles of length three inG. We give bounds onC ₃(G) in terms ofp,f ₁,f ₂, …,f _r. WhenG is 3-connected these bounds are bounds for the number of triangles in a polyhedron. We also show that all possible values ofC ₃(G) between the maximum and minimum value are actually achieved. This research was supported in part by the U.S.A.F. Office of Scientific Research, Systems Command, under Grant AFOSR-76-3017 and the National Science Foundation under Grant ENG79-09724.     

Polynomials over division rings

LetD be a division ring with a centerC, andD[X ₁, …,X _N] the ring of polynomials inN commutative indeterminates overD. The maximum numberN for which this ring of polynomials is primitive is equal to the maximal transcendence degree overC of the commutative subfields of the matrix ringsM _n(D),n=1, 2, …. The ring of fractions of the Weyl algebras are examples where this numberN is finite. A tool in the proof is a non-commutative version of one of the forms of the “Nullstellensatz”, namely, simpleD[X ₁, …,X _m]-modules are finite-dimensionalD-spaces. This paper was written while the authors were Fellows of the Institute for Advanced Studies, The Hebrew University of Jerusalem, Mount Scopus, Jerusalem, Israel.     

The structure of a kind of connected components with oriented cycles and semi-stable vertices

LetF be an algebraically closed field. A be a finite-dimensional algebra overF,Γ _A be the Auslander-Reiten quiver ofA,Γ be a connected component of Γ _A with oriented cycles and semi-stable vertices and each non-stable vertex In Γ be a projective-injective vertex. The structure of Γ is studied. Projcct supported by Chinese Postdoctor Fund.     

A note on the coefficient rings of polynomial rings

LetA andB be two reduced commutative rings with finitely many minimal prime ideals. If the polynomial algebrasA[X ₁ …X _n ]=B[Y ₁ …Y _n ] whereX _i ,Y _iF are variables overA andB respectively, then there exists an injective ring homomorphism ϕ:A→B such thatB is finitely generated over ϕ(A).     

Intersecting sperner families and their convex hulls

Let ℱ be a family of subsets of a finite set ofn elements. The vector (f ₀, ...,f _n ) is called the profile of ℱ wheref _i denotes the number ofi-element subsets in ℱ. Take the set of profiles of all families ℱ satisfyingF ₁⊄F ₂ andF ₁∩F ₂≠0 for allF ₁,F ₂teℱ. It is proved that the extreme points of this set inR ⁿ⁺¹ have at most two non-zero components. Dedicated to Paul Erdős on his seventieth birthday     

Empirical Processes with a Bounded Ψ 1 Diameter

We study the empirical process ${{\rm sup}_{f \in F}|N^{-1}\sum_{i=1}^{N}\,f^{2}(X_i)-\mathbb{E}f^{2}|}We study the empirical process sup_{f ? F}|N^-1?_i=1^N f²(X_i)-\mathbbEf²|{{\rm sup}_{f \in F}|N^{-1}\sum_{i=1}^{N}\,f^{2}(X_i)-\mathbb{E}f^{2}|}, where F is a class of mean-zero functions on a probability space (Ω, μ), and (X_i)_{i = 1}^N{(X_{i})_{i =1}^N} are selected independently according to μ.     

Analytic solutions of the Borel problem

LetF ⊂ ℂ be a dense-in-itself set that has a nonempty connected interior and contains the origin, and let be the space of infinitely differentiable complex-valued functions onF. For some classes of such setsF, we prove that for an arbitrary sequence of complex numbers there exists a functionf ε withf ⁽ⁿ⁾(0)=d _n,n=0, 1, 2, ..., and study the analyticity properties off. The functionf is constructed in the form of various function series, namely, a power series, a series of simple fractions, and an exponential series. Analytic solutions of the multidimensional Borel problem are also considered. Translated fromMatematicheskie Zametki, Vol. 67, No. 4, pp. 525–538, April, 2000.     

Cusp forms

LetG andH ⊂G be two real semisimple groups defined overQ. Assume thatH is the group of points fixed by an involution ofG. Letπ ⊂L ²(H\G) be an irreducible representation ofG and letf επ be aK-finite function. Let Γ be an arithmetic subgroup ofG. The Poincaré seriesP _f(g)=Σ_H∩ΓΓ f(γ{}itg) is an automorphic form on Γ\G. We show thatP _f is cuspidal in some cases, whenH ∩Γ\H is compact. Partially supported by NSF Grant # DMS 9103608.     

Minimal forms wit respect to function fields of conics

Summary LetF be a field of characteristic ≠2, and let ϱ be an anisotropic conic overF. Anisotropic quadratic forms φ overF which become isotropic over the function fieldF(ϱ), but which do not contain proper subforms becoming isotropic, are calledF(ϱ)-minimal forms. It is investigated how upper bounds for the dimension ofF(ϱ)-minimal forms depend on certain properties and invariants of the fieldF. The existence of fieldsF and conics ϱ such thatF containsF(ϱ)-minimal forms of arbitrarily large (odd) dimension is proved. During the work on this article, the first author was a postdoc at the Institute for Experimental Mathematics, University of Essen, Germany, supported by a grant from the Deutsche Forschungsgemeinschaft This article was processed by the author using the LATEX style filecljour1 from Springer-Verlag.     

On a characterization of the exponential distribution by spacings

Summary LetX be a non-negative random variable with probability distribution functionF. SupposeX _i,n (i=1,…,n) is theith smallest order statistics in a random sample of sizen fromF. A necessary and sufficient condition forF to be exponential is given which involves the identical distribution of the random variables (n−i)(X _i+1,n−X_i,n) and (n−j)(X _j+1,n−X_j,n) for somei, j andn, (1≦i<j<n). The work was partly completed when the author was at the Dept. of Statistics, University of Brasilia, Brazil.     

Potenzieren und Wurzelziehen in rationalen Quaternionenalgebren

LetF be a field not of characteristic 2 andQ =F +F i +F j +F k the quaternion algebra overF whereij = -ji =k andi ² = α andj ² = β with 0 ≠ α, β ∈F fixed. (IfF = ℝ and α = β = - 1 thenQ is the division algebra of the Hamilton quaternions.) IfF = ℚ and Q is a division algebra then by embedding certain quadratic number fields inQ we derive an efficient formula to compute the powers of any quaternion. This formula is even true in general and reads as follows. If a, a₁, a₂, a₃ ∈F andn ∈ ℕ then where ω ig a square root of αa₁ ² + βa ₂ ² - αβa ₃ ² in or overF and andA ₀ =na ^n-1. With the help of this formula and related ones we are able to solve the equationX ⁿ =q for arbitrary quaternionsq and positive integers n in case ofF = ℝ and hence in case ofF ⊂ ℝ as well. IfF = ℝ then the total number of all solutions equals 0, 1, 2, 4,n or ∞. (4 is possible even whenn < 4.) In case ofF = ℚ, which we are primarily interested in, there are always either at most six or infinitely many solutions. Further, for everyq ≠ 0 there is at most one solution provided thatn is odd and not divisible by 3. The questions when there are infinitely many solutions and when there are none can always be decided by checking simple conditions on the radicandq ifF = ℝ. ForF = ℚ the two questions are comprehensively investigatet in a natural connection with ternary and quaternary quadratic rational forms. Finally, by applying some of our theorems on powers and roots of quate-rions we also obtain several nice results in matrix theory. For example, for every k ∈ ℤ the mappingA ↦A ^k on the group of all nonsingular 2-by-2 matrices over ℚ is injective if and only ifk is odd and not divisible by 3.

     

Geometric construction of association schemes from non-degenerate quadrics

LetF _q be a finite field withq elements, whereq is a power of an odd prime. In this paper, we assume that δ=0,1 or 2 and consider a projective spacePG(2ν+δ,F _q ), partitioned into an affine spaceAG(2ν+δ,F _q ) of dimension 2ν+δ and a hyperplaneℋ=PG(2ν+δ−1,F _q ) of dimension 2ν+δ−1 at infinity. The points of the hyperplaneℋ are next partitioned into three subsets. A pair of pointsa andb of the affine space is defined to belong to classi if the line meets the subseti of ℋ. Finally, we derive a family of three-class association schemes, and compute their parameters. This project is supported by the National Natural Science Foundation of China (No. 19571024).     

On the index of approximating sets of periodic points

Summary LetK be a compact space andf:K→K a continuous map without fixed points, i.e. Fixf=⊘. For prime numbersp, the sets Fixf ^p are freeℤ/p-spaces with theℤ/p-action induced byf. Our aim is to estimate the topological indicesi(F _p,f) of invariant subsetsF _p⊂Fixf ^p approximating a givenS⊂K. We construct an example (K,f,S) withS⊂Fixf ^q (q being some prime number) such that, for each neighborhoodU ofS, i (Fix (f|u) ^p, f) increases linearly withp. This article was processed by the author using the L^AT_EX style filecljour1 from Springer-Verlag.     

Admissible functions with multiple discontinuities

LetT be the unit circle, α irrational andF: T → R a step function. A necessary and sufficient condition for the skew of the α-rotation byf (considered as taking values mod 1) to be minimal is given. Also, the boundedness of Σ _i=1 ⁿ f(x+iα asn → α is resolved.     

The <Emphasis Type="Italic">f</Emphasis>-Vector of the Descent Polytope

For a positive integer n and a subset S⊆[n−1], the descent polytope DP  _S is the set of points (x ₁,…,x _n ) in the n-dimensional unit cube [0,1] ⁿ such that x _i ≥x _i+1 if i∈S and x _i ≤x _i+1 otherwise. First, we express the f-vector as a sum over all subsets of [n−1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5,…}∩[n−1]. We derive a generating function for F _S (t), written as a formal power series in two non-commuting variables with coefficients in ℤ[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.     

A selection procedure based on ranks

Summary Let there be givenK univariate continuous distributionsF ₁,...,F _k .F _i is said to be (stochastically) larger thanF _j (F _i ≧F _j ) ifF _i (x)≦F _j (x) for allx It is assumed that the given distributions are stochastically ordered, i.e., for each pair one of the distributions is larger than the other. We consider the problem of selecting the largest among the given distributions on the basis of a sample ofn observations taken from each distribution. LetR _il denote the rank of thelth observation fromF _i in the combined sample ofnK observations, and let LetS denote the procedure which selectsF _i as the largest distribution ifR _i =max (R _j ), with ties broken by randomization. Certain asymtotic results (for largen) are given for the probability of a correct selection for the procedureS, for the special case, called the slippage configuration, in which one distribution is larger than (K−1) identical distributions. For the normal distributions, it is shown forK=3, that the slippage configulation minimizes the probability of a correct selection. A table is given showing the probability of a correct selection forS when the distributions are normal.     

Classification of gradient space of dimension 8 by a reducible <Emphasis Type="Italic">s</Emphasis>ℓ(2, C) action

This paper deals with a reducible sℓ(2,C) action on the formal power series ring. The purpose of this paper is to confirm a special case of the Yau conjecture: Suppose that sℓ(2,C) acts on the formal power series ring via (1.1). Then I(f) = (ℓ _i1) ⊕ (ℓ _i2) ⊕... ⊕ (ℓ _is ) modulo some one dimensional sℓ(2,C) representations where (ℓ _i ) is an irreducible sℓ(2,C) representation of ℓ _i dimension and {ℓ _i1 ℓ _i2,...,ℓ _is } ⊆ {ℓ ₁ , ℓ ₂...,ℓ _r }. Unlike classical invariant theory which deals only with irreducible action and 1-dimensional representations, we treat the reducible action and higher dimensional representations successively.     

Gersgorin variations II: On themes of Fan and Gudkov

Assume F={f₁,. . .,f_n} is a family of nonnegative functions of n−1 nonnegative variables such that, for every matrix A of order n, |a_ii|>f_i (moduli of off-diagonal entries in row i of A) for all i implies A nonsingular. We show that there is a positive vector x, depending only on F, such that for all A=(a_ij), and all i, f_i≥∑_j|a_ij|{x_j}/x_i. This improves a theorem of Ky Fan, and yields a generalization of a nonsingularity criterion of Gudkov. Dedicated to Charles A. Micchelli, in celebration of his 60th birthday and our 30 years of friendship