A theorem on non-associative algebras and its application to differential equations

For a given field F, the set of F-algebras (resp. commutative F-algebras) of arity n≥2 and F-dimension m can be identified with the mⁿ⁺¹ (resp. m(^m+n?1 _n)) dimensional F-affine space S of structure coefficients. We show: If F is algebraically closed, then there exists an affine subvariety A of S with A≠S, which is defined over the prime field of F, such that all F-algebras corresponding to the points of S-A posses precisely n^m?1 idempotent elements ≠0 and fail to have nil potent elements ≠0. This implies for a system of ordinary differential equations $$\left( * \right)\dot X_i = D_i \left( {X_l ,..,X_m } \right),i = l,..,m,$$ with D_i(X_i,...,X_m)∈?[X₁,...,X_m] homogeneous polynomials of degree n: If the coefficients of the polynomials D_i, i=1,...,m, are algebraically independent over the field of rationals, then (*) possesses precisely n^m?1 ray solutions and fails to have a critical point other than the origin.     

Exchangeable and partially exchangeable random partitions

Summary Call a random partition of the positive integerspartially exchangeable if for each finite sequence of positive integersn ₁,...,n _k, the probability that the partition breaks the firstn ₁+...+n_k integers intok particular classes, of sizesn ₁,...,n_k in order of their first elements, has the same valuep(n ₁,...,n_k) for every possible choice of classes subject to the sizes constraint. A random partition is exchangeable iff it is partially exchangeable for a symmetric functionp(n ₁,...n_k). A representation is given for partially exchangeable random partitions which provides a useful variation of Kingman's representation in the exchangeable case. Results are illustrated by the two-parameter generalization of Ewens' partition structure.Research supported by N.S.F. Grants MCS91-07531 and DMS-9404345     

On the long edges in the shortest tour throughN random points

Consider the shortest tour throughn pointsX ₁,...,X _n independently uniformly distributed over [0,1]². Then we show that for some universal constantK, the number of edges of length at leastun ^–1/2 is at mostKnxp(–u)²/K)with overwhelmingprobability.This research is in part supported by an NSF grant.     

On the Loday symbol in the Deligne-Beilinson cohomology

Let A be an algebraic smooth variety over , X ₀,..., X _n be global regular functions on A, be a global invertible regular function on X of value 1 on the divisor Y defined by X ₀ and Z denned by X ₁... X _n. Then the cup product {¦ _A–Z , X ₁,...,X _n} in the Deligne-Beilinson cohomology group H _D ⁿ⁺¹ (A - Z, Y; extends across Z to a so-called Loday symbol, denoted by {, X ₁,..., X_n}, in H _D ⁿ⁺¹ (A,Y,Z(n+1))In this article, we give explicit formulae for {X ₁, ..., X _n} as a ech cocycle. Thereby, one obtains a proof of Beilinson's formula for the evaluation of the Loday symbol along certain homology cycles.Supported by Heisenberg Programm, Max Planck Institut für Mathematik.     

Affine cross-polytopes inscribed in a convex body

Let X be an affine cross-polytope, i.e., the convex hull of n segments A ₁ B ₁,…, A _n B _n in \mathbbRⁿ {\mathbb{R}^n} that have a common midpoint O and do not lie in a hyperplane. The affine flag F(X) of X is the chain O ∈ L ₁ ⊂⋯ ⊂ L _n = \mathbbRⁿ {\mathbb{R}^n} , where L _k is the k-dimensional affine hull of the segments A ₁ B ₁,…, A _k B _k , k ≤ n. It is proved that each convex body K ⊂ \mathbbRⁿ {\mathbb{R}^n} is circumscribed about an affine cross-polytope X such that the flag F(X) satisfies the following condition for each k ∈{2,…, n}:the (k−1)-planes of support at A _k and B _k to the body L _k ∩ K in the k-plane L _k are parallel to L _k −1.Each such X has volume at least V(K)/2 ^n(n−1)/2. Bibliography: 5 titles.     

Nonhomogeneous recursions and Generalised Continued Fractions

Consider the (n+1)st order nonhomogeneous recursionX _k+n+1=b _k X _k+n +a _k ⁽ⁿ⁾ X _k+n-1+...+a _k ⁽¹⁾ X _k +X _k .Leth be a particular solution, andf ⁽¹⁾,...,f ⁽ⁿ⁾,g independent solutions of the associated homogeneous equation. It is supposed thatg dominatesf ⁽¹⁾,...,f ⁽ⁿ⁾ andh. If we want to calculate a solutiony which is dominated byg, but dominatesf ⁽¹⁾,...,f ⁽ⁿ⁾, then forward and backward recursion are numerically unstable. A stable algorithm is derived if we use results constituting a link between Generalised Continued Fractions and Recursion Relations.     

Singularities of generic characteristic polynomials and smooth finite splittings of Azumaya algebras over surfaces

Let k be an algebraically closed field. Let P(X ₁₁, . . . , X _nn , T) be the characteristic polynomial of the generic matrix (X _ij ) over k. We determine its singular locus as well as the singular locus of its Galois splitting. If X is a smooth quasi-projective surface over k and A an Azumaya algebra on X of degree n, using a method suggested by M. Artin, we construct finite smooth splittings for A of degree n over X whose Galois closures are smooth.     

Some Results on Systems of Finite Sets That Satisfy a Certain Intersection Condition

Let S be a finite set, and fix K>2. Let F be a family of subsets of S with the property that whenever A₁,...,A_k are sets in F, not necessarily distinct, and A₁ ? ? ? A_k = ?, then A₁ ? ? ? A_k = S. We prove here that the maximum size of such a family is 2^|S|?1 + 1. If we require that the sets A₁,...,A_k be distinct, then the maximum size of F is again 2^|S|?1 + 1, provided that |S| ≥ log₂(K?2)+3.     

Polynomial Lie Algebras

We introduce and study a special class of infinite-dimensional Lie algebras that are finite-dimensional modules over a ring of polynomials. The Lie algebras of this class are said to be polynomial. Some classification results are obtained. An associative co-algebra structure on the rings k[x ₁,...,x _n]/(f ₁,...,f _n) is introduced and, on its basis, an explicit expression for convolution matrices of invariants for isolated singularities of functions is found. The structure polynomials of moving frames defined by convolution matrices are constructed for simple singularities of the types A,B,C, D, and E ₆.     

Feynman’s Operational Calculi: Decomposing Disentanglings

Let X be a Banach space and suppose that A ₁,…,A _n are noncommuting (that is, not necessarily commuting) elements in ℒ(X), the space of bounded linear operators on X. Further, for each i∈{1,…,n}, let μ _i be a continuous probability measure on ℬ([0,1]), the Borel class of [0,1]. Each such n-tuple of operator-measure pairs (A _i ,μ _i ), i=1,…,n, determines an operational calculus or disentangling map T_m1,...,mn{\mathcal{T}}_{\mu_{1},\dots,\mu_{n}} from a commutative Banach algebra \mathbbD(A₁,...,A_n){\mathbb{D}}(A_{1},\dots,A_{n}) of analytic functions, called the disentangling algebra , into the noncommutative Banach algebra ℒ(X). The disentanglings are the central processes of Feynman’s operational calculi.     

A dimension theorem for division rings

LetD be a division algebra over a fieldk, letn be an arbitrary positive integer, and letk(x ₁,...,x _n) denote the rational function field inn variables overk. In this note we complete previous work by proving that the following three conditions are equivalent: (i) there exists an integerj such that the matrix ringM _j(D) contains a commutative subfield which has transcendence degreen overk; (ii) K dim (D⊗_k k(x ₁,...,x _n )) =n; (iii) gl. dim (D⊗_k k(x ₁,...,x _n )) =n. The crucial tool in the proof of this theorem is the Nullstellensatz forD[x ₁,...,x _n] which was obtained by Amitsur and Small.     

泛函方程组的解析解

§ 1　IntroductionThe Feigenbaum functional equation plays an importantrole in the theory concerninguniversal properties of one-parameter families of maps of the interval that has the formf2 (λx) +λf(x) =0 ,0 <λ=-f(1 ) <1 ,f(0 ) =1 ,(1 .1 )where f is a map ofthe interval[-1 ,1 ] into itself.Lanford[1 ] exhibited a computer-assist-ed proof for the existence of an even analytic solution to Eq.(1 .1 ) .It was shown in[2 ]that Eq.(1 .1 ) does not have an entire solution.Si[3] discussed the it…     

Characterization of Hermitian and skew-Hermitian maps between matrix algebras

Let D be a division ring with an involution J such that D is finite-dimensional over its center Z and char D≠2. Let T:M_m(D)→M_n(D) be a Z-linear map between matrix rings over D. We show that T satisfies [T(X)]¹=T(X¹) if and only if T(X)=∑±A¹_kXA_k. Similarly, T satisfies [T(X)]¹ = ? T(X¹) if and only if T(X = ∑(A¹_kXB_k ? B¹_kXA_k). The first of these results generalizes and extends a theorem of R.D. Hill [2] on Hermitian-preserving transformations.     

The Grothendieck ring of varieties and piecewise isomorphisms

Let K ₀(Var _k ) be the Grothendieck ring of algebraic varieties over a field k. Let X, Y be two algebraic varieties over k which are piecewise isomorphic (i.e. X and Y admit finite partitions X ₁, ..., X _n , Y ₁, ..., Y _n into locally closed subvarieties such that X _i is isomorphic to Y _i for all i ≤ n), then [X] = [Y] in K ₀(Var _k ). Larsen and Lunts ask whether the converse is true. For characteristic zero and algebraically closed field k, we answer positively this question when dim X ≤ 1 or X is a smooth connected projective surface or if X contains only finitely many rational curves.     

Wellposedness of abstract Cauchy problems for second order differential equations

This paper concerns the abstract Cauchy problem (ACP) for an evolution equation of second order in time. LetA be a closed linear operator with domainD(A) dense in a Banach spaceX. We first characterize the exponential wellposedness of ACP onD(A ^k+1),k teN. Next let {C(t);t teR} be a family of generalized solution operators, on [D(A ^k)] toX, associated with an exponentially wellposed ACP onD(A ^k+1). Then we define a new family {T(t); Ret>0} by the abstract Weierstrass formula. We show that {T(t)} forms a holomorphic semigroup of class (H _k) onX. Research of the second-named author was partially supported by Grant-in-Aid for Scientific Research (No. 63540139), Ministry of Education, Science and Culture.     

On products of unbounded operators

A symmetric operator X^ is attached to each operator X that leaves the domain of a given positive operator A invariant and makes the product AX symmetric. Some spectral properties of X^ are derived from those of X and, as a consequence, various conditions ensuring positivity of products of the form AX ₁ ... X _n are proved. The question of ^-complete positivity of the mapping p → Ap(X ₁,...,X _n) defined on complex polynomials in n variables is investigated. It is shown that the set ω is related to the McIntosh-Pryde joint spectrum of (X ₁,...,X _n) in case all the operators A, X ₁,...,X _n are bounded. Examples illustrating the theme of the paper are included. This revised version was published online in June 2006 with corrections to the Cover Date.     

Extension theorems for functional equations with bisymmetric operations

Summary. In this paper we deal with the extension of the following functional equation¶¶ f (x) = M (f (m₁(x, y)), ..., f (m_k(x, y)))        (x, y ? K) f (x) = M \bigl(f (m_{1}(x, y)), \dots, f (m_{k}(x, y))\bigr) \qquad (x, y \in K) , (*)¶ where M is a k-variable operation on the image space Y, m₁,..., m_k are binary operations on X, K ì X K \subset X is closed under the operations m₁,..., m_k, and f : K ? Y f : K \rightarrow Y is considered as an unknown function.¶ The main result of this paper states that if the operations m₁,..., m_k, M satisfy certain commutativity relations and f satisfies (*) then there exists a unique extension of f to the (m₁,..., m_k)-affine hull K^* of K, such that (*) holds over K^*. (The set K^* is defined as the smallest subset of X that contains K and is (m₁,..., m_k)-affine, i.e., if x ? X x \in X , and there exists y ? K^* y \in K^* such that m₁(x, y), ?, m_k(x, y) ? K^* m_{1}(x, y), \ldots, m_{k}(x, y) \in K^* then x ? K^* x \in K^* ). As applications, extension theorems for functional equations on Abelian semigroups, convex sets, and symmetric convex sets are obtained.     

On finite groups whose every proper normal subgroup is a union of a given number of conjugacy classes

Let G be a finite group andA be a normal subgroup ofG. We denote by ncc(A) the number ofG-conjugacy classes ofA andA is calledn-decomposable, if ncc(A)= n. SetK _G = {ncc(A)|A ⊲ G}. LetX be a non-empty subset of positive integers. A groupG is calledX-decomposable, ifK _G =X. Ashrafi and his co-authors [1-5] have characterized theX-decomposable non-perfect finite groups forX = {1, n} andn ≤ 10. In this paper, we continue this problem and investigate the structure ofX-decomposable non-perfect finite groups, forX = {1, 2, 3}. We prove that such a group is isomorphic to Z₆, D₈, Q₈, S₄, SmallGroup(20, 3), SmallGroup(24, 3), where SmallGroup(m, n) denotes the mth group of ordern in the small group library of GAP [11].     

Circle grids and bipartite graphs of distances

Fort fixed,n+t pointsA ₁,A ₂,...,A _n andB ₁,B ₂,...,B _t are constructed in the plane withO(n) distinct distancesd(A _i B _j ) As a by-product we show that the graph of thek largest distances can contain a complete subgraphK _{t, n} withn=(k ²), which settles a problem of Erds, Lovász and Vesztergombi.Research partially supported by the Hungarian National Science Fund (OTKA) # 2117.